Non-failure analysis for logic programs

We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at least one solution or not termínate). The technique is based on an intuitively very simple notion, that of a (set of) tests "covering" the type of a set of variables. We show that the problem of determining a covering is undecidable in general, and give decidability and complexity results for the Herbrand and linear arithmetic constraint systems. We give sound algorithms for determining covering that are precise and efiicient in practice. Based on this information, we show how to identify goals and procedures that can be guaranteed to not fail at runtime. Applications of such non-failure information include programming error detection, program transiormations and parallel execution optimization, avoiding speculative parallelism and estimating lower bounds on the computational costs of goals, which can be used for granularity control. Finally, we report on an implementation of our method and show that better results are obtained than with previously proposed approaches.

Rituum ecclesiasticorum siue Sacrarum cerimoniarum S.S. Romanæ Ecclesiæ libri tres non ante impressi.

Pie de imp. tomado del colofón

Numerical CFD modelling of non-neutral atmospheric boundary layers for offshore wind resource assessment based on Monin-Obukhov theory

The presented works aim at proposing a methodology for the simulation of offshore wind conditions using CFD. The main objective is the development of a numerical model for the characterization of atmospheric boundary layers of different stability levels, as the most important issue in offshore wind resource assessment. Based on Monin-Obukhov theory, the steady k-ε Standard turbulence model is modified to take into account thermal stratification in the surface layer. The validity of Monin-Obukhov theory in offshore conditions is discussed with an analysis of a three day episode at FINO-1 platform.

The use of non-reflecting boundary conditions in soil dynamics

In this paper some aspects of the use of non-reflecting boundaries in dynamic problems, analyzed in time domain, are considered. Current trends for treating the above mentioned problems are summarized with a particular emphasis on the use of numerical techniques, such as Boundary Element Method (BEM) or mixed and hybrid formulations, Finite Element Method (FEM) plus BEM. As an alternative to these methods, an easy time domain boundary condition, obtained from the well known consistent transmitting boundary developed by Waas for frequency domain analysis, can be applied to represent the reactions of the unbounded soil on the interest zone. The behaviour of this proposed boundary condition is studied when waves of different frequency to the one used for its obtention are acting on the physical edge of the model. As an application example,an analysis is made of the soil-structure interaction of a rigid strip foundation on a horizontal non-linear elastic layer on bed rock. The results obtained suggest the need of time domain solutions for this type of problem

Non uniform embedding based on relevance analysis with reduced computational complexity: application to the detection of pathologies from biosignal recordings

Nonlinear analysis tools for studying and characterizing the dynamics of physiological signals have gained popularity, mainly because tracking sudden alterations of the inherent complexity of biological processes might be an indicator of altered physiological states. Typically, in order to perform an analysis with such tools, the physiological variables that describe the biological process under study are used to reconstruct the underlying dynamics of the biological processes. For that goal, a procedure called time-delay or uniform embedding is usually employed. Nonetheless, there is evidence of its inability for dealing with non-stationary signals, as those recorded from many physiological processes. To handle with such a drawback, this paper evaluates the utility of non-conventional time series reconstruction procedures based on non uniform embedding, applying them to automatic pattern recognition tasks. The paper compares a state of the art non uniform approach with a novel scheme which fuses embedding and feature selection at once, searching for better reconstructions of the dynamics of the system. Moreover, results are also compared with two classic uniform embedding techniques. Thus, the goal is comparing uniform and non uniform reconstruction techniques, including the one proposed in this work, for pattern recognition in biomedical signal processing tasks. Once the state space is reconstructed, the scheme followed characterizes with three classic nonlinear dynamic features (Largest Lyapunov Exponent, Correlation Dimension and Recurrence Period Density Entropy), while classification is carried out by means of a simple k-nn classifier. In order to test its generalization capabilities, the approach was tested with three different physiological databases (Speech Pathologies, Epilepsy and Heart Murmurs). In terms of the accuracy obtained to automatically detect the presence of pathologies, and for the three types of biosignals analyzed, the non uniform techniques used in this work lightly outperformed the results obtained using the uniform methods, suggesting their usefulness to characterize non-stationary biomedical signals in pattern recognition applications. On the other hand, in view of the results obtained and its low computational load, the proposed technique suggests its applicability for the applications under study.

Ca-amendement and tillage: medium term synergies for improving key soil properties of acid soils. Soil and tillage research, 134: 195-206

Ca-amendments are routinely applied to improve acid soils, whilst no-tillage (NT) has been widely recommended in soils where traditional tillage (TT) has led to losses of organic matter. However, the potential interactions between the two treatments are only partially known. Our study was conducted on an annual forage crop agrosystem with a degraded Palexerult soil located in SW Spain, in order to assess if the combination of NT plus a Ca-amendment provides additional benefits to those of their separate use. To this end we analysed the effects of four different combinations of tillage and Ca-amendment on selected key soil properties, focusing on their relationships. The experimental design was a split-plot with four replicates. The main factor was tillage (NT versus TT) and the second factor was the application or not of a Ca-amendment, consisting of a mixture of sugar foam (SF) and red gypsum (RG). Soil samples were collected from 3 soil layers down to 50 cm after four years of treatment (2009). The use of the Ca-amendment improved pH and Al-toxicity down to 25 cm and increased exchangeable Ca2+ down to 50 cm, even under NT due to the combined effect of SF and RG. Both NT and the Ca-amendment had a beneficial effect on total organic carbon (TOC), especially on particulate organic carbon (POC), in the 0–5 cm layer, with the highest contents observed when both practices were combined. Unlike NT, the Ca-amendment failed to improve soil aggregation in spite of the carbon supplied. This carbon was not protected within the stable aggregates in the medium term, making it more susceptible to mineralization. We suggest that the fraction of Al extracted by oxalate from solid phase (AlOxa-Cu-K) and the glomalin-related soil proteins (GRSPs) are involved in the accumulation of carbon within water stable aggregates, probably through the formation of non-toxic stable Al-OM compounds, including those formed with GRSPs. NT alone decreased AlK in the 0–5 cm soil layer, possibly by increasing POC, TOC and GRSPs, which were observed to play a role in reducing Al toxicity. From our findings, the combination of NT and Ca-amendment appears to be the best management practice to improve chemical and physical characteristics of acid soils degraded by tillage.

A peptide derived from the non-receptor-binding region of urokinase plasminogen activator inhibits glioblastoma growth and angiogenesis in vivo in combination with cisplatin

The urokinase plasminogen activator system is involved in angiogenesis and tumor growth of malignant gliomas, which are highly neovascularized and so may be amenable to antiangiogenic therapy. In this paper, we describe the activity of Å6, an octamer capped peptide derived from the non-receptor-binding region of urokinase plasminogen activator. Å6 inhibited human microvascular endothelial cell migration but had no effect on the proliferation of human microvascular endothelial cells or U87MG glioma cells in vitro. In contrast, Å6 or cisplatin (CDDP) alone suppressed subcutaneous tumor growth in vivo by 48% and 53%, respectively, and, more strikingly, the combination of Å6 plus CDDP inhibited tumor growth by 92%. Such combination treatment also greatly reduced the volume of intracranial tumor xenografts and increased survival of tumor-bearing animals when compared with CDDP or Å6 alone. Tumors from the combination treatment group had significantly reduced neovascularization, suggesting a mechanism involving Å6-mediated inhibition of endothelial cell motility, thereby eliciting vascular sensitivity to CDDP-mediated toxicity. These data suggest that the combination of an angiogenesis inhibitor that targets endothelial cells with a cytotoxic agent may be a useful therapeutic approach.

Fourier transform infrared spectroscopy reveals a rigid α-helical assembly for the tetrameric Streptomyces lividans K+ channel

The structure of the tetrameric K+ channel from Streptomyces lividans in a lipid bilayer environment was studied by polarized attenuated total reflection Fourier transform infrared spectroscopy. The channel displays approximately 43% α-helical and 25% β-sheet content. In addition, H/D exchange experiments show that only 43% of the backbone amide protons are exchangeable with solvent. On average, the α-helices are tilted 33° normal to the membrane surface. The results are discussed in relationship to the lactose permease of Escherichia coli, a membrane transport protein.

Non-Arrhenius kinetics for the loop closure of a DNA hairpin

Intramolecular chain diffusion is an elementary process in the conformational fluctuations of the DNA hairpin-loop. We have studied the temperature and viscosity dependence of a model DNA hairpin-loop by FRET (fluorescence resonance energy transfer) fluctuation spectroscopy (FRETfs). Apparent thermodynamic parameters were obtained by analyzing the correlation amplitude through a two-state model and are consistent with steady-state fluorescence measurements. The kinetics of closing the loop show non-Arrhenius behavior, in agreement with theoretical prediction and other experimental measurements on peptide folding. The fluctuation rates show a fractional power dependence (β = 0.83) on the solution viscosity. A much slower intrachain diffusion coefficient in comparison to that of polypeptides was derived based on the first passage time theory of SSS [Szabo, A., Schulten, K. & Schulten, Z. (1980) J. Chem. Phys. 72, 4350–4357], suggesting that intrachain interactions, especially stacking interaction in the loop, might increase the roughness of the free energy surface of the DNA hairpin-loop.

16S rRNA genes reveal stratified open ocean bacterioplankton populations related to the Green Non-Sulfur bacteria.

Microorganisms play an important role in the biogeochemistry of the ocean surface layer, but spatial and temporal structures in the distributions of specific bacterioplankton species are largely unexplored, with the exceptions of those organisms that can be detected by either autofluorescence or culture methods. The use of rRNA genes as genetic markers provides a tool by which patterns in the growth, distribution, and activity of abundant bacterioplankton species can be studied regardless of the ease with which they can be cultured. Here we report an unusual cluster of related 16S rRNA genes (SAR202, SAR263, SAR279, SAR287, SAR293, SAR307) cloned from seawater collected at 250 m in the Sargasso Sea in August 1991, when the water column was highly stratified and the deep chlorophyll maximum was located at a depth of 120 m. Phylogenetic analysis and an unusual 15-bp deletion confirmed that the genes were related to the Green Non-Sulfur phylum of the domain Bacteria. This is the first evidence that representatives of this phylum occur in the open ocean. Oligonucleotide probes were used to examine the distribution of the SAR202 gene cluster in vertical profiles (0-250 m) from the Atlantic and Pacific Oceans, and in discrete (monthly) time series (O and 200 m) (over 30 consecutive months in the Western Sargasso Sea. The data provide robust statistical support for the conclusion that the SAR202 gene cluster is proportionately most abundant at the lower boundary of the deep chlorophyll maximum (P = 2.33 x 10(-5)). These results suggest that previously unsuspected stratification of microbial populations may be a significant factor in the ecology of the ocean surface layer.