Boolean Recombinase-Based Devices

Guillaume Pérution-Kihli 1 Sarah Guiziou 2, 3 Federico Ulliana 1 Michel Leclère 1 Jérôme Bonnet 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This paper relates to a central problem in synthetic biology, which is that of designing Recombinase-based biological devices by matching a functional specification expressed as a Boolean function. This task is challenging as exploring the space of possibilities is typically unfeasible, and therefore many non-trivial design alternatives remain unexplored. Also, the issue has been so far regarded mainly from a practical perspective and is still lacking of formal foundations on which the definition of algorithms for assisting the biologists in their design tasks can be based. In this work, we present the first formal study of the problem, and give a formal semantics for a family of Recombinase-based biological devices. We then exhibit a set of semantic properties leading to the definition of representative devices, a notion that allows one to express infinitely large classes of design possibilities in a finite way. Building on this, we then provide a terminating algorithm for generating representative devices for n-input Boolean functions. An open online database of 18M design solutions for 4-inputs devices generated with our method has been released at http://recombinator.lirmm.fr.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02416052
Contributor : Federico Ulliana <>
Submitted on : Tuesday, December 17, 2019 - 3:45:58 PM
Last modification on : Tuesday, January 21, 2020 - 10:26:59 AM

File

tpnc.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet. Boolean Recombinase-Based Devices. TPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩. ⟨lirmm-02416052⟩

Share

Metrics

Record views

32

Files downloads

9