English
Related papers

Related papers: Compiling Elementary Mathematical Functions into F…

200 papers

In parameterized algorithmics, the process of kernelization is defined as a polynomial time algorithm that transforms the instance of a given problem to an equivalent instance of a size that is limited by a function of the parameter. As,…

Computational Complexity · Computer Science 2019-03-01 Jouke Witteveen , Ralph Bottesch , Leen Torenvliet

This paired article aims to develop an automated and programmable biochemical fully connected neural network (BFCNN) with solid theoretical support. In Part I, a concrete design for BFCNN is presented, along with the validation of the…

Dynamical Systems · Mathematics 2024-01-17 Yuzhen Fan , Xiaoyu Zhang , Chuanhou Gao , Denis Dochain

Prediction of complete step-by-step chemical reaction mechanisms (CRMs) remains a major challenge. Whereas the traditional approaches in CRM tasks rely on expert-driven experiments or costly quantum chemical computations, contemporary deep…

Chemical Physics · Physics 2025-12-11 Manajit Das , Ajnabiul Hoque , Mayank Baranwal , Raghavan B. Sunoj

We present a uniform method for translating an arbitrary nondeterministic finite automaton (NFA) into a deterministic mass action input/output chemical reaction network (I/O CRN) that simulates it. The I/O CRN receives its input as a…

Computational Complexity · Computer Science 2018-12-27 Titus H. Klinge , James I. Lathrop , Jack H. Lutz

This paper studies the (discrete) \emph{chemical reaction network (CRN)} computational model that emerged in the last two decades as an abstraction for molecular programming. The correctness of CRN protocols is typically established under…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-04 Anne Condon , Yuval Emek , Noga Harlev

We prove that functions over the reals computable in polynomial time can be characterised using discrete ordinary differential equations (ODE), also known as finite differences. We also provide a characterisation of functions computable in…

Computational Complexity · Computer Science 2024-02-15 Manon Blanc , Olivier Bournez

While the treatment of chemically relevant systems containing hundreds or even thousands of electrons remains beyond the reach of quantum devices, the development of quantum-classical hybrid algorithms to resolve electronic correlation…

In this work, we propose a general inversion framework to non-uniquely invert a very large class of ordinary differential equations (ODEs) into chemical reaction networks. A thorough treatment of the relevant chemical reaction network…

Molecular Networks · Quantitative Biology 2023-01-25 Su Hyeong Lee

Chemical reactions occur in energy, environmental, biological, and many other natural systems, and the inference of the reaction networks is essential to understand and design the chemical processes in engineering and life sciences. Yet,…

Molecular Networks · Quantitative Biology 2021-01-22 Weiqi Ji , Sili Deng

Background: A classical problem in metabolic design is to maximize the production of desired compound in a given chemical reaction network by appropriately directing the mass flow through the network. Computationally, this problem is…

Molecular Networks · Quantitative Biology 2011-10-28 Jakob L. Andersen , Christoph Flamm , Daniel Merkle , Peter F. Stadler

Estimating rate coefficients from complex chemical reactions is essential for advancing detailed chemistry. However, the stiffness inherent in real-world atmospheric chemistry systems poses severe challenges, leading to training instability…

Machine Learning · Computer Science 2025-09-01 Wenqing Peng , Zhi-Song Liu , Michael Boy

Quadratization of polynomial and nonpolynomial systems of ordinary differential equations is advantageous in a variety of disciplines, such as systems theory, fluid mechanics, chemical reaction modeling and mathematical analysis. A…

Symbolic Computation · Computer Science 2023-12-07 Andrey Bychkov , Opal Issan , Gleb Pogudin , Boris Kramer

Inferring chemical reaction networks (CRN) from concentration time series is a challenge encouragedby the growing availability of quantitative temporal data at the cellular level. This motivates thedesign of algorithms to infer the…

Quantitative Methods · Quantitative Biology 2023-02-09 Julien Martinelli , Jeremy Grignard , Sylvain Soliman , Annabelle Ballesta , François Fages

Discovering hidden partial differential equations (PDEs) and operators from data is an important topic at the frontier between machine learning and numerical analysis. This doctoral thesis introduces theoretical results and deep learning…

Numerical Analysis · Mathematics 2022-10-31 Nicolas Boullé

Elementary function operations such as sin and exp cannot in general be computed exactly on today's digital computers, and thus have to be approximated. The standard approximations in library functions typically provide only a limited set…

Programming Languages · Computer Science 2022-05-02 Heiko Becker , Mohit Tekriwal , Eva Darulova , Anastasia Volkova , Jean-Baptiste Jeannin

This paper presents an algorithm, Voted Kernel Regularization , that provides the flexibility of using potentially very complex kernel functions such as predictors based on much higher-degree polynomial kernels, while benefitting from…

Machine Learning · Computer Science 2015-09-16 Corinna Cortes , Prasoon Goyal , Vitaly Kuznetsov , Mehryar Mohri

Chemical reaction networks (CRNs) provide a convenient language for modelling a broad variety of biological systems. These models are commonly studied with respect to the time series they generate in deterministic or stochastic simulations.…

Molecular Networks · Quantitative Biology 2019-07-11 Ozan Kahramanoğulları

It is increasingly realized that taking stochastic effects into account is important in order to study biological cells. However, the corresponding mathematical formulation, the chemical master equation (CME), suffers from the curse of…

Numerical Analysis · Mathematics 2023-09-18 Lukas Einkemmer , Julian Mangott , Martina Prugger

Ordinary differential equation (ODE) is widely used in modeling biological and physical processes in science. In this article, we propose a new reproducing kernel-based approach for estimation and inference of ODE given noisy observations.…

Methodology · Statistics 2021-10-26 Xiaowu Dai , Lexin Li

Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this…

Logic in Computer Science · Computer Science 2016-08-14 Kevin Henshall , Peter Schachte , Harald Søndergaard , Leigh Whiting
‹ Prev 1 3 4 5 6 7 10 Next ›