Filters








1,416 Hits in 3.3 sec

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, František Simančík, Ian Horrocks
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

R. Vandenhouten, M. Lambertz, P. Langhorst, R. Grebe
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

T. Fruhwirth, P. Brisset
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

Glen Van Brummelen
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]

Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren, Bart Nieuwenhuis
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®

N Bottino, L Chiaravalli, M Panigada, F Carrieri, E Allegritti, P Pelosi, L Gattinoni
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

Chris Ansell
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

Margherita Pagani
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]

Christian Borgelt, Heiko Timm
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

Christophe Paul, Markus Bläser, Markus Bläser, Christophe Paul
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

Ashish Tiwari, Marc Herbstritt
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

A Aaron, B Avinash
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

Michael Karrenbauer, Stephan Ludwig, Henning Buhr, Henrik Klessig, Anne Bernardy, Huanzhuo Wu, Christoph Pallasch, Amina Fellan, Nicolai Hoffmann, Vasco Seelmann, Maroua Taghouti, Simon Wunderlich (+14 others)
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