Pfeifer, Holger - Institut für Künstliche Intelligenz, Universität Ulm

• After completing the application form, please save it and send it as attachment per E-Mail to: adv-mat@uni-ulm.de
• ASSIST: Active Partnership and Support of SeniorConsultants for International Students
• Universitt Ulm | 89069 Ulm | Germany Beschftigten der Universitt Ulm
• Landmark-Aware Strategies for Hierarchical Planning Mohamed Elkawkagy and Pascal Bercher and Bernd Schattenberg and Susanne Biundo
• Date of update: November 2007 International students during an excursion (Allgu)
• Exkursion nach Esslingen (Samstag, 12. Dezember 2009)
• Wirtschaftsmediation und Organisationsentwicklung 2011-2013 Akademie fr Wirtschaft, Wissenschaft und Technik der Universitt Ulm e.V.
• ADEPT Workflow Management System: Flexible Support for Enterprise-Wide Business Processes
• Rekursive Definition von Funktionen uber Nat oder anderen induktiv definierten Typen
• Journal of Artificial Intelligence Research 24 (2005) 519-579 Submitted 12/04; published 10/05 The Deterministic Part of IPC-4: An Overview
• LISPIntensivkurs Vierter Tag
• Common Lisp Intensivkurs Ubungsblatt 4 -Vormittag
• Inferenzsysteme f ur das Semantic Web Ste en Balzer
• LISPIntensivkurs F unfter Tag
• Common Lisp Intensivkurs L osungsvorschlag der
• Common Lisp Intensivkurs L osungsvorschlag der 
• Common Lisp Intensivkurs Ubungsblatt 2 -Vormittag
• Common Lisp Intensivkurs L osungsvorschlag der 
• Formalizing FixedPoint Theory in PVS \Lambda
• 140 Physik Journal 8 (2009) Nr. 8/9 2009 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim Beim Frhstck ber Physik dis-
• Zulassungsantrag Prfungen allgemein Bitte beachten Sie: Dieses Formular darf nur verwendet werden, wenn eine
• IOP PUBLISHING JOURNAL OF PHYSICS B: ATOMIC, MOLECULAR AND OPTICAL PHYSICS J. Phys. B: At. Mol. Opt. Phys. 42 (2009) 154010 (11pp) doi:10.1088/0953-4075/42/15/154010
• Fabrication of a planar micro Penning trap and numerical investigations of versatile ion positioning protocols
• DEPARTURE CHECKLIST Detailed information on all steps: http://www.uni-ulm.de/io/exchange/leaving.html
• A Framework for Dynamic Changes in Workflow Management Systems Manfred Reichert, Peter Dadam
• Eine Einf uhrung in OTTER S. K uhnemann
• Common Lisp Intensivkurs Ubungsblatt 1 Nachmittag
• Appeared as technical report UIB9611, Universitat Ulm, Fakultat fur Informatik, Dec. 1996 Mechanized Semantics of Simple Imperative
• Program and proof development in Type Theory
• Stand 16.03.2011 gemeinsamen Promotionsausschuss Dr.rer.nat. Ausfertigungen
• Praktika und Bachelorarbeiten am Institut fr Knstliche Intelligenz
• 2 Physik Journal 9 (2010) Nr. 3 2010 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim Fr jeden Jongleur ist es ent-
• How to get to Schloss Reisenburg Gnzburg train station is located en route Stuttgart
• Universitt Ulm | 2008 DFG-Schwerpunkt: Informations-und
• I. Einleitung 1. Vorwort des Rektorats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
• Antrag auf Anerkennung von Prfungsleistungen Hiermit beantrage ich die Anerkennung von an einer anderen Hochschule/in einem anderen
• Van-de-Graaf-Generator IVERSITT UL
• FACH-Fachschaft Chemie und Wirtschaftschemie
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 75 55 20 24 5 41 5
• ThemenhefTforschungno52008 Tfno52008
• Diese Folienvorlagen entstanden anlsslich eines Minisymposiums des Graduiertenkollegs `Diagnostische und
• Invitation to foreign students of the English master courses of Ulm University and to
• Focus on Atom Optics and its Applications This article has been downloaded from IOPscience. Please scroll down to see the full text article.
• Enterprise-Wide and Cross-Enterprise Workflow Management: Challenges and Research Issues for Adaptive Workflows
• Two-dimensional cluster-state preparation with linear ion traps Harald Wunderlich* and Christof Wunderlich
• Sprachen des Semantic Web 10. Januar 2003
• Common Lisp Intensivkurs Ubungsblatt 1 -Nachmittag
• Einf uhrung K unstliche Intelligenz
• Common Lisp Intensivkurs Ubungsblatt 4 Vormittag
• LISP --Intensivkurs Universit at Ulm
• Proof construction in Type Theory The Typelab system
• Proof construction and proof search in Type Theory
• Stand 04/2011 Antrag auf Zulassung zur Masterarbeit
• T h e o p e n a c c e s s j o u r n a l f o r p h y s i c s New Journal of Physics
• Titelmaster Rastersondenmikroskopie
• The Bologna Process ---auf gut Deutsch
• iano-f orte Semesterkonzert der Klavierklasse von
• Employing Semantically Driven Adaptation for Amalgamating Software Quality Assurance with Process Management
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 15 vom 10.07.2008, Seite 94 -99 Fachspezifische Studien-und Prfungsordnung fr den englischsprachigen
• Stundenplne Physik B.Sc. Physik (Bachelor)
• Study trip to the cave of Sontheim on Sunday 6th
• sfb transregio 62 Companion Technology
• Universitt Bereich Ost
• Sem. Chemistry Materials Science Electrical Engineering Miscellaneous CP Introduction to General Chemistry,
• Study and examination regulations for English language Master's degree course "Advanced Materials" offered by the Faculties for Natural Science, Engineering
• Photon-by-photon feedback control of a single-atom A. Kubanek1
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Prfung Studiengnge Semester Datum Uhrzeit Prfer Module Tierphysiologie B, BC 2 08.07.2011 Wolf/Weidemann Physiologie I Zellbiologie und Physiologie
• Nanostructured, Mesoporous Au/TiO2 Model Catalysts Structure, Stability and Catalytic
• A Context-Aware Light Source Oliver Wang Martin Fuchs
• On Dealing With Semantically Conflicting Business Process Changes
• Universitt Ulm | 2006 Vorwort Foreword . . . . . . . . . . . . . . . . . . . . . . . 4
• Technical Reference June 2001 Edition
• CURRICULUM VITAE Name: Elisabeth Klara Viktoria KALKO
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 2 vom 27.02.2007, Seite 25 -28 Fachspezifische Studien-und Prfungsordnung fr den englischsprachigen
• Invitation to foreign students of the English master courses of Ulm University and to
• Universitt Ulm -KIZ Zeitschriftenliste 2011Fakultts-Titel Verlag
• Invitation to foreign students of Ulm University JOUR FIXE: February 10th
• On the Decidability of HTN Planning with Task Insertion Thomas Geier and Pascal Bercher
• Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware
• Strobl/St. Wolfgang July 16 August 13, 2011
• Stundenplne Physik Physik (Bachelor)
• Integriertes Graduiertenkolleg Integrated Graduate School
• alumni@uni-ulm.de http://www.uni-ulm.de/alumniAlumniUlm
• Places of interest The City of Augsburg
• A weekend in Schorndorf , June, 2009 my friend Fang Zhen and I spent a wonderful weekend with
• Integriertes Graduiertenkolleg Integrated Graduate School
• Projekt Z4 -Massenspektrometrie Einfhrung in die
• Invitation to foreign students of Ulm University JOUR FIXE: July 1st
• INCOMINGS How to Apply (Update April 2011 / Ha-B) Page 1 of 3 HOW TO APPLY AS
• Workflow Time Patterns for Process-Aware Information Systems
• Supporting Workflow Schema Evolution By Efficient Compliance Checks
• Basiskompetenzen Mnemonik & Gedchtnisstrategien
• Musischer Tag 2010 Donnerstag 9. Dezember 19:30 bis 23 Uhr im Stadthaus Ulm
• Discovering Reference Process Models by Mining Process Variants University of Twente
• Published in the official announcements of the University of Ulm No. 2, 1st March 2007, pages 41-57
• R. Kaschek et al. (Eds.): UNISCON 2008, LNBIP 5, pp. 7283, 2008. Springer-Verlag Berlin Heidelberg 2008
• On Representing, Purging, and Utilizing Change Logs in Process Management Systems
• Learning Meta-descriptions of the FOAF Network Gunnar AAstrand Grimnes, Pete Edwards, and Alun Preece
• EWMOVPE 2009 13th European Workshop on Metalorganic Vapour Phase Epitaxy
• GRASP und CHAFF SAT Solver Systeme
• Rechenschaftsbericht des Kommunikations-und Informationszentrums (kiz)
• Architectural Design of Flexible Process Management Technology
• Ulmer Informatik Berichte | Universitt Ulm | Fakultt fr Ingenieurwissenschaften und Informatik Architectural Design of Flexible
• Feedback-optimized operations with linear ion crystals
• Active Partnership and Support of SeniorConsultants for International
• Exkursion ins Allgu (17. August 2008) Excursion to the Allgaeu (August 17th, 2008)
• iano-f orte Semesterkonzert der Klavierklasse von
• Jahresbericht 2008 Kommunikations-und
• Digital Object Identifier (DOI) 10.1007/s00450-004-0157-5 Informatik Forsch. Entw. (2004) 18: 132151
• ERASMUS EXCHANGE ARRIVAL NOTIFICATION
• Kennziffer: Vorname Nachname
• Invitation to foreign students of Ulm University JOUR FIXE: December 2nd
• Im Graduiertenkolleg "Modellierung, Analyse und Simulation in der Wirtschaftsmathematik" sind 2 Hilfskraftstellen (40h/Monat) als Forschungsstudent
• LONGEVITY RISK AND ANNUITY PRICING WITH THE LEE-CARTER MODEL By S. J. Richards and I. D. Currie
• Knstliche Intelligenz und Humor Verfahren zur Erzeugung und Erkennung humoristischer Texte
• GRASP UND CHAFF SAT-Solver Systeme nach dem Davis-Putnam-Algorithmus
• Fakultat fur Ingenieurwissenschaften und Informatik Institut fur Mikrowellentechnik
• Stundenplne Physik M.Sc. Physik (Master)
• FelixZirngiblMaxReischEdwardYangStellinaSleightholme-AlbanisUliSchinkmann SebastianLckTobiasMhlingMaxWilkatAnneliesMeijer
• Fachhochschule Univ. West,
• Complete Quantitative online Analysis of Methanol Electrooxidation Prod-ucts via Electron Impact and Electrospray Ionization Mass Spectrometry
• Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To
• Tarifvertrag ber Einmalzahlungen
• Surface characteristics of boron-doped diamond exposed to high-temperature annealing: Effect of hydrogen atmosphere
• Change Mining in Adaptive Process Management Systems
• Exkursion nach Blaubeuren (6. Juli 2008) Excursion to Blaubeuren (July 6th, 2008)
• Workflow and Process Synchronization with Interaction Expressions and Graphs
• Jahresbericht 2007 Kommunikations-und
• Relaxed Compliance Notions in Adaptive Process Management Systems
• On Representing Instance Changes in Adaptive Process Management Systems Stefanie Rinderle1
• Semantic Correctness in Adaptive Process Management Systems
• Synthesis of the first enantiomerically pure and chiral, disubstituted 3,4-ethylenedioxythiophenes (EDOTs) and corresponding stereo-and
• RotorStatorKontakt polygonformigen Fanglagern
• Bankverbindungen: Postscheckamt Stuttgart Sparkasse Ulm Baden-Wrtt. Bank Ulm BLZ 600 100 70 BLZ 630 500 00
• Data Flow Correctness in Adaptive Workflow Systems Stefanie Rinderle-Ma
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 2 vom 01.03.2007, Seite 41 -57 Zulassungsordnung, Studien-und Prfungsordnung und Promotionsordnung fr den
• On the Controlled Evolution of Access Rules in Cooperative Information Systems
• The political system of Germany Das politische System DeutschlandsRalph Schneider
• Efficient Distributed Control of Enterprise-Wide and Cross-Enterprise Workflows
• Stand: 30.10.2007 Bescheinigung gem 3 Abs. 1 der Satzung der Universitt Ulm zur Ausstellung von
• Perspectives coordinators,
• Medizinische Fakultt der Universitt Ulm (Promotionssekretariat)
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 20 vom 12.11.2007, Seite 311 -317 Fachspezifische Studien-und Prfungsordnung fr den Bachelorstudiengang
• The Future of BPM: Flying with the Eagles or Scratching with the Chickens?
• Towards a Framework for the Agile Mining of Business Processes
• Universitt Ulm | 2008 DFG-Schwerpunkt: Informations-und
• On Enabling Data-Aware Compliance Checking of Business Process Models
• A Generic Specification for Verifying Peephole Optimizations \Lambda
• German federal and state governments, the European Union, the National Ministry of Education and Research, the National
• PRFUNGSPLAN zur Diplomprfung Informatik, DPO 2000 & 2001
• ANMELDEFORMULAR/ REGISTRATION FORM BUDDY PROGRAMM/BUDDY PROGRAMME
• Universitt Ulm | 2007 3Inhalt Contents
• Jahresbericht 2006 des kiz 1 Optimierung von Geschftsprozessen am kiz .................................................................................2
• Invitation to foreign students of Ulm University JOUR FIXE: November 4th
• Praktika und Bachelorarbeiten am Institut fr Knstliche Intelligenz
• MhringerWeg Albert-Einstein-Allee
• Semestererffnung Sommersemester 2011 Montag 11. April 2011
• Ulmer Informatik Berichte | Universitt Ulm | Fakultt fr Ingenieurwissenschaften und Informatik Adjustment Strategies for
• Bescheinigung ber das Absolvieren des Orientierungspraktikum Name: _____________________________
• Universitat Ulm Abt. Datenbanken und Informationssysteme
• ADVANCED MATERIALS Curriculum Biomaterials Materials Science I 5 CP Materials Science II 5 CP Lab Materials Science II 5 CP
• Imaging an ionic liquid adlayer by scanning tunneling microscopy at the solid|vacuum interface
• Storage and recall of weak coherent optical pulses with an efficiency of 25% M. Sabooni, F. Beaudoin, A. Walther, Lin Nan, A. Amari, M. Huang, S. Kroll
• B. Wangler, L. Bergman (Eds.): CAiSE 2000, LNCS 1789, pp. 94-109, 2000 Springer-Verlag Berlin Heidelberg 2000
• MPEG-2 Codecs DVD Quality Video, Audio, and Data Networking
• Next Generation Process Management Technology Peter Dadam
• RDF Resource Description Framework Einfuhrung (aus den Original-Dokumenten)
• Universitt Ulm Abt. Knstliche Intelligenz
• Prof. F. v. Henke Maschinelles Beweisen
• PDDL --The Planning Domain Definition Language Version 1.2
• Planen mit partiellen Ordnungen POP "Partial-Order-Planning"
• Loom Eine Kurzeinfuhrung Loom ist ein deklaratives Wissensreprasentationssystem
• 7. Pradikatenlogik Aussagenlogik hat wunschenswerte Eigenschaften wie
• 3. Problemlosen durch Suche Problemlosende Agenten sind zielorientierte Agenten.
• 7. Abstrakte Datentypen und Strukturelle Induktion Abstrakte Datentypen (ADTs) sind ein wichtiges Hilfsmittel zur Modellierung (Spez-
• Invitation to foreign students of Ulm University JOUR FIXE: June 3rd
• Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
• Proseminar Kunstliche Intelligenz Sommersemester 2011
• Universitt Bereich Ost
• Distribution Category: Mathematics and Computer
• 12. Maschinelles Lernen Maschinelles Lernen dient der Herbeifuhrung von
• Enabling Process Support for Advanced Applications with the AristaFlow BPM Suite
• Self-organized growth of nanostructures , G. Costantini1
• ERASMUS EXCHANGE LEARNING AGREEMENT
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Deterministic Ultracold Ion Source targeting the Heisenberg Limit W. Schnitzler,1
• "Good vibrations" im Nanobereich: Die Nachwuchsgruppe Theorie wird fr drei weitere Jahre von der DFG finanziert
• STUDY ABROAD @ ULM UNIVERSITY
• Supporting Adaptive Workflows in Advanced Application Environments
• nderungstarifvertrag vom 12. Oktober 2006
• On Dealing with Structural Conflicts between Process Type and Instance Changes
• Tempest in a Teapot: Compromising Reflections Revisited
• A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants
• ERASMUS EXCHANGE ACADEMIC CALENDAR
• 12. Interpretation von PVS-Theorien Vorspann zu allgemeinen Begriffen: Konsistenz usw.
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Promotionsordnung der Universitt Ulm fr die Medizinische Fakultt
• Geometry Construction from Caustic Images Manuel Finckh, Holger Dammertz, and Hendrik P. A. Lensch
• Knstliche Intelligenz im Weltraum: Mexar2 Iris Ziegengeist
• Logik-basierte Wissensmodellierung Tableau-Verfahren: ABox
• Early Prototyping of Wireless Sensor Network Algorithms in PVS
• Invitation to foreign students of the English master courses of Ulm University and to
• UNIVERSITT ULM Zulassungsantrag
• Quantum gate between logical qubits in decoherence-free subspace implemented with trapped ions
• myjournal manuscript No. (will be inserted by the editor)
• Personalrat der Universitt Ulm Seite -1 -www.uni-ulm.de/personalrat Personalrats
• Stalmarcks Prozedur Thilo Deussen
• Planning by Abstraction in a Network Decomposition
• LISP-Intensivkurs Zweiter Tag
• Proseminar KI 16. Juli 2004
• Logik-basierte Wissensmodellierung Beschreibungslogiken
• 7. Das Typsystem von PVS (I) Zur Erinnerung: Bisher behandelte Elemente des Typsystems von PVS umfassen
• subm. to ChemPhysChem Ab initio molecular dynamics simulations of the adsorption of H2 on palladium
• Invited Talks Inv.1: Monday, June 8 at 09:30h
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 83 58 25 18 2 59 4
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 53 44 9 5 0 44 4
• Making Business Process Implementations Flexible and Robust
• Invitation to PhD students of the International Graduate School in Molecular Medicine Ulm and the
• Author's personal copy Integration and verification of semantic constraints
• Proteolytischer Abbau im Gel SDS-PAGE der Proteinlsung
• International Summer Program German Intensive
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• INCOMINGS Housing Information Page 1 of 3 ERASMUS EXCHANGE
• Flexibility for Distributed Workflows* Manfred Reichert1,2
• Zur Erffnung des Gesuches auf Zulassung zum Promotionsverfahren fr den Dr. rer. nat. mssen folgende Unterlagen eingereicht werden
• submitted to Phys. Rev. Lett. Strain and coordination effects in the adsorption properties of early transition metals
• Adsorption of small aromatic molecules on the ,,111... surfaces of noble metals: A density functional theory study with semiempirical corrections
• Prof. F. von Henke T. Liebig, K. Gugler
• Exakte Inferenz in Markov Logik Netzwerken Kontakt: Thomas Geier
• Bundestag elections 2009: The political system of Germany Bundestagswahl 2009: Das politische System DeutschlandsRalph Schneider
• ADEPT Next Generation Process Management Technology Tool Demonstration
• Exploiting Landmarks for Hybrid Planning 1 Mohamed Elkawkagy and Pascal Bercher
• Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite
• Forschungsinstitut fr Rehabilitationsmedizin
• Frderung aus ffentlichen Mitteln
• Zimeng `Edward' Yang Daniel Frst
• KKLAVIERABENDLAVIERABEND DER KLAVIERKLASSE VON
• After completing the application form, please save it and send it as attachment per E-Mail to: nawi.energy-sci-tech@uni-ulm.de
• Eliminierung der TBox Subsumtion von Begriffen kann auf einfache Unerfullbarkeit reduziert
• LISP-Intensivkurs Dritter Tag
• 6. Induktion Warum braucht man Induktion?
• Beispiele von Ontologien: Standard Upper Ontology (SUO) IEEE Standardisierung: http://suo.ieee.org/
• 7. Zustandsdiagramme und Modelluberprufung Zustandsdiagramme Statecharts
• Web Ontology Languages Web-Ontology (WebOnt) Working Group
• Relationsbildende Strukturen Definition einer Relationen durch relationsbildenden Ausdruck.
• LISP-Intensivkurs Vierter Tag
• LISP-Intensivkurs Funfter Tag
• LISP-Intensivkurs Vierter Tag
• Proseminar Knstliche Intelligenz Knstliche Intelligenz und Humor
• 13.07.08 Intelligente Systeme in der Logistik 1 Intelligente Systeme in derIntelligente Systeme in der
• Semantic Technologies Proseminar Kunstliche Intelligenz
• Proseminar Kunstliche Intelligenz Sommersemester 2008
• Prof. S. Biundo-Stephan Dr. J. Bidot
• Invitation to foreign students of Ulm University JOUR FIXE: October 7th
• Invitation to foreign students of the English master courses of Ulm University and to
• International for Advanced Studies
• Invitation to foreign students of the English master courses of Ulm University and to
• Arrival Day Intensive G
• arXiv:1002.3033v1[quant-ph]16Feb2010 Dynamical control and novel quantum phases in impurity doped linear ion crystals
• Computer Science -Research and Development manuscript No. (will be inserted by the editor)
• Ulm University admissions statutes for the English language Master Programme "Energy Science and Technology"
• 10. Wissensbasierte Systeme Reprasentation von Wissen
• Please notice, that the order of presentations within each session may change until the beginning of the conference.
• Master Program in Finance Faculty of Mathematics and Economics
• Eliminierung der TBox Subsumtion von Begriffen kann auf einfache Unerfullbarkeit reduziert
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 19 vom 26.11.2009, Seite 208 -213 Fachspezifische Studien-und Prfungsordnung fr den weiterbildenden
• Java Grundlagen Skript zum Kurs der Programmierstarthilfe
• A Distributed Execution Environment for LargeScale Workflow Management Systems
• A Thing Called "Fluid Process" Beyond Rigidity in Business Process Support
• Ausschreibung von Stipendien Im Rahmen des von der Deutschen Forschungsgemeinschaft (DFG) eingerichteten
• Antrag auf Studiengangwechsel fr das Ende Antragsfrist: 30.05. im Sommersemester, 30.11. im Wintersemester. Fr einen Wechsel in einen
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 6 vom 24.03.2010, Seite 109 -115 Fachspezifische Studien-und Prfungsordnung fr den
• Losung von Planungsproblemen Planungsproblem
• Signatures of nonadiabatic O2 dissociation at Al(111): First-principles fewest-switches study
• To be completed by Ulm University! BewerberNr. ______________
• Textures on Rank-1 Lattices S. Dammertz1 and H. Dammertz1 and A. Keller2 and H. P. A. Lensch3
• ASSIST: Active Partnership and Support of SeniorConsultants for International Students
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Generic Compilation Schemes for Simple Programming Constructs Generic Compilation Schemes for Simple
• Optimal Control at the Quantum Speed Limit T. Caneva,1
• Landmarks in Hierarchical Planning Mohamed Elkawkagy and Bernd Schattenberg and Susanne Biundo1
• General Index 2011 GED on molecular beams Tarasov
• Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications
• Daniela Donhauser Maximilian Reisch
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Proseminar Aspekte funktionaler Programmierung und ihrer Anwendung
• Springer E-Books "Business and Economics" 2009 Subject BookTitle Book Author Publisher ISBN URL
• 9. Fallstudie: Compiler-Verifikation Formalisierung einer einfachen, imperativen Programmiersprache
• Formation and chemical properties of nanostructured bimetallic surfaces
• Theoretical investigation of the interaction of CH4 with Al2 and Al3 neutral and charged clusters
• Erste Satzung zur nderung der Prfungsordnung der Universitt Ulm fr den Bachelor / Master-Stu-
• Forschungsprofil Prof. Dr. Axel Gro
• subm. to Catalysis Today Challenges in the first-principles description of reactions in electrocatalysis
• J. Chem. Phys., accepted for publication Theoretical investigation of the interaction of CH4 with Al2 and Al3 neutral and
• subm. to PCCP Geometric and electronic structure of Pd/4-aminothiophenol/Au(111)
• Concentration and Coverage Dependent Adlayer Structures: From Two-Dimensional Networks to Rotation in a Bearing
• Hybrid Composites DOI: 10.1002/anie.200905339
• Seminar ,Controlling` Institut fr Controlling | 07.07.2010
• The NordPool Market The spot and electricity forward relation
• The temperature market A stochastic model for temperature
• A well-functioning financial system is essential for the entire economy. It is essential for large firms but also for small businesses or people
• Universitt Ulm Hochschule Ulm
• Eine sehr ungewhnliche Koali-tion will dem schwbischen Dia-
• Cyclical adjustment, capital-labor substitution and total factor productivity convergence East Germany after unification
• Wage differentials between East and West Germany Are they related to the location or to the people?
• Delta Hedging an IO securities backed by Senior Life Settlements Charles A. Stone
• Mortality and Approximate Hazard Plots1 Morteza Aalabaf-Sabaghi2
• Monday, November 17, 2008 8:00 Registration and Continental Breakfast
• 7th Int. Conference on Business Process Management (BPM`09) 7-10 September 2009, Ulm, Germany
• Protokoll zum Grndungstreffen des EMISA-Arbeitskreises ,,Flexible service-und prozessorientierte
• Self-assembled monolayers of benzylmercaptan and para-cyanobenzylmercaptan on gold: surface infrared
• Optimal HDR Reconstruction with Linear Digital Cameras Miguel Granados
• This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
• Admissions Statutes of Ulm University for the English Language Master's Online Course of Studies in Advanced Oncology
• A Shaped Temporal Filter Camera Martin Fuchs1
• Shallow Bounding Volume Hierarchies for Fast SIMD Ray Tracing of Incoherent Rays
• Bachelor of science (B.Sc.) in psychology Preface -what is psychology?
• Biochem. J. (2008) 415, 0000 (Printed in Great Britain) doi:10.1042/BJ20080432 1 Identification of lysine residues critical for the transcriptional activity and
• Transworld Research Network 37/661 (2), Fort P.O., Trivandrum-695 023, Kerala, India
• Academic year 2009/2010 Medical Faculty
• BREGENZ SUMMER SCHOOL ON ENDOCRINOLOGY: Main Topics
• Medical Management of Radiation Accidents: Management of the Acute Radiation 2001 The British Institute of Radiology
• Stand: 08.03.2011 Institutsnamen
• Universitt Ulm Zentrale Verwaltung
• Tag der Mathematik 2009 Gruppenwettbewerb
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 17 vom 26.07.2010, Seite 272 -277 Fachspezifische Studien-und Prfungsordnung fr den nicht-konsekutiven englisch-
• Nr. 6 W., F. u. K. 1999 217 1. Die bisherigen Nummern "7 (Logistik)" und "9 (Verkehrs-
• Stand: September 2007 Molekulare Medizin
• Master in Biology Faculty of Natural Sciences
• 1 Ulm and Neu-Ulm 2 2 Checklists 6
• Hier geht's zu RefWorks: www.refworks.com
• Write-N-Cite eine Kurzanleitung Write-N-Cite ist ein Zusatzprogramm, mit dessen Hilfe es RefWorks-Abonnenten
• RefWorks: Scopus Edition RefWorks and Scopus have teamed up to create an add-on module to RefWorks that will provide
• LISP Intensivkurs Universitat Ulm
• Universitat Ulm Institut fur Kunstliche Intelligenz
• Semantische Netze und Frames SS09, Inst. fur KI, Uni Ulm 0 -25
• Beschreibungslogiken Hauptproblem Semantischer Netze und Frames
• Schlussfolgerungsdienste in Beschreibungslogiken Semantik einer beschreibungslogischen Wissensbasis besteht aus der
• Tableau-Verfahren: ABox Die Erfullbarkeit einer ABox kann ebenfalls durch die Tableau-Methode
• Der Wissensmetaprozess (1) EvolutionEvaluierung
• Techniken & Sprachen des Semantic Web Techniken & Sprachen des Semantic Web
• Proseminar Aspekte funktionaler Programmierung und ihrer Anwendung
• Prof. F. von Henke Einfuhrung in die KI
• Beschreibungslogiken Hauptproblem Semantischer Netze und Frames
• Wissensmodellierung und wissensbasierte Systeme Vorlesung im Hauptstudium
• Einfuhrung Semantic Web Schlusswort Semantic Technologies
• 2. Modell-Uberprufung fur CTL Ausgangsfrage: wie kann
• Beschreibungslogiken Hauptproblem Semantischer Netze und Frames
• Schlussfolgerungsdienste in Beschreibungslogiken Semantik einer beschreibungslogischen Wissensbasis besteht aus der
• Racer ist ein Beschreibungslogisches System zweiter Generation SHIQ (ALCQHIr+ ) plus konkrete Wertebereiche, GCI's, zyklische
• Tableau-Verfahren: ABox Die Erfullbarkeit einer ABox kann ebenfalls durch die Tableau-Methode
• Nicht-Standard Inferenzdienste Motivation
• Der Wissensmetaprozess (1) EvolutionEvaluierung
• Grote WB bzgl. "common sense knowledge" Historie & Zahlen
• Techniken & Sprachen des Semantic Web SS07, T. Liebig, Uni Ulm 5 -1
• Kurzeinfuhrung in SAL Holger Pfeifer
• Kurzeinfuhrung in SAL Teil 2: Modulkomposition
• Prof. F. v. Henke Dr. H. Pfeifer
• Prof. F. v. Henke Dr. H. Pfeifer
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Relationsbildende Strukturen Definition einer Relationen durch relationsbildenden Ausdruck.
• Einfuhrung in das PVS-System Maschinelles Beweisen WS 06/07
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Proseminar Kunstliche Intelligenz Sommersemester 2007
• Brennstoffzellendesign mit Semantic Web Methoden Ausarbeitung im Rahmen des Proseminars
• Kunstliche Intelligenz und Musik Proseminar Kunstliche Intelligenz
• Pro-Seminar KI Autonome Fahrzeuge Patrick Bertsch Autonome FahrzeugeEine Pro-Seminar Arbeit von
• Fakultt fr Informatik, Universitt Ulm Sommersemester 06
• Binare Baume Binarbaume als weiteres Beispiel fur abstrakte Datentypen in PVS
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• KI an der Brse: Autonomous Trading Agents
• KI im Weltall: Der Remote Agent Proseminar Knstliche Intelligenz
• KI und Musik: SaxEx Universitt Ulm Eine Ausarbeitung von Jrg Leuser Sommersemester 2004
• Prof. F. von Henke Liebig, Balzer
• Prof. F. von Henke Liebig, Balzer
• Prof. F. von Henke T. Liebig, S. Balzer
• Prof. F. von Henke Liebig, Gugler
• Lisp Eine Kurzeinfuhrung Lisp ist eine "listen-orientierte" Sprache Verarbeitung symbolischer
• Prof. F. W. v. Henke Automatische Beweisverfahren
• Quantifizierte Boolesche Formeln: Analyse der Erfullbarkeit.
• Quantifizierte Boolesche Formeln: Analyse der Erfllbarkeit
• Hauptseminar: Automatisches Kombination von Theorien nach Shostak
• Lsen von Formeln ber Boolesche und lineare mathematische Aussagen mit einer SAT-basierten
• Charlotte Boerner Lsen von Formeln ber Boolesche und
• Einfuhrung Kunstliche Intelligenz
• 2. Intelligente Agenten Definition und Klassifizierung
• Heuristische Suche Uninformierte (blinde) Suchverfahren
• Spiele, insbesondere Brettspiele, stellen eines der altesten Teil-und Anwendungsge-biete der KI dar (Shannon und Turing: 1950 erstes Schachprogramm).
• Resolution (1) Voraussetzung: Klauselform
• 8. Modellierung in Pradikatenlogik Beispiel: Mathematische Aussagen Gruppentheorie
• Terminologische Logik auch: Beschreibungslogik oder Begriffslogik
• KM (Knowledge Machine) Eine Kurzeinfuhrung KM ist ein Frame-basiertes Wissensreprasentationssystem
• Loom als Regelsystem Kombination von Beschreibungslogik und Regelsystem mit Defaults und
• Evaluierung des Lernalgorithmus Anforderungen
• Prof. F. von Henke T. Liebig, K. Gugler
• JESS Eine Kurzeinfuhrung JESS ist ein Expertensystem (regelbasiert)
• Prof. F. von Henke Liebig, Gugler
• Ontologiesprachen im Kontext des Semantik Web.
• ALMA MATER STUDIORUM-UNIVERSITY OF BOLOGNA FACULTY OF ENGINEERING
• Separating Per-client and Pan-client Views in Service Specification
• UNIVERSITT ULM "Organische, Metallorganische und Makromolekulare Chemie "
• Seminar Series on Stem Cells -June ORGANIZERS
• On the role of residual Ag in nanoporous Au catalysts for CO oxidation: A combined micro-reactor and TAP reactor study
• STUDY ABROAD @ ULM UNIVERSITY
• Service-basierte, Prozessorientierte Orchestrierungs-Technologie im Logistik-und Gesundheitswesen
• PRFUNGSPLAN zur Diplomprfung Medieninformatik
• Towards Process-oriented Hospital Information Systems: Some Insights into Requirements, Technical Challenges and Possible Solutions
• STUDY ABROAD @ ULM UNIVERSITY
• Formular fr die Bescheinigung der Prfungsunfhigkeit -rztliches Attest -
• Universitt Bereich Ost
• TdL-Durchfhrungshinweise vom 18. August 2006
• Hinweise zur Prfung (ASQ) Liebe Dozentinnen und Dozenten!
• Liste Deutscher Schulen im Ausland bzw. Europischer Schulen, an denen ein Schulpraktikum im Sinne eines Praxissemesters absolviert werden kann
• High-fidelity fast quantum transport with imperfect controls M. Murphy,1,* L. Jiang,2
• Prof. Dr. F. v. Henke Dr. H. Pfeifer
• Prof. F. von Henke Liebig, Gugler
• Molecular dynamics study of H2 dissociation on H-covered Pd(100) A. Lozano,1 A. Gro,2 and H. F. Busnengo1
• Damen-Problem als Anwendung von BMC N-Damen-Problem: Platzierung von n Damen auf einem Schachbrett mit n n-
• Prof. F. von Henke Liebig, Gugler
• out the Work 3rd Internatio
• Single-photon nonlinearities using arrays of cold polar molecules R. M. Rajapakse,1
• Modell DCR-PC101E Aufnahmesystem MiniDV (SD-Format)
• 30. Oktober 2009 Liebe SeniorConsultants von ASSIST,
• ViewStation128 RequiredSetup Installation des lments de base/Instalacin requerida/
• U N I V E R S I T T U L M Z u l a s s u n g s a n t r a g
• Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture 1
• Updated version with correction of minor typographic errors of a paper published in: Proc. of FORTE XIII / PSTV XX, pp. 318, Pisa, Italy, Oct. 2000.
• University of Ulm 7.2006 University Chip Card
• FarbeLichtMusik Das Kandinsky-Projekt
• Vizeprsident fr Medizin
• ADVANCED MATERIALS Curriculum Nanomaterials Materials Science I 5 CP Materials Science II 5 CP Lab Materials Science II 5 CP
• Master Online Advanced Oncology New and innovative curriculum preparing for leadership tasks in oncology
• sfb transregio 62 Companion Technology
• Proseminar Knstliche Intelligenz
• SeaFlows Toolset Compliance Verication Made Easy for
• Universitt Bereich Ost
• Universitt Ulm Mail miriam.bosch@uni-ulm.de Abteilung Zulassung Net www.uni-ulm.de
• Universitt Ulm | 2005 Vorwort Foreword . . . . . . . . . . . . . . . . . . . . . . . 5
• Von und ber Albert Einstein aus dem Bibliotheksbestand des kiz der Universitt Ulm
• Informationstechnik Stand: Dezember 2004
• Jahresbericht 2009 Kommunikations-und
• Rechenschaftsbericht des Kommunikations-und Informationszentrums (kiz)
• Abkrzungen A = Abteilung
• Netzzugangsdienste an der Universitt Ulm Die Netzzugangsdienste des kiz ermglichen Ihnen einen Zugang zum
• Epson Original LCD Prism technology Front / rear / ceiling mount
• Der DLPTM-Projektor XD200U hlt, was er verspricht: Starke 2.000 ANSI Lumen und ein mit 3 kg erstaunlich
• ViewStationTM ViewStation
• Das neue Corporate Design der Universitt Ulm Liebe Kolleginnen und Kollegen,
• Einrichtung eines Fonds zur Frderung der Publikation in Open-Access-Journalen
• Bankverbindungen: Postscheckamt Stuttgart Sparkasse Ulm Baden-Wrtt. Bank Ulm BLZ 600 100 70 BLZ 630 500 00
• career service Veranstaltungen im Wintersemester 2010 | 2011
• Stand 07/2011Un Besondere Zulassungsinformationen fr Studienbewerber aus China
• Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 2 vom 27.02.2007, Seite 29 -31 Zulassungssatzung der Universitt Ulm fr den
• Ulm University Loss of Student ID card 5.2007 Studiensekretariat (student administration office)
• Application for Admission to Exam Please register online! Use this form only if registering online is not possible.
• Antrag auf Zulassung zur Bachelorarbeit Matrikelnr.
• Stand 04/2011 Application for Admission to Master Thesis
• Ulm University Attestation form regarding student's inability to
• Studiensekretariat Universitt Ulm
• Anmeldung zur mndlichen Ergnzungsprfung Name: ______________________________
• Studiengang Physik Master (Fachspezifische PO fr Bachelor und Masterstudiengnge
• Hausadresse (Lieferanschrift): Bankverbindungen: Dienstgebude Sparkasse Ulm BLZ 630 500 00, Konto 50 50
• Fakultt fr Naturwissenschaften Prfungsausschuss Physik und
• Informationen des Studiensekretariats
• Erdteil/Land Gesamt mnnlich weiblich Afrika 98 71 27
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 91 65 26 32 5 52 2
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 60 49 11 21 1 36 2
• Schler-Universitt Ulm Prof. Dr. W. Smolny
• LLP/ERASMUS Institutional Coordinator
• ERASMUS POLICY STATEMENT (EPS) UNIVERSITT ULM 1 VON 3 ERKLRUNG ZUR ERASMUS HOCHSCHULPOLITIK (EPS)
• PROMOS -Frderstze stipendienrate
• International Office Eine Veranstaltung der International Offices der Universitt Ulm und der Hochschulen Ulm und Neu-Ulm im Rahmen des
• Studium beendet, was nun? (english/deutsch) Perspectives after finish study in Germany?
• FEEDBACK-BERICHT zum BUDDY-POGRAMM WiSe / SoSe
• Buddy Programm der Universitt Ulm Info paper fr erfahrende und deutsche Studierende
• STUDY PROGRAMS at ULM UNIVERSITY Subject Area Code
• ERASMUS / EXCHANGE INCOMINGS General Information (update: April 2011) page 1 of 2 ERASMUS EXCHANGE
• ERASMUS EXCHANGE STUDENT APPLICATION FORM (1)
• CERTIFICATE OF LANGUAGE PROFICIENCY FOR ERASMUS / EXCHANGE APPLICANTS
• My Level of Please comp
• STUDY ABROAD @ ULM UNIVERSITY
• Distributed and Parallel Databases, 16, 91116, 2004 c 2004 Kluwer Academic Publishers. Manufactured in The Netherlands.
• Ulmer Informatik Berichte | Universitt Ulm | Fakultt fr Ingenieurwissenschaften und Informatik Von ADEPT zur AristaFlow
• Computer Science -Research and Development manuscript No. (will be inserted by the editor)
• Change Patterns and Change Support Features -Enhancing Flexibility
• Configuration and Management of Process Variants
• Information Systems Frontiers, Springer manuscript No. (will be inserted by the editor)
• Advanced Migration Strategies for Adaptive Process Management Systems Stefanie Rinderle-Ma
• Von ADEPT zur AristaFlow BPM Suite Eine Vision wird Realitt
• Mining Based on Learning from Process Change Logs
• Architectural Principles and Components of Adaptive Process Management Technology
• Flexibility in Process-aware Information Systems Manfred Reichert, Stefanie Rinderle-Ma, and Peter Dadam
• Equivalence of Web Services in Process-Aware Service Compositions Stefanie Rinderle-Ma, Manfred Reichert
• June 22, 2008 11:12 WSPC/INSTRUCTION FILE ijcis International Journal of Cooperative Information Systems
• Int. J. Business Process Integration and Management, Vol. 3, No. 1, 2008 61 Using process mining to learn from process
• Compliance of Semantic Constraints A Requirements Analysis
• Ulmer Informatik Berichte | Universitt Ulm | Fakultt fr Ingenieurwissenschaften und Informatik Realizing Adaptive Process-aware Information
• Aktuelles Schlagwort: Business Process Compliance
• On the Formal Semantics of Change Patterns in Process-aware Information Systems
• An Approach for Supporting Ad-hoc Modifications in Distributed Workflow Management Systems
• Next-generation Process Management with ADEPT2
• IT support for healthcare processes premises, challenges, perspectives
• Supporting Ad-Hoc Changes in Distributed Workflow Management Systems
• On Deriving Net Change Information From Change Logs The DELTALAYER-Algorithm
• On Design Principles for Realizing Adaptive Service Flows with BPEL
• DataDriven Process Control and Exception Handling
• Improving Exception Handling by Discovering Change Dependencies in
• Adaptive Process Management with ADEPT2 Manfred Reichert
• Integrating Process Learning and Process Evolution A Semantics Based Approach
• Balancing Flexibility and Security in Adaptive Process Management Systems
• DYNAMIC CHANGE OF SERVER ASSIGNMENTS IN DISTRIBUTED WORKFLOW MANAGEMENT SYSTEMS
• ADEPT -Prozess-Management-Technologie der nchsten Generation 1,2
• Von funktionsorientierten zu prozessorientierten Informationssystemen
• Correctness criteria for dynamic changes in workflow systemsa survey q
• Softw Syst Model (2003) 2: 3758 / Digital Object Identifier (DOI) 10.1007/s10270-003-0018-x Dealing with forward and backward jumps
• On the Common Support of Workflow Type and Instance Changes under Correctness Constraints
• A Formal Framework For Workflow Type And Instance Changes Under Correctness Constraints
• Workflow and Process Synchronization with Interaction Expressions and Graphs Christian Heinlein
• Clinical Workflows -The Killer Application for Process-oriented Information Systems?
• ADEPTworkflow -Advanced Workflow Technology for the Efficient Support of Adaptive, Enterprise-wide Processes
• Efficient Distributed Workflow Management Based on Variable Server Assignments
• Variable Migration von Work ows in ADEPT Thomas Bauer, Peter Dadam
• The ADEPT WfMS Project at the University of Ulm Peter Dadam and Manfred Reichert
• Journal of Intelligent Information Systems 10, 93129 (1998) c 1998 Kluwer Academic Publishers. Manufactured in The Netherlands.
• Interaction Expressions --A Powerful Formalism for Describing Inter-Workflow Dependencies
• Invitation to a plant tour of Bosch Rexroth Mobile Hydraulics, Elchingen Dear Students, dear Senior Consultants,
• 02. Dezember 2009 Liebe SeniorConsultants von ASSIST,
• Invitation to foreign students of the English master courses of Ulm University and to
• Persnliche Tipps von Heide Rau ,,wandertouren"
• EXCURSION: enterprises in our region "Centrotherm photovoltaics AG"
• Exkursion ber die schwbische Alb nach Hechingen und Tbingen
• Invitation to foreign students of the English master courses of Ulm University and to
• Ulm, 07.07.09 Florian Wirsching, Placement Officer, Agentur fr Arbeit Ulm Application Procedure
• Exkursion ins Nrdlinger Ries und in die mittelalterliche Stadt Nrdlingen
• Invitation to foreign students of the English master courses of Ulm University and to
• ASSIST: Active Partnership and Support of SeniorConsultants for International Students
• Exkursion nach Friedrichshafen am Bodensee (Sonntag, 26. Oktober 2008)
• Website ASSIST: www.uni-ulm.de/einrichtungen/zawiw/assist.html Active Partnership and Support of
• Website ASSIST: www.uni-ulm.de/einrichtungen/zawiw/assist.html Active Partnership and Support of
• Invitation to foreign students of Ulm University , 2008 18 o'clock
• Invitation to foreign students of Ulm University JOUR FIXE: May 6th
• Website ASSIST: www.uni-ulm.de/einrichtungen/zawiw/assist.html Active Partnership and Support of
• Invitation to foreign students of Ulm University
• Website ASSIST: www.uni-ulm.de/einrichtungen/zawiw/assist.html Active Partnership and Support of
• Invitation to the foreign students of Ulm University March 4th, 2008 18 o'clock
• For students from PR China new and faster procedure for visa application is available since Prerequisite for participation in the visa application procedure is that you have your academic
• Ausschreibung von Stipendien Im Rahmen des von der Deutschen Forschungsgemeinschaft (DFG) eingerichteten
• Universitt Ulm Zielsetzung des Graduiertenkollegs ist die Untersuchung konomischer
• PHILOSOPHIE Theoretische Philosophie
• K. Lenhard Rudolph, Medical School Hannover, Germany (Ed.) Telomeres and Telomerase in Aging, Disease,
• International PhD Programme in Molecular Medicine -Study Plan Module Activity Credit Duration of
• Published in the Official Announcements of the University of Ulm No. 3 of 1 March 2007, pages 58 -67 Doctoral Regulations of the University of Ulm for the Graduate School
• International Graduate School in Molecular Medicine Ulm
• Veranstaltung Dozent SWS LP Fragestellungen in der Molekularen Medizin Scharffetter-Kochanek et al. 1V 1
• KKLAVIERABENDLAVIERABEND DER KLAVIERKLASSE VON
• KKLAVIERABENDLAVIERABEND DER KLAVIERKLASSE VON
• Zimeng Yang Jan-Michael Prill
• Anhang zu 16 Besondere Stufenregelungen fr vorhandene und neu eingestellte Beschftigte
• Tarifvertrag zur berleitung der Beschftigten der Lnder in den TV-L
• Anlage 1 TV-Lnder Teil A Anlage 1 TV-Lnder Teil A
• Vortragsprogramm Sommersemester 2011 GDCh-Kolloquien und CDCh-Jungchemikerforum (JCF) der Universitt Ulm
• Gemeinsame Initiative mit der IHK Ulm: Andreas Schrtter
• Mentorship for Molecular Medicine PhD StudentsRalph Schneider | 20.01.09 | Villa Eberhardt M4M Mentorship for Molecular Medicine PhD StudentsSeite 2
• Promotionsausschuss-Mitglieder (Dr. rer. nat.) -gltig von WS 09/10 bis inkl. SS 2011 (u.Nov.2010 u.Mai2011-SS 2011)
• Ablaufdarstellung bzw. Richtlinien zum Promotionsverfahren auf Grundlage der gltigen Promotionsordnung fr den Dr. rer. nat.
• Kolloquiumsprfung Vorname Name
• Formula Index 2011 AsP3 Triphosporous arsenic Mitzel
• Studien-und Prfungsordnung der Universitt Ulm fr die Zwischenprfung in den Studiengngen fr das Lehramt
• Erste Satzung zur nderung des Besonderen Teils der Studien-und Prfungsordnung fr die Zwischenprfung in den Studiengngen
• Zweite Satzung zur nderung des Besonderen Teils der Studien-und Prfungsordnung fr die Zwischenprfung in den
• Stundenplne Lehrexport Physik 2. Semester
• Stundenplne Informatik (Anwendungsfach Physik) Informatik B.Sc.
• Dr. Boris Mizaikoff CURRICULUM VITAE
• uni ulm intern 309/April 2011 Forschung 31
• Non classifi/Unclassified ENV/MC/CHEM(98)17 Organisation de Coopration et de Dveloppement Economiques OLIS : 22-Apr-1999
• Wegbeschreibung zur Anorganischen Chemie I Universitt Ulm, Albert-Einstein-Allee 11, 89081 Ulm
• Vorlesungsskript Grundlagen der Physik II
• 1 2009 Hepp Wenger Ryffel AG Dr. Martin Wilming 2009 Hepp Wenger Ryffel AG Dr. Martin Wilming
• Active Oxygen on Au/TiO2 Catalysts DOI: 10.1002/anie.201102062 Active oxygen on a Au/TiO2 catalyst Formation, stability and CO
• Influence of the Catalyst Loading on the Activity and the CO Selectivity of Supported Ru Catalysts
• Electrooxidation of glycerol studied by combined in-situ IR spectroscopy and online mass spectrometry under continuous flow conditions
• Vorlesungsankndigung Organische Chemie I Sommersemester 2011
• Prof. Dr. Gerhard Maas Institut fr Organische Chemie I
• A R T I C L E www.rsc.org/materials
• Efficient synthesis of 3,4-ethylenedioxythiophenes (EDOT) by Mitsunobu Dolores Caras-Quintero and Peter Buerle*
• arXiv:1007.2405v1[quant-ph]14Jul2010 Robustness and Errors in Quantum Optimal Control
• Focusing a deterministic single-ion beam This article has been downloaded from IOPscience. Please scroll down to see the full text article.
• Observing the phase space trajectory of an entangled matter wave packet U. Poschinger,1, 2,
• Isotope shift measurements in the 2s1/2 transition of Be
• November 2009 EPL, 88 (2009) 30006 www.epljournal.org
• IOP PUBLISHING JOURNAL OF PHYSICS B: ATOMIC, MOLECULAR AND OPTICAL PHYSICS J. Phys. B: At. Mol. Opt. Phys. 42 (2009) 154007 (6pp) doi:10.1088/0953-4075/42/15/154007
• Journal of Modern Optics Vol. 56, Nos. 1819, 20 October10 November 2009, 20612075
• Coherent Manipulation of a 40 Spin Qubit in a
• Nuclear Charge Radii of 7;9;10 Be and the One-Neutron Halo Nucleus 11
• Das kiz stellt sich vor! Rdiger Grobe / Michaela Hering
• Master in Molecular Medicine Faculty of Medicine
• Master-Online @dvanced Oncology Page 1 Ulm University is developing an innovative international postgraduate study program
• Programmierstarthilfe SS 2010 Fakultat fur Ingenieurwissenschaften und Informatik
• The Quantum Complexity of Group Testing Sebastian Dorn
• Kurzbericht zum Grndungstreffen des GI-Arbeitskreises Flexible service-und prozessorientierte Anwendungssysteme
• Gerchtekche Ausgabe 4 im SS 07
• Ecient Search for Two-Dimensional Rank-1 Lattices with Applications in Graphics
• Dr.-Ing. A. Denisenko, University of Ulm Prof. Dr.-Ing. E. Kohn, University of Ulm
• Sunday November 1 17:00 19:00 Registration
• PROGRAMME COMMITTEE Ferdinand Scholz, Ulm University, Germany
• Protokoll zum 2. Treffen des EMISA-Arbeitskreises ,,Flexible service-und prozessorientierte
• Deterministic Shock vs. Stochastic Value-at-Risk An Analysis of the Solvency II Standard Model Approach to Longevity Risk
• Wage adjustment, competitiveness and unemployment East Germany after unification
• DEPENDENCE MODELLING IN FINANCE N. H. BINGHAM
• Modulhandbuch Bachelor Physik
• GI-SIG MobIS Conceptual Modelling is pivotal for analysing and designing
• Quantum delocalization and correlation effects in one-dimensional chains of adsorbed hydrogen atoms
• subm. to J. Chem. Phys. Adsorption of small aromatic molecules on the (111) surfaces of noble metals: a DFT
• Theoretical Chemistry I Quantum Mechanics 16 October 2008
• Prof. F. von Henke Liebig, Balzer
• Prfungsordnung der Universitt Ulm fr Bachelor/Masterstudiengang MATHEMATIK
• Relationsbildende Strukturen Definition einer Relationen durch relationsbildenden Ausdruck.
• Logik-basierte Wissensmodellierung Semantische Netze und Frames
• Schwerpunkt Diskurs Kindheits-und Jugendforschung Heft 1-2008, S. 7-24
• Publikationsverzeichnis Monographien
• Test Oracles Using Statistical Methods Johannes Mayer, Ralph Guderlei
• Racer ist ein Beschreibungslogisches System zweiter Generation SHIQ (ALCQHIr+ ) plus konkrete Wertebereiche, GCI's, zyklische
• Switching Costs and Information Technology: The Case of IT Outsourcing
• On Measuring Process Model Similarity based on High-level Change Operations
• Ulmer Informatik Berichte | Universitt Ulm | Fakultt fr Ingenieurwissenschaften und Informatik The ADEPT Project: A Decade of Research
• ViewStation User Guide ViewStation User Guide
• PRESERVING THE CONTEXT OF INTERRUPTED BUSINESS PROCESS ACTIVITIES
• The agility of an enterprise more and more depends on its ability to dynami-cally set up new business processes or to modify existing ones, and to quickly
• Enabling Adaptive Process-aware Information Systems with ADEPT2
• ADEPT2 Ein adaptives Prozess-Management-System der nchsten Generation
• Techniken & Sprachen des Semantic Web SS10, Inst. fur KI, Uni Ulm 3 -1
• Stand: September 2007 Mathematik ist eine Schlsseldisziplin fr moderne Tech-
• Universitt Ulm Abt. Knstliche Intelligenz
• Theoretical Surface Science Wintersemester 2007/08
• Web Ontology Languages Web-Ontology (WebOnt) Working Group
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 71 51 20 13 4 52 2
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 72 56 16 30 1 39 2
• nach kurzer Zeit erstaunliche Resultate zu Wege bringen. Die Schler waren mit Eifer
• Catalytical Functions of Metallic Nanostructures and Nanostructured Materials
• Musikfest 2007 Hommage fr
• KKLAVIERABENDLAVIERABEND DER KLAVIERKLASSE VON
• Active Partnership and Support of SeniorConsultants for International
• Combinatorial parallel synthesis and automated screening of a novel class of liquid crystalline materials
• User Manual MODEL XD200U / SD200U
• Zur Erffnung des Gesuches auf Zulassung zum Promotionsverfahren fr den Dr. rer. nat. mssen folgende Unterlagen eingereicht werden
• Bankverbindungen: Sparkasse Ulm Baden-Wrtt. Bank Ulm BLZ 630 500 00
• 9. Wissensreprasentation Wissensreprasentationshypothese
• Zugang zu LISP Franz Inc. Allegro Lisp Version 7.0 ist im Linux Pool installiert.
• musischeszentrum www.uni-ulm.de/einrichtungen/muz
• Relationsbildende Strukturen Definition einer Relationen durch relationsbildenden Ausdruck.
• Modeling the Forward Surface of Mortality Daniel Bauer
• Business Process Execution Language for Web Service Jan Mendling
• Medical Management of Radiation Accidents: Management of the Acute Radiation 2001 The British Institute of Radiology
• Gnzburg, Germany Molecular Diabetology and
• ADEPTflex Supporting Dynamic Changes of Workflows
• Supporting Flexible Processes with Adaptive Workflow and Case Handling
• Simulation of a quantum phase transition of polaritons with trapped ions P. A. Ivanov,1,2,* S. S. Ivanov,2
• Tipps, um die Feiertage zu berstehen von Heide Rau
• STUDY ABROAD @ ULM UNIVERSITY
• Conjunctive Query Answering for the Description Logic SHIQ
• Handling Cyclic Conjunctive Queries Birte Glimm
• INHALTSVERZEICHNIS 1 Literaturempfehlungen
• Entwurf: 27.05.2004 Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 17 vom 26.07.2011, Seite 192 -209
• Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans
• Prof. Dr. Friedmar Schulz | 2008 Prof. Dr. Friedmar Schulz | 2008Seite 2
• A Syntax for Rules in OWL 2 Birte Glimm1
• Fachschaft Chemie und Wirtschaftschemie
• Adsorption on surfaces Example: H2/H/Pd(210)
• Query Answering Systems in the Semantic Web Birte Glimm and Ian Horrocks
• Erste Satzung zur nderung der Prfungsordnung der Universitt Ulm fr den Diplomstudiengang Mathematik
• Integrated Metamodeling and Diagnosis in OWL 2 Birte Glimm, Sebastian Rudolph, and Johanna Vlker
• HENDRIK BENSCH Vor den Computern in dem kleinen
• Erste Satzung zur nderung der Prfungsordnung der Universitt Ulm fr den Diplomstudiengang
• Status QIO: Conjunctive Query Entailment is Decidable Birte Glimm
• Prfungsordnung der Universitt Ulm fr den Diplomstudiengang PHYSIK
• Zweite Satzung zur nderung der Studien-und Prfungsordnung der Universitt Ulm fr den Diplomstudiengang Mathematik
• QUERYING DESCRIPTION LOGIC KNOWLEDGE BASES
• Wheat and Chaff Practically Feasible Interactive Ontology Revision
• The performance of hedge funds and mutual funds in emerging markets Martin Eling a
• Local Guide to Eating and Drinking in Ulm There is plenty on offer for having a nice meal in town.
• Using SPARQL with RDFS and OWL Entailment Birte Glimm
• Status QIO: An Update Birte Glimm1
• Die EvoBus GmbH ist das grte europische Tochterun-
• A Novel Approach to Ontology Classification$ Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos
• Prfungsordnung der Universitt Ulm fr den Diplomstudiengang
• Prfungsordnung der Universitt Ulm fr den Diplomstudiengang MATHEMATIK
• Ulm and its attractions Ulm is a city in the federal German state of Baden-Wrttemberg, situated
• Ansprechpartner der Fachschaft Physik/Wirtschaftsphysik Stand: April 2011
• Optimized Description Logic Reasoning via Core Birte Glimm, Ian Horrocks, and Boris Motik
• Benedikt Weggler, Denise Riedel Fachschaft Chemie und Wirtschaftschemie Uni Ulm
• Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
• Hybrid Multi-agent Planning Mohamed Elkawkagy and Susanne Biundo
• Role Conjunctions in Expressive Description Logics
• Hybrid Logics and Ontology Languages Ian Horrocks1
• Zweite Satzung zur nderung der Studien-und Prfungsordnung der Universitt Ulm fr den Diplomstudiengang Wirtschaftsmathematik
• Adsorption of supramolecular building blocks on graphite: A force field and density functional theory study
• Query Answering over SROIQ Knowledge Bases with Ilianna Kollia1
• Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos
• Role Conjunctions in Expressive Description Logics
• Universitt Bereich Ost
• Unions of Conjunctive Queries in SHOQ Birte Glimm and Ian Horrocks
• Conjunctive Query Answering for the Description Logic Birte Glimm birte.glimm@comlab.ox.ac.uk
• On the Decidability of HTN Planning with Task Insertion Thomas Geier and Pascal Bercher
• Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik
• Conjunctive Query Entailment for SHOQ Birte Glimm , Ian Horrocks, and Ulrike Sattler
• HTN-Style Planning in Relational POMDPs Using First-Order FSCs
• SPARQL Query Answering over OWL Ontologies Ilianna Kollia, Birte Glimm, and Ian Horrocks
• uni ulm intern 275/Oktober 2005 uni ulm aktuell 13
• A Syntax for Rules in OWL 2 Birte Glimm1
• Reasoning-Supported Interactive Revision of Knowledge Bases
• WOWL: Tailoring OWL for the Web of Data Birte Glimm1
• Journal of Artificial Intelligence Research 39 (2010) 429-481 Submitted 02/10; published 10/10 Nominals, Inverses, Counting, and Conjunctive Queries
• Summer School in Stochastic Finance 2010 September 20 -24, 2010, Ulm University
• Measuring the effects of geographical distance on stock market correlation
• Conjunctive Query Answering for Description Logics with Transitive Roles
• Universitt Ulm | 89069 Ulm | Germany Prof. Dr. Joachim Ankerhold
• WennStudenteninUlm zuBrsenhndlernwerden
• Universitt Ulm | 89069 Ulm | Germany Fakultt fr Ingenieurwissenschaften
• Status QIO: An Update Birte Glimm1
• Universitat Ulm Fakultat fur Mathematik und
• Prfungsordnung der Universitt Ulm fr den Diplomstudiengang
• 16. / 17. September 2011 Klinik fr Innere Medizin II
• Reasoning-Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina1
• Travel Information for QuEBS 2011 Arriving by plane
• Answering Queries over OWL Ontologies with SPARQL Ilianna Kollia1
• Mitglieder der Kommission: Prof. Dr. U. B. Brckner (Vorsitzender), Prof. Dr. W. Gaus, Prof. Dr. Dr. A. Grnert, Pfarrer H. Herberg, Prof.
• Muster eines bereignungsvertrags --Eltern [[ Briefpapier der Fakultt mit Kopf der Klinik/Abteilung ]]
• Bundesgesetzblatt Jahrgang 2004 Teil I Nr. 42, ausgegeben zu Bonn am 12. August 2004 2081 Auf Grund des 12 Abs. 1b Nr. 2 und des 42 Abs. 3
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Betreff: [kiz] Web of Science an der Universitt Ulm verfgbar Von: kiz
• Noname manuscript No. (will be inserted by the editor)
• Semantic Web Grundlagen Losung zur Ubung 7: Ontology Editing & Engineering und Linked Data
• Praktika und Bachelorarbeiten am Institut fr Knstliche Intelligenz
• FACH-Fachschaft Chemie und Wirtschaftschemie
• Praktika und Bachelorarbeiten am Institut fr Knstliche Intelligenz
• Liste Deutscher Schulen im Ausland bzw. Europischer Schulen, an denen ein Schulpraktikum im Sinne eines Praxissemesters absolviert werden kann
• Entwurf: 27.05.2004 Verffentlicht in den Amtlichen Bekanntmachungen der Universitt Ulm Nr. 17 vom 26.07.2011, Seite 192 -209
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale
• uni ulm intern 313/Dezember 2011 46 Das war 2011
• Entwurf einer Schlussfolgerungskomponente zur effizienten Behandlung von Zustandsabstraktionen in
• Concurrent Classification of EL Ontologies Yevgeny Kazakov, Markus Krtzsch, and Frantisek Simanck
• Universitt Ulm Fakultt fr Informatik
• A better wAy to AssociAte Authors with their published works
• Buddy Programm der Universitt Ulm Info paper fr erfahrende und deutsche Studierende
• On the mechanism of the reverse water gas shift reaction: Dynamic TAP reactor studies of the oxidizing capability of CO2 on a Au/CeO2 catalyst
• New insights into the mechanism and kinetics of adsorbed CO electrooxidation on platinum: Online mass spectrometry and Kinetic
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Promotionssekretariat fr den Dr. rer. nat. Universitt Ulm, 89069 Ulm
• A Heuristic for Hybrid Planning with Preferences Pascal Bercher and Susanne Biundo
• Muster eines bereignungsvertrags --Eltern [[ Briefpapier der Fakultt mit Kopf der Klinik/Abteilung ]]
• quantenmechanischer Messungen entropischer Unscharferelationen
• Additive Schlsselqualifikationen (ASQ) im SoSe 2012 (vorlufig) Basiskompetenzen
• General Index Phenylcubane derivatives Domenicano
• Semantic Web Grundlagen Ubung 2 zur Lehrveranstaltung: Logik, RDF-Semantik, Datalog
• Semantic Web Grundlagen Birte Glimm
• To be completed by Ulm University! BewerberNr. ______________
• Semantic Web Grundlagen Birte Glimm
• Arrival Day Intensive G
• Universitat Ulm | 89069 Ulm | Germany Fakultat fur
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Antrag auf Zulassung zur Bachelorarbeit Matrikelnr.
• FEEDBACKBERICHT zum BUDDYPOGRAMM WiSe / SoSe
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Birte Glimm
• Berechnung der Gesamtnote der Ersten Staatsprfung (GymPO I)
• Semantic Web Grundlagen Losung zur Ubung 4: Tableau und Hypertableau
• Seminartermine Experimentelle Medizin 20.03.2012 bis 22.01.2013 Zeit: 16:00 Uhr
• Semantic Web Grundlagen Ubung 4 zur Lehrveranstaltung: Tableau und Hypertableau
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Application Form International M.Sc. Program
• Carola Hoelting, Kundeninformation des kiz (Umfrage Studierende) 19.02 2011 EvaSys Auswertung Seite 1
• Semantic Web Grundlagen Birte Glimm
• WAS IST DAS WEB OF SCIENCE? Indem Sie ber 12.000 Konferenzberichte und 148.000 Tagungsprotokolle, die jeden Bereich der Natur-,
• Status QIO: An Update Birte Glimm1
• High surface area crystalline titanium dioxide: potential and limits in electrochemical energy storage and catalysis
• A Novel Approach to Ontology Classification$ Birte Glimma
• Semantic Web Grundlagen Birte Glimm
• Mitglieder der Kommission: Prof. Dr. U. B. Brckner (Vorsitzender), Prof. Dr. W. Gaus, Prof. Dr. Dr. A. Grnert, Pfarrer H. Herberg, Prof.
• 18 berblick Die Grundlagen langer Atem der Forschung
• Mechanistic aspects of the electro-oxidation of ethylene glycol on a Pt-film electrode: A combined in situ IR spectroscopy and online mass spectrometry
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Semantic Web Grundlagen Birte Glimm
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Losung zur Ubung 3: OWL
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Freitag, 3. Februar 2012 Medizinische Klinik
• Semantic Web Grundlagen Ubung 6 zu den Lehrveranstaltung zum Thema SPARQL Entailment
• Methoden des quantenmechanischen
• DOI: 10.1002/cphc.201100720 Bayesian-Inference-Based Fluorescence Correlation
• ANMELDEFORMULAR/ REGISTRATION FORM BUDDY PROGRAMM/BUDDY PROGRAMME
• Semantic Web Grundlagen Ubung 7 zu den Lehrveranstaltung zum Thema Ontology Editing &
• Semantic Web Grundlagen Ubung 8 zur Vorlesung Semantic Web Grundlagen Ubungsklausur
• Verffentlicht in kutiven, eng
• Ex situ testing method to characterize cathode catalyst degradation during start-up/shut-down -
• Institut fur Quantenphysik Universitat Ulm
• Formula Index AlCl3 Aluminum trichloride monomer and dimer Hargittai
• Universitt Ulm | 89069 Ulm | Germany Fakultt fr
• Interactive Ontology Revision$ Nadeschda Nikitinaa,
• ADVANCED MATERIALS Module Guide, Study Regulation and Curricula
• Semantic Web Grundlagen Ubung 5 zu den Lehrveranstaltung zum Thema SPARQL
• Semantic Web Grundlagen Ubung 1 zur Lehrveranstaltung: RDF und RDF Schema
• Semantic Web Grundlagen Birte Glimm
• Stand 08/2011 Antrag auf Zulassung zur Masterarbeit
• Date of update: November 2007 International students during an excursion
• Summer Academy 2012 Advanced Stochastic Methods to Model Risk
• Semantic Web Grundlagen Birte Glimm
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Universitt Ulm -KIZ Zeitschriftenliste 2012 Stand Mrz 2012 Titel Verlag
• Stellenausschreibung Studentische/r Mitarbeiter/in Informatik, Medienproduktion
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Semantic Web Grundlagen Birte Glimm
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Semantic Web Grundlagen Losung zur Ubung 5: SPARQL
• Masterarbeit am Institut fur Kunstliche Intelligenz
• Consequence-Based Reasoning beyond Horn Ontologies Frantisek Simanck and Yevgeny Kazakov and Ian Horrocks
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Birte Glimm
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Ulm University Schools of Sciences and Engineering Sciences
• Semantic Web Grundlagen Birte Glimm
• Unchain My EL Reasoner Yevgeny Kazakov, Markus Krtzsch, and Frantisek Simanck
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Semantic Web Grundlagen Losung zur Ubung 2: Logik, RDF-Semantik, Datalog
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• The following positions are available immediately at the Faculty of Engineering and Computer Science of the University of Ulm within the Institute of Artificial Intelligence
• Ihren (Fhrungs-) Erfolg ist Ihre Fhigkeit, auch in Stresssituationen eine tragfhige Beziehung zu ihren
• Ansprechpartner der Fachschaft Physik/Wirtschaftsphysik Stand: November 2011
• Pressemitteilung -22. 02.2012 Workshopwochende Debatte jetzt aber richtig!
• Universitt Bereich Ost
• High-dynamic-range magnetometry with a single nuclear spin in diamond
• AMI CAPITAL GmbH www.amicapital.deBruno Mller University Ulm Januar 30th. 2012
• Medizinische Fakultt Propdeutikum online
• Semantic Web Grundlagen Losung zur Ubung 1: RDF und RDF Schema
• Semantic Web Grundlagen Ubung 3 zur Lehrveranstaltung: OWL
• Semantic Web Grundlagen Birte Glimm
• Gesamt WiSe 2010/11 SoSe 2011 Gesamt WiSe 2010/11 SoSe 2011 Biochemie 36 2 34 7 3 4
• Concurrent Classification of EL Ontologies Technical Report
• Erdteil/Land Gesamt mnnlich weiblich Erstimm. Neuimm. Rckgem. Beurlaubt Afrika 88 58 30 17 2 67 2
• Semantic Web Grundlagen Birte Glimm
• Bundesgesetzblatt Jahrgang 2004 Teil I Nr. 42, ausgegeben zu Bonn am 12. August 2004 2081 Auf Grund des 12 Abs. 1b Nr. 2 und des 42 Abs. 3
• Universitt Bereich Ost
• Stand 01/2012 Application for Admission to Master Thesis
• Consequence-Based Reasoning beyond Horn Ontologies Frantisek Simanck and Yevgeny Kazakov and Ian Horrocks
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Birte Glimm
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Universitt Ulm * 89069 Ulm * Germany Leiter der Institute und Sektionen der Fakultten fr
• Anmeldung zur Diplomarbeit von Frau/Herrn: ................................................... Matrikelnummer: ..............................
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Birte Glimm
• Semantic Web Grundlagen Losung zur Ubung 8: Ubungsklausur
• Abschluss im Fach Gesamt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 >24 Advanced Materials
• Semantic Web Grundlagen Birte Glimm