In the EU-funded TRACTION project, opera became a platform for inclusion. The project has been selected among 40 landmark EU ...

Haptic technology, like a vibrating controller, can guide you through digital environments. But it can also influence your behaviour without you noticing. Researchers from CWI, Utrecht University and ...

The Netherlands is one of the most digitalized countries in Europe and even in the world. It is CWI’s mission to continually ...

RadCal is a design for programming language arithmetic with 100% exact rationals, and automatic precision management for reals based on midpoint radius algebra. No more floating point errors No more ...

More information: Static analysis across language boundaries Example cross-language interactions Webclient (Js/TypeScript) / Webserver (Java) Java/JNI/ {C, Python, Ada} C#/F# Remote Procedure Calls ...

We are looking for a candidate with a strong background in (computational) mathematics, basic knowledge of Bayesian statistics and an affinity with applications.

Many linear inverse problems can be formulated as convex optimization problems. These can be solved using iterative schemes that involve gradients and proximal operators of the functionals.

Wave-based imaging modalities such as biomedical ultrasound (US) are based on sending waves into a medium of interest through its boundary. The wave fields interact with the medium’s internal ...

Studying generic and fundamental mechanisms that enable the emergence of various degrees of organization, intelligence and autonomy in complex systems, and apply them to concrete problems of societal ...

Text indexing is a classic problem in computer science. It consists in constructing a compact index over a given text for answering subsequent pattern matching queries. From early days, and in ...