Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

An integrated transcriptomics and proteomics analysis of the secretome of the helminth pathogen Fasciola hepatica: Proteins associated with invasion and infection of the mammalian host

To infect their mammalian hosts, Fasciola hepatica larvae must penetrate and traverse the intestinal wall of the duodenum, move through the peritoneum, and penetrate the liver. After migrating through and feeding on the liver, causing extensive tissue damage, the parasites move to their final niche in the bile ducts where they mature and produce eggs. Here we integrated a transcriptomics and proteomics approach to profile Fasciola secretory proteins that are involved in host-pathogen interactions and to correlate changes in their expression with the migration of the parasite. Prediction of F. hepatica secretory proteins from 14,031 expressed sequence tags (ESTs) available from the Wellcome Trust Sanger Centre using the semiautomated EST2Secretome pipeline showed that the major components of adult parasite secretions are proteolytic enzymes including cathepsin L, cathepsin B, and asparaginyl endopeptidase cysteine proteases as well as novel trypsin-like serine proteases and carboxypeptidases. Proteomics analysis of proteins secreted by infective larvae, immature flukes, and adult F. hepatica showed that these proteases are developmentally regulated and correlate with the passage of the parasite through host tissues and its encounters with different host macromolecules. Proteases such as FhCL3 and cathepsin B have specific functions in larvae activation and intestinal wall penetration, whereas FhCL1, FhCL2, and FhCL5 are required for liver penetration and tissue and blood feeding. Besides proteases, the parasites secrete an array of antioxidants that are also highly regulated according to their migration through host tissues. However, whereas the proteases of F. hepatica are secreted into the parasite gut via a classical endoplasmic reticulum/Golgi pathway, we speculate that the antioxidants, which all lack a signal sequence, are released via a non-classical trans-tegumental pathway.

Structure-Phenotype Correlations of Human CYP21A2 Mutations in Congenital Adrenal Hyperplasia

Congenital Adrenal Hyperplasia (CAH) is a family of autosomal recessive disorders involving impaired synthesis of cortisol from cholesterol by adrenal cortex. The predominant causes of the disorder are mutations in the CYP21A2 gene that encodes a Cytochrome P450 21-hydroxylase enzyme, which is central to steroidogenesis. The severity of the disease depends upon the extent of impaired enzymatic activity and can be classified under severe Classical form or the mild Non-Classical form, Molecular characterisation of CYP21A2 mutations can be used to predict clinical phenotype and disease severity based upon changes it brings in 21-hydroxylase enzyme structure. A humanized model of CYP21A2 has been used to map and investigate the structural role of all known disease-causing mutations. A structural explanation of clinical manifestation allows us to put forward criteria that might allow the prediction of clinical severity of the disease.

Optomechanical interface for probing matter-wave coherence

We combine matter-wave interferometry and cavity optomechanics to propose a coherent matter-light interface based on mechanical motion at the quantum level. We demonstrate a mechanism that is able to transfer non-classical features imprinted on the state of a matter-wave system to an optomechanical device, transducing them into distinctive interference fringes. This provides a reliable tool for the inference of quantum coherence in the particle beam. Moreover, we discuss how our system allows for intriguing perspectives, paving the way to the construction of a device for the encoding of quantum information in matter-wave systems. Our proposal, which highlights previously unforeseen possibilities for the synergistic exploitation of these two experimental platforms, is explicitly based on existing technology, available and widely used in current cutting-edge experiments.

Hybrid optomechanics for Quantum Technologies

We review the physics of hybrid optomechanical systems consisting of a mechanical oscillator interacting with both a radiation mode and an additional matterlike system. We concentrate on the cases embodied by either a single or a multi-atom system (a Bose-Einstein condensate, in particular) and discuss a wide range of physical effects, from passive mechanical cooling to the set-up of multipartite entanglement, from optomechanical nonlocality to the achievement of non-classical states of a single mechanical mode. The reviewed material showcases the viability of hybridised cavity optomechanical systems as basic building blocks for quantum communication networks and quantum state-engineering devices, possibly empowered by the use of quantum and optimal control techniques. The results that we discuss are instrumental to the promotion of hybrid optomechanical devices as promising experimental platforms for the study of nonclassicality at the genuine mesoscopic level.

Single- and two-mode quantumness at a beam splitter

In the context of bipartite bosonic systems, two notions of classicality of correlations can be defined: P-classicality, based on the properties of the Glauber-Sudarshan P-function; and C-classicality, based on the entropic quantum discord. It has been shown that these two notions are maximally inequivalent in a static (metric) sense -- as they coincide only on a set of states of zero measure. We extend and reinforce quantitatively this inequivalence by addressing the dynamical relation between these types of non-classicality in a paradigmatic quantum-optical setting: the linear mixing at a beam splitter of a single-mode Gaussian state with a thermal reference state. Specifically, we show that almost all P-classical input states generate outputs that are not C-classical. Indeed, for the case of zero thermal reference photons, the more P-classical resources at the input the less C-classicality at the output. In addition, we show that the P-classicality at the input -- as quantified by the non-classical depth -- does instead determine quantitatively the potential of generating output entanglement. This endows the non-classical depth with a new operational interpretation: it gives the maximum number of thermal reference photons that can be mixed at a beam splitter without destroying the output entanglement.

Obras para voz e piano de Frederico de Freitas: a vocalidade entre fado e canção

Durante a sua vida Frederico de Freitas abordou praticamente todos os géneros musicais, demonstrando uma imensa e notória versatilidade tanto na música erudita como na não erudita. O repertório para canto e piano representa uma parte substancial da sua obra vocal e, apesar de menos divulgado, não pode deixar de se considerar de grande importância. É precisamente neste género que mais se evidencia a versatilidade do seu estilo composicional. Este repertório abrange, assim, os géneros erudito e ligeiro, ou popular, pelo que as suas canções refletem a facilidade com que se movia de um meio para outro. Enquanto investigador, os estudos que realizou sobre música medieval portuguesa, o número elevadíssimo de recolhas de melodias tradicionais portuguesas que fez ao longo da vida e as investigações que realizou sobre o fado deram origem, paralelamente à composição de canções eruditas, a harmonizações de melodias medievais, a arranjos de temas na música tradicional e à composição de fados. Do ponto de vista interpretativo, a diversidade de estilos presentes nas canções de Frederico de Freitas exige do cantor lírico uma versatilidade e capacidade de se adaptar, ainda que mantendo a matiz da sua formação erudita, ao estilo próprio de cada canção. Com vista a uma interpretação estilística e vocalmente adequada, e por representarem um universo tão diferenciado, esta tese de doutoramento centra a sua atenção na problemática da vocalidade das suas canções.

Describing vocal performance of Portuguese cantadeiras of Alto Minho

Portugal has strong musical traditions, which have been perpetrated by decades through folkloristic activities. In folk groups from Alto Minho (north of Portugal), folk singing is mostly performed by cantadeiras, amateur female solo singers who learn this style orally. Their vocal characteristics are distinctive when compared with other regions of the country; however, deep understanding of these vocal practices is still missing. The present work aims at studying Alto Minho cantadeira’s vocal performance in a multidimensional perspective, envisioning social, cultural and physiological understanding of this musical style. Thus, qualitative and quantitative data analyses were carried out, to: (i) describe current performance practices, (ii) explore existent perceptions about most relevant voice features in this region, (iii) investigate physiological and acoustic properties of this style, and (iv) compare this style of singing with other non-classical singing styles of other countries. Dataset gathered involved: 78 groups whose members were telephone interviewed, 13 directors who were asked to fill in a questionnaire on performance practices, 1 cantadeira in a pilot study, 16 cantadeiras in preliminary voice recordings, 77 folk group members in listening tests, and 10 cantadeiras in multichannel recordings, including audio, ELG, air flow and intra-oral pressure signals. Data were analysed through thematic content analysis, descriptive and inferential statistics, hierarchical principal components, and multivariate linear regression models. Most representative voices have a high pitched and loud voice, with a bright timbre, predominance of chest register without excessive effort, and good text intelligibility with regional accent. High representativeness levels were obtained by few cantadeiras; these sing with high levels of subglottal pressure and vocal fold contact quotient, predominance of high spectrum energy and vocal loudness, corroborating indications of prevalence of pressed phonation. These vocal characteristics resemble belting in musical theatre and share similarities with country (USA) and ojikanje (Croatia) singing. Strategies that may contribute to the preservation of this type of singing and the vocal health of current cantadeiras are discussed, pointing at the direction of continuous education among folk groups, following practices that are already adopted elsewhere in Europe.

Multi-scale keypoints in V1 and face detection

End-stopped cells in cortical area V1, which combine out- puts of complex cells tuned to different orientations, serve to detect line and edge crossings (junctions) and points with a large curvature. In this paper we study the importance of the multi-scale keypoint representa- tion, i.e. retinotopic keypoint maps which are tuned to different spatial frequencies (scale or Level-of-Detail). We show that this representation provides important information for Focus-of-Attention (FoA) and object detection. In particular, we show that hierarchically-structured saliency maps for FoA can be obtained, and that combinations over scales in conjunction with spatial symmetries can lead to face detection through grouping operators that deal with keypoints at the eyes, nose and mouth, especially when non-classical receptive field inhibition is employed. Al- though a face detector can be based on feedforward and feedback loops within area V1, such an operator must be embedded into dorsal and ventral data streams to and from higher areas for obtaining translation-, rotation- and scale-invariant face (object) detection.

Multi-scale cortical keypoint representation for attention and object detection

Keypoints (junctions) provide important information for focus-of-attention (FoA) and object categorization/recognition. In this paper we analyze the multi-scale keypoint representation, obtained by applying a linear and quasi-continuous scaling to an optimized model of cortical end-stopped cells, in order to study its importance and possibilities for developing a visual, cortical architecture.We show that keypoints, especially those which are stable over larger scale intervals, can provide a hierarchically structured saliency map for FoA and object recognition. In addition, the application of non-classical receptive field inhibition to keypoint detection allows to distinguish contour keypoints from texture (surface) keypoints.

Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Half-sandwich silane complexes of ruthenium and iron : synthesis, structure and application to catalysis

The present thesis describes syntheses, structural studies, and catalytic reactivity of new non-classical silane complexes of ruthenium and iron. The ruthenium complexes CpRu(PPri3)CI(T]2-HSiR3) (1) (SiR3 = SiCh (a), SiClzMe (b), SiCIMe2 (c), SiH2Ph (d), SiMe2Ph (e» were prepared by reactions of the new unsaturated complex CpRu(PPri3)CI with silanes. According to NMR studies and X-ray analyses, the complexes la-c exhibit unusual simultaneous Si··· H and Si··· CI-Ru interactions. The complex CpRu(PPri3)CI was also used for the preparation of the first examples of late transition metal agostic silylamido complexes CpRu(PPri3)(N(T]2-HSiMe2)R) (2) (R= Ar or But), which were characterized by NMR spectroscopy. The iron complexes CpFe(PMePri2)H2(SiR3) (3) (SiR3 = SiCh (a), SiClzMe (b), SiCIMe2 (c), SiH2Ph (d), SiMe2Ph (e» were synthesized by the reaction of the new borohydride iron complex CpFe(PMePri2)(B~) with silanes in the presence NEt3. The complexes 3 exhibit unprecedented two simultaneous and equivalent Si··· H interactions, which was confirmed by X-ray analyses and DFT calculations. A series of cationic ruthenium complexes [CpRu(PR3)(CH3CN)(112-HSiR'3)]BAF (PR3 = PPri 3 (4), PPh3 (5); SiR'3 = SiCh (a), SiClzMe (b), SiClMe2 (c), SiH2Ph (d), SiMe2Ph (e» was obtained by substitution of one of the labile acetonitrile ligands in [CpRu(PR3)(CH3CNh]BAF with sHanes. Analogous complexes [TpRu(PR3)(CH3CN)(T]2 -HSiR' 3)]BAF (5) were obtained by the reaction of TpRu(PR3)(CH3CN)CI with LiBAF in the presence of silanes. The complexes 4-5 were characterized by NMR spectroscopy, and the observed coupling constants J(Si-H) allowed us to estimate the extent of Si-H bond activation in these compounds. The catalytic activity in hydrosilylation reactions of all of the above complexes was examined. The most promising results were achieved with the cationic ruthenium precatalyst [CpRu(PPri3)(CH3CN)2t (6). Complex 6 shows good to excellent catalytic activity in the hydrosilylation of carbonyls, dehydrogenative coupling of silanes with alcohols, amines, acids, and reduction of acid chlorides. We also discovered very selective reduction of nitriles and pyridines into the corresponding N-silyl imines and l,4-dihydropyridines, respectively, at room temperature with the possibility of catalyst recycling. These chemoselective catalytic methods have no analogues in the literature. The reactions were proposed to proceed via an ionic mechanism with intermediate formation of the silane a-complexes 4.

A mechanism for co-transcriptional recruitment of mRNA localization factor on nascent mRNAs in budding yeast

Le transport et la localisation des ARN messagers permettent de réguler l’expression spatiale et temporelle de facteurs spécifiques impliqués dans la détermination du destin cellulaire, la plasticité synaptique, la polarité cellulaire et la division asymétrique des cellules. Chez S.cerevisiæ, plus de trente transcrits sont transportés activement vers le bourgeon cellulaire. Parmi ces transcrits, l’ARNm ASH1 (asymetric synthesis of HO) est localisé à l’extrémité du bourgeon pendant l’anaphase. Ce processus va entrainer une localisation asymétrique de la protéine Ash1p, qui sera importée uniquement dans le noyau de la cellule fille, où elle entraine le changement de type sexuel. La localisation asymétrique de l’ARNm ASH1, et donc de Ash1p, implique la présence de différents facteurs de localisation. Parmi ces facteurs, les protéines She (She1p/Myo4p, She2p et She3p) et les répresseurs traductionnels (Puf6p, Loc1p et Khd1p) participent à ce mécanisme. La protéine navette She2p est capable de lier l’ARNm ASH1 et va entrainer le ciblage de cet ARNm vers l’extrémité du bourgeon en recrutant le complexe She3p-Myo4p. Des répresseurs traductionnels régulent la traduction de cet ARNm et évitent l’expression ectopique de la protéine Ash1p pendant son transport. Alors que la fonction cytoplasmique de She2p sur la localisation des ARNm est connue, sa fonction nucléaire est encore inconnue. Nous avons montré que She2p contient une séquence de localisation nucléaire non classique qui est essentielle à son import nucléaire médié par l’importine α (Srp1p). L’exclusion de She2p du noyau par mutation de son NLS empêche la liaison de Loc1p et Puf6p sur l’ARNm ASH1, entrainant un défaut de localisation de l’ARNm et de la protéine. Pour étudier plus en détail l’assemblage de la machinerie de localisation des ARNm dans le noyau, nous avons utilisé des techniques d’immunoprécipitation de chromatine afin de suivre le recrutement des facteurs de localisation et des répresseurs traductionnels sur les ARNm naissants. Nous avons montré que She2p est recruté sur le gène ASH1 pendant sa transcription, via son interaction avec l’ARNm ASH1 naissant. Puf6p est également recruté sur ASH1, mais d’une manière dépendante de la présence de She2p. De façon intéressante, nous avons détecté une interaction entre She2p et la plus grande sous-unité de l’ARN polymérase II (Rpb1p). Cette interaction est détectée avec la forme active en élongation de l’ARN polymérase II. Nous avons également démontré que She2p interagit avec le complexe d’élongation de la transcription Spt4p/Spt5p. Une délétion de SPT4 ou une mutation dans SPT5 (Ts spt5) à température restrictive empêche l’interaction entre She2p et Rpb1p, et diminue le recrutement de She2p au gène ASH1, entrainant un défaut de localisation de l’ARNm et un défaut de localisation asymétrique de la protéine Ash1p. De manière globale, nos résultats montrent que les facteurs impliqués dans la localisation cytoplasmique des ARNm et dans leur contrôle traductionnel sont recrutés de façon co-transcriptionnelle sur les ARNm naissants via leur interaction avec la machinerie de transcription, suggèrant un rôle important de la machinerie transcriptionelle dans la localisation des ARNm.

La logique et les logiques : la question du pluralisme

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique.

L'expression de la protéine de l'hémochromatose HFE est modulée par les lymphocytes T activés et inhibe la présentation antigénique par MHC I

La présentation antigénique par le complexe majeur d’histocompatibilité (MHC) I est un processus ubiquitaire permettant la présentation de protéines endogènes qui reflètent l'état de la cellule à la surface cellulaire aux lymphocytes T CD8+ dans le contexte de la surveillance et la réponse immunitaires. Ainsi, l'expression des molécules du MHC I classiques est induite en réponse aux stimuli inflammatoires afin de favoriser la reconnaissance immunitaire et l'élimination des pathogènes. HFE est une molécule du MHC Ib non-classique qui sert de régulateur négatif de l'absorption du fer. HFE est associé au développement de l'hémochromatose héréditaire (HH), maladie associée au métabolisme du fer mais souvent accompagnée de défauts immunitaires. Ainsi, nous avons en premier lieu étudié l'impact de HFE sur la présentation antigénique par MHC I, afin d'expliquer en partie les défauts immunitaires liés à l'HH associée à HFEC282Y. Puis, compte tenu de l'impact de l'inflammation sur l'expression des molécules du MHC I classiques, nous avons étudié la régulation de l'expression de HFE en réponse aux stimuli inflammatoires induits par les cellules du sang périphérique mononucléées (PBMC). Nous avons mis au point un système d’expression antigénique dans lequel nous contrôlons l’expression de MHC I, de HFE et d’un antigène pour lequel nous avons généré des lymphocytes T CD8+ spécifiques. Nos résultats démontrent que la forme sauvage de HFE (HFEWT), contrairement à sa forme mutée (HFEC282Y), inhibe la reconnaissance de complexes MHC I/peptide (pMHC). Nous avons également démontré que l'inhibition de la reconnaissance est maintenue, indépendamment des niveaux d'expression de MHC I à la surface, d'une compétition pour la β2-microglobuline, de la capacité de HFE d'interagir avec le récepteur de la transferrine, de l'origine de l'antigène ou de l'affinité de celui-ci. Par ailleurs, nous avons identifié les domaines α1-2 de HFEWT comme étant responsables de l'inhibition de la reconnaissance antigénique. Par contre, la reconnaissance de peptides chargés de manière externe sur les molécules du MHC I présentes à la surface n'a démontré aucune inhibition en présence de HFEWT, suggérant que HFEWT pourrait affecter la reconnaissance en interférant avec le processus d'apprêtement antigénique intracellulaire. À l’inverse, nous avons souhaité déterminer si les lymphocytes T activés pouvaient influencer les niveaux d'expression de HFE. En termes de régulation de l'expression de HFE, nous avons établi que HFE est exprimé dans les tissus sains chez l'humain et induit chez les lignées de cancers du colon, du sein, du poumon, du rein et du mélanome. Par ailleurs, en co-cultivant des lymphocytes T activés avec ces lignées tumorales, nous avons démontré que l'expression de HFE est fortement inhibée dans toutes ces lignées tumorales lorsqu'exposées à des lymphocytes T activés. Finalement, la modulation de l'expression de HFE est indépendante du contact cellulaire et semble médiée en partie par le GM-CSF, l'IFN-γ et le TNF. En somme, ces résultats suggèrent que les lymphocytes T de l'hôte modulent l'expression de HFE dans le microenvironnement inflammatoire, ce qui pourrait promouvoir la reconnaissance des antigènes présentés sur les molécules du MHC I présentées aux lymphocytes T CD8+ antigène-spécifiques. De plus, ces études soulèvent la possibilité d'un nouveau rôle physiologique de HFEWT dans la voie de présentation antigénique par MHC I, qui pourrait moduler l'immunogénicité des antigènes et la réponse immunitaire cellulaire chez l'hôte.