High-risk sexual behavior at a midwestern university: a confirmatory survey

According to a 1991 study of sexual behavior based on a random sample of heterosexual undergraduates at a Midwestern university, 80% of the males and 73% of the females had experienced vaginal or anal intercourse. The average age at first vaginal intercourse was 17.2 years for both sexes. Seventeen percent of the sexually experienced males and 18% of the sexually experienced females had engaged in heterosexual anal intercourse; among these respondents, the average age at first anal intercourse was 20.3 for males and 19.1 for females. Although less than four years, on average, had elapsed since the respondents had first had vaginal intercourse, males reported an average of 8.0 lifetime vaginal-sex partners and females reported an average of 6.1. Overall, the findings from this random sample of students are similar to those from a 1988 convenience sample of the same college population.     

Opportunistic fungal infections: filamentous fungi and cryptococcosis

Older patients with diabetes mellitus or pulmonary diseases and those receiving immunosuppressive drugs are at an increased risk of infection with environmentally-acquired, opportunistic fungal diseases. Aspergillus most often produces invasive pulmonary or sinus infection in severely immuno-compromised patients. Chronic necrotizing pulmonary and sino-orbital aspergillosis present subacutely and are often misdiagnosed. Mucormycosis classically presents with rhinocerebral disease in diabetic patients with ketoacidosis, whereas pulmonary infection mimics invasive pulmonary aspergillosis and occurs mostly in patients who are neutropenic. Cryptococcal meningitis in the older patient may manifest simply as confusion. Amphotericin B is the preferred initial treatment for all three fungal infections.     

CBF beta-SMMHC, expressed in M4Eo AML, reduced CBF DNA-binding and inhibited the G1 to S cell cycle transition at the restriction point in myeloid and lymphoid cells

CBF beta-SMMHC is expressed from the inv(16) chromosome in M4Eo AML. Mice lacking CBF subunits or expressing the CBF beta-SMMHC or AML1-ETO oncoproteins failed to develop definitive hematopoiesis. To investigate these effects on hematopoiesis, we expressed CBF beta-SMMHC from the metallothionein promoter, in both 32D cl3 myeloid cells and Ba/F3 B-lymphoid cells. Addition of zinc increased CBF beta-SMMHC levels more than tenfold, with higher levels evident in Ba/F3 lines. Levels obtained in 32D cl3 cells were similar to those of endogenous CBF beta. Indirect immunofluorescence revealed zinc-inducible speckled, nuclear staining in Ba/F3 cells and diffuse nuclear staining in 32D cl3 cells. CBF beta-SMMHC reduced endogenous CBF DNA-binding fivefold in both cell types, increased cell generation time 1.9-fold, on average, in 32D cl3 cells and 1.5-fold in Ba/ F3 cells and decreased tritiated thymidine incorporation into DNA correspondingly. CBF beta-SMMHC increased the proportion of cells in G1 1.7-fold, on average, in 32D cl3 and Ba/F3 cells, and decreased the proportion of cells in S phase by a similar degree. CBF beta-SMMHC induced a marked increase in hypophosphorylated Rb, but did not alter IL-3 Receptor alpha or beta subunit levels. Neither apoptosis nor 32D differentiation was induced by zinc in IL-3 in these lines. Induction of CBF beta-SMMHC in 32D cl3 cells did not inhibit their differentiation to neutrophils or their expression of myeloperoxidase mRNA in G-CSF, and did not produce an eosinophilic phenotype. Additional, proliferative genetic changes in M4eo AMLs might potentiate inhibition of differentiation by CBF beta-SMMHC by allowing its increased expression.     

Physiological and theoretical analysis of K+ currents controlling discharge in neonatal rat mesencephalic trigeminal neurons

Whole cell voltage- and current-clamp recordings were obtained from mesencephalic trigeminal sensory (Mes 5) neurons identified visually in thin brain stem slices of neonatal rats with the use of infrared video microscopy. These cells exhibited accommodation in spike discharge responses to depolarizing current injection protocols whose duration differed as a function of holding potential (-50 vs. -65 mV). Several spikes were elicited before the membrane response accommodated from -50 mV, whereas from -65 mV only single action potentials were evoked. In response to similar protocols, application of the K+ channel blocker 4-aminopyridine (4-AP) (50 microM to 2 mM) caused sustained repetitive spiking whereas tetraethylammonium (TEA) (10-30 mM) did not cause repetitive spiking. In voltage clamp, 4-AP application (100 microM) revealed a sustained outward current (I4-AP) that was active between -60 and -30 mV. I4-AP was responsible for suppressing sustained repetitive spiking behavior, producing accommodation under normal circumstances. TEA application in voltage clamp revealed a sustained outward current evoked positive to -40 mV. Two transient outward currents (TOCs) were identified by prepulse protocols typically used to characterize A-type currents: a 4-AP-insensitive fast TOC, and a slow TOC (ITOC-S) sensitive to 4-AP (> 500 microM). A Ca(2+)-dependent outward current that activated positive to -30 mV was also characterized. A mathematical model of a Mes 5 neuron was assembled from our voltage-clamp records to simulate the dynamic interaction of outward currents during membrane excitation. We conclude that in Mes 5 neurons, the 4-AP-sensitive currents ITOC-S and I4-AP determine the duration of spike trains. In particular, the noninactivating I4-AP determines whether cells exhibit sustained repetitive discharge or accommodate in response to depolarizing current. Neurotransmitter modulation of this current or modulation of the resting membrane potential could modify the output properties of Mes 5 neurons, and therefore the properties of these currents must be incorporated into our current understanding of how these cells contribute to shaping oral-motor pattern generation.     

MR monitoring of focused ultrasonic surgery of renal cortex: experimental and simulation studies

The aim of the study was to test the hypothesis that magnetic resonance (MR) imaging-guided and -monitored noninvasive ultrasonic surgery can be performed in highly perfused tissues from outside the body. A simulation study was performed to evaluate the optimal sonication parameters. An MR-compatible positioning device was then used to manipulate a focused ultrasound transducer in an MR imager, which was used to sonicate kidneys of five rabbits at various power levels and different durations. Temperature elevation during sonication was monitored with a T1-weighted spoiled gradient-echo sequence. The simulation study demonstrated that a sharply focused transducer and relatively short sonication times (30 seconds or less) are necessary to prevent damage to the overlying skin and muscle tissue, which have a much lower blood perfusion rate than kidney. The experiments showed that the imaging sequence was sensitive enough to show temperature elevation during sonication, thereby indicating the location of the beam focus. Histologic evaluations showed that kidney necrosis could be consistently induced without damage to overlying skin and muscle. The study demonstrated that highly perfused tissues such as the renal cortex can be coagulated from outside the body with focused ultrasound and that MR imaging can be used to guide and monitor this surgery.     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.