Results 1 to 10 of about 110,833 (284)
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with ...
Jean-Louis Giavitto +2 more
doaj +8 more sources
A Decidable Characterization of a Graphical Pi-calculus with Iterators [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors.
Raymond Devillers +2 more
doaj +6 more sources
Applied Sciences, 2022 The ongoing pandemic has resulted in the development of models dealing with the rate of virus spread and the modelling of mortality rates μx,t. A new method of modelling the mortality rates μx,t with different time intervals of higher and lower ...
Piotr Sliwka, Leslaw Socha
doaj +1 more source
Towards a Step Semantics for Story-Driven Modelling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably ...
Géza Kulcsár, Anthony Anjorin
doaj +1 more source
Dual-Tracer PET Image Separation by Deep Learning: A Simulation Study
Applied Sciences, 2023 Multiplexed positron emission tomography (PET) imaging provides perfectly registered simultaneous functional and molecular imaging of more than one biomarker.
Bolin Pan +2 more
doaj +1 more source
Energies, 2021 Turbulent combustion modelling in internal combustion engines (ICEs) is a challenging task. It is commonly synthetized by incorporating the interaction between chemical reactions and turbulent eddies into a unique term, namely turbulent flame speed sT ...
Alessandro d’Adamo +2 more
doaj +1 more source
Associating Climatic Trends with Stochastic Modelling of Flow Sequences
Geosciences, 2021 Water is essential to all lifeforms including various ecological, geological, hydrological, and climatic processes/activities. With the changing climate, associated El Niño/Southern Oscillation (ENSO) events appear to stimulate highly uncertain patterns ...
Sandhya Patidar +3 more
doaj +1 more source
The Syntax and Semantics of Modelling Exhibition Spaces: A Case Study of the Hryhorii Skovoroda National Literary and Memorial Museum, Ukraine [PDF]
Muzeológia a Kultúrne Dedičstvo, 2023 The aim of this article is to analyse the exhibition semantics of the exposition of the H.S. Skovoroda National Literary and Memorial Museum (Ukraine, Kharkiv region).
Bondarenko, Iryna +3 more
doaj +1 more source
Aspects of multiscale modelling in a process algebra for biological systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 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.
Roberto Barbuti +4 more
doaj +1 more source
Mathematics, 2021 A system of transcendental equations (SoTE) is a set of simultaneous equations containing at least a transcendental function. Solutions involving transcendental equations are often problematic, particularly in the form of a system of equations.
Chukwuma Ogbonnaya +3 more
doaj +1 more source