Showing 1 - 18 results of 18 for search '"automation"', query time: 0.63s Refine Results
  1. 1
    Modélisation de l'interopérabilité d'objets communicants et de leur coopération : application à la domotique
    by Sartor, Fabien
    Published 2012
    Subjects: “...Automates étendus...”
    Get full text
  2. 2
    Test fonctionnel de propriétés hybrides
    by Grasland, Yves
    Published 2013
    Subjects: “...Home automation...”
    Get full text
  3. 3
    Développement et mise en application d'un cadre de modélisation pour l'analyse des risques appliqués aux systèmes constructifs
    by Bazzana, Manuel
    Published 2011
    Subjects: “...Automated AMDEC...”
    Get full text
  4. 4
    Développement d'une plateforme de co-simulation en vue de validation et d'évaluation de performances des systèmes de communication pour les installations de distribution électriques
    by Haffar, Mohamad
    Published 2011
    Subjects: “...Substation automation System...”
    Get full text
  5. 5
    Surveillance des processus dynamiques évènementiels
    by Karoui, Mohamed
    Published 2011
    Subjects: “...Automate hybride linéaire...”
    Get full text
  6. 6
    Les automates cellulaires en tant que modèle de complexités parallèles
    by Meunier, Pierre-Etienne
    Published 2012
    Subjects: “...Automates cellulaires...”
    Get full text
  7. 7
    Algèbres de Kleene, réécriture modulo AC et circuits en coq
    by Braibant, Thomas
    Published 2012
    Subjects: “...Automates...”
    Get full text
  8. 8
    Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires
    by Batis, Sonia
    Published 2013
    Subjects: “...Automates hybrides rectangulaires...”
    Get full text
  9. 9
    Composition d'interfaces homme-machine par planification automatique
    by Gabillon, Yoann
    Published 2011
    Subjects: “...Automated planning...”
    Get full text
  10. 10
    Modélisation par automate cellulaire des phénomènes diagénétiques des plateformes carbonatées. Calibration et paramétrisation à partir de deux cas d'études : l'Urgonien du Vercors (Crétacé inférieur, SE France) et les Calcaires Gris du Mont Compomolon (Lias, NE Italie).
    by Planteblat, Caroline
    Published 2013
    Subjects: “...Automate cellulaire...”
    Get full text
  11. 11
    Vérification de programmes avec structures de données complexes
    by Simacek, Jiri
    Published 2012
    Subjects: “...Automates d'arbre...”
    Get full text
  12. 12
    On computer-aided design-space exploration for multi-cores
    by Kempf, Jean-Francois
    Published 2012
    Subjects: “...Automates temporisés...”
    Get full text
  13. 13
    Vers une plateforme dédiée à la composition automatique et l'exécution de services : Applications E-Tourisme
    by Na lumpoon, Pathathai
    Published 2015
    Subjects: “...Automated service composition...”
    Get full text
  14. 14
    Visual Observation of Human Emotions
    by Jain, Varun
    Published 2015
    Subjects: “...Automated Facial Expression Analysis...”
    Get full text
  15. 15
    Apprentissage de règles associatives temporelles pour les séquences temporelles de symboles
    by Guillame-Bert, Mathieu
    Published 2012
    Subjects: “...Automated planning and scheduling...”
    Get full text
  16. 16
    Utilisation des schématisations de termes en déduction automatique
    by Bensaid, Hicham
    Published 2011
    Subjects: “...Automated theorem proving...”
    Get full text
  17. 17
    Composition flexible par planification automatique
    by Martin, Cyrille
    Published 2012
    Subjects: “...Automated planning...”
    Get full text
  18. 18
    Vérification relationnelle pour des programmes avec des données entières
    by Konecny, Filip
    Published 2012
    Subjects: “...Automates a compteurs...”
    Get full text
Search Tools: Get RSS Feed — Email this Search