Buscar
Mostrando ítems 1-10 de 16
Artículo
Intelligent OLSR Routing Protocol Optimization for VANETs
(IEEE Computer Society, 2012)
Recent advances in wireless technologies have given rise to the emergence of vehicular ad hoc networks (VANETs). In such networks, the limited coverage ofWiFi and the high mobility of the nodes generate frequent topology ...
Artículo
Languages and P systems: Recent developments
(2012)
Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. We briefly recall here this relationship, with some details about certain recent developments. In ...
Artículo
Dynamic Topological Logic of Metric Spaces
(Cambridge University Press, 2012)
Dynamic Topological Logic (DT L) is a modal framework for reasoning about dynamical systems, that is, pairs hX; fi where X is a topological space and f : X ! X a continuous function. In this paper we consider the case ...
Artículo
Swarm intelligence for traffic light scheduling: Application to real urban areas
(Elsevier, 2012)
Congestion, pollution, security, parking, noise, and many other problems derived from vehicular traffic are present every day in most cities around the world. The growing number of traffic lights that control the vehicular ...
Artículo
P automata revisited
(Elsevier, 2012)
We continue here the investigation of P automata, in their non-extended case, a class of devices which characterize non-universal family of languages. First, a recent conjecture is confirmed: any recursively enumerable ...
Artículo
A secure additive protocol for card players
(University of Queensland, 2012)
Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards are all different and players only know their own cards. Suppose Alice and Bob wish to communicate ...
Artículo
The Potosí principle: religious prosociality fosters selforganization of larger commnities under extreme natural and economic conditions
(Oxford Academic, 2012)
We show how in colonial Potosı´ (present-day Bolivia) social and political stabil-ity was achieved through the self-organization of society through the repetition of religious rituals. Our analysis shows that the population ...
Artículo
Formalization of a normalization theorem in simplicial topology
(Springer, 2012)
In this paper we present a complete formalization of the Normalization Theorem, a result in Algebraic Simplicial Topology stating that there exists a homotopy equivalence between the chain complex of a simplicial set, ...
Artículo
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
(Romanian Academy, 2012)
Common Algorithmic Problem is an optimization problem, which has the nice property that several other NP-complete problems can be reduced to it in linear time. In this work, we deal with its decision version in the ...
Artículo
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
(Springer, 2012)
Membrane Computing has recently proved to be a suitable framework for addressing the modelling of dynamical biological systems in general, and ecosystems in particular. Due to the inherent randomness and uncertainty in ...