Results 151 to 160 of about 6,025 (211)
Light/NADH Bistimulation ATP Synthesis Artificial Organelles for Nitrogen Assimilation and RNA Transcription in Artificial Cells. [PDF]
JACS AuRen Y +7 more
europepmc +1 more source
Bisimulation Quantified Modal Logics: Decidability
, 2008 . Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity.
Tim French
core
Process calculi may reveal the equivalence lying at the heart of RNA and proteins. [PDF]
Sci Rep, 2019 Maestri S, Merelli E.
europepmc +1 more source
Data-Driven Robotic Manipulation of Cloth-like Deformable Objects: The Present, Challenges and Future Prospects. [PDF]
Sensors (Basel), 2023 Kadi HA, Terzić K.
europepmc +1 more source
Characteristic bisimulation for higher-order session processes. [PDF]
Acta Inform, 2017 Kouzapas D, Pérez JA, Yoshida N.
europepmc +1 more source
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source