2,389 research outputs found

    Parallel Implementations of Cellular Automata for Traffic Models

    Full text link
    The Biham-Middleton-Levine (BML) traffic model is a simple two-dimensional, discrete Cellular Automaton (CA) that has been used to study self-organization and phase transitions arising in traffic flows. From the computational point of view, the BML model exhibits the usual features of discrete CA, where the state of the automaton are updated according to simple rules that depend on the state of each cell and its neighbors. In this paper we study the impact of various optimizations for speeding up CA computations by using the BML model as a case study. In particular, we describe and analyze the impact of several parallel implementations that rely on CPU features, such as multiple cores or SIMD instructions, and on GPUs. Experimental evaluation provides quantitative measures of the payoff of each technique in terms of speedup with respect to a plain serial implementation. Our findings show that the performance gap between CPU and GPU implementations of the BML traffic model can be reduced by clever exploitation of all CPU features

    Venture Capital Funding for Information Technology Businesses

    Get PDF
    The success of new ventures can hinge on obtaining venture capital (VC) funding. Virtually every successful IT venture has depended on VC funding early in its history. However, obtaining venture capital is difficult. Unlike earlier studies on VC funding that consider new ventures to be homogeneous, this study seeks to identify factors that VCs consider when they make funding decisions for IT ventures. Building on prior research in the area of agency and business risk, we develop a theoretical model that draws on work in finance and entrepreneurship. The model suggests that VCs consider two types of risk: business risk and agency risk. The relative importance of these two types of risk may be different across industries. We test this model using data from 139 business plans for IT startups that were considered for funding by VCs. Traditional structural equation modeling (SEM) does not accommodate non-normal data or dichotomous outcome variables. Using the Robust Weighted Least Squares approach, we test our model with non-normal data and dichotomous outcomes. In addition, we use Tetrad analysis to check model fit against alternative models, floor and ceiling analysis to test sample frame validity, relative effect size comparison to test relative elasticity of effects, and a Monte Carlo estimation approach to test overall model power and power of individual paths. We find that business risk is an important factor in start-up funding for IT ventures. We do not find agency risk to be an important consideration in start-up funding for IT ventures

    Real-Time Synthesis is Hard!

    Full text link
    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

    Get PDF
    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

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Full text link
    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

    Msx2 and Sp6 Regulate Follistatin

    Get PDF
    Background: Ameloblasts are epithelially derived cells responsible for enamel formation through a process known as amelogenesis. Amongst the several transcription factors that are expressed during amelogenesis, both Msx2 and Sp6 transcription factors play important role. Msx2 and Sp6 mouse mutants, exhibit similar amelogenesis defects, namely enamel hypoplasia, while humans with amelogenesis imperfecta (AI) carry mutations in the human homologues of MSX2 or SP6 genes. These across species similarities in function indicate that these two transcription factors may reside in the same developmental pathway. In this paper, we test whether they work in a coordinated manner to exert their effect during amelogenesis. Methods: Two different dental epithelial cell lines, the mouse LS8 and the rat G5 were used for either overexpression or silencing of Msx2 or Sp6 or both. Msx2 mutant mouse embryos or pups were used for in vivo studies. In situ hybridization, semi-quantitative and quantitative real time PCR were employed to study gene expression pattern. MatInspector was used to identify several potential putative Msx2 binding sites upstream of the murine Sp6 promoter region. Chromatin Immunoprecipitation (chIP) was used to confirm the binding of Msx2 to Sp6 promoter at the putative sites. Results: Using the above methods we identified that (i) Msx2 and Sp6 exhibit overlapping expression in secretory ameloblasts, (ii) Sp6 expression is reduced in the Msx2 mouse mutant secretoty ameloblasts, and (iii) that Msx2, like Sp6 inhibits follistatin expression. Specifically, our loss-of function studies by silencing Msx2 and/or Sp6 in mouse dental epithelial (LS8) cells showed significant downregulation of Sp6 but upregulation of Fst expression. Transient transfection of Msx2 overexpression plasmid, up-regulated Sp6 and downregulated Fst expression. Additionally, using MatInspector, we identified several potential putative Msx2 binding sites, 3.5 kb upstream of the murine Sp6 promoter region. By chIP, we confirmed the binding of Msx2 to Sp6 promoter at these sites, thus suggesting that Sp6 is a direct target of Msx2. Conclusion: Collectively, these results show that Sp6 and Msx2 work in a concerted manner to form part of a network of transcription factors that operate during later stages of tooth development controlling ameloblast life cycle and amelogenesis

    Exact solutions to chaotic and stochastic systems

    Full text link
    We investigate functions that are exact solutions to chaotic dynamical systems. A generalization of these functions can produce truly random numbers. For the first time, we present solutions to random maps. This allows us to check, analytically, some recent results about the complexity of random dynamical systems. We confirm the result that a negative Lyapunov exponent does not imply predictability in random systems. We test the effectiveness of forecasting methods in distinguishing between chaotic and random time-series. Using the explicit random functions, we can give explicit analytical formulas for the output signal in some systems with stochastic resonance. We study the influence of chaos on the stochastic resonance. We show, theoretically, the existence of a new type of solitonic stochastic resonance, where the shape of the kink is crucial. Using our models we can predict specific patterns in the output signal of stochastic resonance systems.Comment: 31 pages, 18 figures (.eps). To appear in Chaos, March 200
    • 

    corecore