Search Results - "Cardelli, Luca"

A programming language for composable DNA circuits by Phillips, Andrew, Cardelli, Luca

“…Recently, a range of information-processing circuits have been implemented in DNA by using strand displacement as their main computational mechanism. Examples…”
Get full text

The Cell Cycle Switch Computes Approximate Majority by Cardelli, Luca, Csikász-Nagy, Attila

“…Both computational and biological systems have to make decisions about switching from one state to another. The ‘Approximate Majority’ computational algorithm…”
Get full text

From electric circuits to chemical networks by Cardelli, Luca, Tribastone, Mirco, Tschaikowski, Max

“…Electric circuits manipulate electric charge and magnetic flux via a small set of discrete components to implement useful functionality over continuous…”
Get full text

The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems by Boemo, Michael A, Cardelli, Luca, Nieduszynski, Conrad A

“…Biological systems are made up of components that change their actions (and interactions) over time and coordinate with other components nearby. Together with…”
Get full text

Chemical reaction network designs for asynchronous logic circuits by Cardelli, Luca, Kwiatkowska, Marta, Whitby, Max

“…Chemical reaction networks (CRNs) are a versatile language for describing the dynamical behaviour of chemical kinetics, capable of modelling a variety of…”
Get full text

Abstractions for DNA circuit design by Lakin, Matthew R., Youssef, Simon, Cardelli, Luca, Phillips, Andrew

“…DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction…”
Get full text

Design and analysis of DNA strand displacement devices using probabilistic model checking by Lakin, Matthew R., Parker, David, Cardelli, Luca, Kwiatkowska, Marta, Phillips, Andrew

“…Designing correct, robust DNA devices is difficult because of the many possibilities for unwanted interference between molecules in the system. DNA strand…”
Get full text

Programmable chemical controllers made from DNA by Chen, Yuan-Jyue, Dalchau, Neil, Srinivas, Niranjan, Phillips, Andrew, Cardelli, Luca, Soloveichik, David, Seelig, Georg

Get full text

Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints by Hernansaiz-Ballesteros, Rosa D., Földi, Csenge, Cardelli, Luca, Nagy, László G., Csikász-Nagy, Attila

“…In eukaryotes the entry into mitosis is initiated by activation of cyclin-dependent kinases (CDKs), which in turn activate a large number of protein kinases to…”
Get full text

A Language for Modeling and Optimizing Experimental Biological Protocols by Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca

“…Automation is becoming ubiquitous in all laboratory activities, moving towards precisely defined and codified laboratory protocols. However, the integration…”
Get full text

Biomolecular mechanisms for signal differentiation by Alexis, Emmanouil, Schulte, Carolin C.M., Cardelli, Luca, Papachristodoulou, Antonis

“…Cells can sense temporal changes of molecular signals, allowing them to predict environmental variations and modulate their behavior. This paper elucidates…”
Get full text

Efficient Switches in Biology and Computer Science by Cardelli, Luca, Hernansaiz-Ballesteros, Rosa D, Dalchau, Neil, Csikász-Nagy, Attila

“…Luca Cardelli Affiliations Microsoft Research, Cambridge, United Kingdom, Department of Computer Science, University of Oxford, Oxford, United Kingdom Rosa D…”
Get full text

Phosphorelays provide tunable signal processing capabilities for the cell by Kothamachu, Varun B, Feliu, Elisenda, Wiuf, Carsten, Cardelli, Luca, Soyer, Orkun S

“…Achieving a complete understanding of cellular signal transduction requires deciphering the relation between structural and biochemical features of a signaling…”
Get full text

Transcriptional regulation is a major controller of cell cycle transition dynamics by Romanel, Alessandro, Jensen, Lars Juhl, Cardelli, Luca, Csikász-Nagy, Attila

“…DNA replication, mitosis and mitotic exit are critical transitions of the cell cycle which normally occur only once per cycle. A universal control mechanism…”
Get full text

Two-Domain DNA Strand Displacement by Cardelli, Luca

“…We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks…”
Get full text

A peptide filtering relation quantifies MHC class I peptide optimization by Dalchau, Neil, Phillips, Andrew, Goldstein, Leonard D, Howarth, Mark, Cardelli, Luca, Emmott, Stephen, Elliott, Tim, Werner, Joern M

“…Major Histocompatibility Complex (MHC) class I molecules enable cytotoxic T lymphocytes to destroy virus-infected or cancerous cells, thereby preventing…”
Get full text

Morphisms of reaction networks that couple structure to function by Cardelli, Luca

“…The mechanisms underlying complex biological systems are routinely represented as networks. Network kinetics is widely studied, and so is the connection…”
Get full text

Continuous Markovian Logics - Axiomatization and Quantified Metatheory by Mardare, Radu, Cardelli, Luca, Larsen, Kim G.

“…Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with…”
Get full text

On process rate semantics by Cardelli, Luca

“…We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and…”
Get full text

Strand algebras for DNA computing by Cardelli, Luca

“…We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA…”
Get full text