Explore projects
-
Updated
-
Updated
-
Updated
-
Bordeaux University Hospital OMOP mappings documentation in the context of the European EHDEN project
Updated -
FAST extended release is the sequel of FAST model-checker developped at LSV. This tools has been extended with TaPAS libraries in order to accept plugins for solvers of the Presburger arithmetic.
Updated -
Updated
-
Computational knowledge graph based drug repositioning: an holistic approach
Updated -
Computational knowledge graph based drug repositioning: an holistic approach
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
-
Updated