2019 Lehrstuhl 11 Fakultät für Informatik Organisatorisches • Ablauf • Prüfungsleistung • Termine • Software • DET-Labor • Literatur Marco Pleines | Dortmund, 02.04.2019 Lehrstuhl 11 Fakultät für Informatik [...] Benutzerpasswort: Sommer-2019 Marco Pleines | Dortmund, 02.04.2019 Lehrstuhl 11 Fakultät für Informatik Software • Unity 2018.3.* (Personal Edition) • Visual Studio Code oder Visual Studio (Community Edition) …

Synthesizing realistic verification tasks

Publisher Alternative Title(s) Abstract This thesis by publications focuses on realistic benchmarks for software verification approaches. Such benchmarks are crucial to an evaluation of verification tools which [...] verify parallel systems. The result of this thesis thus helps to improve the state of the art of software verification. Description Table of contents Keywords Benchmark generation , Program verification …

beherrschen die Grundkonzepte von objektorientierten Programmiersprachen. Sie können verschiedene Softwarewerkzeuge zur Unterstützung der Programmierung und der Fehlersuche einsetzen. === Literatur === * Folgend [...] Prinz: C++ lernen und professionell anwenden, 4. Auflage, Vmi Buch 2007. * D. May: Grundkurs Software-Entwicklung mit C++, Vieweg, Wiesbaden, 2003. * A. Willemer: Einstieg in C++, 4. Auflage, Galileo Press …

Saving time and money for Monte Carlo

from a pre-computed grid for the Large-Sized Telescope prototype (LST-1) using the pyirf python software package. As some constituents of an IRF are given as probability distributions, specialized methods [...] Gitter für den Prototyp des Large-Sized Telescope (LST-1) unter Verwendung des pyirf python Softwarepaket untersucht. Da einige Bestandteile einer IRF durch Wahrscheinlichkeitsverteilungen gegeben sind …

Fachprojekt Digital Entertainment Technologies im Wintersemester 2023/2024 — Lehrstuhl 11 Algorithm

de Beschreibung Digital Entertainment Technologies umfassen rechnergestützte Methoden, Tools, Softwarepakete und Konzepte, die die Grundlage moderner Computerspiele & Unterhaltunsgmedien bilden. Die St [...] DAP1 werden vorausgesetzt. Gute algorithmische Fähigkeiten und die Kompetenz an komplexeren Softwareprojekten zu arbeiten (vgl. SWK und SoPra) sind empfehlenswert. Wir verwenden im Fachprojekt die Game-Engine …

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web applicati

2023 http://hdl.handle.net/2003/41851 10.17877/DE290R-23694 The view of IT security in today’s software development processes is changing. While IT security used to be seen mainly as a risk that had to [...] testing are not applicable for security testing. Instead, a new category of tools is required in the software development process: IT security weakness analyzers. These tools scan the source code for security …

Unfolding the spectrum of the blazar Markarian 421 using data from the first Large-Sized Telescope o

manager snakemake. I implement regularized unfolding in the open-source high-level gamma-ray analysis software Gammapy. I use the analysis pipeline and the unfolding implementation to analyze data of the blazar [...] Workflow-Managers snakemake. Ich implementiere regularisiertes Entfalten in der quelloffenen Gammastrahlenanalysesoftware Gammapy. Ich verwende die Analysepipeline und die Entfalungsimplementierung, um Daten …

TU Dortmund -- Computer Science VIII

E03, OH12 Dienstag 14 - 16 Uhr im Raum CDI 120 Software Die Übungsaufgaben erfordern teilweise den Einsatz der in der ersten Übung vorgestellten Softwarepakete R und RapidMiner. Offizielle Seite zu R Einführung …

TU Dortmund -- Computer Science VIII

Informationen zur Nutzung des Lehre-Plugins für RapidMiner. Neuigkeiten 22.10.2013: Ergänzung auf der Software-Seite , um einige bekannte Probleme mit RapidMiner und dem Lehre-Plugin zu beheben. 29.10.2013: Für [...] Hinweis) Termine Die Übung findet Donnerstags im Raum 104 der OH 14 statt, von 14:15 bis 16:00 Uhr. Software Informationen zur Installation und Nutzung von RapidMiner bzw. des Lehre-Plugins finden sich auf …

TU Dortmund -- Computer Science VIII

logistic regression based on the algorithm of [Keerthi/etal/2003a] and the code of mySVM . License This software is free only for non-commercial use. It must not be modified and distributed without prior permission [...] permission of the author. The author is not responsible for implications from the use of this software. Installation Installation under Unix Download myKLR . Create a new directory, change into it and unpack …