Mostrando ítems 1-20 de 59

    • Aplicaciones de inteligencia artificial 

      Elizondo Acuña, David Alberto (2018-12-13)
      Las redes neuronales artificiales han sido usadas en innumerables problemas reales. Esta conferencia presenta un resumen de algunas de las aplicaciones más recientes de estas técnicas a problemas reales. Dentro de los ...
    • Rewriting Modulo SMT and Open System Analysis 

      Rocha, Camilo (2018-11-26)
      Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ...
    • Hacia la docencia “cloud-first” en la ingeniería de software 

      Fox, Armando (2018-11-26)
      En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ...
    • Enriquecimiento automático de ontologías biomédicas mediante el uso de mappings 

      García Godoy, María Jesús; López-Camacho, Esteban; Roldan-Garcia, Maria del Mar; Aldana-Montes, José F. (2018-11-15)
      Dione es una representación en OWL del ICD-10-CM, consistente lógicamente, cuyos axiomas definen las inclusiones y exclusiones del ICD-10-CM mediante una metodología basada en los mappings ICD-10-CM/SNOMED-CT, proporcionados ...
    • Algoritmo Evolutivo Multi-Objectivo para la Toma de Decisiones Interactiva en Optimización Dinámica 

      Barba-González, Cristóbal; García-Nieto, José; Ruiz, Ana B.; Nebro, Antonio J.; Luque, Mariano; [et al.] (2018-11-09)
      Debido al creciente interés en el análisis de datos en streaming en entornos Big Data para la toma de decisiones, cada vez es más común la aparición de problemas de optimización dinámica que involucran dos o más objetivos ...
    • Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform Cristo 

      Barba-González, Cristóbal; García-Nieto, José; Benítez-Hidalgo, Antonio; Aldana-Montes, José F. (2018-11-05)
      Inference of Gene Regulatory Networks (GRNs) remains an important open challenge in computational biology. The goal of bio-model inference is to, based on time-series of gene expression data, obtain the sparse topological ...
    • Background modeling for video sequences by stacked denoising autoencoders 

      García-González, Jorge; Ortiz-de-lazcano-Lobato, Juan Miguel; Luque-Baena, Rafael M.; Molina-Cabello, Miguel A.; López-Rubio, Ezequiel (2018-11-05)
      Nowadays, the analysis and extraction of relevant information in visual data flows is of paramount importance. These images sequences can last for hours, which implies that the model must adapt to all kinds of circumstances ...
    • Detección de variedad y estado de maduración del ciruelo japonés utilizando imégenes hiperespectrales y aprendizaje profundo 

      Chávez de la O, Francisco; Rodríguez Puerta, Borja; Rodríguez Díaz, Francisco Javier; Luque-Baena, Rafael Marcos (2018-11-05)
      En la actualidad, España ocupa el séptimo puesto como productor de ciruelas a nivel mundial y el tercero a nivel europeo según la Organización de las Naciones Unidas para la Alimentación y la Agricultura. La importancia ...
    • About Designing an Observer Pattern-Based Architecture for a Multi-objective Metaheuristic Optimization Framework 

      Benítez-Hidalgo, Antonio; Nebro, Antonio J.; Durillo, Juan J.; García-Nieto, José; López-Camacho, Esteban; [et al.] (2018-11-05)
      Multi-objective optimization with metaheuristics is an active and popular research field which is supported by the availability of software frameworks providing algorithms, benchmark problems, quality indicators and other ...
    • Un Repositorio RDF para la integración y consulta de datos de pacientes hepáticos 

      Roldan-Garcia, Maria del Mar; Aldana-Montes, Jose Francisco (2018-10-03)
      Los casos médicos pasados, y por lo tanto, la experiencia clínica, son recursos de valor incalculable para apoyar la práctica clínica, la investigación y la formación. Los profesionales médicos deben poder intercambiar ...
    • Análisis de los datos del acelerómetro para detección de actividades 

      Hurtado Requena, Sandro; Barba-González, Cristóbal; Rybinski, Maciej; Baron-Lopez, Francisco Javier; Wärnberg, Julia; [et al.] (2018-10-03)
      La inactividad física es uno de los principales factores de riesgo de mortalidad y su relación con las principales enfermedades crónicas es objeto de intensas investigaciones medicas. Un método objetivo de la evaluación ...
    • Tracking advanced persistent threats in critical infrastructures through opinion dynamics 

      Rubio, Juan E.; Alcaraz, Cristina; Zhang, Yan; Roman-Castro, Rodrigo; Zhang, Yan (2018-09-26)
      Advanced persistent threats pose a serious issue for modern industrial environments, due to their targeted and complex attack vectors that are difficult to detect. This is especially severe in critical infrastructures that ...
    • CMSA para el problema de la generación de casos de prueba priorizados en líneas de productos software 

      Ortega Toro, Jose Antonio; Ferrer, Javier; Chicano, Francisco (2018-09-24)
      En las líneas de producto software puede ser difícil o incluso imposible probar todos los productos de la familia debido al gran número de combinaciones de características que puede existir. Esto conlleva la necesidad de ...
    • Artificial decision maker driven by PSO: an approach for testing reference point based interactive methods 

      Ojalehto, Vesa; Nebro, Antonio J.; Miettinen, Kaisa; Aldana-Montes, Jose Francisco; García-Nieto, José; [et al.] (2018-09-14)
      Over the years, many interactive multiobjective optimization methods based on a reference point have been proposed. With a reference point, the decision maker indicates desirable objective function values to iteratively ...
    • 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 ...