Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

A sequential Cox approach for estimating the causal effect of treatment in the presence of time-dependent confounding applied to data from the Swiss HIV Cohort Study

When estimating the effect of treatment on HIV using data from observational studies, standard methods may produce biased estimates due to the presence of time-dependent confounders. Such confounding can be present when a covariate, affected by past exposure, is both a predictor of the future exposure and the outcome. One example is the CD4 cell count, being a marker for disease progression for HIV patients, but also a marker for treatment initiation and influenced by treatment. Fitting a marginal structural model (MSM) using inverse probability weights is one way to give appropriate adjustment for this type of confounding. In this paper we study a simple and intuitive approach to estimate similar treatment effects, using observational data to mimic several randomized controlled trials. Each 'trial' is constructed based on individuals starting treatment in a certain time interval. An overall effect estimate for all such trials is found using composite likelihood inference. The method offers an alternative to the use of inverse probability of treatment weights, which is unstable in certain situations. The estimated parameter is not identical to the one of an MSM, it is conditioned on covariate values at the start of each mimicked trial. This allows the study of questions that are not that easily addressed fitting an MSM. The analysis can be performed as a stratified weighted Cox analysis on the joint data set of all the constructed trials, where each trial is one stratum. The model is applied to data from the Swiss HIV cohort study.

Sequential female assessment drives complex sexual selection on bower shape in a cichlid fish

In many animals, sexual selection on male traits results from female mate choice decisions made during a sequence of courtship behaviors. We use a bower-building cichlid fish, Nyassachromis cf. microcephalus, to show how applying standard selection analysis to data on sequential female assessment provides new insights into sexual selection by mate choice. We first show that the cumulative selection differentials confirm previous results suggesting female choice favors males holding large volcano-shaped sand bowers. The sequential assessment analysis reveals these cumulative differentials are the result of selection acting on different bower dimensions during the courtship sequence; females choose to follow males courting from tall bowers, but choose to engage in premating circling with males holding bowers with large diameter platforms. The approach we present extends standard selection analysis by partitioning the variances of increasingly accurate estimates of male reproductive fitness and is applicable to systems in which sequential female assessment drives sexual selection on male traits.

Prolonged amelioration of acute lung allograft rejection by sequential overexpression of human interleukin-10 and hepatocyte growth factor in rats

The effect of prolonged electroporation-mediated human interleukin-10 (hIL-10) overexpression 24 hours before transplantation, combined with sequential human hepatocyte growth factor (HGF) overexpression into skeletal muscle on day 5, on rat lung allograft rejection was evaluated. Left lung allotransplantation was performed from Brown-Norway to Fischer-F344 rats. Gene transfer into skeletal muscle was enhanced by electroporation. Three groups were studied: group I animals (n = 5) received 2.5 μg pCIK-hIL-10 (hIL-10/CMV [cytomegalovirus] early promoter enhancer) on day -1 and 80 μg pCIK-HGF (HGF/CMV early promoter enhancer) on day 5. Group II animals (n = 4) received 2.5 μg pCIK-hIL-10 and pUbC-hIL-10 (hIL-10/pUbC promoter) on day -1. Control group III animals (n = 4) were treated by sham electroporation on days -1 and 5. All animals received daily nontherapeutic intraperitoneal dose of cyclosporin A (2.5 mg/kg) and were sacrificed on day 15. Graft oxygenation and allograft rejection were evaluated. Significant differences were found between study groups in graft oxygenation (Pao(2)) (P = .0028; group I vs. groups II and III, P < .01 each). Pao(2) was low in group II (31 ± 1 mm Hg) and in group III controls (34 ± 10 mm Hg), without statistically significant difference between these 2 groups (P = .54). In contrast, in group I, Pao(2) of recipients sequentially transduced with IL-10 and HGF plasmids was much improved, with 112 ± 39 mm Hg (vs. groups II and III; P < .01 each), paralleled by reduced vascular and bronchial rejection (group I vs. groups II and III, P < .021 each). Sequential overexpression of anti-inflammatory cytokine IL-10, followed by sequential and overlapping HGF overexpression on day 5, preserves lung function and reduces acute lung allograft rejection up to day 15 post transplant as compared to prolonged IL-10 overexpression alone.

The role of olfactory cues in the sequential radiation of a gall-boring beetle, Mordellistena convicta

1. Herbivorous insects often have close associations with specific host plants, and their preferences for mating and ovipositing on a specific host-plant species can reproductively isolate populations, facilitating ecological speciation. Volatile emissions from host plants can play a major role in assisting herbivores to locate their natal host plants and thus facilitate assortative mating and host-specific oviposition. 2. The present study investigated the role of host-plant volatiles in host fidelity and oviposition preference of the gall-boring, inquiline beetle, Mordellistena convicta LeConte (Coleoptera: Mordellidae), using Y-tube olfactometers. Previous studies suggest that the gall-boring beetle is undergoing sequential host-associated divergence by utilising the resources that are created by the diverging populations of the gall fly, Eurosta solidaginis Fitch (Diptera: Tephritidae), which induces galls on the stems of goldenrods including Solidago altissima L. (Asteraceae) and Solidago gigantea Ait. 3. Our results show that M. convicta adults are attracted to galls on their natal host plant, avoid the alternate host galls, and do not respond to volatile emissions from their host-plant stems. 4. These findings suggest that the gall-boring beetles can orient to the volatile chemicals from host galls, and that beetles can use them to identify suitable sites for mating and/or oviposition. Host-associated mating and oviposition likely play a role in the sequential radiation of the gall-boring beetle.

The Role of Olfactory Cues in the Sequential Radiation of a Gall-boring Beetle, Mordellistena convicta

1. Herbivorous insects often have close associations with specific host plants, and their preferences for mating and ovipositing on a specific host-plant species can reproductively isolate populations, facilitating ecological speciation. Volatile emissions from host plants can play a major role in assisting herbivores to locate their natal host plants and thus facilitate assortative mating and host-specific oviposition. 2. The present study investigated the role of host-plant volatiles in host fidelity and oviposition preference of the gall-boring, inquiline beetle, Mordellistena convicta LeConte (Coleoptera: Mordellidae), using Y-tube olfactometers. Previous studies suggest that the gall-boring beetle is undergoing sequential host-associated divergence by utilising the resources that are created by the diverging populations of the gall fly, Eurosta solidaginis Fitch (Diptera: Tephritidae), which induces galls on the stems of goldenrods including Solidago altissima L. (Asteraceae) and Solidago gigantea Ait. 3. Our results show that M. convicta adults are attracted to galls on their natal host plant, avoid the alternate host galls, and do not respond to volatile emissions from their host-plant stems. 4. These findings suggest that the gall-boring beetles can orient to the volatile chemicals from host galls, and that beetles can use them to identify suitable sites for mating and/or oviposition. Host-associated mating and oviposition likely play a role in the sequential radiation of the gall-boring beetle.

Long-term tissue coverage of a biodegradable polylactide polymer-coated biolimus-eluting stent: comparative sequential assessment with optical coherence tomography until complete resorption of the polymer

Biolimus-eluting stents (BESs) with a biodegradable polymer in abluminal coating achieve more complete coverage at 9 months compared with sirolimus-eluting stents (SESs) with a durable polymer, as assessed by optical coherence tomography (OCT). Whether this advantage persists or augments after complete resorption of the polymer (>12 months) is unknown.

Vascular tissue reaction to acute malapposition in human coronary arteries: sequential assessment with optical coherence tomography

The vascular tissue reaction to acute incomplete stent apposition (ISA) is not well known. The aim of this study was to characterize the vascular response to acute ISA in vivo and to look for predictors of incomplete healing.

Analyse Comparative de Données de sondage Prévisionnels et de résultats d'Exploitation du Panneau de Tobéne entre 2003 et 2009; Cartographie des Anomalies de couches

This thesis is about the 3rd bed of phosphate deposit at TAÏBA (Tobène). The study shows differences between prospecting and exploitation of the deposit from 2003 to 2009.

The Synthesis of Macrocyclic Polystyrene by Sequential Atom Transfer Radical Reactions

A method for the production of macrocyclic polystyrene via ring closing of a linear !,"-dibrominated polystyrene by an Atom Transfer Radical Coupling (ATRC) reaction is described. The dibrominated polystyrene chain was produced from two simultaneous atom transfer radical polymerizations (ATRPs) originating from a dibrominated benzal bromide initiator. To ensure the retention of the halogen end groups polymerization was allowed to proceed to less than 50% conversion. Using this precursor in an intramolecular ATRC (ring closing) reaction was found to yield in excess of 90% cyclic product based on refractive index-gel permeation chromatography (GPC) analysis. The cyclic architecture of the polymer was verified by GPC, Nuclear Magnetic Resonance (NMR), and mass spectrometry analysis. The utility of this method has been expanded by the addition of 2-methyl-2-nitrosopropane to the coupling reaction, which allows for the coupling to proceed at a faster rate and to yield macrocycles with incorporated alkoxyamine functionality. The alkoxyamine functionality allows for degradation of the cycles at high temperatures (>125° C) and we hypothesize that it may allow the macrocycles to act as a macroinitiator for a ring expansion polymerization in future studies.

The role of olfactory cues in the sequential radiation of a gall-boring beetle

Species diversity itself may cause additional species diversity. According to recent findings, some species modify their environment in such a way that they facilitate the creation of new niches for other species to evolve to fill. Given the vast speciesdiversity of insects, the occurrence of such sequential radiation of species is likely common among herbivorous insects and the species that depend on them, many of them being insects as well. Herbivorous insects often have close associations with specific host plants and their preferences for mating and ovipositing on a specific host-plant species can reproductively isolate host-specific populations, facilitating speciation. Previous research by our laboratory has established that there are two distinct populations of thegall fly, Eurosta solidaginis (Tephritidae), which attack different species of goldenrods, Solidago altissima (Asteraceae) and S. gigantea. The gall fly’s host-associated differentiation is facilitating the divergence and potential speciation of twosubpopulations of the gall-boring beetle Mordellistena convicta (Mordellidae) by providing new resources (galls on stems of the galdenrods) for the gall-boring beetles. These beetles exist as two host-plant associated populations of inquilines that inhabit the galls induced by the gall fly. While our previous research has provided genetic and behavioral evidence for host-race formation, little is known about the role of their host plants in assortative mating and oviposition-site selection of the gall-boring beetles’ hostassociated populations. Volatile emissions from host plants can play a major role in assisting herbivores to locate their natal host plants and thus facilitate assortative mating and host-specific oviposition. The present study investigated the role of host-plant volatiles in host fidelity (mating on the host plant) and oviposition preference of M. convicta by measuring its behavioral responses to the host-plant volatile emissions using Y-tube olfactometers. In total, we tested behavioral responses of 615 beetles. Our resultsshow that M. convicta adults are attracted to their natal host galls (67% of S. altissima-emerging beetles and 70% of S. gigantea-emerging beetles) and avoid the alternate host galls (75% of S. altissima-emerging beetles and 66% of S. gigantea-emerging beetles),while showing no preference for, or avoidance of, ungalled plants from either species. This suggests that the gall beetles can orient to the volatile chemicals emitted by the galls and can potentially use them to identify suitable sites for mating and/or oviposition. Thus, host-associated mating and oviposition may play a role in the sequential speciation of the gall-boring beetle.

Adaptive and Maladaptive Correlates of Repetitive Behavior and Restricted Interests in Persons with Down Syndrome and Developmentally-Matched Typical Children: A Two-Year Longitudinal Sequential Design

We examined the course of repetitive behavior and restricted interests (RBRI) in children with and without Down syndrome (DS) over a two-year time period. Forty-two typically-developing children and 43 persons with DS represented two mental age (MA) levels: `` younger'' 2-4 years; `` older'' 5-11 years. For typically developing younger children some aspects of RBRI increased from Time 1 to Time 2. In older children, these aspects remained stable or decreased over the two-year period. For participants with DS, RBRI remained stable or increased over time. Time 1 RBRI predicted Time 2 adaptive behavior (measured by the Vineland Scales) in typically developing children, whereas for participants with DS, Time 1 RBRI predicted poor adaptive outcome (Child Behavior Checklist) at Time 2. The results add to the body of literature examining the adaptive and maladaptive nature of repetitive behavior.