Modern digital circuit design relies on fast digital timing simulation tools and, hence, on accurate binary-valued circuit models that faithfully model signal propagation, even throughout a complex design. Of particular importance is the ability to trace glitches and other short pulses, as their presence/absence may even affect a circuit’s correctness. Unfortunately, it was recently proved [Füg...

Animals are constantly faced with the challenge of interpreting signals from noisy sensors and acting in the face of incomplete knowledge about the environment. A rigorous approach to handling uncertainty is to characterize and process information using probabilities. Having estimates of the probabilities of objects and events allows one to make intelligent decisions in the presence of uncertai...

Graphical models give a clear and concise way of describing dependencies among many variables. Only relationships among variables which all share a common hyperedge must be modeled, considerably simplifying both the modeling and the computational task. Graphical models have been studied by Pearl [1986a,1986b], Moussouris[1974], and Lauritzen and Spiegelhalter[1988] in the Bayesian case, and Kon...

In this paper a survey of the main proposals to simulate in Transport Networks is presented. A new model focused on GMPLS-based networks is proposed. The proposal is evaluated and results show that the model is able to simulate different failure propagation scenarios. Results also offer identifying what are the critical parts of the network when a failure propagation occurs in order to protect ...

SUMMARY This paper reviews recently published results on multiple input multiple output (MIMO) channel modeling. Both nar-rowband and wideband models are considered. We distinguish between two main approaches to MIMO channel modeling, namely, physically based and non-physically based modeling. The non-physical models primarily rely on the statistical characteristics of the MIMO channels obtaine...

The topic of this thesis is Opportunistic Networks (opnets), a type of mobile ad hoc network in which data are propagated by the movement of the network devices and by short-range wireless transmissions. This allows data to spread to many devices across large distances without the use of any infrastructure or powerful hardware. Opnet technology is in its fairly early stages of development and h...