Back to Results
First PageMeta Content
Computer science / Hybrid automaton / State transition system / Model checking / Formal languages / Automata theory / Models of computation / Theoretical computer science


An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks
Add to Reading List

Document Date: 2007-01-10 20:11:24


Open Document

File Size: 568,67 KB

Share Result on Facebook

City

Las Vegas / /

Company

M. D. D. / Hybrid Systems / /

Currency

USD / /

/

Facility

Stanford University / /

IndustryTerm

larger cell networks / post processing tool / protein signaling network / protein signaling networks / protein networks / proposed abstraction algorithm / saddle solution / symbolic solutions / symbolic analytical solution / computing / analytic timeindependent solutions / abstraction algorithm / model abstraction algorithm / /

Organization

Stanford University / Army / Department of Aeronautics and Astronautics / /

Person

Ronojoy Ghosh / Lq / /

Position

author / Prime Minister / hybrid model / ” / player / /

ProgrammingLanguage

MATLAB / /

SportsLeague

Stanford University / /

Technology

MPLEMENTATION The model abstraction algorithm / proposed algorithm / abstraction algorithm / partitioning algorithm / proposed abstraction algorithm / TCP/IP / apoptosis / /

SocialTag