Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

De novo mutations in SMCHD1 cause Bosma arhinia microphthalmia syndrome and abrogate nasal development

Bosma arhinia microphthalmia syndrome (BAMS) is an extremely rare and striking condition characterized by complete absence of the nose with or without ocular defects. We report here that missense mutations in the epigenetic regulator SMCHD1 mapping to the extended ATPase domain of the encoded protein cause BAMS in all 14 cases studied. All mutations were de novo where parental DNA was available. Biochemical tests and in vivo assays in Xenopus laevis embryos suggest that these mutations may behave as gain-of-function alleles. This finding is in contrast to the loss-of-function mutations in SMCHD1 that have been associated with facioscapulohumeral muscular dystrophy (FSHD) type 2. Our results establish SMCHD1 as a key player in nasal development and provide biochemical insight into its enzymatic function that may be exploited for development of therapeutics for FSHD

X-Ray Spectroscopy of Stars

(abridged) Non-degenerate stars of essentially all spectral classes are soft X-ray sources. Low-mass stars on the cooler part of the main sequence and their pre-main sequence predecessors define the dominant stellar population in the galaxy by number. Their X-ray spectra are reminiscent, in the broadest sense, of X-ray spectra from the solar corona. X-ray emission from cool stars is indeed ascribed to magnetically trapped hot gas analogous to the solar coronal plasma. Coronal structure, its thermal stratification and geometric extent can be interpreted based on various spectral diagnostics. New features have been identified in pre-main sequence stars; some of these may be related to accretion shocks on the stellar surface, fluorescence on circumstellar disks due to X-ray irradiation, or shock heating in stellar outflows. Massive, hot stars clearly dominate the interaction with the galactic interstellar medium: they are the main sources of ionizing radiation, mechanical energy and chemical enrichment in galaxies. High-energy emission permits to probe some of the most important processes at work in these stars, and put constraints on their most peculiar feature: the stellar wind. Here, we review recent advances in our understanding of cool and hot stars through the study of X-ray spectra, in particular high-resolution spectra now available from XMM-Newton and Chandra. We address issues related to coronal structure, flares, the composition of coronal plasma, X-ray production in accretion streams and outflows, X-rays from single OB-type stars, massive binaries, magnetic hot objects and evolved WR stars.Comment: accepted for Astron. Astrophys. Rev., 98 journal pages, 30 figures (partly multiple); some corrections made after proof stag

Pacific island regional preparedness for El Niño

The El Niño Southern Oscillation (ENSO) cycle is often blamed for disasters in Pacific island communities. From a disaster risk reduction (DRR) perspective, the challenges with the El Niño part of the ENSO cycle, in particular, are more related to inadequate vulnerability reduction within development than to ENSO-induced hazard influences. This paper analyses this situation, filling in a conceptual and geographic gap in El Niño-related research, by reviewing El Niño-related preparedness (the conceptual gap) for Pacific islands (the geographic gap). Through exploring El Niño impacts on Pacific island communities alongside their vulnerabilities, resiliences, and preparedness with respect to El Niño, El Niño is seen as a constructed discourse rather than as a damaging phenomenon, leading to suggestions for El Niño preparedness as DRR as part of development. Yet the attention which El Niño garners might bring resources to the Pacific region and its development needs, albeit in the short term while El Niño lasts. Conversely, the attention given to El Niño could shift blame from underlying causes of vulnerability to a hazard-centric viewpoint. Instead of focusing on one hazard-influencing phenomenon, opportunities should be created for the Pacific region to tackle wider DRR and development concerns

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Population‐based cohort study of outcomes following cholecystectomy for benign gallbladder diseases

Background The aim was to describe the management of benign gallbladder disease and identify characteristics associated with all‐cause 30‐day readmissions and complications in a prospective population‐based cohort. Methods Data were collected on consecutive patients undergoing cholecystectomy in acute UK and Irish hospitals between 1 March and 1 May 2014. Potential explanatory variables influencing all‐cause 30‐day readmissions and complications were analysed by means of multilevel, multivariable logistic regression modelling using a two‐level hierarchical structure with patients (level 1) nested within hospitals (level 2). Results Data were collected on 8909 patients undergoing cholecystectomy from 167 hospitals. Some 1451 cholecystectomies (16·3 per cent) were performed as an emergency, 4165 (46·8 per cent) as elective operations, and 3293 patients (37·0 per cent) had had at least one previous emergency admission, but had surgery on a delayed basis. The readmission and complication rates at 30 days were 7·1 per cent (633 of 8909) and 10·8 per cent (962 of 8909) respectively. Both readmissions and complications were independently associated with increasing ASA fitness grade, duration of surgery, and increasing numbers of emergency admissions with gallbladder disease before cholecystectomy. No identifiable hospital characteristics were linked to readmissions and complications. Conclusion Readmissions and complications following cholecystectomy are common and associated with patient and disease characteristics

Optimization principles of dendritic structure

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Know Your Current Ih: Interaction with a Shunting Current Explains the Puzzling Effects of Its Pharmacological or Pathological Modulations

The non-specific, hyperpolarization activated, Ih current is particularly involved in epilepsy and it exhibits an excitatory or inhibitory action on synaptic integration in an apparently inconsistent way. It has been suggested that most of the inconsistencies could be reconciled invoking an indirect interaction with the M-type K+ current, another current involved in epilepsy. However, here we show that the original experiments, and the simplified model used to explain and support them, cannot explain in a conclusive way the puzzling Ih actions observed in different experimental preparations. Using a realistic model, we show instead how and why a shunting current, such as that carried by TASK-like channels, and dependent on Ih channel is able to explain virtually all experimental findings on Ih up- or down-regulation by modulators or pathological conditions. The model results suggest several experimentally testable predictions to characterize in more details this elusive and peculiar interaction, which may be of fundamental importance in the development of new treatments for all those pathological and cognitive dysfunctions caused, mediated, or affected by Ih

Acyl-Protein Thioesterase 2 Catalizes the Deacylation of Peripheral Membrane-Associated GAP-43

An acylation/deacylation cycle is necessary to maintain the steady-state subcellular distribution and biological activity of S-acylated peripheral proteins. Despite the progress that has been made in identifying and characterizing palmitoyltransferases (PATs), much less is known about the thioesterases involved in protein deacylation. In this work, we investigated the deacylation of growth-associated protein-43 (GAP-43), a dually acylated protein at cysteine residues 3 and 4. Using fluorescent fusion constructs, we measured in vivo the rate of deacylation of GAP-43 and its single acylated mutants in Chinese hamster ovary (CHO)-K1 and human HeLa cells. Biochemical and live cell imaging experiments demonstrated that single acylated mutants were completely deacylated with similar kinetic in both cell types. By RT-PCR we observed that acyl-protein thioesterase 1 (APT-1), the only bona fide thioesterase shown to mediate deacylation in vivo, is expressed in HeLa cells, but not in CHO-K1 cells. However, APT-1 overexpression neither increased the deacylation rate of single acylated GAP-43 nor affected the steady-state subcellular distribution of dually acylated GAP-43 both in CHO-K1 and HeLa cells, indicating that GAP-43 deacylation is not mediated by APT-1. Accordingly, we performed a bioinformatic search to identify putative candidates with acyl-protein thioesterase activity. Among several candidates, we found that APT-2 is expressed both in CHO-K1 and HeLa cells and its overexpression increased the deacylation rate of single acylated GAP-43 and affected the steady-state localization of diacylated GAP-43 and H-Ras. Thus, the results demonstrate that APT-2 is the protein thioesterase involved in the acylation/deacylation cycle operating in GAP-43 subcellular distribution

Sleep quality, internet addiction and depressive symptoms among undergraduate students in Nepal

BACKGROUND: Evidence on the burden of depression, internet addiction and poor sleep quality in undergraduate students from Nepal is virtually non-existent. While the interaction between sleep quality, internet addiction and depressive symptoms is frequently assessed in studies, it is not well explored if sleep quality or internet addiction statistically mediates the association between the other two variables. METHODS: We enrolled 984 students from 27 undergraduate campuses of Chitwan and Kathmandu, Nepal. We assessed sleep quality, internet addiction and depressive symptoms in these students using Pittsburgh Sleep Quality Index, Young’s Internet Addiction Test and Patient Health Questionnaire-9 respectively. We included responses from 937 students in the data analysis after removing questionnaires with five percent or more fields missing. Via bootstrap approach, we assessed the mediating role of internet addiction in the association between sleep quality and depressive symptoms, and that of sleep quality in the association between internet addiction and depressive symptoms. RESULTS: Overall, 35.4%, 35.4% and 21.2% of students scored above validated cutoff scores for poor sleep quality, internet addiction and depression respectively. Poorer sleep quality was associated with having lower age, not being alcohol user, being a Hindu, being sexually active and having failed in previous year’s board examination. Higher internet addiction was associated with having lower age, being sexually inactive and having failed in previous year’s board examination. Depressive symptoms were higher for students having higher age, being sexually inactive, having failed in previous year’s board examination and lower years of study. Internet addiction statistically mediated 16.5% of the indirect effect of sleep quality on depressive symptoms. Sleep quality, on the other hand, statistically mediated 30.9% of the indirect effect of internet addiction on depressive symptoms. CONCLUSIONS: In the current study, a great proportion of students met criteria for poor sleep quality, internet addiction and depression. Internet addiction and sleep quality both mediated a significant proportion of the indirect effect on depressive symptoms. However, the cross-sectional nature of this study limits causal interpretation of the findings. Future longitudinal study, where the measurement of internet addiction or sleep quality precedes that of depressive symptoms, are necessary to build upon our understanding of the development of depressive symptoms in students