Software
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.
Distributed SPARQL
Evaluation
Query evaluators adapted for large distributed RDF datasets.
Semantic Pipelines
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.
