Teil von:
Sie sind hier:
about writing functional programs in a dependently typed language and proving them correct. Coq - the 2013 ACM Software System Award winner - is an interactive proof assistant for the development of formally …
Statistik und dem Alumniverein Dortmunder Statistikerinnen und Statistiker e.V. feierten am 13. April 2013 rund 250 Gäste das 40. Jubiläum Dortmunder Statistik in der Stahlhalle der DASA in Dortmund. Stat …
privacy, storage, compute, the whole Web services stack." - Scott McNealy, former CEO, Sun Microsystems, 2013 In an era where digital infrastructure is as vital as roads and power lines, data centers—the physical …
Heilbrunn: Verlag Julius Klinkhardt. Quellen Bundesministerium für Arbeit und Soziales [BMAS] (Hrsg.) (2013). Teilhabebericht der Bundesregierung über die Lebenslagen von Menschen mit Beeinträchtigungen. Teilhabe …
für Mathematik Jahresvorwahl 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 …
Bereitstellung von Grid Middleware-Diensten Loading... Files dissertation_PDFA.pdf (12.78 MB) Date 2013-02-06 Authors Freitag, Stefan Journal Title Journal ISSN Volume Title Publisher Alternative Title(s) …
ist hier nur ein Überblick über einige Teile des maschinellen Lernens zu finden: Katharina Morik (2013) Maschinelles Lernen - Skript zur Vorlesung, TU Dortmund. Literaturrecherche Keogh-Kurs SIGKDD09 …
beispielsweise bei den empirischen Grundlagen für die Evaluation des Bundeskinderschutzgesetzes (2013-2015) oder auch bei der Indikatorenentwicklung im Bereich der Frühen Hilfen (2016-2019). Durch die …
minimieren. Die letzte Strukturdatenerhebung hatten die Landesjugendämter in NRW zuvor für das Jahr 2013 durchgeführt. Der in zwei Teile – Ergebnisse und Methoden – aufgeteilte Bericht steht zum Download …
indern in Deutschland im internationalen Vergleich . Münster: Waxmann. Hußmann, S. & Selter, Ch. (2013) (Hrsg.).. Diagnose und individuelle Förderung in der Lehrerbildung. Das Projekt dortMINT . Münster: …
