Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

A proactive approach o XY international expansion

This work project was conducted under a Direct Research internship (DRI) that consists on an individual dissertation established on a given organization. DRI has a problem solving format to an empirical question to be addressed, «Which country has the highest potential for the next step of XY internationalization process? ». In order to achieve the project’s purpose, it was conducted a scanning process using a top-down approach over an initial list of nine countries given by XY. To do so it was developed an international scanning framework based on different domains and weights that allowed to achieve the top two countries with highest potential. After an in depth analysis over the final set, it was recommended Switzerland as the best country to make the next step of XY internationalization in Europe.

A proactive intelligent decision support system for predicting the popularity of online news

"Lecture notes in computer science series, ISSN 0302-9743, vol. 9273"

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Proactive ontology-based content provision in the context of e-learning

Magdeburg, Univ., Fak. für Informatik, Diss., 2008

The interference of methods in the collection of teredinids (Mollusca, Bivalvia) in mangrove habitats

In the estuary of the Mamanguape River (Paraíba, Brazil), a new collection technique was developed and applied with virgin poles of mangrove trees Avicennia schaueriana (Verbenaceae), Rhizophora mangle (Rhizophoraceae), and Laguncularia racemosa (Combretaceae), taking into account wood preference, water salinity and depth influence during teredinid larval settlement. Sets of poles were vertically fixed in the riverbed at three sites along a decreasing salinity gradient, where they stayed for four months. The poles were collected and divided into upper, median, and lower segments, in agreement with different immersion regimes. An increase of 239% was obtained in the number of individuals when compared to a previous study in the same area using a different methodology. The species Teredo bartschi (Clapp, 1923), Nausitora fusticula (Jeffreys, 1860) and Bankia fimbriatula Moll & Roch, 1931 were registered in both studies, and the species Psiloteredo healdi (Bartsch, 1931) is here registered for the first time as occurring in that estuary. The species Neoteredo reynei (Bartsch, 1920), previously registered on tree branches of the mangrove habitat, was not found in the present work. Bankia fimbriatula, the most abundant species, did not show preference for any substratum but occurred significantly on the lower segment of the poles. N. fusticula, second in abundance, preferred to settle on poles of A. schaueriana and on any of the three segments. Aiming to assess the habitat variations, a more accurate study on teredinids diversity in mangrove ecosystems should be performed through a concomitant analysis from tree branches of the mangrove habitat, as well as from poles of mangrove trees or panels made of pine wood or mangrove trees wood. These collection devices should be maintained along a decreasing salinity gradient exposed to different tide levels.

A simple method for assessing the binding of concanavalin A to mononuclear cell surfaces: no interference of visceral leishmaniasis serum on this binding

We report a simple method for evaluating the binding of concanavalin A (ConA) to human peripheral blood mononuclear cells (PBMC). The binding is evidenced by an immunoenzymic assay using peroxidase-conjugated immunoglobulins of a rabbit anti-ConA serum. Using the method we show that sera from patients with American leishmaniasis do not interfere with binding of ConA to PBMC.

Reactive and proactive approaches for introspective CBR

This work investigates applying introspective reasoning to improve the performance of Case-Based Reasoning (CBR) systems, in both reactive and proactive fashion, by guiding learning to improve how a CBR system applies its cases and by identifying possible future system deficiencies. First we present our reactive approach, a new introspective reasoning model which enables CBR systems to autonomously learn to improve multiple facets of their reasoning processes in response to poor quality solutions. We illustrate our model’s benefits with experimental results from tests in an industrial design application. Then as for our proactive approach, we introduce a novel method for identifying regions in a case-base where the system gives low confidence solutions to possible future problems. Experimentation is provided for Zoology and Robo-Soccer domains and we argue how encountered regions of dubiosity help us to analyze the case-bases of a given CBR system.

Multimeric complexes of the PML-retinoic acid receptor alpha fusion protein in acute promyelocytic leukemia cells and interference with retinoid and peroxisome-proliferator signaling pathways.

The t(15;17) chromosomal translocation, specific for acute promyelocytic leukemia (APL), fuses the PML gene to the retinoic acid receptor alpha (RAR alpha) gene, resulting in expression of a PML-RAR alpha hybrid protein. In this report, we analyzed the nature of PML-RAR alpha-containing complexes in nuclear protein extracts of t(15;17)-positive cells. We show that endogenous PML-RAR alpha can bind to DNA as a homodimer, in contrast to RAR alpha that requires the retinoid X receptor (RXR) dimerization partner. In addition, these cells contain oligomeric complexes of PML-RAR alpha and endogenous RXR. Treatment with retinoic acid results in a decrease of PML-RAR alpha protein levels and, as a consequence, of DNA binding by the different complexes. Using responsive elements from various hormone signaling pathways, we show that PML-RAR alpha homodimers have altered DNA-binding characteristics when compared to RAR alpha-RXR alpha heterodimers. In transfected Drosophila SL-3 cells that are devoid of endogenous retinoid receptors PML-RAR alpha inhibits transactivation by RAR alpha-RXR alpha heterodimers in a dominant fashion. In addition, we show that both normal retinoid receptors and the PML-RAR alpha hybrid bind and activate the peroxisome proliferator-activated receptor responsive element from the Acyl-CoA oxidase gene, indicating that retinoids and peroxisome proliferator receptors may share common target genes. These properties of PML-RAR alpha may contribute to the transformed phenotype of APL cells.

The Liberal Ethics of Non-Interference and the Pareto Principle

We analyse the liberal ethics of non-interference applied to social choice. A liberal principle capturing noninterfering views of society and inspired by John Stuart Mill s conception of liberty, is examined. The principle captures the idea that society should not penalise agents after changes in their situation that do not a¤ect others. An impossibility for liberal approaches is highlighted: every social decision rule that satis es unanimity and a general principle of noninterference must be dictatorial. This raises some important issues for liberal approaches in social choice and political philosophy.

Manipulating keratinocyte stem cell proliferation and differentiation using RNA interference

ABSTRACT : The epidermis, the outermost compartment of the skin, is a stratified and squamous epithelium that constantly self-renews. Keratinocytes, which represent the main epidermal population, are responsible for its cohesion and barrier function. Epidermal renewal necessitates a fine equilibrium between keratinocyte proliferation and differentiation. The keratinocyte stem cell, located in the basal cell layer, is responsible for epidermal homeostasis and regeneration during the wound healing process. The transcription factor p63 structurally belongs to the p53 superfamily. It is expressed in the basal and supra-basal cell layers of stratified epithelia and is thought to be important for the renewal or the differentiation of keratinocyte stem cells (Yang et al., 1999; Mills et al., 1999). In order to better understand its function, we established an in vitro model of p63 deficient human keratinocyte stem cells using a shp63 mediated RNA interference. Knockdown of endogenous p63 induces downregulation of cell-adhesion genes as previously described (Carroll et al., 2006). Interestingly, the replating of attached p63-knockdown keratinocytes on a feeder layer results in a loss of attachment and proliferation. They are no longer clonogenic. However, if the same population are replated in a fibrin matrix, extended fibrinolysis is reported, a common process in wound healing, suggesting that p63 regulates the fibrinolytic pathway. This result was confirmed by Q-PCR and shows that the urokinase pathway, which mediates fibrinolysis, is upregulated. Altogether, these findings suggest a mechanism in which the fine tuning of p63 expression promotes attachment or release of the keratinocyte stem cell from the basement membrane by inducing genes of adhesion and/or of fibrinolysis. This mechanism may be important for epidermal self-renewal, differentiation as well as wound healing. Its misregulation may be partly responsible for the p63 knockout phenotype. The downregulation of p63 also induces a decrease in LEKTI expression. LEKTI (lymphoepithelial Kazal-type serine protease inhibitor) is a serine protease inhibitor encoded by the Spink5 gene. It is expressed and secreted in the uppermost differentiated layers of stratified epithelia and plays a role in the desquamation process. When this gene is disrupted, humans develop the Netherton syndrome (Chavanas et al., 2000b). It is a dermatosis characterized by hair dysplasias, ichtyosiform erythroderma and impairment in epidermal barrier function promoting inflammation similarly as in psoriasis with inflammatory infiltrate in excess. TNFα (tumor necrosis factor alpha) and EDA1 (ectodysplasin A1) are two transmembraneprecursors that belong to the TNF superfamily, which is involved in immune and inflammation regulation (Smahi et al., 2002). We suggest that the secreted serine protease inhibitor LEKTI plays a role in the regulation of TNFα and EDA1 precursor cleavage and absence of LEKTI induces excess of inflammation. To investigate this hypothesis, we induced downregulation of Spink5 expression in rat keratinocyte stem cells by using a shSpink5 mediated RNA interference approach. Interestingly, expression of TNFα and EDA1 is modified after knockdown of Spink5 by Q-PCR. Moreover, downregulation of Spink5 induces loss of cohesiveness between keratinocytes and colonies adopt a scattered phenotype. Altogether, these preliminary data suggest that downregulation of LEKTI may play a role in the inflammatory response in Netherton syndrome patients, by regulating TNFα expression.

Morphological investigation of Toxoplasma gondii in vivo by a multiple beam interference microscope

A recently developed technique, namely multiple beam interference microscopy, has been applied to investigate the morphology of the parasite Toxoplasma gondii for the first time. The interference pattern obtained from the multiple internal reflection of a T. gondii, sandwiched between a glass plate and a cover plate, was focused on the objective of a conventional microscope. Because of the enhance contrast, several details of sub cellular structure and separating compartments are clearly visible. Details reveal the presence of a nucleus, lipid body, dense granule, rhoptry and amylopectin. The wall thickness of the membrane of the lipid body and the amylopectin is of the order of 0.02 µm and can be clearly distinguished with the help of the present technique. The same parasite has also been examined with the help of atomic force microscopy, and because of its thick membrane, the inner structural details were not observed at all. Sub cellular details of T. gondii observed with the present technique have been reported earlier only by low amplification transmission electron microscopy and not by any optical microscopic technique.

Age differences in the EEG N2 and P3 components during an interference task

The age-related increase in interference susceptibility has been well documented and largely attributed to a deficit in inhibition. In the present study, event-related potentials were used to investigate EEG correlates of inhibitory processing in an interference "Arrow" task. A specific interest was addressed to theN2 and P3 components that respectively refers to conflict monitoring and to efficiency of inhibition processes (Anguera et al,. 2011). Younger (N=10, Mage=24.6) and older (N=10, Mage=65.5) participants were invited to perform a task consisting in deciding, as fast and accurately as possible, whether an arrow presented on a computer screen points to the left or the right, irrespective of its position on the screen (left, middle or right). Responses were provided by key-presses using the left and right indexes. Three conditions were considered: congruent (arrow pointing to the same direction as that of the side of the screen on which it appears), incongruent (arrow pointing to the opposite direction), and neutral (arrow presented at the center of the screen). A total of 56 trials per conditions were performed. Behaviorally, the results showed that in the incongruent condition the percent of correct responses significantly decreased in both groups. After adjustment with simple RT (additional control task), the increased RTs obtained in the old group were significantly more pronounced in the incongruent condition. With respect to electrophysiological data, results showed that frontal site (Fz), the N2 amplitude was significantly larger for the younger as compared to the older (- 2.55 μV vs. -0.62 μV respectively) whatever the condition. At central site (Cz), the P3 amplitude significantly decreased in the older compared to the younger in the incongruent condition only. Our findings suggest that the increased RTs observed in older participants during the incongruent condition is more specifically linked to late cognitive resources involved in inhibiting prepotent response tendencies rather than associated with earlier stages of treatment dedicated to conflict monitoring.