50 Jahre Uni Lübeck

Institut für Theoretische Informatik

Ankündigungen 2014


  • Vortrag von Prof. Wolfgang Bein, University of Nevada, Las Vegas, Center for Information Technology and Algorithms, Department of Computer Science: Competitive Power-down Mechanisms for Green Computing

    11.11.2014, 16 Uhr c.t., Seminarraum ITCS 2021, Gebäude 64, 2. OG

    Power-down mechanisms are well known and are widely used to save energy; such mechanisms are encountered on an everyday basis. Power management and energy-efficient computing are ever more important, given the growth in the number of information technology devices. In fact, it is surprising that only a few algorithmic techniques exist. And many approaches are simplistic or ad-hoc, and do not work well in practice nor do they have good theoretical underpinning. We study power down management in the framework of online competitive analysis. Recent results were obtained in collaboration with researchers at the University of Electro-Communications, Tokyo. For two-state on-off systems a novel decrease and reset algorithms is analyzed. The method automatically attunes itself to the frequency of requests, and gives better performance for real world inputs than standard algorithms. Work is under way to generalize results to systems with multiple states. The work presented in this talk was funded by the by the Panasonic Corporation of Japan and the National Science Foundation (IIA 1427584).

    Biographical Sketch: Professor Bein holds a Ph.D. (Dr. rer. nat.) from the University of Osnabrueck, Germany. He has been on the faculty of Duke University, the University of New Mexico, the University of Texas at Dallas, and was on the technical staff of American Airlines, before joining the faculty at UNLV. At UNLV he is a Professor of Computer Science and co-Director of the Center for Information Technology and Algorithms.

    • Ackermann Award 2014 für Dr. Michael Elberfeld

      Im Juli 2014

      Weltweit beste Dissertation im Bereich der Logik in der Informatik - Auszeichnung für die am Institut für Theoretische Informatik der Universität zu Lübeck angefertigte Arbeit.

      Dr. Michael Elberfeld, der seine Doktorarbeit im Institut für Theoretische Informatik der Universität zu Lübeck angefertigt hat, wurde mit dem Ackermann Award 2014 ausgezeichnet. Dieser renommierte Preis der European Association for Computer Science Logic (EACSL) wird seit 2005 jährlich für die weltweit beste Dissertation im Bereich der Logik in der Informatik vergeben.

      Die Arbeit von Dr. Elberfeld trägt den Titel "Space and Circuit Complexity of Monadic Second-Order Definable Problems on Tree-Decomposable Structures" und wurde von Prof. Dr. Till Tantau betreut. Die Dissertation untersucht die Platz- und Schaltkreiskomplexität von Problemen, die sich durch Formeln in monadischer Logik zweiter Stufe beschreiben lassen. Die Resultate der Arbeit werden angewendet, um verschiedene Probleme im Sinne der Komplexitätstheorie zu klassifizieren.

      Michael Elberfeld, 1981 in Friesoythe geboren, studierte 2002 bis 2007 Informatik mit dem Nebenfach Medieninformatik an der Universität zu Lübeck. Er ist heute in der Fachgruppe Informatik der Rheinisch-Westfälischen Technischen Hochschule (RWTH) Aachen tätig. Der Ackerman Award wurde ihm auf der Konferenz „Computer Science Logic“ verliehen, die vom 14. - 18. Juli im Rahmen des „Vienna Summer of Logic“ in Wien stattfand.

      • IBM Best Student Paper für Benito van der Zander

        Im Juli 2014

        Er erhielt den Award anlässlich der UAI Conference (Uncertainty in Artificial Intelligence) im Juli 2014 in Quebec, Kanada. Titel seines Vortrages: "Constructing Separators and Adjustment Sets in Ancestral Graphs", Benito van der Zander, Maciej Liskiewicz, Johannes Textor

        • Herzlichen Glückwunsch Matthias Ernst zum besten Studienabschluss im Master Informatik

          Im Juli 2014

          Matthias Ernst teilt sich die Ausszeichnung mit zwei weiteren Absolventen. Der Titel seiner Masterarbeit lautet: "Algorithmisches Lernen von Verteilungen". Weitere Informationen sind hier nachzulesen

        • 1st Place for Benito van der Zander in the Balisage 2014 Student Award Competition

          19.05.2014

          His paper is titled: Extending XQuery with pattern matching, and its usage for data mining. Balisage: The Markup Conference is an annual conference devoted to the theory and practice of descriptive markup and related technologies for structuring and managing information. This year the conference takes place in August 5 — 8, 2014, Washington, DC, USA. Our congratulations to Benito.List of Studentwinners