Results 41 to 50 of about 29,356 (295)
Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real-World Data. [PDF]
Adv Intell DiscovThis article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Ren Y, Wei GW.
europepmc +2 more sources
A Process Algebra for Supervisory Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studies automated synthesis of controller models, known as supervisors, based on
Jos Baeten +3 more
doaj +1 more source
Priorities in process algebras [PDF]
Information and Computation, 1990 The paper tries to give a semantic theory of programming languages constructs which embody the notion of priority between actions, by a modified form of labeled transition systems. The syntax of the langage is essentially that of pure \(CCS^ 1\). Starting from the (countable) set of action labels \(\Lambda\), the set \({\mathcal A}=\Lambda \cup {\bar ...
Rance Cleaveland, Matthew Hennessy
openaire +3 more sources
The Structure-Behavior Coalescence Approach for Systems Modeling
IEEE Access, 2019 The systems modeling technique is used for developing an abstract model to help analyze and understand the functionality of a system. In this paper, we introduce a new approach for general-purpose systems modeling called structure-behavior coalescence ...
Keng-Pei Lin, William S. Chao
doaj +1 more source
Probabilistic Programming Process Algebra
, 2014 Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the ...
Sanguinetti, Guido +7 more
core +1 more source
Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler [PDF]
, 2003 We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian process algebra for expressing compositional performance models.
Knottenbelt,W.J. +11 more
core +1 more source
An algebra of Boolean processes [PDF]
, 1992 This work has been motivated by the study of the S/R models which allow to represent systems as a set of communicating state machines cooperating through a shared memory.
Costas Courcoubetis +2 more
openaire +1 more source
Design and Development of Software Tools for Bio-PEPA [PDF]
, 2009 This paper surveys the design of software tools for the Bio-PEPA process algebra. Bio-PEPA is a high-level language for modelling biological systems such as metabolic pathways and other biochemical reaction networks.
Jane Hillston +9 more
core +1 more source
Reversing Algebraic Process Calculi [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Iain Phillips 0001, Irek Ulidowski
openaire +3 more sources