A system-level checkpointing mechanism, with global knowledge of the state and health of the machine, can improve performance and reliability by dynamically deciding when to skip checkpoint requests made by applications. This thesis presents such a technique, called cooperative checkpointing, and models its behavior as an online algorithm. Where C is the checkpoint overhead and I is the request...

EXPERIENCE: 1992July 1997 Degree Laurea in Fisica, Universita' di Torino. Thesis on "Aspects of learning in realistic neural networks", supervisor Dr. Alessandro Treves(SISSA). Full marks cum laude. 1997October 1998 Master, Magister Philosophiae, SISSA, Trieste. Thesis on "Determination of optimal effective interactions between amino acids in globular proteins", supervisor prof. Amos Maritan. F...

This thesis presents a tool for validating descriptions of distributed algorithms in the IOA language using an interactive theorem prover. The tool translates IOA programs into Larch Shared Language specifications in a style which is suitable for formal reasoning. The framework supports two common strategies for establishing the correctness of distributed algorithms: Invariants and simulation r...

In this thesis, we implement Bayesian inference and Bayesian experiment design in a model materials science problem. We demonstrate that by observing the behavior of a film deposited on a substrate, certain features of the substrate may be inferred, with quantified uncertainty. We show that Bayesian experimental design can be used to design efficient experiments. The substrate in this model pro...

Approved: ____________________________________ Thesis Supervisor ____________________________________ Title and Department ____________________________________ Date 2

In life sciences, scientists collect increasing amounts of data that must be stored, integrated, processed, and analyzed efficiently to make effective use of them. Thereby, not only the huge volume of available data raises challenges regarding storage space and analysis throughput, but also data quality issues, different data formats, and compliance issues such as data provenance make it hard t...

of master's thesis Author Saara Lehtinen Title of thesis Simulation of stormwater quality in an urban catchment using the Stormwater Management Model (SWMM) Department Department of Civil and Environmental Engineering Professorship Water Resources Engineering Code of professorship Yhd-12 Thesis supervisor Professor Harri Koivusalo Thesis advisor M.Sc. (Tech.) Gerald Krebs Date 10.11.2014 Number...

of master's thesis Author Laura Korhonen Title of thesis Investing in Care Home Properties in Finland Degree programme Degree Programme in Real Estate Economics Major Real Estate Management Code M3003 Thesis supervisor Professor Kauko Viitanen Thesis advisor Ph. D. Tero Lehtonen Date April 11, 2016 Number of pages 64 + 2 Language English

In this thesis, we investigate the improvement in treatment effectiveness when dynamically optimizing the fractionation scheme in radiation therapy. In the first part of the thesis, we consider delivering a different dose each day depending on the observed patient anatomy. Given that a fixed prescribed dose must be delivered to the tumor over the course of the treatment, such an approach result...

Roles of PhD supervisors are diverse, ranging from providing in-depth discipline-specific Public Health knowledge and technical (e.g., methodological) support to the students, encouraging them towards publications or conference presentations, offering pastoral for student wellbeing, finally preparing defend their thesis by conducting a mock viva. Effective supervision plays vital role in journe...