Stefan Kortmann

Learn More
The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice. The semantics of the integration of two established rigorous(More)
We present an interactive and modular optimization tool, InterPol. It aims to help users with various tasks in the incremental program optimization process. InterPol ooers the capability to build a compiler from user-selected automatic optimization modules and run it on selective regions of a program, allowing a highly versatile, yet friendly way to achieve(More)
± H→ µνb ¯ b production at the Tevatron A search for W ± H→ µνb ¯ b production at the Tevatron een wetenschappelijke proeve op het gebied van Natuurwetenschappen, Wiskunde en Informatica Proefschrift ter verkrijging van de graad van doctor aan de Radboud Universiteit Nijmegen op gezag van de rector magnificus prof. mr.
Ethical aspects of soft tissue engineering For reasons of consistency within this thesis, some terms have been standardized throughout the text. As a consequence the text may differ in this respect from the articles that have been published. Ethical aspects of soft tissue engineering Proefschrift ter verkrijging van de graad van doctor aan de Radboud(More)
The new APXS for the MSL Rover mission was successfully tested, calibrated and delivered to NASA/JPL. The data acquisition time compared to MER was decreased by about a factor of 3, allowing a full in situ chemical analysis within ~3 hours at temperatures below ~–5°C. The ChemCam laser-induced breakdown spectroscopy (LIBS) flight instrument was calibrated(More)
s and presentatIons Waanders E, Lameris AL, Op den Camp HJ, Pluk W, Gloerich J, Strijk SP, Drenth JP. Hepatocystin is not secreted in cyst fluid of hepatocystin mutant polycystic livers. Poster presentation at the Human Proteome Organisation’s (HUPO) 7th Annual World Congress Amsterdam, the Netherlands, August 16th-20th, 2008. Waanders E, Van Keimpema L,(More)
This chapter introduces the central topic of this thesis: code-switching. It gives an overview of structural linguistic, sociolinguistic, and psycholinguistic approaches to code-switching, after which the theoretical and methodological differences between these approaches are highlighted. Next, it introduces a new angle to the study of code-switching that(More)
  • S. C. J. J. Kortmann, L. T. W. Verhoeven, H. E. T. Knoors, P. C. Muysken, Liesbeth M. van Beijsterveldt
  • 2017
.......................................................................................................................................... 19 INTRODUCTION .................................................................................................................................... 20 METHOD(More)
The aim of this study was to test which personality traits of the Five Factor Model of personality (“the Big Five”) were related to quality of life (QOL) in adolescents with asthma. In addition, this study tested whether relations between personality and QOL might be explained by ways of coping with asthma and symptom reporting. A sample of 405 12 to(More)
  • 1