Program analysis, debugging and optimization using the ciao system preprocessor

We present a tutorial overview of Ciaopp, the Ciao system preprocessor. Ciao is a public-domain, next-generation logic programming system, which subsumes ISO-Prolog and is specifically designed to a) be highly extensible via librarles and b) support modular program analysis, debugging, and optimization. The latter tasks are performed in an integrated fashion by Ciaopp. Ciaopp uses modular, incremental abstract interpretation to infer properties of program predicates and literals, including types, variable instantiation properties (including modes), non-failure, determinacy, bounds on computational cost, bounds on sizes of terms in the program, etc. Using such analysis information, Ciaopp can find errors at compile-time in programs and/or perform partial verification. Ciaopp checks how programs cali system librarles and also any assertions present in the program or in other modules used by the program. These assertions are also used to genérate documentation automatically. Ciaopp also uses analysis information to perform program transformations and optimizations such as múltiple abstract specialization, parallelization (including granularity control), and optimization of run-time tests for properties which cannot be checked completely at compile-time. We illustrate "hands-on" the use of Ciaopp in all these tasks. By design, Ciaopp is a generic tool, which can be easily tailored to perform these and other tasks for different LP and CLP dialects.

Deployment and validation of a smart system for screening of language disorders in primary care

Neuro-evolutive development from birth until the age of six years is a decisive factor in a child?s quality of life. Early detection of development disorders in early childhood can facilitate necessary diagnosis and/or treatment. Primary-care pediatricians play a key role in its detection as they can undertake the preventive and therapeutic actions requested to promote a child?s optimal development. However, the lack of time and little specific knowledge at primary-care avoid to applying continuous early-detection anomalies procedures. This research paper focuses on the deployment and evaluation of a smart system that enhances the screening of language disorders in primary care. Pediatricians get support to proceed with early referral of language disorders. The proposed model provides them with a decision-support tool for referral actions to trigger essential diagnostic and/or therapeutic actions for a comprehensive individual development. The research was conducted by starting from a sample of 60 cases of children with language disorders. Validation was carried out through two complementary steps: first, by including a team of seven experts from the fields of neonatology, pediatrics, neurology and language therapy, and, second, through the evaluation of 21 more previously diagnosed cases. The results obtained show that therapist positively accepted the system proposal in 18 cases (86%) and suggested system redesign for single referral to a speech therapist in three remaining cases.

Impact of introducing longer and heavier vehicles on regional consumer price index and Spanish road freight transport system

This paper applies an integrated modeling approach to the case of Spain; the approach is based on a random utility-based multiregional input-output model and a road transport network model for assessing the effect of introducing longer and heavier vehicles (LHVs) on the regional consumer price index (CPI) and on the transportation system. The approach strongly supports the concept that changes in transport costs derived from the LHV allowance as well as the economic structure of regions have direct and indirect effects on the economy and on the transportation system. Results show that the introduction of LHVs might reduce prices paid by consumers for a representative basket of goods and services in the regions of Spain and would also lead to a reduction in the regional CPI. In addition, the magnitude and extent of changes in the transportation system are estimated by using the commodity-based structure of the approach to identify the effect of traffic changes on traffic flows and on pollutant emissions over the whole network.

Versatile 5′ phosphoryl coupling of small and large molecules to an RNA

A Ca2+-requiring catalytic RNA is shown to create 5′ phosphate–phosphate linkages with all nucleotides and coenzymes including CoA, nicotinamide adenine dinucleotide phosphate, thiamine phosphate, thiamine pyrophosphate, and flavin mononucleotide. In addition to these small molecules, macromolecules such as RNAs with 5′-diphosphates, and nonnucleotide molecules like Nɛ-phosphate arginine and 6-phosphate gluconic acid also react. That is, the self-capping RNA isolate 6 is an apparently universal 5′ phosphate-linker, reacting with any nucleophile containing an unblocked phosphate. These RNA reactions demonstrate a unique RNA catalytic capability and imply versatile and specific posttranscriptional RNA modification by RNA catalysis.

Multiple imprinted sense and antisense transcripts, differential methylation and tandem repeats in a putative imprinting control region upstream of mouse Igf2

The mouse insulin-like growth factor 2 (Igf2) locus is a complex genomic region that produces multiple transcripts from alternative promoters. Expression at this locus is regulated by parental imprinting. However, despite the existence of putative imprinting control elements in the Igf2 upstream region, imprinted transcriptional repression is abolished by null mutations at the linked H19 locus. To clarify the extent to which the Igf2 upstream region contains autonomous imprinting control elements we have performed functional and comparative analyses of the region in the mouse and human. Here we report the existence of multiple, overlapping imprinted (maternally repressed) sense and antisense transcripts that are associated with a tandem repeat in the mouse Igf2 upstream region. Regions flanking the repeat exhibit tissue-specific parental allelic methylation patterns, suggesting the existence of tissue-specific control elements in the upstream region. Studies in H19 null mice indicate that both parental allelic methylation and monoallelic expression of the upstream transcripts depends on an intact H19 gene acting in cis. The homologous region in human IGF2 is structurally conserved, with the significant exception that it does not contain a tandem repeat. Our results support the proposal that tandem repeats act to target methylation to imprinted genetic loci.

Signals and signs in the nervous system: The dynamic anatomy of electrical activity is probably information-rich

The dichotomy between two groups of workers on neuroelectrical activity is retarding progress. To study the interrelations between neuronal unit spike activity and compound field potentials of cell populations is both unfashionable and technically challenging. Neither of the mutual disparagements is justified: that spikes are to higher functions as the alphabet is to Shakespeare and that slow field potentials are irrelevant epiphenomena. Spikes are not the basis of the neural code but of multiple codes that coexist with nonspike codes. Field potentials are mainly information-rich signs of underlying processes, but sometimes they are also signals for neighboring cells, that is, they exert influence. This paper concerns opportunities for new research with many channels of wide-band (spike and slow wave) recording. A wealth of structure in time and three-dimensional space is different at each scale—micro-, meso-, and macroactivity. The depth of our ignorance is emphasized to underline the opportunities for uncovering new principles. We cannot currently estimate the relative importance of spikes and synaptic communication vs. extrasynaptic graded signals. In spite of a preponderance of literature on the former, we must consider the latter as probably important. We are in a primitive stage of looking at the time series of wide-band voltages in the compound, local field, potentials and of choosing descriptors that discriminate appropriately among brain loci, states (functions), stages (ontogeny, senescence), and taxa (evolution). This is not surprising, since the brains in higher species are surely the most complex systems known. They must be the greatest reservoir of new discoveries in nature. The complexity should not deter us, but a dose of humility can stimulate the flow of imaginative juices.

Galaxies and large scale structure at high redshifts

It is now straightforward to assemble large samples of very high redshift (z ∼ 3) field galaxies selected by their pronounced spectral discontinuity at the rest frame Lyman limit of hydrogen (at 912 Å). This makes possible both statistical analyses of the properties of the galaxies and the first direct glimpse of the progression of the growth of their large-scale distribution at such an early epoch. Here I present a summary of the progress made in these areas to date and some preliminary results of and future plans for a targeted redshift survey at z = 2.7–3.4. Also discussed is how the same discovery method may be used to obtain a “census” of star formation in the high redshift Universe, and the current implications for the history of galaxy formation as a function of cosmic epoch.

Metabolism of Alzheimer beta-amyloid precursor protein: regulation by protein kinase A in intact cells and in a cell-free system.

Various compounds that affect signal transduction regulate the relative utilization of alternative processing pathways for the beta-amyloid precursor protein (beta APP) in intact cells, increasing the production of nonamyloidogenic soluble beta APP (s beta APP) and decreasing that of amyloidogenic beta-amyloid peptide. In a recent study directed toward elucidating the mechanisms underlying phorbol ester-stimulated s beta APP secretion from cells, it was demonstrated that protein kinase C increases the formation from the trans-Golgi network (TGN) of beta APP-containing secretory vesicles. Here we present evidence that forskolin increases s beta APP production from intact PC12 cells, and protein kinase A stimulates formation from the TGN of beta APP-containing vesicles. Although protein kinase A and protein kinase C converge at the level of formation from the TGN of beta APP-containing vesicles, additional evidence indicates that the regulatory mechanisms involved are distinct.

Unification and large-scale structure.

The hypothesis of relativistic flow on parsec scales, coupled with the symmetrical (and therefore subrelativistic) outer structure of extended radio sources, requires that jets decelerate on scales observable with the Very Large Array. The consequences of this idea for the appearances of FRI and FRII radio sources are explored.

The effect of the geomagnetic field on cosmic ray energy estimates and large scale anisotropy searches on data from the Pierre Auger Observatory

We present a comprehensive study of the influence of the geomagnetic field on the energy estimation of extensive air showers with a zenith angle smaller than 60 degrees, detected at the Pierre Auger Observatory. the geomagnetic field induces an azimuthal modulation of the estimated energy of cosmic rays up to the similar to 2% level at large zenith angles. We present a method to account for this modulation of the reconstructed energy. We analyse the effect of the modulation on large scale anisotropy searches in the arrival direction distributions of cosmic rays. At a given energy, the geomagnetic effect is shown to induce a pseudo-dipolar pattern at the percent level in the declination distribution that needs to be accounted for.

Partial collapse of a ventilated stone façade: Diagnosis and analysis of the anchorage system

The mechanical behaviour of transventilated façades performed by natural stone is necessarily based on the correct execution of both anchoring elements on the stone cladding as in the ones corresponding to the enclosure support, either with brick masonry walls or reinforced concrete walls. In the case studied in the present work, the origin of the damages suffered on the façade of a building located in Alcoy has been analyzed, where the detachment of part of the outer enclosure occurred. This enclosure is a transventilated façade formed by Bateig Blue stone tiles. To this end, “in situ” tests of the anchoring systems employed have been performed, as well as laboratory tests of mechanical characterization of the material and of different types of anchor, comparing these results with those obtained in both the simplified analytical models of continuum mechanics as developed by the Finite Element Method (FEM).