—Robots do not have any capability of taking moral responsibility. At the same time industrial robotics is entering a new era with “intelligent” robots sharing workbench with...
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
Achieving high classification accuracy is a major challenge in the diagnosis of cancer types based on gene expression profiles. These profiles are notoriously noisy in that a larg...
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...