Publikationen pro Jahr
Beaufsichtigte Arbeit pro Jahr
Betreute Arbeit
- 11 Ergebnisse
Suchergebnisse
-
2020
DNA-basierte Nanonetzwerke
Lau, F-L., 31.03.2020Publikation: Publizierte Abschlussarbeiten › Dissertationen
-
2018
Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem
Bahnemann, T., 2018Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
2017
Effiziente parallele Kernel-Algorithmen für das Vertex-Cover-Problem.
Peinemann, T., 2017Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
Time Series Data Mining for Context-Aware Event Analysis
Lange, M., 01.06.2017, 217 S.Publikation: Publizierte Abschlussarbeiten › Dissertationen
-
2016
Generation and verification of formal proofs of propositional tautologies
Gerlach, B., 2016Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
Indirect Causes, Dependencies and Causality in Bayesian Networks
Motzek, A., 20.10.2016, 154 S.Publikation: Publizierte Abschlussarbeiten › Dissertationen
-
On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets
Dannenberg, K., 2016Publikation: Publizierte Abschlussarbeiten › Masterarbeiten
-
PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems
Martiny, K., 01.07.2016, 153 S.Publikation: Publizierte Abschlussarbeiten › Dissertationen
-
Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen
Klimchenko, A., 2016Publikation: Publizierte Abschlussarbeiten › Bachelorarbeiten
-
2015
Relaxed Abduction: Robust Information Interpretation for Industrial Applications
Hubauer, T., 01.08.2015, Springer Verlag. 134 S.Publikation: Publizierte Abschlussarbeiten › Dissertationen
-
Schwere Instanzen für NP-schwere Probleme.
Schomann, T., 2015Publikation: Publizierte Abschlussarbeiten › Masterarbeiten