News Archiv
Wenn Sherlock Holmes einen Tatort analysiert und nur aufgrund der Fakten den wahren Täter ermittelt, meistert er die Kunst der Deduktion, der richtigen Schlussfolgerung. Seit den Anfängen der Informatik bringen Computerwissenschaftler dies auch Rechenmaschinen bei, damit diese Menschen beim Denken unterstützen und sogar mathematisch formulierbare Sätze beweisen können. Daher durchdringen Forscher die mathematische Logik und entwerfen formale Systeme, die nach deduktiven Prinzipien aufgebaut [...]
Zwischen zwei Vorlesungen schnell in die Sportkleidung schlüpfen und vor der Tür ein Fitnessprogramm absolvieren: Diese Möglichkeit haben jetzt Studenten, Wissenschaftler und Mitarbeiter auf dem Saarbrücker Uni-Campus. Für sie und alle sportbegeisterten Bürger hat das Hochschulsport-Team mit dem Projekt „Campus in Bewegung“ einen Fitness-Parcours mit fast drei Kilometern Länge und neun Trainingsstationen unter freiem Himmel eingerichtet. Unterstützt wurden sie dabei von den Forschungsinstituten [...]
Zwischen zwei Vorlesungen schnell in die Sportkleidung schlüpfen und vor der Tür ein Fitnessprogramm absolvieren: Diese Möglichkeit haben jetzt Studenten, Wissenschaftler und Mitarbeiter auf dem Saarbrücker Uni-Campus. Für sie und alle sportbegeisterten Bürger hat das Hochschulsport-Team mit dem Projekt „Campus in Bewegung“ einen Fitness-Parcours mit fast drei Kilometern Länge und neun Trainingsstationen unter freiem Himmel eingerichtet. Unterstützt wurden sie dabei von den Forschungsinstituten [...]
The paper „Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation “ by MPI-SWS researchers, in collaboration with researchers at KAIST and MPI-IS, has been accepted to WSDM 2018, one of the flagship conferences in data mining.
Steffen Rochel von Amazon AI stellt Gluon vor, eine flexible neue Schnittstelle, die die Geschwindigkeit von MXNet mit einem benutzerfreundlichen Frontend verbindet. In der Vergangenheit mussten sich die Anwender von Deep Learning bezüglich der Wahl von Frameworks zwischen Benutzerfreundlichkeit und Schnelligkeit entscheiden. Auf der einen Seite gab es Frameworks wie Theano und TensorFlow. Diese bieten Geschwindigkeit und Speichereffizienz, sind jedoch schwieriger zu programmieren, können beim [...]
155156157158159 ...
236»