Results 21 to 30 of about 4,616 (278)
Stochastic process algebras and their markovian semantics [PDF]
ACM SIGLOG News, 2018 There is a long tradition of quantitative modelling in computer and telecommunication systems for performance evaluation and dependability analysis, dating back to the early work of Erlang on telephone exchanges at the beginning of twentieth century [Erlang 1917].
openaire +2 more sources
Stochastic Process Algebras: From Individuals to Populations [PDF]
The Computer Journal, 2011 In this paper we report on progress in the use of stochastic process algebras for representing systems which contain many replications of components such as clients, servers and devices. Such systems have traditionally been difficult to analyse even when using high-level models because of the need to represent the vast range of their potential ...
Jane Hillston +2 more
openaire +3 more sources
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +8 more
core +1 more source
Process algebra modelling styles for biomolecular processes [PDF]
, 2009 We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
Calder, M. +3 more
core +1 more source
Determining Causal Skeletons with Information Theory
Entropy, 2020 Modeling a causal association as arising from a communication process between cause and effect, simplifies the discovery of causal skeletons. The communication channels enabling these communication processes, are fully characterized by stochastic tensors,
David Sigtermans
doaj +1 more source
Complementary approaches to understanding the plant circadian clock [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Circadian clocks are oscillatory genetic networks that help organisms adapt to the 24-hour day/night cycle. The clock of the green alga Ostreococcus tauri is the simplest plant clock discovered so far.
Ozgur E. Akman +3 more
doaj +1 more source
Nonstandard Hulls of C*-Algebras and Their Applications
Mathematics, 2021 For the sake of providing insight into the use of nonstandard techniques à la A. Robinson and into Luxemburg’s nonstandard hull construction, we first present nonstandard proofs of some known results about C*-algebras. Then we introduce extensions of the
Stefano Baratella
doaj +1 more source
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA [PDF]
, 2006 This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11].
Calder, M. +8 more
core +1 more source
Rate-Based Transition Systems for Stochastic Process Calculi [PDF]
, 2009 A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes.
De Nicola, Rocco +8 more
core +1 more source
The random Wigner distribution of Gaussian stochastic processes with covariance in S0(ℝ2d)
Journal of Function Spaces and Applications, 2005 The paper treats time-frequency analysis of scalar-valued zero mean Gaussian stochastic processes on ℝd. We prove that if the covariance function belongs to the Feichtinger algebra S0(ℝ2d) then: (i) the Wigner distribution and the ambiguity function of ...
Patrik Wahlberg
doaj +1 more source