This dissertation considers three important aspects of model checking Markov models: diagnosis — generating counterexamples, synthesis — providing valid parameter values and analysis — verifying linear real-time properties. The three aspects are relatively independent while all contribute to developing new theory and algorithms in the research field of probabilistic model checking. We start by ...

We present specific-heat data on the type-II superconductors V3Si, LuNi2B2C and NbSe2 which were acquired with a low-temperature thermal analysis (DTA) technique. We compare our data with available literature data on these superconductors. In the first part we show that the DTA technique allows for fast measurements while providing a very high resolution on the temperature scale. Sharp features...

Sensor networks naturally apply to a broad range of applications that involve system monitoring and information tracking (e.g., airport security infrastructure, monitoring of children in metropolitan areas, product transition in warehouse networks, fine-grained weather/environmental measurements, etc.). Meanwhile, there are considerable performance deficiencies in applying existing sensornets i...

Detection and accurate quantification of treatment delivery errors is important in radiation therapy. This study aims to evaluate the accuracy of DVH based QA in quantifying delivery errors. Eighteen previously treated VMAT plans (prostate, H&N, and brain) were randomly chosen for this study. Conventional IMRT delivery QA was done with the ArcCHECK diode detector for error-free plans and plans ...

We investigated the physiological basis for development of obesity in uncoupling protein-diphtheria toxin A chain (UCP-DTA) transgenic mice. In these mice the promoter of the brown adipose tissue (BAT)-specific UCP was used to drive expression of DTA, resulting in decreased BAT function and development of obesity and insulin resistance (Lowell, B. B., S. V. Susulic, A. Hamann, J. A. Lawitts, J....

We extend our previous molecular dynamics experiments [Rodriguez et al., J. Phys. Chem. B 109, 24427 (2005)] to the analysis of the adsorption of catanionic surfactants at water/air interfaces, at a surfactant coverage close to that of the saturated monolayer: 30.3 A(2) per headgroup. The mixture of surfactants investigated corresponds to equal amounts of dodecytrimethylammonium (DTA) and dodec...