Search Results for Models, Biological.

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

Yazar

Fages, François. editor.

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

Format:

Electronic Resources

Alıntı:

models for the analysis of biological systems at macroscopic levels.

Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Yazar

Abate, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

analysis of biological models -- Application of advanced models on case studies.

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

Yazar

Feret, Jérôme. editor. (orcid)0000-0002-2601-2785

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

Format:

Electronic Resources

Alıntı:

implementations; model inference from experimental data; model integration from biological databases; multi-scale

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

Yazar

Davis, Jesse. editor.

http://dx.doi.org/10.1007/978-3-319-23708-4

Format:

Electronic Resources

Alıntı:

predictive models from ecological data -- PageRank, ProPPR, and Stochastic Logic Programs -- Complex

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

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

Yazar

Gopal, T. V. editor.

http://dx.doi.org/10.1007/978-3-319-06089-7

Format:

Electronic Resources

Alıntı:

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India

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.

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}