News Archiv
A research project proposed by MPI-SWS faculty member Derek Dreyer has been selected for a 2013 Microsoft Research PhD Scholarship. The project is entitled „Compositional Verification of Scalable Joins by Protocol-Based Refinement“. Each year Microsoft selects approximately twenty projects to fund, based on proposals from research institutions across Europe, Africa, and the Middle East. The Scholarship funds a PhD student for three years.
Ein neues Tastaturlayout für Geräte mit berührungsempfindlichen Bildschirmen hat ein Team um Antti Oulasvirta vom Max-Planck-Institut für Informatik in Saarbrücken entworfen. Die neue Anordnung der Tasten beschleunigt die Zwei-Daumen-Eingabe deutlich. Mithilfe von Computeroptimierung und eines Modells von Daumenbewegungen untersuchten die Forscher Millionen von möglichen Layouts, um das mit den besten Eigenschaften zu finden. Eine Untersuchung bestätigte, dass nach kurzer Gewöhnungsphase [...]
Die neue Profi-Version wird über die Plattformen „Google Play“ und bald auch über „Samsung Apps“ [...]
In Hollywood wird viel Aufwand betrieben, um Monster durch echt erscheinende Umgebungen zu jagen. Forscher am Max-Planck-Institut für Informatik in Saarbrücken haben jetzt ein Verfahren entwickelt, das solche Szenen wesentlich vereinfacht. Dabei werden die Bewegungen von Schauspielern in einer echten Spielszene mit wenigen Kameras erfasst und äußerst realistisch auf virtuelle Charaktere übertragen. Dies wird nicht nur Trickfilmspezialisten die Arbeit erleichtern, sondern auch Ärzten und Sportlern [...]
Bundeswirtschaftsminister Philipp Rösler überreichte am 05.03.2013 den mit 30.000 Euro dotierten Hauptpreis im Gründerwettbewerb „IKT Innovativ“ an drei junge Forscher des Max-Planck-Instituts für Informatik. Auf der Computermesse Cebit in Hannover wurden sie für ein Verfahren ausgezeichnet, das die Erstellung von visuellen Effekten und 3D-Animationen, die man etwa in Kinofilmen verwendet, deutlich vereinfacht. Mit wenigen Kameras erfassen sie die Bewegungen von Schauspielern in [...]
Unter „Big Data“ versteht man riesige Mengen an digitalen Informationen, die so groß und so komplex sind, dass sie sich nicht mehr mit einfacher Datenbanktechnologie verarbeiten lassen. Nicht nur wissenschaftliche Einrichtungen wie das Kernforschungszentrum CERN häufen solche Datenberge an. Auch Unternehmen wie Google und Facebook tun dies und werten diese aus, um strategische Entscheidungen besser treffen zu können. Wie erfolgreich solche Analysen sein können, bewies vergangenes Jahr ein [...]
Täglich wird das Smartphone-Betriebssystem Android aus dem Hause des Softwarekonzerns Google auf mehr als 1,3 Millionen mobilen Endgeräten neu installiert. Unzählige Mini-Programme folgen aus dem Google Play Store. Diese funktionieren jedoch nicht immer zu 100 Prozent. „Es ist traurig, dass der Google Play Store aufgrund der fehlenden Qualitätskontrolle für Apps die Option einräumen muss, eine App 15 Minuten nach ihrer Installation wieder zurückzunehmen, wenn Funktionsfehler auffallen“, [...]
In Hollywood wird viel Aufwand betrieben, um Monster durch echt erscheinende Umgebungen zu jagen. Forscher am Max-Planck-Institut für Informatik in Saarbrücken haben jetzt ein Verfahren entwickelt, das solche Szenen wesentlich vereinfacht. Dabei werden die Bewegungen von Schauspielern in einer echten Spielszene mit wenigen Kameras erfasst und äußerst realistisch auf virtuelle Charaktere übertragen. Dies wird nicht nur Trickfilmspezialisten die Arbeit erleichtern, sondern auch Ärzten und Sportlern [...]
Es könnte eine Grotte sein. Von unten dringt Licht nach oben und verleiht den sich sanft bewegenden Wellen den Glanz eines Opals im Sonnenlicht. „Diese Computergraphik hat ein Schüler mit unserer Sprache in nur zwei Stunden selbst programmiert“, erklärt Felix Klein, Doktorand am Lehrstuhl für Computergraphik der Universität des Saarlandes. Als Klein mit der Maus drei Schiebeschalter bewegt, die unter der Wellen-Grafik auf dem Bildschirm angezeigt werden, verwandelt sich das Wasser. Nun nehmen [...]
MPI-SWS faculty member Björn Brandenburg has won the 2012 EDAA Outstanding Dissertations Award in the category „New directions in embedded system design and embedded software“, to be presented at the DATE 2013 conference in March. This marks the third award Brandenburg has received for his dissertation.
Lorenzo Alvisi, a professor at the University of Texas at Austin, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Peter Druschel and other MPI-SWS researchers on fault-tolerant computing for multi-core servers.
Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America’s most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.
Lorenzo Alvisi, a professor at the University of Texas at Austin, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Peter Druschel and other MPI-SWS researchers on fault-tolerant computing for multi-core servers.
Der deutsche Mustererkennungspreis wird alljährlich von der Deutschen Arbeitsgemeinschaft für Mustererkennung (DAGM) an herausragende Nachwuchswissenschaftler aus den Bereichen Maschinelles Lernen und Maschinelle Bilderkennung verliehen. In diesem Jahr wird der Preis an Prof. Christian Theobalt vom Max-Planck-Institut für Informatik in Saarbrücken und Prof. Andreas Krause von der ETH Zürich verliehen. Christian Theobalt erhält den Preis für seine hervorragenden und bahnbrechenden wissen-schaftlichen [...]
Ruzica Piskac, an MPI-SWS faculty member, has been awarded the 2012 Patrick Denantes Prize for her dissertation titled „Decision Procedures for Program Synthesis and Verification.“ The prize is awarded annually to the most outstanding master’s, doctoral or post-doctoral research project within the school of computer and communication sciences at EPFL.
787980818283»