Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
Year:2011
Research Areas
  • Programming language
Information
Abstract
The main research areas of SpaRCIM are centered around: * Formal methods and programming languages: design and analysis of critical systems, quality and security of computing systems, rule-based programming, optimization, parallel and concurrent systems, programmer efficiency. * Software engineering: agile methods, components, e-mobility, mobile internet, web engineering, architecture, e-democracy, service oriented and model driven engineering. * Artificial intelligence: machine learning, multi-agent systems, constraint-based reasoning, ontologies, semantic web services, image processing and recognition. * Information systems: data mining, databases, data warehouses, modeling, decision support sytems.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
MICINN 2009-07495-E/TIN Special action / EU
Entity Nationality
ESPAÑA
Entity size
Pequeña Empresa (11-50)
Granting date
Participants
  • Director: Manuel de Hermenegildo Salinas (UPM)
  • Participante: Manuel Carro Liñares (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)