Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr

Source URL: conf.nsc.ru

• Mathematics
• Mathematical analysis
• Numerical analysis
• Arithmetic
• Computer arithmetic
• Interval arithmetic
• Integral
• Interval
• Polynomial

Außenstelle Baden-Baden Haus des Handwerks RheinstraßeBaden-Baden Tel. +Fax +369

Source URL: www.hwk-karlsruhe.de

Werkstattcamp PLUS Informationen für Lehrer Liebe Lehrer, wir freuen uns, dass Ihre Schule eine Kooperationsvereinbarung mit uns abgeschlossen hat und wir

Source URL: www.bia-karlsruhe.de

GOLDENER MEISTERBRIEF legte im Jahr die Meisterprüfung im

Source URL: www.hwk-karlsruhe.de

Stellungnahme_zu_Impulsrichtungen_im_DPG-Gutachten_zum_KPK

Source URL: www.physikdidaktik.uni-karlsruhe.de

Dr. Werner Bieck Auf Probert 25 DWiltingen  Tel.:

Source URL: www.physikdidaktik.uni-karlsruhe.de

NOKIS – Stand des Projektes Wassilios Kazakos (1), Carsten HeidmannForschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe, Tel, Email: (2) Bunsenstraße 5, 227

Source URL: www.ak-uis.de

1&1 Accenture ADMEDES Schuessler GmbH Albtal-Verkehrs-Gesellschaft mbH ALTEN Engineering aluplast GmbH

Source URL: www.hs-karlsruhe.de

Microsoft Word - GUS-Report for CEEES Fall 2009.doc

Source URL: www.ceees.org

• Confederation of European Environmental Engineering Societies
• Environmental engineering
• Karlsruhe
• Fraunhofer Society
• Pfinztal
• Gus
• Pfinz
• King
• Television in Canada

Reusing Ontological Background Knowledge in Semantic Wikis Denny Vrandeˇci´c and Markus Krötzsch {vrandecic,kroetzsch}@aifb.uni-karlsruhe.de AIFB, Universität Karlsruhe, Germany

Source URL: www.aifb.kit.edu

• Semantic Web
• Computing
• Knowledge representation
• Information science
• Information
• Knowledge engineering
• Ontology
• Semantic wiki
• Web Ontology Language
• Upper ontology
• Resource Description Framework
• Semantic MediaWiki