Search Results for Biological models.

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Yazar

Bartocci, Ezio. editor.

http://dx.doi.org/10.1007/978-3-319-45177-0

Format:

Electronic Resources

Alıntı:

Modeling biological processes -- Models and their biological applications -- Frameworks for model

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Yazar

Mendes, Pedro. editor.

http://dx.doi.org/10.1007/978-3-319-12982-2

Format:

Electronic Resources

Alıntı:

biological systems, models and their biological applications, computational approaches for synthetic biology

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

Yazar

Wienke, B. R. author.

https://doi.org/10.1007/978-3-319-94054-0

Format:

Electronic Resources

Alıntı:

Biological and Medical Physics, Biophysics. http://scigraph.springernature.com/things/product

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-030-31514-6

Format:

Electronic Resources

Alıntı:

Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Yazar

Češka, Milan. editor. (orcid)0000-0002-0300-9727

https://doi.org/10.1007/978-3-319-99429-1

Format:

Electronic Resources

Alıntı:

Thermodynamic Binding Networks -- A Trace Query Language for Rule-based Models -- Inferring Mechanism of Action

Transactions on Petri Nets and Other Models of Concurrency IX

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-45730-6

Format:

Electronic Resources

Alıntı:

Transactions on Petri Nets and Other Models of Concurrency IX Koutny, Maciej. editor.

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

https://doi.org/10.1007/978-3-030-31304-3

Format:

Electronic Resources

Alıntı:

interest include formalisms for modeling biological processes; models and their biological applications

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

Yazar

Biere, Armin. editor.

http://dx.doi.org/10.1007/978-3-319-08867-9

Format:

Electronic Resources

Alıntı:

Analyzing and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant

	{displayName}	{count}
{error}