On Optimal Algorithms for List Ranking in the Parallel External Memory Model with Applications to Treewidth and other Elementary Graph Problems

Größe: px
Ab Seite anzeigen:

Download "On Optimal Algorithms for List Ranking in the Parallel External Memory Model with Applications to Treewidth and other Elementary Graph Problems"

Transkript

1 Diss. ETH No On Optimal Algorithms for List Ranking in the Parallel External Memory Model with Applications to Treewidth and other Elementary Graph Problems A thesis submitted to attain the degree of Doctor of Sciences of ETH Zurich (Dr. sc. ETH Zurich) presented by Tobias Lieber M.Sc., Technische Universität München born citizen of Germany accepted on the recommendation of Prof. Dr. Peter Widmayer, examiner Riko Jacob, PhD, co-examiner Prof. Dr. Norbert Zeh, co-examiner 2014

2 Abstract The performance of many algorithms on large input instances substantially depends on the number of triggered cache misses instead of the number of executed operations. This behavior is captured by the external memory model in a natural way. It models a computer by a fast cache of bounded size and a conceptually infinite (external) memory. In contrast to the classical RAM model, the complexity measure is the number of cache lines transferred between the cache and the memory. Computations on elements in the cache are not counted. Recent trends in processor design and advances in big data computing require massively parallel algorithms. The parallel external memory (PEM) model extends the external memory model so that it also captures parallelism. It consists of multiple processors which each have a private cache and share the (external) memory. This thesis considers three computational problems in the context of (parallel) external memory algorithms. For the fundamental problem of list ranking, previously, an algorithm was known that has sorting complexity for many settings of the PEM model. In the first part of this thesis, this algorithm is complemented by matching lower bounds for most practical settings. Interestingly, a stronger lower bound for parameter ranges which previously have not been considered is shown. By modeling how list ranking algorithms retrieve information on the structure of the list in the memory, we give a lower bound that is quadratic in sorting complexity for certain parameter settings. It is noteworthy that this result implies the first non-trivial lower bounds for list ranking for the bulk synchronous parallel and the MapReduce model. These lower bounds are complemented by a list ranking algorithm which is, in contrast to previous algorithms, analyzed for all parameter settings of the PEM model. In the second part, an efficient algorithm for the PEM model to compute a tree decomposition of bounded width for a graph is presented. The main challenge is to implement a load balancing strategy such that the running iii

3 time of the algorithm scales linearly with the number of processors as long as possible. A fundamental building block to achieve this with an asymptotically small number of cache misses is the above-mentioned list ranking algorithm. Therefore, the complexity of this algorithm is similar to sorting for many parameter settings. On the other hand, it also inherits the runtime behavior of list ranking which leads to a complexity that is worse than sorting for certain parameter settings. Subsequently, an easy application of the treewidth algorithm is presented in the field of kernelization. In the last part, the complexity of modifying a graph so that it has bounded pathwidth is considered. Here, the modification operation is the splitting of vertices and the partitioning of their edges. Previous research exhibited that the number of vertex splits is tightly connected to the number of cache misses of a program for sparse matrix multiplication. This line of research is continued and the NP-completeness of this problem is shown. Furthermore, the subproblem of splitting vertices of a graph into a graph of pathwidth 1 is investigated. It is shown to admit a 2-approximation. iv

4 Zusammenfassung Die Laufzeit vieler Algorithmen auf großen Eingaben hängt maßgeblich von der Anzahl der ausgelösten Cache Misses, und nicht von der Anzahl der ausgeführten Rechenoperationen ab. Das External Memory (EM) Modell bildet dieses Laufzeitverhalten durch eine naheliegende Modellierung ab. Es modelliert einen Computer durch einen schnellen Cache mit beschränkter Größe und einem konzeptionell unendlich großen (externen) Speicher. Im Gegensatz zum bewährten RAM-Modell ist das Komplexitätsmaß im EM-Modell die Anzahl der Cache-Lines, die zwischen dem Cache und dem Speicher ausgetauscht werden. Berechnungen auf Elementen die sich im Cache befinden tragen nichts zum Kostenmaß bei. Aufgrund von Trends im Prozessorendesign und Fortschritten im Big-Data-Computing werden massiv-parallele Algorithmen benötigt. Das Parallel External Memory (PEM) Modell ist eine Erweiterung des EM-Modells, die Parallelismus modelliert. Es besteht aus mehreren Prozessoren, die jeweils einen eigenen Cache besitzen, aber den (externen) Speicher gemeinsam nutzen. Diese Arbeit untersucht drei Probleme aus dem Gebiet der (Parallelen) External Memory Algorithmen. Für das elementare Problem List Ranking ist bereits ein Algorithmus bekannt, der für viele Parameterbereiche des PEM-Modells Sortier-Komplexität besitzt. Im ersten Teil dieser Arbeit werden für die meisten praktikablen Parameterbereiche komplementäre untere Schranken bewiesen. Interessanterweise zeigen wir für Parameterbereiche die zuvor nicht betrachtet worden sind eine noch stärkere untere Schranke. Diese untere Schranke zeigt für bestimmte Parameterbereiche, dass quadratischer Sortieraufwand benötigt wird, indem wir die Art und Weise, wie Algorithmen die Struktur der Liste im Speicher erfassen, nachbilden. Diese untere Schranke liefert die erste nichttriviale untere Schranke für List Ranking im Bulk-Synchronous-Parallel Modell und im Map-Reduce Modell. Abschließend stellen wir einen List Ranking Algorithmus vor, der im Gegensatz zu früheren Algorithmen, im gesamten Parameterbereich des PEM-Modells analysiert wird. v

5 Im zweiten Teil wird ein effizienter Algorithmus für das PEM-Modell vorgestellt, der für einen Graphen eine Baumdekomposition mit beschränkter Weite berechnet. Die größte Schwierigkeit ist, alle Prozessoren gleich auszulasten und so dafür zu sorgen, dass die Laufzeit des Algorithmus möglichst lange mit der Anzahl der Prozessoren skaliert. Ein wichtiger Baustein, der dies asymptotisch mit wenigen Cache Misses erreicht, ist der eben erwähnte List Ranking Algorithmus. Daher ist die Laufzeit des Algorithmus für viele Parameterbereiche des PEM-Modells ähnlich der eines Sortier-Algorithmus. Andererseits erbt der Agorithmus dadurch auch das Laufzeitverhalten von List Ranking, welches in bestimmten Bereichen zu einer Laufzeit führt, die schlechter ist als die Laufzeit für Sortieren. Anschließend wird der Algorithmus zur Baumweitenberechnung im Gebiet der Kernelisierung angewendet. Im letzten Teil der Arbeit wird die Komplexität eines Graphmodifizierungsproblems untersucht. Die untersuchte Frage ist, wieviele Knotenaufspaltungen benötigt werden bis ein Graph beschränkte Pfadweite hat. Frühere Forschungsergebnisse zeigen, dass die Anzahl der benötigten Knotenaufspaltungen eng mit der Anzahl der Cache Misses von einem Programm für Matrixmultiplikation dünnbesetzter Matrizen verknüpft ist. Diese Forschungen werden fortgeführt und die NP-Vollständigkeit dieses Problems wird bewiesen. Desweitern wird das Teilproblem einen Graphen durch Knotenaufspaltungen in einen Graphen mit Pfadweite 1 zu überführen untersucht. Für dieses Problem wird ein 2-Approximationsalgorithmus vorgestellt. vi

Efficient Design Space Exploration for Embedded Systems

Efficient Design Space Exploration for Embedded Systems Diss. ETH No. 16589 Efficient Design Space Exploration for Embedded Systems A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Sciences presented by

Mehr

Classical and Quantum Secure Two-Party Computation

Classical and Quantum Secure Two-Party Computation Diss. ETH No. 20342 Classical and Quantum Secure Two-Party Computation A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by SEVERIN WINKLER MSc in Computer Science,

Mehr

Large-Scale Mining and Retrieval of Visual Data in a Multimodal Context

Large-Scale Mining and Retrieval of Visual Data in a Multimodal Context Diss. ETH No. 18190 Large-Scale Mining and Retrieval of Visual Data in a Multimodal Context A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical

Mehr

Diss. ETH No. 20295 SCALABLE SYSTEMS FOR DATA ANALYTICS AND INTEGRATION. A dissertation submitted to ETH ZURICH. for the degree of. Doctor of Sciences

Diss. ETH No. 20295 SCALABLE SYSTEMS FOR DATA ANALYTICS AND INTEGRATION. A dissertation submitted to ETH ZURICH. for the degree of. Doctor of Sciences Diss. ETH No. 20295 SCALABLE SYSTEMS FOR DATA ANALYTICS AND INTEGRATION A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by MARTIN HENTSCHEL Master of Science ETH in

Mehr

DISS. ETH NO. 22311. A thesis submitted to attain the degree of. DOCTOR OF SCIENCES of ETH ZURICH. (Dr. sc. ETH Zurich) presented by

DISS. ETH NO. 22311. A thesis submitted to attain the degree of. DOCTOR OF SCIENCES of ETH ZURICH. (Dr. sc. ETH Zurich) presented by DISS. ETH NO. 22311 A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented by born on citizen of Germany accepted on the recommendation of 20 Abstract

Mehr

Group and Session Management for Collaborative Applications

Group and Session Management for Collaborative Applications Diss. ETH No. 12075 Group and Session Management for Collaborative Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree of Doctor of Technical Seiences

Mehr

Optimal Energy Management and Component Sizing of a Stand-Alone Building Energy System

Optimal Energy Management and Component Sizing of a Stand-Alone Building Energy System Diss. ETH No. 21036 Optimal Energy Management and Component Sizing of a Stand-Alone Building Energy System A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Samuel

Mehr

All-Digital Standard-Cell Based Audio Clock Synthesis

All-Digital Standard-Cell Based Audio Clock Synthesis Diss. ETH No. 15667 All-Digital Standard-Cell Based Audio Clock Synthesis A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical Sciences presented

Mehr

Key Agreement in Cryptography

Key Agreement in Cryptography Diss. ETH No. 13138 Information-Theoretically and ComputationallySecure Key Agreement in Cryptography A dissertation submitted to the SWISS FEDERAL INSTITUTEOF TECHNOLOGY ZÜRICH for the clegree of Doctor

Mehr

Understanding and Improving Collaboration in Distributed Software Development

Understanding and Improving Collaboration in Distributed Software Development Diss. ETH No. 22473 Understanding and Improving Collaboration in Distributed Software Development A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented

Mehr

Algorithm-Architecture Trade-offs in Network Processor Design

Algorithm-Architecture Trade-offs in Network Processor Design Diss. ETH No. 14191 Algorithm-Architecture Trade-offs in Network Processor Design A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical Seiences

Mehr

Workflow-based Services: Infrastructure for Scientific Applications

Workflow-based Services: Infrastructure for Scientific Applications Diss. ETH No. 18217 Workflow-based Services: Infrastructure for Scientific Applications A dissertation submitted to ETH ZURICH for the degree of Doctor of Technical Sciences presented by THOMAS HEINIS

Mehr

Strategies for Random Contract-Based Testing

Strategies for Random Contract-Based Testing DISS. ETH NO. 18143 Strategies for Random Contract-Based Testing A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by ILINCA CIUPA Dipl. Eng., Technical University of

Mehr

Strategic Resource Management for Power Grid Operators

Strategic Resource Management for Power Grid Operators Diss. ETH No. 19761 Strategic Resource Management for Power Grid Operators A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Michael Simon Guarisco Dipl. Math. ETH

Mehr

Simulation and Compensation of Thermal Errors of Machine Tools

Simulation and Compensation of Thermal Errors of Machine Tools Diss. ETH No. 20300 Simulation and Compensation of Thermal Errors of Machine Tools A dissertation submitted to the ETH ZURICH for the degree of Doctor of Sciences presented by MARKUS ESS MSc. ETH Zurich

Mehr

EvaluatingPerformance in Systems with Heavy-Tailed Input A Quantile-based Approach

EvaluatingPerformance in Systems with Heavy-Tailed Input A Quantile-based Approach Diss. ETH No. 15233 EvaluatingPerformance in Systems with Heavy-Tailed Input A Quantile-based Approach A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of DOCTOR

Mehr

MODEL-BASED IMAGE SEGMENTATION FOR BONE STRUCTURE EVALUATION

MODEL-BASED IMAGE SEGMENTATION FOR BONE STRUCTURE EVALUATION Diss. ETH No. 14889 MODEL-BASED IMAGE SEGMENTATION FOR BONE STRUCTURE EVALUATION A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY for the degree of Doctor of Technical Science presented

Mehr

Semi-Supervised Online Learning for Acoustic Data Mining

Semi-Supervised Online Learning for Acoustic Data Mining DISS. ETH NO. 19395 Semi-Supervised Online Learning for Acoustic Data Mining A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by TSER LING YVONNE MOH Dipl.-Inf., RWTH-Aachen

Mehr

Capillary interactions, shear thickening and liquid migration in wet granular media

Capillary interactions, shear thickening and liquid migration in wet granular media Diss. ETH No. 21809 Capillary interactions, shear thickening and liquid migration in wet granular media A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Roman Andri

Mehr

A Domain-Specific Language and Scalable Middleware for Particle-Mesh Simulations on Heterogeneous Parallel Computers

A Domain-Specific Language and Scalable Middleware for Particle-Mesh Simulations on Heterogeneous Parallel Computers Diss. ETH No. 20959 A Domain-Specific Language and Scalable Middleware for Particle-Mesh Simulations on Heterogeneous Parallel Computers Adissertationsubmittedto ETH Zurich for the degree of Doctor of

Mehr

In-Memory Parallel Join Processing on Multi-Core Processors

In-Memory Parallel Join Processing on Multi-Core Processors DISS. ETH NO. 21954 In-Memory Parallel Join Processing on Multi-Core Processors A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented by ÇAĞRI BALKESEN

Mehr

OPTIMAL CONTROL AND DESIGN OF HYBRID-ELECTRIC VEHICLES

OPTIMAL CONTROL AND DESIGN OF HYBRID-ELECTRIC VEHICLES Diss. ETH No. 18543 OPTIMAL CONTROL AND DESIGN OF HYBRID-ELECTRIC VEHICLES A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Olle Sundström MSc in Electrical Engineering,

Mehr

The Determinants of Renewable Energy Technology Adoption: Empirical Evidence from China

The Determinants of Renewable Energy Technology Adoption: Empirical Evidence from China DISS. ETH NO. 21973 The Determinants of Renewable Energy Technology Adoption: Empirical Evidence from China A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich)

Mehr

Transfer Schemes for Image Segmentation

Transfer Schemes for Image Segmentation DISS. ETH NO. 21221 Transfer Schemes for Image Segmentation A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by Daniel Kuettel M.Sc. ETH in Computer Science born October

Mehr

Algorithms for graph visualization

Algorithms for graph visualization Algorithms for graph visualization Project - Orthogonal Grid Layout with Small Area W INTER SEMESTER 2013/2014 Martin No llenburg KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum

Mehr

GALS System Design: Side Channel Attack Secure Cryptographic Accelerators

GALS System Design: Side Channel Attack Secure Cryptographic Accelerators Diss. ETH No. 16351 GALS System Design: Side Channel Attack Secure Cryptographic Accelerators A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical

Mehr

Context-adaptation based on Ontologies and Spreading Activation

Context-adaptation based on Ontologies and Spreading Activation -1- Context-adaptation based on Ontologies and Spreading Activation ABIS 2007, Halle, 24.09.07 {hussein,westheide,ziegler}@interactivesystems.info -2- Context Adaptation in Spreadr Pubs near my location

Mehr

Resilient Remote Procedure Call

Resilient Remote Procedure Call Diss. ETM V/? Diss. ETH No. 8379 Resilient Remote Procedure Call An Approach to Fault-Tolerant Computing in Distributed Systems A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH

Mehr

A Systematic Approach to Adaptive Algorithms for Multichannel System Identification, Inverse Modeling, and Blind Identification

A Systematic Approach to Adaptive Algorithms for Multichannel System Identification, Inverse Modeling, and Blind Identification Series in Diss. ETH No 13783 Signal and Information Processing Volume 6 A Systematic Approach to Adaptive Algorithms for Multichannel System Identification, Inverse Modeling, and Blind Identification A

Mehr

Radiation Grafted Fuel Cell Membranes with Improved Oxidative Stability

Radiation Grafted Fuel Cell Membranes with Improved Oxidative Stability Diss. ETH No. 16995 Radiation Grafted Fuel Cell Membranes with Improved Oxidative Stability A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY For the deg ree of DOCTOR OF SCIENCES presented

Mehr

Understanding Magnetic Force Microscopy

Understanding Magnetic Force Microscopy Diss ETH No 9151 Understanding Magnetic Force Microscopy A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree of Doctor of Natural Sciences presented by Christian

Mehr

Algorithms and Hardness Results for DNA Physical Mapping, Protein Identification, and Related Combinatorial Problems

Algorithms and Hardness Results for DNA Physical Mapping, Protein Identification, and Related Combinatorial Problems Diss. ETH No. 15258, 2003 Algorithms and Hardness Results for DNA Physical Mapping, Protein Identification, and Related Combinatorial Problems A dissertation submitted to the Swiss Federal Institute of

Mehr

Data Stream Processing in Complex Applications

Data Stream Processing in Complex Applications Diss. ETH No. 19907 Data Stream Processing in Complex Applications A dissertation submitted to the ETH ZURICH for the degree of Doctor of Sciences presented by KYUMARS SHEYKH ESMAILI Master of Science

Mehr

NEWSLETTER. FileDirector Version 2.5 Novelties. Filing system designer. Filing system in WinClient

NEWSLETTER. FileDirector Version 2.5 Novelties. Filing system designer. Filing system in WinClient Filing system designer FileDirector Version 2.5 Novelties FileDirector offers an easy way to design the filing system in WinClient. The filing system provides an Explorer-like structure in WinClient. The

Mehr

An Open Innovation Technology Transfer Concept - R&D Cooperation for breakthrough Technologies between Academic Spin-Offs and established Industry

An Open Innovation Technology Transfer Concept - R&D Cooperation for breakthrough Technologies between Academic Spin-Offs and established Industry Diss ETH NO. 20731 An Open Innovation Technology Transfer Concept - R&D Cooperation for breakthrough Technologies between Academic Spin-Offs and established Industry A dissertation submitted to ETH ZURICH

Mehr

Orchestrating Performance Through a Digital Business Strategy Creating Value by Leveraging IT Resources

Orchestrating Performance Through a Digital Business Strategy Creating Value by Leveraging IT Resources DISS. ETH NO. 23472 Orchestrating Performance Through a Digital Business Strategy Creating Value by Leveraging IT Resources A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr.

Mehr

Advances in Integrated Software Sciences

Advances in Integrated Software Sciences Advances in Integrated Software Sciences Proceedings of the Master and PhD Seminar Summer term 2010, part 2 Softwarepark Hagenberg SCCH, Room 0/2 6 July 2010 Software Competence Center Hagenberg Fuzzy

Mehr

Contract-based tests in the software process and environment

Contract-based tests in the software process and environment DISS. ETH N O 18072 Contract-based tests in the software process and environment A dissertation submitted to the ETH Zurich for the degree of Doctor of Sciences presented by Andreas Leitner Diplom Ingenieur,

Mehr

Einführung in die Linguistik, Teil 4

Einführung in die Linguistik, Teil 4 Einführung in die Linguistik, Teil 4 Menschliche Sprachverarbeitung im Rahmen der Kognitionswissenschaft Markus Bader, Frans Plank, Henning Reetz, Björn Wiemer Einführung in die Linguistik, Teil 4 p. 1/19

Mehr

The Potential of Accelerator Secondary Ion Mass Spectrometry in Environmental Sciences

The Potential of Accelerator Secondary Ion Mass Spectrometry in Environmental Sciences DISS. ETH NO. 15046 The Potential of Accelerator Secondary Ion Mass Spectrometry in Environmental Sciences A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of

Mehr

Optimal Portfolio Construction. and Active Portfolio Management. Including Alternative Investments

Optimal Portfolio Construction. and Active Portfolio Management. Including Alternative Investments Diss. ETH No. 16514 Optimal Portfolio Construction and Active Portfolio Management Including Alternative Investments A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the

Mehr

One of the few resources increasing faster than the speed of computer hardware is the amount of data to be processed. Bin Hu

One of the few resources increasing faster than the speed of computer hardware is the amount of data to be processed. Bin Hu Bin Hu Algorithmen und Datenstrukturen 2 Arbeitsbereich fr Algorithmen und Datenstrukturen Institut fr Computergraphik und Algorithmen Technische Universität Wien One of the few resources increasing faster

Mehr

USBASIC SAFETY IN NUMBERS

USBASIC SAFETY IN NUMBERS USBASIC SAFETY IN NUMBERS #1.Current Normalisation Ropes Courses and Ropes Course Elements can conform to one or more of the following European Norms: -EN 362 Carabiner Norm -EN 795B Connector Norm -EN

Mehr

On Incentive-Based Ancillary Service Markets for Incorporation of Renewable Energy Sources and Demand Response

On Incentive-Based Ancillary Service Markets for Incorporation of Renewable Energy Sources and Demand Response DISS. ETH NO. 22555 On Incentive-Based Ancillary Service Markets for Incorporation of Renewable Energy Sources and Demand Response A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH

Mehr

Search for Physics Beyond the Standard Model in the Opposite-Sign Same-Flavor Dilepton Final State with the CMS Detector

Search for Physics Beyond the Standard Model in the Opposite-Sign Same-Flavor Dilepton Final State with the CMS Detector DISS. ETH NO. 21978 Search for Physics Beyond the Standard Model in the Opposite-Sign Same-Flavor Dilepton Final State with the CMS Detector A thesis submitted to attain the degree of Doctor of Sciences

Mehr

Project GIPSY. Facing the Challenge of Future Integrated Software Engineering Environments. Dipl. Betr. Wiss. NDS ETH. Dipl. Inf.

Project GIPSY. Facing the Challenge of Future Integrated Software Engineering Environments. Dipl. Betr. Wiss. NDS ETH. Dipl. Inf. Diss. ETH No 12350 Project GIPSY Facing the Challenge of Future Integrated Software Engineering Environments A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree

Mehr

Monte Carlo simulation for estimating rare event probabilities and parameters in Markov process models

Monte Carlo simulation for estimating rare event probabilities and parameters in Markov process models Diss. ETH No. 19452 Monte Carlo simulation for estimating rare event probabilities and parameters in Markov process models A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented

Mehr

MANAGEMENT AND FEDERATION OF STREAM PROCESSING APPLICATIONS

MANAGEMENT AND FEDERATION OF STREAM PROCESSING APPLICATIONS DISS. ETH NO. 20172 MANAGEMENT AND FEDERATION OF STREAM PROCESSING APPLICATIONS A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by MICHAEL ALEXANDER DULLER Master

Mehr

Real-time Model Predictive Control

Real-time Model Predictive Control Diss. ETH No. 19524 Real-time Model Predictive Control Adissertationsubmittedto ETH ZURICH for the degree of Doctor of Sciences presented by Melanie Nicole Zeilinger Dipl.-Ing., University of Stuttgart

Mehr

CHEMICAL VAPOR DEPOSITION OF GRAPHENE ON COPPER

CHEMICAL VAPOR DEPOSITION OF GRAPHENE ON COPPER DISS. ETH NO. 21458 CHEMICAL VAPOR DEPOSITION OF GRAPHENE ON COPPER A dissertation submitted to ETH ZURICH for the degree of DOCTOR OF SCIENCE presented by KEMAL CELEBI M. Sc. Physics, Massachusetts Institute

Mehr

FPGA-Enhanced Data Processing Systems

FPGA-Enhanced Data Processing Systems DISS. ETH NO. 21967 FPGA-Enhanced Data Processing Systems A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented by LOUIS WOODS MSc in Computer Science,

Mehr

Walter GPS Global Productivity System

Walter GPS Global Productivity System Walter GPS Global Productivity System DIE WERKZEUGAUSWAHL MIT dem ÜBERRASCHUNGS- EFFEKT. ÜBERRASCHEND EINFACH. THE TOOL SELECTION WITH THE ELEMENT OF SURPRISE. SURPRISINGLY EASY. Überraschend schnell:

Mehr

Exercise (Part II) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part II) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1 Exercise (Part II) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Mehr

Extended Ordered Paired Comparison Models An Application to the Data from Bundesliga Season 2013/14

Extended Ordered Paired Comparison Models An Application to the Data from Bundesliga Season 2013/14 Etended Ordered Paired Comparison Models An Application to the Data from Bundesliga Season 2013/14 Gerhard Tutz & Gunther Schauberger Ludwig-Maimilians-Universität München Akademiestraße 1, 80799 München

Mehr

DISS. ETH NO. 22260 MANAGERIAL INCENTIVES FOR RISK MITIGATION AND THE MODERATION OF CREDIT CYCLES FROM A MACROPRUDENTIAL PERSPECTIVE

DISS. ETH NO. 22260 MANAGERIAL INCENTIVES FOR RISK MITIGATION AND THE MODERATION OF CREDIT CYCLES FROM A MACROPRUDENTIAL PERSPECTIVE DISS. ETH NO. 22260 MANAGERIAL INCENTIVES FOR RISK MITIGATION AND THE MODERATION OF CREDIT CYCLES FROM A MACROPRUDENTIAL PERSPECTIVE A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH

Mehr

Aufnahmeuntersuchung für Koi

Aufnahmeuntersuchung für Koi Aufnahmeuntersuchung für Koi Datum des Untersuchs: Date of examination: 1. Angaben zur Praxis / Tierarzt Vet details Name des Tierarztes Name of Vet Name der Praxis Name of practice Adresse Address Beruf

Mehr

Modeling, Pricing and Risk Management of Power Derivatives

Modeling, Pricing and Risk Management of Power Derivatives Diss. ETH No. 17062 Modeling, Pricing and Risk Management of Power Derivatives A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Martina Wilhelm Dipl. Math. ETH born

Mehr

Modelling, Simulation and Optimization of Maintenance Strategies under Consideration of Logistic Processes

Modelling, Simulation and Optimization of Maintenance Strategies under Consideration of Logistic Processes Diss. ETH No. 18152 Modelling, Simulation and Optimization of Maintenance Strategies under Consideration of Logistic Processes A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH

Mehr

Junction of a Blended Wing Body Aircraft

Junction of a Blended Wing Body Aircraft Topology Optimization of the Wing-Cabin Junction of a Blended Wing Body Aircraft Bin Wei M.Sc. Ögmundur Petersson M.Sc. 26.11.2010 Challenge of wing root design Compare to conventional aircraft: Improved

Mehr

Login data for HAW Mailer, Emil und Helios

Login data for HAW Mailer, Emil und Helios Login data for HAW Mailer, Emil und Helios Es gibt an der HAW Hamburg seit einiger Zeit sehr gute Online Systeme für die Studenten. Jeder Student erhält zu Beginn des Studiums einen Account für alle Online

Mehr

Challenges for the future between extern and intern evaluation

Challenges for the future between extern and intern evaluation Evaluation of schools in switzerland Challenges for the future between extern and intern evaluation Michael Frais Schulentwicklung in the Kanton Zürich between internal evaluation and external evaluation

Mehr

DISS. ETH NO. 21398 CONVEX OPTIMIZATION IN SUPPLY CHAIN MANAGEMENT DISSERTATION. Submitted to ETH ZURICH for the degree of DOCTOR OF SCIENCES

DISS. ETH NO. 21398 CONVEX OPTIMIZATION IN SUPPLY CHAIN MANAGEMENT DISSERTATION. Submitted to ETH ZURICH for the degree of DOCTOR OF SCIENCES DISS. ETH NO. 21398 CONVEX OPTIMIZATION IN SUPPLY CHAIN MANAGEMENT DISSERTATION Submitted to ETH ZURICH for the degree of DOCTOR OF SCIENCES by Stefan Wörner MSc ETH Applied Mathematics born the 28th of

Mehr

PUBLIC PERCEPTION AND COMMUNICATION OF CARBON CAPTURE AND STORAGE (CCS)

PUBLIC PERCEPTION AND COMMUNICATION OF CARBON CAPTURE AND STORAGE (CCS) DISS. ETH NO. 21302 PUBLIC PERCEPTION AND COMMUNICATION OF CARBON CAPTURE AND STORAGE (CCS) A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by SELMA L ORANGE SEIGO

Mehr

Integrating Cloud Applications with Mobile Devices

Integrating Cloud Applications with Mobile Devices DISS. ETH. NO. 20692 Integrating Cloud Applications with Mobile Devices Design Principles and Performance Optimizations A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented

Mehr

DECLARATIVE RESOURCE MANAGEMENT FOR VIRTUAL NETWORK SYSTEMS

DECLARATIVE RESOURCE MANAGEMENT FOR VIRTUAL NETWORK SYSTEMS DISS. ETH NO. 20932 DECLARATIVE RESOURCE MANAGEMENT FOR VIRTUAL NETWORK SYSTEMS A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by QIN YIN Master of Science ETH in

Mehr

Notice: All mentioned inventors have to sign the Report of Invention (see page 3)!!!

Notice: All mentioned inventors have to sign the Report of Invention (see page 3)!!! REPORT OF INVENTION Please send a copy to An die Abteilung Technologietransfer der Universität/Hochschule An die Technologie-Lizenz-Büro (TLB) der Baden-Württembergischen Hochschulen GmbH Ettlinger Straße

Mehr

Models and Dynamic Optimisation for the Asset and Liability Management of Pension Funds

Models and Dynamic Optimisation for the Asset and Liability Management of Pension Funds Diss. ETH No. 16257 Models and Dynamic Optimisation for the Asset and Liability Management of Pension Funds A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for thc dcgrce of

Mehr

New Strategies in Proteomics Data Analysis

New Strategies in Proteomics Data Analysis Diss. ETH No. 17212 2007 New Strategies in Proteomics Data Analysis A dissertation submitted to the ETH Zurich for the degree of Doctor of Science presented by Jonas Tobias Grossmann Dipl. Natw. ETH Zurich

Mehr

Invention and Diffusion of General Purpose Technologies

Invention and Diffusion of General Purpose Technologies DISS. ETH NO. 19691 Invention and Diffusion of General Purpose Technologies A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by DANIEL SCHIESS lic. oec. publ., University

Mehr

A Requirement-Oriented Data Quality Model and Framework of a Food Composition Database System

A Requirement-Oriented Data Quality Model and Framework of a Food Composition Database System DISS. ETH NO. 20770 A Requirement-Oriented Data Quality Model and Framework of a Food Composition Database System A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by

Mehr

Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena

Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena Lehrstuhl für Allgemeine BWL Strategisches und Internationales Management Prof. Dr. Mike Geppert Carl-Zeiß-Str. 3 07743 Jena http://www.im.uni-jena.de Contents I. Learning Objectives II. III. IV. Recap

Mehr

Work Sharing Data Processing Systems

Work Sharing Data Processing Systems DISS. ETH NO. 22063 Work Sharing Data Processing Systems A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences of ETH Zurich presented by GEORGIOS GIANNIKIS Master of Science ETH,

Mehr

The extreme Design Approach

The extreme Design Approach Diss. ETH No. 14027 The extreme Design Approach A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical Sciences presented by Adrian Kobler lic.oec.publ,

Mehr

Prediction Market, 28th July 2012 Information and Instructions. Prognosemärkte Lehrstuhl für Betriebswirtschaftslehre insbes.

Prediction Market, 28th July 2012 Information and Instructions. Prognosemärkte Lehrstuhl für Betriebswirtschaftslehre insbes. Prediction Market, 28th July 2012 Information and Instructions S. 1 Welcome, and thanks for your participation Sensational prices are waiting for you 1000 Euro in amazon vouchers: The winner has the chance

Mehr

Software Echtzeitverhalten in den Griff Bekommen

Software Echtzeitverhalten in den Griff Bekommen Software Echtzeitverhalten in den Griff Bekommen B.Sc.Markus Barenhoff [www.embedded-tools.de] Dr. Nicholas Merriam [www.rapitasystems.com] Übersicht Reaktionszeit Nettolaufzeit Optimierung Worst-Case

Mehr

Speaker Separation and Tracking

Speaker Separation and Tracking Diss. ETH No. 16237 Speaker Separation and Tracking A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Seiences presented by Urs Anliker Dipl. El.-Ing.

Mehr

IDS Lizenzierung für IDS und HDR. Primärserver IDS Lizenz HDR Lizenz

IDS Lizenzierung für IDS und HDR. Primärserver IDS Lizenz HDR Lizenz IDS Lizenzierung für IDS und HDR Primärserver IDS Lizenz HDR Lizenz Workgroup V7.3x oder V9.x Required Not Available Primärserver Express V10.0 Workgroup V10.0 Enterprise V7.3x, V9.x or V10.0 IDS Lizenz

Mehr

Customer-specific software for autonomous driving and driver assistance (ADAS)

Customer-specific software for autonomous driving and driver assistance (ADAS) This press release is approved for publication. Press Release Chemnitz, February 6 th, 2014 Customer-specific software for autonomous driving and driver assistance (ADAS) With the new product line Baselabs

Mehr

SECURITY PROOFS IN NUMBER THEORETIC CRYPTOGRAPHY

SECURITY PROOFS IN NUMBER THEORETIC CRYPTOGRAPHY DISS ETH NO. 20264 SECURITY PROOFS IN NUMBER THEORETIC CRYPTOGRAPHY A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by DIVESH AGGARWAL M.Sc. ETH in Computer Science

Mehr

Fundamentals of Electrical Engineering 1 Grundlagen der Elektrotechnik 1

Fundamentals of Electrical Engineering 1 Grundlagen der Elektrotechnik 1 Fundamentals of Electrical Engineering 1 Grundlagen der Elektrotechnik 1 Chapter: Operational Amplifiers / Operationsverstärker Michael E. Auer Source of figures: Alexander/Sadiku: Fundamentals of Electric

Mehr

An Introduction to Monetary Theory. Rudolf Peto

An Introduction to Monetary Theory. Rudolf Peto An Introduction to Monetary Theory Rudolf Peto 0 Copyright 2013 by Prof. Rudolf Peto, Bielefeld (Germany), www.peto-online.net 1 2 Preface This book is mainly a translation of the theoretical part of my

Mehr

MorphMix A Peer-to-Peer-based System for Anonymous Internet Access

MorphMix A Peer-to-Peer-based System for Anonymous Internet Access Diss. ETH No. 15420 MorphMix A Peer-to-Peer-based System for Anonymous Internet Access A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical

Mehr

Dynamic load balancing in parallel particle methods

Dynamic load balancing in parallel particle methods Diss. ETH No. 22042 Dynamic load balancing in parallel particle methods A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Ömer Demirel M.Sc. Computational Science

Mehr

Exercise (Part XI) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1

Exercise (Part XI) Anastasia Mochalova, Lehrstuhl für ABWL und Wirtschaftsinformatik, Kath. Universität Eichstätt-Ingolstadt 1 Exercise (Part XI) Notes: The exercise is based on Microsoft Dynamics CRM Online. For all screenshots: Copyright Microsoft Corporation. The sign ## is you personal number to be used in all exercises. All

Mehr

Der Adapter Z250I / Z270I lässt sich auf folgenden Betriebssystemen installieren:

Der Adapter Z250I / Z270I lässt sich auf folgenden Betriebssystemen installieren: Installationshinweise Z250I / Z270I Adapter IR USB Installation hints Z250I / Z270I Adapter IR USB 06/07 (Laden Sie den Treiber vom WEB, entpacken Sie ihn in ein leeres Verzeichnis und geben Sie dieses

Mehr

Distributed testing. Demo Video

Distributed testing. Demo Video distributed testing Das intunify Team An der Entwicklung der Testsystem-Software arbeiten wir als Team von Software-Spezialisten und Designern der soft2tec GmbH in Kooperation mit der Universität Osnabrück.

Mehr

Granite Gerhard Pirkl

Granite Gerhard Pirkl Granite Gerhard Pirkl 2013 Riverbed Technology. All rights reserved. Riverbed and any Riverbed product or service name or logo used herein are trademarks of Riverbed Technology. All other trademarks used

Mehr

The atypical kinase hrio1 is a trans- acting factor in cytoplasmic maturation of the 40S ribosomal subunit

The atypical kinase hrio1 is a trans- acting factor in cytoplasmic maturation of the 40S ribosomal subunit DISS. ETH NO. 19168 The atypical kinase hrio1 is a trans- acting factor in cytoplasmic maturation of the 40S ribosomal subunit A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences

Mehr

The poetry of school.

The poetry of school. International Week 2015 The poetry of school. The pedagogy of transfers and transitions at the Lower Austrian University College of Teacher Education(PH NÖ) Andreas Bieringer In M. Bernard s class, school

Mehr

A Continuous Relaxation Based Heuristic for a Class of Constrained Semi-Assignment Problems

A Continuous Relaxation Based Heuristic for a Class of Constrained Semi-Assignment Problems Diss. ETH No. 13756 A Continuous Relaxation Based Heuristic for a Class of Constrained Semi-Assignment Problems A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree

Mehr

Mechanics of 3D Lattice Structures Produced by Rapid Prototyping

Mechanics of 3D Lattice Structures Produced by Rapid Prototyping Diss. ETH N 21813 Mechanics of 3D Lattice Structures Produced by Rapid Prototyping Experiments and Numerical Simulations A thesis submitted to attain the degree of Doctor of Science (Dr. sc. ETH Zurich)

Mehr

Franke & Bornberg award AachenMünchener private annuity insurance schemes top grades

Franke & Bornberg award AachenMünchener private annuity insurance schemes top grades Franke & Bornberg award private annuity insurance schemes top grades Press Release, December 22, 2009 WUNSCHPOLICE STRATEGIE No. 1 gets best possible grade FFF ( Excellent ) WUNSCHPOLICE conventional annuity

Mehr

Vorlesung Algorithmische Geometrie. Streckenschnitte. Martin Nöllenburg 19.04.2011

Vorlesung Algorithmische Geometrie. Streckenschnitte. Martin Nöllenburg 19.04.2011 Vorlesung Algorithmische Geometrie LEHRSTUHL FÜR ALGORITHMIK I INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Martin Nöllenburg 19.04.2011 Überlagern von Kartenebenen Beispiel: Gegeben zwei

Mehr

ABFRAGESPRACHE FÜR GEOMETRISCHE UND SEMANTISCHE INFORMATION AUS RASTERBASIERTEN TOPOGRAFISCHEN KARTEN. ABHANDLUNG zur Erlangung des Titels

ABFRAGESPRACHE FÜR GEOMETRISCHE UND SEMANTISCHE INFORMATION AUS RASTERBASIERTEN TOPOGRAFISCHEN KARTEN. ABHANDLUNG zur Erlangung des Titels DISS. ETH Nr. 14864 ABFRAGESPRACHE FÜR GEOMETRISCHE UND SEMANTISCHE INFORMATION AUS RASTERBASIERTEN TOPOGRAFISCHEN KARTEN ABHANDLUNG zur Erlangung des Titels DOKTOR DER TECHNISCHEN WISSENSCHAFTEN der EIDGENÖSSISCHEN

Mehr

Fluid-Particle Multiphase Flow Simulations for the Study of Sand Infiltration into Immobile Gravel-Beds

Fluid-Particle Multiphase Flow Simulations for the Study of Sand Infiltration into Immobile Gravel-Beds 3rd JUQUEEN Porting and Tuning Workshop Jülich, 2-4 February 2015 Fluid-Particle Multiphase Flow Simulations for the Study of Sand Infiltration into Immobile Gravel-Beds Tobias Schruff, Roy M. Frings,

Mehr

NUMÉRAIRE-INDEPENDENT MODELLING OF FINANCIAL MARKETS

NUMÉRAIRE-INDEPENDENT MODELLING OF FINANCIAL MARKETS DISS. ETH NO. 22018 NUMÉRAIRE-INDEPENDENT MODELLING OF FINANCIAL MARKETS A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by MARTIN PETER GERHARD HERDEGEN MSc in Mathematical

Mehr

2 German sentence: write your English translation before looking at p. 3

2 German sentence: write your English translation before looking at p. 3 page Edward Martin, Institut für Anglistik, Universität Koblenz-Landau, Campus Koblenz 2 German sentence: write your English translation before looking at p. 3 3 German sentence analysed in colour coding;

Mehr

A Workflow Approach to Stream Processing

A Workflow Approach to Stream Processing Diss. ETH No. 17600 A Workflow Approach to Stream Processing A dissertation submitted to ETH ZURICH for the degree of Doctor of Technical Sciences presented by BIÖRN JOHAN BIÖRNSTAD Dipl. Informatik-Ing.

Mehr

Scaling Out Column Stores: Data, Queries, and Transactions

Scaling Out Column Stores: Data, Queries, and Transactions DISS. ETH NO. 20314 Scaling Out Column Stores: Data, Queries, and Transactions A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by STEFAN HILDENBRAND Master of Science

Mehr

Technologies for Next Generation Telepresence

Technologies for Next Generation Telepresence Diss. ETH No. 22682 Technologies for Next Generation Telepresence A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented by CLAUDIA PIA KUSTER MSc ETH

Mehr