Results 21 to 30 of about 276,000 (165)
BlenX-based compositional modeling of complex reaction mechanisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 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 the biological
Judit Zámborszky, Corrado Priami
doaj +1 more source
HYPE with stochastic events [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of ...
Luca Bortolussi +2 more
doaj +1 more source
Implementation of stochastic signal processing algorithms in radar CAD
Российский технологический журнал, 2022 Objectives. In 2020, development work on the creation of a Russian computer-assisted design system for radars (radar CAD) was completed. Radar CAD provides extensive opportunities for creating simulation models for developing the hardware-software ...
M. Yu. Konopel'kin +2 more
doaj +1 more source
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
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
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
Spreadability for Quantum Stochastic Processes, with an Application to Boolean Commutation Relations
Entropy, 2020 In order to manage spreadability for quantum stochastic processes, we study in detail the structure of the involved monoids acting on the index-set of all integers Z , that is that generated by left and right hand-side partial shifts, the monoid of ...
Vitonofrio Crismale +2 more
doaj +1 more source