The categorical limit of a sequence of dynamical systems

Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns out to be subject to ambiguity. Depending on the interpretation of the sequence, i.e. depending on how the behaviors of the systems in the sequence are related, it may vary what the limit should be. Topologies, and in particular metrics, define limits uniquely, if they exist. Thus they select one interpretation implicitly and leave no room for other interpretations. In this paper, we define limits using category theory, and use the mentioned relations between system behaviors explicitly. This resolves the problem of ambiguity in a more controlled way. We introduce a category of prefix orders on executions and partial history preserving maps between them to describe both discrete and continuous branching time dynamics. We prove that in this category all projective limits exist, and illustrate how ambiguity in the definition of limits is resolved using an example. Moreover, we show how various problems with known topological approaches are now resolved, and how the construction of projective limits enables us to approximate continuous time dynamics as a sequence of discrete time systems.Comment: In Proceedings EXPRESS/SOS 2013, arXiv:1307.690

Lost in translation: Hybrid-time flows vs. real-time transitions

Recently, hybrid-time flow systems have been introduced as an extension to timed transition systems, hybrid automata, continuous time evolutions of differential equations etc. Furthermore, a number of notions of bisimulation have been defined on these flow systems reflecting abstraction from certain timing properties. In this paper, we research the difference in abstraction level between this new semantic model of flow systems, and the more traditional model of real-time transition systems. We explore translations between the old and new semantic models, and we give a necessary and sufficient condition, called finite-set refutability, for these translations to be without loss of information. Finally, we show that differential inclusions with an upper-semicontinuous, closed and convex right-hand side, are finite-set refutable, and easily extend this result to impuls differential inclusions and hybrid automata

Internet-based treatment for adults with depressive symptoms: the protocol of a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Depression is a highly prevalent condition, affecting more than 15% of the adult population at least once in their lives. Guided self-help is effective in the treatment of depression. The purpose of this study is to investigate the effectiveness of two Internet-based guided self-help treatments with adults reporting elevated depressive symptoms. Other research questions concern the identification of potential mediators and the search for subgroups who respond differently to the interventions.</p> <p>Methods</p> <p>This study is a randomized controlled trial with three conditions: two treatment conditions and one waiting list control group. The two treatment conditions are Internet-based cognitive behavior therapy and Internet-based problem-solving therapy. They consist of 8 and 5 weekly lessons respectively. Both interventions are combined with support by e-mail. Participants in the waiting list control group receive the intervention three months later.</p> <p>The study population consists of adults from the general population. They are recruited through advertisements in local and national newspapers and through banners on the Internet. Subjects with symptoms of depression (≥ 16 on the Center for Epidemiological Studies Depression scale) are included. Other inclusion criteria are having sufficient knowledge of the Dutch language, access to the Internet and an e-mail address.</p> <p>Primary outcome is depressive symptoms. Secondary outcomes are anxiety, quality of life, dysfunctional cognitions, worrying, problem solving skills, mastery, absence at work and use of healthcare. We will examine the following variables as potential mediators: dysfunctional cognitions, problem solving skills, worrying, anxiety and mastery. Potential moderating variables are: socio-demographic characteristics and symptom severity. Data are collected at baseline and at 5 weeks, 8 weeks, 12 weeks and 9 months after baseline. Analyses will be conducted on the intention-to-treat sample.</p> <p>Discussion</p> <p>This study evaluates two Internet-based treatments for depression, namely cognitive behavioral therapy and problem-solving therapy. The effectiveness of Internet-based problem-solving therapy suggest that this may be a worthwhile alternative to other more intensive treatment options. Strengths and limitations of this study are discussed.</p> <p>Trial registration</p> <p>Current Controlled Trials ISRCTN16823487</p

Efficacy and acceptability of psychological interventions for social anxiety disorder in children and adolescents:a meta-analysis of randomized controlled trials

Social anxiety disorder (SAD) is highly prevalent and persistent in children and adolescents. However, evidence for the efficacy and acceptability of psychological interventions for SAD in children and adolescents remains unclear. Seven electronic databases (PubMed, CENTRAL, Embase, Web of Science, PsycINFO, CINAHL, and ProQuest) were searched. Randomized controlled trials (RCTs) that compared psychological interventions for SAD with control conditions in children and adolescents were included. Primary outcomes were the efficacy (mean change in anxiety symptom scores) and acceptability (dropouts for all reasons). Secondary outcomes were remission, quality of life/functional improvement, and depressive symptoms measures. Seventeen RCTs were included in this meta-analysis. Psychological interventions (including cognitive behavioral therapy and behavioral therapy) were significantly more effective than control conditions, with a standardized mean difference (SMD) of − 1.13, and remission with a risk ratio (RR) of 8.99, the number needed to treat was 3.3. There was no statistically significant difference between psychological interventions and control conditions for all-cause dropouts (RR = 1.00). Psychological interventions were superior to control conditions in improving quality of life/functioning (SMD = 0.79) and reducing depressive symptoms (SMD = − 0.39). Given considerable heterogeneity of primary efficacy outcome, a series of subgroup analyses of different variables were conducted. Psychological interventions are probably efficacious in the treatment of SAD among children and adolescents, and may markedly improve quality of life and functioning in this population. However, this finding should be interpreted with caution because of the high heterogeneity of trials and low literature quality. Keywords Child · Adolescent · Psychological intervention · Meta-analysis · Social anxiety disorde

Candesartan Mediated Amelioration of Cisplatin-Induced Testicular Damage Is Associated with Alterations in Expression Patterns of Nephrin and Podocin

Nephrin and podocin are known to be closely related to the pharmacological effects of angiotensin-II receptor blocker (ARB). The objectives of this study were to investigate the role of nephrin and podocin using cisplatin-induced testicular damage and to evaluate the effect of ARB. At first, we evaluated the effects of cisplatin either alone or in combination with ARB candesartan on changes in expression patterns of nephrin and podocin in the rat testes. We then conducted in vitro studies to investigate the effects of angiotensin using cultured Sertoli cells, line TM4. As a result, the expression of nephrin and podocin was shown to localize around the basal membrane of seminiferous tubules. Treatment with cisplatin resulted in a marked decrease in the expression of nephrin and podocin and induced a shift of both proteins from linear to granular expression patterns, accompanying the increased apoptotic index in the testes; these changes were partially restored by the additional administration of candesartan. In vitro studies with TM4 revealed the angiotensin-II mediated expression changes of nephrin and podocin. These findings suggest that candesartan can prevent cisplatin-induced testicular damage by regulating expression patterns of the nephrin-podocin complex in the testes

A single blind randomized controlled trial of cognitive behavioural therapy in a help-seeking population with an At Risk Mental State for psychosis: the Dutch Early Detection and Intervention Evaluation (EDIE-NL) trial

BACKGROUND: Psychotic disorders are a serious mental health problem. Intervention before the onset of psychosis might result in delaying the onset, reducing the impact or even preventing the first episode of psychosis. This study explores the effectiveness of cognitive behavioural therapy (CBT) in targeting cognitive biases that are involved in the formation of delusions in persons with an ultra-high risk for developing psychosis. A single blind randomised controlled trial compares CBT with treatment as usual in preventing or delaying the onset of psychosis. METHOD/DESIGN: All help seeking patients aged 14 to 35 years referred to the mental health services in three regions in the Netherlands are pre-screened with the Prodromal Questionnaire during a period of two years. Patients with a score of 18 or more on the sub-clinical positive symptoms items (45 items in total) will be assessed with the Comprehensive Assessment of At Risk Mental State (CAARMS). In a different pathway to care model all referrals from the mental health services in Amsterdam to the specialized psychosis clinic of the Academic Medical Centre in Amsterdam are also assessed with the CAARMS. The primary outcome is the transition rate to psychosis according to the CAARMS-criteria. Group differences will be analysed with chi-square tests and survival analyses. DISCUSSION: CBT is a highly tolerated treatment. The psycho-educational CBT approach may prove to be a successful strategy since most people with an At Risk Mental State (ARMS) are distressed by odd disturbing experiences. Giving explanations for and normalising these experiences may reduce the arousal (distress) and therefore may prevent people from developing a catastrophic delusional explanation for their odd experiences and thus prevent them from developing psychosis. Screening the entire help-seeking population referred to community mental health services with a two-stage strategy, as compared with traditional referral to a specialist clinical psychosis centre, might detect more ultra-high-risk (UHR) patients. This type of screening could be implemented in mental health care as routine screening. The trial is registered at Current Controlled trials as trial number ISRCTN21353122

Characteristics of effective psychological treatments of depression: A metaregression analysis.

Although many meta-analyses have shown that psychological therapies are effective in the treatment of depression, no comprehensive metaregression analysis has been conducted to examine which characteristics of the intervention, target population, and study design are related to the effects. The authors conducted such a metaregression analysis with 83 studies (135 comparisons) in which a psychological treatment was compared with a control condition. The mean effect size of all comparisons was 0.69 (95% confidence interval = 0.60-0.79). In multivariate analyses, several variables were significant: Studies using problem-solving interventions and those aimed at women with postpartum depression or specific populations had higher effect sizes, whereas studies with students as therapists, those in which participants were recruited from clinical populations and through systematic screening, and those using care-as-usual or placebo control groups had lower effect sizes

The effectiveness of problem solving therapy in deprived South African communities: results from a pilot study

<p>Abstract</p> <p>Background</p> <p>The majority of South Africans with a DSM-IV diagnosis receive no treatment for their mental health problems. There is a move to simplify treatment for common mental disorders (CMDs) in order to ease access. Brief problem solving therapy (PST) might fill the treatment gap for CMD's in deprived communities in South Africa. This pilot study evaluates the feasibility, acceptability and effectiveness of this PST program for CMD's in deprived communities around Cape Town.</p> <p>Methods</p> <p>A Dutch problem solving program was adapted and translated into English, Xhosa and Afrikaans and thereafter implemented in townships around Cape Town. An initial attempt to recruit participants for online PST proved difficult, and so the program was adapted to a booklet format. Volunteers experiencing psychological distress were invited to participate in the either individually or group delivered 5-week during self-help program. To evaluate the effectiveness, psychological distress was administered through self-report questionnaires. After completion of the intervention participants also rated the program on various acceptability aspects.</p> <p>Results</p> <p>Of 103 participants, 73 completed 5 weeks of brief PST in a booklet/workshop format. There were significantly more dropouts in those who used the booklet individually than in the group. Psychological distress measured on the K-10 and SRQ fell significantly and the program was evaluated positively.</p> <p>Conclusions</p> <p>The results suggest that brief problem solving in a booklet/workshop format may be an effective, feasible and acceptable short-term treatment for people with CMD's in deprived communities. In this setting, group delivery of PST had lower drop-out rates than individual delivery, and was more feasible and acceptable. Randomized controlled trials are needed to evaluate the effect of brief self-help PST more rigorously.</p