Envíos recientes

  • Road pollution estimation using static cameras and neural networks 

    Molina-Cabello, Miguel A.; Luque-Baena, Rafael M.; López-Rubio, Ezequiel; Deka, Lipika; Thurnhofer-Hemsi, Karl (2018-07-19)
    Este artículo presenta una metodología para estimar la contaminación en carreteras mediante el análisis de secuencias de video de tráfico. El objetivo es aprovechar la gran red de cámaras IP existente en el sistema de ...
  • ¿Cuál Lenguaje de Programación escoger? 

    Katrib Mora, Miguel (2018-06-05)
    ¿Cuál Lenguaje de Programación escoger? Dr. Miguel Katrib, Universidad de La Habana ¿Cuál Lenguaje de Programación es mejor? ¿Cuál debo escoger? Estas son preguntas frecuentes, pero desafortunadamente incompletas y mal ...
  • The cartography of computational search spaces 

    Ochoa, Gabriela (2018-05-04)
    This talk will present our recent findings and visual (static and animated) maps characterising combinatorial and computer program search spaces. We seek to lay the foundations for a new perspective to understand problem ...
  • Standardized connectivity and communication for constrained devices 

    Hoebeke, Jeroen (2018-04-30)
    By 2020, an estimated 50 billion devices will be connected to the Internet. This revolution will transform the traditional human-centric internet to an “Internet of Things” (IoT), thereby enabling a whole new range of ...
  • Cyber-Human Partnerships – Towards a resilient ecosystem in Smart Cities 

    Dustdar, Schahram (2017-12-11)
    In this talk I will explore one of the most relevant challenges for a decade to come: How to integrate the Internet of Things with software, people, and processes, considering modern Cloud Computing and the Internet of ...
  • Applying real-time analytics to data streams in digital health 

    Milosevic, Zoran (2017-11-23)
    In this presentation we will describe the benefits of real-time analytics, specifically complex event processing technology, in addressing a number of challenges in digital health applications. We will focus on three uses ...
  • Motion Detection by Microcontroller for Panning Cameras 

    Benito-Picazo, Jesús; López-Rubio, Ezequiel; Ortiz-de-Lazcano-Lobato, Juan Miguel; Domínguez, Enrique; Palomo, Esteban J. (2017-07-24)
    Motion detection is the first essential process in the extraction of information regarding moving objects. The approaches based on background difference are the most used with fixed cameras to perform motion detection, ...
  • Coordinating heterogeneous IoT devices by means of the centralized vision of the SDN controller 

    Galán-Jiménez, Jaime; Berrocal, Javier; Garcia-Alonso, Jose; Canal-Velasco, Jose Carlos; Murillo, Juan M. (2017-07-13)
    The IoT (Internet of Things) has become a reality during recent years. The desire of having everything connected to the Internet results in clearly identified benefits that will impact on socio economic development. However, ...
  • Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua 

    Arévalo Rosado, Luis; Rodríguez, Francisco J.; Luque-Baena, Rafael Marcos; Luna, Francisco (2017-07-12)
    La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ...
  • Checking Business Process Evolution 

    Salaün, Gwen (2017-06-01)
    A business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is ...
  • Security Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementations 

    Sanán Baena, David Miguel (2017-05-11)
    Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification with security proofs are thus significant for the ...
  • A Multi-Objective Optimization Framework for Multiple Sequence Alignment with Metaheuristics 

    Zambrano-Vega, Cristian; Nebro, Antonio J.; García-Nieto, José; Aldana-Montes, Jose Francisco (2017-05-02)
    The alignment of more than two biological sequences is a widely used technique in a number of areas of computational biology. However, finding an optimal alignment has been shown to be an NP-complete optimization problem. ...
  • Multi-Objective Big Data Optimization with jMetal and Spark 

    Barba-González, Cristóbal; García-Nieto, José; Aldana-Montes, Jose Francisco; Nebro, Antonio J. (2017-04-20)
    Big Data Optimization is the term used to refer to optimization problems which have to manage very large amounts of data. In this paper, we focus on the parallelization of metaheuristics with the Apache Spark cluster ...
  • Procesamiento de eventos complejos aplicado al ámbito de las smart cities 

    Boubeta-Puig, Juan (2017-02-22)
    El procesamiento de eventos complejos (CEP) es una tecnología emergente que permite procesar, analizar y correlacionar ingentes volúmenes de datos con el fin de detectar en tiempo real situaciones críticas o relevantes ...
  • El arte en los videojuegos: gestión, proceso artístico y metodologías de trabajo 

    Candil-Gil-Ortega, Daniel (2016-11-29)
    ¿Qué implica ser Art Director en un videojuego? ¿Y un Studio Art Director? La importancia del arte en los videojuegos es cada vez mayor y los equipos detrás de la creación de assets artísticos son cada vez más grandes y ...
  • Pixel Features for Self-organizing Map Based Detection of Foreground Objects in Dynamic Environments 

    Molina-Cabello, Miguel Angel; López-Rubio, Ezequiel; Luque-Baena, Rafael Marcos; Dominguez, Enrique; Palomo, Esteban José
    Among current foreground detection algorithms for video sequences, methods based on self-organizing maps are obtaining a greater relevance. In this work we propose a probabilistic self-organising map based model, which ...
  • Estudio de Estrategias de Archivo en PSO Multi-Objetivo para el Docking Molecular 

    López-Camacho, Esteban; García-Godoy, María Jesús; García-Nieto, José; Nebro, Antonio J.; Aldana-Montes, Jose Francisco (2016)
    El acoplamiento molecular es un problema de optimización complejo cuyo objetivo es la predicción de la posición de un ligando en el sitio activo de un receptor con la mínima energía de unión. Este problema puede ser formulado ...
  • Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad 

    Horcas, José Miguel; Pinto, Mónica; Fuentes, Lidia (Ediciones Universidad Salamanca, 2016)
    La computación en la nube se está convirtiendo en un mecanismo predominante para desplegar fácilmente aplicaciones con requisitos especiales, tales como el almacenamiento masivo compartido, o el equilibrado de carga. ...
  • Un Framework para Big Data Optimization Basado en jMetal y Spark 

    Barba-González, Cristóbal; Nebro, Antonio J.; García-Nieto, José; Cordero, José A.; Durillo, Juan J.; [et al.] (2016)
    Las metaheurísticas multi-objetivo se han convertido en técnicas muy utilizadas para la resolución de problemas complejos de optimización compuestos de varias funciones objetivo en conflicto entre sí. Nos encontramos en ...
  • A Study of Archiving Strategies in Multi-Objective PSO for Molecular Docking 

    García-Nieto, José; López-Camacho, Esteban; García-Godoy, María Jesús; Nebro, Antonio J.; Durillo, Juan J.; [et al.] (2016-09-30)
    Molecular docking is a complex optimization problem aimed at predicting the position of a ligand molecule in the active site of a receptor with the lowest binding energy. This problem can be formulated as a bi-objective ...

Más