Buscar
Mostrando ítems 1-10 de 56
Tesis Doctoral
Especificación y verificación de programas moleculares en PVS
(2003-09-29)
La Computación Molecular y, en concreto, la Computación con ADN, es una disciplina que se enmarca dentro del campo de investigación conocido como Computación Natural. Tiene como objetivo el desarrollo de modelos de computación ...
Artículo
Fusing convolutional generative adversarial encoders for 3D printer fault detection with only normal condition signals
(Elsevier, 2021)
Collecting data from mechanical systems in abnormal conditions is expensive and time consuming. Consequently, fault detection approaches based on classical supervised learning working with both normal and abnormal data ...
Ponencia
Vision and Crowdsensing Technology for an Optimal Response in Physical-Security
(Springer, 2019)
Law enforcement agencies and private security companies work to prevent, detect and counteract any threat with the resources they have, including alarms and video surveillance. Even so, there are still terrorist attacks ...
Ponencia
SylvaDB: A Polyglot and Multi-backend Graph Database Management System
(ScitePress Digital Library, 2013)
This paper presents SylvaDB, a graph database management system designed to be used by people with no technical knowledge. SylvaDB is based on flexible schema definitions and has been developed taking into account the need ...
Capítulo de Libro
A MzScheme Implementation of Transition P Systems
(Springer, 2003)
The main goal of this paper is to present the design of an MzScheme program that allows us to simulate the behavior of transition P systems. For that, a library of procedures have been developed that work in two stages. ...
Tesis Doctoral
Descubrimiento de conocimiento en grafos multi-relacionales
(2017-06-30)
Ante el reducido abanico de metodologías para llevar a cabo tareas de aprendizaje automático relacional, el objetivo principal de esta tesis es realizar un análisis de los métodos existentes, modificando u optimizando en ...
Artículo
Reachability problems in low-dimensional iterative maps
(World Scientific, 2008)
In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equiv- alent to pseudo-billiard or so called \strange billiard" systems. We also show that the more ...
Tesis Doctoral
Verificación de programas en modelos de computación no convencionales
(2002)
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de procedimientos mecánicos en modelos no convencionales, en el marco de la Computación Natural. Para ello, ...
Ponencia
ASAP: A Framework for Designing Gamified Models of Complex Systems
(IEEE Computer Society, 2016)
This paper introduces ASAP, a framework for the development of mobile gamification of problems where Complex Systems play a fundamental role. This framework allows adding a layer of gamification concepts over a set of ...
Ponencia
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
(2002)
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this ...