Daniel Gisel, Supervised Prof, Karine Arnout, Eth Zürich
The goal of this diploma thesis was to create an Eiffel library to generate Java bytecodes. The library is divided into two abstraction levels. The lower level is a direct mapping from the structure...
Contract Wizard II Diploma Thesis (2009)
Dominik Wotruba, Supervised Prof, Karine Arnout, Eth Zürich
Let me express my thanks to the people who made this diploma thesis possible. First of all I want to thank Karine Arnout for her supervision, her scientific support and her very helpful comments on...
We study utility indifference pricing of claim streams with intertemporal consumption and power (CRRA) utilities. We derive explicit formulas for the derivatives of the utility indifference price...
Risk is usually analyzed and measured in different classes/cells.
Eth Zürich, Prof Dr, Alain-sol Sznitman
This is just a short note of Thanks to Prof. A.-S. Sznitman who inspired much of the enthusiasm that went into the creation of this thesis, all the people who supported me during this intense time...
ON THE DISCONNECTION OF A DISCRETE CYLINDER BY A BIASED RANDOM WALK (2009)
We consider a random walk on the discrete cylinder (Z/NZ) d ×Z, d ≥ 3 with drift N−dα in the Z-direction and investigate the large N-behavior of the disconnection time T disc N, defined as the...
Beat Pfister Speech Processing Group (2009)
We propose a language model based on a precise, linguistically motivated grammar (a hand-crafted Head-driven Phrase Structure Grammar) and a statistical model estimating the probability of a parse...
The Reusable Symbol Problem A position paper for NeSy’08 (2009)
Abstract. Examining the major differences between how traditional programs compute and our current understanding of how brains compute, I see only one key gap in our ability to carry out logical...
Quantitative Risk Management Methods Swiss Re (2009)
Stéphane Daul, Enrico De Giorgi, Eth Zürich, Filip Lindskog, Eth Zürich, Alexander Mcneil, ...
We describe a model that takes into account the tail dependence present in a large set of historical risk factor data using the modern concept of copulas. We extend the popular t-copula to obtain a...
Real-Time Fluid Simulation Using Height Fields Semester Thesis (2009)
Bálint Miklós, Advisor Dr. Matthias Müller, Prof Dr, Markus Gross, Eth Zürich
iii Realistic water simulation is a challenging domain for the computer graphics community. Water-like phenomena can be described quite accurately using the Navier-Stokes equations and, thus,...
citizen of Germany accepted on the recomodation of (2009)
Ingo Andreas Schurr, Prof Dr, Emo Welzl, Eth Zürich, Dr. Tibor Szabó, Eth Zürich, ...
I would like to express my deep gratitude to my advisor Emo Welzl. His idea of a Pre-Doc program gave me the chance to sneak into the world of discrete mathematics. Furthermore, all I know about how...
XML as the most successful data representation format makes it easy to start working with structured data because of the simplicity of XML documents and DTDs, and because of the general availability...
ETH Zürich Image-based Procedural Modeling of Facades Gang Zeng ∗ (2009)
Pascal Müller, Eth Zürich, Peter Wonka, Luc Van Gool, Eth Zürich, K. U. Leuven
Copyright Notice Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profi...
Linear Cryptanalysis of DES Diploma Thesis (2008)
Pascal Junod, Diploma Professor, Prof Dr, Ueli Maurer, Eth Zürich, To Mimi
The main goal of this diploma work is the implementation of Matsui’s linear cryptanalysis of DES and a statistical and theoretical analysis of its complexity and success probability. In order to...
Multi-Agent Model Predictive Control with Applications to Power Networks (2008)
R. R. Negenborn, Samenstelling Promotiecommissie, Rector Magnificus Voorzitter, Prof. Dr. Ir. B. De, ...
ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof.dr.ir. J.T. Fokkema, voorzitter van het College van Promoties, in het openbaar te...
Mario V. Wüthrich, Eth Zürich, Risk Management, Risk Bearing
www.math.ethz.ch/∼wueth
and a new model for object communication. The C # compiler of the Shared Sources Common Language Infrastructure (SSCLI) served as a basis to extend the compiler. Modifications mainly concern the...
Richard Keiser, Eth Zürich, Prof Dr, Markus Gross, Mark Pauly
We introduce a framework for detecting self-collisions during interactive editing of point-sampled surfaces. Collision detection is based on a classification operator which computes whether a point...
Multi-Agent Model Predictive Control with Applications to Power Networks (2008)
R. R. Negenborn, Samenstelling Promotiecommissie, Rector Magnificus Voorzitter, Prof. Dr. Ir. B. De, ...
ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof.dr.ir. J.T. Fokkema, voorzitter van het College van Promoties, in het openbaar te...
Technicians and Engineers Technicians and Engineers Materials Physics EMEZ (2008)
Eth Zürich, Prof Dr, G. Kostorz, Haydee Aguirre June, ...
Ph. D. students who are not employed by the institute
A Development of of Berkeley (2008)
To my father who has enabled and inspired my education in Electrical Engineering through his generous support.
On the Architectural Design of Frequency-Agile Multi-Standard Wireless Receivers (2008)
Linus Maurer, Thomas Burger, Eth Zürich
A flexible, reconfigurable receiver architecture that extends the direct conversion architecture is presented. The receiver structure is based on high dynamic range/lowpower Σ ∆ analog-to-digital...
3. Infinite Mean Models (2008)
Mario V. Wüthrich, Eth Zürich, Risk Management, Eth Zürich, ...
Risk is usually analyzed in different classes. For example, • for solvency purposes one studies different risk classes, • a financial company is divided into different business units. That is,...
Walter Scott, Eth Zürich, Suzana Straus, Mark Thachuk, Federico Zahariev
0–2 1 – Time plan
Release Date: January 2006 (2008)
Manual Martin Scheringer, Matthew Macleod, Fabio Wegmann, Eth Zürich
This document provides a short description of the OECD POV and LRTP Screening Tool software (“The Tool”), the input data required and the results that are produced. A full description of the...
A. Pretschner, Eth Zürich, W. Prenninger, S. Wagner, C. Kühnel, Tu München, ...
Model-based testing relies on behavior models for the generation of model traces: input and expected output—test cases—for an implementation. We use the case study of an automotive network...
Carsten Binnig, Donald Kossmann, Eth Zürich, Eric Lo
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automate certain testing...
Procedural Modeling of Buildings (2008)
Eth Zürich, Peter Wonka, Simon Haegler, Eth Zürich, Andreas Ulmer, Eth Zürich, ...
Copyright © 2006 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided...
accepted on the recommendation of (2008)
Falk Tschirschnitz, Prof Dr, Emo Welzl, Eth Zürich, Prof Dr. Walter Morris
Linear Programming is the problem of maximizing a linear function in d variables subject to n linear constraints. Its relevance arises from the huge number of optimization problems that can be...
Thomas Dübendorfer, Prof B. Plattner, T. Dübendorfer, Communication Systems Group, Eth Zürich
Motivation for worm research „Always online – always under attack“ • Exponential growth in the number of yearly Internet attacks
Information Security Group (2008)
David Basin, Jürgen Doser, Eth Zürich
Security-design models are models that combine design specifications for distributed systems with specifications of their security policies. We have previously proposed an expressive UML-based...
Covering period 01.10.2002-31.01.2006 1 Contract Start Date: 01.10.2002 Duration: 42 Months (2008)
Martin Buss, Partners Martin Buss, Antonio Bicchi, ...
Project funded by the European Community under the “Information Society Technologies ” Programme (1998-2002) 1 This final report is a preliminary version for the final review 14 th Feb 2006 in...
Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry (2008)
Modellbasierte Entwicklung, Tu Braunschweig, Mirko Conrad, The Mathworks, Holger Giese, Univ Paderborn, ...
umgebungen
accepted on the recommendation of (2008)
Christoph Ambühl, Prof Dr, Emo Welzl, Eth Zürich, Prof Dr, Susanne Albers, ...
examiner
GECCO 2007 Tutorial on EMO (2008)
Eckart Zitzler, Eth Zürich, Eckart Zitzler, Kalyanmoy Deb, Eckart Zitzler, Eth Zürich, ...
Copyright is held by the author/owner(s).
A. Pretschner, Eth Zürich, W. Prenninger, S. Wagner, C. Kühnel, Tu München, ...
Model-based testing relies on behavior models for the generation of model traces: input and expected output—test cases—for an implementation. We use the case study of an automotive network...
Prof Emo Welzl, Eth Zürich, Bernd Gärtner, Jochen Giesen, Matthias John, Michael Hoffmann, ...
citizen of Japan submitted to
der Universität Mannheim vorgelegt von Diplom-Wirtschafts-Informatiker (2008)
Matthias Brantner, Dekan Professor, Dr. Matthias Krause, Referent Professor, Dr. Guido Moerkotte, ...
nichts über die Techniken wissen, die benutzt werden, um eine Anfrage zu bearbeiten.
Pascal Müller ∗ ETH Zürich Procedural Modeling of Buildings (2008)
Peter Wonka, Simon Haegler, Eth Zürich, Andreas Ulmer, Eth Zürich, Luc Van Gool, ...
Figure 1: This figure shows the application of CGA shape, a novel shape grammar for the procedural modeling of computer graphics architecture. First, the grammar generates procedural variations of...
Optimization Problems in Mobile Communication (2008)
Prof Dr, Peter Widmayer, Eth Zürich
In one way or another mobile phones have changed everyone’s life. Mobile communication networks made it possible to be connected and reachable even in the most remote places. A lot of research...
Jan Smans, Frank Piessens, Wolfram Schulte, Benjamin Mor, Eth Zürich, Dot N, ...
like deadlocks can happen! 2 Summary � Programming model for concurrent programming in Java-like languages to � Prevent low-level data races � Prevent deadlocks � Prevent high-level data races
We illustrate a simple algorithm for approximating the medial axis of a 2D shape with smooth boundary from a sample of this boundary. The algorithm is compared to a more general approximation method...
VETO- Enabling a P2P-based Market for Composed Services (2008)
Service-oriented peer-to-peer architectures combine the benefits of service-oriented architectures and peer-to-peer networks, such as loose coupling and scalability. They also support service...
Submitted to Communications of the ACM. Model Driven Security (2008)
David Basin, Eth Zürich, Martin Buchheit, Interactive Objects, Software Gmbh, Jürgen Doser, ...
We present Model Driven Security, a new approach to building secure systems. In Model Driven Security, designers specify high-level system models along with their security properties and use tools to...
accepted on the recommendation of (2008)
Prof Dr, Peter Widmayer, Eth Zürich, Prof Dr, Klaus Jansen, ...
Scheduling problems arise in various application areas in industry, planning, and timetabling. These problems have been subject of extensive research not only in the area of computer science but also...
Felix Esche, Martin Schweizer, Eth Zürich
Abstract: Let L be a multidimensional Lévy process under P in its own filtration and consider all probability measures Q turning L into a local martingale. The minimal entropy martingale measure Q E...
(Guest Editors) Multi-scale Feature Extraction on Point-Sampled Surfaces (2008)
Mark Pauly, Richard Keiser, Markus Gross, Eth Zürich
We present a new technique for extracting line-type features on point-sampled geometry. Given an unstructured point cloud as input, our method first applies principal component analysis on local...
Peter Bühlmann, Torsten Hothorn, Eth Zürich
We present a statistical perspective on boosting. Special emphasis is given to estimating potentially complex parametric or nonparametric models, including generalized linear and additive models as...
Departement Informatik, ETH Zürich (2008)
Eth Zürich, Kay Römer (editor, Zinaida Benenson, Rwth Aachen, Friedemann Mattern, Eth Zürich, ...
ii
DISS. ETH NO. 16800 Understanding Ad hoc Networks From Geometry to Mobility (2008)
Dipl Inf. -ing, Eth Zürich, Prof Dr, Roger Wattenhofer, Prof Dr, Rajmohan Rajaraman, ...
born 26.04.1980
Aspect-Oriented Workflow Languages: AO4BPEL and Applications (2008)
Anis Charfi, Aus Sfax Tunesien, Referent Prof, ...
von
Abstract A Case Study of a Formalized Security Architecture (2008)
Achim D. Brucker, Eth Zürich, Burkhart Wolff
CVS is a widely known version management system, which can be used for the distributed development of software as well as its distribution from a central database. In this paper, we provide an...
Hypercontact structures and Floer homology (2008)
Sonja Hohloch, Eth Zürich, Gregor Noetzel, Dietmar A. Salamon, Eth Zürich
We introduce a new Floer theory associated to a pair consisting of a Cartan hypercontact 3-manifold M and a hyperkähler manifold X. The theory is a based on the gradient flow of the hypersymplectic...
Floer homology groups in hyperkähler geometry (2008)
Sonja Hohloch, Dietmar A. Salamon, Eth Zürich, Gregor Noetzel
In this paper we outline the construction of a hyperkähler analogue of symplectic Floer homology [6, 7, 8]. The theory is a based on the gradient flow of the hypersymplectic action functional on the...
Abstract. Given a set S of n points in R 3, a point x in R 3 is called center point of S if every closed halfspace whose bounding hyperplane passes through x contains at least ⌈n/4 ⌉ points from...
Stathes Hadjiefthymiades, Neda Nikaein, George Fankhauser, George Fankhauser, ...
This draft describes a specific problem encountered when using RSVP (Resource Reservation Protocol) over optimised routes in MIPv6 (Mobile IP Version 6). The address translation in the MIP's...
(Guest Editors) Multi-scale Feature Extraction on Point-sampled Surfaces (2007)
Mark Pauly, Richard Keiser, Markus Gross, Eth Zürich
We present a new technique for extracting line-type features on point-sampled geometry. Given an unstructured point cloud as input, our method first applies principal component analysis on local...
Abstract A Case Study of a Formalized Security Architecture (2007)
Achim D. Brucker, Eth Zürich, Burkhart Wolff
CVS is a widely known version management system, which can be used for the distributed development of software as well as its distribution from a central database. In this paper, we provide an...
Active Oberon for.NET: A Case Study in Object Model Mapping (2007)
Active Oberon is a substantial evolution of the programming language Oberon. It distinguishes itself by a novel object model and by its integration into the.NET language interoperability framework....
Completeness of a bytecode verifier and a certifying (2007)
Robert F. Stärk, Eth Zürich, Joachim Schmid
Java-to-JVM compiler
INCIDENCE THEOREMS ON MANIFOLDS (2007)
Jürgen Richter-gebert, Eth Zürich
This presentation focuses on structural aspects of algebraic proofs for incidence theorems. Several approaches to proving incidence theorems by algebraic methods are compared and it is shown that all...
St. Gallen, Of Swissmetro, Kw Axhausen, Eth Zürich, M Bierlaire, G Abay, ...
The SwissMetro is a proposed major innovation to the Swiss transport system: an underground mag-lev system to connect the major urban centres in Switzerland. As part of the various assessment studies...
Guerino Mazzola, Eth Zürich, Departement Gess
We give an overview of mathematical music theory as it has been developed in the past twenty years. The present theory includes a formal language for musical and musicological objects and relations....
Deciding bit-vector arithmetic with abstraction (2007)
Al E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady, ...
Abstract. We present a new decision procedure for finite-precision bitvector arithmetic with arbitrary bit-vector operations. Our procedure alternates between generating under- and...
Deciding bit-vector arithmetic with abstraction (2007)
Al E. Bryant, Joël Ouaknine, Sanjita. Seshia, Ofer Strichman, Bryan Brady, Eth Zürich
Abstract. We present a new decision procedure for finite-precision bitvector arithmetic with arbitrary bit-vector operations. Our procedure alternates between generating under- and...
Deciding bit-vector arithmetic with abstraction (2007)
Al E. Bryant, Joël Ouaknine, Sanjita. Seshia, Ofer Strichman, Bryan Brady, Eth Zürich
Abstract. We present a new decision procedure for finite-precision bitvector arithmetic with arbitrary bit-vector operations. Our procedure alternates between generating under- and...
Sparse tensor product methods for radiative transfer (2007)
Eth Zürich, Prof Dr, R. Hiptmair, Eth Zürich, Prof Dr, Ch. Schwab, ...
Funding: in collaboration with ABB corporate research
Plane wave discontinuous Galerkin methods (2007)
Dr. R. Hiptmair, Eth Zürich, Prof Dr. I. Perugia
Standard low order Lagrangian finite element discretization of boundary value problems for the Helmholtz equation −∆u −ω 2 u = f are afflicted with the so-called pollution phenomenon: though...
Mario V. Wüthrich, Eth Zürich, Unsw Sydney, Risk Bearing
www.math.ethz.ch/∼wueth
A chimera mesh arises from overlaying two completely unrelated, usually (semi-)structured, finite element meshes [3], see Fig. 1. Body fitted chimera meshes are very well suited for the resolution of...
Representation of XML Schema Components (2007)
Among the different representations of XML Schema’s data model which are available today, none provides access to the Schema components in a unified, extensible, and navigable way from current...
Composite Event Detection in Active Databases and Distributed Systems (2007)
This report summarizes how Snoop, a composite event detection language for active databases, and Sentinel, an implementation of Snoop, were designed and how one can model an ECA-Rule in Snoop....
Spectral Methods for Reconstruction Problems (2007)
Dieter Mitsche, Dieter Mitsche, Prof Dr, Emo Welzl, Eth Zürich
presented by
Eth Zürich, Robert Finger, Stéphanie Schmid, Robert Finger, Stéphanie Schmid
make verbatim copies of this document for non-commercial purposes by any means, provided that this copyright notice appears on all such copies. MODELING AGRICULTURAL PRODUCTION RISK AND THE...
Extensible Schema Documentation with XSLT 2.0 (2007)
XML Schema documents are defined using an XML syntax, which means that the idea of generating schema documentation through standard XML technologies is intriguing. We present X2Doc, a framework for...
Deciding bit-vector arithmetic with abstraction (2007)
Al E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady, ...
Abstract. We present a new decision procedure for finite-precision bitvector arithmetic with arbitrary bit-vector operations. Our procedure alternates between generating under- and...
Approximation algorithms for multi-criteria traveling salesman problems (2007)
Bodo Manthey, L. Shankar Ram, Eth Zürich
We analyze approximation algorithms for several variants of the traveling salesman problem with multiple objective functions. First, we consider the symmetric TSP (STSP) with γ-triangle inequality....
Deciding bit-vector arithmetic with abstraction (2007)
Al E. Bryant, Joël Ouaknine, Sanjita. Seshia, Ofer Strichman, Bryan Brady, Eth Zürich
Abstract. We present a new decision procedure for finite-precision bitvector arithmetic with arbitrary bit-vector operations. Our procedure alternates between generating under- and...
Eth Zürich, Prof G. Tröster, Marco Kuster, Marco Kuster
First of all, I am very grateful that I was allowed to finish the master thesis of my
S. Walter, Supervisor Tomas Dohnal, Eth Zürich
We investigate the behavior of solutions to the 1D NonLinear Coupled Mode Equations (NL-CME) with a Finite Difference (FD) method. The FD approach is used to render the NLCMEs a system of Ordinary...
QuantumML: Modelling Hidden Worlds of Information Supervision (2006)
Professor Prof, Dr. Donald Kossmann, Assistant Cristian Duda, Ghislain Fourny, Eth Zürich
haben.
High dimensional graphs and variable selection with the Lasso (2006)
Nicolai Meinshausen, Peter Bühlmann, Eth Zürich
The pattern of zero entries in the inverse covariance matrix of a multivariate normal distribution corresponds to conditional independence restrictions between variables. Covariance selection aims at...
XPath Filename Expansion in a Unix Shell (2006)
Locating files based on file system structure, file properties, and maybe even file contents is a core task of the user interface of operating systems. By adapting XPath's power to the...
Indistinguishability amplification (2006)
Ueli Maurer, Eth Zürich, Krzysztof Pietrzak, Renato Renner
A random system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and proofs can be...
Dipl Inf. -ing, Eth Zürich, Malters Lu, Prof Dr, Roger Wattenhofer, Prof Dr, ...
born 11.09.1979 citizen of
THE COGNITIVE APPROACH TO MODELING ENVIRONMENTS (CAME’06) Workshop Chairs (2006)
Kai-florian Richter, Dr. Thomas Barkowsky, Kai-florian Richter, ...
Contact Address:
Agri-food & Agri-environmental Economics Group (2006)
Eth Zürich, Head Prof, Dr. Bernard Lehmann, Gregor Albisser, Bernard Lehmann
2. What can farmers decide? 3. Cooperation and collaboration strategies 4. Requirements for modeling structural change 5. Agent-based modeling
Silvan Graf, Advisor Patrick Stuedi, Prof G. Alonso, Eth Zürich
Implementing a virtual network
M.: Meshless deformations based on shape matching (2005)
Matthias Müller, Bruno Heidelberger, Matthias Teschner, Markus Gross, Eth Zürich, Eth Zürich
Figure 1: The presented technique is stable under all circumstances and allows to simulate hundreds of deformable objects in real-time. We present a new approach for simulating deformable objects....
Libraries Virtual Machine (2005)
Gilles Barthe, Martin Abadi, Amy Felty, Rustan Leino, Inria Lmu Münich, Ru Nijmegen, ...
16 members
Eth Zürich, Rolf Jeltsch, Wilfred Van Gunsteren, Eth Zürich, Prof Dr
or may be downloaded from: www.rw.ethz.ch/dokumente/cse_annual_report_0506.pdf CSE curricula at ETH Zürich on the internet: www.rw.ethz.ch or www.cse.ethz.ch Cover: Optimized structures of helical...
Paul Glasserman, J. Schönbucher, Eth Zürich
Given a portfolio of loans we can calculate the amount of capital we need for the whole portfolio. This is risk measurement. How can we break this down to the individual exposure? • Who benefits...
For XML-based applications in general and B2B applications in particular, mapping between di#erently structured XML documents, to enable exchange of data, is a basic problem. A generic solution to...
For XML-based applications in general and B2B applications in particular, mapping between di#erently structured XML documents, to enable exchange of data, is a basic problem. A generic solution to...
Fabian Kuhn, Dipl Inf. -ing, Eth Zürich, Waltenschwil Ag, Prof Dr, Roger Wattenhofer, ...
born 30.07.1976 citizen of
Aaron Zollinger, Dipl Inf. -ing, Eth Zürich, Prof Dr, Roger Wattenhofer, Prof Dr, ...
born 24.04.1975 citizen of
Student name Reto Ghioldi Student no. 00-920-777 Status 9th semester (2005)
Reto Ghioldi, Eth Zürich, Supervisors Ilinca Ciupa, Andreas Leitner
Eiffel Test Studio is a tool for fully automatic testing of Eiffel classes, based on the contracts present in them [1]. However, external code (e.g. external C/C++ code) is usually not equipped with...
Ralf Hiptmair, Eth Zürich, A. Bossavit
These slides have been prepared to be used during a talk. Therefore, any information given on these slides has to be taken with a pinch of salt: statements may be incomplete, sloppy or unduly terse,...
Rate Analysis for Streaming Applications with On-chip Buffer Constraints (2004)
Alexander Maxiaguine, Eth Zürich, Simon Künzli
While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates that can be supported...
Wireless Future: Ubiquitous Computing (2004)
Friedemann Mattern, Eth Zürich
This article is based on a shortened and adapted translation of the paper "Ubiquitous Computing: Szenarien einer informatisierten Welt" [6], some parts have also been taken from the paper...
Rate analysis for streaming applications with on-chip buffer constraints (2004)
Alexander Maxiaguine, Eth Zürich, Simon Künzli
Abstract — While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates that can...
Rate analysis for streaming applications with on-chip buffer constraints (2004)
Alexander Maxiaguine, Eth Zürich, Simon Künzli
Abstract — While mapping a streaming (such as multimedia or network packet processing) application onto a specified architecture, an important issue is to determine the input stream rates that can...
Rolf Jeltsch, Wilfred Van Gunsteren, Eth Zürich, Prof Dr
or may be downloaded from: www.rw.ethz.ch/dokumente/cse_annual_report_0405.pdf CSE curricula at the ETH Zürich on the internet: www.rw.ethz.ch or www.cse.ethz.ch Cover: Free energies of ligand...
An Environment, Ilinca Ciupa, Supervised Prof, Dr. Karine Arnout, Eth Zürich
There are many people who contributed to this project. First, I would like to thank Dr. Karine Arnout for her supervision of this thesis, her support and very helpful comments and suggestions. My...
Test Wizard: Automatic test generation based on Design by Contract™, Master thesis (2004)
Nicole Greber, Supervised Prof, Karine Arnout, Eth Zürich
First of all I want to thank Karine Arnout for her supervision, her scientific support and her very helpful comments and reviews on this master thesis and Prof. Dr. Bertrand Meyer who made this...
Gabriela Glanzmann, Martin Von Siebenthal, Prof Dr, Göran Andersson, Eth Zürich
unsere erste Semesterarbeit zusammen verfasst hatten und dies gut geklappt hatte, entschieden wir uns, auch die zweite gemeinsam in Angriff zu nehmen. Gaby hatte bereits einige Vorlesungen im Bereich...
Blue-c: A spatially immersive display and 3D video portal for telepresence (2003)
Markus Gross, Stephan Würmlin, Martin Naef, Edouard Lamboray, Christian Spagno, Andreas Kunz, ...
Figure 1: Panoramic picture of the blue-c portal showing the projection screens in transparent mode, the outer scaffold with attached cameras, the LED arrays, and the LCD stereo projectors. We...
Rolf Sidler, Supervisor Prof, Dr. Klaus Holliger, Copyright Diplomarbeiten, Departement Erdwissenschaften, Eth Zürich
‘Der/Die Autor/in erklärt sich hiermit einverstanden, dass die Diplomarbeit für private und Studien-Zwecke verwendet und kopiert werden darf. Hingegen ist eine Vervielfältigung der Diplomarbeit...
Blue-c: A spatially immersive display and 3D video portal for telepresence (2003)
Markus Gross, Stephan Würmlin, Martin Naef, Edouard Lamboray, Christian Spagno, Andreas Kunz, ...
Figure 1: Panoramic picture of the blue-c portal showing the projection screens in transparent mode, the outer scaffold with attached cameras, the LED arrays, and the LCD stereo projectors. We...
Prof Dr, Göran Andersson, Eth Zürich, Lothar Fickert, Tu Graz, ...
die Arbeit hat mir sehr viel Freude bereitet. Bedanken möchte ich mich bei all jenen, die mich in dieser Zeit begleitet haben: Meinen Eltern für die großzügige Unterstützung und das Vertrauen,...
M.: Point-based computer graphics. Eurographics Tutorial T1 (2003)
Marc Alexa, Tu Darmstadt, Markus Gross, Markus Gross, Mark Pauly, Eth Zürich, ...
Seminar for Applied Mathematics (2003)
Eth Zürich, Rolf Jeltsch, Wilfred Van Gunsteren
CSE curricula at the ETH Zürich on the internet:
Lab Presentation Chairs Industrial Seminar Chairs (2002)
M. Gross, Eth Zürich, H. Pfister Merl, M. Zwicker, Eth Zürich, M. Pauly, ...
Organized by INFORMATIK Max-Planck-Institut
Pointshop 3D: An Interactive System for Point-Based Surface Editing (2002)
Matthias Zwicker, Mark Pauly, Oliver Knoll, Markus Gross, Eth Zürich
We present a system for interactive shape and appearance editing of 3D point-sampled geometry. By generalizing conventional 2D pixel editors, our system supports a great variety of different...
Pointshop 3D: An Interactive System for Point-Based Surface Editing (2002)
Matthias Zwicker, Mark Pauly, Oliver Knoll, Markus Gross, Eth Zürich
We present a system for interactive shape and appearance editing of 3D point-sampled geometry. By generalizing conventional 2D pixel editors, our system supports a great variety of different...
Pointshop 3D: An Interactive System for Point-Based Surface Editing (2002)
Matthias Zwicker, Mark Pauly, Oliver Knoll, Markus Gross, Eth Zürich
We present a system for interactive shape and appearance editing of 3D point-sampled geometry. By generalizing conventional 2D pixel editors, our system supports a great variety of different...
Least Squares and Kalman Filtering (2002)
On Forney Graphs, Hans-andrea Loeliger, Eth Zürich
General versions of Kalman filtering and recursive least-squares algorithms are derived as instances of the sum(mary)-product algorithm on Forney-style factor graphs.
Mitsubishi Electric Research Laboratories (2002)
Http Www Merl, Liu Ren Cmu, Hanspeter Pfister Merl, Matthias Zwicker, Eth Zürich
this paper we introduce a new multi-pass approach to perform EWA surface splatting on modern PC graphics hardware, called object space EWA splatting. We derive an object space formulation of the EWA...
On the coherence of expected shortfall (2002)
Dirk Tasche, Risklab Switzerland, Eth Zürich, Carlo Acerbi, Abaxbank Milano
• Value-at-Risk versus “coherent risk measure” • Worst conditional expectation and tail conditional expectation as alternatives • Expected shortfall and its elementary properties •...
Roger Kilian-kehr, Referent Prof, A. Buchmann, Tu Darmstadt, ...
Mobility in conjunction with communication facilities in the form of mobile telephony seems to be one of the major technology trends observed throughout the last decade. Many experts and analysts...
Supporting a low delay best-effort class in the presence of real-time traffic (2002)
Samarjit Chakraborty, Eth Zürich
In this paper we propose a packet scheduler to provide a low delay service to best-effort packets without jeopardizing the delay bounds associated with real-time flows. We show that some of the well...
On the coherence of expected shortfall (2002)
Dirk Tasche, Risklab Switzerland, Eth Zürich, Carlo Acerbi, Abaxbank Milano
i • Value-at-Risk versus “coherent risk measure” • Worst conditional expectation and tail conditional expectation as alternatives • Expected shortfall and its elementary properties •...
Guerino Mazzola, Eth Zürich, Departement Gess
We give an overview of mathematical music theory as it has been developed in the past twenty years. The present theory includes a formal language for musical and musicological objects and relations....
Scalable high-speed prefix matching (2001)
Marcel Waldvogel, George Varghese, Jon Turner, Bernhard Plattner, Eth Zürich
Finding the longest matching prefix from a database of keywords is an old problem with a number of applications, ranging from dictionary searches to advanced memory management to computational...
Scalable high-speed prefix matching (2001)
Marcel Waldvogel, George Varghese, Jon Turner, Bernhard Plattner, Eth Zürich
Finding the longest matching prefix from a database of keywords is an old problem with a number of applications, ranging from dictionary searches to advanced memory management to computational...
Hybrid Jini For Limited Devices (2001)
Vincent Lenders Polly, Eth Zürich
Introduction We envision a future that computers and electronics will be mobile and collaborate spontaneously, bringing convenience to life. Two immediate problems before realizing such a future are...
Least Quantile Regression (Rousseeuw, 1984) (2001)
X, H, η real random variables on probability space (Ω, F, P) X explanatory variable, η error A ⊂ F sub-σ-algebra X, H A-measurable
Least Quantile Regression (Rousseeuw, 1984) (2001)
X, H, η real random variables on probability space (Ω, F,P) X explanatory variable, η error A ⊂ F sub-σ-algebra X, H A-measurable
Dirk Tasche, Risklab Switzerland, Eth Zürich, Risk Day
Expected Shortfall (ES) in several variants has been proposed as a remedy for the deficiencies of Value-at-Risk (VaR), which in general is not a coherent risk measure. In fact, most definitions of ES...
Scalable high-speed prefix matching (2001)
Marcel Waldvogel, George Varghese, Jon Turner, Bernhard Plattner, Eth Zürich
Finding the longest matching prefix from a database of keywords is an old problem with a number of applications, ranging from dictionary searches to advanced memory management to computational...
Competence Center EDM “Life Cycle Inventory Results for the Cordless Phone Gigaset 2010” (2001)
Manuele Margni, Olivier Jolliet, Thomas Baumgartner, Short Presentations, Ing Antonio Federico, Dr. Fabio Musmeci, ...
“Importance of system borders and scenario assumptions in the evaluation of new media technologies”
This is a collection of basics and basic examples of probabilistic analysis of discrete random variables, very much biased towards what we will need in the course on Randomized Algorithms. Even if...
Basic elements and problems of probability theory (1999)
After a brief review of ontic and epistemic descriptions, and of subjective, logical and statistical interpretations of probability, we summarize the traditional axiomatization of calculus of...
RSVP Support for Mobile IP Version 6 in Wireless Environments (1998)
George Fankhauser, Stathes Hadjiefthymiades, Neda Nikaein, Eth Zürich, Neda Nikaein Eurecom, Lorraine Stacey, ...
This draft describes a specific problem encountered when using RSVP (Resource Reservation Protocol) over optimised routes in MIPv6 (Mobile IP Version 6). The address translation in the MIP's...
Probability Propagation and Decoding in Analog VLSI (1998)
Felix Lustenberger, Markus Helfenstein, Felix Tarköy, Eth Zürich, Endora Tech Ag
# The sum-product algorithm #probability propagation# can be mapped directly into analog tran# sistor circuits. These circuits enable the construction of analog-VLSI decoders for turbo codes,...
Project GIPSY - Facing the Challenge of Future Integrated Software Engineering Environments (1997)
Tobias Murer, Eth Zürich, Prof Dr, Albert Kündig, Andreas Helbling
The goal of a software process is the development and maintenance of a software product. A software engineering environment (SEE) integrates a combination of tools to a cohesive environment to...
SKIP: Securing the Internet (1996)
Germano Caronni, Hannes Lubich, Ashar Aziz, Tom Markson, Rich Skrenta, Computer Eng, ...
Currently, two different approaches are being pursued for securing the Internet with respect to commercial use on a broad scale. The properties of these two approaches – application coupled...
Three-dimensional synthetic landscapes: Data acquisition, modelling and visualization (1995)
Alessandro Carosio, Eth Zürich
The extension of geographic information systems (GIS) into the 3rd dimension is increasingly gaining importance. Today, the realisation of truly 3-dimensional GIS solutions is not yet in view due to...
Pattern matching in Explorer: Extended abstract (1991)
Patterns are a simple yet powerful way of encoding Go knowledge. We describe how pattern matching is implemented in our program Explorer. Patterns in Computer Go We define a Go pattern as a set of...
Prof Dr, Peter Widmayer, Eth Zürich
The focus of this thesis is on algorithmic questions that are directly linked to practical problems from diverse applications like manufacturing, train scheduling or telecommunications. We present...
citizen of Switzerland accepted on the recommendation of (1975)
Kaspar Fischer, Prof Dr, Emo Welzl, Eth Zürich, Dr. Bernd Gärtner, Eth Zürich, ...
I would like to thank all the people without whom this thesis would not have been written. In the first place, my thanks go to Emo Welzl for giving me the opportunity to work in his research group...