DSSim-ontology mapping with uncertainty Miklos Nagy, Maria Vargas-Vera, Enrico Motta Knowledge Media Institute (Kmi) The Open University Walton Hall, Milton Keynes, MK7 6AA, United Kingdom ;{m.va

Source URL: ftp.informatik.rwth-aachen.de

• Ontology
• Knowledge representation
• Semantic Web
• Information science
• Knowledge engineering
• Upper ontology
• Ontology alignment
• Semantic matching
• Semantic similarity
• WordNet
• Web Ontology Language
• DempsterShafer theory

aixigo AG ist Preisträger des Wachstumspreises der Region Aachen, Düren, Euskirchen und Heinsberg Presseinformation

Source URL: www.aixigo.de

On the Performance Prediction of BLAS-based Tensor Contractions Elmar Peise, Diego Fabregat-Traver, and Paolo Bientinesi AICES, RWTH Aachen {peise,fabregat,pauldj}@aices.rwth-aachen.de

Source URL: www.dcs.warwick.ac.uk

• Numerical linear algebra
• Tensors
• Numerical software
• Basic Linear Algebra Subprograms
• GPGPU
• Cache
• Tensor contraction
• Tensor
• Matrix
• CPU cache
• Kernel
• Compute kernel

Vortragsaufruf_streetscooter_englisch.indd

Source URL: www.thorax-project.eu

• Aachen
• Noise pollution
• Electric vehicle
• Sustainable transport
• RWTH Aachen University
• Noise
• Powertrain
• Tire

Mein Stundenplan 1 Montag Dienstag

Source URL: www.aachen.de

MWI – Institute of Missiology GUIDELINES TO PRINTING SUBSIDIES

Source URL: www.mwi-aachen.org

• Christian missions
• Practical theology
• Textual scholarship
• Missiology
• Publishing
• Printing
• Academic publishing

IT-Trends_2012 09 12_Vortrag S.Haferkamp_Health Telematics Aachen

Source URL: www.fallakte.de

Anmeldeformular zur Beitragseinreichung für den 6. Wissenschaftskongress „Abfall- und Ressourcenwirtschaft“ am 16. und 17. März 2017 in Aachen Anrede/Titel:__________________________________________________________

Source URL: www.dgaw.de

Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination

Source URL: sunsite.informatik.rwth-aachen.de

• Logic in computer science
• Mathematical logic
• Aachen
• RWTH Aachen University
• Termination analysis
• Boolean satisfiability problem
• NP-completeness
• Algorithm
• Rewriting

Microsoft Word - IJTEL60201_Derntl.doc

Source URL: dbis.rwth-aachen.de

• Academic publishing
• Publishing
• Scientific method
• Technical communication
• Abstract
• Research
• Thesis
• Scientific writing
• Edsger W. Dijkstra
• Scientific literature
• Academic writing