Hiord: A type-free higher-order logic programming language with predicate abstraction

A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framework is considered, along with several examples.

Languages for safety-certification related propertis

The Safety Certification of Software-Intensive Systems with Reusable Components project, in short SafeCer (www.safecer.eu),is targeting increased efficiency and reduced time-to-market by composable safety certification of safety- relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. Some of the companies involved are: Volvo Tech- nology, Thales, TTTech, and Intecs among others. SafeCer includes more than 30 partners in six different countries and has a budget of e25.7 millions. A primary objective is to provide support for system safety arguments based on arguments and properties of system components as well as to provide support for generation of corresponding evidence in a similar compositional way. By providing support for efficient reuse of certification and stronger links between certification and development, compo- nent reuse will be facilitated, and by providing support for reuse across domains the amount of components available for reuse will increase dramatically. The resulting efficiency and reduced time to market will, together with increased quality and reduced risk, increase competitiveness and pave the way for a cross-domain market for software components qualified for certification.

How do various maize crop models vary in their responses to climate change factors?

Comments This article is a U.S. government work, and is not subject to copyright in the United States. Abstract Potential consequences of climate change on crop production can be studied using mechanistic crop simulation models. While a broad variety of maize simulation models exist, it is not known whether different models diverge on grain yield responses to changes in climatic factors, or whether they agree in their general trends related to phenology, growth, and yield. With the goal of analyzing the sensitivity of simulated yields to changes in temperature and atmospheric carbon dioxide concentrations [CO2], we present the largest maize crop model intercomparison to date, including 23 different models. These models were evaluated for four locations representing a wide range of maize production conditions in the world: Lusignan (France), Ames (USA), Rio Verde (Brazil) and Morogoro (Tanzania). While individual models differed considerably in absolute yield simulation at the four sites, an ensemble of a minimum number of models was able to simulate absolute yields accurately at the four sites even with low data for calibration, thus suggesting that using an ensemble of models has merit. Temperature increase had strong negative influence on modeled yield response of roughly 0.5 Mg ha 1 per °C. Doubling [CO2] from 360 to 720 lmol mol 1 increased grain yield by 7.5% on average across models and the sites. That would therefore make temperature the main factor altering maize yields at the end of this century. Furthermore, there was a large uncertainty in the yield response to [CO2] among models. Model responses to temperature and [CO2] did not differ whether models were simulated with low calibration information or, simulated with high level of calibration information.

La Gaieté Bachique [Material gráfico] : de la Galerie de S.A.S. Monseigneur Le Duc d'Orleans ; Ecole Hollandoise

Resumen: Descripción: escena que representa una bacanal con varios personajes en el interior de una habitación

Influence of fabrication steps on optical and electrical properties of InN thin films

This paper reports on a case study of the impact of fabrication steps on InN material properties. We discuss the influence of annealing time and sequence of device processing steps. Photoluminescence (PL), surface morphology and electrical transport (electrical resistivity and low frequency noise) properties have been studied as responses to the adopted fabrication steps. Surface morphology has a strong correlation with annealing times, while sequences of fabrication steps do not appear to be influential. In contrast, the optical and electrical properties demonstrate correlation with both etching and thermal annealing. For all the studied samples PL peaks were in the vicinity of 0.7 eV, but the intensity and full width at half maximum (FWHM) demonstrate a dependence on the technological steps followed. Sheet resistance and electrical resistivity seem to be lower in the case of high defect introduction due to both etching and thermal treatments. The same effect is revealed through 1/f noise level measurements. A reduction of electrical resistivity is connected to an increase in 1/f noise level.

Role of substance P and the neurokinin 1 receptor in acute pancreatitis and pancreatitis-associated lung injury

Substance P, acting via the neurokinin 1 receptor (NK1R), plays an important role in mediating a variety of inflammatory processes. However, its role in acute pancreatitis has not been previously described. We have found that, in normal mice, substance P levels in the pancreas and pancreatic acinar cell expression of NK1R are both increased during secretagogue-induced experimental pancreatitis. To evaluate the role of substance P, pancreatitis was induced in mice that genetically lack NK1R by administration of 12 hourly injections of a supramaximally stimulating dose of the secretagogue caerulein. During pancreatitis, the magnitude of hyperamylasemia, hyperlipasemia, neutrophil sequestration in the pancreas, and pancreatic acinar cell necrosis were significantly reduced in NK1R−/− mice when compared with wild-type NK1R+/+ animals. Similarly, pancreatitis-associated lung injury, as characterized by intrapulmonary sequestration of neutrophils and increased pulmonary microvascular permeability, was reduced in NK1R−/− animals. These effects of NK1R deletion indicate that substance P, acting via NK1R, plays an important proinflammatory role in regulating the severity of acute pancreatitis and pancreatitis-associated lung injury.

Low frequency vibrational modes in proteins: Changes induced by point-mutations in the protein-cofactor matrix of bacterial reaction centers

As a step toward understanding their functional role, the low frequency vibrational motions (<300 cm−1) that are coupled to optical excitation of the primary donor bacteriochlorophyll cofactors in the reaction center from Rhodobacter sphaeroides were investigated. The pattern of hydrogen-bonding interaction between these bacteriochlorophylls and the surrounding protein was altered in several ways by mutation of single amino acids. The spectrum of low frequency vibrational modes identified by femtosecond coherence spectroscopy varied strongly between the different reaction center complexes, including between different mutants where the pattern of hydrogen bonds was the same. It is argued that these variations are primarily due to changes in the nature of the individual modes, rather than to changes in the charge distribution in the electronic states involved in the optical excitation. Pronounced effects of point mutations on the low frequency vibrational modes active in a protein-cofactor system have not been reported previously. The changes in frequency observed indicate a strong involvement of the protein in these nuclear motions and demonstrate that the protein matrix can increase or decrease the fluctuations of the cofactor along specific directions.

Evolution of the Friedreich’s ataxia trinucleotide repeat expansion: Founder effect and premutations

Friedreich’s ataxia, the most frequent inherited ataxia, is caused, in the vast majority of cases, by large GAA repeat expansions in the first intron of the frataxin gene. The normal sequence corresponds to a moderately polymorphic trinucleotide repeat with bimodal size distribution. Small normal alleles have approximately eight to nine repeats whereas a more heterogeneous mode of large normal alleles ranges from 16 to 34 GAA. The latter class accounts for ≈17% of normal alleles. To identify the origin of the expansion mutation, we analyzed linkage disequilibrium between expansion mutations or normal alleles and a haplotype of five polymorphic markers within or close to the frataxin gene; 51% of the expansions were associated with a single haplotype, and the other expansions were associated with haplotypes that could be related to the major one by mutation at a polymorphic marker or by ancient recombination. Of interest, the major haplotype associated with expansion is also the major haplotype associated with the larger alleles in the normal size range and was almost never found associated with the smaller normal alleles. The results indicate that most if not all large normal alleles derive from a single founder chromosome and that they represent a reservoir for larger expansion events, possibly through “premutation” intermediates. Indeed, we found two such alleles (42 and 60 GAA) that underwent cataclysmic expansion to pathological range in a single generation. This stepwise evolution to large trinucleotide expansions already was suggested for myotonic dystrophy and fragile X syndrome and may relate to a common mutational mechanism, despite sequence motif differences.

Slow and fast dietary proteins differently modulate postprandial protein accretion

The speed of absorption of dietary amino acids by the gut varies according to the type of ingested dietary protein. This could affect postprandial protein synthesis, breakdown, and deposition. To test this hypothesis, two intrinsically 13C-leucine-labeled milk proteins, casein (CAS) and whey protein (WP), of different physicochemical properties were ingested as one single meal by healthy adults. Postprandial whole body leucine kinetics were assessed by using a dual tracer methodology. WP induced a dramatic but short increase of plasma amino acids. CAS induced a prolonged plateau of moderate hyperaminoacidemia, probably because of a slow gastric emptying. Whole body protein breakdown was inhibited by 34% after CAS ingestion but not after WP ingestion. Postprandial protein synthesis was stimulated by 68% with the WP meal and to a lesser extent (+31%) with the CAS meal. Postprandial whole body leucine oxidation over 7 h was lower with CAS (272 ± 91 μmol⋅kg−1) than with WP (373 ± 56 μmol⋅kg−1). Leucine intake was identical in both meals (380 μmol⋅kg−1). Therefore, net leucine balance over the 7 h after the meal was more positive with CAS than with WP (P < 0.05, WP vs. CAS). In conclusion, the speed of protein digestion and amino acid absorption from the gut has a major effect on whole body protein anabolism after one single meal. By analogy with carbohydrate metabolism, slow and fast proteins modulate the postprandial metabolic response, a concept to be applied to wasting situations.

Femtosecond resolution of ligand-heme interactions in the high-affinity quinol oxidase bd: A di-heme active site?

Interaction of the two high-spin hemes in the oxygen reduction site of the bd-type quinol oxidase from Escherichia coli has been studied by femtosecond multicolor transient absorption spectroscopy. The previously unidentified Soret band of ferrous heme b595 was determined to be centered around 440 nm by selective excitation of the fully reduced unliganded or CO-bound cytochrome bd in the α-band of heme b595. The redox state of the b-type hemes strongly affects both the line shape and the kinetics of the absorption changes induced by photodissociation of CO from heme d. In the reduced enzyme, CO photodissociation from heme d perturbs the spectrum of ferrous cytochrome b595 within a few ps, pointing to a direct interaction between hemes b595 and d. Whereas in the reduced enzyme no heme d-CO geminate recombination is observed, in the mixed-valence CO-liganded complex with heme b595 initially oxidized, a significant part of photodissociated CO does not leave the protein and recombines with heme d within a few hundred ps. This caging effect may indicate that ferrous heme b595 provides a transient binding site for carbon monoxide within one of the routes by which the dissociated ligand leaves the protein. Taken together, the data indicate physical proximity of the hemes d and b595 and corroborate the possibility of a functional cooperation between the two hemes in the dioxygen-reducing center of cytochrome bd.

Regulation of vascular endothelial growth factor (VEGF) gene transcription by estrogen receptors α and β

Vascular endothelial growth factor (VEGF) mediates angiogenic activity in a variety of estrogen target tissues. To determine whether estrogen has a direct transcriptional effect on VEGF gene expression, we developed a model system by transiently transfecting human VEGF promoter-luciferase reporter constructs into primary human endometrial cells and into Ishikawa cells, derived from a well-differentiated human endometrial adenocarcinoma. In primary endometrial epithelial cells, treatment with 17β-estradiol (E2) resulted in a 3.8-fold increase in luciferase activity, whereas a 3.2-fold induction was demonstrated for stromal cells. Our Ishikawa cells had less than 100 functional estrogen receptors (ER)/cell and were therefore cotransfected with expression vectors encoding either the α- or the β-form of the human ER. In cells cotransfected with ERα, E2 induced 3.2-fold induction in VEGF-promoter luciferase activity. A 2.3-fold increase was observed in cells cotransfected with ERβ. Through specific deletions, the E2 response was restricted to a single 385-bp PvuII-SstI fragment in the 5′ flanking DNA. Cotransfection of this upstream region with a DNA binding domain ER mutant, or site-directed mutagenesis of a variant ERE within this fragment, resulted in the loss of the E2 response. Electromobility shift assays demonstrated that this same ERE sequence specifically binds estradiol-ER complexes. These studies demonstrate that E2-regulated VEGF gene transcription requires a variant ERE located 1.5 kb upstream from the transcriptional start site. Site-directed mutagenesis of this ERE abrogated E2-induced VEGF gene expression.

Ethidium derivatives bind to G-quartets, inhibit telomerase and act as fluorescent probes for quadruplexes

The telomeric G-rich single-stranded DNA can adopt in vitro an intramolecular quadruplex structure, which has been shown to directly inhibit telomerase activity. The reactivation of this enzyme in immortalized and most cancer cells suggests that telomerase is a relevant target in oncology, and telomerase inhibitors have been proposed as new potential anticancer agents. In this paper, we describe ethidium derivatives that stabilize G-quadruplexes. These molecules were shown to increase the melting temperature of an intramolecular quadruplex structure, as shown by fluorescence and absorbance measurements, and to facilitate the formation of intermolecular quadruplex structures. In addition, these molecules may be used to reveal the formation of multi-stranded DNA structures by standard fluorescence imaging, and therefore become fluorescent probes of quadruplex structures. This recognition was associated with telomerase inhibition in vitro: these derivatives showed a potent anti-telomerase activity, with IC50 values of 18–100 nM in a standard TRAP assay.

Telomerase inhibitors based on quadruplex ligands selected by a fluorescence assay

The reactivation of telomerase activity in most cancer cells supports the concept that telomerase is a relevant target in oncology, and telomerase inhibitors have been proposed as new potential anticancer agents. The telomeric G-rich single-stranded DNA can adopt in vitro an intramolecular quadruplex structure, which has been shown to inhibit telomerase activity. We used a fluorescence assay to identify molecules that stabilize G-quadruplexes. Intramolecular folding of an oligonucleotide with four repeats of the human telomeric sequence into a G-quadruplex structure led to fluorescence excitation energy transfer between a donor (fluorescein) and an acceptor (tetramethylrhodamine) covalently attached to the 5′ and 3′ ends of the oligonucleotide, respectively. The melting of the G-quadruplex was monitored in the presence of putative G-quadruplex-binding molecules by measuring the fluorescence emission of the donor. A series of compounds (pentacyclic crescent-shaped dibenzophenanthroline derivatives) was shown to increase the melting temperature of the G-quadruplex by 2–20°C at 1 μM dye concentration. This increase in Tm value was well correlated with an increase in the efficiency of telomerase inhibition in vitro. The best telomerase inhibitor showed an IC50 value of 28 nM in a standard telomerase repeat amplification protocol assay. Fluorescence energy transfer can thus be used to reveal the formation of four-stranded DNA structures, and its stabilization by quadruplex-binding agents, in an effort to discover new potent telomerase inhibitors.

Cyclic AMP Increases Cell Surface Expression of Functional Na,K-ATPase Units in Mammalian Cortical Collecting Duct Principal Cells

Cyclic AMP (cAMP) stimulates the transport of Na+ and Na,K-ATPase activity in the renal cortical collecting duct (CCD). The aim of this study was to investigate the mechanism whereby cAMP stimulates the Na,K-ATPase activity in microdissected rat CCDs and cultured mouse mpkCCDc14 collecting duct cells. db-cAMP (10−3 M) stimulated by 2-fold the activity of Na,K-ATPase from rat CCDs as well as the ouabain-sensitive component of 86Rb+ uptake by rat CCDs (1.7-fold) and cultured mouse CCD cells (1.5-fold). Pretreatment of rat CCDs with saponin increased the total Na,K-ATPase activity without further stimulation by db-cAMP. Western blotting performed after a biotinylation procedure revealed that db-cAMP increased the amount of Na,K-ATPase at the cell surface in both intact rat CCDs (1.7-fold) and cultured cells (1.3-fold), and that this increase was not related to changes in Na,K-ATPase internalization. Brefeldin A and low temperature (20°C) prevented both the db-cAMP-dependent increase in cell surface expression and activity of Na,K-ATPase in both intact rat CCDs and cultured cells. Pretreatment with the intracellular Ca2+ chelator bis-(o-aminophenoxy)-N,N,N′,N′-tetraacetic acid also blunted the increment in cell surface expression and activity of Na,K-ATPase caused by db-cAMP. In conclusion, these results strongly suggest that the cAMP-dependent stimulation of Na,K-ATPase activity in CCD results from the translocation of active pump units from an intracellular compartment to the plasma membrane.