Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Cell separation using tilted-angle standing surface acoustic waves

Separation of cells is a critical process for studying cell properties, disease diagnostics, and therapeutics. Cell sorting by acoustic waves offers a means to separate cells on the basis of their size and physical properties in a label-free, contactless, and biocompatible manner. The separation sensitivity and efficiency of currently available acoustic-based approaches, however, are limited, thereby restricting their widespread application in research and health diagnostics. In this work, we introduce a unique configuration of tilted-angle standing surface acoustic waves (taSSAW), which are oriented at an optimally designed inclination to the flow direction in the microfluidic channel. We demonstrate that this design significantly improves the efficiency and sensitivity of acoustic separation techniques. To optimize our device design, we carried out systematic simulations of cell trajectories, matching closely with experimental results. Using numerically optimized design of taSSAW, we successfully separated 2- and 10-µm-diameter polystyrene beads with a separation efficiency of ~99%, and separated 7.3- and 9.9-µm-polystyrene beads with an efficiency of ~97%. We illustrate that taSSAW is capable of effectively separating particles–cells of approximately the same size and density but different compressibility. Finally, we demonstrate the effectiveness of the present technique for biological–biomedical applications by sorting MCF-7 human breast cancer cells from nonmalignant leukocytes, while preserving the integrity of the separated cells. The method introduced here thus offers a unique route for separating circulating tumor cells, and for label-free cell separation with potential applications in biological research, disease diagnostics, and clinical practice.National Institutes of Health (U.S.) (Grant U01HL114476)National Institutes of Health (U.S.) (New Innovator Award 1DP2OD007209-01)National Science Foundation (U.S.). Materials Research Science and Engineering Centers (Program) (Grant DMR-0820404

Klebsiella pneumoniae is able to trigger epithelial-mesenchymal transition process in cultured airway epithelial cells

The ability of some bacterial pathogens to activate Epithelial-Mesenchymal Transition normally is a consequence of the persistence of a local chronic inflammatory response or depends on a direct interaction of the pathogens with the host epithelial cells. In this study we monitored the abilities of the K. pneumoniae to activate the expression of genes related to EMT-like processes and the occurrence of phenotypic changes in airway epithelial cells during the early steps of cell infection. We describe changes in the production of intracellular reactive oxygen species and increased HIF-1α mRNA expression in cells exposed to K. pneumoniae infection. We also describe the upregulation of a set of transcription factors implicated in the EMT processes, such as Twist, Snail and ZEB, indicating that the morphological changes of epithelial cells already appreciable after few hours from the K. pneumoniae infection are tightly regulated by the activation of transcriptional pathways, driving epithelial cells to EMT. These effects appear to be effectively counteracted by resveratrol, an antioxidant that is able to exert a sustained scavenging of the intracellular ROS. This is the first report indicating that strains of K. pneumoniae may promote EMT-like programs through direct interaction with epithelial cells without the involvement of inflammatory cells

Aggregated impact of allowance allocation and power dispatching on emission reduction

Climate change has become one of the most important issues for the sustainable development of social well-being. China has made great efforts in reducing CO2 emissions and promoting clean energy. Pilot Emission Trading Systems (ETSs) have been launched in two provinces and five cities in China, and a national level ETS will be implemented in the third quarter of 2017, with preparations for China’s national ETS now well under way. In the meantime, a new round of China’s electric power system reform has entered the implementation stage. Policy variables from both electricity and emission markets will impose potential risks on the operation of generation companies (GenCos). Under this situation, by selecting key variables in each domain, this paper analyzes the combined effects of different allowance allocation methods and power dispatching models on power system emission. Key parameters are set based on a provincial power system in China, and the case studies are conducted based on dynamic simulation platform for macro-energy systems (DSMES) software developed by the authors. The selected power dispatching models include planned dispatch, energy saving power generation dispatch and economic dispatch. The selected initial allowance allocation methods in the emission market include the grandfathering method based on historical emissions and the benchmarking method based on actual output. Based on the simulation results and discussions, several policy implications are highlighted to help to design an effective emission market in China

Disparities and risks of sexually transmissible infections among men who have sex with men in China: a meta-analysis and data synthesis.

BACKGROUND: Sexually transmitted infections (STIs), including Hepatitis B and C virus, are emerging public health risks in China, especially among men who have sex with men (MSM). This study aims to assess the magnitude and risks of STIs among Chinese MSM. METHODS: Chinese and English peer-reviewed articles were searched in five electronic databases from January 2000 to February 2013. Pooled prevalence estimates for each STI infection were calculated using meta-analysis. Infection risks of STIs in MSM, HIV-positive MSM and male sex workers (MSW) were obtained. This review followed the PRISMA guidelines and was registered in PROSPERO. RESULTS: Eighty-eight articles (11 in English and 77 in Chinese) investigating 35,203 MSM in 28 provinces were included in this review. The prevalence levels of STIs among MSM were 6.3% (95% CI: 3.5-11.0%) for chlamydia, 1.5% (0.7-2.9%) for genital wart, 1.9% (1.3-2.7%) for gonorrhoea, 8.9% (7.8-10.2%) for hepatitis B (HBV), 1.2% (1.0-1.6%) for hepatitis C (HCV), 66.3% (57.4-74.1%) for human papillomavirus (HPV), 10.6% (6.2-17.6%) for herpes simplex virus (HSV-2) and 4.3% (3.2-5.8%) for Ureaplasma urealyticum. HIV-positive MSM have consistently higher odds of all these infections than the broader MSM population. As a subgroup of MSM, MSW were 2.5 (1.4-4.7), 5.7 (2.7-12.3), and 2.2 (1.4-3.7) times more likely to be infected with chlamydia, gonorrhoea and HCV than the broader MSM population, respectively. CONCLUSION: Prevalence levels of STIs among MSW were significantly higher than the broader MSM population. Co-infection of HIV and STIs were prevalent among Chinese MSM. Integration of HIV and STIs healthcare and surveillance systems is essential in providing effective HIV/STIs preventive measures and treatments. TRIAL REGISTRATION: PROSPERO NO: CRD42013003721

Observation of CR Anisotropy with ARGO-YBJ

The measurement of the anisotropies of cosmic ray arrival direction provides important informations on the propagation mechanisms and on the identification of their sources. In this paper we report the observation of anisotropy regions at different angular scales. In particular, the observation of a possible anisotropy on scales between $\sim$ 10 $^{\circ}$ and $\sim$ 30 $^{\circ}$ suggests the presence of unknown features of the magnetic fields the charged cosmic rays propagate through, as well as potential contributions of nearby sources to the total flux of cosmic rays. Evidence of new weaker few-degree excesses throughout the sky region $195^{\circ}\leq$ R.A. $\leq 315^{\circ}$ is reported for the first time.Comment: Talk given at 12th TAUP Conference 2011, 5-9 September 2011, Munich, German

Microcystic cyanobacteria extract induces cytoskeletal disruption and intracellular glutathione alteration in hepatocytes.

Microcystins are a group of highly liver-specific toxins, although their exact mechanisms of action remain unclear. We examined the effects of microcystic cyanobacteria extract (MCE) collected from a contaminated water source on the organization of cellular microtubules (MTs) and microfilaments (MFs) in hepatocytes. We also investigated the effects on lactate dehydrogenase (LDH) leakage and intracellular glutathione (GSH). Primary cultured rat hepatocytes exposed to MCE (equivalent to 125 microg/mL lyophilized algae cells) showed a characteristic disruption of MTs and MFs in a time-dependent manner. Under these conditions, MCE caused aggregation of MTs and MFs and a severe loss of MTs in some cells. Moreover, MCE-induced cytoskeletal alterations preceded the LDH leakage. On the other hand, the treatment of cells with MCE led to a dose-dependent increase of intracellular GSH. However, time-course study showed a biphasic change of intracellular GSH levels with a significant increase in the initial stage followed by a decrease after prolonged treatment. Furthermore, pretreatment with N-acetylcystein (NAC), a GSH precursor, significantly enhanced the intracellular GSH level and decreased the MCE-induced cytotoxicity as well as cytoskeleton changes. In contrast, buthionine-(S, R)-sulfoximine, a specific GSH synthesis inhibitor, increased the cell susceptibility to MCE-induced cytotoxicity by depleting the intracellular GSH level. These findings suggest that intracellular GSH plays an important role in MCE-induced cytotoxicity and cytoskeleton changes in primary cultured rat hepatocytes. Increasing intracellular GSH levels protect cells from MCE-induced cytotoxicity and cytoskeleton changes

<em>Enterococcus faecalis</em> Infection Causes Inflammation, Intracellular Oxphos-Independent ROS Production, and DNA Damage in Human Gastric Cancer Cells

Background: Achlorhydria caused by e.g. atrophic gastritis allows for bacterial overgrowth, which induces chronic inflammation and damage to the mucosal cells of infected individuals driving gastric malignancies and cancer. Enterococcus faecalis (E. faecalis) can colonize achlohydric stomachs and we therefore wanted to study the impact of E. faecalis infection on inflammatory response, reactive oxygen species (ROS) formation, mitochondrial respiration, and mitochondrial genetic stability in gastric mucosal cells. Methods: To separate the changes induced by bacteria from those of the inflammatory cells we established an in vitro E. faecalis infection model system using the gastric carcinoma cell line MKN74. Total ROS and superoxide was measured by fluorescence microscopy. Cellular oxygen consumption was characterized non-invasively using XF24 microplate based respirometry. Gene expression was examined by microarray, and response pathways were identified by Gene Set Analysis (GSA). Selected gene transcripts were verified by quantitative real-time polymerase chain reaction (qRT-PCR). Mitochondrial mutations were determined by sequencing. Results: Infection of MKN74 cells with E. faecalis induced intracellular ROS production through a pathway independent of oxidative phosphorylation (oxphos). Furthermore, E. faecalis infection induced mitochondrial DNA instability. Following infection, genes coding for inflammatory response proteins were transcriptionally up-regulated while DNA damage repair and cell cycle control genes were down-regulated. Cell growth slowed down when infected with viable E. faecalis and responded in a dose dependent manner to E. faecalis lysate. Conclusions: Infection by E. faecalis induced an oxphos-independent intracellular ROS response and damaged the mitochondrial genome in gastric cell culture. Finally the bacteria induced an NF-kappa B inflammatory response as well as impaired DNA damage response and cell cycle control gene expression

Reconciling the biogeography of an invader through recent and historic genetic patterns: the case of topmouth gudgeon Pseudorasbora parva

© 2018 The Author(s) The genetic variability and population structure of introduced species in their native range are potentially important determinants of their invasion success, yet data on native populations are often poorly represented in relevant studies. Consequently, to determine the contribution of genetic structuring in the native range of topmouth gudgeon Pseudorasbora parva to their high invasion success in Europe, we used a dataset comprising of 19 native and 11 non-native populations. A total of 666 samples were analysed at 9 polymorphic microsatellite loci and sequenced for 597 bp of mitochondrial DNA. The analysis revealed three distinct lineages in the native range, of which two haplogroups were prevalent in China (100%), with a general split around the Qinling Mountains. Dating of both haplogroups closely matched past geological events. More recently, its distribution has been influenced by fish movements in aquaculture, resulting in gene flow between previously separated populations in Northern and Southern China. Their phylogeography in Europe indicate as few as two introductions events and two dispersal routes. Microsatellite data revealed native populations had higher genetic diversity than those in the invasive range, a contrast to previous studies on P. parva. This study confirms the importance of extensive sampling in both the native and non-native range of invasive species in evaluating the influence of genetic variability on invasion success

Revisiting the B-cell compartment in mouse and humans: more than one B-cell subset exists in the marginal zone and beyond.

International audienceABSTRACT: The immunological roles of B-cells are being revealed as increasingly complex by functions that are largely beyond their commitment to differentiate into plasma cells and produce antibodies, the key molecular protagonists of innate immunity, and also by their compartmentalisation, a more recently acknowledged property of this immune cell category. For decades, B-cells have been recognised by their expression of an immunoglobulin that serves the function of an antigen receptor, which mediates intracellular signalling assisted by companion molecules. As such, B-cells were considered simple in their functioning compared to the other major type of immune cell, the T-lymphocytes, which comprise conventional T-lymphocyte subsets with seminal roles in homeostasis and pathology, and non-conventional T-lymphocyte subsets for which increasing knowledge is accumulating. Since the discovery that the B-cell family included two distinct categories - the non-conventional, or extrafollicular, B1 cells, that have mainly been characterised in the mouse; and the conventional, or lymph node type, B2 cells - plus the detailed description of the main B-cell regulator, FcγRIIb, and the function of CD40+ antigen presenting cells as committed/memory B-cells, progress in B-cell physiology has been slower than in other areas of immunology. Cellular and molecular tools have enabled the revival of innate immunity by allowing almost all aspects of cellular immunology to be re-visited. As such, B-cells were found to express "Pathogen Recognition Receptors" such as TLRs, and use them in concert with B-cell signalling during innate and adaptive immunity. An era of B-cell phenotypic and functional analysis thus began that encompassed the study of B-cell microanatomy principally in the lymph nodes, spleen and mucosae. The novel discovery of the differential localisation of B-cells with distinct phenotypes and functions revealed the compartmentalisation of B-cells. This review thus aims to describe novel findings regarding the B-cell compartments found in the mouse as a model organism, and in human physiology and pathology. It must be emphasised that some differences are noticeable between the mouse and human systems, thus increasing the complexity of B-cell compartmentalisation. Special attention will be given to the (lymph node and spleen) marginal zones, which represent major crossroads for B-cell types and functions and a challenge for understanding better the role of B-cell specificities in innate and adaptive immunology