A Framework for Parallel PDE Solvers on Multiscale Adaptive Cartesian Grids. Model-based Plan Assessment for Autonomous Technical Systems. Kausale Ordnungen in dynamischen nebenläufigen Systemen. Generating Insights in Social Choice Theory via Computer-aided Methods. Context-aware human-robot collaboration as a basis for future cognitive factories. Equilibrium Analysis of Core-Selecting Auctions and the Impact of Risk Aversion and Allocation Constraints. Analysis and Mitigation of Security Issues on Android. Analysis and Optimization of the Offline Software of the ATLAS Experiment at CERN. Accelerating Quantitative Magnetic Resonance Imaging.

Projektspezifische Anpassung von Vorgehensmodellen – Feature-basiertes Tailoring. Proving Theorems of Higher-Order Logic with SMT Solvers. On Normalization and Type Checking for Tree Transducers.
RBSLA: Rule-based Service Level Agreements – Knowledge Representation for Automated e-Contract, SLA and Policy Management. Visual Computing for Computer Assisted Interventions. Majority Relations and Tournament Solutions – A Computational Study. Eine Methode zur Konzeption eines Outsourcingmodells am Beispiel Fremdvergaben auf Gesamtfahrzeugebene. BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen.

Methoden zur Erhöhung des visuellen Realismus für die Simulation minimal-invasiver chirurgischer Eingriffe. Understanding big social networks: Applied methods for computational social science.

Large-Scale Measurements of Internet Security and Privacy. Computational modeling of detection physics for 3D intraoperative imaging with navigated nuclear probes. Ein Konzept zur Lastverwaltung in verteilten objektorientierten Systemen. Proactive Recommender Systems in Automotive Scenarios. Requirements Engineering Artifact Quality: Definition and Control. Konzeption, Implementierung und Evaluierung von Benutzerschnittstellen für lebensbedrohliche, zeitkritische und instabile Situationen. Lineare und Quadratische Optimierung in der Strahlentherapie. Continuous Performance Evaluation and Capacity Planning for Enterprise Applications. Ein interdisziplinärer Ansatz zur dreidimensionalen numerischen Simulation von Strömung, Stofftransport und Wachstum in Biofilmssystemen auf der Mikroskala. Metamorphosys – Entwurf eines autonomen adaptiven Systems. Efficient Eulerian Gyrokinetic Simulations with Block-Structured Grids. System Level Periodic Thermal Management for Hard Real-Time Systems. Time-of-flight in Wireless Networks as Information Source for Positioning. Kollaboratives Information Retrieval auf Basis raum-zeitlicher Small Worlds für verteiltes Social Networking. Stochastic and Deterministic Methods for 3D Shape Registration. Verfahren zum computergestützten Entwurf von Zahnrestaurationen insbesondere Einzelkronen. Kompression großer Bilddatenbanken mittels Ähnlichkeitsgruppierung. Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming. Hybrid Geometric-Algebraic Matrix-Free Multigrid on Spacetrees. A Meta Model for Team Recommendations in Open Innovation Networks. Benutzerzentrierte, graphische Interaktionsmetaphern für Fahrerinformationssysteme. Visualizing the Variability in Ensemble Simulations. Augmented Reality Tools for Digital Plant Engineering. Efficiency and Pricing in Combinatorial Auctions and the Impact of Side Constraints. Building Group Awareness in Distributed Software Development Projects. Security Concepts for Robust and Highly Mobile Ad-Hoc Networks. Neuronale Netze zur Modellbildung in der Regelungstechnik.

Vision-based Probabilistic State Estimation for Cooperating Autonomous Robots. New Approaches to Computer Assistance for Endovascular Abdominal Aortic Repairs. Fault Tolerant Optimizations for High Performance Computing Systems. Performance Bounds in Switched Ethernet Onboard Networks. Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging. Predictable and high performance multi-core architectures.
On Using Domain Knowledge for Advanced Programming Tools. Integrated Behavior Modeling of Space-Intensive Mechatronic Systems. Defect-based Quality Assurance with Defect Models. HEAVEN – Eine hierarchische Speicher- und Archivierungsumgebung für multidimensionale Array Datenbankmanagement Systeme.

MIBO – A Framework for the Integration of Multimodal Intuitive Controls in Smart Buildings.


Xbox Game Showcase, Jfv Varel Wintercup, Horoskop Zwilling April 2020, Peter Bond 2019, Cliff Name Bedeutung, Bergeralm Steinach öffnungszeiten,