Approche empirique des difficultés de compréhension en traduction, mises en évidence par la méthode d'observation du raisonnement á voix haute (Protocole Verbal - PV)

Fil: Daule, Gabriela. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Approche empirique des difficultés de compréhension en traduction, mises en évidence par la méthode d'observation du raisonnement á voix haute (Protocole Verbal - PV)

Fil: Daule, Gabriela. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

CLP Projection for Constraint Handling Rules

This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP). We show that the CLP projection provides a safe operational and declarative approximation for CHR programs. We demónstrate moreover that a confluent CHR program has a least model, which is precisely equal to the least model of its CLP projection (closing henee a ten year-old conjecture by Abdenader et al.). Finally, we illustrate how the notion of CLP projection can be used in practice to apply CLP analyzers to CHR. In particular, we show results from applying AProVE to prove termination, and CiaoPP to infer both complexity upper bounds and types for CHR programs.

Etude d'une méthode de recherche du mínimum dans une espace A N dimensions sans contrainte + quelques considerations sur deux méthodes de minimisation le long d'une direction dans l'espace

Les méthodes d'optimisation statiques(c'est-a-dire des systemes dont les parametres n'.évoluent pas avec le temps) peuvent se diviser en deux grandes classes : les méthodes directes et les méthodes indirectes. Les premieres ocalisent le vecteur optimum par des mouvements tratégiques dans l'espace correspondant. Elles nécessitent la connaissance de la valeur de la fonction critere a chaque point, mais non la forme algébrique, ni ses dérivées.

Sur une méthode algorithmique de synthése d'une machine séquentielle

Dans le problème de la synthèse d'une machine séquentielle, on peut, grosso modo, distinguer trois étapes : le passage des données du système à construire à la représentation tabulée (table de fluence ou table des phases, dans le cas d'un système asynchrone);le codage des états internes de cette table (de façon,dans le cas d'une machine synchrone, à obtenir si possible une décomposition en sous-machines, et,dans le cas d'une machine asynchrone, de façon à éviter les phénomènes de courses et d'aléas); enfin,l'écriture des équations et le dessin du schéma logique de la machine (en essayant par exemple de minimaliser le nombre de composants nécessaires à la. réalisation du circuit).

Evolution of extreme temperature events in short term climate projection for Iberian Peninsula

Extreme events of maximum and minimum temperatures are a main hazard for agricultural production in Iberian Peninsula. For this purpose, in this study we analyze projections of their evolution that could be valid for the next decade, represented in this study by the 30-year period 2004-2034 (target period). For this purpose two kinds of data were used in this study: 1) observations from the station network of AEMET (Spanish National Meteorological Agency) for five Spanish locations, and 2) simulated data at a resolution of 50 50 km horizontal grid derived from the outputs of twelve Regional Climate Models (RCMs) taken from project ENSEMBLES (van der Linden and Mitchell, 2009), with a bias correction (Dosio and Paruolo, 2011; Dosio et al., 2012) regarding the observational dataset Spain02 (Herrera et al., 2012). To validate the simulated climate, the available period of observations was compared to a baseline period (1964-1994) of simulated climate for all locations. Then, to analyze the changes for the present/very next future, probability of extreme temperature events for 2004-2034 were compared to that of the baseline period. Although only minor changes are expected, small variations in variability may have a significant impact in crop performance.

The Chlamydomonas PF6 Locus Encodes a Large Alanine/Proline-Rich Polypeptide That Is Required for Assembly of a Central Pair Projection and Regulates Flagellar Motility

Efficient motility of the eukaryotic flagellum requires precise temporal and spatial control of its constituent dynein motors. The central pair and its associated structures have been implicated as important members of a signal transduction cascade that ultimately regulates dynein arm activity. To identify central pair components involved in this process, we characterized a Chlamydomonas motility mutant (pf6-2) obtained by insertional mutagenesis. pf6-2 flagella twitch ineffectively and lack the 1a projection on the C1 microtubule of the central pair. Transformation with constructs containing a full-length, wild-type copy of the PF6 gene rescues the functional, structural, and biochemical defects associated with the pf6 mutation. Sequence analysis indicates that the PF6 gene encodes a large polypeptide that contains numerous alanine-rich, proline-rich, and basic domains and has limited homology to an expressed sequence tag derived from a human testis cDNA library. Biochemical analysis of an epitope-tagged PF6 construct demonstrates that the PF6 polypeptide is an axonemal component that cosediments at 12.6S with several other polypeptides. The PF6 protein appears to be an essential component required for assembly of some of these polypeptides into the C1-1a projection.

Regulation of topographic projection in the brain: Elf-1 in the hippocamposeptal system.

The hippocampus and septum play central roles in one of the most important spheres of brain function: learning and memory. Although their topographic connections have been known for two decades and topography may be critical for cognitive functions, the basis for hippocamposeptal topographic projection is unknown. We now report for the first time that Elf-1, a membrane-bound eph family ligand, is a candidate molecular tag for the genesis of the hippocamposeptal topographic projection. Elf-1 is expressed in an increasing gradient from dorsal to ventral septum. Furthermore, Elf-1 selectively allows growth of neurites from topographically appropriate lateral hippocampal neurons, while inhibiting neurite outgrowth by medial hippocampal neurons. Complementary to the expression of Elf-1, an eph family receptor, Bsk, is expressed in the hippocampus in a lateral to medial gradient, consistent with a function as a receptor for Elf-1. Further, Elf-1 specifically bound Bsk, eliciting tyrosine kinase activity. We conclude that the Elf-1/Bsk ligand-receptor pair exhibits traits of a chemoaffinity system for the organization of hippocamposeptal topographic projections.

Projection structure of frog rhodopsin in two crystal forms.

Rhodopsin is the G protein-coupled receptor that upon light activation triggers the visual transduction cascade. Rod cell outer segment disc membranes were isolated from dark-adapted frog retinas and were extracted with Tween detergents to obtain two-dimensional rhodopsin crystals for electron crystallography. When Tween 80 was used, tubular structures with a p2 lattice (a = 32 A, b = 83 A, gamma = 91 degrees) were formed. The use of a Tween 80/Tween 20 mixture favored the formation of larger p22(1)2(1) lattices (a = 40 A, b = 146 A, gamma = 90 degrees). Micrographs from frozen hydrated frog rhodopsin crystals were processed, and projection structures to 7-A resolution for the p22(1)2(1) form and to 6-A resolution for the p2 form were calculated. The maps of frog rhodopsin in both crystal forms are very similar to the 9-A map obtained previously for bovine rhodopsin and show that the arrangement of the helices is the same. In a tentative topographic model, helices 4, 6, and 7 are nearly perpendicular to the plane of the membrane. In the higher-resolution projection maps of frog rhodopsin, helix 5 looks more tilted than it appeared previously. The quality of the two frog rhodopsin crystals suggests that they would be suitable to obtain a three-dimensional structure in which all helices would be resolved.

Layer-specific programs of development in neocortical projection neurons.

How are long-range axonal projections from the cerebral cortex orchestrated during development? By using both passively and actively transported axonal tracers in fetal and postnatal ferrets, we have analyzed the development of projections from the cortex to a number of thalamic nuclei. We report that the projections of a cortical area to its corresponding thalamic nuclei follow highly cell-specific programs of development. Axons from cells in the deepest layers of the cerebral cortex (layer 6 and superficial subplate neurons) appear to grow very slowly and be delayed for several weeks in the cerebral white matter, reaching the thalamus over a protracted period. Neurons of layer 5, on the other hand, develop their projections much faster; despite being born after the neurons of deeper layers, layer 5 neurons are the first to extend their axons out of the cortical hemisphere and innervate the thalamus. Layer 5 projections are massive in the first postnatal weeks but may become partly eliminated later in development, being overtaken in number by layer 6 cells that constitute the major corticothalamic projection by adulthood. Layer 5 projections are area-specific from the outset and arise as collateral branches of axons directed to the brainstem and spinal cord. Our findings show that the early development of corticofugal connections is determined not by the sequence of cortical neurogenesis but by developmental programs specific for each type of projection neuron. In addition, they demonstrate that in most thalamic nuclei, layer 5 neurons (and not subplate or layer 6 neurons) establish the first descending projections from the cerebral cortex.

A note on the real projection of the zeros of partial sums of Riemann zeta function

This paper proves that the real projection of each simple zero of any partial sum of the Riemann zeta function ζn(s):=∑nk=11ks,n>2 , is an accumulation point of the set {Res : ζ n (s) = 0}.

Méthode Fanjul: dosage pondéral des bétons légers et lourds

La détermination directe des caractéristiques de cisaillement des bétons par des essais universels est un problème qui reste encore une préoccupation majeure des chercheurs. La plupart des études disponibles consistent à appliquer un couple de torsion à un cylindre creux ayant un rapport épaisseur/rayon le plus faible possible. Ceci pour pouvoir élaborer un critère lié au comportement du matériau et non de la structure (Fourd et al. 1982). Cependant, ces essais peuvent présenter des dispersions liées aux problèmes de fragilité à la rupture ou de non homogénéité du matériau au sein de la paroi (Gotuwka et al. 1999). Pour cela, un dispositif expérimental original a été utilisé et qui consiste en la création de deux zones de contrainte nulle par l’emplacement de corps déformables au moment du coulage de l’éprouvette. De nouvelles conditions aux frontières sont créées permettant de transformer la sollicitation de compression en cisaillement plan sur une zone bien déterminée. L’utilisation de cette technique permet la détermination de l’influence de l’inclinaison du plan de rupture sur le comportement du béton en cisaillement. Le dispositif permet d’assurer la perpendicularité NOvEMBRE 2012 5 des génératrices du cylindre ainsi que la répartition et l’homogénéité des contraintes.