English
Related papers

Related papers: Process Bigraphs and the Architecture of Compositi…

200 papers

Recent advances in single cell sequencing and multi-omics techniques have significantly improved our understanding of biological phenomena and our capacity to model them. Despite combined capture of data modalities showing similar progress,…

Molecular Networks · Quantitative Biology 2025-03-13 Marcello Barylli , Joyaditya Saha , Tineke E. Buffart , Jan Koster , Kristiaan J. Lenos , Louis Vermeulen , Vivek M. Sheraton

Modelling river physical processes is of critical importance for flood protection, river management and restoration of riverine environments. Developments in algorithms and computational power have led to a wider spread of river simulation…

BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacterial surfaces, biofilm formation, and the effect of DNAse in…

Logic in Computer Science · Computer Science 2012-11-21 Adriana Compagnoni , Mariangiola Dezani-Ciancaglini , Paola Giannini , Karin Sauer , Vishakha Sharma , Angelo Troina

Microbiomes are a vital part of the human body, engaging in tasks like food digestion and immune defense. Their structure and function must be understood in order to promote host health and facilitate swift recovery during disease. Due to…

Human-Computer Interaction · Computer Science 2025-09-01 Simon Burbach , Maria Maleshkova , Florian Centler , Tanja Joan Schmidt

Classical simulations of protein flexibility remain computationally expensive, especially for large proteins. A few years ago, we developed a fast method for predicting protein structure fluctuations that uses a single protein model as the…

This work presents an omics-driven modeling pipeline that integrates machine-learning tools to facilitate the dynamic modeling of multiscale biological systems. Random forests and permutation feature importance are proposed to mine omics…

Quantitative Methods · Quantitative Biology 2025-01-17 Sebastián Espinel-Ríos , José Montaño López , José L. Avalos

Crashing ocean waves, cappuccino froths and microfluidic bubble crystals are examples of foamy flows. Foamy flows are critical in numerous natural and industrial processes and remain notoriously difficult to compute as they involve coupled,…

Computational Physics · Physics 2022-02-04 Petr Karnakov , Sergey Litvinov , Petros Koumoutsakos

Simflowny is an open platform which automatically generates parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support an extended set of families of models,…

Mathematical Software · Computer Science 2018-07-04 A. Arbona , B. Miñano , A. Rigo , C. Bona , C. Palenzuela , A. Artigues , C. Bona-Casas , J. Massó

User simulation is a valuable methodology for evaluation in Information Retrieval (IR), enabling low-cost experimentation and counterfactual analysis. However, existing simulation frameworks are primarily code-centric libraries that require…

Information Retrieval · Computer Science 2026-04-28 Saber Zerhoudi , Adam Roegiest , Michael Granitzer

We present DiSH-Sim, a simulator for large discrete models of biological signal transduction pathways, capable of simulating networks with multi-valued elements in both deterministic and stochastic manner. We focus on order of update and…

Molecular Networks · Quantitative Biology 2017-05-09 Khaled Sayed , Yu-Hsin Kuo , Anuva Kulkarni , Natasa Miskov-Zivanov

For robots to perform a wide variety of tasks, they require a 3D representation of the world that is semantically rich, yet compact and efficient for task-driven perception and planning. Recent approaches have attempted to leverage features…

From social to biological systems, many real-world systems are characterized by higher-order, non-dyadic interactions. Such systems are conveniently described by hypergraphs, where hyperedges encode interactions among an arbitrary number of…

The relation between a structure and the function running on that structure is of central interest in many fields, including computer science, biology (organ vs. function), psychology (body vs. mind), architecture (designs vs.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-16 Ciprian Ionut Paduraru , Gheorghe Stefanescu

Modeling dynamical systems and unraveling their underlying causal relationships is central to many domains in the natural sciences. Various physical systems, such as those arising in cell biology, are inherently high-dimensional and…

Genome-scale stoichiometric modeling of metabolism has become a standard systems biology tool for modeling cellular physiology and growth. Extensions of this approach are also emerging as a valuable avenue for predicting, understanding and…

Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems they describe, we have created a new package called StockFlow,…

Logic in Computer Science · Computer Science 2023-08-01 John Baez , Xiaoyan Li , Sophie Libkind , Nathaniel D. Osgood , Evan Patterson

In complex multivariate data sets, different features usually include diverse associations with different variables, and different variables are associated within different regions. Therefore, exploring the associations between variables…

Computer Vision and Pattern Recognition · Computer Science 2019-08-20 Xiangyang He , Yubo Tao , Qirui Wang , Hai Lin

The standard engineering approach to modelling of complex systems is highly compositional. In order to be able to understand (or to control) the behavior of a complex dynamical systems, it is often desirable, if not necessary, to view this…

Systems and Control · Computer Science 2013-07-01 Antoine Girard

Growing anthropogenic pressures have increased the need for robust predictive models. Meeting this demand requires approaches that can handle bigger data to yield forecasts that capture the variability and underlying uncertainty of…

Quantitative Methods · Quantitative Biology 2024-08-06 EM Wolkovich , T Jonathan Davies , William D Pearse , Michael Betancourt

Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…

Logic in Computer Science · Computer Science 2018-05-17 Dan Marsden , Fabrizio Genovese