Results 111 to 120 of about 11,543 (183)
An algebraic framework for structured epidemic modelling. [PDF]
Philos Trans A Math Phys Eng Sci, 2022 Libkind S +4 more
europepmc +1 more source
Denotational Semantics of Hybrid Automata [PDF]
, 2006 Abbas Edalat, Dirk Pattinson
openalex +1 more source
A Formal Validation Approach for XACML 3.0 Access Control Policy. [PDF]
Sensors (Basel), 2022 Caserio C, Lonetti F, Marchetti E.
europepmc +1 more source
Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
, 2009 Vladimir Komendantsky
openalex +1 more source
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. [PDF]
Entropy (Basel), 2021 Sun X, Kulicki P, Sopek M.
europepmc +1 more source
A Hybrid Denotational Semantics for Hybrid Systems [PDF]
, 2008 Olivier Bouissou, Matthieu Martel
openalex +1 more source
Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds [PDF]
Antonio Piccolomini d’Aragona
openalex +1 more source
From spatial perception to referential meaning: convergent image schemas in the music of and texts about Beethoven's piano sonatas. [PDF]
Front PsycholAntović M, Jovanović VŽ, Popović M.
europepmc +1 more source