Conferencias impartidas
Años
- Reflexiones sobre la organización de la investigación y la producción científica (Abstract/Resumen, Slides/Presentación)
Francisco Herrera Triguero
- Tecnologías para el análisis de datos masivos: R, Hadoop, Storm y Lambda (Abstract/Resumen, Slides/Presentación)
Federico Castanedo Sotela
- Inyección de fallos para el análisis de la sensibilidad a los errores transitorios, "soft errors", provocados por las radiaciones en circuitos integrados (Abstract/Resumen, Slides/Presentación)
Raoul Velazco
- Using learning analytics to deploy a flipped classroom (Abstract/Resumen, Slides/Presentación)
Abelardo Pardo Sánchez
- Smart Grid / Smart Metering (Abstract/Resumen, Slides/Presentación)
Luis Hernández Callejo
- Determining user state in intelligent environments: behaviour analysis (Abstract/Resumen, Slides/Presentación)
Paulo Novais
- Aplicaciones de las redes definidas por software en seguridad (Abstract/Resumen, Slides/Presentación)
Diego R. López
- Codes applied to graphs (Abstract/Resumen, Slides/Presentación)
Ángela Barbero
- Graphs applied to codes (Abstract/Resumen, Slides/Presentación)
Øyvind Ytrehus
- Modelado y simulación de sistemas complejos. Aplicaciones en organizaciones (Abstract/Resumen, Slides/Presentación)
Adolfo López Paredes
- Normas sociales de discriminación en sociedades artificiales de agentes (Abstract/Resumen, Slides/Presentación)
José Manuel Galán Ordax
- La aventura de la exploración de Marte (Abstract/Resumen, Slides/Presentación, Vídeo 1, Vídeo 2, Vídeo 3)
Luis Vázquez Martínez
- Hybrid agent models for the regulation of social exchange processes in open multi agent systems (Abstract/Resumen, Slides/Presentación)
Graçaliz Dimuro
- A tutorial on constraint handling rules (Abstract/Resumen, Slides/Presentación)
Rémy Haemmerlé
- Trust and reputation management in distributed and heterogeneous systems (Abstract/Resumen, Slides/Presentación)
Félix Gómez Mármol
- BYOD, Healthcare and Private data organizer: an approach to current research trends on security at NEC Laboratories Europe (Abstract/Resumen)
Félix Gómez Mármol
- Informática: una ingeniería madura (Abstract/Resumen, Slides/Presentación)
Miguel Toro Bonilla
- New challenges in bioinformatics: integrative analysis of omits data (Abstract/Resumen, Slides/Presentación)
Alex Sánchez Pla
- Greening the Internet: energy-optimal file distribution (Abstract/Resumen, Slides/Presentación)
Antonio Fernández Anta
- Beyond the metrics of engagement: evaluation of learning outcomes from serious computer games (Abstract/Resumen, Slides/Presentación)
James Boyle
- Visual control in unmanned autonomous vehicles (UAVs) (Abstract/Resumen, Slides/Presentación)
Pascual Campoy
- Algoritmos evolutivos unplugged. El arte de la evolución llevada al límite (Abstract/Resumen, Slides/Presentación)
Francisco Fernández de Vega
- La jerarquía de Chomsky (Abstract/Resumen, Slides/Presentación)
Carlos Martín Vide
- Tu corazón podría ser hackeado: seguridad en dispositivos médicos implantables (Abstract/Resumen, Slides/Presentación)
Pedro Peris López
- Dancing with Technology: Creativity Support Tools in the Performing Arts (Abstract/Resumen, Slides/Presentación)
David Wilson
- Interfaz cerebro-computador para rehabilitación motora y cognitiva: minería de datos de la señal EEG (Abstract/Resumen, Slides/Presentación, Vídeo 1, Vídeo 2)
Mª Dolores del Castillo Sobrino
- La técnica de prueba de mutación evolutiva (Abstract/Resumen, Slides/Presentación)
Inmaculada Medina Bulo
- Error-rate prediction for programmable circuits: methodology, tools and studied cases (Abstract/Resumen, Slides/Presentación, Complumedia)
Raoul Velazco
- eNVM based data and instruction memory hierarchy for ulta-low power data-parallel processor platforms (Abstract/Resumen, Slides/Presentación)
Francky Catthoor
- Data mining con árboles de decisión para bioinformática (Abstract/Resumen, Slides/Presentación, Complumedia)
Jorge Martín Arevalillo
- La programación funcional llega a Hollywood ... y a todo el mundo (Abstract/Resumen, Slides/Presentación)
Laura M. Castro Souto
- Exploración de Marte: retos tecnológicos y nuevos conceptos de misión (Abstract/Resumen, Slides/Presentación)
Ignacio Arruego
- Modelización de epidemias mediante modelos basados en agentes (Abstract/Resumen, Slides/Presentación, Complumedia)
Rafael Jacinto Villanueva Micó
- Sistemas inteligentes en optimización y control - Aplicaciones prácticas (Abstract/Resumen, Slides/Presentación)
José Luis Calvo Rolle
- Predicting malware evolution (Abstract/Resumen, Slides/Presentación)
Julio César Hernández Castro
- Programs as first-class citizens in a biology-motivated model (Abstract/Resumen, Slides/Presentación)
Neil D. Jones
- Automóviles autónomos para la ciudad (Abstract/Resumen, Slides/Presentación)
Raul Rojas González
- Social dynamics from a complex systems approach: language contact and complex networks (Abstract/Resumen, Slides/Presentación)
Xavier Castelló Llobet
- R, paralelizacion, datos masivos y aplicaciones web: ejemplos del uso de R en bioinformática (Abstract/Resumen, Slides/Presentación)
Ramón Diaz-Uriarte
- Towards adaptive visual aesthetics of 3D game environment (Abstract/Resumen)
Magy Seif El-Nasr
- Memoria transaccional (Abstract/Resumen, Slides/Presentación)
Óscar Plata González
- Interfaces naturales de usuario y bienestar humano. Casos prácticos (Abstract/Resumen, Slides/Presentación)
Mariano Alcañiz Raya
- QLectives: evolving software to support quality (Abstract/Resumen, Slides/Presentación)
Nigel Gilbert
- Inference of fractional, counting and chalice access permissions via abstract interpretation (Abstract/Resumen, Slides/Presentación)
Pietro Ferrara
- Estimación de errores en aplicaciones numéricamente intensivas e implementación de funciones elementales de dos variables (Abstract/Resumen, Slides/Presentación)
Javier Díaz Bruguera
- Energy-aware matrix computations on multi-core and many-core platforms (Abstract/Resumen , Slides/Presentación)
Enrique S. Quintana-Orti
- Challenges of digital learning & culture in Brazil today (Abstract/Resumen, Slides/Presentación)
Jéferson dos Santos Assumção
- A software approach for dealing with transient errors provoked by radiation in processor-based digital architectures: principles and experimental results (Abstract/Resumen, Slides/Presentación)
Raoul Velazco
- Nominal completion for rewrite systems with binders (Abstract/Resumen, Slides/Presentación)
Maribel Fernandez
- Load balancing in distributed systems (Abstract/Resumen)
Ali Al-Dahoud
- Automatic abstraction for congruencesAbstract/Resumen)
Andy King
- Resilient microarchitectures (Abstract/Resumen)
Antonio González
- Vision realistic rendering (Abstract/Resumen)
Brian A. Barsky
- Panorámica del lenguaje de programación Erlang (Abstract/Resumen)
Clara Benac Earle
- Uncertain information analysis and intelligent decision support in perception based complex systems (Abstract/Resumen)
Da Ruan
- Transformación y sincronización de modelos usando gramáticas de grafos triples (Abstract/Resumen)
Fernando Orejas
- How can we use clinical corpora to assist the clinician, her managers and clinical research? (Abstract/Resumen)
Hercules Dalianis
- A model driven approach and a tool for specification and generation of software systems (Abstract/Resumen)
Ivan Lukovic
- Computación evolutiva en entornos no tradicionales (Abstract/Resumen)
Juan Julián Merelo Güervós
- Evolution of electronic design automation tools and algorithms (Abstract/Resumen)
Maciej Ciesielski
- Funciones hash criptográficas y la competición SHA-3 (Abstract/Resumen)
María Naya Plasencia
- Efficient shortened cyclic codes correcting either random errors or bursts (Abstract/Resumen)
Mario Blaum
- Modelado basado en componentes y generación automática de código del software de vuelo de INTA NS-01 y NS-1B (Abstract/Resumen)
Oscar Rodríguez Polo
- RHEA: flota de robots para tareas agrícolas de precisión dotados con sistemas de percepción visual (Abstract/Resumen)
Pablo González de Santos
- Certificación de no-interferencia y borrado usando la lógica de reescritura (Abstract/Resumen)
Santiago Escobar Román
- Desarrollo de aplicaciones interactivas para la enseñanza del control (Abstract/Resumen)
Sebastián Dormido Bencomo
- Amortised resource analysis (Abstract/Resumen)
Steffen Jost
- Barriers and success factors for mobile health services: lessons learned from 6 years of research, development and commercialisation of the Personal Health Monitoring System (Abstract/Resumen)
Valerie Gay and Peter Leijdekkers
- Purposive multi-agent systems (Abstract/Resumen)
Yves Demazeau
- Biomedical applications of machine learning (Abstract/Resumen)
Alexander Gammerman
- Learning hierarchical task networks with purpose: for plan satisfaction, for plan quality, and for non-deterministic environments (Abstract/Resumen)
Hector Muñoz-Avila
- Work stealing scheduling for performance portability of algorithms on parallel architectures (Abstract/Resumen)
Thierry Gauthier
- Region logic for local reasoning about global invariants (Abstract/Resumen)
Anindya Banerjee
- GMV Aerospace and Defence, today's projects for tomorrow's world (Abstract/Resumen)
José Carlos González García-Consuegra
- Datos web y programación declarativa (Abstract/Resumen)
Jesús Almendros Jiménez
- Mutation-driven generation of unit tests and oracles (Abstract/Resumen)
Gordon Fraser
- Algoritmos óptimos (Abstract/Resumen)
Jörg Flum
- Power to the People (PTP): learning and leveraging the relationship between architectural properties and user satisfaction (Abstract/Resumen)
Gokhan Memik
- Software engineering standards for agents (Abstract/Resumen)
Brian Henderson-Sellers
- Análisis de sistemas con procesos estocásticos (Abstract/Resumen)
Javier Esparza
- Creación de empresas de base tecnológica: la experiencia de TEDIAL (Abstract/Resumen)
Emilio López Zapata
- Un problema computacional de actualidad: simulación multidimensional de tumores sólidos (Abstract/Resumen)
Luis Casasús Latorre
- Towards smart and energy-aware design of wireless body sensor networks for personal health monitoring applications (Abstract/Resumen)
Nadia Khaled
- Developing applications for mobile phones: a walkthrough in how to turn an idea into a commercial application (Abstract/Resumen)
Gian Paolo Perrucci
- Electronics chips in life sciences: challenges and further ahead (Abstract/Resumen)
Carlotta Guiducci
- Disambiguation of biomedical text (Abstract/Resumen)
Mark Stevenson
- Aplicación de la inteligencia computacional para generación de contenidos en videojuegos (Abstract/Resumen)
Francisco Fernández de Vega
- Gestión integral de proyectos (Abstract/Resumen)
Gabriel Marín Díaz
- Procesamiento eficiente de imágenes hiperespectrales mediante arquitecturas de computación paralela (Abstract/Resumen)
Antonio Plaza Miguel
- Discrete-event modeling and simulation methodologies: past, present and future (Abstract/Resumen)
Gabriel A. Wainer
- Physically-based animation (Abstract/Resumen)
Antonio Susín Sánchez
- Using static analysis to detect type and concurrency errors in Erlang programs (Abstract/Resumen)
Konstatinos Sagonas
- Data-structure rewriting (Abstract/Resumen)
Rachid Echahed
- Uso de nanotecnologías para el desarrollo de fuentes luminosas en los circuitos
optoelectrónicos integrados propios de ordenadores y medios de telecomunicación (Abstract/Resumen)
José Antonio Rodríguez Pérez
- Técnicas de visión por computador e inteligencia artificial aplicadas a la agricultura de precisión (Abstract/Resumen)
Ángela Ribeiro Seijas
- Computación de altas prestaciones en problemas de localización de servicios (Abstract/Resumen)
Inmaculada García Fernández
- Sistemas de memoria transaccional (Abstract/Resumen)
Óscar Plata González
- COTSon: Infrastructure for system-level simulation (Abstract/Resumen)
Daniel Ortega
- Robustness and reliability of deca-nanometer designs: models, recipes and open issues (Abstract/Resumen)
Massimo Poncino
- Formal certification of code-based cryptographic proofs (Abstract/Resumen)
Gilles Barthe
- Termination of narrowing (Abstract/Resumen)
Germán Vidal
- Compilación de programas y transformación de certificados (Abstract/Resumen)
César Kunz
- Modelado, análisis de estabilidad y control para motocicletas de competición (Abstract/Resumen)
María Tomás Rodríguez
- Specular effects on the GPU: state of the art (Abstract/Resumen)
Gustavo Patow
- Human overpopulation, or why current CAPTCHAs are easier that they should (Abstract/Resumen)
Julio César Hernández Castro
- The IEEE 802.15.4 for low-power low-bit-rate ubiquitous networking: technical overview, modeling and applications (Abstract/Resumen)
Nadia Khaled
- Online management of unpredictably heterogeneous multi-core microprocessors (Abstract/Resumen)
David H. Albonesi
- Digital VLSI design for wireless autonomous sensor nodes (Abstract/Resumen)
Jos Huisken
- A tutorial for deterministic global optimisation algorithms (Abstract/Resumen)
E.M.T. Hendrix
- La identificación electrónica: avances y tendencias (Abstract/Resumen)
Joaquín Torres
- Servicios de seguridad en el nivel de red: gestión de la seguridad en protocolos de Internet (Abstract/Resumen)
José María Sierra Cámara
- Search based testing (Abstract/Resumen)
Robert M. Hierons
- Desarrollo de laboratorios virtuales y remotos con Easy Java Simulations (Abstract/Resumen)
Sebastián Dormido Bencomo
- Simulación basada en agentes de juegos evolutivos en redes de normas (Abstract/Resumen)
José Manuel Galán Ordax
- Formal verification of distributed algorithms in the heard-of model (Abstract/Resumen)
Stephan Merz
- Grace: safe multithreaded programming for C/C++ (Abstract/Resumen)
Emery Berger
- A short introduction to program slicing (Abstract/Resumen)
Damiano Zanardini
Última modificación:
23 julio 2014