The Spirituality Augmented Cognitive Behavioural Therapy- evidence based meaning therapy for depression and demoralisation

Objective: To explore and describe the Spiritually Augmented Cognitive Behaviour Therapy and its applications Method: The background on the need for incorporating spirituality in to therapy is considered. The SACBT, A meaning therapy for sustaining mental health and functional recovery is described with the cognitive components and behavioural components including the use of existential techniques in discovering meaning. The use of meditation, together with the validation and incorporation of the appropriate belief system of patients into their treatment is described. The use of rituals that are practised are incorporated in to the treatment in the form of a ritual monitoring sheet Result: Open randomised controlled studies have demonstrated the 16 session SACBT to be significantly beneficial in not only extinguishing hopelessness and despair, but are also found to improve treatment collaboration and reduce relapse thus increasing time to next relapse and improving functional recovery Conclusion: This meaning based therapy that incorporates appropriately a person belief system, which often might be the core that helps the patient and family cope, is an adjunct therapy that has been shown to improve function outcomes. Thus this evidence based adjunct therapy has an important and useful role in enhancing functional recovery and whole person care – an area that has had less attention given to in conventional psychiatric treatment

Teachers developing assessment for learning: impact on student achievement

While it is generally acknowledged that increased use of formative assessment (or assessment for learning) leads to higher quality learning, it is often claimed that the pressure in schools to improve the results achieved by students in externally-set tests and examinations precludes its use. This paper reports on the achievement of secondary school students who worked in classrooms where teachers made time to develop formative assessment strategies. A total of 24 teachers (2 science and 2 mathematics teachers, in each of six schools in two LEAs) were supported over a six-month period in exploring and planning their approach to formative assessment, and then, beginning in September 1999, the teachers put these plans into action with selected classes. In order to compute effect sizes, a measure of prior attainment and at least one comparison group was established for each class (typically either an equivalent class taught in the previous year by the same teacher, or a parallel class taught by another teacher). The mean effect size was 0.32

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

Experimental modulation of capsule size in Cryptococcus neoformans

Experimental modulation of capsule size is an important technique for the study of the virulence of the encapsulated pathogen Cryptococcus neoformans. In this paper, we summarize the techniques available for experimental modulation of capsule size in this yeast and describe improved methods to induce capsule size changes. The response of the yeast to the various stimuli is highly dependent on the cryptococcal strain. A high CO(2) atmosphere and a low iron concentration have been used classically to increase capsule size. Unfortunately, these stimuli are not reliable for inducing capsular enlargement in all strains. Recently we have identified new and simpler conditions for inducing capsule enlargement that consistently elicited this effect. Specifically, we noted that mammalian serum or diluted Sabouraud broth in MOPS buffer pH 7.3 efficiently induced capsule growth. Media that slowed the growth rate of the yeast correlated with an increase in capsule size. Finally, we summarize the most commonly used media that induce capsule growth in C. neoformans

Thermal Stress Responses of \u3cem\u3eSodalis Glossinidius\u3c/em\u3e, an Indigenous Bacterial Symbiont of Hematophagous Tsetse Flies

Tsetse flies (Diptera: Glossinidae) house a taxonomically diverse microbiota that includes environmentally acquired bacteria, maternally transmitted symbiotic bacteria, and pathogenic African trypanosomes. Sodalis glossinidius, which is a facultative symbiont that resides intra and extracellularly within multiple tsetse tissues, has been implicated as a mediator of trypanosome infection establishment in the fly’s gut. Tsetse’s gut-associated population of Sodalis are subjected to marked temperature fluctuations each time their ectothermic fly host imbibes vertebrate blood. The molecular mechanisms that Sodalis employs to deal with this heat stress are unknown. In this study, we examined the thermal tolerance and heat shock response of Sodalis. When grown on BHI agar plates, the bacterium exhibited the most prolific growth at 25oC, and did not grow at temperatures above 30oC. Growth on BHI agar plates at 31°C was dependent on either the addition of blood to the agar or reduction in oxygen levels. Sodalis was viable in liquid cultures for 24 hours at 30oC, but began to die upon further exposure. The rate of death increased with increased temperature. Similarly, Sodalis was able to survive for 48 hours within tsetse flies housed at 30oC, while a higher temperature (37oC) was lethal. Sodalis’ genome contains homologues of the heat shock chaperone protein-encoding genes dnaK, dnaJ, and grpE, and their expression was up-regulated in thermally stressed Sodalis, both in vitro and in vivo within tsetse fly midguts. Arrested growth of E. coli dnaK, dnaJ, or grpE mutants under thermal stress was reversed when the cells were transformed with a low copy plasmid that encoded the Sodalis homologues of these genes. The information contained in this study provides insight into how arthropod vector enteric commensals, many of which mediate their host’s ability to transmit pathogens, mitigate heat shock associated with the ingestion of a blood meal

FluCell-SELEX Aptamers as Specific Binding Molecules for Diagnostics of the Health Relevant Gut Bacterium Akkermansia muciniphila

Based on their unique properties, oligonucleotide aptamers have been named a gift of biological chemistry to life science. We report the development of DNA aptamers as the first high-affinity binding molecules available for fast and rapid labeling of the human gut bacterium Akkermansia muciniphila with a certain impact on Alzheimer´s disease. Fast and reliable analyses of the composition of microbiomes is an emerging field in microbiology. We describe the molecular evolution and biochemical characterization of a specific aptamer library by a FluCell-SELEX and the characterization of specific molecules from the library by bioinformatics. The aptamer AKK13.1 exerted universal applicability in different analysis techniques in modern microbiology, including fluorimetry, confocal laser scanning microscopy and flow cytometry. It was also functional as a specific binding entity hybridized to anchor primers chemically coupled via acrydite-modification to the surface of a polyacrylamide-hydrogel, which can be prototypically used for the construction of affinity surfaces in sensor chips. Together, the performance and methodological flexibility of the aptamers presented here may open new routes not only to develop novel Akkermansia-specific assays for clinical microbiology and the analyses of human stool samples but may also be an excellent starting point for the construction of novel electronic biosensors

Generic meta-modelling with concepts, templates and mixin layers

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-16145-2_2Proceedings of 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010.Meta-modelling is a key technique in Model Driven Engineering, where it is used for language engineering and domain modelling. However, mainstream approaches like the OMG’s Meta-Object Facility provide little support for abstraction, modularity, reusability and extendibility of (meta-)models, behaviours and transformations. In order to alleviate this weakness, we bring three elements of generic programming into meta-modelling: concepts, templates and mixin layers. Concepts permit an additional typing for models, enabling the definition of behaviours and transformations independently of meta-models, making specifications reusable. Templates use concepts to express requirements on their generic parameters, and are applicable to models and meta-models. Finally, we define functional layers by means of meta-model mixins which can extend other meta-models. As a proof of concept we also report on MetaDepth, a multi-level meta-modelling framework that implements these ideas.Work sponsored by the Spanish Ministry of Science, project TIN2008-02081 and mobility grants JC2009-00015 and PR2009-0019, and by the R&D programme of the Community of Madrid, project S2009/TIC-165

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally