A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
2018
The Journal of Artificial Intelligence Research
Classification of description logic (DL) ontologies is a key computational problem in modern data management applications, so considerable effort has been devoted to the development and optimisation of ...
Thus, the calculus and the techniques we present in this paper provide an important addition to the repertoire of practical implementation techniques for description logic reasoning. ...
Ph.D. thesis, RWTH Aachen, Germany. Tsarkov, D., & Horrocks, I. (2006). FaCT++ Description Logic Reasoner: System Description. In Proc. of the 3rd Int. ...
doi:10.1613/jair.1.11257
fatcat:uonnkzyq2ve3femcv2ugumkirq
Nonstationary time-series analysis applied to investigation of brainstem system dynamics
2000
IEEE Transactions on Biomedical Engineering
Vandenhouten is with Datan GmbH, 14513 Teltow, Germany. M. Lambertz and P. Langhorst are with Inst. Physiology, FU 14195 Berlin, Germany. ...
Since the numerical calculation requires only simple arithmetic and logical operations, it can be implemented efficiently. ...
Ralf Vandenhouten was born in Korschenbroich, Germany, in 1965. He received the M.S. degree in physics and mathematics from the University of Aachen, Aachen, Germany, in 1992. ...
doi:10.1109/10.844220
pmid:10833847
fatcat:dtv6t46ierhklcil2ecjh6uyee
Placing base stations in wireless indoor communication networks
2000
IEEE Intelligent Systems and their Applications
of Communication Networks at the Aachen University of Technology. ...
Acknowledgments The authors did this work when they were at the European Computer-Industry Research Centre (ECRC), Munich, Germany. ...
Based on this prototype, Jörg-Rainer Molwitz, a student from the University of Aachen, implemented the Popular tool within one man-year while at Siemens. ...
doi:10.1109/5254.820329
fatcat:grxxupfgvrecdhfextr7gxkkji
ABSTRACTS
2000
Historia Mathematica
if classical logic and mathematics is [sic] rejected." ...
Peirce's logic and semiotics as logic of cognition; advantages of Peirce's approach compared to others are discussed. See the review by Roman Murawski in Mathematical Reviews 2000f:01018. ...
doi:10.1006/hmat.2000.2290
fatcat:kmy23z6efnbvxaucytu3pzlivq
Using Message Reflection in a Management Architecture for CORBA
[chapter]
2000
Lecture Notes in Computer Science
A paper from the University of Aachen (Germany) describes the usage of non-colocated proxy servers to intercept in-and outgoing requests [17] . ...
The paper focuses on the configuration description, the configuration evolution and the GUI. ...
doi:10.1007/3-540-44460-2_20
fatcat:nw5iq76dzfaanhbalx5cfsw44u
In vitro study of a new vaporization humidifying device: DAR HC 2000®
2000
Critical Care
, Pauwelsstr. 30, 52057 Aachen, Germany Purpose of the study: To define the association between variables reflecting regional perfusion and metabolism of the stomach obtained by gastric air tonometry with ...
University of Technology, Pauwelsstrasse 30, D-52057, Aachen, Germany; § Department of Immunology, Hopital Brugman, Brussels, Belgium Aim: To analyze the role of tumor necrosis factor (TNF)α and interleukin ...
doi:10.1186/cc827
pmcid:PMC3333031
fatcat:bo5crmdu35ftvecepgvtfillea
The Networked Polity: Regional Development in Western Europe
2000
Governance. An International Journal of Policy, Administration and Institutions
In the subregion of Aachen, eight technology centers are linked together in a limited liability company whose shareholders and partners include public and private institutions. ...
In a nice piece of empirical research comparing two regions of Germany, Knodt prematurely rejects her initial hypothesis of a synergy between intraregional and European networking. ...
doi:10.1111/0952-1895.00136
fatcat:4rd2qfpt5zcg7ee745mxbocxoa
Page 1639 of Psychological Abstracts Vol. 88, Issue 4
[page]
2001
Psychological Abstracts
(U of RWTH Aachen, Inst for Anatomy I, Aachen, Germany) An aphasia database on the Internet: A model for computer-assisted analysis in aphasiology. Brain & Language, 2000(Dec), Vol 75(3), 390- 398. ...
Human performance is modeled by CLARET, a machine learning and matching system, based on inductive logic programming and graph matching principles. ...
Interactive television: A model of analysis of business economic dynamics
2000
JMM - The International Journal on Media Management
A general logic captures syntax, semantics of descriptions and the relations between descriptions. ...
Here, the formalization and reconstruction is based on a common and well-elaborated and well-formalized logical space, namely the one of book description. ...
doi:10.1080/14241270009389918
fatcat:x7zjcgf5trawxjpatcui76hveq
Book Reviews
2000
Heythrop Journal
Charlemagne's chapel at Aachen stands out as a rare, even unique, survivor from its period. ...
With a year of papal Jubilee proclaimed for 2000, Diana Webb's book on pre-Reformation Western pilgrimage makes an opportune appearance. ...
doi:10.1111/1468-2265.00125
fatcat:jtbnvxfmkzfxvavjhvwtepy2su
Advanced Fuzzy Clustering and Decision Tree Plug-Ins for DataEngineTM
[chapter]
2000
Lecture Notes in Computer Science
, Germany. ...
and finally a naive Bayes classifier plug-in that makes available an old and time-tested statistical classification method. 1 DataEngine tm is distributed by Management Intelligenter Technologien GmbH, Aachen ...
A detailed description is given in section 4.1. ...
doi:10.1007/10720181_8
fatcat:g77ju35gjvam5h7j27sysmzx5u
Front Matter, Table of Contents, Preface, Conference Organization
2020
Symposium on Theoretical Aspects of Computer Science
University, Germany). ...
including: algebraic and categorical methods, coding theory; complexity and computability, including: computational and structural complexity theory, parameterized complexity, randomness in computation; logic ...
doi:10.4230/lipics.stacs.2020.0
dblp:conf/stacs/X20
fatcat:kp4ylsoxcfdlnkjj2zzbfxf2nq
RTA 2012 Proceedings Frontmatter
2012
International Conference on Rewriting Techniques and Applications
Tiwari Leibniz International Proceedings in Informatics Schloss Dagstuhl -Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany ...
RTA 2012 received 46 submissions (45 regular research papers and 1 system description), with contributing authors from 18 countries. ...
) , Utrecht (2001 ), Copenhagen (2002 ), Valencia (2003) , Aachen (2004 ), Nara (2005 ), Seattle (2006 ), Paris (2007) , Hagenberg/Linz (2008 ), Brasilia (2009 ), Edinburgh (2010 ), and Novi Sad (2011 ...
doi:10.4230/lipics.rta.2012.i
dblp:conf/rta/Tiwari12
fatcat:l7ljitjhgbbvjmxnwufbmivvza
Falciparum malaria in ICU
2000
Critical Care
, Pauwelsstr. 30, 52057 Aachen, Germany Purpose of the study: To define the association between variables reflecting regional perfusion and metabolism of the stomach obtained by gastric air tonometry with ...
University of Technology, Pauwelsstrasse 30, D-52057, Aachen, Germany; § Department of Immunology, Hopital Brugman, Brussels, Belgium Aim: To analyze the role of tumor necrosis factor (TNF)α and interleukin ...
doi:10.1186/cc804
pmcid:PMC3333008
fatcat:mzd6pl6kfvchbobaohnudb3ffm
Future industrial networking: from use cases to wireless technologies to a flexible system architecture
2019
at - Automatisierungstechnik
Funding: This work has been supported by the Federal Ministry of Education and Research of the Federal Republic of Germany (Foerderkennzeichen 16KIS0725K, 5Gang). ...
V. at RWTH Aachen, Aachen, Germany volker.stich@fir.rwth-aachen.de Nicolai Hoffmann
Laboratory for Machine Tools and
Production Engineering, RWTH Aachen,
Aachen, Germany
n.hoffmann@wzl.rwth-aachen.de ...
V. at RWTH Aachen, Aachen, Germany vasco.seelmann@fir.rwth-aachen.de Vasco Seelmann was born in Erlangen, Germany, in 1990. He received the B. Sc. degree and the M. ...
doi:10.1515/auto-2018-0141
fatcat:2vnjeqp7krej7cur4onfjxzx3y
« Previous
Showing results 1 — 15 out of 1,416 results