Results 71 to 80 of about 63,358 (127)

The CLEAR Principle: organizing data and metadata into semantically meaningful types of FAIR Digital Objects to increase their human explorability and cognitive interoperability. [PDF]

J Biomed Semantics
Vogt L.
europepmc   +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 semantic approach to mapping the Provenance Ontology to Basic Formal Ontology. [PDF]

Sci Data
Prudhomme T, De Colle G, Liebers A, Sculley A, Xie PK, Cohen S, Beverley J.   +6 more
europepmc   +1 more source

An extension to predicate logic of $\lambda\rho$-calculus (Logics, Algebras and Languages in Computer Science)

, 2014
郁加 山川, 雄一 古森
openalex   +1 more source

Causes and effects of fitness landscapes in system test generation: a replication study. [PDF]

Autom Softw Eng
Sahin O, Zhang M, Arcuri A.
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

An integrated data pipeline for semantic data representation of the flame spray pyrolysis process. [PDF]

F1000Res
Vollbrecht M, Krieger K, Grundmann J, Birkholz H, Riefler N, Mädler L.   +5 more
europepmc   +1 more source

Semantic units: organizing knowledge graphs into semantically meaningful units of representation. [PDF]

J Biomed Semantics
Vogt L, Kuhn T, Hoehndorf R.
europepmc   +1 more source

A broader interpretation of logic in logic programming [PDF]

, 1988
Bundy, Alan
core  

Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology. [PDF]

, 2015
Foukzon, Jaykov
core