UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

The Logical Difference for the Lightweight Description Logic EL

The Journal of artificial intelligence research, 2012, Vol.44, p.633-708

2012

Volltextzugriff (PDF)

Índice de sustentabilidade ambiental na produção leiteira

RACE (Joaçaba), 2017-03, Vol.16 (1), p.261-282

2017

Volltextzugriff (PDF)

Implementing a fair monodic temporal logic prover

Ai communications, 2010, Vol.23 (2-3), p.69-96

2010

Volltextzugriff (PDF)

Resolution-Based Model Construction for PLTL

2009 16th International Symposium on Temporal Representation and Reasoning, 2009, p.73-80

2009

Volltextzugriff (PDF)

Zooming in on Ontologies: Minimal Modules and Best Excerpts

The Semantic Web - ISWC 2017, 2017, Vol.10587, p.173-189

2017

Volltextzugriff (PDF)

Fair Derivations in Monodic Temporal Reasoning

Automated Deduction – CADE-22, 2009, p.261-276

2009

Volltextzugriff (PDF)

Índice de sustentabilidade ambiental na produção leiteira

RACE (Joaçaba), 2017, Vol.16 (1), p.261-282

2017

Volltextzugriff (PDF)

Resolution-based methods for linear-time temporal logics: with applications to formal verification

Ludwig, Michel

2010

Volltextzugriff (PDF)

An Extension of the Knuth-Bendix Ordering with LPO-Like Properties

Logic for Programming, Artificial Intelligence, and Reasoning, 2007, Vol.4790, p.348-362

2007

Volltextzugriff (PDF)

Logical Difference Computation with CEX2.5

Automated Reasoning, 2012, p.371-377

2012

Volltextzugriff (PDF)

Towards Extracting Ontology Excerpts

Knowledge Science, Engineering and Management, 2015, p.78-89

2015

Volltextzugriff (PDF)

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

2012, 2012

Volltextzugriff (PDF)

Error-Tolerant Reasoning in the Description Logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{E{\kern-.1em}L}$\end{document}

Logics in Artificial Intelligence, 2014, p.107-121

2014

Volltextzugriff (PDF)

Computing Minimal Projection Modules for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{ELH}^{r}$$\end{document}-Terminologies

Logics in Artificial Intelligence, 2019, p.355-370

2019

Volltextzugriff (PDF)

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{EL}$$\end{document}-TBoxes

KI 2015: Advances in Artificial Intelligence, 2015, p.59-71

2015

Volltextzugriff (PDF)

Conjunctive Query Inseparability of OWL 2 QL TBoxes

Proceedings of the ... AAAI Conference on Artificial Intelligence, 2011-08, Vol.25 (1), p.221-226

2011

Volltextzugriff (PDF)

THE UGARITIC TEXTS AND THE MYTHOLOGICAL EXPRESSIONS IN THE BOOK OF JOB (INCLUDING A NEW TRANSLATION OF AND PHILOLOGICAL NOTES ON THE BOOK OF JOB)

MICHEL, WALTER LUDWIG

1970

Volltextzugriff (PDF)

ESTIMATING MEANS AND PERCENTAGES IN A COMPLEX SAMPLING SURVEY: APPLICATION TO A FRENCH NATIONAL SURVEY ON SEXUAL BEHAVIOUR (ACSF)

Statistics in medicine, 1997-02, Vol.16 (4), p.397-423

1997

Volltextzugriff (PDF)

Calling Biomarkers in Milk Using a Protein Microarray on Your Smartphone

PloS one, 2015-08, Vol.10 (8), p.e0134360-e0134360

2015

Volltextzugriff (PDF)

How I manage the toxicities of myeloma drugs

Blood, 2017-04, Vol.129 (17), p.2359-2367

2017

Volltextzugriff (PDF)

Cellphone-based detection platform for rbST biomarker analysis in milk extracts using a microsphere fluorescence immunoassay

Analytical and bioanalytical chemistry, 2014-11, Vol.406 (27), p.6857-6866

2014

Volltextzugriff (PDF)

River discharges of water and nutrients to the Mediterranean and Black Sea: Major drivers for ecosystem changes during past and future decades?

Progress in oceanography, 2009-03, Vol.80 (3-4), p.199-217

2009

Volltextzugriff (PDF)

Dynamic control of the spatial frequency content of an intense laser via intra-beam energy transfer

Physics of plasmas, 2024-02, Vol.31 (2)

2024

Volltextzugriff (PDF)

The Kinetics of Adsorption and Desorption of Selected Semivolatile Hydrocarbons and H2O Vapor on Two Mineral Dust Materials: A Molecular View

The journal of physical chemistry. A, Molecules, spectroscopy, kinetics, environment, & general theory, 2022-11, Vol.126 (46), p.8711-8726

2022

Volltextzugriff (PDF)

1 – 25 von 647

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(532)
Mit Volltextzugriff
(549)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

3 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Biochemistry
(18)
Blood
(13)
Leukemia
(11)
Revue Médicale Suisse
(10)
Meeting Abstracts
(9)
Plos One
(9)
Biochimica Et Biophysica Acta. Bioenergetics
(8)
Journal Of Electroceramics
(8)
Astronomy And Astrophysics
(7)
European Journal Of Cardio-Thoracic Surgery
(7)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

The Logical Difference for the Lightweight Description Logic EL

Índice de sustentabilidade ambiental na produção leiteira

Implementing a fair monodic temporal logic prover

Resolution-Based Model Construction for PLTL

Zooming in on Ontologies: Minimal Modules and Best Excerpts

Fair Derivations in Monodic Temporal Reasoning

Índice de sustentabilidade ambiental na produção leiteira

Resolution-based methods for linear-time temporal logics: with applications to formal verification

An Extension of the Knuth-Bendix Ordering with LPO-Like Properties

Logical Difference Computation with CEX2.5

Towards Extracting Ontology Excerpts

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Conjunctive Query Inseparability of OWL 2 QL TBoxes

THE UGARITIC TEXTS AND THE MYTHOLOGICAL EXPRESSIONS IN THE BOOK OF JOB (INCLUDING A NEW TRANSLATION OF AND PHILOLOGICAL NOTES ON THE BOOK OF JOB)

ESTIMATING MEANS AND PERCENTAGES IN A COMPLEX SAMPLING SURVEY: APPLICATION TO A FRENCH NATIONAL SURVEY ON SEXUAL BEHAVIOUR (ACSF)

Calling Biomarkers in Milk Using a Protein Microarray on Your Smartphone

How I manage the toxicities of myeloma drugs

Cellphone-based detection platform for rbST biomarker analysis in milk extracts using a microsphere fluorescence immunoassay

River discharges of water and nutrients to the Mediterranean and Black Sea: Major drivers for ecosystem changes during past and future decades?

Final analysis of survival outcomes in the phase 3 FIRST trial of up-front treatment for multiple myeloma

Dynamic control of the spatial frequency content of an intense laser via intra-beam energy transfer

The Kinetics of Adsorption and Desorption of Selected Semivolatile Hydrocarbons and H2O Vapor on Two Mineral Dust Materials: A Molecular View

Suchergebnisse filtern