We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper is twofold: On the one hand it provides an overview of existing types of probabilistic systems and, on the other hand, it explains the relationship between these models. We overview probabilistic systems with discret...

Mobile ad-hoc networks pose real difficulty in finding the multihop shortest paths because of continuous changing positions of the nodes. Traditional ad-hoc routing protocols are proposed to find multi-hop routes based on shortest path routing algorithms, which cannot effectively adapt to time-varying radio links and network topologies of Ad-hoc networks. In this paper we proposed an enhanced r...

he U.S. dollar clearing and settlement system was little noticed during the recent financial crisis, mainly because it performed dependably, processing record volumes and values of trades made in stressed financial markets. Its successful operation was in part a result of the collaborative efforts undertaken by stakeholders over decades to improve risk management and operational resiliency. Und...

Initial and Subsequent Location Choices of Immigrants to the Netherlands The initial settlement behaviour and the subsequent mobility of immigrants who arrived in the Netherlands in 1999 are examined using rich administrative individual data. The study considers the settlement patterns of immigrants from various countries of origin who entered the country as labour, family or asylum migrants. T...

Beginning in the late 1980s, lobster (Homarus americanus) landings for the state of Maine and the Bay of Fundy increased to levels more than three times their previous 20-year means. Reduced predation may have permitted the expansion of lobsters into previously inhospitable territory, but we argue that in this region the spatial patterns of recruitment and the abundance of lobsters are substant...

Abstract: Ever since the evolution of MANETs there has been continuous development in the research endeavors that improve the communication efficiency for the same. Although there has been so much research till date, there are so many of the MANET research issues still prevalent and hindering the smooth communication. One such issue is ambiguity and haste during route formation that not only re...

Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...

Deciding what mix of engine and battery power to use is critical hybrid vehicles' fuel efficiency. Current solutions consider several factors such as the charge how efficient operates at a given speed. Previous research has shown that by taking into account future requirements vehicle, more balance vs. can be attained. In this paper, we utilize probabilistic driving route prediction system, tra...