www.implexe.eu

Aide au diagnostic Algorithmique Affectation de ressources Analyse Apprentissage Approximation par Intervalles Bases de connaissances Calcul scientifique Calcul symbolique Capitalisation des savoirs Classification Configuration Contraintes Déduction Démonstration automatique Documentation semi-structurée Etudes de cas Exploration combinatoire Formation

Générateurs de code Génie logiciel Gestion des opérations Heuristiques Ingénierie des modèles Intelligence Artificielle maîtrise de la complexité Maquettes numériques Mécanisation du raisonnement Méthodes formelles mise au point mise en équations Modélisation conceptuelle Moteurs d'inférence Mûrissement d'idées Ontologies Optimisation

Parallélisation perfectionnement Projet pilote Programmation logique Programmation mathématique Prolog Prototypage rapide Prototypes démonstrateurs R&D Recherche Opérationnelle Reformulations Règles métier Représentation des connaissances Réseaux sémantiques Résolution de problèmes

Satisfaction de contraintes Services Web Simulations Structuration des données Synthèses Systèmes d'aide à la décision Systèmes experts Transformation de modèles Validation Vérification Veille technologique XML

Tags

Plan du site

Accueil       
Introduction       Etudes logicielles
Conseil en technologies      
Références industrielles      
Agrément CIRSécurisation du CIRLibres propos
Prestations
Expertise
Maîtrise du risqueEtudes amont
En vitrine
Clip
Archives
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
Nous contacter

En savoir plus       Positionnement métier
Méthodologie
Périmètre R&DR&D informatique
Gamme de missions
Exemples d'interventions       
Activités annexes
Partenariats
Informations légales
Copyright Implexe 2007-2011