Results 141 to 150 of about 387 (183)

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

Quantum-Inspired and Non-Classical Approaches to Consciousness: Models, Evidence and Constraints. [PDF]

Brain Sci
Arias-Carrión O, Ortega-Robles E, Manjarrez E.   +2 more
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

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

, 2022
Frumin D.
europepmc   +1 more source

Einstein aggregation operators for multicriteria group decision making in uncertain environments using cubic picture fuzzy sets. [PDF]

Sci Rep
Tanoli MNK, Rafique K, Mahmood Z, Abdalla NSE, Popa IL, Kumar A.   +5 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

Causal chain event graphs for remedial maintenance. [PDF]

Risk Anal
Yu X, Smith JQ.
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