Tree Reasoning Solver
A satisfiability solver for an expressive and efficient tree logic, with static analyzers for queries and programming languages for web data structures.
Query evaluators adapted for large distributed RDF datasets.
Processing chains for combining heterogeneous linked data sources.
Mixed Reality Browser
Renderers for augmented content (such as points of interests) with panoramics, outdoor and indoor navigation techniques including pedestrian dead-reckoning and precise attitude estimation.
- Predictive Analytics
- AI/ML pipelines for scalable predictive analytics and risk computation, in particular for very large volumes of electronic health records.