News Archiv
Im Jahr 2008 entwickelte der Software-Konzern Google das Mobiltelefon-Betriebssystem „Android“ zusammen mit 33 weiteren Mitgliedern der „Open Handset Alliance“und gab es für Handy-Hersteller frei. Bis heute dauert der Siegeszug von Android an. Laut Google-Gründer Larry Page sind seit März dieses Jahres weltweit 750 Millionen Android-Geräte in Betrieb. Der größte Teil davon ist vermutlich immer noch durch die beiden Sicherheitslücken verwundbar, die in den vergangenen Tagen bekannt [...]
Der Journalistenpreis Informatik will in der breiten Öffentlichkeit das Interesse an Informatik-Themen wecken. Es werden daher Beiträge honoriert, die Forschungsergebnisse der Informatik und ihre Anwendungen allgemein verständlich darstellen und vermitteln. Preiswürdig sind aber auch Einsendungen, die verdeutlichen, wie sehr die Informatik unser alltägliches Leben prägt und beeinflusst. Außerdem sind Beiträge willkommen, die Anstöße geben für eine gesellschaftskritische Diskussion über Möglichkeiten und Grenzen der Informatik.
MPI-SWS faculty member Cristian Danescu-Niculescu-Mizil was quoted in a recent ABC News article about social bias effects [...]
Finding and following people is a key technology for many applications such as robotics and automotive safety, human-computer interaction scenarios, or for indexing images and videos from the web or surveillance cameras. At the same time it is one of the most challenging problems in computer vision and remains a scientific challenge for realistic scenes.
Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the necessary steps are known. For automatized processes, however, choosing which steps to execute is similar to looking for a needle in an infinitely large haystack. The research group „Automation of Logic“ is one of the world leaders in developing efficient automated theorem provers.
218219220221222 ...
234»