Newsarchiv: Computer Engineering
Jahr 2012
Mit Informatik der Abstammung und Entstehung von Texten auf der Spur
16.10.2012: [Pressemitteilung der Universität vom 16.10.2012] Eine der zentralen Aufgaben der Editionsphilologie besteht im Auffinden von Differenzen bei Textvarianten - sowohl im Hinblick auf die Abstammung von Varianten eines Textes als auch auf die Entstehung von Texten, die starke Überarbeitungsprozesse erfahren haben. Bei einem Teil dieser Untersuchungen können die Philologen durch informationstechnologische Methoden effektiv unterstützt werden. Ein entsprechendes Forschungsprojekt der Martin-Luther-Universität Halle-Wittenberg (MLU) hat jetzt im Rahmen des Programms „eHumanities“ des Bundesministeriums für Bildung und Forschung (BMBF) eine Förderbewilligung über drei Jahre erhalten.
BMBF-Projekt "Semi-automatische Differenzanalyse von komplexen Textvarianten" startet am 1. September 2012
29.08.2012: Das durch das Institut für Informatik (Prof. Dr. Paul Molitor, Dr. Jörg Ritter), das Institut für Germanistik (Prof. Dr. Solms) und das Institut für Romanistik (Prof. Dr. Bremer) beantragte Projekt wird im Zeitraum von Sep 2012 bis Aug 2015 mit einem Gesamtvolumen von circa 530.000 € (zzgl. Projektpauschale) durch das BMBF gefördert.
Beitrag zu Token-based Single Sign-On zur Veröffentlichung in dem Intl'l Journal of Information and Computer Security akzeptiert
02.07.2012: S. Wefel and P. Molitor. Raising User Acceptance of Token based Authentication by Single Sign-On. Appeared in: International Journal of Information and Computer Science (IJICS), 1(3):070-077, July 2012.
Vortrag auf der "6. International Conference on Historical Lexicography and Lexicology" (ICHLL), 25.07.-28.07.2012, Jena, German.
01.07.2012: B. Bulitta und J. Ritter. Das Althochdeutsches Wörterbuch auf dem Weg zur Online-Version. Vortrag auf der "6. International Conference on Historical Lexicography and Lexicology" (ICHLL), 25.07.-28.07.2012, Jena, German.
Arbeitsgruppe um Prof. Dr. Molitor und Dr. Ritter zweimal erfolgreich bei
der BMBF-Ausschreibung "eHumanities" - Förderung mit einem
Gesamtvolumen von 863.000 € über 3 Jahre für die Martin-Luther-
Universität in Aussicht gestellt.
30.01.2012: Mit den Vorhabenbeschreibungen "Semiautomatische Differenzanalyse von komplexen Textvarianten" (Antragsteller: Prof. Dr. Paul Molitor, Dr. Jörg Ritter, beide Institut für Informatik, Prof. Dr. Thomas Bremer, Institut für Romanistik, Prof. Dr. Hans-Joachim Solms, Institut für Germanistik) und "Vernetzte Korrespondenzen" (Antragsteller: Trier Center for Digital Humanities, Deutsches Literaturarchiv Marbach, Institut für Informatik in Person von Prof. Dr. Paul Molitor und Dr. Jörg Ritter) wurden zwei Projektskizzen des Instituts für Informatik durch das BMBF als förderwürdig eingestuft und zum Vollantrag aufgefordert. Die beiden Projekte aus dem Bereich "Informatik in den Geisteswissenschaften" haben einen Gesamtvolumen von circa 1.435.000 Euro, davon circa 863.000 Euro für die Martin-Luther-Universität, davon circa 655.000 Euro für das Institut für Informatik. Von insgesamt 96 eingereichten Projektskizzen wurden 24 Anträge durch das BMBF als förderwürdig eingestuft.
Jahr 2011
2011 International Conference "Philology in the Digital Age" of the Text Encoding Initiative (TEI 2011), 10.10-16.10.2011, Würzburg
13.07.2011: Mit einem Vortrag von M. Andert, J. Ritter und P. Molitor zu dem Thema "A web-based application for rapid annotation of TEI documents"
Fachtagung "Brief-Edition im digitalen Zeitalter", 5.10-7.10.2011, Weimar.
15.06.2011: Auf der von der Klassik Stiftung Weimar, dem Goethe- und Schiller-Archiv und der Kommission für die Edition von Texten seit dem 18. Jahrhundert in der Arbeitsgemeinschaft für Germanistische Edtion veranstalteten Fachtagung halten W. Lukas, W. Rasch, J. Ritter einen Vortrag zu dem Thema Gutzkows Korrespondenz. Probleme und Profile eines Editionsprojektes.
Workshop der Rail Automation Graduate School (RAGS) am 23.06.2011
01.06.2011: Der Workshop der von Siemens ins Leben gerufenen Rail Automation Graduate School findet erstmalig am Institut für Informatik statt, mit den Vorträgen:
- T. Mangels: Symbolic Test Case Generation - Handling of Inner Funstion Calls.
- D. Klar: Modellbasierte Diagnose von Bahnsicherungssystemen.
- J. Feuser: GOPPRR und GOPPRRCL - Neue Formalismen zur Beschreibung von grafischen Metamodellen für sicherheitskritische Systeme.
- H. Günther: Verifikation von GALS-Systemen.
- A. Gießler: Roadmap und erste Überdeckungsmaße.
COMPUTERWOCHE
20.05.2011: Prof. Dr. Paul Molitor im Interview zu dem Berufsbild des Technischen Informatikers
Neue Bachelorarbeiten am Lehrstuhl für Technische Informatik
16.02.2011: Studierende finden die Ausschreibungen unter dem unten angebenen Link. Bei Interesse bitte bei dem vorgesehenen Betreuer vorsprechen.
Jahr 2010
14. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
31.12.2010: 21.02-23.02.2011, OFFIS - Institut für Informatik, Oldenburg. Vorstellung der Arbeit André Gießler, Jörg Ritter, Paul Molitor. BDD based analysis of test cases for PLC based railway interlocking systems.
Prüfungstermine zum Modul Einführung in die Technische Informatik
20.09.2010: Datum: 30.09.2010
Prüfer: Prof. Dr. Paul Molitor