Conferencias de Posgrado (2009-2014)

Años

2014 2013 2012 2011 2010 2009

2014

 

 

2013

 

 

2012

 

 

2011

  • 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

 

 

2010

  • 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

 

 

2009

  • 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