Search - LOGIC-IN - TU Dortmund

Search
Personsearch

1021 results

1. MS
2. Professorship
3. Team
4. Employees
Prof. Dr. Peter Buchholz

Markov Decision Processes - Theory, Applications and Computational Algorithms Tutorial at QEST 2011, September 2011, Aachen, Germany. ( slides ) P. Buchholz. Numerical Analysis Approaches for Large Markov Chains [...] Engineering 7 (5), 2011, pp. 441-454. J. Kriege, P. Buchholz. Correlated Phase-type distributed Random Numbers as Input Models for Simulations Performance Evaluation 68 (11), 2011, 1247-1260 (special [...] Performance 2011) P. Buchholz, M. Telek Composition and Equivalence of Markovian and Non-Markovian Models In Proc. 8th Int. Conf. on Quantitative Evaluation of SysTems, (QEST'11), IEEE 2011, 213-222. P …
1. AQUA
2. Teaching
3. Seminars
Proseminar: Software Verification

l-06/ase00FinalJournal.pdf Tinelli: SMT-based model checking, in Formal Techniques Summer School, 2011. http://homepage.cs.uiowa.edu/~tinelli/talks/FT-11.pdf Susanne Graf and Hassein Saidi. "Construction …
1. Biometrie
2. Research
Dissertationen

Discovering genetic interactions based on natural genetic variation. (Ickstadt, Beyer Mathias Schaller (2011): Influence of dialysis modalities on mortality. Anika Buchholz (2010): Assessment of time-varying …
1. TU Dortmund
2. News: 6/7/2018
Scientists at CERN observe direct coupling of the Higgs boson to the top quark

Research (BMBF). Data from the LHC that were recorded by the ATLAS and CMS experiments in the years 2011 to 2017 serve as the basis for the first-ever observation. The results of the CMS collaboration were …
1. TU Dortmund
2. News: 8/30/2021
TU Dortmund University Funds HoKiDo Expansion

The parent initiative HoKiDo e.V. has been running a daycare center on the university campus since 2011. TU Dortmund University financed an expansion to the facility, which began operating in early August …
1. Delta
2. News: 9/17/2022
Worldwide first EEHG implementation at a storage ring

et al , Scientific Reports 10, 10093 (2020). S. Khan et al , Synchrotron Radiation News 24:5, 18 (2011). H. Li et al , Proceedings of IPAC'13, Shanghai, China, 1208 (2013). X. Yang et al , Scientific Reports …
1. IW
2. Professorship
3. Team
Andreas Lichter

Curriculum Vitae Academic Education 2016 PhD (Dr. rer. pol.) in Economics, University of Cologne 2011 Diploma in Economics (equivalent to Master), University of Cologne Professional Experience since 09/2024 …
1. CEI
2. Research
3. Resource Management
Simulation Study

between various allocation policies in a comprehensible manner. Our repository Results from Google Trace 2011 Job Distribution, MachineVSlack, MachineVStandardDeviation ZIP (44 MB) MachineVPerformanceRatio Slack0-1 …
1. DT
2. Teaching
3. Lectures
4. Summer term 2024
Bachelor: Digitalisierung - Digitale Transformation

strategisch steuern . Springer Fachmedien Wiesbaden. doi.org/10.1007/978-3-658-24475-0 Krcmar, H. (2011). Einführung in das Informationsmanagement . Springer-Verlag. Leimeister, J. M. (2015). Einführung …
1. APT
2. Professorship
3. Team
4. Alumni
Dominic Schlinge

Adsorptionsverhaltens auf die Eignung chromatographischer Prozesskonzepte"") in May 2008. From 2008 to 2011 he was working at the Laboratory of Plant and Process Design on her PhD. In his research he focused …