Results 141 to 150 of about 11,242,864 (292)
Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]
Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core
Controllability and Observability Conditions for Impulsive DAEs on Time Scales
Asian Journal of Control, EarlyView.ABSTRACT This paper establishes criteria for controllability and observability in a class of linear time‐invariant impulsive differential‐algebraic equations (DAEs) defined on a time scale. Controllability is defined as the ability to transfer the system state from any initial condition to any desired state within a finite time interval using an ...
Awais Younus +3 more
wiley +1 more source
On Performance Congruences for Process Algebras
Information and Computation, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Subspace‐Based System Identification From Binary Measurements
Asian Journal of Control, EarlyView.ABSTRACT This paper is concerned with subspace identification from binary measurements for systems whose dynamical behavior can be splited into a deterministic and a stochastic subsystem. An identification algorithm is detailed. The main contribution of the proposed identification algorithm lies in the identification of both the deterministic subsystem
Alex Ali Mestrah +2 more
wiley +1 more source
Neutrino Oscillation in a Minimal Length Spacetime
Astronomische Nachrichten, EarlyView.ABSTRACT We investigate how neutrino oscillations are modified in a non‐commutative spacetime characterized by a minimal length scale, described by the Quesne–Tkachuk algebra. By incorporating the algebra's deformation parameter β$$ \beta $$ into the effective neutrino mass, we derive the two‐flavor oscillation probability in this non‐commutative ...
Luísa Nadal‐Camargo +3 more
wiley +1 more source
JACK: A process algebra implementation in Java [PDF]
The construction of concurrent programs is especially complex due mainly to the inherent non-determinism of their execution, which makes it di±cult to repeat test scenarios.
Freitas, Leonardo
core
British Educational Research Journal, EarlyView.Abstract This paper presents an exploratory analysis of contemporary curricular and professional qualification policies in the Scottish education system, focusing on minimum qualification thresholds for mathematics teaching. The study examines how veteran secondary mathematics practitioners perceive the structural and pedagogical implications of using ...
Paul Argyle McDonald
wiley +1 more source
Rosen's (M,R) system in process algebra. [PDF]
BMC Syst Biol, 2013 Gatherer D, Galpin V.
europepmc +1 more source
Automated Data‐Efficient Symbolic Regression for Interpretable Bioprocess Model Development
Biotechnology and Bioengineering, EarlyView.ABSTRACT Bioprocessing is central to the sustainable manufacture of pharmaceuticals, food products, and renewable chemicals. Consequently, developing high‐fidelity kinetic models to facilitate accurate process prediction, optimisation, and scale‐up is a top research priority.
Luca Riezzo +3 more
wiley +1 more source