Results 111 to 120 of about 1,221 (189)
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. [PDF]
Song J, Karagiannis D, Lee M.
europepmc +1 more source
The algebraic characterizations for a formal power series over complete strong bimonoids. [PDF]
Jin JH, Li CQ.
europepmc +1 more source
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems. [PDF]
Hu B +6 more
europepmc +1 more source
Varieties Of Evolved Forms Of Consciousness, Including Mathematical Consciousness. [PDF]
Sloman A.
europepmc +1 more source
Non-Deterministic Semantics for Quantum States. [PDF]
Jorge JP, Holik F.
europepmc +1 more source

