An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered.

An assertion language for debugging of constraint logic programs

Abstract is not available.

Improvement of the Dynamic Performance of a Buck Converter using Controlled Current Source as an Additional Energy Path

This work is related to the improvement of the dynamic performance of the Buck converter by means of introducing an additional power path that virtually increase s the output capacitance during transients, thus improving the output impedance of the converter. It is well known that in VRM applications, with wide load steps, voltage overshoots and undershoots ma y lead to undesired performance of the load. To solve this problem, high-bandwidth high-switching frequency power converter s can be applied to reduce the transient time or a big output capacitor can be applied to reduce the output impedance. The first solution can degrade the efficiency by increasing switching losses of the MOSFETS, and the second solution is penalizing the cost and size of the output filter. The additional energy path, as presented here, is introduced with the Output Impedance Correction Circuit (OICC) based on the Controlled Current Source (CCS). The OICC is using CCS to inject or extract a current n - 1 times larger than the output capacitor current, thus virtually increasing n times the value of the output capacitance during the transients. This feature allows the usage of a low frequency Buck converter with smaller capacitor but satisfying the dynamic requirements.

Improvement of the Dynamic Performance of a Multiphase Current Controlled Buck Converter using an Auxiliary Synchronous Buck Converter as an Additional Energy Path

This work is related to the output impedance improvement of a Multiphase Buck converter with Peak Current Mode Control (PCMC) by means of introducing an additional power path that virtually increases the output capacitance during transients. Various solutions that can be employed to improve the dynamic behavior of the converter system exist, but nearly all solutions are developed for a Single Phase Buck converter with Voltage Mode Control (VMC), while in the VRM applications, due to the high currents, the system is usually implemented as a Multiphase Buck Converter with Current Mode Control. The additional energy path, as presented here, is introduced with the Output Impedance Correction Circuit (OICC) based on the Controlled Current Source (CCS). The OICC is used to inject or extract a current n-1 times larger than the output capacitor current, thus virtually increasing n times the value of the output capacitance during the transients. Furthermore, this work extends the OICC concept to a Multiphase Buck Converter system while comparing proposed solution with the system that has n times bigger output capacitor. In addition, the OICC is implemented as a Synchronous Buck Converter with PCMC, thus reducing its influence on the system efficiency.

Facilitating the creation of interactive multi-device Learning Objects using an online authoring tool

Learning Objects facilitate reuse leading to cost and time savings as well as to the enhancement of the quality of educational resources. However, teachers find it difficult to create or to find high quality Learning Objects, and the ones they find need to be customized. Teachers can overcome this problem using suitable authoring systems that enable them to create high quality Learning Objects with little effort. This paper presents an open source online e-Learning authoring tool called ViSH Editor together with four novel interactive Learning Objects that can be created with it: Flashcards, Virtual Tours, Enriched Videos and Interactive Presentations. All these Learning Objects are created as web applications, which can be accessed via mobile devices. Besides, they can be exported to SCORM including their metadata in IEEE LOM format. All of them are described in the paper including an example of each. This approach for creating Learning Objects was validated through two evaluations: a survey among authors and a formal quality evaluation of 209 Learning Objects created with the tool. The results show that ViSH Editor facilitates educators the creation of high quality Learning Objects.

Estudio para la implantación de Programas en Inglés en los títulos de grado de la ETSI Agrónomos de la Universidad Politécnica de Madrid

Universities are offering more and more courses and programmes in an additional language. At HEPCLIL, therefore, we would like to debate the methodological im - plications of these changes, giving voice to practical classroom experiences and initiatives. We would also like to act as a platform for cutting-edge research on CLIL in higher education. What impact does teaching in an additional language have on content or language learning? What are the effects on teachers and stu - dents in higher education?

Current Trends in LSP Research: Aims and Methods

Languages for Specific Languages (LSP) represent a dynamic approach both in research and practice and, as such, it is in constant evolution. It was earlier related to the use of English as an international language of communication in business and technology and thus designated as ESP (English for Specific Purposes). In Genre Analysis, Swales (1990) brought in new horizons with the notions of genre and discourse community. Thereafter, research on LSP learning and discourse have thrived over a large range of thematic contents and methods. Current Trends in LSP Research: Aims and Methods can be inserted in this latest streak

Ol-Prx 3, a member of an additional class of homeobox genes, is unimodally expressed in several domains of the developing and adult central nervous system of the medaka (Oryzias latipes)

Large-scale genetic screens for mutations affecting early neurogenesis of vertebrates have recently been performed with an aquarium fish, the zebrafish. Later stages of neural morphogenesis have attracted less attention in small fish species, partly because of the lack of molecular markers of developing structures that may facilitate the detection of discrete structural alterations. In this context, we report the characterization of Ol-Prx 3 (Oryzias latipes-Prx 3). This gene was isolated in the course of a large-scale screen for brain cDNAs containing a highly conserved DNA binding region, the homeobox helix-three. Sequence analysis revealed that this gene belongs to another class of homeobox genes, together with a previously isolated mouse ortholog, called OG-12 [Rovescalli, A. C., Asoh, S. & Nirenberg, M. (1996) Proc. Natl. Acad. Sci. USA 93, 10691–10696] and with the human SHOX gene [Rao, E., Weiss, B., Fukami, M., Rump, A., Niesler, B., et al. (1997) Nat. Genet. 16, 54–62], thought to be involved in the short-stature phenotype of Turner syndrome patients. These three genes exhibit a moderate level of identity in the homeobox with the other genes of the paired-related (PRX) gene family. Ol-Prx 3, as well as the PRX genes, are expressed in various cartilaginous structures of head and limbs. These genes might thus be involved in common regulatory pathways during the morphogenesis of these structures. Moreover, this paper reports a complex and monophasic pattern of Ol-Prx 3 expression in the central nervous system, which differs markedly from the patterns reported for the PRX genes, Prx 3 excluded: this gene begins to be expressed in a variety of central nervous system territories at late neurula stage. Strikingly, it remains turned on in some of the derivatives of each territory during the entire life of the fish. We hope this work will thus help identify common features for the PRX 3 family of homeobox genes.

Espin Contains an Additional Actin-binding Site in Its N Terminus and Is a Major Actin-bundling Protein of the Sertoli Cell–Spermatid Ectoplasmic Specialization Junctional Plaque

The espins are actin-binding and -bundling proteins localized to parallel actin bundles. The 837-amino-acid “espin” of Sertoli cell–spermatid junctions (ectoplasmic specializations) and the 253-amino-acid “small espin” of brush border microvilli are splice isoforms that share a C-terminal 116-amino-acid actin-bundling module but contain different N termini. To investigate the roles of espin and its extended N terminus, we examined the actin-binding and -bundling properties of espin constructs and the stoichiometry and developmental accumulation of espin within the ectoplasmic specialization. An espin construct bound to F-actin with an approximately threefold higher affinity (Kd = ∼70 nM) than small espin and was ∼2.5 times more efficient at forming bundles. The increased affinity appeared to be due to an additional actin-binding site in the N terminus of espin. This additional actin-binding site bound to F-actin with a Kd of ∼1 μM, decorated actin stress fiber-like structures in transfected cells, and was mapped to a peptide between the two proline-rich peptides in the N terminus of espin. Espin was detected at ∼4–5 × 106 copies per ectoplasmic specialization, or ∼1 espin per 20 actin monomers and accumulated there coincident with the formation of parallel actin bundles during spermiogenesis. These results suggest that espin is a major actin-bundling protein of the Sertoli cell–spermatid ectoplasmic specialization.

Determinant for β-subunit regulation in high-conductance voltage-activated and Ca2+-sensitive K+ channels: An additional transmembrane region at the N terminus

The pore-forming α subunit of large conductance voltage- and Ca2+-sensitive K (MaxiK) channels is regulated by a β subunit that has two membrane-spanning regions separated by an extracellular loop. To investigate the structural determinants in the pore-forming α subunit necessary for β-subunit modulation, we made chimeric constructs between a human MaxiK channel and the Drosophila homologue, which we show is insensitive to β-subunit modulation, and analyzed the topology of the α subunit. A comparison of multiple sequence alignments with hydrophobicity plots revealed that MaxiK channel α subunits have a unique hydrophobic segment (S0) at the N terminus. This segment is in addition to the six putative transmembrane segments (S1–S6) usually found in voltage-dependent ion channels. The transmembrane nature of this unique S0 region was demonstrated by in vitro translation experiments. Moreover, normal functional expression of signal sequence fusions and in vitro N-linked glycosylation experiments indicate that S0 leads to an exoplasmic N terminus. Therefore, we propose a new model where MaxiK channels have a seventh transmembrane segment at the N terminus (S0). Chimeric exchange of 41 N-terminal amino acids, including S0, from the human MaxiK channel to the Drosophila homologue transfers β-subunit regulation to the otherwise unresponsive Drosophila channel. Both the unique S0 region and the exoplasmic N terminus are necessary for this gain of function.

Identification of an additional negative regulatory region for p53 sequence-specific DNA binding

The DNA binding activity of p53 is crucial for its tumor suppressor function and is subject to tight regulation. Previous studies revealed that the inhibitory function of the p53 C terminus is implicated in the latent, low affinity sequence-specific DNA binding activity of p53 in the uninduced state. Sequence-specific DNA binding of p53 has been shown to be activated by several posttranslational modifications and interacting proteins that target predominantly the C terminus. Moreover, several authors have shown that synthetic peptides corresponding to p53 C-terminal sequences activate p53 sequence-specific DNA binding. In an effort to identify the interaction site of p53 with these activating peptides we assessed complex formation between p53 deletion constructs and C-terminal activating peptides by peptide affinity precipitation. This study revealed that two distal regions of the p53 molecule contribute synergistically to the interaction with activating C-terminal peptides: amino acids 80–93 and 364–393. The C-terminal residues 364–393 are already well characterized as having negative regulatory function. DNA binding analyses with these deletion constructs reveal a comparable negative regulatory activity for residues 80–93, defining this region as a previously unidentified negative regulatory domain of p53. Furthermore, synthetic peptides spanning this newly identified proline-rich negative regulatory region (residues 80–93) are able to activate p53 sequence-specific DNA binding in vitro. We suggest that both negative regulatory regions, residues 80–93 and 364–393, contribute cooperatively to the maintenance of the latent, low-affinity DNA binding conformation of p53.

Discovery of genes involved with learning and memory: An experimental synthesis of Hirschian and Benzerian perspectives

The biological bases of learning and memory are being revealed today with a wide array of molecular approaches, most of which entail the analysis of dysfunction produced by gene disruptions. This perspective derives both from early “genetic dissections” of learning in mutant Drosophila by Seymour Benzer and colleagues and from earlier behavior-genetic analyses of learning and in Diptera by Jerry Hirsch and coworkers. Three quantitative-genetic insights derived from these latter studies serve as guiding principles for the former. First, interacting polygenes underlie complex traits. Consequently, learning/memory defects associated with single-gene mutants can be quantified accurately only in equilibrated, heterogeneous genetic backgrounds. Second, complex behavioral responses will be composed of genetically distinct functional components. Thus, genetic dissection of complex traits into specific biobehavioral properties is likely. Finally, disruptions of genes involved with learning/memory are likely to have pleiotropic effects. As a result, task-relevant sensorimotor responses required for normal learning must be assessed carefully to interpret performance in learning/memory experiments. In addition, more specific conclusions will be obtained from reverse-genetic experiments, in which gene disruptions are restricted in time and/or space.

Identification of urocortin III, an additional member of the corticotropin-releasing factor (CRF) family with high affinity for the CRF2 receptor

The corticotropin-releasing factor (CRF) family of neuropeptides includes the mammalian peptides CRF, urocortin, and urocortin II, as well as piscine urotensin I and frog sauvagine. The mammalian peptides signal through two G protein-coupled receptor types to modulate endocrine, autonomic, and behavioral responses to stress, as well as a range of peripheral (cardiovascular, gastrointestinal, and immune) activities. The three previously known ligands are differentially distributed anatomically and have distinct specificities for the two major receptor types. Here we describe the characterization of an additional CRF-related peptide, urocortin III, in the human and mouse. In searching the public human genome databases we found a partial expressed sequence tagged (EST) clone with significant sequence identity to mammalian and fish urocortin-related peptides. By using primers based on the human EST sequence, a full-length human clone was isolated from genomic DNA that encodes a protein that includes a predicted putative 38-aa peptide structurally related to other known family members. With a human probe, we then cloned the mouse ortholog from a genomic library. Human and mouse urocortin III share 90% identity in the 38-aa putative mature peptide. In the peptide coding region, both human and mouse urocortin III are 76% identical to pufferfish urocortin-related peptide and more distantly related to urocortin II, CRF, and urocortin from other mammalian species. Mouse urocortin III mRNA expression is found in areas of the brain including the hypothalamus, amygdala, and brainstem, but is not evident in the cerebellum, pituitary, or cerebral cortex; it is also expressed peripherally in small intestine and skin. Urocortin III is selective for type 2 CRF receptors and thus represents another potential endogenous ligand for these receptors.

Identification of an additional gene required for eukaryotic nonsense mRNA turnover.

Loss of function of any one of three UPF genes prevents the accelerated decay of nonsense mRNAs in Saccharomyces cerevisiae. We report the identification and DNA sequence of UPF3, which is present in one nonessential copy on chromosome VII. Upf3 contains three putative nuclear localization signal sequences, suggesting that it may be located in a different compartment than the cytoplasmic Upf1 protein. Epitope-tagged Upf3 (FLAG-Upf3) does not cofractionate with polyribosomes or 80S ribosomal particles. Double disruptions of UPF1 and UPF3 affect nonsense mRNA decay in a manner indistinguishable from single disruptions. These results suggest that the Upf proteins perform related functions in a common pathway.

Cloning and expression of Stat5 and an additional homologue (Stat5b) involved in prolactin signal transduction in mouse mammary tissue.

Prolactin (PRL) induces transcriptional activation of milk protein genes, such as the whey acidic protein (WAP), beta-casein, and beta-lactoglobulin genes, through a signaling cascade encompassing the Janus kinase Jak2 and the mammary gland factor (MGF; also called Stat5), which belongs to the family of proteins of signal transducers and activators of transcription (STAT). We isolated and sequenced from mouse mammary tissue Stat5 mRNA and a previously unreported member, which we named Stat5b (Stat5 is renamed to Stat5a). On the protein level Stat5a and Stat5b show a 96% sequence similarity. The 5' and 3' untranslated regions of the two mRNAs are not conserved. Stat5a comprises 793 amino acids and is encoded by a mRNA of 4.2 kb. The Stat5b mRNA has a size of 5.6 kb and encodes a protein of 786 amino acids. Both Stat5a and Stat5b recognized the GAS site (gamma-interferon-activating sequence; TTCNNNGAA) in vitro and mediated PRL-induced transcription in COS cells transfected with a PRL receptor. Stat5b also induced basal transcription in the absence of PRL. Similar levels of Stat5a and Stat5b mRNAs were found in most tissues of virgin and lactating mice, but a differential accumulation of the Stat5 mRNAs was found in muscle and mammary tissue. The two RNAs are present in mammary tissue of immature virgin mice, and their levels increase up to day 16 of pregnancy, followed by a decline during lactation. The increase of Stat5 expression during pregnancy coincides with the activation of the WAP gene.