Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Office de la Vierge, sans renvoy a l'usage des Chevaliers de l'Ordre de Malthe [Texto impreso]

Texto en latin

Personal data usage management

Personal data about users (customers) is a key component for enterprises and large organizations. Its correct analysis and processing can produce relevant knowledge to achieve different business goals. For example, the monetisation of this data has become a valuable asset for many companies, such as Google, Facebook or Twitter, that obtain huge profits mainly from targeted advertising.

GovCloud: the usage of cloud computing in public organizations

It has been shown that cloud computing brings cost benefits and promotes efficiency in the operations of the organizations, no matter what their type or size. However, few public organizations are benefiting from this new paradigm shift in the way the organizations consume and manage computational resources. The objective of this thesis is to analyze both internal and external factors that may influence the adoption of cloud computing by public organizations and propose possible strategies that can assist these organizations in their path to cloud usage. In order to achieve this objective, a SWOT analysis has been conducted, detecting internal factors (strengths and weaknesses) and external factors (opportunities and threats) that can influence the adoption of a governmental cloud. With the application of a TOWS matrix, by combining the internal and external factors, a list of possible strategies have been formulated to be used as a guide to decision-making related to the transition to a cloud environment.

Cours d'entomologie, ou de l'histoire naturelle des crustacés, des arachnides, des myriapodes et des insectes; à l'usage des élèves de l'école du Muséum d'histoire naturelle; par M. Latreille ... 1. année ...

1 Text

Generation of secretable and nonsecretable interleukin 15 isoforms through alternate usage of signal peptides

Two isoforms of human interleukin 15 (IL-15) exist. One isoform has a shorter putative signal peptide (21 amino acids) and its transcript shows a tissue distribution pattern that is distinct from that of the alternative IL-15 isoform with a 48-aa signal peptide. The 21-aa signal isoform is preferentially expressed in tissues such as testis and thymus. Experiments using different combinations of signal peptides and mature proteins (IL-2, IL-15, and green fluorescent protein) showed that the short signal peptide regulates the fate of the mature protein by controlling the intracellular trafficking to nonendoplasmic reticulum sites, whereas the long signal peptide both regulates the rate of protein translation and functions as a secretory signal peptide. As a consequence, the IL-15 associated with the short signal peptide is not secreted, but rather is stored intracellularly, appearing in the nucleus and cytoplasmic components. Such production of an intracellular lymphokine is not typical of other soluble interleukin systems, suggesting a biological function for IL-15 as an intracellular molecule.

Infrequent Translation of a Nonsense Codon Is Sufficient to Decrease mRNA Level

In many organisms nonsense mutations decrease the level of mRNA. In the case of mammalian cells, it is still controversial whether translation is required for this nonsense-mediated RNA decrease (NMD). Although previous analyzes have shown that conditions that impede translation termination at nonsense codons also prevent NMD, the residual level of termination was unknown in these experiments. Moreover, the conditions used to impede termination might also have interfered with NMD in other ways. Because of these uncertainties, we have tested the effects of limiting translation of a nonsense codon in a different way, using two mutations in the immunoglobulin μ heavy chain gene. For this purpose we exploited an exceptional nonsense mutation at codon 3, which efficiently terminates translation but nonetheless maintains a high level of μ mRNA. We have shown 1) that translation of Ter462 in the double mutant occurs at only ∼4% the normal frequency, and 2) that Ter462 in cis with Ter3 can induce NMD. That is, translation of Ter462 at this low (4%) frequency is sufficient to induce NMD.

Autoinhibition of serotonin cells: An intrinsic regulatory mechanism sensitive to the pattern of usage of the cells

After periods of high-frequency firing, the normal rhythmically active serotonin (5HT)-containing neurosecretory neurons of the lobster ventral nerve cord display a period of suppressed spike generation and reduced synaptic input that we refer to as “autoinhibition.” The duration of this autoinhibition is directly related to the magnitude and duration of the current injection triggering the high-frequency firing. More interesting, however, is that the autoinhibition is inversely related to the initial firing frequency of these cells within their normal range of firing (0.5–3 Hz). This allows more active 5HT neurons to resume firing after shorter durations of inhibition than cells that initially fired at slower rates. Although superfused 5HT inhibits the spontaneous firing of these cells, the persistence of autoinhibition in saline with no added calcium, in cadmium-containing saline, and in lobsters depleted of serotonin suggests that intrinsic membrane properties account for the autoinhibition. A similar autoinhibition is seen in spontaneously active octopamine neurons but is absent from spontaneously active γ-aminobutyric acid cells. Thus, this might be a characteristic feature of amine-containing neurosecretory neurons. The 5HT cells of vertebrate brain nuclei share similarities in firing frequencies, spike shapes, and inhibition by 5HT with the lobster cells that were the focus of this study. However, the mechanism suggested to underlie autoinhibition in vertebrate neurons is that 5HT released from activated or neighboring cells acts back on inhibitory autoreceptors that are found on the dendrites and cell bodies of these neurons.

RECODE: a database of frameshifting, bypassing and codon redefinition utilized for gene expression

The RECODE database is a compilation of ‘programmed’ translational recoding events taken from the scientific literature and personal communications. The database deals with programmed ribosomal frameshifting, codon redefinition and translational bypass occurring in a variety of organisms. The entries for each event include the sequences of the corresponding genes, their encoded proteins for both the normal and alternate decoding, the types of the recoding events involved, trans-factors and cis-elements that influence recoding. The database is freely available at http://recode.genetics.utah.edu/.

Orthogonal combinatorial mutagenesis: a codon-level combinatorial mutagenesis method useful for low multiplicity and amino acid-scanning protocols

We describe here a method to generate combinatorial libraries of oligonucleotides mutated at the codon-level, with control of the mutagenesis rate so as to create predictable binomial distributions of mutants. The method allows enrichment of the libraries with single, double or larger multiplicity of amino acid replacements by appropriate choice of the mutagenesis rate, depending on the concentration of synthetic precursors. The method makes use of two sets of deoxynucleoside-phosphoramidites bearing orthogonal protecting groups [4,4′-dimethoxytrityl (DMT) and 9-fluorenylmethoxycarbonyl (Fmoc)] in the 5′ hydroxyl. These phosphoramidites are divergently combined during automated synthesis in such a way that wild-type codons are assembled with commercial DMT-deoxynucleoside-methyl-phosphoramidites while mutant codons are assembled with Fmoc-deoxynucleoside-methyl-phosphoramidites in an NNG/C fashion in a single synthesis column. This method is easily automated and suitable for low mutagenesis rates and large windows, such as those required for directed evolution and alanine scanning. Through the assembly of three oligonucleotide libraries at different mutagenesis rates, followed by cloning at the polylinker region of plasmid pUC18 and sequencing of 129 clones, we concluded that the method performs essentially as intended.

Methylation by a mutant T2 DNA [N6-adenine] methyltransferase expands the usage of RecA-assisted endonuclease (RARE) cleavage

Properties of a mutant bacteriophage T2 DNA [N6-adenine] methyltransferase (T2 Dam MTase) have been investigated for its potential utilization in RecA-assisted restriction endonuclease (RARE) cleavage. Steady-state kinetic analyses with oligonucleotide duplexes revealed that, compared to wild-type T4 Dam, both wild-type T2 Dam and mutant T2 Dam P126S had a 1.5-fold higher kcat in methylating canonical GATC sites. Additionally, T2 Dam P126S showed increased efficiencies in methylation of non-canonical GAY sites relative to the wild-type enzymes. In agreement with these steady-state kinetic data, when bacteriophage λ DNA was used as a substrate, maximal protection from restriction nuclease cleavage in vitro was achieved on the sequences GATC, GATN and GACY, while protection of GACR sequences was less efficient. Collectively, our data suggest that T2 Dam P126S can modify 28 recognition sequences. The feasibility of using the mutant enzyme in RARE cleavage with BclI and EcoRV endonucleases has been shown on phage λ DNA and with BclI and DpnII endonucleases on yeast chromosomal DNA embedded in agarose.

Online tables of contents for books: effect on usage*

Objectives: To explore whether the presence of online tables of contents (TOC) in an online catalog affects circulation (checkouts and inhouse usage). Two major questions were posed: (1) did the presence of online tables of contents for books increase use, and, (2) if it did, what factors might cause the increase?