A language for multiplicative-additive linear logic

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations.Comment: 16 pages without appendices, 30 with appendice

\Sigma\Pi-polycategories, additive linear logic, and process semantics

We present a process semantics for the purely additive fragment of linear logic in which formulas denote protocols and (equivalence classes of) proofs denote multi-channel concurrent processes. The polycategorical model induced by this process semantics is shown to be equivalent to the free polycategory based on the syntax (i.e., it is full and faithfully complete). This establishes that the additive fragment of linear logic provides a semantics of concurrent processes. Another property of this semantics is that it gives a canonical representation of proofs in additive linear logic. This arXived version omits Section 1.7.1: "Circuit diagrams for polycategories" as the Xy-pic diagrams would not compile due to lack of memory. For a complete version see "http://www.cpsc.ucalgary.ca/~pastroc/".Comment: 175 pages, University of Calgary Master's thesi

The Trypanosoma cruzi nucleic acid binding protein Tc38 presents changes in the intramitochondrial distribution during the cell cycle

Background: Tc38 of Trypanosoma cruzi has been isolated as a single stranded DNA binding protein with high specificity for the poly [dT-dG] sequence. It is present only in Kinetoplastidae protozoa and its sequence lacks homology to known functional domains. Tc38 orthologues present in Trypanosoma brucei and Leishmania were proposed to participate in quite different cellular processes. To further understand the function of this protein in Trypanosoma cruzi, we examined its in vitro binding to biologically relevant [dT-dG] enriched sequences, its expression and subcellular localization during the cell cycle and through the parasite life stages.Results: By using specific antibodies, we found that Tc38 protein from epimastigote extracts participates in complexes with the poly [dT-dG] probe as well as with the universal minicircle sequence (UMS), a related repeated sequence found in maxicircle DNA, and the telomeric repeat. However, we found that Tc38 predominantly localizes into the mitochondrion. Though Tc38 is constitutively expressed through non-replicating and replicating life stages of T. cruzi, its subcellular localization in the unique parasite mitochondrion changes according to the cell cycle stage. in epimastigotes, Tc38 is found only in association with kDNA in G1 phase. From the S to G2 phase the protein localizes in two defined and connected spots flanking the kDNA. These spots disappear in late G2 turning into a diffuse dotted signal which extends beyond the kinetoplast. This later pattern is more evident in mitosis and cytokinesis. Finally, late in cytokinesis Tc38 reacquires its association with the kinetoplast. in non-replicating parasite stages such as trypomastigotes, the protein is found only surrounding the entire kinetoplast structure.Conclusions: the dynamics of Tc38 subcellular localization observed during the cell cycle and life stages support a major role for Tc38 related to kDNA replication and maintenance.FIRCAFondo Clemente Estable (DICyT)FAPESConselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)PROSULPEDECIBAAMSUD-PasteurFac Ciencias, Lab Interacc Mol, Montevideo, UruguayFac Med, Dept Genet, Montevideo, UruguayFac Ciencias, Dept Biol Celular & Mol, Montevideo, UruguayInst Invest Biol Clemente Estable Montevideo Urug, Dept Neurobiol Celular & Mol, Montevideo, UruguayUniv Nacl Gen San Martin, CONICET, INTECH, Inst Invest Biotecnol, Buenos Aires, DF, ArgentinaUniversidade Federal de São Paulo, Dept Microbiol Imunol & Parasitol, São Paulo, BrazilSUNY Buffalo, Dept Microbiol & Immunol, Buffalo, NY 14260 USAInst Biol Mol Parana, Curitiba, Parana, BrazilUniversidade Federal de São Paulo, Dept Microbiol Imunol & Parasitol, São Paulo, BrazilFIRCA: R03 TW05665-01Fondo Clemente Estable (DICyT): 7109Web of Scienc

The impact of Stieltjes' work on continued fractions and orthogonal polynomials

Stieltjes' work on continued fractions and the orthogonal polynomials related to continued fraction expansions is summarized and an attempt is made to describe the influence of Stieltjes' ideas and work in research done after his death, with an emphasis on the theory of orthogonal polynomials

Extent, intensity and drivers of mammal defaunation:a continental-scale analysis across the Neotropics

Neotropical mammal diversity is currently threatened by several chronic human-induced pressures. We compiled 1,029 contemporary mammal assemblages surveyed across the Neotropics to quantify the continental-scale extent and intensity of defaunation and understand their determinants based on environmental covariates. We calculated a local defaunation index for all assemblages—adjusted by a false-absence ratio—which was examined using structural equation models. We propose a hunting index based on socioenvironmental co-variables that either intensify or inhibit hunting, which we used as an additional predictor of defaunation. Mammal defaunation intensity across the Neotropics on average erased 56.5% of the local source fauna, with ungulates comprising the most ubiquitous losses. The extent of defaunation is widespread, but more incipient in hitherto relatively intact major biomes that are rapidly succumbing to encroaching deforestation frontiers. Assemblage-wide mammal body mass distribution was greatly reduced from a historical 95th-percentile of ~ 14 kg to only ~ 4 kg in modern assemblages. Defaunation and depletion of large-bodied species were primarily driven by hunting pressure and remaining habitat area. Our findings can inform guidelines to design transnational conservation policies to safeguard native vertebrates, and ensure that the “empty ecosystem” syndrome will be deterred from reaching much of the New World tropics