×

Found 41 Documents (Results 1–41)

50 shades of rule composition. From chemical reactions to higher levels of abstraction. (English) Zbl 1402.92166

Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 117-135 (2014).
MSC:  92C40 05C90
PDFBibTeX XMLCite
Full Text: DOI

Self-assembly of arbitrary shapes using RNAse enzymes: meeting the Kolmogorov bound with small scale factor (extended abstract). (English) Zbl 1230.68069

Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 201-212, electronic only (2011).
MSC:  68Q05 05B45 68Q30 52C20
PDFBibTeX XMLCite
Full Text: DOI Link

From reaction models to influence graphs and back: a theorem. (English) Zbl 1375.92021

Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 90-102 (2008).
MSC:  92C40 92C45 05C90
PDFBibTeX XMLCite
Full Text: DOI

Algorithmic strategies in combinatorial chemistry. (English) Zbl 0963.92015

Proceedings of the 11th annual ACM-SIAM symposium on Discrete algorithms. San Francisco, CA, USA, January 9-11, 2000. Philadelphia, PA: SIAM. 275-284 (2000).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software