The Power of Non-Determinism in Higher-Order Implicit Complexity

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.Comment: pre-edition version of a paper accepted for publication at ESOP'1

PROTEINS SECRETED BY THE TRYPANOSOMA CRUZI ARE RELATED TO ARRHYTHMOGENESIS IN CHAGAS DISEASE

En esta tercera edición continuamos el análisis del Impuesto Adicional aplicable a los retiros efectivos sin establecimiento permanente que una persona sin domicilio o residencia en nuestro país efectúa desde una empresa chilena. Con este fin particular, recurrimos al enfoque metodológico relativo a las Modalidades del Impuesto, para reconocer y establecer el devengo y aplicación del Impuesto Adicional. Asimismo, el análisis contempla la aplicación del sistema de retención del Impuesto, cuyo deber de cumplimiento recae en el denominado agente retenedor. Para el análisis de la tributación de dichos retiros con fines metodológicos utilizamos un FUT Nocional, a tener presente al momento del retiro y cálculo de la retención, y un FUT Definitivo, a tener presente al término del ejercicio. También se introducen consideraciones a las partidas que deben considerarse retiradas de acuerdo a las normas de control del Art. 21 de la L.I.R. Para el desarrollo de las materias anotadas, se realiza una aplicación práctica del Impuesto Adicional sobre los retiros comentados

Revealing natural relationships among arbuscular mycorrhizal fungi: culture line BEG47 represents Diversispora epigaea, not Glomus versiforme

Background: Understanding the mechanisms underlying biological phenomena, such as evolutionarily conservative trait inheritance, is predicated on knowledge of the natural relationships among organisms. However, despite their enormous ecological significance, many of the ubiquitous soil inhabiting and plant symbiotic arbuscular mycorrhizal fungi (AMF, phylum Glomeromycota) are incorrectly classified. Methodology/Principal Findings: Here, we focused on a frequently used model AMF registered as culture BEG47. This fungus is a descendent of the ex-type culture-lineage of Glomus epigaeum, which in 1983 was synonymised with Glomus versiforme. It has since then been used as ‘G. versiforme BEG47’. We show by morphological comparisons, based on type material, collected 1860–61, of G. versiforme and on type material and living ex-type cultures of G. epigaeum, that these two AMF species cannot be conspecific, and by molecular phylogenetics that BEG47 is a member of the genus Diversispora. Conclusions: This study highlights that experimental works published during the last >25 years on an AMF named ‘G. versiforme’ or ‘BEG47’ refer to D. epigaea, a species that is actually evolutionarily separated by hundreds of millions of years from all members of the genera in the Glomerales and thus from most other commonly used AMF ‘laboratory strains’. Detailed redescriptions substantiate the renaming of G. epigaeum (BEG47) as D. epigaea, positioning it systematically in the order Diversisporales, thus enabling an evolutionary understanding of genetical, physiological, and ecological traits, relative to those of other AMF. Diversispora epigaea is widely cultured as a laboratory strain of AMF, whereas G. versiforme appears not to have been cultured nor found in the field since its original description

Considering Intra-individual Genetic Heterogeneity to Understand Biodiversity

In this chapter, I am concerned with the concept of Intra-individual Genetic Hetereogeneity (IGH) and its potential influence on biodiversity estimates. Definitions of biological individuality are often indirectly dependent on genetic sampling -and vice versa. Genetic sampling typically focuses on a particular locus or set of loci, found in the the mitochondrial, chloroplast or nuclear genome. If ecological function or evolutionary individuality can be defined on the level of multiple divergent genomes, as I shall argue is the case in IGH, our current genetic sampling strategies and analytic approaches may miss out on relevant biodiversity. Now that more and more examples of IGH are available, it is becoming possible to investigate the positive and negative effects of IGH on the functioning and evolution of multicellular individuals more systematically. I consider some examples and argue that studying diversity through the lens of IGH facilitates thinking not in terms of units, but in terms of interactions between biological entities. This, in turn, enables a fresh take on the ecological and evolutionary significance of biological diversity

A Model for the Development of the Rhizobial and Arbuscular Mycorrhizal Symbioses in Legumes and Its Use to Understand the Roles of Ethylene in the Establishment of these two Symbioses

We propose a model depicting the development of nodulation and arbuscular mycorrhizae. Both processes are dissected into many steps, using Pisum sativum L. nodulation mutants as a guideline. For nodulation, we distinguish two main developmental programs, one epidermal and one cortical. Whereas Nod factors alone affect the cortical program, bacteria are required to trigger the epidermal events. We propose that the two programs of the rhizobial symbiosis evolved separately and that, over time, they came to function together. The distinction between these two programs does not exist for arbuscular mycorrhizae development despite events occurring in both root tissues. Mutations that affect both symbioses are restricted to the epidermal program. We propose here sites of action and potential roles for ethylene during the formation of the two symbioses with a specific hypothesis for nodule organogenesis. Assuming the epidermis does not make ethylene, the microsymbionts probably first encounter a regulatory level of ethylene at the epidermis–outermost cortical cell layer interface. Depending on the hormone concentrations there, infection will either progress or be blocked. In the former case, ethylene affects the cortex cytoskeleton, allowing reorganization that facilitates infection; in the latter case, ethylene acts on several enzymes that interfere with infection thread growth, causing it to abort. Throughout this review, the difficulty of generalizing the roles of ethylene is emphasized and numerous examples are given to demonstrate the diversity that exists in plants

Zinc ions alter morphology and chitin deposition in an ericoid fungus

A sterile mycelium PS IV, an ascomycete capable of establishing ericoid mycorrhizas, was used to investigate how zinc ions affect the cellular mechanisms of fungal growth. Asignificant reduction of the fungal biomass was observed in the presence of millimolar zinc concentrations; this mirrored conspicuous changes in hyphal morphology which led to apical swellings and increased branching in the subapical parts. Specific probes for fluorescence and electron microscopy localised chitin, the main cell wall polysaccharide, on the inner part of the fungal wall and on septa in control specimens. In Zn-treated mycelium, hyphal walls were thicker and a more intense chitin labelling was detected on the transverse walls. Aquantitative assay showed a significant increase in the amount of chitin in metal- treated hyphae

Therapeutic effects of the mitochondrial ROS-redox modulator KH176 in a mammalian model of Leigh Disease

Leigh Disease is a progressive neurometabolic disorder for which a clinical effective treatment is currently still lacking. Here, we report on the therapeutic efficacy of KH176, a new chemical entity derivative of Trolox, in Ndufs4 (-/-) mice, a mammalian model for Leigh Disease. Using in vivo brain diffusion tensor imaging, we show a loss of brain microstructural coherence in Ndufs4 (-/-) mice in the cerebral cortex, external capsule and cerebral peduncle. These findings are in line with the white matter diffusivity changes described in mitochondrial disease patients. Long-term KH176 treatment retained brain microstructural coherence in the external capsule in Ndufs4 (-/-) mice and normalized the increased lipid peroxidation in this area and the cerebral cortex. Furthermore, KH176 treatment was able to significantly improve rotarod and gait performance and reduced the degeneration of retinal ganglion cells in Ndufs4 (-/-) mice. These in vivo findings show that further development of KH176 as a potential treatment for mitochondrial disorders is worthwhile to pursue. Clinical trial studies to explore the potency, safety and efficacy of KH176 are ongoing