Research Output per year
Supervised work per year
Supervised Work
- 11 results
Search results
-
2020
DNA-basierte Nanonetzwerke
Translated title of the contribution :DNA-based nanonetworks Research output: Published Theses › Doctoral Theses
-
2018
Optimierung eines Genetischen Algorithmus für das Mengenüberdeckungsproblem
Bahnemann, T., 2018Research output: Published Theses › Bachelor Theses
-
2017
Effiziente parallele Kernel-Algorithmen für das Vertex-Cover-Problem.
Peinemann, T., 2017Research output: Published Theses › Bachelor Theses
-
Time Series Data Mining for Context-Aware Event Analysis
Lange, M., 01.06.2017, 217 p.Research output: Published Theses › Doctoral Theses
-
2016
Generation and verification of formal proofs of propositional tautologies
Gerlach, B., 2016Research output: Published Theses › Master Theses
-
Indirect Causes, Dependencies and Causality in Bayesian Networks
Motzek, A., 20.10.2016, 154 p.Research output: Published Theses › Doctoral Theses
-
On the Complexity of Constructing Phylogenetic Trees from Rooted Triplets
Dannenberg, K., 2016Research output: Published Theses › Master Theses
-
PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems
Martiny, K., 01.07.2016, 153 p.Research output: Published Theses › Doctoral Theses
-
Visualisierung von Stammbäumen in Ticks unter Erhaltung semantischer Repräsentationen
Klimchenko, A., 2016Research output: Published Theses › Bachelor Theses
-
2015
Relaxed Abduction: Robust Information Interpretation for Industrial Applications
Hubauer, T., 01.08.2015, Springer Verlag. 134 p.Research output: Published Theses › Doctoral Theses
-
Schwere Instanzen für NP-schwere Probleme.
Schomann, T., 2015Research output: Published Theses › Master Theses