Results 91 to 100 of about 21,854 (294)

A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws

Advanced Intelligent Discovery, EarlyView.
The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows, G. Zhang, S. Anand, Z. Chen, J. Lin, A. Desai, S. Martiniani, F. Caravelli   +7 more
wiley   +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., Jane Hillston, Hillston, J., Muffy Calder   +3 more
core   +1 more source

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This 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 ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source

On the Coalgebraic Theory of Kleene Algebra with Tests [PDF]

, 2008
We develop a coalgebraic theory of Kleene algebra with tests (KAT) along the lines of Rutten (1998) for Kleene algebra (KA) and Chen and Pucella (2003) for a limited version of KAT, resolving two open problems of Chen and Pucella. Our treatment includes
Kozen, Dexter, Dexter Kozen
core  

Formal Semantics: Origins, Issues, Early Impact

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj   +1 more source

Programmable Flocks: Hierarchical Swarm Control via Dynamic Parameter Injection

Advanced Intelligent Systems, EarlyView.
We present a method for the control of robot swarms which allows the shaping and the translation of patterns of simple robots (“smart particles”), using two types of devices. These two types represent a hierarchy: a larger group of simple, oblivious robots (which we call the workers) that is governed by simple local attraction forces and a smaller ...
Vivek Shankar Varadharajan, Giovanni Beltrame   +1 more
wiley   +1 more source

Some remarks on proof-theoretic semantics [PDF]

, 2015
This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core   +1 more source

Fusion category symmetry. Part I. Anomaly in-flow and gapped phases

Journal of High Energy Physics
We study generalized discrete symmetries of quantum field theories in 1+1D generated by topological defect lines with no inverse. In particular, we describe ’t Hooft anomalies and classify gapped phases stabilized by these symmetries, including new 1+1D ...
Ryan Thorngren, Yifan Wang
doaj   +1 more source

$\mathcal{O}$-Regular Mappings on $\mathbb{C}\left(\mathbb{C}\right)$: A Structured Operator–Theoretic Framework

Mathematics
Motivation. Analytic function theory on commutative complex extensions calls for an operator–theoretic calculus that simultaneously sees the algebra-induced coupling among components and supports boundary-to-interior mechanisms. Gap.
Ji Eun Kim
doaj   +1 more source

Generic derivations on algebraically bounded structures II. Model theoretical properties

Let T be an algebraically bounded theory. We consider the $L(\barδ)$-expansions of T by a tuple $\bar δ$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established in [FT:24], with particular attention to its model-theoretic properties, including $ω ...
Antongiulio, Fornasiero, Giuseppina, Terzo   +1 more
openaire   +2 more sources