Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal methods for behavior speciication of rea...

The global burden of HIV-associated cryptococcal meningitis is estimated at nearly one million cases per year, causing up to a third of all AIDS-related deaths. Molecular epidemiology constitutes the main methodology for understanding the factors underpinning the emergence of this understudied, yet increasingly important, group of pathogenic fungi. Cryptococcus species are notable in the degree...

THE TRANSFORMATION OF LIGHT into electrical signals is the first step in the visual response. The molecular machinery responsible for this transformation is arguably the best understood cellular signaling pathway. In this pathway, light-mediated activation of the G protein-coupled receptor rhodopsin (R) triggers the G protein transducin (T) to exchange GDP for GTP. One activated rhodopsin (R*) ...

Rod photoreceptor cyclic nucleotide-gated (CNG) channels are modulated by tyrosine phosphorylation. Rod CNG channels expressed in Xenopus oocytes are associated with constitutively active protein tyrosine kinases (PTKs) and protein tyrosine phosphatases that decrease and increase, respectively, the apparent affinity of the channels for cGMP. Here, we examine the effects of genistein, a competit...

in addition to increment of the vehicle sprung mass, the main physical effects of addition of cng tank to the vehicle are the longitudinal and height displacement of center of gravity, which have the most influences on the handling, braking, roll stability and spin stability of the vehicle. increment of cng tank mass to the sprung mass of the vehicle increases the vehicle under-steer gradient, ...

Rapid technological change is opening new possibilities for electrification of the transportation sector. This paper offers novel empirical guidance to policymakers considering investments in electric urban buses. We determine environmental benefit using buses rather than diesel or Compressed Natural Gas (CNG) transit. For and CNG we calculate air pollution damages by combining emission rates w...

Cyclic nucleotide-gated (CNG) channels play a central role in the conversion of sensory stimuli into electrical signals. CNG channels form heterooligomeric complexes built of A and B subunits. Here, we study the subunit stoichiometry of the native rod CNG channel by chemical crosslinking. The apparent molecular weight (M(w)) of each crosslink product was determined by SDS-PAGE, and its composit...

Cyclic nucleotide-gated (CNG) ion channels are crucial for phototransduction in rod photoreceptors. Light triggers a biochemical cascade that reduces the concentration of cGMP in rods, closing CNG channels, which leads to membrane potential hyperpolarization and a decrease in the concentration of intracellular Ca2+. During light adaptation, the sensitivity of CNG channels to cGMP is decreased b...