Run-Time Analysis for Atomicity

Writing and debugging concurrent (shared-variable) programs is notoriously difficult. This motivated the development of numerous static analysis and run-time analysis techniques designed to (help) ensure that concurrent programs satisfy common correctness requirements for concurrent programs, such as absence of race conditions and absence of deadlocks. This paper focuses on another common correctness requirement for concurrent programs, namely, atomicity, which requires that any set of concurrent invocations of designated procedures is equivalent to performing those invocations serially in some order. Run-time analysis algorithms for detecting violations of atomicity are presented. The algorithms vary in cost and precision.     

Mapping the Characteristics of a 'Good' Play Therapist.

In this pilot study, concept mapping, a methodological approach combining qualitative and quantitative analytic strategies, was used to identify the therapist qualities, competencies, and skills necessary for effective play therapy outcomes as perceived by a sub-sample of 28 experienced play therapists who are members of the Association for Play Therapy (APT). The clusters associated with the therapeutic relationship and facilitative skills (e.g., empathy, warmth, and genuineness) were rated as the most essential skills to possess and also as the most difficult to develop. In contrast, the clusters associated with play therapy interventions and theories were rated as the least important skills to possess but as the easiest to acquire. The findings are discussed, with implications for therapeutic practice, research, and policy. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

General relativity and quantum mechanics: towards a generalization of the Lambert W function A Generalization of the Lambert W Function

We present a canonical form for a natural and necessary generalization of the Lambert W function, natural in that it requires minimal mathematical definitions for this generalization, and necessary in that it provides a means of expressing solutions to a number of physical problems of fundamental nature. This generalization expresses the exact solutions for general-relativistic self-gravitating N-body systems in one spatial and one time dimension, and a previously unknown mathematical link between the (1+1) gravity problem and the Schrödinger wave equation.     

Temperature dependence of the infrared optical properties of YBa2Cu3O7: A plasmon damping model

The temperature dependence observed in the mid- and near-infrared optical properties of YBa₂Cu₃O₇ is explained in terms of the Drude model for free charge carriers. In the Drude model, the linear temperature dependence of the dc resistivity arises from the free charge carriers having a temperature-dependent mean free path. This temperature dependence results in the plasmon contribution to the dielectric constant having a damping coefficient which also varies linearly with temperature. We find that the temperature dependence which is observed in the absorption and reflection spectra of YBa₂Cu₃O₇ is consistent with this simple model.     

Extrahepatic metabolism of 4-methylumbelliferone and lidocaine in the anhepatic rabbit

OBJECTIVE: The initially well-fixed implants of total hip replacement (THR) are in the long-term subject to aseptic loosening. Many cytokines can contribute to osteolysis due to osteoclast recruitment and/or activation. However, in this respect tumor necrosis factor-alpha (TNF-alpha) plays a pivotal role, because it upregulates interleukin-1 and 6 and granulocyte-macrophage colony stimulating factor. The aim of this study was to assess the eventual presence, cellular localization and extent of expression of TNF-alpha in the synovial-like membrane at the implant or at the cement to bone interface compared to control synovial membrane. METHODS: Twenty samples from the synovial-like membrane of the periprosthetic tissues were compared to control samples. TNF-alpha containing cells were visualized using an avidin-biotin-peroxidase complex (ABC) method and analyzed by light microscopy, double labelling and image analysis. RESULTS: TNF-alpha was found in the periprosthetic tissues in fibroblasts and vascular endothelial cells, but mainly in the macrophages was it found to coincide with areas containing implant-derived debris. TNF-alpha containing cells were more numerous in the synovial-like membrane in the interface tissue from the proximal stem area (2816 +/- 318 cells) than in the control synovial membrane (565 +/- 93 cells, p < 0.01). Interestingly, similarly high TNF-alpha expression (3452 +/- 582 cells) was also seen in the synovial-like membrane of the pseudocapsule. CONCLUSION: These findings suggest that the foreign body-type host reaction caused by THR is characterized by the high expression of TNF-alpha. Because such expression occurred in the interface tissue between the implant and surrounding bone, TNF-alpha, due to its pivotal direct and indirect role in the activation and recruitment of osteoclasts, may contribute to periprosthetic osteolysis and to the loosening of THR.     

Isolation and DNA sequence of the STE14 gene encoding farnesyl cysteine: Carboxyl methyltransferase

We isolated a mutant defective in C-terminal farnesyl cysteine:carboxyl methyltransferase activity from a screen for mutations causing a -specific sterility. A genomic fragment was cloned from a yeast multi-copy library that restored mating. Both the cloned gene and the sterile mutation were allelic to the STE14 gene. A ste14-complementing 2·17 kb BamHI fragment subclone was sequenced and found to encode a 239 amino acid protein with a molecular weight of 27,887 Daltons. The hydrophobicity profile of the methyltransferase reveals the presence of at least five potential transmembrane domains. In comparisons of the C-terminal methyltransferase amino acid sequence with those in the PIR and Swiss protein databases, no significantly similar sequences were found nor were conserved regions from other methyltransferases present.     

Analogies with optical bistability in ferroelectrics

Mathematical analogies are developed between the formalism used to describe regenerative pulsations accompanying optical bistability in ferroelectrics and that used to parametrize the transition from steady flow to laminar vortex generation in viscous fluids. An “effective Reynolds number” and an “effective specific viscosity” are both defined for the optical bistability model. The characteristic length in the problem is defined in a way similar to that in Abrikosov's theory of Type II superconductors.     

SPECT, CT, and MRI in head injury: acute abnormalities followed up at six months

We report a case of cervicofacial necrotizing fasciitis that developed after blepharoplasty, an occurrence that, to our knowledge, has not previously been reported in the medical literature. A patient who presented to our institution 3 days after undergoing blepharoplasty of the upper eyelid was diagnosed as having fulminant fasciitis involving extensive areas of the face, scalp, and neck. We review the case in detail and discuss clinical and radiological clues to diagnosis, surgical and medical management, wound care, and subsequent scar contracture. This case emphasizes the need for individualized, appropriate postoperative care and for an awareness of this rare, potentially fatal complication. Early recognition and aggressive treatment of cervicofacial fasciitis can arrest its rapid progression and prevent devastating sequelae.     

Intravenous microdialysis sampling in awake, freely-moving rats.

Intravenous microdialysis sampling in the awake, freely-moving rat for the determination of free drug concentrations in blood is described. Intravenous microdialysis was performed with a nonmetallic, flexible dialysis probe. The pharmacokinetics of theophylline were determined using both microdialysis sampling and collection of whole blood following an iv dose. There was no difference in the half-life of elimination of theophylline determined by microdialysis, 4.4 +/- 0.4 h, and whole blood sampling, 4.5 +/- 0.7 h. The kinetics of elimination were affected by removing blood samples and by using anesthesia. The half-life of elimination was 4.4 +/- 0.4 h when using simultaneous microdialysis and whole-blood sampling and only 3.0 +/- 0.4 h using microdialysis alone. The half-life of elimination was 17.0 +/- 7.1 h in chloral hydrate anesthesized rats. Microdialysis samples were continuously collected for over 7 h without fluid loss using a single experimental animal. Microdialysis sampling directly assesses the free drug concentration in blood. The extent of theophylline binding to blood proteins was determined in vitro in rat plasma and rat whole blood using both ultrafiltration and microdialysis. Theophylline was (47.3 +/- 1.3)% bound in rat plasma and (52.2 +/- 1.6)% bound in rat whole blood. Microdialysis sampling is a powerful tool for pharmacokinetic studies, providing accurate and precise pharmacokinetic data.