Différences

Ci-dessous, les différences entre deux révisions de la page.

--- recherche:biblio:outilsia [2017/10/31 18:58] – tigli
+++ recherche:biblio:outilsia [2017/10/31 19:04] (Version actuelle) – tigli
@@ Ligne 4: / Ligne 4: @@
 |||
-^Quoi^Qui^Outils logiciels^Sur quoi^
+^Quoi^Qui^Outils logiciels^Sur quoi^^
 |Pbs sous contraintes – modélisation et résolution|Christophe LECOUTRE (Univ. d’Artois)|Les lgs sont souvent trop complexes pour les développeurs, sont seulement pour des experts.|Des pbs d’ordonnancement, d’optimisation, de planification d’ateliers |
 | | |De modélisation = API sur Java : MCSP3| |
@@ Ligne 21: / Ligne 21: @@
 | | | |Méthode de construction : NEON, robuste| |
 | | | |Outils de modélisation open source:|Ontologies existantes sur http://ontofox.hegroup.org/ |
-| | | |YED| |
+| | | |YED|
-| | | |Xmind| |
+| | | |Xmind|
-| | | |CMapTools| |
+| | | |CMapTools|
-| | | |Outil de construction : Protégé 5 .1| |
+| | | |Outil de construction : Protégé 5 .1|
-| | | |Outil d’édition : SNOOP 2.3| |
+| | | |Outil d’édition : SNOOP 2.3|
-| | | |Outil de validation : Oops| |
+| | | |Outil de validation : Oops|
-| | | |Outil d’exploration : Outofox, Swoogle, Watson| |
+| | | |Outil d’exploration : Outofox, Swoogle, Watson|
-| | | |Outil de mise à dispo : BioPortal| |
+| | | |Outil de mise à dispo : BioPortal|
-| | | |Outils de visualisation :| |
+| | | |Outils de visualisation :|
-| | | |GraphViz| |
+| | | |GraphViz|
-| | | |Webvowl  outil web, téléhargement de l’ontologie via son browser| |
+| | | |Webvowl  outil web, téléhargement de l’ontologie via son browser|
-| | | |Outil de support : Mapping Master, plugin de Protégé| |
+| | | |Outil de support : Mapping Master, plugin de Protégé|
 |Programmation d’applications multi-agents|Olivier Boissier (Mines de Saint-Etienne)|REPAST (2000) langage procédure Java ou C++|Les agents autonomes, dans un organisation en environnement partagé, perçoivent et agissent. |
-| | | |GAMA (2010) langage procédure Java| |
+| | | |GAMA (2010) langage procédure Java|
 | | | |JASON proche de la prg logique, interprété|Simulation sociale ex. évacuation de bâtiments, bataille Game of Thrones |
-| | | |SARL/JANUS| |
+| | | |SARL/JANUS|
-| | | |JACOMO|Solution des meilleurs positionnements de pilones électriques ou de capteurs pour des économies d’énergie | | |
+| | | |JACOMO|Solution des meilleurs positionnements de pilones électriques ou de capteurs pour des économies d’énergie |
-| | | |BRAHMS| |
+| | | |BRAHMS|
 | | | |Etc.…85 outils recensés en 2017|Intégration d’applications pour coopérer |
-| | | |Difficiles à débugger| |
+| | | |Difficiles à débugger|
 |Machine learning|Gaël Varoquaux (INRIA Saclay)|Langage R historique|Apprentissage statistique, dosage de la complexité des modèles, minimisation des erreurs, régularité, compromis des variances |
-| | | |Hadoop sur du Java| |
+| | | |Hadoop sur du Java|
-| | | |Spark BD distribuée pour gros volume, interprété| |
+| | | |Spark BD distribuée pour gros volume, interprété|
-| | | |Librairies C++ :| |
+| | | |Librairies C++ :|
-| | | |Shogun| |
+| | | |Shogun|
-| | | |Libsvm| |
+| | | |Libsvm|
-| | | |Liblinear| |
+| | | |Liblinear|
 | | | |Libgbm de Microsoft|
 | | | |XGBoost|
@@ Ligne 54: / Ligne 54: @@
 | | | |Numpy|
 | | | |Pandas|
-| | | |Dask (en cours de création)|Les + grosses sociétés se font la course.
+| | | |Dask (en cours de création)|Les + grosses sociétés se font la course.|
 | | | |Tensorflow de Google|
 | | | |Pytorch de Facebbok|
-|Traitement automatique des langues|Thierry Hamon ( Univ. Paris 13)|Heideltime|Analyse de données textuelles en lg naturel
+|Traitement automatique des langues|Thierry Hamon ( Univ. Paris 13)|Heideltime|Analyse de données textuelles en lg naturel|
 | | | |Genia tagger|
 | | | |Term suite règles d’extraction|
@@ Ligne 69: / Ligne 69: @@
 | | | |Syllabs|
 | | | |Proxem|
-|Problème SAT|Laurent Simon (LABRI, univ. Bordeaux)|Temps de résolution exponentiel.|Logique propositionnelle sur problème difficile ‘on essaie plutôt qu’on réfléchit’. NP=P
+|Problème SAT|Laurent Simon (LABRI, univ. Bordeaux)|Temps de résolution exponentiel.|Logique propositionnelle sur problème difficile ‘on essaie plutôt qu’on réfléchit’. NP=P||
-| | | |Exploration de toutes les solutions avec les valeurs des variables pour que la clause soit vraie = arbre des possibles le plus malin possible.
+| | | |Exploration de toutes les solutions avec les valeurs des variables pour que la clause soit vraie = arbre des possibles le plus malin possible.|
 | | | |BMC outil de pré processing SAT, utilisé chez IBM et INTEL|
-| | | |Plein de solveurs, il existe une compétition annuelle de solveurs. Ex . Sudoku diabolique résolu en 0,11 seconde.|Appliqué à d’actuels problèmes industriels comme planification, crypto, vérification hardware, biologie|
+| | |Plein de solveurs, il existe une compétition annuelle de solveurs. Ex . Sudoku diabolique résolu en 0,11 seconde.|Appliqué à d’actuels problèmes industriels comme planification, crypto, vérification hardware, biologie|