×

Found 192 Documents (Results 1–100)

P versus B: P systems as a formal framework for controllability of Boolean networks. (English) Zbl 07800492

Bordihn, Henning (ed.) et al., Proceedings of the 12th international workshop on non-classical models of automata and applications, NCMA 2022, Debrecen, Hungary, August 26–27, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 367, 28-48 (2022).
MSC:  68-XX 92-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

Parameterized leaf power recognition via embedding into graph products. (English) Zbl 1520.68121

Paul, Christophe (ed.) et al., 13th international symposium on parameterized and exact computation, IPEC 2018, August 22–24, 2018, Helsinki, Finland. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 115, Article 16, 14 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Walking membranes: grid-exploring P systems with artificial evolution for multi-purpose topological optimisation of cascaded processes. (English) Zbl 1483.68120

Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 251-271 (2017).
PDFBibTeX XMLCite
Full Text: DOI

The evolutionary resilience of distributed cellular computing. (English) Zbl 1483.68112

Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 3-15 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Mean-field semantics for a process calculus for spatially-explicit ecological models. (English) Zbl 1480.92232

Muñoz, César A. (ed.) et al., Proceedings of the eleventh international workshop on developments in computational models, DCM 2015, Cali, Colombia, October 28, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 204, 79-94 (2016).
MSC:  92D40 68Q55 68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

Dominance and T-invariants for Petri nets and chemical reaction networks. (English) Zbl 1404.68077

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, 1-15 (2015).
MSC:  68Q85 92E20
PDFBibTeX XMLCite
Full Text: DOI

A connection between red-green Turing machines and Watson-Crick T0L systems. (English) Zbl 1415.68076

Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9–11, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9288, 31-44 (2015).
MSC:  68Q05 68Q42 92D20
PDFBibTeX XMLCite
Full Text: DOI

Expressive power of non-deterministic evolving recurrent neural networks in terms of their attractor dynamics. (English) Zbl 1465.68084

Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 144-156 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic guarded P systems, a new formal modelling framework. (English) Zbl 1457.68096

Gheorghe, Marian (ed.) et al., Membrane computing. 15th international conference, CMC 2014, Prague, Czech Republic, August 20–22, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8961, 194-214 (2014).
MSC:  68Q07 92-10 92D25
PDFBibTeX XMLCite
Full Text: DOI

ODE analysis of biological systems. (English) Zbl 1383.92033

Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 29-62 (2013).
MSC:  92C42 92C40 92D25
PDFBibTeX XMLCite
Full Text: DOI

Representing reaction systems by trees. (English) Zbl 1353.68080

Dinneen, Michael J. (ed.) et al., Computation, physics and beyond. International workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21–24, 2012. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-27653-8/pbk). Lecture Notes in Computer Science 7160, 330-342 (2012).
MSC:  68Q05 92C37
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software