Benenson, Yaakov ; Dalchau, Neil ; Koeppl, Heinz ; Maler, Oded (2024)
Formal Methods for the Synthesis of Biomolecular Circuits.
In: Dagstuhl Reports, 2018, 8 (2)
doi: 10.26083/tuprints-00026921
Artikel, Zweitveröffentlichung, Verlagsversion
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
Kurzbeschreibung (Abstract)
This report documents the program and the outcomes of Dagstuhl Seminar 18082 "Formal Methods for the Synthesis of Biomolecular Circuits". Synthetic biology aims for the rational bottom-up engineering of new biological functionalities. Recent years have witnessed an increase in the degree of "rationality" in the design of synthetic biomolecular circuits. With it, fewer design-build-test cycles were necessary to achieve a desired circuit performance. Most of these success stories reported the realization of logic circuits, typically operating via regulation of gene expression and/or direct manipulation of DNA sequences with recombinases, executing combinatorial and sometimes sequential logic. This was often achieved with the help of two ingredients, a library of previously well-characterized parts and some computational modeling. Hence, although circuits in synthetic biology are still by far less understood and characterized than electronic circuits, the opportunity for the formal synthesis of circuit designs with respect to a behavioral specification starts to emerge in synthetic biology.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2024 |
| Autor(en): | Benenson, Yaakov ; Dalchau, Neil ; Koeppl, Heinz ; Maler, Oded |
| Art des Eintrags: | Zweitveröffentlichung |
| Titel: | Formal Methods for the Synthesis of Biomolecular Circuits |
| Sprache: | Englisch |
| Publikationsjahr: | 30 April 2024 |
| Ort: | Darmstadt |
| Publikationsdatum der Erstveröffentlichung: | 2018 |
| Ort der Erstveröffentlichung: | Wadern |
| Verlag: | Schloss Dagstuhl |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Dagstuhl Reports |
| Jahrgang/Volume einer Zeitschrift: | 8 |
| (Heft-)Nummer: | 2 |
| Veranstaltungstitel: | Dagstuhl Seminar |
| Veranstaltungsort: | Dagstuhl, Wadern |
| Veranstaltungsdatum: | 18.02. - 23.02.2018 |
| DOI: | 10.26083/tuprints-00026921 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/26921 |
| Zugehörige Links: | |
| Herkunft: | Zweitveröffentlichungsservice |
| Kurzbeschreibung (Abstract): | This report documents the program and the outcomes of Dagstuhl Seminar 18082 "Formal Methods for the Synthesis of Biomolecular Circuits". Synthetic biology aims for the rational bottom-up engineering of new biological functionalities. Recent years have witnessed an increase in the degree of "rationality" in the design of synthetic biomolecular circuits. With it, fewer design-build-test cycles were necessary to achieve a desired circuit performance. Most of these success stories reported the realization of logic circuits, typically operating via regulation of gene expression and/or direct manipulation of DNA sequences with recombinases, executing combinatorial and sometimes sequential logic. This was often achieved with the help of two ingredients, a library of previously well-characterized parts and some computational modeling. Hence, although circuits in synthetic biology are still by far less understood and characterized than electronic circuits, the opportunity for the formal synthesis of circuit designs with respect to a behavioral specification starts to emerge in synthetic biology. |
| Freie Schlagworte: | Synthetic biology, Electronic design automation, Program synthesis and verification |
| ID-Nummer: | Seminar-ID: 18082 |
| Status: | Verlagsversion |
| URN: | urn:nbn:de:tuda-tuprints-269214 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik 500 Naturwissenschaften und Mathematik > 570 Biowissenschaften, Biologie 600 Technik, Medizin, angewandte Wissenschaften > 621.3 Elektrotechnik, Elektronik |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik > Bioinspirierte Kommunikationssysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Self-Organizing Systems Lab |
| Hinterlegungsdatum: | 30 Apr 2024 09:20 |
| Letzte Änderung: | 09 Jul 2024 10:16 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
- Formal Methods for the Synthesis of Biomolecular Circuits. (deposited 30 Apr 2024 09:20) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum