English
Related papers

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

200 papers

We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for modelling biological systems actions are instantaneous. When…

Logic in Computer Science · Computer Science 2010-11-03 Roberto Barbuti , Giulio Caravagna , Paolo Milazzo , Andrea Maggiolo-Schettini , Simone Tini

Interactions between biomolecules, electrons and protons are essential to many fundamental processes sustaining life. It is therefore of interest to build mathematical models of these bioelectrical processes not only to enhance…

Molecular Networks · Quantitative Biology 2020-12-08 Peter J. Gawthrop , Michael Pan

We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of molecular species. The operators of the calculus are…

Computational Engineering, Finance, and Science · Computer Science 2009-11-26 Roberto Barbuti , Andrea Maggiolo-Schettini , Paolo Milazzo , Giovanni Pardini , Aureliano Rama

Thermodynamic aspects of chemical reactions have a long history in the Physical Chemistry literature. In particular, biochemical cycles - the building-blocks of biochemical systems - require a source of energy to function. However, although…

Quantitative Methods · Quantitative Biology 2018-08-14 Peter J. Gawthrop , Edmund J. Crampin

Multiscale models provide a unique tool for studying complex processes that study events occurring at different scales across space and time. In the context of biological systems, such models can simulate mechanisms happening at the…

Quantitative Methods · Quantitative Biology 2024-06-27 Marco Ruscone , Andrea Checcoli , Randy Heiland , Emmanuel Barillot , Paul Macklin , Laurence Calzone , Vincent Noël

Bond graphs can be used to build thermodynamically-compliant hierarchical models of biomolecular systems. As bond graphs have been widely used to model, analyse and synthesise engineering systems, this paper suggests that they can play the…

Molecular Networks · Quantitative Biology 2016-06-06 Peter Gawthrop , Edmund Crampin

The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal calculi, often derived from process algebras or term…

Agent-based modeling is a computational dynamic modeling technique that may be less familiar to some readers. Agent-based modeling seeks to understand the behaviour of complex systems by situating agents in an environment and studying the…

Multiagent Systems · Computer Science 2023-04-19 G. Wade McDonald , Nathaniel D. Osgood

Agent-based modeling and simulation is a useful method to study biological phenomena in a wide range of fields, from molecular biology to ecology. Since there is currently no agreed-upon standard way to specify such models it is not always…

Quantitative Methods · Quantitative Biology 2010-10-14 Franziska Hinkelmann , David Murrugarra , Abdul Salam Jarrah , Reinhard Laubenbacher

Computational models and simulations are not just appealing because of their intrinsic characteristics across spatiotemporal scales, scalability, and predictive power, but also because the set of problems in cancer biomedicine that can be…

Tissues and Organs · Quantitative Biology 2023-11-01 Nicolò Cogno , Cristian Axenie , Roman Bauer , Vasileios Vavourakis

Agent-based models provide a flexible framework that is frequently used for modelling many biological systems, including cell migration, molecular dynamics, ecology, and epidemiology. Analysis of the model dynamics can be challenging due to…

Dynamical Systems · Mathematics 2021-04-28 John T. Nardini , Ruth E. Baker , Matthew J. Simpson , Kevin B. Flores

The Bond Graph approach and the Chemical Reaction Network approach to modelling biomolecular systems developed independently. This paper brings together the two approaches by providing a bond graph interpretation of the chemical reaction…

Molecular Networks · Quantitative Biology 2019-07-04 Peter J. Gawthrop , Edmund J. Crampin

The potential power provided and possibilities presented by computation graphs has steered most of the available modeling techniques to re-implementing, utilization and including the complex nature of System Biology (SB). To model the…

Multiagent Systems · Computer Science 2019-09-05 Ghazal Tashakor , Remo Suppi

Modelling and computational methods have been essential in advancing quantitative science, especially in the past two decades with the availability of vast amount of complex, voluminous, and heterogeneous data. In particular, there has been…

Multiagent Systems · Computer Science 2020-07-09 Affan Shoukat , Seyed M. Moghadas

Biological cells are the prototypical example of active matter. Cells sense and respond to mechanical, chemical and electrical environmental stimuli with a range of behaviors, including dynamic changes in morphology and mechanical…

Computational Engineering, Finance, and Science · Computer Science 2017-02-28 Endre Somogyi , James A. Glazier

Many advances in research regarding immuno-interactions with cancer were developed with the help of ordinary differential equation (ODE) models. These models, however, are not effectively capable of representing problems involving…

Computational Engineering, Finance, and Science · Computer Science 2013-06-03 Grazziela P. Figueredo , Peer-Olaf Siebers , Uwe Aickelin

We propose PALPS, a Process Algebra with Locations for Population Systems. PALPS allows us to produce spatially-explicit, individual-based models and to reason about their behavior. Our calculus has two levels: at the first level we may…

Logic in Computer Science · Computer Science 2012-11-20 Margarita Antonaki , Anna Philippou

A complex system is made up of many components with many interactions. So the design of systems such as simulation systems, cooperative systems or assistance systems includes a very accurate modelling of interactional and communicational…

Multiagent Systems · Computer Science 2012-01-19 Alain-Jérôme Fougères

Large contingency tables summarizing categorical variables arise in many areas. For example in biology when a large number of biomarkers are cross-tabulated according to their discrete expression level. Interactions of the variables are…

Methodology · Statistics 2009-11-17 Corinne Dahinden , Markus Kalisch , Peter Bühlmann

Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dynamics and the function of such networks. The complexity of…

Computational Engineering, Finance, and Science · Computer Science 2010-02-23 Judit Zámborszky , Corrado Priami
‹ Prev 1 2 3 10 Next ›