Formal Semantics and Verification of Network-Based Biocomputation Circuits

Network-Based Biocomputation Circuits (NBCs) offer a new paradigm for solving complex computational problems by utilizing biological agents that operate in parallel to explore manufactured planar devices. The approach can also have future applications in diagnostics and medicine by combining NBCs co...

Descripción completa

Detalles Bibliográficos
Autores principales: Aluf-Medina, Michelle, Korten, Till, Raviv, Avraham, Nicolau Jr., Dan V., Kugler, Hillel
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7798404/
http://dx.doi.org/10.1007/978-3-030-67067-2_21

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7798404/
http://dx.doi.org/10.1007/978-3-030-67067-2_21

Ejemplares similares