Research on group type theory and its functorial semantic models in category logic. [PDF]
PLoS OneTang JG, Aishan Y, Liu JY, Peng JY.
europepmc +1 more source
OntoRepliCov: an Ontology-Based Approach for Modeling the SARS-CoV-2 Replication Process. [PDF]
Procedia Comput Sci, 2021 Laddada W +6 more
europepmc +1 more source
PTE: Axiomatic Semantics based Compiler Testing
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods however either rely on weak oracles (e.g., a program behaves the same if only dead code is modified), or require substantial initial effort (e.g., having a complete ...
Dong, Guoliang +4 more
openaire +1 more source
Report on "Axiomatizing Conditional Normative Reasoning". [PDF]
Kunstliche Intell (Oldenbourg)Parent X.
europepmc +1 more source
Quantifying knowledge from the perspective of information structurization. [PDF]
PLoS One, 2023 Wang X +8 more
europepmc +1 more source
Subintuitionistic logics and their modal companions: a nested approach. [PDF]
J Appl Non Class LogTesi M.
europepmc +1 more source
Exploration of the optimal modularity in assembly line design. [PDF]
Sci Rep, 2022 Modrak V, Soltysova Z.
europepmc +1 more source
Digital evolution: Novo Nordisk's shift to ontology-based data management. [PDF]
J Biomed SemanticsTan SZK +11 more
europepmc +1 more source
Statistics is not measurement: The inbuilt semantics of psychometric scales and language-based models obscures crucial epistemic differences. [PDF]
Front PsycholUher J.
europepmc +1 more source
Editorial: Cognitive perception: cognition-dependent perception, perception-dependent cognition. [PDF]
Front PsycholThórisson KR +4 more
europepmc +1 more source