Buscar
Mostrando ítems 1-10 de 19
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 ...
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 ...
Ponencia
Complexity Classes in Cellular Computing with Membranes
(2003)
In this paper we introduce the complexity class PMC∗ F of all decision problems solvable in polynomial time by a family of P systems belonging to a prefixed class of recognizer membrane systems, F.
Ponencia
Approximating Non-discrete P Systems
(Springer, 2004)
The main goal of this paper is to propose some geometric approaches to the computations of non-discrete P systems. The behavior of this kind of P systems is similar to that of classic systems, with the difference that ...
Capítulo de Libro
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 2004)
In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2-division.
Ponencia
Computation in One-Dimensional Piecewise Maps
(Springer, 2007)
In this paper we show that the one-dimensional Piecewise Affine Maps (PAMs) are equivalent to planar Pseudo-Billiard Systems (PBSs) or so called “strange billiards”. The reachability problem for PAMs is still open, ...
Libro
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
(Fidetia, 2014)
Ponencia
Combining reservoir computing and variational inference for efficient one-class learning on dynamical systems
(IEEE Computer Society, 2017)
Usually, time series acquired from some measurement in a dynamical system are the main source of information about its internal structure and complex behavior. In this situation, trying to predict a future state or to ...