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.

DESIGN AND SYNTHESIS OF MULTIFUNCTIONAL POLYMERIC MICELLES FOR GENE-DIRECTED ENZYME PRODRUG THERAPY

Gene-directed enzyme prodrug therapy is a form of cancer therapy in which delivery of a gene that encodes an enzyme is able to convert a prodrug, a pharmacologically inactive molecule, into a potent cytotoxin. Currently delivery of gene and prodrug is a two-step process. Here, we propose a one-step method using polymer nanocarriers to deliver prodrug, gene and cytotoxic drug simultaneously to malignant cells. Prodrugs acyclovir, ganciclovir and 5-doxifluridine were used to directly to initiate ring-opening polymerization of epsilon-caprolactone, forming a hydrophobic prodrug-tagged poly(epsilon-caprolactone) which was further grafted with hydrophilic polymers (methoxy poly(ethylene glycol), chitosan or polyethylenemine) to form amphiphilic copolymers for micelle formation. Successful synthesis of copolymers and micelle formation was confirmed by standard analytical means. Conversion of prodrugs to their cytotoxic forms was analyzed by both two-step and one-step means i.e. by first delivering gene plasmid into cell line HT29 and then challenging the cells with the prodrug-tagged micelle carriers and secondly by complexing gene plasmid onto micelle nanocarriers and delivery gene and prodrug simultaneously to parental HT29 cells. Anticancer effectiveness of prodrug-tagged micelles was further enhanced by encapsulating chemotherapy drugs doxorubicin or SN-38. Viability of colon cancer cell line HT29 was significantly reduced. Furthermore, in an effort to develop a stealth and targeted carrier, CD47-streptavidin fusion protein was attached onto the micelle surface utilizing biotin-streptavidin affinity. CD47, a marker of self on the red blood cell surface, was used for its antiphagocytic efficacy, results showed that micelles bound with CD47 showed antiphagocytic efficacy when exposed to J774A.1 macrophages. Since CD47 is not only an antiphagocytic ligand but also an integrin associated protein, it was used to target integrin alpha(v)beta(3), which is overexpressed on tumor-activated neovascular endothelial cells. Results showed that CD47-tagged micelles had enhanced uptake when treated to PC3 cells which have high expression of alpha(v)beta(3). The synthesized multifunctional polymeric micelle carriers developed could offer a new platform for an innovative cancer therapy regime.

Influence of Information and Instructions on Human Behavior in Tunnel Accidents: A Virtual Reality Study

Human behavior is a major factor modulating the consequences of road tunnel accidents. We investigated the effect of information and instruction on drivers' behavior as well as the usability of virtual environments to simulate such emergency situations. Tunnel safety knowledge of the general population was assessed using an online questionnaire, and tunnel safety behavior was investigated in a virtual reality experiment. Forty-four participants completed three drives through a virtual road tunnel and were confronted with a traffic jam, no event, and an accident blocking the road. Participants were randomly assigned to a control group (no intervention), an informed group who read a brochure containing safety information prior to the tunnel drives, or an informed and instructed group who read the same brochure and received additional instructions during the emergency situation. Informed participants showed better and quicker safety behavior than the control group. Self-reports of anxiety were assessed three times during each drive. Anxiety was elevated during and after the emergency situation. The findings demonstrate problematic safety behavior in the control group and that knowledge of safety information fosters adequate behavior in tunnel emergencies. Enhanced anxiety ratings during the emergency situation indicate external validity of the virtual environment.

Ferrocene-terminated alkanethiol self-assembled monolayers: An electrochemical and in situ surface-enhanced infra-red absorption spectroscopy study

The effect of anions on the redox behavior and structure of 11-ferrocenyl-1-undecanethiol (FcC11) monolayers (SAM) on Au(1 1 1) single crystal and Au(1 1 1-25 nm) thin film electrodes was investigated in 0.1 M solutions of HPF6, HClO4, HBF4, HNO3, and H2SO4 by cyclic voltammetry (CV) and in situ surface-enhanced infrared reflection-absorption spectroscopy (SEIRAS). We demonstrate that the FcC11 redox peaks shift toward positive potentials and broaden with increasing hydrophilicity of the anions. In situ surface-enhanced IR-spectroscopy (SEIRAS) provided direct access for the incorporation of anions into the oxidized adlayer. The coadsorption of anions is accompanied by the penetration of water molecules. The latter effect is particularly pronounced in aqueous HNO3 and H2SO4 electrolytes. The adlayer permeability increases with increasing hydrophilicity of the anions. We also found that even the neutral (reduced) FcC11 SAM is permeable for water molecules. Based on the property of interfacial water to reorient upon charge inversion, we propose a spectroscopic approach for estimating the potential of zero total charge of the FcC11-modified Au(1 1 1) electrodes in aqueous electrolytes.

High self-esteem prospectively predicts better work conditions and outcomes

We examined the reciprocal prospective relations between self-esteem and work conditions and outcomes, including justice at work, support at work, work stressors, job satisfaction, job success, and counterproductive work behavior. Data came from two independent longitudinal studies, including five assessments over an 8-month period (N = 663, age 16–62 years) and three assessments over a 2-year period (N = 600, age 22–51 years), respectively. Across both studies, high self-esteem prospectively predicted better work conditions and outcomes, whereas nearly all of the reverse effects (i.e., work conditions and outcomes predicting self-esteem) were nonsignificant. The results held for both male and female participants. If future research supports the causality of the self-esteem effects, interventions aimed at improving self-esteem might be useful in increasing an individual’s well-being and success at work, which consequently might be beneficial for employers.

Consumer Behavior in Moral Markets. On the Relevance of Identity, Justice Beliefs, Social Norms, Status and Trust in Ethical Consumption

This article addresses ethical consumer behavior and uses the purchase of Fair Trade (FT) coffee to gain insights into determinants of ‘moral behavior’ in the marketplace. Our primary concern is to clarify which theoretical concepts and determinants are more useful than others in explaining FT consumption. We compare the explanatory power of consumer budget restrictions, consumer identity, social and personal norms, social status, justice beliefs, and trust. Our second aim is methodological; we contrast data on self-reported consumption of FT coffee with experimental data on hypothetical choices of different coffee products. To gain insights into the robustness of our measurement and findings, we test our propositions using two samples of undergraduate students from Germany and the United States. Our data show that consumer identity and personal norms are the major determinants of FT consumption in both samples, the results from survey-based data and from our experimental data are similar in this regard. Further, we demonstrate that studies based on a limited number of determinants might overestimate effects; the effect of justice beliefs for instance vanishes if other determinants are taken into account.

Sympathy, distress, and prosocial behavior of preschool children in four cultures

This study examined emotional responding (sympathy and distress) and prosocial behavior as well as their relations across four cultures in a specific context. Preschool children (N = 212) from two Western cultures, Germany and Israel, and two South-East Asian cultures, Indonesia and Malaysia, participated in this study. Children's emotional reactions and prosocial behavior were observed when interacting with an adult in a quasi-experimental situation. Results showed that children from the two South-East Asian cultures, as compared to children from the two Western cultures, displayed more self-focused distress and less prosocial behavior. Across cultures, a positive relation between sympathy and prosocial behavior and a negative relation between self-focused distress and prosocial behavior were found. The strengths of these relations were moderated by culture. These results are discussed with regard to their cultural meaning in the specific experimental situation as well as to general culture-specific characteristics.

Psychiatric severity and behavior change in alcoholism

Individuals who are diagnosed with a chronic mental illness and an alcohol use disorder comprise a high risk population that challenges the mental health care system. Effective treatment for the dually diagnosed, who are characterized by heterogeneity in their psychiatric diagnoses, their substance use patterns, and their current degree of dysfunction, presents a challenge. Several integrated treatment models have been developed that attempt to concurrently treat patients' psychiatric and substance abuse problems. At this point in the development of these "dual diagnosis" programs, treatment planning is hindered by a lack of knowledge about the relation of psychiatric severity to the process of recovery from alcohol abuse and dependence.^ The present study sought to advance the field's understanding of the relation between psychiatric severity and the process of behavior change through an examination of the relation between dimensions of psychiatric severity and Prochaska and DiClemente's Transtheoretical Model (TTM) constructs. The TTM, which focuses on identifying the processes of change that appear to underlie the modification of addictive behaviors, provides a way of conceptualizing and measuring specific elements relevant to the desired behavior change. Knowledge of the relation between these constructs and psychiatric severity will enable treatment planners to develop dual diagnosis programs which target clients' needs with a much higher level of specificity.^ One hundred-thirty two alcohol dependent patients in a dual diagnosis treatment program were assessed on psychiatric severity (defined as number of symptoms and level of distress resulting from symptoms) and the Transtheoretical Model constructs. The constructs include stages and processes of change for alcohol use, alcohol decisional balance, and alcohol abstinence self-efficacy. Results indicate that the TTM variable of "temptation to drink" is most strongly related to psychiatric severity: the more psychiatric distress a person is experiencing, the more he or she is tempted to drink. The "cons" of drinking were also related to psychiatric severity, indicating that participants who were experiencing more psychiatric distress also endorsed as important a higher number of the negative aspects of drinking.^ Additional aims of this investigation were to determine whether participants' scores on the Transtheoretical Model variables were associated with their: (a) severity of drinking, defined as frequency, quantity and consequences of use, (b) previous psychiatric and substance abuse treatment episodes, and (c) functional impairment. Associations were found among these variables and each of the key constructs of the Transtheoretical Model. Each association is explored in detail and implications for treatment programming are discussed. ^

Affinity retardation chromatography: characterization of the method and its application. The description of low affinity laminin self-interactions.

Affinity retardation chromatography (ARC), a method for the examination of low-affinity interactions, is mathematically described in order to characterize the method itself and to estimate binding coefficients of self-assembly domains of basement membrane protein laminin. Affinity retardation was determined by comparing the elutions on a "binding" and on a "nonreacting" column. It depends on the binding coefficient, the concentrations of both ligands, and the nonbinding elution position. Half maximal binding of the NH2-terminal domain of laminin B1-short arm to the A- and/or B2-short arms was estimated to occur at 10-17 microM for noncooperative and at < or = 3 microM for cooperative binding. A model of the laminin polymerization, postulating two levels of cooperative binding behavior, is described.

Health control beliefs in old age - relationship with subjective and objective health and health behavior

The main purpose of this paper is to explore health control beliefs (internality, powerful others, chance) in different age cohorts of elderly people and to examine the relationship between health control beliefs and objective and subjective health, and health behaviour. This contribution shows data from an interdisciplinary longitudinal ageing study: (a) a descriptive analysis of age- and time-correlated changes in health control beliefs of different cohorts of elderly people by taking into account gender as a differential aspect; (b) group comparisons between objectively and subjectively healthy or sick people and their health control beliefs and health relevant behaviour. Participants are 442 community elderly, 309 men, 133 women, aged 65± 94 years (mean age: 74.95 years). Our data demonstrate the dominance of chance control beliefs over internality and powerful others in all age cohorts. It can be concluded that internal control remains stable well into old age, whereas a signi® cant age-correlated increase of externality can be observed. Our results show the signi® cant relationship of subjective health self-evaluations with health control beliefs and health behaviour which is not the case for objective health parameters. Strong gender effects are found for internality and social externality: women have signi® cantly lower internality and powerful others scores than men.

Control of human behavior, mental processes and consciousness : essays in honor of the 60th birthday of August Flammer

In this book, an international group of leading scientists present perspectives on the control of human behavior, awareness, consciousness, and the meaning and function of perceived control or self-efficacy in people's lives. The book breaks down the barriers between subdisciplines, and thus constitutes an occasion to reflect on various facets of control in human life. Each expert reviews his or her field through the lens of perceived control and shows how these insights can be applied in practice.

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.