Today, on 14 August, NLnet and Centrum Wiskunde & Informatica (CWI) are launching a demo of the first public connection in ...

Experimental and in particular clinical data is often noisy and comes with clear statistical biases. Therefore a particular expertise of ours is on statistical modeling and learning as theoretical ...

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.

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 ...

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.

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 ...

Developing algorithms to tackle complex optimization and large scale data-analysis problems by combining techniques from mathematics and computer science.