Results 111 to 120 of about 481 (199)

Linguistic and ontological challenges of multiple domains contributing to transformed health ecosystems. [PDF]

Front Med (Lausanne), 2023
Kreuzthaler M, Brochhausen M, Zayas C, Blobel B, Schulz S.   +4 more
europepmc   +1 more source

Advancing the bioassay ontology through integrated PK/PD and safety pharmacology representation. [PDF]

J Biomed Semantics
Glenny-Pescov J, Chung C, Ross N, Hu J, Sinclair M, Khurshid R, Karlsson A, Schürer SC.   +7 more
europepmc   +1 more source

Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version). [PDF]

Form Methods Syst Des
Armstrong A, Campbell B, Simner B, Pulte C, Sewell P.   +4 more
europepmc   +1 more source

Report on "Axiomatizing Conditional Normative Reasoning". [PDF]

Kunstliche Intell (Oldenbourg)
Parent X.
europepmc   +1 more source

Is psychological science progressing? Explained variance in PsycINFO articles during the period 1956 to 2022. [PDF]

Front Psychol, 2022
Smedslund G, Arnulf JK, Smedslund J.
europepmc   +1 more source

Three-layered semantic framework for public health intelligence. [PDF]

J Biomed Semantics
Guru Rao S, Rokkam P, Zhang B, Sargsyan A, Kaladharan A, Sethumadhavan P, Jacobs M, Hofmann-Apitius M, Tom Kodamullil A.   +8 more
europepmc   +1 more source

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +1 more source

Modal Structuralism with Theoretical Terms. [PDF]

Erkenntnis, 2023
Andreas H, Schiemer G.
europepmc   +1 more source

Subintuitionistic logics and their modal companions: a nested approach. [PDF]

J Appl Non Class Log
Tesi M.
europepmc   +1 more source