Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 2 Profils similaires
Clocks Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Information Systems Médecine et sciences de la vie
Orthopedics Médecine et sciences de la vie
Ontology Ingénierie et Science des Matériaux
Logic mathématiques
Description Logics mathématiques
Computability and decidability Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1999 2015

Résultat de recherche 2004 2017

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
!!File
Real time systems
Clocks
Computability and decidability
Explosions

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y. 2014 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol 8842, p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8842)

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

!!File
Ontology
Logic
Description Logics
Open Source Software
Semantic Web

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y. 4 avr. 2014 Open problems in real-time computing. 2 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

!!File

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y. 2013 PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

!!File

Integrated Information System for Multi-criteria Management of Orthopedic Infections

Ortiz Vega, J. J., De Nizza, D., Schobbens, P-Y. & Meurisse, H. 20 nov. 2013 Mobile and Information Technologies in Medicine and Health 2013 .

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

!!File
Information Systems
Orthopedics
Infection
Prosthesis Failure
Knee Prosthesis

Activités 2009 2017

  • 9 Participation à un atelier/workshop, un séminaire, un cours
  • 8 Participation à une conférence, un congrès
  • 1 Présentation orale

NASA Formal Methods Symposium

Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Présentation orale

NASA Formal Methods Symposium

Ortiz Vega, J. J. (Orateur)
2017 → …

Activité: Participation ou organisation d'un événementParticipation à une conférence, un congrès

Scade Academic Community Conference

Ortiz Vega, J. J. (Participant)
8 sept. 20169 sept. 2016

Activité: Participation ou organisation d'un événementParticipation à une conférence, un congrès

Open problems in real-time computing

Ortiz Vega, J. J. (Conférencier)
4 avr. 2014

Activité: Participation ou organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Mobile and Information Technologies in Medicine and Health 2013

Ortiz Vega, J. J. (Conférencier)
20 nov. 2013

Activité: Participation ou organisation d'un événementParticipation à une conférence, un congrès

Thèse

ArThUR: Un outil d'aide à la manipulation d'ontologies et de la logique de Markov

Auteur: Bodart, A. & Evrard, K., 29 août 2014

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en informatique

Fichier

Création d'un Outil Interactif d'Analyse de Données Patients

Auteur: Volvert, S., 4 sept. 2015

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en informatique

Fichier