English
Related papers

Related papers: The Bond-Calculus: A Process Algebra for Complex B…

200 papers

The associative interaction, such as hydrogen bonding, can bring about versatile functionalities to polymer systems, which has been investigated by tremendous researches, but the fundamental understanding on association process is still…

Soft Condensed Matter · Physics 2025-01-20 Xiangyu Zhang , Dong Meng

We present multiscale models of cancer tumor invasion with components at the molecular, cellular, and tissue levels. We provide biological justifications for the model components, present computational results from the model, and discuss…

Quantitative Methods · Quantitative Biology 2023-02-14 Bruce P. Ayati , Glenn F. Webb , Alexander R. A. Anderson

We advocate the use of qualitative models in the analysis of large biological systems. We show how qualitative models are linked to theoretical differential models and practical graphical models of biological networks. A new technique for…

Molecular Networks · Quantitative Biology 2007-05-23 Philippe Veber , Michel Le_Borgne , Anne Siegel , Sandrine Lagarrigue , Ovidiu Radulescu

Quantum collision models allow for the dynamics of open quantum systems to be described by breaking the environment into small segments, typically consisting of non-interacting harmonic oscillators or two-level systems. This work introduces…

Quantum Physics · Physics 2025-10-10 Anton Corr , Stefano Cusumano , Gabriele De Chiara

We consider a calculus of resources and processes as a basis for modelling decision-making in multi-agent systems. The calculus represents the regulation of agents' choices using utility functions that take account of context. Associated…

Logic in Computer Science · Computer Science 2013-10-29 Gabrielle Anderson , Matthew Collinson , David Pym

We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…

Logic in Computer Science · Computer Science 2012-08-01 Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron

Recently, symbolic computation and computer algebra systems have been successfully applied in systems biology, especially in chemical reaction network theory. One advantage of symbolic computation is its potential for qualitative answers to…

Molecular Networks · Quantitative Biology 2022-01-25 Christoph Lüders , Thomas Sturm , Ovidiu Radulescu

Biological systems exhibit processes on a wide range of time and length scales. This work demonstrates that models, wherein the interaction between system constituents is captured by algebraic operations, inherently allow for successive…

Molecular Networks · Quantitative Biology 2019-08-16 Dimitri Loutchko

Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to mean the identification of quantitative models expressed as…

Artificial Intelligence · Computer Science 2011-11-02 George M. Coghill , Ross D. King , Ashwin Srinivasan

An agent-based model (ABM) is a computational model in which the local interactions of autonomous agents with each other and with their environment give rise to global properties within a given domain. As the detail and complexity of these…

Dynamical Systems · Mathematics 2022-12-01 Daniel A. Cruz , Jack Toppen , Eunbi Park , Melissa L. Kemp , Elena S. Dimitrova

A new mathematical model for non-equilibrium evaporation/condensation including boiling effect is proposed. A simplified differential-algebraic system of equations is obtained. A code to solve numerically this differential-algebraic system…

Statistical Mechanics · Physics 2018-03-09 B. V. Librovitch , A. F. Nowakowski , F. C. G. A. Nicolleau , T. M. Michelitsch

A new approach to simulating warm and hot dense matter that combines density functional theory based calculations of the electronic structure to classical molecular dynamics simulations with pair interaction potentials is presented. The new…

Plasma Physics · Physics 2015-06-22 C. E. Starrett , J. Daligault , D. Saumon

At present it is still quite difficult to match the vast knowledge on the behavior of individual tumor cells with macroscopic measurements on clinical tumors. On the modeling side, we already know how to deal with many molecular pathways…

Tissues and Organs · Quantitative Biology 2012-01-16 Roberto Chignola , Edoardo Milotti

The authors propose new additive models for binary outcomes, where the components are copula-based regression models (Noh et al, 2013), and designed such that the model may capture potentially complex interaction effects. The models do not…

Methodology · Statistics 2024-10-22 Simon Boge Brant , Ingrid Hobæk Haff

Dynamics in correlated quantum matter is a hard problem, as its exact solution generally involves a computational effort that grows exponentially with the number of constituents. While a remarkable progress has been witnessed in recent…

Strongly Correlated Electrons · Physics 2021-04-28 Roberto Verdel , Markus Schmitt , Yi-Ping Huang , Petr Karpov , Markus Heyl

Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of…

Quantum Physics · Physics 2007-05-23 Philippe Jorrand , Marie Lalire

The virial expansion provides a non-perturbative view into the thermodynamics of quantum many-body systems in dilute regimes. While powerful, the expansion is challenging as calculating its coefficients at each order $n$ requires analyzing…

Quantum Gases · Physics 2023-02-13 Aleks J. Czejdo , Joaquin E. Drut , Yaqi Hou , Kaitlyn J. Morrell

In this paper homogenization of a mathematical model for plant tissue biomechanics is presented. The microscopic model constitutes a strongly coupled system of reaction-diffusion-convection equations for chemical processes in plant cells,…

Analysis of PDEs · Mathematics 2017-08-24 Andrey Piatnitski , Mariya Ptashnyk

Quantum collision models normally consist of a system interacting with a set of ancillary units representing the environment. While these ancillary systems are usually assumed to be either two level systems (TLS) or harmonic oscillators, in…

Quantum Physics · Physics 2024-05-31 Stefano Cusumano , Gabriele De Chiara

In this paper, we present a physically informed neural network representation of the effective interactions associated with coupled-cluster downfolding models to describe chemical systems and processes. The neural network representation not…

Quantum Physics · Physics 2025-01-28 Senwei Liang , Karol Kowalski , Chao Yang , Nicholas P. Bauman