1,930 Hits in 4.2 sec

Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+

Franz Baader, Boontawee Suntisrivaraporn
2008 Conference on Knowledge Representation in Medicine  
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL.  ...  In this paper, we describe a new method for axiom pinpointing in the Description Logic EL + , which is based on the computation of so-called reachabilitybased modules.  ...  Address for Correspondence Franz Baader and Boontawee Suntisrivaraporn TU Dresden, Theoretical Computer Science, 01062 Dresden, Germany {baader,meng}@tcs.inf.tu-dresden. de  ... 
dblp:conf/krmed/BaaderS08 fatcat:ecemkueaknajjd2eqntzqoskli

Geodesist's Handbook 2008

Hermann Drewes
2008 Journal of Geodesy  
(Germany) (Description see ICCT) • IC-SG3: Configuration Analysis of Earth Oriented Space Techniques (Joint with ICCT, Commissions 3,2) Chair: Florian Seitz (Germany) (Description see ICCT) Inter-Commission  ...  Detlef Damaske, BGR Hannover, Germany • Reinhard Dietrich, TU Dresden, Germany • Fausto Ferraccioli, British Antarctic Survey • Rene Forsberg, Danish National Space Centre • Larry Hothem, USGS, USA • Cheinway  ... 
doi:10.1007/s00190-008-0259-0 fatcat:2wefhbpbl5a5rduy5prl54k67m

Tuesday, 2 September 2008

2008 European Heart Journal  
Boehm 1 . 1 Klinik fuer Kardiologie, Universitaetsklinikum des Saarlandes, Homburg/Saar, Germany; 2 Sanofi-Aventis, Paris, France; 3 Institute of Clinical Pharmacology, Technical University of Dresden,  ...  Dresden, Germany; 4 University of Roma La Sapienza, Andreas Hospital, Roma, Italy Microalbuminuria (MAU) is an indicator of impaired renal function and a relevant risk factor for cardiovascular events  ...  However, because first peak velocity by TVI directly reflects mechanical activation, it would be logical measure.  ... 
doi:10.1093/eurheartj/ehn376 fatcat:5oi26ssgrfc3rltuzxoqagaxf4

Research and trends in cyber-physical production systems from 2008 to 2019

Lucas Caldas Danelon Lopes, Clóvis Neumann
2021 Procedia CIRP  
Description Results Keywords "cyber-physical production systems" Analysis period 2008 -2019 Type Topics Web of Science categories Engineering industrial (76), Engineering manufacturing (56  ...  ) Document Type Proceedings Papers (76), Article (29), Reviews (3) Final result 108 Description Results Keywords "cyber-physical production systems" Analysis period 2008 -Present Type  ... 
doi:10.1016/j.procir.2021.03.113 fatcat:orfa64sjxzh4zjxistqlj5ex5y

Inclusion of Reliability and Safety Analysis Methods in Modelica

Christian Schallert
2011 Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany   unpublished
CSJU-GAM-SGO-2008-001. The author wishes to thank the electric engineering department of Airbus-France for the kind support and company.  ...  The minimal path sets analysis accounts for the connections of components, their potential faults and network reconfiguration logics.  ... 
doi:10.3384/ecp11063616 fatcat:6e45otpspbefvj5frusuhajlp4

On Understanding and Required Actions in Tasks of Written Examinations

Marcel Köhler, University of Applied Sciences Dresden (FHD) Güntzstraße 1, 01069 Dresden, Germany
2020 unpublished
Pastohr, 2008, p. 58) .  ...  Nevertheless, hypothesis H1 must be rejected, especially for logical reasons.  ... 
doi:10.17501/24246700.2020.6206 fatcat:3l5qisbcyrhozfnns3iy54lzxa

Using the Functional Mockup Interface as an Intermediate Format in AUTOSAR Software Component Development

Bernhard Thiele, Dan Henriksson
2011 Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany   unpublished
This allows starting the development of the logical software functions independently from the decision of the target platform (following the concept of separation of logical system architecture from the  ...  Dassault Systèmes AB thanks the Swedish funding agency VINNOVA for partial funding of this work within the ITEA2 project MODELISAR (2008-02291).  ... 
doi:10.3384/ecp11063484 fatcat:yeirkelyizf5xbj6r5h4mhmxay

Euro-politics of scale: competing visions of the region in eastern Germany

Corey Johnson
2008 GeoJournal  
Nowhere is this more evident than in the European Union, and eastern Germany offers compelling evidence of the contested nature of contemporary scalar politics.  ...  nature of scale as well as the ways in which scalar lenses help to illuminate the geographical aspects (and consequences) of strategies for coping with structural changes. regionalism | European Union Germany  ...  Such a description is to be expected given the fact that eastern Germany simply had the well-established federal structures and relatively clear divisions of power of the West imposed immediately after  ... 
doi:10.1007/s10708-008-9166-4 fatcat:zmczo7u4ynbdthhcaqwu5b4b44

Front Matter: Volume 6792

2008 24th European Mask and Lithography Conference  
For 2008, the 24 th Mask and Lithography Conference (EMLC2008) came back to Dresden. EMLC2008 was held on 21-24January 21 st 2008, at the Hilton Hotel in Dresden, Germany.  ...  Niehoff, Mentor Graphics (Germany)vii Foreword The EMLC Has Returned to Dresden, Germany In 2007, the 23 rd European Mask and Lithography Conference (EMLC2007) took place in Grenoble, France.  ... 
doi:10.1117/12.801396 fatcat:dyogwm6mrrc2tpbhevsbsw3xwy

Geodetic and Geophysical Observations in Antarctica: An overview in the IPY Perspective, Edited by A. Capra & R. Dietrich, Springer, Berlin, 2008. ISBN 978-3540748816, 355 pp. £117

J. Kouba
2009 Antarctic Science  
It is there, in the descriptions of the species, that the great value of the flora is really clear.  ...  So the research is current to about the spring of 2007, i.e. up to the beginning of the International Polar Year of 2007/2008.  ... 
doi:10.1017/s0954102009990411 fatcat:z2jnvixbwng3ppn5dqgchjzfey

A HW/SW design methodology for embedded SIMD vector signal processors

J.P. Robelly, G. Cichon, H. Ahlendorf, G. Fettweis
2008 International Journal of Embedded Systems  
ACKNOWLEDGMENT We would like to thank the people of the CATS research group at the Technische Universitaet Dresden, from which we are honored to be members.  ...  Fettweis are with the Vodafone chair for mobile communications systems at the Technische Universitaet Dresden, D-01062 Dresden, Germany (e-mails: robelly,cichon,seidel,  ...  From the hardware point of view, it is more efficient to encapsulate the logic in slices.  ... 
doi:10.1504/ijes.2008.020297 fatcat:crlh74ypxbgtvaxdxku23lrbla

Extended Attribute Constructions in German Radio Newscasts: Analysis and Implications

Joseph Wipf
2008 Die Unterrichtspraxis/Teaching German  
[the investigations of him be- ing conducted in Germany, France, Liechten- stein and Switzerland...]  ...  For speakers of English, constructing rela- tive clauses is a logical step, since the meaning of German extended modifiers is often conveyed best by a relative clause Provide printed texts with entire  ... 
doi:10.1111/j.1756-1221.2004.tb00004.x fatcat:iygvurih6zfkfpxssyjo4aw4ay

Reference Modelling of the Financial Reporting Supply Chain Architecture

Maciej Piechocki, Carsten Felden
2008 Multikonferenz Wirtschaftsinformatik  
An additional study seems to be necessary to extend the models for more specific levels such as logical (designer) and physical (builder) levels.  ...  The goal of the survey was to prepare background information and an overview of the financial reporting in Germany.  ... 
dblp:conf/mkwi/PiechockiF08 fatcat:cncfypzb3rec7l4hjjqokpdp6y

Materials Challenges from Energy to Biomaterials Forge through the 2008 MRS Spring Meeting

2008 MRS bulletin  
Dresden, Germany) addressed functional polymer design.  ...  Russell (Univ. of Erlangen, Germany).  ...  Strano of MIT (right) receives the 2008 Outstanding Young Investigator Award from MRS President Cynthia  ... 
doi:10.1557/mrs2008.228 fatcat:blpgu35ljjfsnah4c3alowmnnu

ELMOD - A Model of the European Electricity Market

Florian U. Leuthold, Hannes Weigt, Christian von Hirschhausen
2008 Social Science Research Network  
, and investment decisions, with a focus on Germany and Continental Europe.  ...  This paper summarizes the current structure of ELMOD and provides an in-depth description of model assumptions and specifics.  ...  For a more detailed description see Schweppe et al. (1988) . P t jk = B jk · Θ t jk (8) Line losses have not been considered yet.  ... 
doi:10.2139/ssrn.1169082 fatcat:z2ejw6z6rveajbrxtprdp6z3nm
« Previous Showing results 1 — 15 out of 1,930 results