künstliche Intelligenz einsetzen Lehre Wintersemester 2019/2020: "Embedded Systems Engineering", "Informatikwerkstatt" Sommersemester 2019: "Model Checking" Blockkurs Veröffentlichungen Rüdiger Ehlers and Keerthi

09:30 Uhr, Institut für Informatik, Julius-Albert-Straße 4, 38678 Clausthal-Zellerfeld, Besprechungsraum 1.06 Betreuer der Arbeit: Prof. Dr. Jörg Müller (Institut für Informatik), Prof. Dr. Rüdiger Ehlers […] 13:00 Uhr, Institut für Informatik, Julius-Albert-Str. 4, Seminarraum 1.06, 38678 Clausthal-Zellerfeld Betreuer der Arbeit: Prof. Dr. Thorsten Grosch (Institut für Informatik), Prof. Dr. Rüdiger Ehlers […] 15:00 Uhr, Institut für Informatik, Julius-Albert-Str. 4, Seminarraum 1.06, 38678 Clausthal-Zellerfeld Betreuer der Arbeit: Prof. Dr. Jörg P. Müller (Institut für Informatik), apl. Prof. Dr. Christoph

Grundlagen der Informatik, des Software and Systems Engineering, sowie diverse Vertiefungen zum Beispiel im Bereich künstliche Intelligenz bietet. Lehrveranstaltungen im Wintersemester Informatik 1: Unterr […] Unterrichtssprache: Deutsch In der Grundlagenvorlesung Informatik 1 erhaltet ihr einen Überblick sowie eine erste Einführung in das große Themenfeld der Informatik. Wir vermitteln euch die Grundlagen der Algorithmik […] vermitteln wir euch die Grundlagen der booleschen Algebra und weitere Grundbegriffe aus dem Bereich der Informatik. Ihr werdet hier von uns optimal für euer weiteres Studium vorbereitet. Ein erster Eindruck ist

für Schicht- und Oberflächentechnik, Leibniz Universität Hannover (match) , OFFIS Institut für Informatik (FuE) , Ostfalia Hochschule für angewandte Wissenschaften (IKAM & IVS), Technische Universität

Software and Systems Engineering Universität Osnabrück Fachgebiet Informationsmanagement und Wirtschaftsinformatik (IMWI) Hochschule Osnabrück Laborbereich Elektrische Energietechnik TU Braunschweig Institut

um diese Probleme zu lösen. Dazu führen wir Forschungsarbeit in den folgenden Unterthemen der Informatik durch: Verifikation und Qualitätssicherung gelernter künstlicher neuronaler Netze Reaktive Synthese […] Runtime Verification In unserer Arbeit importieren wir viele Konzepte aus verwandten Gebieten der Informatik, wie z.B. des maschinellen Lernens, des Satisfiability Solving , der Automatentheorie , allgemeiner

erreichen Sie uns! Energieinformatik (EI) Herzlich willkommen in unserer Abteilung! Im Fokus der Abteilung Energieinformatik steht die Anwendung von Methoden und Verfahren aus der Informatik in elektrischen […] weitaus mehr Informationen als den monatlich zu zahlenden Rechnungsbetrag. Die Abteilung für Energieinformatik entwickelt daher Verfahren, um diese Informationen aus Rohdaten zu extrahieren und für Mehr

rin im Department of Geo-Engineering. Im Jahr 2022 erwarb Shohreh Kia ihren Masterabschluss in Informatik von der Technischen Universität Clausthal und war seit 2023 als wissenschaftliche Mitarbeiterin

ist am 26. August 1968 in Hannover geboren und studierte von 1989 bis 1994 an der TU Clausthal Informatik. Nach seinem Studium war er als Wissenschaftlicher Mitarbeiter am Lehrstuhl für Datenbanken und […] Universität Konstanz beschäftigt. Seine Promotion legte er 1999 mit seiner von der Gesellschaft für Informatik ausgezeichneten Dissertation „Comprehending Queries“ ab. Nach einem halbjährigen Aufenthalt als […] in Projektgruppen direkt in seine aktuelle Forschungsarbeit ein. Er sieht sich als praktischer Informatiker und arbeitet in einer Gruppe von zehn Forschern aus Amsterdam und Konstanz an einem Projekt, das

Grundlagen der Informatik interessiert war, wurde die Denomination seiner Professur 1997 dahingehend geändert. Professor Lex hat sich sehr große Verdienste beim Aufbau des Instituts für Informatik seit 1982 […] geschätzt. Zusammen mit den Kollegen Kupka, Ecker und Joubert war er massgeblich für den Erfolg der Informatik und den Ausbau des Instituts in den ersten 20 Jahren verantwortlich. Sein Habilitationsvortrag […] ruhig im Schlaf, kurz vor Vollendung seines 86ten Jahres. Im Namen aller Kollegen des Instituts für Informatik und des Institute for Software and Systems Engineering. Unser tiefes Mitgefühl gilt seiner Familie