×

Found 37 Documents (Results 1–37)

Self-organization in stellar evolution: size-complexity rule. (English) Zbl 1515.85010

Georgiev, Georgi Yordanov (ed.) et al., Efficiency in complex systems. Self-organization towards increased efficiency. Based on the presentations at the conference on complex systems, Cancun, Mexico, 2017. Cham: Springer. Springer Proc. Complex., 53-80 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast enumeration of non-isomorphic chemical reaction networks. (English) Zbl 1422.92049

Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 224-247 (2019).
MSC:  92C40 92C42
PDFBibTeX XMLCite
Full Text: DOI

Experimental biological protocols with formal semantics. (English) Zbl 1397.92268

Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 165-182 (2018).
MSC:  92C45 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal methods for discrete-time dynamical systems. (English) Zbl 1409.93003

Studies in Systems, Decision and Control 89. Cham: Springer (ISBN 978-3-319-50762-0/hbk; 978-3-319-50763-7/ebook). xviii, 284 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Synthesizing and tuning chemical reaction networks with specified behaviours. (English) Zbl 1403.92356

Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Functional analysis of large-scale DNA strand displacement circuits. (English) Zbl 1409.68112

Soloveichik, David (ed.) et al., DNA computing and molecular programming. 19th international conference, DNA 19, Tempe, AZ, USA, September 22–27, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8141, 189-203 (2013).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Asymptotic behavior and regularity for nonlinear dissipative wave equations in \(\mathbb{R}^n\). (English) Zbl 1184.35217

Begehr, H. G. W. (ed.) et al., Further progress in analysis. Proceedings of the 6th international ISAAC congress, Ankara, Turkey, August 13–18, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-283-732-5/hbk). 835-844 (2009).
PDFBibTeX XMLCite

Parameter synthesis for piecewise affine systems from temporal logic specifications. (English) Zbl 1144.93321

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 542-555 (2008).
MSC:  93C25 93C55 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Nonlinear dissipative wave equations with potential. (English) Zbl 1130.35095

Ancona, Fabio (ed.) et al., Control methods in PDE-dynamical systems. AMS-IMS-SIAM joint summer research conference, Snowbird, UT, USA, July 3–7, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3766-5/pbk). Contemporary Mathematics 426, 317-337 (2007).
MSC:  35L70 35B40 35L15
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software