Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Stem cell-related "self-renewal" signature and high epidermal growth factor receptor expression associated with resistance to concomitant chemoradiotherapy in glioblastoma

PURPOSE: Glioblastomas are notorious for resistance to therapy, which has been attributed to DNA-repair proficiency, a multitude of deregulated molecular pathways, and, more recently, to the particular biologic behavior of tumor stem-like cells. Here, we aimed to identify molecular profiles specific for treatment resistance to the current standard of care of concomitant chemoradiotherapy with the alkylating agent temozolomide. PATIENTS AND METHODS: Gene expression profiles of 80 glioblastomas were interrogated for associations with resistance to therapy. Patients were treated within clinical trials testing the addition of concomitant and adjuvant temozolomide to radiotherapy. RESULTS: An expression signature dominated by HOX genes, which comprises Prominin-1 (CD133), emerged as a predictor for poor survival in patients treated with concomitant chemoradiotherapy (n = 42; hazard ratio = 2.69; 95% CI, 1.38 to 5.26; P = .004). This association could be validated in an independent data set. Provocatively, the HOX cluster was reminiscent of a "self-renewal" signature (P = .008; Gene Set Enrichment Analysis) recently characterized in a mouse leukemia model. The HOX signature and EGFR expression were independent prognostic factors in multivariate analysis, adjusted for the O-6-methylguanine-DNA methyltransferase (MGMT) methylation status, a known predictive factor for benefit from temozolomide, and age. Better outcome was associated with gene clusters characterizing features of tumor-host interaction including tumor vascularization and cell adhesion, and innate immune response. CONCLUSION: This study provides first clinical evidence for the implication of a "glioma stem cell" or "self-renewal" phenotype in treatment resistance of glioblastoma. Biologic mechanisms identified here to be relevant for resistance will guide future targeted therapies and respective marker development for individualized treatment and patient selection.

Self-monitoring of blood glucose in non-insulin treated patients with type 2 diabetes: a systematic review and meta-analysis

To assess the effect of self-monitoring of blood glucose (SMBG) on glycaemic control in non-insulin treated patients with type 2 diabetes by means of a systematic review and meta-analysis.

Actor and partner effects of self-esteem on relationship satisfaction and the mediating role of secure attachment between the partners

We examined actor and partner effects of self-esteem on relationship satisfaction, using the actor-partner interdependence model and data from five independent samples of couples. The results indicated that self-esteem predicted the individual’s own relationship satisfaction (i.e., an actor effect) and the relationship satisfaction of his or her partner (i.e., a partner effect), controlling for the effect of the partner’s selfesteem. Gender, age, and length of relationship did not moderate the effect sizes. Moreover, using one of the samples, we tested whether secure attachment to the current partner (assessed as low attachment-related anxiety and avoidance) mediated the effects. The results showed that attachment-related anxiety and avoidance independently mediated both the actor and the partner effect of self-esteem on relationship satisfaction.

Patient Expectations in Internet-Based Self-Help for Social Anxiety

A number of controlled trials have demonstrated the efficacy of Internet-based cognitive-behaviour therapy for treating social anxiety disorder (SAD). However, little is known about what makes those interventions work. The current trial focuses on patient expectations as one common mechanism of change. The study examines whether patients' expectancy predicts outcome, adherence, and dropout in an unguided Internet-based self-help programme for SAD. Data of 109 participants in a 10-week self-help programme for SAD were analysed. Social anxiety measures were administered prior to the intervention, at week 2, and after the intervention. Expectancy was assessed at week 2. Patient expectations were a significant predictor of change in social anxiety (β = - .35 to - .40, all p < .003). Patient expectations also predicted treatment adherence (β = .27, p = .02). Patients with higher expectations showed more adherence and better outcome. Dropout was not predicted by expectations. The effect of positive expectations on outcome was mediated by early symptom change (from week 0 to week 2). Results suggest that positive outcome expectations have a beneficial effect on outcome in Internet-based self-help for SAD. Furthermore, patient expectations as early process predictors could be used to inform therapeutic decisions such as stepping up patients to guided or face-to-face treatment options

Understanding the link between low self-esteem and depression

Although it is well documented that low self-esteem and depression are related, the precise nature of the relation has been a topic of ongoing debate. We describe several theoretical models concerning the link between self-esteem and depression, and review recent research evaluating the validity of these competing models. Overall, the available evidence provides strong support for the vulnerability model (low self-esteem contributes to depression), weaker support for the scar model (depression erodes self-esteem), and little support for alternative accounts such as the diathesis-stress model. Moreover, the vulnerability model is robust and holds across gender, age, affective-cognitive versus somatic symptoms of depression, European background versus Mexican-origin participants, and clinical versus nonclinical samples. Research on further specifications of the vulnerability model suggests that the effect is (a) partially mediated by rumination, (b) not influenced by other characteristics of self-esteem (i.e., stability and contingency), and (c) driven predominantly by global rather than domain-specific self-esteem. The research has important theoretical implications because it counters the commonly repeated claim that self-esteem has no long-term impact. Moreover, the research has important practical implications, suggesting that depression can be prevented, or reduced, by interventions that improve self-esteem.

The assessment of mindfulness with self-report measures: existing scales and open issues

During recent years, mindfulness-based approaches have been gaining relevance for treatment in clinical populations. Correspondingly, the empirical study of mindfulness has steadily grown; thus, the availability of valid measures of the construct is critically important. This paper gives an overview of the current status in the field of self-report assessment of mindfulness. All eight currently available and validated mindfulness scales (for adults) are evaluated, with a particular focus on their virtues and limitations and on differences among them. It will be argued that none of these scales may be a fully adequate measure of mindfulness, as each of them offers unique advantages but also disadvantages. In particular, none of them seems to provide a comprehensive assessment of all aspects of mindfulness in samples from the general population. Moreover, some scales may be particularly indicated in investigations focusing on specific populations such as clinical samples (Cognitive and Affective Mindfulness Scale, Southampton Mindfulness Questionnaire) or meditators (Freiburg Mindfulness Inventory). Three main open issues are discussed: (1) the coverage of aspects of mindfulness in questionnaires; (2) the nature of the relationships between these aspects; and (3) the validity of self-report measures of mindfulness. These issues should be considered in future developments in the self-report assessment of mindfulness.

Current Regulating and Supporting Services: Nutrient Cycles

The study forest regulates nutrient cycles as a supporting ecosystem service mainly via retention in the biosphere and the soil organic layer. How tight the nutrient cycles are depends on environmental conditions. In this chapter, we focus on the roles of (1) deposition from the atmosphere, (2) soil moisture regime, and (3) conversion to pasture in the nutrient cycle. Between 1998 and 2010, there were a seasonal deposition of salpetric acid, an episodic deposition of Ca and Mg from Sahara dusts, and a continuous increase in reactive N inputs related to Amazonian forest fires, the El Niño Southern Oscillation cycle, and the economic development, respectively. Simultaneously, soils became increasingly drier enhancing nutrient release by mineralization. An increasing number of rain storms could considerably increase the export of N and base metals (K, Ca, Mg) via fast surface-near lateral transport in soil. Land-use change from forest to pasture introduces alkaline ashes and grass-derived organic matter. The resulting increases in soil pH and nutrient and substrate supply increase nutrient cycling rates because of enhanced microbial activity.

The recombinant adeno-associated virus vector (rAAV2)-mediated apolipoprotein B mRNA-specific hammerhead ribozyme: a self-complementary AAV2 vector improves the gene expression.

BACKGROUND: In humans, overproduction of apolipoprotein B (apoB) is positively associated with premature coronary artery diseases. To reduce the levels of apoB mRNA, we have designed an apoB mRNA-specific hammerhead ribozyme targeted at nucleotide sequences GUA6679 (RB15) mediated by adenovirus, which efficiently cleaves and decreases apoB mRNA by 80% in mouse liver and attenuates the hyperlipidemic condition. In the current study, we used an adeno-associated virus vector, serotype 2 (AAV2) and a self-complementary AAV2 vector (scAAV2) to demonstrate the effect of long-term tissue-specific gene expression of RB15 on the regulation apoB mRNA in vivo. METHODS: We constructed a hammerhead ribozyme RB15 driven by a liver-specific transthyretin (TTR) promoter using an AAV2 vector (rAAV2-TTR-RB15). HepG2 cells and hyperlipidemic mice deficient in both the low density lipoprotein receptor and the apoB mRNA editing enzyme genes (LDLR-/-Apobec1-/-; LDb) were transduced with rAAV2-TTR-RB15 and a control vector rAAV-TTR-RB15-mutant (inactive ribozyme). The effects of ribozyme RB15 on apoB metabolism and atherosclerosis development were determined in LDb mice at 5-month after transduction. A self-complementary AAV2 vector expressing ribozyme RB15 (scAAV2-TTR-RB15) was also engineered and used to transduce HepG2 cells. Studies were designed to compare the gene expression efficiency between rAAV2-TTR-RB15 and scAAV2-TTR-RB15. RESULTS: The effect of ribozyme RB15 RNA on reducing apoB mRNA levels in HepG2 cells was observed only on day-7 after rAAV2-TTR-RB15 transduction. And, at 5-month after rAAV2-TTR-RB15 treatment, the apoB mRNA levels in LDb mice were significantly decreased by 43%, compared to LDb mice treated with control vector rAAV2-TTR-RB15-mutant. Moreover, both the rAAV2-TTR-RB15 viral DNA and ribozyme RB15 RNA were still detectable in mice livers at 5-month after treatment. However, this rAAV2-TTR-RB15 vector mediated a prolonged but low level of ribozyme RB15 gene expression in the mice livers, which did not produce the therapeutic effects on alteration the lipid levels or the inhibition of atherosclerosis development. In contrast, the ribozyme RB15 RNA mediated by scAAV2-TTR-RB15 vector was expressed immediately at day-1 after transduction in HepG2 cells. The apoB mRNA levels were decreased 47% (p = 0.001), compared to the control vector scAAV2-TTR-RB15-mutant. CONCLUSION: This study provided evidence that the rAAV2 single-strand vector mediated a prolonged but not efficient transduction in mouse liver. However, the scAAV2 double-strand vector mediated a rapid and efficient gene expression in liver cells. This strategy using scAAV2 vectors represents a better approach to express small molecules such as ribozyme.

Phytoplankton Scales of Variability in the California Current System: 1. Interannual and Cross-Shelf Variability

In the California Current System, strong mesoscale variability associated with eddies and meanders of the coastal jet play an important role in the biological productivity of the area. To assess the dominant timescales of variability, a wavelet analysis is applied to almost nine years (October 1997 to July 2006) of 1-km-resolution, 5-day-averaged, Sea-viewing Wide Field-of-view Sensor (SeaWiFS) chlorophyll a (chl a) concentration data. The dominant periods of chlorophyll variance, and how these change in time, are quantified as a function of distance offshore. The maximum variance in chlorophyll occurs with a period of similar to 100-200 days. A seasonal cycle in the timing of peak variance is revealed, with maxima in spring/summer close to shore (20 km) and in autumn/winter 200 km offshore. Interannual variability in the magnitude of chlorophyll variance shows maxima in 1999, 2001, 2002, and 2005. There is a very strong out-of-phase correspondence between the time series of chlorophyll variance and the Pacific Decadal Oscillation (PDO) index. We hypothesize that positive PDO conditions, which reflect weak winds and poor upwelling conditions, result in reduced mesoscale variability in the coastal region, and a subsequent decrease in chlorophyll variance. Although the chlorophyll variance responds to basin-scale forcing, chlorophyll biomass does not necessarily correspond to the phase of the PDO, suggesting that it is influenced more by local-scale processes. The mesoscale variability in the system may be as important as the chl a biomass in determining the potential productivity of higher trophic levels.

Self-monitoring of blood glucose in type 2 diabetes: recent studies

The increasing role for structured and personalized self-monitoring of blood glucose (SMBG) in management of type 2 diabetes has been underlined by randomized and prospective clinical trials. These include Structured Testing Program (or STeP), St. Carlos, Role of Self-Monitoring of Blood Glucose and Intensive Education in Patients with Type 2 Diabetes Not Receiving Insulin, and Retrolective Study Self-Monitoring of Blood Glucose and Outcome in Patients with Type 2 Diabetes (or ROSSO)-in-praxi follow-up. The evidence for the benefit of SMBG both in insulin-treated and non-insulin-treated patients with diabetes is also supported by published reviews, meta-analyses, and guidelines. A Cochrane review reported an overall effect of SMBG on glycemic control up to 6 months after initiation, which was considered to subside after 12 months. Particularly, the 12-month analysis has been criticized for the inclusion of a small number of studies and the conclusions drawn. The aim of this article is to review key publications on SMBG and also to put them into perspective with regard to results of the Cochrane review and current aspects of diabetes management.

Simulating Cortical Development as a Self Constructing Process: A Novel Multi-Scale Approach Combining Molecular and Physical Aspects

Current models of embryological development focus on intracellular processes such as gene expression and protein networks, rather than on the complex relationship between subcellular processes and the collective cellular organization these processes support. We have explored this collective behavior in the context of neocortical development, by modeling the expansion of a small number of progenitor cells into a laminated cortex with layer and cell type specific projections. The developmental process is steered by a formal language analogous to genomic instructions, and takes place in a physically realistic three-dimensional environment. A common genome inserted into individual cells control their individual behaviors, and thereby gives rise to collective developmental sequences in a biologically plausible manner. The simulation begins with a single progenitor cell containing the artificial genome. This progenitor then gives rise through a lineage of offspring to distinct populations of neuronal precursors that migrate to form the cortical laminae. The precursors differentiate by extending dendrites and axons, which reproduce the experimentally determined branching patterns of a number of different neuronal cell types observed in the cat visual cortex. This result is the first comprehensive demonstration of the principles of self-construction whereby the cortical architecture develops. In addition, our model makes several testable predictions concerning cell migration and branching mechanisms.

How do different aspects of self-regulation predict successful adaptation to school?

Self-regulation plays an important role in successful adaptation to preschool and school contexts as well as in later academic achievement. The current study relates different aspects of self-regulation such as temperamental effortful control and executive functions (updating, inhibition, and shifting) to different aspects of adaptation to school such as learning-related behavior, school grades, and performance in standardized achievement tests. The relationship between executive functions/effortful control and academic achievement has been established in previous studies; however, little is known about their unique contributions to different aspects of adaptation to school and the interplay of these factors in young school children. Results of a 1-year longitudinal study (N = 459) revealed that unique contributions of effortful control (parental report) to school grades were fully mediated by children’s learning-related behavior. On the other hand, the unique contributions of executive functions (performance on tasks) to school grades were only partially mediated by children’s learning-related behavior. Moreover, executive functions predicted performance in standardized achievement tests exclusively, with comparable predictive power for mathematical and reading/writing skills. Controlling for fluid intelligence did not change the pattern of prediction substantially, and fluid intelligence did not explain any variance above that of the two included aspects of self-regulation. Although effortful control and executive functions were not significantly related to each other, both aspects of self-regulation were shown to be important for fostering early learning and good classroom adjustment in children around transition to school.

The development of self-esteem

In this article, we review new insights gained from recent longitudinal studies examining the development of self-esteem and its influence on important life outcomes. The evidence supports the following three conclusions. First, self-esteem increases from adolescence to middle adulthood, peaks at about age 50 to 60 years, and then decreases at an accelerating pace into old age; moreover, there are no cohort differences in the self-esteem trajectory from adolescence to old age. Second, self-esteem is a relatively stable, but by no means immutable, trait; individuals with relatively high (or low) self-esteem at one stage of life are likely to have relatively high (or low) self-esteem decades later. Third, high self-esteem prospectively predicts success and well-being in life domains such as relationships, work, and health. Given the increasing evidence that self-esteem has important real-world consequences, the topic of self-esteem development is of considerable societal significance.

Assessment of smoking behaviour in a dental setting: a 1-year follow-up study using self-reported questionnaire data and exhaled carbon monoxide levels.

OBJECTIVES This study analyses the changes in smoking habits over the course of 1 year in a group of patients referred to an oral medicine unit. MATERIALS AND METHODS Smoking history and behaviour were analysed at baseline and after 1 year based on a self-reported questionnaire and on exhaled carbon monoxide levels [in parts per million (ppm)]. During the initial examination, all smokers underwent tobacco use prevention and cessation counselling. RESULTS Of the initial group of 121 patients, 98 were examined at the follow-up visit. At the baseline examination, 33 patients (33.67 %) indicated that they were current smokers. One year later, 14 patients (42.24 % out of the 33 smokers of the initial examination) indicated that they had attempted to stop smoking at least once over the follow-up period and 15.15 % (5 patients) had quit smoking. The mean number of cigarettes smoked per day by current smokers decreased from 13.10 to 12.18 (p = 0.04). The exhaled CO level measurements showed very good correlation with a Spearman's coefficient 0.9880 for the initial visit, and 0.9909 for the follow-up examination. For current smokers, the consumption of one additional cigarette per day elevated the CO measurements by 0.77 ppm (p < 0.0001) at the baseline examination and by 0.84 ppm (p < 0.0001) at the 1-year follow-up. CONCLUSIONS In oral health care, where smoking cessation is an important aspect of the treatment strategy, the measurement of exhaled carbon monoxide shows a very good correlation with a self-reported smoking habit. CLINICAL RELEVANCE Measurement of exhaled carbon monoxide is a non-invasive, simple and objective measurement technique for documenting and monitoring smoking cessation and reduction.