English
Related papers

Related papers: ODEbase: A Repository of ODE Systems for Systems B…

200 papers

Since the turn of the millennium, computational modelling of biological systems has evolved remarkably and sees matured use spanning basic and clinical research. While the topic of the peri-millennial debate about the virtues and…

Quantitative Methods · Quantitative Biology 2025-08-05 Axel Loewe , Peter J. Hunter , Peter Kohl

In quantum information and computation research, symbolic methods have been widely used for human specification and reasoning about quantum states and operations. At the same time, they are essential for ensuring the scalability and…

Programming Languages · Computer Science 2025-12-30 Mingsheng Ying

Machine learning (ML) applications become increasingly common in many domains. ML systems to execute these workloads include numerical computing frameworks and libraries, ML algorithm libraries, and specialized systems for deep neural…

Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although their dynamics are described by rules, encoding membrane…

Logic in Computer Science · Computer Science 2024-01-17 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo

Bioprocess mechanistic modeling is essential for advancing intelligent digital twin representation of biomanufacturing, yet challenges persist due to complex intracellular regulation, stochastic system behavior, and limited experimental…

Machine Learning · Statistics 2025-05-07 Keilung Choy , Wei Xie , Keqi Wang

The importance of simulation at machine level in industrial environments is steadily increasing especially in the design and commissioning phase. Using models during the operation phase together with the real machine or plant is referred to…

Systems and Control · Electrical Eng. & Systems 2024-02-09 Darius Deubert , Lars Klingel , Andreas Selig

The dynamics of systems biological processes are usually modeled by a system of ordinary differential equations (ODEs) with many unknown parameters that need to be inferred from noisy and sparse measurements. Here, we introduce…

Quantitative Methods · Quantitative Biology 2022-02-04 Mitchell Daneker , Zhen Zhang , George Em Karniadakis , Lu Lu

Computational simulations are a popular method for testing hypotheses about the emergence of communication. This kind of research is performed in a variety of traditions including language evolution, developmental psychology, cognitive…

Artificial Intelligence · Computer Science 2023-03-09 Julian Zubek , Tomasz Korbak , Joanna Rączaszek-Leonardi

Recent advances in spatial omics technologies have revolutionized our ability to study biological systems with unprecedented resolution. By preserving the spatial context of molecular measurements, these methods enable comprehensive mapping…

Quantitative Methods · Quantitative Biology 2025-09-18 Zhiwei Fan , Tiangang Wang , Kexin Huang , Binwu Ying , Xiaobo Zhou

Motivation: Biological data and knowledge bases increasingly rely on Semantic Web technologies and the use of knowledge graphs for data integration, retrieval and federated queries. In the past years, feature learning methods that are…

Quantitative Methods · Quantitative Biology 2017-05-01 Mona Alshahrani , Mohammed Asif Khan , Omar Maddouri , Akira R Kinjo , Núria Queralt-Rosinach , Robert Hoehndorf

Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed. Mathematical modeling of biological systems with delays is usually based on Delay Differential Equations (DDEs), a kind…

Quantitative Methods · Quantitative Biology 2009-10-08 Roberto Barbuti , Giulio Caravagna , Paolo Milazzo , Andrea Maggiolo-Schettini

Computational models are invaluable in capturing the complexities of real-world biological processes. Yet, the selection of appropriate algorithms for inference tasks, especially when dealing with real-world observational data, remains a…

Applications · Statistics 2024-10-01 Xiaoyu Wang , Ryan P. Kelly , Adrianne L. Jenner , David J. Warne , Christopher Drovandi

Inferring latent interaction structures from observed dynamics is a fundamental inverse problem in many-body interacting systems. Most neural approaches rely on black-box surrogates over trainable graphs, achieving accuracy at the expense…

Machine Learning · Computer Science 2026-04-15 Xiaoxiao Liang , Juyuan Zhang , Liming Pan , Linyuan Lü

This paper studies the role that ontologies can play in establishing conceptual data models during the process of information systems development. A mapping algorithm has been proposed and embedded in a special purpose Transformation-Engine…

Software Engineering · Computer Science 2007-05-23 Haya El-Ghalayini , Mohammed Odeh , Richard McClatchey

Agent-based modeling (ABM) is a powerful computational approach for studying complex biological and biomedical systems, yet its widespread use remains limited by significant computational demands. As models become increasingly…

Quantitative Methods · Quantitative Biology 2025-04-17 Kerri-Ann Norton , Daniel Bergman , Harsh Vardhan Jain , Trachette Jackson

Organic reaction mechanisms are the stepwise elementary reactions by which reactants form intermediates and products, and are fundamental to understanding chemical reactivity and designing new molecules and reactions. Although large…

Artificial Intelligence · Computer Science 2026-05-05 Ruiling Xu , Yifan Zhang , Qingyun Wang , Carl Edwards , Heng Ji

The paper provides a survey of semantic methods for solution of fundamental tasks in mathematical knowledge management. Ontological models and formalisms are discussed. We propose an ontology of mathematical knowledge, covering a wide range…

Artificial Intelligence · Computer Science 2014-09-01 Alexander Elizarov , Alexander Kirillovich , Evgeny Lipachev , Olga Nevzorova , Valery Solovyev , Nikita Zhiltsov

The simulation of quantum circuits on classical computers is an important problem in quantum computing. Such simulation requires representations of distributions over very large sets of basis vectors, and recent work has used symbolic…

Formal Languages and Automata Theory · Computer Science 2023-05-31 Meghana Sistla , Swarat Chaudhuri , Thomas Reps

The aim of this review is to highlight the possibility to apply the mathematical formalism and methodology of quantum theory to model behaviour of complex biosystems, from genomes and proteins to animals, humans, ecological and social…

Quantum Physics · Physics 2023-11-28 Andrei Khrennikov

Models defined by stochastic differential equations (SDEs) allow for the representation of random variability in dynamical systems. The relevance of this class of models is growing in many applied research areas and is already a standard…

Methodology · Statistics 2014-08-06 Umberto Picchini
‹ Prev 1 3 4 5 6 7 10 Next ›