ETH E-Collection · ETH Institutional Repository

1. Toward massively parallel multi-objective optimization with application to particle accelerators

Ineichen, Yves (2013)

Dissertationen und Habilitationen

2. Relating European temperature extremes to trends in mean temperature

Lustenberger, Andreas (2012)

Dissertationen und Habilitationen

3. Plio-pleistocene nutrient consumption in the Polar oceans reconstructed from diatom-bound nitrogen isotopes

Studer, Anja (2013)

Dissertationen und Habilitationen

4. Verification and synthesis of optimal decision strategies for complex systems

Summers, Sean Joey (2013)

Dissertationen und Habilitationen

5. Contributions towards optimized antennas for on-body operation

Li, Chung-Huan (2013)

Dissertationen und Habilitationen

6. Virtual experiment platform

Bloch, Daniel, Hector, Andrew, Niklaus, Pascal, Paschke, Melanie, Schmid, Bernhard und Stoll, Peter (2013)

Reports

7. Microcarriers for controlled transport and release made by microfluidic double emulsification

Sander, Jonathan Samuel (2013)

Dissertationen und Habilitationen

8. On phenotypic heterogeneity in colonal bacterial populations with a special focus on variation in metabolic functions

Nikolic, Nela (2013)

Dissertationen und Habilitationen

9. Assembly of a salmonella phage cocktail with broad, strictly virulent activity and detailed characterization of the phages used

Marti, Roger (2013)

Dissertationen und Habilitationen

10. The Distributed Flight Array

Oung, Raymond (2013)

Dissertationen und Habilitationen

11. Post-traumatic intervertebral disc degeneration - an in vitro study on the etiopathogenesis

Dudli, Stefan (2013)

Dissertationen und Habilitationen

12. Algorithms and interfaces for real-time deformation of 2D and 3D shapes

Jacobson, Alec (2013)

Dissertationen und Habilitationen

13. Advancing automated security protocol verification

Meier, Simon (2013)

Dissertationen und Habilitationen

14. Control of the oil upstream sector. Explaining policy choices across oil producing countries

Sarbu, Georgeta Bianca (2013)

Dissertationen und Habilitationen

15. Structural studies of amyloid fibrils by solid-state NMR

Schütz, Anne Kathrin (2013)

Dissertationen und Habilitationen

16. Non-Viral Strategies for Nucleic Acid Delivery

Felber, Arnaud Éleuthère (2013)

Dissertationen und Habilitationen

17. A process for the complete valorization of lignin into aromatic chemicals based on acidic oxidation

Werhan, Holger (2013)

Dissertationen und Habilitationen

18. The lepton+jets Selection and Determination of the Lepton Fake Rate with the Full RunIIb Data Set

Meister, Daniel (2013)

Masterarbeiten

19. EDM process analysis using high-speed imaging

Maradia, U., Knaak, R., Boos, J., Boccadoro, Marco, Stirnimann, Josef und Wegener, K. (2013)

Tagungsbeiträge

20. Do immigrants take or create residents’ jobs?

Basten, Christoph und Siegenthaler, Michael (2013)

Reports

21. Technological Diversification and Innovation Performance

Bolli, Thomas und Wörter, Martin (2013)

Reports

22. Using Head Tracking Data for Robust Short Term Path Prediction of Human Locomotion

Nescher, Thomas und Kunz, Andreas (2013)

Zeitschriftenbeiträge

23. Applying Search in an Automatic Contract-Based Testing Tool

Kolesnichenko, Alexey, Poskitt, Christopher M. und Meyer, Bertrand (2013)

Tagungsbeiträge

24. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Poskitt, Christopher M. und Poulding, Simon (2013)

Tagungsbeiträge

25. Verifying Total Correctness of Graph Programs

Poskitt, Christopher M. und Plump, Detlef (2013)

Zeitschriftenbeiträge