|
Adapted software for visually impaired people
|
|
|
Agentes Virtuales Inteligentes
|
|
|
Análisis de programas
|
|
|
Advanced implementation techniques for aIl languages
|
|
|
Análisis Numérico
|
|
|
Analysis of logic and constraint logic programs
|
|
|
Aplicaciones Multimedia
|
|
|
Automatic parallelization of intelligent systems
|
|
|
Component search for open source code
|
|
|
Bases de datos
|
|
|
Computational Geometry
|
|
|
Bases de datos y descubrimiento de conocimiento
|
|
|
Computación paralela
|
|
|
Computational Physics
|
|
|
Criptografía
|
|
|
Computer aided instruction
|
|
|
Computer graphics
|
|
|
Criptografía Cuántica
|
|
|
Computer networks
|
|
|
Dependability
|
|
|
Concurrent and distributed logic-based intelligent systems
|
|
|
Diseño de arquitecturas paralelas escalables
|
|
|
Criptography
|
|
|
Diseño para todos en informática
|
|
|
Data Mining Project development
|
|
|
Diseño Web accesible
|
|
|
Data visualization
|
|
|
Enseñanza asistida por ordenador
|
|
|
Databases
|
|
|
Ingeniería de usabilidad
|
|
|
Design for all in computing
|
|
|
Entornos Virtuales
|
|
|
Design of scalable parallel architectures
|
|
|
Física Computacional
|
|
|
Distributed systems
|
|
|
Fundamentos de lógica computacional
|
|
|
Empirical software engineering
|
|
|
Geometría computacional
|
|
|
Fault-Tolerance
|
|
|
Informática adpatada a minusvalías
|
|
|
Functional logic programming
|
|
|
Informática médica
|
|
|
Fundamentals of computational logic
|
|
|
Ingeniería del conocimiento
|
|
|
Generalized inverses
|
|
|
Ingeniería del software
|
|
|
Geographic information systems
|
|
|
Ingeniería del software empírica
|
|
|
GPS data processing
|
|
|
Interfaces WWW
|
|
|
Image processing and recognition
|
|
|
Inversas generalizadas
|
|
|
Information systems
|
|
|
Lenguajes y modelos de programación
|
|
|
Intelligent Planning
|
|
|
Localización de componentes para sistemas de código abierto
|
|
|
Intelligent Virtual Agents
|
|
|
Metodología de programación
|
|
|
Internet technologies
|
|
|
Modelos de contaminación atmosférica
|
|
|
Knowledge engineering
|
|
|
Multimedia
|
|
|
Logic programming and constraint logic programming
|
|
|
Paralelización automática de sistemas inteligentes
|
|
|
Low-cost DGPS systems
|
|
|
Nuevos Modelos de Computación
|
|
|
Medical informatics
|
|
|
Planificación Inteligente
|
|
|
Middleware Systems
|
|
|
Procesado de datos GPS
|
|
|
Models for air pollution
|
|
|
Procesamiento y reconocimiento de imágenes
|
|
|
Multi-Agent Systems
|
|
|
Programación lógica y de restricciones
|
|
|
Multimedia
|
|
|
Programación lógico-funcional
|
|
|
Multimedia applications
|
|
|
Protocolos de Seguridad
|
|
|
New Computing Models
|
|
|
Red de Computadores
|
|
|
Numeric Analysis
|
|
|
Sistemas de información
|
|
|
Numerical Methods
|
|
|
Sistemas de información geográfica
|
|
|
Parallel computing
|
|
|
Sistemas DGPS de bajo coste
|
|
|
Peer-to-Peer Systems
|
|
|
Sistemas Distribuidos
|
|
|
Programming languages and models
|
|
|
Sistemas Empresariales Semánticos
|
|
|
Programming methodology
|
|
|
Sistemas inteligentes lógicos concurrentes y distribuidos
|
|
|
Security Protocols
|
|
|
Sistemas Multi-Agente
|
|
|
Software engineering
|
|
|
Sistemas P2P
|
|
|
Transactions
|
|
|
Software Libre
|
|
|
Usability engineering
|
|
|
Técnicas avanzadas de implementación de lenguajes para IA
|
|
|
Verification of Intelligent Agents
|
|
|
Técnicas gráficas
|
|
|
Virtual Environments
|
|
|
Tecnologías internet
|
|
|
Visualization of parallel execution
|
|
|
Tecnologías Web
|
|
|
Web services
|
|
|
Teleinformática
|
|
|
WWW interfaces
|
|
|
Tolerancia a fallos
|
|
|
Quantum Cryptography
|
|
|
Transformación de Programas
|
|
|
Verificación de Agentes Inteligentes
|
|
|
Verificación de Software
|
|
|
Visualización de datos
|
|
|
Visualización de ejecución paralela
|
|
|
Web Semántica
|
|
|
Modelos de Calidad del Aire
|
|