Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expressions extended with a fork operator capture the communication behavior of a program. Starting from a simple criterion that characterizes traces of deadlock-free programs, we develop automata-based methods to check for deadlock-freedom. The approach is implemented and evaluated with a series of examples

Progress in mixed Eulerian-Lagrangian finite element simulation of forming processes

A review is given of a mixed Eulerian-Lagrangian finite element method for simulation of forming processes. This method permits incremental adaptation of nodal point locations independently from the actual material displacements. Hence numerical difficulties due to large element distortions, as may occur when the updated Lagrange method is applied, can be avoided. Movement of (free) surfaces can be taken into account by adapting nodal surface points in a way that they remain on the surface. Hardening and other deformation path dependent properties are determined by incremental treatment of convective terms. A local and a weighed global smoothing procedure is introduced in order to avoid numerical instabilities and numerical diffusion. Prediction of contact phenomena such as gap openning and/or closing and sliding with friction is accomplished by a special contact element. The method is demonstrated by simulations of an upsetting process and a wire drawing process

Asymmetric gap soliton modes in diatomic lattices with cubic and quartic nonlinearity

Nonlinear localized excitations in one-dimensional diatomic lattices with cubic and quartic nonlinearity are considered analytically by a quasi-discreteness approach. The criteria for the occurence of asymmetric gap solitons (with vibrating frequency lying in the gap of phonon bands) and small-amplitude, asymmetric intrinsic localized modes (with the vibrating frequency being above all the phonon bands) are obtained explicitly based on the modulational instabilities of corresponding linear lattice plane waves. The expressions of particle displacement for all these nonlinear localized excitations are also given. The result is applied to standard two-body potentials of the Toda, Born-Mayer-Coulomb, Lennard-Jones, and Morse type. The comparison with previous numerical study of the anharmonic gap modes in diatomic lattices for the standard two-body potentials is made and good agreement is found.Comment: 24 pages in Revtex, 2 PS figure

First two cases of living related liver transplantation with complicated anatomy of blood vessels in Beijing

Aim: Living related liver transplantation (LRLT) has been developed in response to the paediatric organ donor shortage. Though it has been succeeded in many centers worldwide, the safety of the donor is still a major concern, especially in donors with anatomy variation. We succeeded in performing the first two cases of living related liver transplantation with complicated anatomy of blood vessels as a way to overcome cadaveric organ shortage in Beijing. Methods: Two patients, with congenital liver fibrosis and congenital biliary atresia were performed with living donor liver transplantation in our hospital and then followed up from November 12 to December 13, 2001. The two living donors, mother and father, were healthy aged 34 and 35 years. One right lobe (segment V, VI, VII, VIII) and one left lateral lobe (segment II and III) were used. The grafts weighed 394 g and 300 g. The ratio of graff weight to the standard liver volume (SLV) of donors was 68% and 27%. The graft weight to recipient body weight ratio was 3.2% and 4.4%. The graft weight to recipient estimated standard liver mass (ESLM) ratio was 63% and 85%. The two donors had complicated blood vessel variation. Results: Two patients undergone living donor liver transplantation had good results. Abnormal liver function with high bilirubin level appeared in a few days after operation, bur liver function returned to normal one month after operation with bilirubin level almost decreased to near normal. No bleeding, thrombosis, infection and bile leakage occurred. One had an acure rejection and recovered. The two donors recovered in two weeks. One had slight fever because of a little collection in abdomen and recovered after paracentesis and drainage. Conclusion: Living donor liver transplantation has been proved to be a good way that offers a unique opportunity of getting a timely liver graft as a response to shortage of pediatric donors, though it could be a technically difficult operation if there is anatomical variation. Copyright © 2004 by The WJG Press.published_or_final_versio

Helicobacter pylori infection is associated with increased expression of macrophage migratory inhibitory factor - by epithelial cells, T cells, and macrophages - in gastric mucosa

The macrophage migratory inhibitory factor (MIF) plays a pivotal role in inflammatory and immune diseases; however, its role in gastrointestinal diseases has not been clarified. This study intended to determine the expression of MIF, by gastric epithelial cells, T cells, and macrophages, in Helicobacter pylori-induced gastritis. Sixty-four patients (30 males, 34 females; mean age, 47 years) referred for upper endoscopy were recruited. Biopsy specimens from the gastric antrum and corpus were obtained for (1) detection of H. pylori and histological examination, (2) single and double immunostaining to test for expression of MIF protein in epithelial cells, T cells, and macrophages, and (2) in situ hybridization for expression of MIF mRNA within the lamina propria. In mucosal specimens from each of the 2 sites, both the percentage of MIF + epithelial cells and the numbers of MIF mRNA+ inflammatory cells, MIF+ T cells, and MIF+ macrophages were significantly higher in H. pylori-positive patients than in H. pylori-negative patients. Overall, the percentage of MIF+ epithelial cells and the numbers of MIF mRNA+ cells, MIF+ T cells, and MIF+ macrophages were higher in the antrum than in the corpus. The percentage of MIF+ epithelial cells and the numbers of MIF mRNA+ cells, MIF+ T cells, and MIF+ macrophages increased in chronic gastritis, but, in the absence of H. pylori infection, this increase disappeared for all except MIF+ T cells. Therefore, H. pylori infection is associated with increased expression of the MIF protein and MIF mRNA in gastric epithelial and inflammatory cells; along with other cytokines, MIF may play a significant role in gastric inflammation related to H. pylori infection.published_or_final_versio

Ordered silicon nanocones arrays for label-free DNA quantitative analysis by surface-enhanced Raman spectroscopy

published_or_final_versio

Mass-Loss Rate Determination for the Massive Binary V444 Cyg using 3-D Monte-Carlo Simulations of Line and Polarization Variability

A newly developed 3-D Monte Carlo model is used, in conjunction with a multi-line non-LTE radiative transfer model, to determine the mass-loss rate of the Wolf-Rayet (W-R) star in the massive binary \object{V444 Cyg} (WN5+O6). This independent estimate of mass-loss rate is attained by fitting the observed \HeI (5876) \AA and \HeII (5412) \AA line profiles, and the continuum light curves of three Stokes parameters ((I, Q, U)) in the (V) band simultaneously. The high accuracy of our determination arises from the use of many observational constraints, and the sensitivity of the continuum polarization to the mass-loss rate. Our best fit model suggests that the mass-loss rate of the system is (\dot{M}_{\WR}=0.6(\pm 0.2) \times 10^{-5} M_{\sun} \mathrm{yr}^{-1} ), and is independent of the assumed distance to \object{V444 Cyg}. The fits did not allow a unique value for the radius of the W-R star to be derived. The range of the volume filling factor for the W-R star atmosphere is estimated to be in the range of 0.050 (for R_{\WR}=5.0 R_{\sun}) to 0.075 (for R_{\WR}=2.5 R_{\sun}). We also found that the blue-side of \HeI (5876 ) \AA and \HeII (5412) \AA lines at phase 0.8 is relatively unaffected by the emission from the wind-wind interaction zone and the absorption by the O-star atmosphere; hence, the profiles at this phase are suitable for spectral line fittings using a spherical radiative transfer model.Comment: 18 pages, 17 figures: Accepeted for publication in A&

Neurochemical characterization of pERK-expressing spinal neurons in histamine-induced itch

Date of Acceptance: 08/07/2015 Acknowledgements This work was supported by grants from the Ministry of Science and Technology of China (2012CB966904, 2011CB51005), National Natural Science Foundation of China (31271182, 81200692, 91232724, 81200933, 81101026), Shanghai Natural Science Foundation (12ZR1434300), Key Specialty Construction Project of Pudong Health Bureau of Shanghai (PWZz2013-17), Shenzhen Key Laboratory for Molecular Biology of Neural Development (ZDSY20120617112838879), Fundamental Research Funds for the Central Universities (1500219072) and Sino-UK Higher Education Research Partnership for PhD Studies.Peer reviewedPublisher PD

Radiation dose and cancer risk from pediatric CT examinations on 64-slice CT: A phantom study

Objective: To measure the radiation dose from CT scans in an anthropomorphic phantom using a 64-slice MDCT, and to estimate the associated cancer risk. Materials and methods: Organ doses were measured with a 5-year-old phantom and thermoluminescent dosimeters. Four protocols; head CT, thorax CT, abdomen CT and pelvis CT were studied. Cancer risks, in the form of lifetime attributable risk (LAR) of cancer incidence, were estimated by linear extrapolation using the organ radiation doses and the LAR data. Results: The effective doses for head, thorax, abdomen and pelvis CT, were 0.7 mSv, 3.5 mSv, 3.0 mSv, 1.3 mSv respectively. The organs with the highest dose were; for head CT, salivary gland (22.33 mGy); for thorax CT, breast (7.89 mGy); for abdomen CT, colon (6.62 mGy); for pelvis CT, bladder (4.28 mGy). The corresponding LARs for boys and girls were 0.015-0.053% and 0.034-0.155% respectively. The organs with highest LARs were; for head CT, thyroid gland (0.003% for boys, 0.015% for girls); for thorax CT, lung for boys (0.014%) and breast for girls (0.069%); for abdomen CT, colon for boys (0.017%) and lung for girls (0.016%); for pelvis CT, bladder for both boys and girls (0.008%). Conclusion: The effective doses from these common pediatric CT examinations ranged from 0.7 mSv to 3.5 mSv and the associated lifetime cancer risks were found to be up to 0.16%, with some organs of higher radiosensitivity including breast, thyroid gland, colon and lungs. © 2010 Elsevier Ireland Ltd. All rights reserved.postprin

Regulation of caspase-3 processing by cIAP2 controls the switch between pro-inflammatory activation and cell death in microglia.

Cell Death and Disease is an open-access journal published by Nature Publishing Group. This work is licensed under a Creative Commons Attribution 4.0 International Licence. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons licence, users will need to obtain permission from the licence holder to reproduce the material.The activation of microglia, resident immune cells of the central nervous system, and inflammation-mediated neurotoxicity are typical features of neurodegenerative diseases, for example, Alzheimer's and Parkinson's diseases. An unexpected role of caspase-3, commonly known to have executioner role for apoptosis, was uncovered in the microglia activation process. A central question emerging from this finding is what prevents caspase-3 during the microglia activation from killing those cells? Caspase-3 activation occurs as a two-step process, where the zymogen is first cleaved by upstream caspases, such as caspase-8, to form intermediate, yet still active, p19/p12 complex; thereafter, autocatalytic processing generates the fully mature p17/p12 form of the enzyme. Here, we show that the induction of cellular inhibitor of apoptosis protein 2 (cIAP2) expression upon microglia activation prevents the conversion of caspase-3 p19 subunit to p17 subunit and is responsible for restraining caspase-3 in terms of activity and subcellular localization. We demonstrate that counteracting the repressive effect of cIAP2 on caspase-3 activation, using small interfering RNA targeting cIAP2 or a SMAC mimetic such as the BV6 compound, reduced the pro-inflammatory activation of microglia cells and promoted their death. We propose that the different caspase-3 functions in microglia, and potentially other cell types, reside in the active caspase-3 complexes formed. These results also could indicate cIAP2 as a possible therapeutic target to modulate microglia pro-inflammatory activation and associated neurotoxicity observed in neurodegenerative disorders