Raccourcis
Le groupe de recherche sur l'intelligence artificielle et la représentation (AIR) a été créé en 2014 à l'Université de Castilla-La Mancha, et depuis lors, il a établi son siège à l'Escuela Superior de Informática (ESI) à Ciudad Real, afin de promouvoir l'étude , conception, développement et application pratique de techniques d'Intelligence Artificielle pour résoudre des problèmes réels dans le cadre de projets de R&D avec des entreprises ou de projets de recherche, dans lesquels les étudiants de l'ESI ont l'opportunité de collaborer et même de rédiger des thèses de doctorat.
Ses membres ont une expérience dans l'étude des formalismes de représentation des connaissances et leur manipulation intelligente, mettant en évidence la représentation graphique de l'information dans le contexte de la réalité augmentée et l'optimisation du processus de rendu non interactif, et le développement de systèmes d'apprentissage, de systèmes de décision, de connaissances systèmes à base de données, systèmes experts, systèmes multi-agents dans divers domaines d'application, mettant en évidence le commerce électronique et la vidéosurveillance. C'est dans cette ligne qu'ils développent leurs projets.
Le groupe de recherche AIR concentre ses recherches sur trois axes, qui déterminent ses axes de recherche. En premier lieu, l'axe Intelligence Artificielle Appliquée détermine les axes de la Surveillance Intelligente, de la Robotique Mobile et du Machine Learning. Dans un second temps, l'axe Visualisation et Rendu est associé aux lignes de Réalité Augmentée, de Synthèse d'Images Réalistes et d'Analyse Automatique des Mouvements.Enfin, l'axe Commerce Electronique est abordé dans une perspective générale centrée sur la conception et le développement d'entreprises dans lesquelles des algorithmes basés sur l'IA des techniques sont déployées et développées, axées sur l'amélioration des processus internes et de l'expérience utilisateur.
David Vallejo Fernández
David.Vallejo@uclm.es
Téléphone : +34 926 29 53 00 (poste 6494)
Le groupe de recherche concentre ses travaux sur le développement de nouvelles méthodes, techniques, outils et processus qui aident les ingénieurs en logiciel et en informatique à construire des systèmes d'information de meilleure qualité. Le groupe Alarcos traite de nombreuses lignes de recherche, avec un accent particulier sur les aspects de la mesure et de la qualité des logiciels, l'amélioration des processus logiciels, la gestion des connaissances, l'analyse, la conception, les tests et la maintenance des logiciels, ainsi que la sécurité et l'audit des logiciels.
Le groupe de recherche développe de nombreux projets de recherche dans ce sens, tant au niveau régional et national qu'international, et collabore avec de nombreuses entreprises du secteur, offrant des services actifs de transfert de technologie et de conseil. De plus, le groupe offre des programmes de formation à l'entreprise, dans les technologies et méthodologies les plus avancées dans le domaine du développement de logiciels de qualité.
Le groupe Alarcos développe actuellement de nombreuses lignes de recherche, toutes liées à la qualité logicielle, qui peuvent être regroupées comme suit :
Dr Mario Piattini Velthuis
Mario.Piattini@uclm.es
Tél. : (+34) 926 295 300 ext. 3715
Fax: (+ 34) 926 295 354
Le groupe ARCO concentre ses recherches sur la conception de systèmes hétérogènes complexes (hardware-software) et le développement de services de communication avancés. Les membres du groupe ont une vaste expérience dans la réalisation de projets de R+D+i, ayant participé à de nombreux projets financés par des fonds publics, tant nationaux (Ministères de la Science et de l'Innovation et de l'Industrie, Junta de Castilla-La Mancha, etc. ) que international (Union Européenne, OTAN, Actions Intégrées...).
En tant que groupe de recherche universitaire à vocation marquée vers le transfert de technologie, la relation avec les entreprises du secteur s'est particulièrement renforcée au travers de projets financés à la fois par des programmes institutionnels (PROFIT, CENIT...) et par les entreprises elles-mêmes, toutes leaders en le secteur des TIC (Indra, Telefónica I+D, Tecnobit, Infoglobal...). Dans ce domaine, le groupe propose également des prestations de formation et de conseil tant dans les domaines précités qu'en développement à base de logiciels libres.
Conception de Systèmes Hétérogènes complexes (Hardware-Software) :
Ce domaine de recherche est axé sur le développement de méthodologies et d'outils pour la conception de systèmes complexes avec à la fois des composants matériels et logiciels (systèmes embarqués). Il comprend des aspects de spécification, de vérification, de planification et d'affectation, de synthèse matérielle, de génération de code logiciel, de simulation, de prototypage..., avec un accent particulier sur la conception d'architectures reconfigurables. En particulier, les travaux portent sur la définition d'architectures et de méthodologies facilitant l'intégration transparente d'éléments matériels et logiciels, permettant une interaction entre lesdits éléments indépendamment de leur localisation, de leur forme d'implémentation et des mécanismes de communication qui s'établissent entre eux, en même temps que leur réutilisation ultérieure est facilitée dans le développement futur de nouveaux systèmes.
Réseaux et services de communication avancés :
Au sein de cette ligne, l'utilisation de systèmes distribués et d'infrastructures de communication est adressée pour offrir des services de nouvelle génération (foyer numérique, services mobiles, télésurveillance...). Les travaux portent sur la définition d'architectures logicielles (grâce à l'utilisation de middleware) qui, utilisant à la fois les technologies de communication filaires et sans fil et incluant des systèmes embarqués, des réseaux de capteurs, etc., permettent l'intégration de réseaux et systèmes hétérogènes et la création et la modélisation de nouveaux services basés sur les communications. Ces types de services et leur application dans des environnements tels que les maisons, les bureaux, les grands espaces publics... permettent le développement de nouveaux domaines de recherche qui ont permis d'inventer des termes tels que l'intelligence ambiante et l'informatique ubiquitaire.
Dr Juan Carlos López
Tél. : (+34) 926 295 300 ext. 3739
Fax: (+ 34) 926 295 354
L'objectif de ce groupe est d'appliquer de nouvelles méthodes, techniques, outils et processus d'ingénierie informatique au développement scientifique et technologique dans les domaines de l'informatique éducative et des systèmes d'apprentissage en ligne et de l'interaction homme-ordinateur. Il a proposé de nouvelles techniques pour la conception et le développement d'applications Web et a utilisé des dispositifs avancés qui supportent de nouveaux paradigmes d'interaction (collaboration, informatique ubiquitaire, réalité virtuelle, etc.). Le cœur du groupe a réalisé des projets de R+D+I pour la conception d'applications web, de collecticiels et d'informatique mobile et ubiquitaire en suivant des méthodologies centrées sur l'utilisateur. Le développement des technologies mobiles et ubiquitaires s'est fait avec l'utilisation des Tablet PC, des PDA et des tableaux blancs interactifs, ainsi que diverses technologies de réseau telles que le WIFI, le Bluetooth, les ultrasons, l'infrarouge, etc.
Informatique éducative et systèmes d'apprentissage en ligne :
Interaction ordinateur-homme : Interaction homme machine:
Dr Manuel Ortega Cantero
Tél.: (+ 34) 926 295 481
Fax: (+ 34) 926 295 354
Le groupe de recherche Programmation déclarative et transformation automatique de programme (DEC-tau) a été créé en octobre 2000 pour favoriser la recherche et le développement de méthodes formelles appliquées, notamment, à l'intégration de langages déclaratifs multi-paradigmes et à la transformation de programmes déclaratifs écrits dans ce type de langage. Nous utilisons le qualificatif « multiparadigme » dans un sens large qui englobe les langages qui intègrent des caractéristiques logiques, fonctionnelles, ainsi que de logique floue.
Ces dernières années, nous avons concentré notre intérêt sur la conception de langages de logique floue qui intègrent parmi leurs ressources expressives le traitement d'informations imprécises de manière naturelle. Plus précisément, nous avons développé un langage basé sur l'unification par similarité, que nous appelons Bousi~Prolog (BORroso Prolog avec Unification par Similarité), dont il existe une implémentation de haut niveau et une implémentation de bas niveau qui est supportée par un prototype de machine Warren avec similarité (SWAM). De plus, notre groupe a mis en place un système d'exécution de programmes multi-adjoints que nous appelons FLOPER (acronyme de Fuzzy LOgic Programming Environment for Research). Il est à noter que les premières applications pratiques de ces langages ont déjà été réalisées : Bousi~Prolog a été utilisé pour le catalogage de texte et FLOPER pour manipuler du texte XML, implémentant une extension floue des langages XPath et XQuery.
Aujourd'hui, nous combinons les deux approches dans la conception et la mise en œuvre du langage de programmation de logique floue entièrement intégré, FASILL.
Intégration des langages logiques et fonctionnels
La programmation logique-fonctionnelle (LF) vise à intégrer les paradigmes logiques et fonctionnels purs pour obtenir des langages plus expressifs et efficaces. Étant donné que la sémantique opérationnelle standard de ces langages embarqués est basée sur (une variante) du rétrécissement, nous nous intéressons aux aspects formels et implémentationnels des stratégies de rétrécissement ainsi qu'à la combinaison du rétrécissement avec d'autres mécanismes opérationnels.
Conception et implémentation de langages de logique floue
Cet axe de recherche poursuit la conception et l'implémentation de langages logiques incluant des fonctionnalités issues de la logique floue, afin de permettre de traiter l'imprécision avec des techniques déclaratives. Nous nous concentrons sur le développement de langages logiques basés sur l'unification faible (Bousi~Prolog) et la logique multi-adjointe (FLOPER) et également sur l'étude de leurs propriétés formelles et applications.
Transformation et spécialisation des programmes
Le but de la transformation de programme est de dériver un programme sémantiquement équivalent à un autre programme initial mais avec un meilleur comportement pour certaines propriétés (par exemple l'efficacité). L'évaluation partielle (EP) est une technique de transformation de programme qui génère des versions spécialisées d'un programme en fonction d'entrées données. Dans notre groupe, nous avons réalisé un travail de pionnier dans ce domaine. Par exemple, nous avons développé un transformateur de programme LF basé sur des règles + stratégies et des algorithmes de contrôle EP raffinés pour ce type de langage. Des techniques de transformation pour les programmes logiques multiadjoints ont également été définies et leurs propriétés formelles étudiées.
Dr Pascual Julian Iranzo
Tél. : (+34) 926 295 300 ext. 3716
Fax: (+ 34) 926 295 354
Le groupe de recherche SMILe (Soft Management of Internet and Learning) développe ses travaux dans le domaine de l'application des techniques du Soft-Computing (notamment la Logique Floue) au sein de la Recherche d'Information sur Internet, des Systèmes d'Apprentissage et d'Aide à la Décision et plus récemment de l'Analyse des Sentiments et des Opinions et de l'Analyse Intelligente des Données et du Big Data. Dans ce cadre, les contributions apportées aux modèles permettant la recherche sémantique d'informations sur le Web et d'autres grandes bases de données, la gestion efficace de référentiels de documents dynamiques, etc. se distinguent. Toutes ces contributions scientifiques sont marquées par une profonde approche pratique qui se traduit dans les différents outils de recherche et de gestion des connaissances qui ont été mis en place et mis en œuvre ces dernières années (FISS, Zoom, GUMSe, BUDI, AGORA, etc.).
Dr José Angel Olivas Varela
JoseAngel.Olivas@uclm.es
Tél. : (+34) 926 295 300 ext. 6476
Fax: (+ 34) 926 295 354
Le groupe GSyA concentre ses recherches sur l'ingénierie logicielle sécurisée et la gestion de la sécurité. Plus précisément, le groupe étudie comment construire et utiliser des logiciels plus sécurisés, pour lesquels il développe des méthodes et des processus d'ingénierie logicielle, de nouvelles techniques de modélisation, ainsi que des outils qui fournissent un support automatisé pour la construction de logiciels plus sécurisés, abordant toutes les étapes du logiciel. processus de développement et en tenant compte des paradigmes de développement et des technologies les plus avancées. En outre, le groupe travaille au développement de méthodologies et de techniques pour mesurer et gérer la sécurité des technologies de l'information dans les entreprises de manière systématique et prévisible, en développant de nouveaux modèles de maturité de la sécurité et des systèmes de gestion de la sécurité de l'information et de l'audit, particulièrement axés sur les petites et moyennes entreprises. grandes entreprises, et respectant les principales normes internationales de sécurité ICT.
Le groupe GSyA concentre son activité fondamentalement sur deux axes de recherche :
Génie logiciel sécurisé :
Gestion de la sécurité:
Dr Eduardo Fernandez-Medina Paton
Eduardo.FdezMedina@uclm.es
Tél. : (+34) 926295300 ext. 3744
Télécopieur: (+ 34) 926295354
Ce groupe est dédié à l'acoustique appliquée aux sols roulants. L'évaluation acoustique du comportement de la surface de roulement sur les routes est un besoin croissant pour les administrations routières et environnementales en Espagne. Les systèmes de positionnement global (GPS) ainsi que les méthodes de surveillance acoustique permettent l'intégration des paramètres acoustiques dans les systèmes de gestion des routes. Les objectifs de ces axes de recherche sont de contribuer, par la caractérisation géoréférencée du revêtement routier, à la maîtrise du bruit de circulation et à la conception et l'aménagement de nouveaux revêtements routiers.
Les mesures sont réalisées à l'aide de la méthode CPX, qui nécessite un logiciel adéquat de traitement des données, permettant de tirer des conclusions conduisant à l'amélioration et au confort des voiries et autoroutes urbaines.
Acoustique appliquée aux surfaces roulantes-chaussées :
Acoustique appliquée à la conception et à la caractérisation des matériaux:
Dr Fernando J. Teran Sierra
Fernando.Teran@uclm.es
Tél. : (+34) 926 295 300 ext. 3721
Fax: (+ 34) 926 295 354
Le groupe de recherche Modélisation de l'Intelligence Ambiante (MAmI) travaille sur les paradigmes computationnels de l'intelligence ambiante (Intelligence ambiante) et l'informatique omniprésente (Informatique omniprésente). Dans ce vaste paradigme, le groupe développe des lignes de recherche liées à l'informatique mobile, aux interfaces utilisateur intelligentes et aux applications sensibles au contexte. Le groupe développe une recherche fortement appliquée, notamment dans les domaines des systèmes de soins, de la surveillance de la santé et de l'analyse des comportements.
Les projets de recherche récents sont :
membres permanents du groupe:
Intelligence Ambiante Appliquée et Technologies Adaptées
Principaux domaines d'application
Dr José Bravo Rodriguez
José.Bravo@uclm.es
Tél. : (+34) 926 295 300 ext. 3713
Fax: (+ 34) 926 295 354
Le groupe Modèles et Algorithmes dans les Systèmes de Transport (MAT) développe ses recherches dans le domaine de la Recherche Opérationnelle. L'objectif poursuivi est de développer de nouveaux modèles d'optimisation appliqués à la planification, à la conception et au contrôle des systèmes de transport, dans lesquels le plus grand nombre d'aspects pertinents du problème sont incorporés, afin qu'ils permettent aux planificateurs et/ou gestionnaires de disposer d'outils d'analyse qui les aider dans le processus de prise de décision. Les outils mathématiques les plus utilisés à cette fin sont les programmes mathématiques avec des contraintes d'équilibre. Ces outils permettent d'intégrer le comportement des utilisateurs dans le système par rapport aux décisions prises.
Dr Ricardo Garcia Rodenas
Ricardo.Garcia@uclm.es
Tél. : (+34) 926 295 300 ext. 6222
Fax: (+ 34) 926 295 354
Le groupe de recherche Oreto est né à l'École supérieure d'informatique de l'Université de Castilla-La Mancha, à Ciudad Real (Espagne) en 1997. Les travaux du groupe se sont orientés, depuis sa création, vers l'application des connaissances dans les techniques de l'intelligence artificielle à différents domaines et activités. Axés sur l'utilisation et le développement de systèmes informatiques souples, tels que les logiques non classiques (multivaluées et floues), le raisonnement approché et la modélisation qualitative et linguistique, différents projets de recherche ont été développés avec succès. Dans ces projets, différents types d'événements et d'actions ont été modélisés, identifiés et induits dans des systèmes complexes où l'incertitude et le flou sont des éléments intrinsèques.
Grâce à l'intégration de capteurs et de caméras vidéo, ont été proposés : des systèmes de surveillance intelligents dans les grandes installations, l'identification et la classification des différents types d'impacts que peut subir la clôture qui protège les routes et les autoroutes, ainsi que la description des type de conduite effectué par un conducteur donné.
La construction d'informations à partir des données obtenues à partir de capteurs, de bases de données, du web, de caméras vidéo, etc. nécessite une révision des techniques classiques d'apprentissage automatique. Des termes comme BIG DATA nous offrent une nouvelle perspective, avec de nouvelles caractéristiques et de nouveaux besoins. Pour faire face à ce nouveau défi, la vision du groupe de recherche a intégré la conception et l'utilisation d'une multitude de petits systèmes qui collaborent, apprennent et se coordonnent de manière décentralisée et parallèle, en utilisant des techniques d'intelligence en essaim pour obtenir des systèmes multiclassificateurs.
Membres permanents du groupe :
Dr Mme Ester del Castillo Herrera.
Dr D. Juan Giral Muiña
Dr D. Luis Jimenez Linares
Dr D. Juan Moreno Garcia
Dr D. Luis Rodríguez Benítez.
Compte tenu de la complexité des problèmes actuels, les approches expérimentales et théoriques nécessitent une contrepartie informatique. C'est dans ce contexte que se concentrent les travaux de notre groupe : la création et l'application de modèles mathématiques-informatiques à l'étude de problèmes réels d'intérêt scientifique ou technique. Notre groupe s'attaque à cette tâche en construisant des modèles physico-mathématiques que nous traduisons en outils logiciels efficaces.
Notre intérêt actuel est porté sur le traitement des systèmes d'éléments interdépendants. Cette approche (réseaux complexes), malgré sa nouveauté, s'est avérée extrêmement utile pour l'analyse, l'interprétation et la prédiction du comportement de systèmes complexes. Des exemples typiques en sont : le système économique, les réseaux sociaux, Internet, le www, le système métabolique, le génome ou l'ensemble des maladies humaines d'origine génétique. Les études menées dans ce domaine montrent l'existence d'un comportement commun des systèmes décrits par les réseaux quelle que soit leur nature physique (économique, sociale, biologique ou technologique). Dans ce vaste domaine, nous avons concentré nos travaux sur le développement et l'application de modèles informatiques et de techniques pour l'identification, la description et le contrôle de la structure interne des réseaux complexes. Le point clé dans ce contexte est l'identification des groupes d'entités apparentées (communautés) dans le réseau.
Membres permanents du groupe
Dr Alfonso Nino Ramos
Dr Sebastian Reyes Avila
Dans notre groupe, nous considérons les lignes de recherche suivantes:
Méthodologique
Appliqué
Le volet appliqué, en particulier, représente une façon extraordinaire de collaborer avec des équipes d'autres disciplines.
Dr Alfonso Nino Ramos
Alfonso.nino@uclm.es
Tél. : (+34) 926 295 300 ext. 6474 / 3720
Fax: (+ 34) 926 295 354
Le groupe est composé de professeurs et de chercheurs du Département d'ingénierie électrique, électronique, d'automatisation et des communications - IEEAC - (domaine de l'ingénierie des systèmes et de l'automatisation -ISA-) de l'Université de Castilla-La Mancha (UCLM) à Ciudad Real. Dédié depuis 1999 au développement d'outils de vision et d'intelligence artificielle avec des applications aux systèmes de sécurité et à la biométrie, au contrôle qualité, à l'imagerie diagnostique, aux systèmes d'aide à la décision et à l'ingénierie biomédicale.
Dr Jesús Salido Tercero (Prof. TU) @jsalido
Jésus.Salido@uclm.es
N° de tél. : (+34) 926 295 427
Le groupe Informatique Visuelle 3D et Robotique a été créé en 1998 au sein du Pôle Ingénierie des Systèmes et Automatismes. Ses travaux portent sur l'offre de solutions intelligentes grâce à des capteurs 3D dans de multiples applications : numérisation de pièces (environnements artistiques, sanitaires et manufacturiers), numérisation et reconstruction de grands espaces (bâtiments civils ou patrimoniaux, parcs archéologiques, etc.), interaction intelligente de robots avec Vision 3D et techniques immersives de réalité augmentée. À la suite du travail au fil des ans, une centaine d'articles ont été publiés dans les revues et conférences les plus pertinentes dans le domaine de la vision par ordinateur. Au cours de ces années, jusqu'à sept projets nationaux et régionaux ont été développés dans un système concurrentiel. Actuellement, le groupe est composé de 12 chercheurs et dispose d'une technologie étendue dans les systèmes de numérisation 3D (systèmes laser et lumière structurée), les robots (industriels et mobiles) et les systèmes de réalité virtuelle (immersifs et haptiques).
Numérisation et systèmes sensoriels 3D :
Interaction robot basée sur la vision :
Réalité virtuelle immersive :
Dr Antonio Adam Oliver
Antonio.Adan@uclm.es
Tél. : (+34) 926 295 300 ext. 3737
Fax: (+ 34) 926 295 354
