Two innovative high-speed low power parallel 8-bit counter architectures are proposed. Then, High speed 8-bit frequency divider circuits using the proposed architectures are realized. The proposed parallel counter architectures consist of two sections – The Counting Path and the State Excitation Module. The counting path consists of three counting modules in which the first module (basic module...

This paper describes a new measure for presence in immersive virtual environments (VEs) based on data that can be obtained unobtrusively during the course of a VE experience. At different times during an experience a participant will occasionally switch between interpreting the totality of sensory inputs as forming the VE or the real world. The number of transitions from virtual to real is coun...

GABA is the main inhibitory neurotransmitter in the mammalian brain. The postsynaptic GABAA receptor/pore complex is presumed to be a pentamer typically composed of a combination of alpha, beta, and gamma subunits, although the stoichiometry remains controversial. We probed the stoichiometry of the GABAA receptor by site-directed mutagenesis of a conserved leucine (to serine) in the putative se...

The main result is the development of a low depth, highly compact implementation of parallel counters (i.e., population counters), based on threshold logic. ?\U0 such counters are designed using the recently proposed Charge Recycling Threshold Logic (CRTL) gate. The novel feature of the designs is the sharing among 311 threshold gates of a single capacitive network for computing the weighted su...

S. Pislak, P. Robmann and P. Tru ol, in collaboration with J. Egger, W. D. Herold, H. Kaspar, and H. Weyer, Paul{Scherrer{Institut, CH-5234 Villigen Brookhaven National Laboratory, Upton, NY-11973, USA University of New Mexico, Albuquerque, NM-87131, USA University of Pittsburgh, Pittsburgh, PA-15260, USA Yale University, Newhaven, CT-06511, USA Institute for Nuclear Research, Academy of Scien...

We study parameterised verification of robot swarms against temporal-epistemic specifications. We relax some of the significant restrictions assumed in the literature and present a counter abstraction approach that enable us to verify a potentially much smaller abstract model when checking a formula on a swarm of any size. We present an implementation and discuss experimental results obtained f...