We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
In survey statistics, simulation studies are usually performed by repeatedly drawing samples from population data. Furthermore, population data may be used in courses on survey sta...
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...