Tasti di scelta rapida
Il gruppo di ricerca Intelligenza Artificiale e Rappresentazione (AIR) è stato istituito nel 2014 presso l'Università di Castilla-La Mancha, e da allora ha stabilito la sua sede presso l'Escuela Superior de Informática (ESI) a Ciudad Real, al fine di promuovere lo studio , progettazione, sviluppo e applicazione pratica di tecniche di Intelligenza Artificiale per la risoluzione di problemi reali nell'ambito di progetti di R&S con aziende o come progetti di ricerca, in cui gli studenti ESI hanno l'opportunità di collaborare e anche scrivere tesi di dottorato.
I suoi membri hanno esperienza nello studio dei formalismi di rappresentazione della conoscenza e della loro manipolazione intelligente, evidenziando la rappresentazione grafica delle informazioni nel contesto della realtà aumentata e l'ottimizzazione del processo di rendering non interattivo, e lo sviluppo di sistemi di apprendimento, sistemi decisionali, conoscenze -sistemi basati, sistemi esperti, sistemi multi-agente in vari campi di applicazione, con particolare attenzione al commercio elettronico e alla videosorveglianza. È in questa linea che sviluppano i loro progetti.
Il gruppo di ricerca AIR concentra la sua ricerca su tre assi, che ne determinano le linee di ricerca. In primo luogo, l'asse dell'Intelligenza Artificiale Applicata determina le linee di Intelligent Surveillance, Mobile Robotics e Machine Learning. In secondo luogo, l'asse Visualizzazione e Rendering è associato alle linee di Realtà Aumentata, Sintesi di Immagini Realistiche e Analisi Automatica dei Movimenti.Infine, l'asse Commercio Elettronico è affrontato da una prospettiva generale focalizzata sulla progettazione e sviluppo del business, in cui algoritmi basati sull'IA vengono implementate e sviluppate tecniche, incentrate sul miglioramento dei processi interni e dell'esperienza dell'utente.
David Vallejo Fernandez
David.Vallejo@uclm.es
Telefono: +34 926 29 53 00 (Int. 6494)
Il gruppo di ricerca concentra il suo lavoro sullo sviluppo di nuovi metodi, tecniche, strumenti e processi che aiutano gli ingegneri informatici e informatici a costruire sistemi informativi di qualità superiore. Il gruppo Alarcos si occupa di numerose linee di ricerca, con particolare attenzione agli aspetti di misurazione e qualità del software, miglioramento dei processi software, gestione della conoscenza, analisi del software, progettazione, test e manutenzione, sicurezza e auditing del software.
Il gruppo di ricerca sviluppa numerosi progetti di ricerca su queste linee, sia a livello regionale che nazionale oltre che internazionale, e collabora con numerose aziende del settore, offrendo servizi di trasferimento tecnologico attivo e consulenza. Inoltre, il gruppo offre programmi di formazione all'azienda, nelle tecnologie e metodologie più avanzate nel campo dello sviluppo software di qualità.
Il gruppo Alarcos sta attualmente sviluppando numerose linee di ricerca, tutte legate alla qualità del software, che possono essere raggruppate come segue:
Dr Mario Piattini Velthuis
Mario.Piattini@uclm.es
Tel.: (+34) 926 295 300 int. 3715
Fax: (+ 34) 926 295 354
Il gruppo ARCO concentra la propria ricerca sulla progettazione di sistemi eterogenei complessi (hardware-software) e sullo sviluppo di servizi di comunicazione avanzati. I membri del gruppo hanno una vasta esperienza nella realizzazione di progetti di R+S+i, avendo partecipato a numerosi progetti con finanziamenti pubblici, sia nazionali (Ministeri della Scienza e dell'Innovazione e dell'Industria, Junta de Castilla-La Mancha, ecc.) che internazionale (Unione Europea, NATO, Azioni Integrate...).
In quanto gruppo di ricerca universitario con una spiccata vocazione al trasferimento tecnologico, il rapporto con le imprese del settore è stato particolarmente rafforzato attraverso progetti finanziati sia attraverso programmi istituzionali (PROFIT, CENIT...) sia dalle stesse imprese, tutte leader in il settore ICT (Indra, Telefónica I+D, Tecnobit, Infoglobal...). In tale ambito il gruppo offre anche servizi di formazione e consulenza sia nelle aree sopra citate che nello sviluppo basato su software libero.
Progettazione di Sistemi Eterogenei complessi (Hardware-Software):
Quest'area di ricerca è focalizzata sullo sviluppo di metodologie e strumenti per la progettazione di sistemi complessi con componenti sia hardware che software (sistemi embedded). Comprende aspetti di specifica, verifica, pianificazione e assegnazione, sintesi hardware, generazione di codice software, simulazione, prototipazione..., con particolare attenzione alla progettazione di architetture riconfigurabili. In particolare, il lavoro si concentra sulla definizione di architetture e metodologie che facilitino l'integrazione trasparente di elementi hardware e software, consentendo un'interazione tra detti elementi indipendentemente dalla loro ubicazione, dalla loro forma di attuazione e dai meccanismi di comunicazione che si instaurano tra di loro, allo stesso tempo che il loro successivo riutilizzo sia facilitato nello sviluppo futuro di nuovi sistemi.
Reti e servizi di comunicazione avanzati:
All'interno di questa linea, l'utilizzo di sistemi distribuiti e infrastrutture di comunicazione è indirizzato all'offerta di servizi di nuova generazione (casa digitale, servizi mobili, telesorveglianza...). Il lavoro si concentra sulla definizione di architetture software (attraverso l'uso di middleware) che, utilizzando tecnologie di comunicazione sia wired che wireless e includendo sistemi embedded, reti di sensori, ecc., consentano l'integrazione di reti e sistemi eterogenei e la creazione e modellazione di nuovi servizi basati sulla comunicazione. Questi tipi di servizi e la loro applicazione in ambienti come abitazioni, uffici, grandi spazi pubblici... stanno permettendo lo sviluppo di nuove aree di ricerca che hanno permesso di coniare termini come intelligenza ambientale e ubiquitous computing.
Dott. Juan Carlos Lopez
Tel.: (+34) 926 295 300 int. 3739
Fax: (+ 34) 926 295 354
L'obiettivo di questo gruppo è di applicare nuovi metodi, tecniche, strumenti e processi di ingegneria informatica allo sviluppo scientifico e tecnologico nelle aree dell'Informatica Educativa e dei Sistemi di e-Learning e dell'Interazione Computer-Uomo. Ha proposto nuove tecniche per la progettazione e lo sviluppo di applicazioni web-based e ha utilizzato dispositivi avanzati che supportano nuovi paradigmi di interazione (collaboration, ubiquitous computing, realtà virtuale, ecc.). Il cuore del gruppo ha realizzato progetti di R+S+I per la progettazione di applicazioni web, groupware e mobile e ubiquitous computing seguendo metodologie user-centered. Lo sviluppo di tecnologie mobili e ubiquitarie è stato realizzato con l'uso di Tablet PC, PDA e lavagne interattive, insieme a varie tecnologie di rete come WIFI, Bluetooth, ultrasuoni, infrarossi, ecc.
Sistemi di Informatica Educativa ed e-Learning:
Interazione tra computer e uomo: Interazione umano-computer:
Dott. Manuel Ortega Cantero
Tel.: (+ 34) 926 295 481
Fax: (+ 34) 926 295 354
Il gruppo di ricerca Programmazione dichiarativa e trasformazione automatica dei programmi (DEC-tau) è stato creato nell'ottobre 2000 per promuovere la ricerca e lo sviluppo di metodi formali applicati, in particolare, all'integrazione dei linguaggi dichiarativi multiparadigma e alla trasformazione dei programmi dichiarativi scritto in questo tipo di lingua. Usiamo il qualificatore "multiparadigma" in un senso ampio che comprende linguaggi che integrano caratteristiche logiche, funzionali e logiche sfocate.
Negli ultimi anni abbiamo focalizzato il nostro interesse sulla progettazione di linguaggi fuzzy logic che incorporino tra le loro risorse espressive il trattamento di informazioni imprecise in modo naturale. Nello specifico, abbiamo sviluppato un linguaggio basato sull'unificazione per similarità, che chiamiamo Bousi~Prolog (BORroso Prolog with Unification by Similarity), di cui esiste un'implementazione di alto livello e un'implementazione di basso livello che è supportata da un prototipo di macchina Warren con somiglianza (SWAM). Inoltre, il nostro gruppo ha implementato un sistema per l'esecuzione di programmi multi-aggiunti che chiamiamo FLOPER (acronimo di Fuzzy LOgic Programming Environment for Research). È interessante notare che le prime applicazioni pratiche di questi linguaggi sono già state prodotte: Bousi~Prolog è stato utilizzato per la catalogazione del testo e FLOPER per manipolare il testo XML, implementando un'estensione fuzzy dei linguaggi XPath e XQuery.
Oggi stiamo combinando entrambi gli approcci nella progettazione e implementazione del linguaggio di programmazione a logica fuzzy completamente integrato, FASILL.
Integrazione di Linguaggi Logici e Funzionali
La Programmazione Logico-Funzionale (LF) mira ad integrare i paradigmi logici e funzionali puri per ottenere linguaggi più espressivi ed efficienti. Poiché la semantica operativa standard di questi linguaggi incorporati si basa su (qualche variante) del restringimento, il nostro interesse è negli aspetti formali e implementativi delle strategie di restringimento, nonché nella combinazione del restringimento con altri meccanismi operativi.
Progettazione e Implementazione di Linguaggi Fuzzy Logic
Questa linea di ricerca persegue la progettazione e l'implementazione di linguaggi logici che includano caratteristiche della logica fuzzy, al fine di consentire il trattamento dell'imprecisione con tecniche dichiarative. Ci concentriamo sullo sviluppo di linguaggi logici basati sull'unificazione debole (Bousi~Prolog) e sulla logica multi-aggiunta (FLOPER) e anche sullo studio delle loro proprietà e applicazioni formali.
Trasformazione e specializzazione dei programmi
L'obiettivo della trasformazione del programma è di derivare un programma che sia semanticamente equivalente a un altro programma iniziale ma con un comportamento migliore per alcune proprietà (es. efficienza). La valutazione parziale (PE) è una tecnica di trasformazione del programma che genera versioni specializzate di un programma rispetto a determinati input. Nel nostro gruppo abbiamo svolto un lavoro pionieristico in questo campo. Ad esempio, abbiamo sviluppato un trasformatore di programma LF basato su regole+strategie e raffinati algoritmi di controllo EP per questo tipo di linguaggio. Sono state inoltre definite tecniche di trasformazione per programmi logici multiadjunct e studiate le loro proprietà formali.
Dott. Pascual Julian Iranzo
Tel.: (+34) 926 295 300 int. 3716
Fax: (+ 34) 926 295 354
Il gruppo di ricerca SMILe (Soft Management of Internet and Learning) sviluppa il proprio lavoro nel campo dell'applicazione delle tecniche di Soft-Computing (in particolare Fuzzy Logic) nell'ambito del Recupero delle Informazioni su Internet, dei Sistemi di Apprendimento e dell'Aiuto alla Decisione e più recentemente dell'Analisi dei Sentimenti e delle Opinioni e dell'Analisi Intelligente dei Dati e dei Big Data. In questo quadro spiccano i contributi forniti nei modelli che consentono la ricerca semantica di informazioni sul Web e altri grandi database, la gestione efficiente di archivi dinamici di documenti, ecc. Tutti questi contributi scientifici sono caratterizzati da un profondo approccio pratico che si riflette nei diversi strumenti di ricerca e gestione della conoscenza che sono stati implementati e messi in funzione negli ultimi anni (FISS, Zoom, GUMSe, BUDI, AGORA, ecc.).
Dott. José Angel Olivas Varela
JoseAngel.Olivas@uclm.es
Tel.: (+34) 926 295 300 int. 6476
Fax: (+ 34) 926 295 354
Il gruppo GSyA concentra la sua ricerca sull'ingegneria del software sicuro e sulla gestione della sicurezza. Nello specifico, il gruppo indaga su come costruire e utilizzare software più sicuri, per i quali sviluppa metodi e processi di ingegneria del software, nuove tecniche di modellazione e anche strumenti che forniscono supporto automatizzato per la costruzione di software più sicuri, affrontando tutte le fasi del software processo di sviluppo e considerando i paradigmi di sviluppo e le tecnologie più avanzate. Inoltre, il gruppo lavora allo sviluppo di metodologie e tecniche per misurare e gestire la sicurezza informatica nelle aziende in modo sistematico e prevedibile, sviluppando nuovi modelli di maturità della sicurezza e sistemi di gestione della sicurezza delle informazioni. aziende di grandi dimensioni e nel rispetto dei principali standard internazionali di sicurezza ICT.
Il gruppo GSyA concentra la sua attività fondamentalmente su due filoni di ricerca:
Ingegneria del software sicura:
Gestione della sicurezza:
Dr. Eduardo Fernandez-Medina Paton
Eduardo.FdezMedina@uclm.es
Tel.: (+34) 926295300 int. 3744
Fax: (+ 34) 926295354
Questo gruppo è dedicato all'acustica applicata alle superfici rotolanti-pavimentazione. La valutazione acustica del comportamento della superficie di rotolamento sulle strade è un'esigenza crescente per le amministrazioni stradali e ambientali in Spagna. I sistemi di posizionamento globale (GPS) insieme ai metodi di monitoraggio acustico consentono l'integrazione dei parametri acustici nei sistemi di gestione stradale. Gli obiettivi di queste linee di ricerca sono di contribuire, attraverso la caratterizzazione georeferenziata del manto stradale, al controllo del rumore del traffico e alla progettazione e realizzazione di nuovi manti stradali.
Le misurazioni vengono effettuate utilizzando il metodo CPX, che richiede un software adeguato per l'elaborazione dei dati, consentendo di trarre conclusioni che portano al miglioramento e al comfort delle strade urbane e delle autostrade.
Acustica applicata alle superfici rotolanti-pavimentazioni:
Acustica applicata alla progettazione e caratterizzazione dei materiali:
Dott. Fernando J. Terán Sierra
Fernando.Teran@uclm.es
Tel.: (+34) 926 295 300 int. 3721
Fax: (+ 34) 926 295 354
Il gruppo di ricerca Modellazione dell'intelligenza ambientale (MAmI) lavora sui paradigmi computazionali dell'Ambient Intelligence (Intelligenza ambientale) e Informatica ubiqua (Informatica onnipresente). All'interno di questo ampio paradigma, il gruppo sviluppa linee di ricerca relative al mobile computing, alle interfacce utente intelligenti e alle applicazioni sensibili al contesto. Il gruppo sviluppa una ricerca fortemente applicata, in particolare nelle aree dei sistemi di cura, del monitoraggio della salute e dell'analisi del comportamento.
I progetti di ricerca recenti sono:
membri permanenti del gruppo:
Intelligenza ambientale applicata e tecnologie adattate
Principali aree di applicazione
Dottor Jose Bravo Rodriguez
Jose.Bravo@uclm.es
Tel.: (+34) 926 295 300 int. 3713
Fax: (+ 34) 926 295 354
Il gruppo Modelli e algoritmi nei sistemi di trasporto (MAT) sviluppa la propria ricerca nel campo della Ricerca Operativa. L'obiettivo perseguito è quello di sviluppare nuovi modelli di ottimizzazione applicati alla pianificazione, progettazione e controllo dei sistemi di trasporto, in cui sono incorporati il maggior numero di aspetti rilevanti del problema, in modo da consentire a progettisti e/o gestori di disporre di strumenti analitici che aiutarli nel processo decisionale. Lo strumento matematico più utilizzato a questo scopo sono i programmi matematici con vincoli di equilibrio. Questi strumenti consentono di incorporare il comportamento degli utenti nel sistema rispetto alle decisioni prese.
Dott. Ricardo Garcia Rodenas
Ricardo.Garcia@uclm.es
Tel.: (+34) 926 295 300 int. 6222
Fax: (+ 34) 926 295 354
Il gruppo di ricerca Oreto nasce nella Scuola Superiore di Informatica dell'Università di Castilla-La Mancha, a Ciudad Real (Spagna) nel 1997. Il lavoro del gruppo è stato orientato, sin dalla sua nascita, all'applicazione delle conoscenze nelle tecniche di intelligenza artificiale in diversi campi e attività. Concentrandosi sull'uso e lo sviluppo di sistemi di soft computing, come le logiche non classiche (multivalore e fuzzy), il ragionamento approssimato e la modellazione qualitativa e linguistica, sono stati sviluppati con successo diversi progetti di ricerca. In questi progetti, diversi tipi di eventi e azioni sono stati modellati, identificati e indotti in sistemi complessi in cui incertezza e vaghezza sono elementi intrinseci.
Attraverso l'integrazione di sensori e videocamere, sono stati proposti: sistemi di sorveglianza intelligenti nei grandi impianti, l'identificazione e classificazione delle diverse tipologie di impatto che può subire la recinzione che protegge autostrade e autostrade, nonché la descrizione della tipo di guida effettuata da un determinato conducente.
La costruzione di informazioni a partire dai dati ottenuti da sensori, database, web, videocamere, ecc. rende necessario rivedere le tecniche classiche dell'apprendimento automatico. Termini come BIG DATA ci offrono una nuova prospettiva, con nuove caratteristiche ed esigenze. Per affrontare questa nuova sfida, la visione del gruppo di ricerca ha incorporato la progettazione e l'uso di una moltitudine di piccoli sistemi che collaborano, apprendono e si coordinano in modo decentralizzato e parallelo, facendo uso di tecniche di swarm intelligence per ottenere sistemi multiclassificatori.
Membri permanenti del gruppo:
Dott.ssa Ester del Castillo Herrera.
Dott. D. Juan Giral Muiña
Dr. D. Luis Jimenez Linares
Dr. D. Juan Moreno Garcia
Dott. D. Luis Rodríguez Benítez.
Data la complessità dei problemi attuali, gli approcci sperimentali e teorici richiedono una controparte computazionale. È in questo contesto che si concentra il lavoro del nostro gruppo: la creazione e l'applicazione di modelli matematico-computazionali allo studio di problemi reali di interesse scientifico o ingegneristico. Il nostro gruppo affronta questo compito costruendo modelli fisico-matematici che traduciamo in efficienti strumenti software.
Il nostro attuale interesse è focalizzato sul trattamento di sistemi di elementi interconnessi. Questo approccio (reti complesse), nonostante la sua novità, si è rivelato estremamente utile per l'analisi, l'interpretazione e la previsione del comportamento di sistemi complessi. Esempi tipici di questi sono: il sistema economico, i social network, Internet, il www, il sistema metabolico, il genoma o l'insieme delle malattie umane su base genetica. Gli studi effettuati in questo campo mostrano l'esistenza di un comportamento comune dei sistemi descritti dalle reti indipendentemente dalla loro natura fisica (economica, sociale, biologica o tecnologica). In questo ampio campo, abbiamo concentrato il nostro lavoro sullo sviluppo e l'applicazione di modelli e tecniche computazionali per l'identificazione, la descrizione e il controllo della struttura interna di reti complesse. Il punto chiave in questo contesto è l'identificazione di gruppi di entità correlate (comunità) nella rete.
Membri permanenti del gruppo
Dott. Alfonso Nino Ramos
Dr. Sebastian Reyes Avila
Nel nostro gruppo consideriamo le seguenti linee di ricerca:
Metodologico
Applicato
La componente applicata, in particolare, rappresenta un modo straordinario di collaborare con squadre di altre discipline.
Dott. Alfonso Nino Ramos
Alfonso.nino@uclm.es
Tel.: (+34) 926 295 300 int. 6474/3720
Fax: (+ 34) 926 295 354
Il gruppo è composto da professori e ricercatori del Dipartimento di Ingegneria Elettrica, Elettronica, dell'Automazione e delle Comunicazioni – IEEAC – (Area Ingegneria dei Sistemi e Automazione –ISA-) dell'Università di Castilla-La Mancha (UCLM) a Ciudad Real. Dedicato dal 1999 allo sviluppo di strumenti di Visione e Intelligenza Artificiale con applicazioni ai sistemi di sicurezza e biometria, controllo qualità, diagnostica per immagini, sistemi di supporto alle decisioni e ingegneria biomedica.
Dott. Jesús Salido Terzo (Prof. TU) @jsalido
Gesù.Salido@uclm.es
N. telefono: (+34) 926 295 427
Il gruppo 3D Visual Computing and Robotics nasce nel 1998 all'interno dell'Area Systems Engineering and Automation. Il suo lavoro si concentra sull'offerta di soluzioni intelligenti attraverso sensori 3D in molteplici applicazioni: digitalizzazione di parti (ambienti artistici, sanitari e produttivi), digitalizzazione e ricostruzione di grandi spazi (edifici civili o del patrimonio, parchi archeologici, ecc.), interazione intelligente di robot con Tecniche di visione 3D e realtà aumentata immersiva. Come risultato del lavoro svolto negli anni, sono stati pubblicati un centinaio di articoli sulle riviste e conferenze più rilevanti nel campo della Computer Vision. Nel corso di questi anni, sono stati sviluppati fino a sette progetti statali e regionali in un sistema competitivo. Il gruppo è attualmente composto da 12 ricercatori e dispone di una vasta tecnologia nei sistemi di digitalizzazione 3D (sistemi laser e luce strutturata), robot (industriali e mobili) e sistemi di realtà virtuale (immersivi e aptici).
Digitalizzazione e sistemi sensoriali 3D:
Interazione del robot basata sulla visione:
Realtà virtuale immersiva:
Dott. Antonio Adam Oliver
Antonio.Adan@uclm.es
Tel.: (+34) 926 295 300 int. 3737
Fax: (+ 34) 926 295 354
