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.

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

Amalgame, short for AMsterdam ALignment GenerAtion MEtatool, is a Semantic Web tool for finding, evaluating and managing vocabulary alignments, i.e. relating corresponding concepts in different ...

Invisible XML is based on the idea that data in any parsable format can be treated as XML -- a format that is readable by machines as well as humans -- without the need for markup.

The Bio-Signal Data Processing and Visualization Suite supports the full cycle of collecting, processing, analysing and visualizing data from physiological sensors.