SUMO Sumo Sumo

We used the Suggested Upper Merged Ontology (SUMO) and its associated automated reasoning tools to tackle these matters and uncovered some inconsistencies on geological

To cope with the state space explosion problem, several reduction techniques have been proposed: on-the-fly verification checks properties during the state space

Our proposal allows to use a realistic mobility model to compute movement of vehicles on a real road with Opnet Modeler to effectively simulate communication networks and with

Nous avons pu confirmer que TRIM5α constituait un substrat de SUMO, puisque nous sommes parve- nus à détecter pour la première fois des formes SUMOylées de TRIM5α dans

La diminution du niveau de pro- téines SUMOylées est associée à une modifica- tion de l’activité de protéines de l’hôte en cours d’identification et joue un rôle important

Professeur François GUILLEMIN – Professeur Thierry CONROY - Professeur Didier PEIFFERT Professeur Frédéric MARCHAL.. 3 ème sous-section

The solution for the temperature distributioil uncler the corner of a wedge-shaped plate mill be clerivecl first: the temperature regime under polygonal areas

As mentioned previously, the Danish National Institute for Building Research has incorporated this concept into an empirical field method which, for a given cement