Results 261 to 270 of about 2,714,739 (303)

Logic model-based performance management systems for export promotion agencies. [PDF]

Open Res Eur
Ruiz-Coupeau S, Ramon-Jeronimo JM, Florez-Lopez R.   +2 more
europepmc   +1 more source

Blood Pressure Prediction During Blood Transfusion: A Population-Informed Multi-Modal Sequential Inference Approach. [PDF]

IEEE Control Syst Lett
Kao YM, Razaei P, Shahrbabak SM, Pepino JA, Shogren ISK, Wang Y, Reisner AT, Hahn JO.   +7 more
europepmc   +1 more source

An advanced error state Kalman filter (ESKF)-based terrain contour matching (TERCOM) method for tracking an aerial vehicle using a low-cost digital elevation map. [PDF]

PeerJ Comput Sci
Kadri MB, Yousuf S.
europepmc   +1 more source

Local clustering decoder as a fast and adaptive hardware decoder for the surface code. [PDF]

Nat Commun
Ziad AB, Zalawadiya A, Topal C, Camps J, Gehér GP, Stafford MP, Turner ML.   +6 more
europepmc   +1 more source

A \textsf{C++} reasoner for the description logic $\shdlssx$.

, 2017
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria   +2 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Description Logic, Theory Combination, and All That

Lecture Notes in Computer Science, 2019
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and inferring subsumption.
M. Finger
semanticscholar   +1 more source

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

RW, 2016
The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks.
E. Botoeva, B. Konev, C. Lutz, V. Ryzhikov, F. Wolter, M. Zakharyaschev   +5 more
semanticscholar   +1 more source