Molecular Logic and Computational Synthetic...

Molecular Logic and Computational Synthetic...
First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers

Urheber: Chaves, Madalena / Martins, Manuel A.
ISBN-13 978-3-030-19431-4
Verlag;: Springer International Publishing
Erscheinungstermin 28.04.2019
Anzahl Seiten XI / 157

Dieses Buch sammelt die überarbeiteten ausgewählten Proceedings des First International Symposium in Molecular Logic and Computational Synthetic Biology (MLCSB), das im Dezember 2018 in Chile, Santiago, stattfand. Der Band enthält 7 vollständig überarbeitete Beiträge sowie 2 Umfragen aus 19 Einreichungen, die auf dem Symposium vorgestellt wurden. Eines der Ziele des MLCSB 2018 war es, das Potenzial molekularer logischer Frameworks zu erforschen, um die sich abzeichnenden Verhaltensmuster in biologischen Netzwerken zu untersuchen, indem diskrete, kontinuierliche und stochastische Merkmale kombiniert werden und sowohl auf spezifische als auch auf allgemeine Analyse- und Verifikationstechniken zurückgegriffen wird.

Inhalt:
Theoretische Informatik
Algorithmen und Datenstrukturen
Theoretische Informatik
Künstliche Intelligenz

Dynamische Logik; Trennbarkeit; Inhomogene Bernoulli-Stellenversickerung; Boolesche Netzwerke; Reaktionsnetzwerke; Biologische regulatorische Netzwerke; Semantik; Zufallschromatin-Viertel; Brustkrebsmodellierung; Boolesche Algebra; Molekulare Logik; Formale Verifikation; Formale Logik; Bildsegmentierung; Morsegrafik; Matrixalgebraun