Listar LCC - Conferencias Científicas por título
Mostrando ítems 45-60 de 60
-
Pixel Features for Self-organizing Map Based Detection of Foreground Objects in Dynamic Environments
Molina-Cabello, Miguel Ángel
; López-Rubio, Ezequiel; Luque-Baena, Rafael Marcos; Domínguez, Enrique; Palomo-Ferrer, 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 ... -
Problemas matemáticos sin resolver que cualquier niño puede entender
(2016-07-20)Un lastre que incide en el rechazo a las matemáticas es su imagen de ser una ciencia inerte, sin nada por descubrir y limitada a unos pocos expertos. Esta charla pretende mostrar que la investigación en matemáticas está ... -
Procesamiento de eventos complejos aplicado al ámbito de las smart cities
(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 ... -
Redesigning the jMetal Multi-Objective Optimization Framework
Nebro-Urbaneja, Antonio Jesús; Durillo, Juan J.; Vergne, Matthieu (2015-07-23)
jMetal, an open source, Java-based framework for multi-objective optimization with metaheuristics, has become a valuable tool for many researches in the area as well as for some industrial partners in the last ten years. ... -
Reliable deployment, reconfiguration, and control of cloud applications
(2015-02-18)Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex ... -
Rewriting Modulo SMT and Open System Analysis
(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 ... -
SafeWalks: aplicación móvil de supervisión de pacientes de Alzheimer
Pérez Lozano, Pablo; Pérez Vereda, Alejandro; Murillo, Juan Manuel; Canal-Velasco, José Carlos (2015-09-23)
El principal objetivo de Internet of Things (IoT) es integrar las tecnologías informáticas en el quehacer cotidiano de las personas, facilitando su interacción con un entorno de dispositivos interconectados, pero el estado ... -
Scalable Inference of Gene Regulatory Networks with the Spark Distributed Computing Platform Cristo
Barba-González, Cristóbal; García-Nieto, José Manuel; Benítez-Hidalgo, Antonio; Aldana-Montes, José Francisco (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 ... -
Search-Based Model Transformations
(2016-04-18)Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence ... -
Security Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementations
(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 ... -
Selected Recent Work in Self-awareness and Self-expression in Computing
(2014-04-29)This talk presents some of our recent work in the EU-funded EPiCS project. The first part of the talk will review very briefly what self-awareness means in some psychology and cognitive science literature. Then working ... -
Sostenibilidiad empresarial a través de los intangibles: Una visión de las empresas energéticas y sector público
(2016-06-10)Los intengibles son un factor de valor de las empresas, para su sostenibilidad y permanencia en el tiempo. El sector energético es uno de los sectores más sensibles a este tipo de ítems, estando las empresas de dicho sector ... -
Standardized connectivity and communication for constrained devices
(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 ... -
Tracking advanced persistent threats in critical infrastructures through opinion dynamics
Rubio, Juan E.; Alcaraz-Tello, María Cristina; Zhang, Yan; Román-Castro, Rodrigo (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 ... -
Un Repositorio RDF para la integración y consulta de datos de pacientes hepáticos
Roldán-García, María del Mar; Aldana-Montes, José 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 ... -
What Evolutionary Biologists Can Learn from Artificial Life
(2019-04-11)Big questions in Evolutionary Biology and experimental limitations - The evolution of complex traits. - The role of neutral variation in adaptive evolution. - Selection for fitness vs selection for robustness. - The ...