2,685 research outputs found

    A note on the robust control of Markov jump linear uncertain systems

    Get PDF
    This note addresses a robust control problem of continuous-time jump linear Markovian systems subject to-norm bounded parametric uncertainties. The problem is expressed in terms of a H-infinity control problem as in the purely deterministic case. The present formulation is simpler and it contains previous results in the literature as particular cases. Robust state feedback controllers are parameterized by means of a set of linear matrix inequalities. The result is illustrated by solving some examples numerically. Copyright (C) John Wiley Sons, Ltd.23210511

    Adaptive pairs trading strategy performance in Turkish derivatives exchange with the companies listed on Istanbul stock exchange

    Get PDF
    Due to copyright restrictions, the access to the full text of this article is only available via subscription.We implemented model-driven statistical arbitrage strategies in Turkish equities market. Trading signals are generated by optimized parameters of distance method. When the trade in signal is triggered by the model, market-neutral portfolio is created by long in the synthetic ETF, which is based on constrained least squares regression of selected Istanbul Stock Exchange stocks and short in Turkish Derivatives Exchange (Turkdex) index futures contract. We performed pairs trading strategy based on a comparative mean reversion of asset prices with daily data over the period February 2005 through July 2011 in Istanbul Stock Exchange (ISE) and Turkdex. We constructed a hypothetical ISE30 ETF Index on a daily basis in order to originate pairs trading strategy with Turkdex. Because of the leverage rule of (1–10) index futures contracts, we had to evaluate spot stock pairs formation with futures contracts pairs strategy. The results indicate that applied pairs strategy produced overall returns of 901 per cent during the investment period, whereas naive strategy (buy and hold ISE-30 index) return for the same period was 111 per cent. Similar outperformance was observed in the Sharpe and Sortino ratios

    Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

    Get PDF
    In this article, we present an overview of recent combinations of deductive program verification and automatic test generation on the one hand and static analysis on the other hand, with the goal of checking noninterference. Noninterference is the non-functional property that certain confidential information cannot leak to certain public output, i.e., the confidentiality of that information is always preserved. We define the noninterference properties that are checked along with the individual approaches that we use in different combinations. In one use case, our framework for checking noninterference employs deductive verification to automatically generate tests for noninterference violations with an improved test coverage. In another use case, the framework provides two combinations of deductive verification with static analysis based on system dependence graphs to prove noninterference, thereby reducing the effort for deductive verification

    Identification and functional characterisation of CRK12:CYC9, a novel cyclin-dependent kinase (CDK)-cyclin complex in Trypanosoma brucei

    Get PDF
    The protozoan parasite, Trypanosoma brucei, is spread by the tsetse fly and causes trypanosomiasis in humans and animals. Both the life cycle and cell cycle of the parasite are complex. Trypanosomes have eleven cdc2-related kinases (CRKs) and ten cyclins, an unusually large number for a single celled organism. To date, relatively little is known about the function of many of the CRKs and cyclins, and only CRK3 has previously been shown to be cyclin-dependent in vivo. Here we report the identification of a previously uncharacterised CRK:cyclin complex between CRK12 and the putative transcriptional cyclin, CYC9. CRK12:CYC9 interact to form an active protein kinase complex in procyclic and bloodstream T. brucei. Both CRK12 and CYC9 are essential for the proliferation of bloodstream trypanosomes in vitro, and we show that CRK12 is also essential for survival of T. brucei in a mouse model, providing genetic validation of CRK12:CYC9 as a novel drug target for trypanosomiasis. Further, functional characterisation of CRK12 and CYC9 using RNA interference reveals roles for these proteins in endocytosis and cytokinesis, respectively

    Contribution of Cystine-Glutamate Antiporters to the Psychotomimetic Effects of Phencyclidine

    Get PDF
    Altered glutamate signaling contributes to a myriad of neural disorders, including schizophrenia. While synaptic levels are intensely studied, nonvesicular release mechanisms, including cystine–glutamate exchange, maintain high steady-state glutamate levels in the extrasynaptic space. The existence of extrasynaptic receptors, including metabotropic group II glutamate receptors (mGluR), pose nonvesicular release mechanisms as unrecognized targets capable of contributing to pathological glutamate signaling. We tested the hypothesis that activation of cystine–glutamate antiporters using the cysteine prodrug N-acetylcysteine would blunt psychotomimetic effects in the rodent phencyclidine (PCP) model of schizophrenia. First, we demonstrate that PCP elevates extracellular glutamate in the prefrontal cortex, an effect that is blocked by N-acetylcysteine pretreatment. To determine the relevance of the above finding, we assessed social interaction and found that N-acetylcysteine reverses social withdrawal produced by repeated PCP. In a separate paradigm, acute PCP resulted in working memory deficits assessed using a discrete trial t-maze task, and this effect was also reversed by N-acetylcysteine pretreatment. The capacity of N-acetylcysteine to restore working memory was blocked by infusion of the cystine–glutamate antiporter inhibitor (S)-4-carboxyphenylglycine into the prefrontal cortex or systemic administration of the group II mGluR antagonist LY341495 indicating that the effects of N-acetylcysteine requires cystine–glutamate exchange and group II mGluR activation. Finally, protein levels from postmortem tissue obtained from schizophrenic patients revealed significant changes in the level of xCT, the active subunit for cystine–glutamate exchange, in the dorsolateral prefrontal cortex. These data advance cystine–glutamate antiporters as novel targets capable of reversing the psychotomimetic effects of PCP

    Conceptualizing pathways linking women's empowerment and prematurity in developing countries.

    Get PDF
    BackgroundGlobally, prematurity is the leading cause of death in children under the age of 5. Many efforts have focused on clinical approaches to improve the survival of premature babies. There is a need, however, to explore psychosocial, sociocultural, economic, and other factors as potential mechanisms to reduce the burden of prematurity. Women's empowerment may be a catalyst for moving the needle in this direction. The goal of this paper is to examine links between women's empowerment and prematurity in developing settings. We propose a conceptual model that shows pathways by which women's empowerment can affect prematurity and review and summarize the literature supporting the relationships we posit. We also suggest future directions for research on women's empowerment and prematurity.MethodsThe key words we used for empowerment in the search were "empowerment," "women's status," "autonomy," and "decision-making," and for prematurity we used "preterm," "premature," and "prematurity." We did not use date, language, and regional restrictions. The search was done in PubMed, Population Information Online (POPLINE), and Web of Science. We selected intervening factors-factors that could potentially mediate the relationship between empowerment and prematurity-based on reviews of the risk factors and interventions to address prematurity and the determinants of those factors.ResultsThere is limited evidence supporting a direct link between women's empowerment and prematurity. However, there is evidence linking several dimensions of empowerment to factors known to be associated with prematurity and outcomes for premature babies. Our review of the literature shows that women's empowerment may reduce prematurity by (1) preventing early marriage and promoting family planning, which will delay age at first pregnancy and increase interpregnancy intervals; (2) improving women's nutritional status; (3) reducing domestic violence and other stressors to improve psychological health; and (4) improving access to and receipt of recommended health services during pregnancy and delivery to help prevent prematurity and improve survival of premature babies.ConclusionsWomen's empowerment is an important distal factor that affects prematurity through several intervening factors. Improving women's empowerment will help prevent prematurity and improve survival of preterm babies. Research to empirically show the links between women's empowerment and prematurity is however needed
    corecore