Buscar
Mostrando ítems 1-10 de 22
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Artículo
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm
(Oxford Academic, 2013)
The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted to computing in Algebraic Topology. In this article we report on a complete formal proof of the underlying ...
Artículo
Segmenting images with gradient-based edge detection using Membrane Computing
(Elsevier, 2013)
In this paper, we present a parallel implementation of a new algorithm for segmenting images with gradient-based edge detection by using techniques from Natural Computing. This bio-inspired parallel algorithm has been ...
Artículo
Complex concept lattices for simulating human prediction in sport
(Springer, 2013)
In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in understanding their evolution. In particular, global patterns are required to detect emergent concepts ...
Artículo
Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing
(Taylor and Francis, 2013)
Artículo
Agent-mediated shared conceptualizations in tagging services
(Springer, 2013)
Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow the use of folksonomies as a useful structure for a number of tasks in the social web, such as ...
Artículo
Optimal Cycle Program of Traffic Lights With Particle Swarm Optimization
(IEEE Computer Society, 2013)
Optimal staging of traffic lights, and in particular optimal light cycle programs, is a crucial task in present day cities with potential benefits in terms of energy consumption, traffic flow management, pedestrian ...
Artículo
On the Optimality of Conservation Results for Local Reflection in Arithmetic
(Association for Symbolic Logic, 2013)
Let T be a recursively enumerable theory extending Elementary Arithmetic EA. L. D. Beklemishev proved that the Σ2 local reflection principle for T, (T), is conservative over the Σ1 local reflection principle, (T), with ...
Artículo
On the Phenomenological Reconstruction of Complex Systems—The Scale-Free Conceptualization Hypothesis
(Wiley, 2013)
Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal models (representations) of the system. The task of building a qualitative model necessitates the ...
Artículo
Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems
(Old City Publishing, 2013)
Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. In this work, we consider a special class of gene regulatory networks, called logical networks, ...