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)