The recent spread of highly pathogenic avian influenza (HPAI) H5N1 from Southeast Asia into Europe and Africa emphasizes the need to better understand the mechanisms by which the disease is spread. Current wildlife surveillance has been limited to a combination of targeted sampling, opportunistic sampling, and recovery of dead wildlife. Recent interest in avian influenzas provides an opportunit...

In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system – the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway.

Recently we have proposed a new transportation system called PRISM (which stands for Program for Individual Sustainable Mobility) to help alleviate traffic congestion and to improve energy efficiency of travel [1]. The system employs privately owned small, dual-mode vehicles that can run on both conventional streets and a dedicated guideway. In this paper we consider an all-electric version for...

New spectral reflectance measurements of the Galilean satellites of' Jupiter were obtained in November, 1975 at the 224 cm. telescope at Mauna Kea Observatory, Hawaii. A prism spectrograph with a silicon vidicon detector was used in the spectral region 0.3-1.06 pm. These new measurements are of a higher wavelength resolution than previous measurements. The results are compared with earlier meas...

Simultaneous adaptation of the thumb and index finger of the same hand to 1 opposite prism displacements. 2 3 Willemijn D. Schot, Eli Brenner, Jeroen B. J. Smeets 4 5 1. Research Institute MOVE, Faculty of Human Movement Sciences, VU University 6 Amsterdam, Amsterdam, The Netherlands 7 2. Current address: Center for Motor and Cognitive Disabilities, Utrecht University, 8 Utrecht, The Netherland...

This paper describes a prototype virtualized file system, Prism, for supporting hosted servers and utility computing. Prism provides a filesystem service that allows lightweight creation of filesystems for new users from existing filesystems. All users’ filesystems are mutable and yet isolated from each other. In our experiments, new filesystems can be created from existing ones in under one-fi...

I analyzed the Pynchon Gate Protocol, a pseudonymous mail reply handling protocol introduced by Sassaman, Coen, and Mathewson, and in particular BitTorrent’s suitability for it’s purpose within that protocol. After an unfulfilling attempt at using PRISM, I wrote a BitTorrent simulator and used that to verify the feasibility of an attack delaying the distribution of the mail and possibly removin...