中文
相关论文

相关论文: Artificial chemistry experiments with chemlambda, …

200 篇论文

We provide a framework for experimentation at https://mbuliga.github.io/quinegraphs/ic-vs-chem.html#icvschem with two artificial chemistries: directed interaction combinators (dirIC, defined in section 2) and chemlambda. We are interested…

人工智能 · 计算机科学 2020-05-14 M. Buliga

Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments…

计算机科学中的逻辑 · 计算机科学 2020-07-21 Marius Buliga

We propose the chemlambda artificial chemistry, whose behavior strongly suggests that real molecules which embed Interaction Nets patterns and real chemical reactions which resemble Interaction Nets graph rewrites could be a realistic path…

新兴技术 · 计算机科学 2018-11-14 Marius Buliga

Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made…

Chemical reaction networks can be automatically generated from graph grammar descriptions, where rewrite rules model reaction patterns. Because a molecule graph is connected and reactions in general involve multiple molecules, the rewriting…

形式语言与自动机理论 · 计算机科学 2016-04-22 Jakob L. Andersen , Christoph Flamm , Daniel Merkle , Peter F. Stadler

We present chemlambda (or the chemical concrete machine), an artificial chemistry with the following properties: (a) is Turing complete, (b) has a model of decentralized, distributed computing associated to it, (c) works at the level of…

人工智能 · 计算机科学 2019-02-20 Marius Buliga , Louis H. Kauffman

Computational approaches to exploring "chemical universes", i.e., very large sets, potentially infinite sets of compounds that can be constructed by a prescribed collection of reaction mechanisms, in practice suffer from a combinatorial…

形式语言与自动机理论 · 计算机科学 2014-04-16 Jakob L. Andersen , Christoph Flamm , Daniel Merkle , Peter F. Stadler

Artificial Chemistries (ACs) are symbolic chemical metaphors for the exploration of Artificial Life, with specific focus on the origin of life. In this work we define a P system based artificial graph chemistry to understand the principles…

神经与进化计算 · 计算机科学 2009-01-06 Janardan Misra

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…

人工智能 · 计算机科学 2017-12-27 Marwin H. S. Segler , Mark P. Waller

Graph rewrite systems are powerful tools to model and study complex problems in various fields of research. Their successful application to chemical reaction modelling on a molecular level was shown but no appropriate and simple system is…

数学软件 · 计算机科学 2013-04-05 Martin Mann , Heinz Ekker , Christoph Flamm

Analysis of chemical graphs is a major research topic in computational molecular biology due to its potential applications to drug design. One approach is inverse quantitative structure activity/property relationship (inverse QSAR/QSPR)…

数据结构与算法 · 计算机科学 2020-09-22 Naveed Ahmed Azam , Jianshen Zhu , Yanming Sun , Yu Shi , Aleksandar Shurbevski , Liang Zhao , Hiroshi Nagamochi , Tatsuya Akutsu

Direct numerical simulations of turbulent reacting flows involving millions of grid points and detailed chemical mechanisms with hundreds of species and thousands of reactions are computationally prohibitive. To address this challenge, we…

机器学习 · 计算机科学 2026-03-25 Manuru Nithin Padiyar , Priyabrat Dash , Konduri Aditya

In the $(G,H)$-isomorphism game, a verifier interacts with two non-communicating players (called provers) by privately sending each of them a random vertex from either $G$ or $H$, whose aim is to convince the verifier that two graphs $G$…

组合数学 · 数学 2020-04-24 Laura Mančinska , David E. Roberson , Antonios Varvitsiotis

Analysis of chemical graphs is becoming a major research topic in computational molecular biology due to its potential applications to drug design. One of the major approaches in such a study is inverse quantitative structure…

计算工程、金融与科学 · 计算机科学 2020-12-04 Tatsuya Akutsu , Hiroshi Nagamochi

A novel framework has recently been proposed for designing the molecular structure of chemical compounds with a desired chemical property using both artificial neural networks and mixed integer linear programming. In the framework, a…

机器学习 · 计算机科学 2021-08-24 Naveed Ahmed Azam , Jianshen Zhu , Kazuya Haraguchi , Liang Zhao , Hiroshi Nagamochi , Tatsuya Akutsu

Artificial chemistry simulations produce many intriguing emergent behaviors, but they are often difficult to steer or control. This paper proposes a method for steering the dynamics of a classic artificial chemistry model, known as AlChemy…

形式语言与自动机理论 · 计算机科学 2025-09-05 Devansh Vimal , Cole Mathis , Westley Weimer , Stephanie Forrest

It is fundamental for science and technology to be able to predict chemical reactions and their properties. To achieve such skills, it is important to develop good representations of chemical reactions, or good deep learning architectures…

机器学习 · 计算机科学 2022-01-05 Mohammadamin Tavakoli , Alexander Shmakov , Francesco Ceccarelli , Pierre Baldi

Molecular graphs of unsaturated carbon frameworks or hydrocarbons pruned of hydrogen atoms, are chemical graphs. A chemical graph is a connected simple graph of maximum degree $3$ or less. A nut graph is a connected simple graph with a…

组合数学 · 数学 2020-09-04 Patrick W. Fowler , Tomaž Pisanski , Nino Bašić

Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this…

We study binomiality of the steady state ideals of chemical reaction networks. Considering rate constants as indeterminates, the concept of unconditional binomiality has been introduced and an algorithm based on linear algebra has been…

符号计算 · 计算机科学 2021-01-15 Hamid Rahkooy , Cristian Vargas Montero
‹ 上一页 1 2 3 10 下一页 ›