Profiling for run-time checking of computational properties and performance debugging in logic programs

Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the cali graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically. The approach allows checking global computational properties which require complex instrumentation tracking information about previous execution states, such as, e.g., that the execution time accumulated by a given procedure is not greater than a given bound. We have built a prototype implementation, integrated it in the Ciao/CiaoPP system and successfully applied it to performance improvement, automatic optimization (e.g., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs.

An approach to profiling for run-time checking of computational properties and performance debugging in logic programs.

Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identifying the root causes of such bottlenecks. This complicates using their results for guiding performance improvement. We present a profiling method and tool that provides such explanations. Our profiler associates cost centers to certain program elements and can measure different types of resource-related properties that affect performance, preserving the precedence of cost centers in the call graph. It includes an automatic method for detecting procedures that are performance bottlenecks. The profiling tool has been integrated in a previously developed run-time checking framework to allow verification of certain properties when they cannot be verified statically. The approach allows checking global computational properties which require complex instrumentation tracking information about previous execution states, such as, e.g., that the execution time accumulated by a given procedure is not greater than a given bound. We have built a prototype implementation, integrated it in the Ciao/CiaoPP system and successfully applied it to performance improvement, automatic optimization (e.g., resource-aware specialization of programs), run-time checking, and debugging of global computational properties (e.g., resource usage) in Prolog programs.

Census, reproductive biology, and germination of Astragalus gines-lopezii (Fabaceae), a narrow and endangered endemic species of SW Spain

Astragalus gines-lopezii Talavera, Podlech, Devesa & F.M.Vázquez (Fabaceae) is a threatened endemic species with a distribution restricted to a very small area in Badajoz Province (Extremadura Region, SW Spain) and only 2 populations are known. This species was catalogued in the ?Endangered? category in the 2008 Red List and the 2010 Threatened Spanish Vascular Flora List. Despite its status as an endangered species, at present very little is known about the distribution, census, and reproductive biology of this species. In this study we have carried out an exhaustive census of A. gines-lopezii , and we have evaluated the production of flowers, fruits, and seeds and the existence or not of intra- and interpopulation variability in seed germination. Results have highlighted the high reproductive capacity of this species on the basis of a high production of flowers, fruits, and seeds. Mechanical scarification of seeds was effective for increasing germination. Thus, initial germination (22%?60%) was increased to 97%?99% when seeds were rubbed with sandpapers. A high intra- and interpopulation variability in seed germination was found in this species. A. gines-lopezii produces seeds with different degrees of physical dormancy, varying this grade among different individuals within a population.

Census, reproductive biology, and germination of Astragalus gines-lopezii (Fabaceae),a narrow and endangered endemic species of SW Spain.

Astragalus gines-lopezii Talavera, Podlech, Devesa & F.M.Vazquez (Fabaceae) is a threatened endemic species with a distribution restricted to a very small area in Badajoz Province (Extremadura Region, SW Spain) and only 2 populations are known.This species was catalogued in the "Endangered" category in the 2008 Red List and the 2010 Threatened Spanish Vascular Flora List. Despite its status as an endangered species, at present very little is known about the distribution, census, and reproductive biology of this species. In this study we have carried out anexhaustive census of A. gines-lopezii, and we have evaluated the production of flowers, fruits, and seeds and the existence or not of intra- and interpopulation variability in seed germination. Results have highlighted the high reproductive capacity of this species on the basis of a high production of flowers, fruits, and seeds. Mechanical scarification of seeds was effective for increasing germination. Thus, initial germination (22%-60%) was increased to 97%-99% when seeds were rubbed with sandpapers. A high intra- and interpopulation variability in seed germination was found in this species. A. gines-lopezii produces seeds with different degrees of physical dormancy, varying this grade among different individuals within a population.

Plant terpenoid synthases: Molecular biology and phylogenetic analysis

This review focuses on the monoterpene, sesquiterpene, and diterpene synthases of plant origin that use the corresponding C10, C15, and C20 prenyl diphosphates as substrates to generate the enormous diversity of carbon skeletons characteristic of the terpenoid family of natural products. A description of the enzymology and mechanism of terpenoid cyclization is followed by a discussion of molecular cloning and heterologous expression of terpenoid synthases. Sequence relatedness and phylogenetic reconstruction, based on 33 members of the Tps gene family, are delineated, and comparison of important structural features of these enzymes is provided. The review concludes with an overview of the organization and regulation of terpenoid metabolism, and of the biotechnological applications of terpenoid synthase genes.

Vitamin B12 and hepatitis C: Molecular biology and human pathology

Cobalamins are stored in high concentrations in the human liver and thus are available to participate in the regulation of hepatotropic virus functions. We show that cyanocobalamin (vitamin B12) inhibited the HCV internal ribosome entry site (IRES)-dependent translation of a reporter gene in vitro in a dose-dependent manner without significantly affecting the cap-dependent mechanism. Vitamin B12 failed to inhibit translation by IRES elements from encephalomyocarditis virus (EMCV) or classical swine fever virus (CSFV). We also demonstrate a relationship between the total cobalamin concentration in human sera and HCV viral load (a measure of viral replication in the host). The mean viral load was two orders of magnitude greater when the serum cobalamin concentration was above 200 pM (P < 0.003), suggesting that the total cobalamin concentration in an HCV-infected liver is biologically significant in HCV replication.

The neural development and organization of letter recognition: Evidence from functional neuroimaging, computational modeling, and behavioral studies

Although much of the brain’s functional organization is genetically predetermined, it appears that some noninnate functions can come to depend on dedicated and segregated neural tissue. In this paper, we describe a series of experiments that have investigated the neural development and organization of one such noninnate function: letter recognition. Functional neuroimaging demonstrates that letter and digit recognition depend on different neural substrates in some literate adults. How could the processing of two stimulus categories that are distinguished solely by cultural conventions become segregated in the brain? One possibility is that correlation-based learning in the brain leads to a spatial organization in cortex that reflects the temporal and spatial clustering of letters with letters in the environment. Simulations confirm that environmental co-occurrence does indeed lead to spatial localization in a neural network that uses correlation-based learning. Furthermore, behavioral studies confirm one critical prediction of this co-occurrence hypothesis, namely, that subjects exposed to a visual environment in which letters and digits occur together rather than separately (postal workers who process letters and digits together in Canadian postal codes) do indeed show less behavioral evidence for segregated letter and digit processing.