English
Related papers

Related papers: DNA-based chemical compiler

200 papers

We give the easily recognizable name "cinnamon" and "cinnamon programming" to a new computation model intended to form a theoretical foundation for Control Network Programming (CNP). CNP has established itself as a programming paradigm…

Programming Languages · Computer Science 2017-10-18 Kostadin Kratchanov

Industrial cyber-physical systems generate vast amounts of semi-structured time-series data that require careful preprocessing before they can be effectively used for machine learning applications such as fault detection and identification.…

Programming Languages · Computer Science 2026-05-12 Uraz Odyurt , Ömer Sayilir , Mariëlle Stoelinga , Vadim Zaytsev

DNA constructs and their annotated sequence maps have been rapidly accumulating with the advancement of DNA cloning, synthesis, and assembly methods. Such a resource has the potential to be optimally utilized in an autonomous DNA building…

Quantitative Methods · Quantitative Biology 2021-12-01 Hideto Mori , Nozomu Yachie

The computer programs most users interact with daily are driven by a graphical user interface (GUI). However, many scientific applications are used with a command line interface (CLI) for the ease of development and increased flexibility…

Human-Computer Interaction · Computer Science 2008-06-03 N. C. Manoukis , E. C. Anderson

This paper envisions an end-to-end program generation scenario using recurrent neural networks (RNNs): Users can express their intention in natural language; an RNN then automatically generates corresponding code in a…

Software Engineering · Computer Science 2015-10-27 Lili Mou , Rui Men , Ge Li , Lu Zhang , Zhi Jin

The ability to reason beyond established knowledge allows Organic Chemists to solve synthetic problems and to invent novel transformations. Here, we propose a model which mimics chemical reasoning and formalises reaction prediction as…

Artificial Intelligence · Computer Science 2017-12-27 Marwin H. S. Segler , Mark P. Waller

PLUMED-GUI is an interactive environment to develop and test complex PLUMED scripts within the Visual Molecular Dynamics (VMD) environment. Computational biophysicists can take advantage of both PLUMED's rich syntax to define collective…

Computational Physics · Physics 2013-12-12 Toni Giorgino

In this paper, we introduce chemical functions, a unified framework that models chemical systems as noisy challenge--response primitives, and formalize the associated chemical function infrastructure. Building on the theory of physical…

Cryptography and Security · Computer Science 2026-01-21 Frederik Walter , Hrishi Narayanan , Jessica Bariffi , Anne Lüscher , Rawad Bitar , Robert Grass , Antonia Wachter-Zeh , Zohar Yakhini

Chemputation is the process of programming chemical robots to do experiments using a universal symbolic language, but the literature can be error prone and hard to read due to ambiguities. Large Language Models (LLMs) have demonstrated…

Artificial Intelligence · Computer Science 2024-10-10 Sebastian Pagel , Michael Jirasek , Leroy Cronin

Specialized computational chemistry packages have permanently reshaped the landscape of chemical and materials science by providing tools to support and guide experimental efforts and for the prediction of atomistic and electronic…

Chemical Physics · Physics 2020-05-27 E. Aprà , E. J. Bylaska , W. A. de Jong , N. Govind , K. Kowalski , T. P. Straatsma , M. Valiev , H. J. J. van Dam , Y. Alexeev , J. Anchell , V. Anisimov , F. W. Aquino , R. Atta-Fynn , J. Autschbach , N. P. Bauman , J. C. Becca , D. E. Bernholdt , K. Bhaskaran-Nair , S. Bogatko , P. Borowski , J. Boschen , J. Brabec , A. Bruner , E. Cauët , Y. Chen , G. N. Chuev , C. J. Cramer , J. Daily , M. J. O. Deegan , T. H. Dunning , M. Dupuis , K. G. Dyall , G. I. Fann , S. A. Fischer , A. Fonari , H. Früuchtl , L. Gagliardi , J. Garza , N. Gawande , S. Ghosh , K. Glaesemann , A. W. Götz , J. Hammond , V. Helms , E. D. Hermes , K. Hirao , S. Hirata , M. Jacquelin , L. Jensen , B. G. Johnson , H. Jónsson , R. A. Kendall , M. Klemm , R. Kobayashi , V. Konkov , S. Krishnamoorthy , M. Krishnan , Z. Lin , R. D. Lins , R. J. Littlefield , A. J. Logsdail , K. Lopata , W. Ma , A. V. Marenich , J. Martin del Campo , D. Mejia-Rodriguez , J. E. Moore , J. M. Mullin , T. Nakajima , D. R. Nascimento , J. A. Nichols , P. J. Nichols , J. Nieplocha , A. Otero de la Roza , B. Palmer , A. Panyala , T. Pirojsirikul , B. Peng , R. Peverati , J. Pittner , L. Pollack , R. M. Richard , P. Sadayappan , G. C. Schatz , W. A. Shelton , D. W. Silverstein , D. M. A. Smith , T. A. Soares , D. Song , M. Swart , H. L. Taylor , G. S. Thomas , V. Tipparaju , D. G. Truhlar , K. Tsemekhman , T. Van Voorhis , Á. Vázquez-Mayagoitia , P. Verma , O. Villa , A. Vishnu , K. D. Vogiatzis , D. Wang , J. H. Weare , M. J. Williamson , T. L. Windus , K. Woliński , A. T. Wong , Q. Wu , C. Yang , Q. Yu , M. Zacharias , Z. Zhang , Y. Zhao , R. J. Harrison

We study the composability of discrete chemical reaction networks (CRNs) that stably compute (i.e., with probability 0 of error) integer-valued functions $f:\mathbb{N}^d\to\mathbb{N}$. We consider output-oblivious CRNs in which the output…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-04 Eric E. Severson , David Haley , David Doty

Self assembly is a process by which supramolecular species form spontaneously from their components. This process is ubiquitous throughout the life chemistry and is central to biological information processing. It has been predicted that in…

Information Theory · Computer Science 2009-08-20 Anshul Chaurasia , Sudhanshu Dwivedi , Prateek Jain , Manish K. Gupta

"Code Generation for Generally Mapped Finite Elements" includes performance results for the finite element methods discussed in that manuscript. The authors provided a Zenodo archive with the Firedrake components and dependencies used, as…

Mathematical Software · Computer Science 2020-11-04 Neil Lindquist

Printing custom DNA sequences is essential to scientific and biomedical research, but the technology can be used to manufacture plagues as well as cures. Just as ink printers recognize and reject attempts to counterfeit money, DNA…

Reverse engineering of binary executables is a critical problem in the computer security domain. On the one hand, malicious parties may recover interpretable source codes from the software products to gain commercial advantages. On the…

Programming Languages · Computer Science 2019-07-01 Cheng Fu , Huili Chen , Haolan Liu , Xinyun Chen , Yuandong Tian , Farinaz Koushanfar , Jishen Zhao

We demonstrate that a small transformer can learn to execute programs in MicroPy, a simplified yet computationally universal programming language. Given procedure definitions together with an expression to evaluate, the transformer predicts…

Artificial Intelligence · Computer Science 2026-04-29 Ruize Xu , Chenxiao Yang , Yanhong Li , David McAllester

This paper presents SimulatorCoder, an agent powered by large language models (LLMs), designed to generate and optimize deep neural network (DNN) accelerator simulators based on natural language descriptions. By integrating domain-specific…

Hardware Architecture · Computer Science 2026-02-20 Yuhuan Xia , Tun Li , Hongji Zhou , Xianfa Zhou , Chong Chen , Ruiyu Zhang

The exploration of novel chemical spaces is one of the most important tasks of cheminformatics when supporting the drug discovery process. Properly designed and trained deep neural networks can provide a viable alternative to brute-force de…

Machine Learning · Computer Science 2018-01-09 Peter Ertl , Richard Lewis , Eric Martin , Valery Polyakov

Self-assembly is a phenomenon observed in nature at all scales where autonomous entities build complex structures, without external influences nor centralised master plan. Modelling such entities and programming correct interactions among…

Computational Complexity · Computer Science 2013-09-26 German Terrazas , Hector Zenil , Natalio Krasnogor

Any file is fundamentally a binary data stream. A practical solution was achieved to interpret binary data stream. A new scripting language named Data Format Scripting Language (DFSL) was developed to describe the physical layout of the…

Programming Languages · Computer Science 2015-07-28 Lihua Wang , Luz Fernando Capretz