Probabilistic Demonic Refinement Algebra

We propose an abstract algebra for reasoning about probabilistic programs in a total-correctness framework. In contrast to probablisitic Kleene algebra it allows genuine reasoning about total correctness and in addition to Kleene star also has a strong iteration operator. We define operators that determine whether a program is enabled, has certain failure or does not have certain failure, respectively. The algebra is applied to the derivation of refinement rules for probabilistic action systems

Assessment of labelled products with different radioanalytical methods: study on 18F-fluorination reaction of 4-[18F]fluoro-N-[2-[1-(2-methoxyphenyl)-1-piperazinyl]ethyl-N-2-pyridinyl-benzamide (p-[18F]MPPF)

Peer reviewe

The Role of Sonography in Patients with Breast Cancer Presenting as an Axillary Mass

Objective: To compare sonography and mammography in terms of their diagnostic value in breast cancer cases which initially presented as an axillary mass without a palpable mass or other clinical symptoms. Materials and Methods : Seven patients with enlarged axillary lymph nodes who first presented with no evidence of palpable breast lesions and who underwent both mammography and sonography were enrolled in this study. In six of the seven, the presence of metastatic adenocarcinoma was confirmed preoperatively by axillary needle aspiration biopsy; in four, subsequent sonographically-guided breast core biopsy performed after careful examination of the primary site indicated that primary breast cancer was present. In each case, the radiologic findings were evaluated by both breast sonography and mammography. Results : Breast lesions were detected mammographically in four of seven cases (57%); in three of the four, the lesion presented as a mass, and in one as microcalcification. In three of these four detected cases, fatty or scattered fibroglandular breast parenchyma was present; in one, the parenchyma was dense. In the three cases in which lesions were not detected, mammography revealed the presence of heterogeneously dense parenchyma. Breast sonography showed that lesions were present in six of seven cases (86%); in the remaining patient, malignant microcalcification was detected at mammography. Final pathologic examination indicated that all breast lesions except one, which was a ductal carcinoma in situ, with microinvasion, were infiltrating ductal carcinomas whose size ranged from microscopic to greater than 3 cm. At the time of this study, all seven patients were alive and well, having been disease free for up to 61 months after surgery. Conclusion : In women with a palpable axillary mass confirmed as metastatic adenocarcinoma, breast sonography may be a valuable adjunct to mammography.ope

Covalently binding atomically designed Au9 clusters to chemically modified graphene

Atomic resolution transmission electron microscopy was used to identify individual Au9 clusters on a sulfur functionalized graphene surface. The clusters were pre-formed in solution and covalently attached to the surface without any dispersion or aggregation. Comparison of the experimental images with simulations allowed the rotational motion of individual clusters to be discerned, without lateral displacement, demonstrating a robust covalent attachment of intact clusters to the graphene surface

Refinement algebra for probabilistic programs

We identify a refinement algebra for reasoning about probabilistic program transformations in a total-correctness setting. The algebra is equipped with operators that determine whether a program is enabled or terminates respectively. As well as developing the basic theory of the algebra we demonstrate how it may be used to explain key differences and similarities between standard (i.e. non-probabilistic) and probabilistic programs and verify important transformation theorems for probabilistic action systems.29 page(s

Renormalization-group study of Anderson and Kondo impurities in gapless Fermi systems

Thermodynamic properties are presented for four magnetic impurity models describing delocalized fermions scattering from a localized orbital at an energy-dependent rate $\Gamma(\epsilon)$ which vanishes precisely at the Fermi level, $\epsilon = 0$. Specifically, it is assumed that for small $|\epsilon|$, $\Gamma(\epsilon)\propto|\epsilon|^r$ with $r>0$. The cases $r=1$ and $r=2$ describe dilute magnetic impurities in unconventional superconductors, ``flux phases'' of the two-dimensional electron gas, and zero-gap semiconductors. For the nondegenerate Anderson model, the depression of the low-energy scattering rate suppresses mixed valence in favor of local-moment behavior, and leads to a marked reduction in the exchange coupling on entry to the local-moment regime, with a consequent narrowing of the range of parameters within which the impurity spin becomes Kondo-screened. The relationship between the Anderson model and the exactly screened Kondo model with power-law exchange is examined. The intermediate-coupling fixed point identified in the latter model by Withoff and Fradkin (WF) has clear signatures in the thermodynamic properties and in the local magnetic response of the impurity. The underscreened, impurity-spin-one Kondo model and the overscreened, two-channel Kondo model both exhibit a conditionally stable intermediate-coupling fixed point in addition to unstable fixed points of the WF type. In all four models, the presence or absence of particle-hole symmetry plays a crucial role.Comment: 44 two-column REVTex pages, 31 epsf-embedded EPS figures. MINOR formatting changes. To appear in Phys. Rev.

Probing Mechanical Properties of Graphene with Raman Spectroscopy

The use of Raman scattering techniques to study the mechanical properties of graphene films is reviewed here. The determination of Gruneisen parameters of suspended graphene sheets under uni- and bi-axial strain is discussed and the values are compared to theoretical predictions. The effects of the graphene-substrate interaction on strain and to the temperature evolution of the graphene Raman spectra are discussed. Finally, the relation between mechanical and thermal properties is presented along with the characterization of thermal properties of graphene with Raman spectroscopy.Comment: To appear in the Journal of Materials Scienc

Effect of Nasal Continuous Positive Airway Pressure in Men on Global Left Ventricular Myocardial Performance in Patients With Obstructive Sleep Apnea Syndrome

The influence of obstructive sleep apnea syndrome (OSAS) on left ventricular function remains controversial. We examined the influence of OSAS on global left ventricular function using the myocardial performance index (Tei index) and plasma brain natriuretic peptide (BNP) level and investigated the effect of nasal continuous positive airway pressure (nCPAP) on these parameters. We obtained echocardiographic indexes including the Tei index and BNP concentrations from 27 patients with OSAS whose mean apnea--hypopnea index was 42.2 ± 21.5 events/hour and who were undergoing nCPAP and from 22 control subjects. We defined global left ventricular dysfunction (GLVD) as a Tei index ?0.50 and high BNP as ?20 pg/ml. Compared with controls, the Tei index of patients with OSAS was significantly increased (p <0.01) and prevalence of GLVD was high (19%, p <0.05). The correlation between the Tei index and apnea--hypopnea index was significant (r = 0.447, p <0.05). Although BNP levels were higher in patients with OSAS than in controls, the difference did not reach significance. BNP level was high in 37% of patients with OSAS and in only 9% of controls (p <0.05). The Tei index of patients with OSAS was significantly decreased after 1 month and 3 months of nCPAP (p <0.01), and prevalence of GLVD significantly decreased from 19% to 4% (p <0.05). In contrast, BNP significantly decreased at 3 months after nCPAP (p <0.05). In conclusion, patients with moderate to severe OSAS frequently have impaired global left ventricular myocardial performance, which can be reversed at the early stage after starting nCPAP.Without Table

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Solvent-Induced Reversal of Activities between Two Closely Related Heterogeneous Catalysts in the Aldol Reaction

The relative rates of the aldol reaction catalyzed by supported primary and secondary amines can be inverted by 2 orders of magnitude, depending on the use of hexane or water as a solvent. Our analyses suggest that this dramatic shift in the catalytic behavior of the supported amines does not involve differences in reaction mechanism, but is caused by activation of imine to enamine equilibria and stabilization of iminium species. The effects of solvent polarity and acidity were found to be important to the performance of the catalytic reaction. This study highlights the critical role of solvent in multicomponent heterogeneous catalytic processes