Results 51 to 60 of about 25,832 (94)

The logic induced by effect algebras. [PDF]

Soft comput, 2020
Chajda I, Halaš R, Länger H.
europepmc   +1 more source

Consistent posets. [PDF]

Soft comput, 2021
Chajda I, Länger H.
europepmc   +1 more source

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. [PDF]

Sensors (Basel)
Song J, Lee S, Karagiannis D, Lee M.
europepmc   +1 more source

Higher Structure of Chiral Symmetry. [PDF]

Commun Math Phys
Copetti C, Del Zotto M, Ohmori K, Wang Y.   +3 more
europepmc   +1 more source

On Defining Expressions for Entropy and Cross-Entropy: The Entropic Transreals and Their Fracterm Calculus. [PDF]

Entropy (Basel)
Bergstra JA, Tucker JV.
europepmc   +1 more source

Ruijsenaars wavefunctions as modular group matrix coefficients. [PDF]

Lett Math Phys
Di Francesco P, Kedem R, Khoroshkin S, Schrader G, Shapiro A.   +4 more
europepmc   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Application of domain-specific modeling in kinetography and bipedal humanoid robot control. [PDF]

PeerJ Comput Sci
Djukić V, Oros D, Penčić M, Lu Z.
europepmc   +1 more source

Causal chain event graphs for remedial maintenance. [PDF]

Risk Anal
Yu X, Smith JQ.
europepmc   +1 more source