Explanations and Proof Trees

This paper proposes a model for explanations in a set theoretical framework using the notions of closure or fixpoint. In this approach, sets of rules associated with monotonic operators allow to define proof trees. The proof trees may be considered as a declarative view of the trace of a computation. We claim they are explanations of the results of a computation. This notion of explanation is applied to constraint logic programming, and it is used for declarative error diagnosis. It is also applied to constraint programming, and used for constraint retraction

An operational formal definition of PROLOG

Résumé disponible dans les fichiers attaché

A methodological view of logic programming with negation

Résumé disponible dans les fichiers attaché

An operational formal definition of PROLOG (comprehensive version of RR 598)

Résumé disponible dans les fichiers attaché

900 nm Emission of a Nd:ASL Laser Pumped by an Extended-Cavity Tapered Laser Diode

PosterWe describe here the use of a 798-nm-stabilized high-brightness tapered laser diode to pump a Nd:ASL crystal for 900 nm laser operation. An output power of 150 mW is obtained

Diode pumping of Nd:ASL and its frequency doubling for blue emission around 450 nm

International audienceWe present the diode pumping of a Nd-doped strontium and lanthanum (Nd:ASL) crystal Sr1-xLax-yNdyMgxAl12-xO19 (0.05 ≤ x ≤ 0.5; y = 0.05) for second harmonic generation around 450 nm. In order to fulfill the pumping requirements of this crystal, we have developed a high-brightness pump source based on a tapered amplifier in an extended cavity with a volume Bragg grating for wavelength stabilization. A pump brightness of 110 MW.cm-2sr-1 has been obtained with a linewidth lower than 80 pm at 798 nm. This laser source has been used to pump a Nd:ASL crystal to obtain 300 mW at 906 nm and 53 mW at 453 nm by intracavity doubling with a LBO crystal

Repression of PLA2R1 by c-MYC and HIF-2alpha promotes cancer growth

Loss of secreted phospholipase A2 receptor (PLA2R1) has recently been found to render human primary cells more resistant to senescence whereas increased PLA2R1 expression is able to induce cell cycle arrest, cancer cell death or blockage of cancer cell transformation in vitro, suggesting that PLA2R1 displays tumor suppressive activities. Here we report that PLA2R1 expression strongly decreases in samples of human renal cell carcinoma (RCC). Knockdown of PLA2R1 increases renal cancer cell tumorigenicity supporting a role of PLA2R1 loss to promote in vivo RCC growth. Most RCC result from Von Hippel-Lindau (VHL) tumor suppressor loss-of-function and subsequent gain-of-function of the oncogenic HIF-2alpha/c-MYC pathway. Here, by genetically manipulating VHL, HIF-2alpha and c-MYC, we demonstrate that loss of VHL, stabilization of HIF-2alpha and subsequent increased c-MYC activity, binding and transcriptional repression, through induction of PLA2R1 DNA methylation closed to PLA2R1 transcriptional start site, results in decreased PLA2R1 transcription. Our results describe for the first time an oncogenic pathway leading to PLA2R1 transcriptional repression and the importance of this repression for tumor growth

De las catacumbas a los últimos confines: violencia, sentido y representación en los periplos del martirio

En este trabajo propongo un análisis transversal de las figuras del mártir y del martirio. Recurriendo a la noción de mediación, en la primera parte analizo el rol protagónico de las representaciones del martirio en las prácticas de la memoria durante la segunda mitad del siglo XVI. Analizo algunas de las condiciones que contribuyeron a la emergencia de una "cultura del martirio" y el rol de las mediaciones en tal surgimiento. En la segunda parte, estudio la forma en que el (re)descubrimiento de las catacumbas romanas, abrió un campo de producción de sentido en torno a la figura del martirio. En la tercera parte, centrándome en la Compañía de Jesús, analizo algunas mediaciones a través de las cuáles las figuras del martirio transgredieron las fronteras de iglesias y conventos para proyectarse a los últimos confines en un mundo en plena expansión.Neste artigo proponho uma análise transversal das figuras do mártir e do martírio. Usando a noção de mediação, na primeira parte eu tento analisar o papel de liderança de representações de martírio em práticas de memória durante a segunda metade do século XVI. Eu analiso algumas das condições que contribuíram para o surgimento de uma "cultura do martírio" e o papel da mediação nesta emergência. Na segunda parte, eu estudo como a (re) descoberta das catacumbas romanas abriu um campo de produção de significados em torno da figura do martírio. Na terceira parte, com foco na Companhia de Jesus, analiso algumas mediações pelas quais as representações do martírio transgrediram as fronteiras de igrejas e conventos para se projetar nas fronteiras de um mundo em plena expansão mundial.This paper proposes a cross-sectional analysis of martyr and martyrdom. Through the notion of mediation, in the first part I analyze the leading role of representations of martyrdom in memory practices during the second half of the sixteenth century. I analyze some of the conditions that contributed to the emergence of a "martyrdom's culture" and the role of mediation in such emergence. The second part studies how the (re)discovery of the Roman catacombs encouraged the production of meanings around the figure of martyrdom. In the third part, focusing on the Society of Jesus, I analyze a few instances of mediation through which the figures of martyrdom transgressed the boundaries of churches and convents to project themselves to the last frontiers of a world in full expansion.Fil: Salamanca Villamizar, Carlos Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin