Real-Time Synthesis is Hard!

We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infinite words only; and only the very restrictive BRRS subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In this paper, we precise the decidability border of MITL synthesis. We show RS is undecidable on finite words too, and present a landscape of restrictions (both on the logic and on the possible controllers) that are still undecidable. On the positive side, we revisit BRRS and introduce an efficient on-the-fly algorithm to solve it

Community interventions to prevent violence against women and girls in informal settlements in Mumbai: the SNEHA-TARA pragmatic cluster randomised controlled trial

BACKGROUND In a cluster randomised controlled trial in Mumbai slums, we will test the effects on the prevalence of violence against women and girls of community mobilisation through groups and individual volunteers. One in three women in India has survived physical or sexual violence, making it a major public health burden. Reviews recommend community mobilisation to address violence, but trial evidence is limited. METHODS Guided by a theory of change, we will compare 24 areas receiving support services, community group, and volunteer activities with 24 areas receiving support services only. These community mobilisation activities will be evaluated through a follow-up survey after 3 years. Primary outcomes will be prevalence in the preceding year of physical or sexual domestic violence, and prevalence of emotional or economic domestic violence, control, or neglect against women 15–49 years old. Secondary outcomes will describe disclosure of violence to support services, community tolerance of violence against women and girls, prevalence of non-partner sexual violence, and mental health and wellbeing. Intermediate theory-based outcomes will include bystander intervention, identification of and support for survivors of violence, changes described in programme participants, and changes in communities. DISCUSSION Systematic reviews of interventions to prevent violence against women and girls suggest that community mobilisation is a promising population-based intervention. Already implemented in other areas, our intervention has been developed over 16 years of programmatic experience and 2 years of formative research. Backed by public engagement and advocacy, our vision is of a replicable community-led intervention to address the public health burden of violence against women and girls. TRIAL REGISTRATION Controlled Trials Registry of India, CTRI/2018/02/012047. Registered on 21 February 2018. ISRCTN, ISRCTN84502355. Registered on 22 February 2018

Integrative Approach for a Transformative Freshman-Level STEM Curriculum

In 2014 Wesley College adopted a unified undergraduate program of evidence-based high-impact teaching practices. Through foundation and federal and state grant support, the college completely revised its academic core curriculum and strengthened its academic support structures by including a comprehensive early alert system for at-risk students. In this core, science, technology, engineering, and mathematics (STEM) faculty developed fresh manifestations of integrated concept-based introductory courses and revised upper-division STEM courses around student-centered learning. STEM majors can participate in specifically designed paid undergraduate research experiences in directed research elective courses. Such a college-wide multi-tiered approach results in institutional cultural change

Compensation of B-L charge of matter with relic sneutrinos

We consider massless gauge boson connected to B-L charge with and without compensation to complete the investigation of the gauging of B and L charges. Relic sneutrinos predicted by SUSY and composite models may compensate B-L charge of matter. As a consequence of the possible compensation mechanism we have shown that the available experimental data admit the range of the B-L interaction constant, 10^{-29} < {\alpha}_{B-L} < 10^{-12}, in addition to {\alpha}_{B-L} < 10^{-49} obtained without compensation.Comment: 6 page

Self-assembling multidomain peptides tailor biological responses through biphasic release

Delivery of small molecules and drugs to tissues is a mainstay of several tissue engineering strategies. Next generation treatments focused on localized drug delivery offer a more effective means in dealing with refractory healing when compared to systemic approaches. Here we describe a novel multidomain peptide hydrogel that capitalizes on synthetic peptide chemistry, supramolecular self-assembly and cytokine delivery to tailor biological responses. This material is biomimetic, shows shear stress recovery and offers a nanofibrous matrix that sequesters cytokines. The biphasic pattern of cytokine release results in the spatio-temporal activation of THP-1 monocytes and macrophages. Furthermore, macrophage–material interactions are promoted without generation of a proinflammatory environment. Subcutaneous implantation of injectable scaffolds showed a marked increase in macrophage infiltration and polarization dictated by cytokine loading as early as 3 days, with complete scaffold resorption by day 14. Macrophage interaction and response to the peptide composite facilitated the (i) recruitment of monocytes/macrophages, (ii) sustained residence of immune cells until degradation, and (iii) promotion of a pro-resolution M2 environment. Our results suggest the potential use of this injectable cytokine loaded hydrogel scaffold in a variety of tissue engineering applications

Long and short paths in uniform random recursive dags

In a uniform random recursive k-dag, there is a root, 0, and each node in turn, from 1 to n, chooses k uniform random parents from among the nodes of smaller index. If S_n is the shortest path distance from node n to the root, then we determine the constant \sigma such that S_n/log(n) tends to \sigma in probability as n tends to infinity. We also show that max_{1 \le i \le n} S_i/log(n) tends to \sigma in probability.Comment: 16 page

Algorithm for normal random numbers

We propose a simple algorithm for generating normally distributed pseudo random numbers. The algorithm simulates N molecules that exchange energy among themselves following a simple stochastic rule. We prove that the system is ergodic, and that a Maxwell like distribution that may be used as a source of normally distributed random deviates follows when N tends to infinity. The algorithm passes various performance tests, including Monte Carlo simulation of a finite 2D Ising model using Wolff's algorithm. It only requires four simple lines of computer code, and is approximately ten times faster than the Box-Muller algorithm.Comment: 5 pages, 3 encapsulated Postscript Figures. Submitted to Phys.Rev.Letters. For related work, see http://pipe.unizar.es/~jf

Stress and stressors experienced by the parents of high-risk neonates admitted in neonatal intensive care unit: Systematic review and meta-analysis evidence available from India

The aim of the systematic review and meta-analysis is to determine the stress and stressors experienced by the parents of high-risk neonates admitted to the neonatal intensive care unit (NICU) in India. We included both quantitative and qualitative studies. The Joanna Briggs Institute Critical Appraisal Checklist and Critical Appraisal Skill Programme checklist were used to assess the quality of included studies. A systematic search was conducted in PubMed, EMBASE, SCOPUS, EBSCOhost, Web of Science, ProQuest, Microsoft Academic, DOAJ, Indian Citation Index, and J-Gate to identify relevant studies. Additionally, online hand searching was performed on Indian websites of relevant institutions, women and child health departments, repositories, registries, and paediatric journals. Twelve of the 21 quantitative studies found that maternal stress was higher than fathers due to the separation from their babies and the medical condition of the neonate. One qualitative study reported that financial burden, alterations in the parenting role, and concern over domestic issues are significant causes of fathers' stress. A meta-analysis of the included studies assessed the prevalence of maternal, paternal, and parental stress and reported that mothers experienced higher stress levels than fathers across all subscales. The most typical stressors for parents were changes in neonatal looks, behaviour, and altered parental roles. Beyond the immediate NICU care and interactions, other triggering factors of stress among parents must be considered to design multicomponent interventions in a local (Indian) context. Moreover, parental psychological support and regular counselling can be incorporated into the standard neonatal intensive care policy

Enhancement of β-phase in PVDF films embedded with ferromagnetic Gd₅Si₄ nanoparticles for piezoelectric energy harvesting

Self-polarized Gd5Si4-polyvinylidene fluoride (PVDF) nanocomposite films have been synthesized via a facile phase-inversion technique. For the 5 wt% Gd5Si4-PVDF films, the enhancement of the piezoelectric β-phase and crystallinity are confirmed using Fourier transform infrared (FTIR) spectroscopy (phase fraction, Fβ, of 81% as compared to 49% for pristine PVDF) and differential scanning calorimetry (crystallinity, ΔXc, of 58% as compared to 46% for pristine PVDF), respectively. The Gd5Si4 magnetic nanoparticles, prepared using high-energy ball milling were characterized using Dynamic Light Scattering and Vibrating Sample Magnetometry (VSM) to reveal a particle size of ∼470 nm with a high magnetization of 11 emu/g. The VSM analysis of free-standing Gd5Si4-PVDF films revealed that while the pristine PVDF membrane shows weak diamagnetic behavior, the Gd5Si4-PVDF films loaded at 2.5 wt% and 5 wt% Gd5Si4 show enhanced ferromagnetic behavior with paramagnetic contribution from Gd5Si3 phase. The interfacial interactions between Gd5Si4 and PVDF results in the preferential crystallization of the β-phase as confirmed via the shift in the CH2 asymmetric and symmetric stretching vibrations in the FTIR. These results confirm the magnetic Gd5Si4 nanoparticles embedded in the PVDF membrane lead to an increased β-phase fraction, which paves the way for future efficient energy harvesting applications using a combination of magnetic and piezoelectric effects