Abstract multiple specialization and its application to program parallelization.

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. We study the múltiple specialization of logic programs based on abstract interpretation. This involves in principie, and based on information from global analysis, generating several versions of a program predicate for different uses of such predicate, optimizing these versions, and, finally, producing a new, "multiply specialized" program. While múltiple specialization has received theoretical attention, little previous evidence exists on its practicality. In this paper we report on the incorporation of múltiple specialization in a parallelizing compiler and quantify its effects. A novel approach to the design and implementation of the specialization system is proposed. The resulting implementation techniques result in identical specializations to those of the best previously proposed techniques but require little or no modification of some existing abstract interpreters. Our results show that, using the proposed techniques, the resulting "abstract múltiple specialization" is indeed a relevant technique in practice. In particular, in the parallelizing compiler application, a good number of run-time tests are eliminated and invariants extracted automatically from loops, resulting generally in lower overheads and in several cases in increased speedups.

Using combined static analysis and profiling for logic program execution time estimation

Predicting statically the running time of programs has many applications ranging from task scheduling in parallel execution to proving the ability of a program to meet strict time constraints. A starting point in order to attack this problem is to infer the computational complexity of such programs (or fragments thereof). This is one of the reasons why the development of static analysis techniques for inferring cost-related properties of programs (usually upper and/or lower bounds of actual costs) has received considerable attention.

Abstract specialization and its application to program parallelization

Program specialization optimizes programs for known valúes of the input. It is often the case that the set of possible input valúes is unknown, or this set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract valúes (substitutions), rather than concrete ones. This paper reports on the application of abstract múltiple specialization to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.

Building the qualification and a skill development program within the ENEN-III European Project

The ENEN III project covers the structuring, organization, coordination and implementation of training schemes in cooperation with local, national and international training organizations, to provide training to professionals active in nuclear organizations or their contractors and sub-contractors. The training schemes provide a portfolio of courses, training sessions, seminars, and workshops for continuous learning for upgrading knowledge and developing skills. The training schemes allow individuals to acquire qualifications and skills, as required by the specific positions in the nuclear sector which will be documented in a training passport. The essence of such passport is to be recognized within the EU by the whole nuclear sector which provides mobility to the individual looking for employment and an EU wide recruitment field for the nuclear employers.

Surveillance of habitats and plant diversity indicators across a regional gradient in the Iberian Peninsula

Dentro del Proyecto EBONE (Red de Observación de la Biodiversidad Europea) se analizan diferentes tipos de paisaje en varias zonas de Madrid y norte de Portugal. Se realiza un estudio de los habitats y la diversidad de especies con el objetivo principal de preservarlos y conservalos.

Comparison of fermentation characteristics and bacterial diversity in the rumen of sheep and batch cultures of rumen microorganisms

The objective of the current study was to assess how closely batch cultures (BC) of rumen microorganisms can mimic the dietary differences in fermentation characteristics found in the rumen, and to analyse changes in bacterial diversity over the in vitro incubation period. Four ruminally and duodenally cannulated sheep were fed four diets having forage : concentrate ratios (FCR) of 70 : 30 or 30 : 70, with either alfalfa hay or grass hay as forage. Rumen fluid from each sheep was used to inoculate BC containing the same diet fed to the donor sheep, and the main rumen fermentation parameters were determined after 24 h of incubation. There were differences between BC and sheep in the magnitude of most measured parameters, but BC detected differences among diets due to forage type similar to those found in sheep. In contrast, BC did not reproduce the dietary differences due to FCR found in sheep for pH, degradability of neutral detergent fibre and total volatile fatty acid (VFA) concentrations. There were differences between systems in the magnitude of most determined parameters and BC showed higher pH values and NH3–N concentrations, but lower fibre degradability and VFA and lactate concentrations compared with sheep. There were significant relationships between in vivo and in vitro values for molar proportions of acetate, propionate and butyrate, and the acetate : propionate ratio. The automated ribosomal intergenic spacer analysis (ARISA) of 16S ribosomal deoxyribonucleic acid showed that FCR had no effect on bacterial diversity either in the sheep rumen fluid used as inoculum (IN) or in BC samples. In contrast, bacterial diversity was greater with alfalfa hay diets than those with grass hay in the IN, but was unaffected by forage type in the BC. Similarity index between the bacterial communities in the inocula and those in the BC ranged from 67·2 to 74·7%, and was unaffected by diet characteristics. Bacterial diversity was lower in BC than in the inocula with 14 peaks out of a total of 181 detected in the ARISA electropherograms never appearing in BC samples, which suggests that incubation conditions in the BC may have caused a selection of some bacterial strains. However, each BC sample showed the highest similarity index with its corresponding rumen IN, which highlights the importance of using rumen fluid from donors fed a diet similar to that being incubated in BC when conducting in vitro experiments.

Intron “sliding” and the diversity of intron positions

Alignments of homologous genes typically reveal a great diversity of intron locations, far more than could fit comfortably in a single gene. Thus, a minority of these intron positions could be inherited from a single ancestral gene, but the larger share must be attributed to subsequent events of intron gain or intron “sliding” (movement from one position to another within a gene). Intron sliding has been argued from cases of discordant introns and from putative spatial clustering of intron positions. A list of 32 cases of discordant introns is presented here. Most of these cases are found to be artefactual. The spatial and phylogenetic distributions of intron positions from five published compilations of gene data, comprising 205 intron positions, have been examined systematically for evidence of intron sliding. The results suggest that sliding, if it occurs at all, has contributed little to the diversity of intron positions.

Expression profiling and sequence diversity of novel DREB genes from common bean (Phaseolus vulgaris L.) and their association with drought-related traits

Common bean is a major dietary component in several countries, but its productivity is negatively affected by abiotic stresses. Dissecting candidate genes involved in abiotic stress tolerance is a paramount step toward the improvement of common bean performance under such constraints. Thereby, this thesis presents a systematic analysis of the DEHYDRATION RESPONSIVE ELEMENT-BINDING (DREB) gene subfamily, which encompasses genes that regulate several processes during stress responses, but with limited information for common bean. First, a series of in silico analyses with sequences retrieved from the P. vulgaris genome on Phytozome supported the categorization of 54 putative PvDREB genes distributed within six phylogenetic subgroups (A-1 to A-6), along the 11 chromosomes. Second, we cloned four novel PvDREB genes and determined their inducibility-factors, including the dehydration-, salinity- and cold-inducible genes PvDREB1F and PvDREB5A, and the dehydration- and cold-inducible genes PvDREB2A and PvDREB6B. Afterwards, nucleotide polymorphisms were searched through Sanger sequencing along those genes, revealing a high number of single nucleotide polymorphisms within PvDREB6B by the comparison of Mesoamerican and Andean genotypes. The nomenclature of PvDREB6B is discussed in details. Furthermore, we used the BARCBean6K_3 SNP platform to identify and genotype the closest SNP to each one of the 54 PvDREB genes. We selected PvDREB6B for a broader study encompassing a collection of wild common bean accessions of Mesoamerican origin. The population structure of the wild beans was accessed using sequence polymorphisms of PvDREB6B. The genetic clusters were partially associated with variation in latitude, altitude, precipitation and temperature throughout the areas such beans are distributed. With an emphasis on drought stress, an adapted tube-screening method in greenhouse conditions enabled the phenotyping of several drought-related traits in the wild collection. Interestingly, our data revealed a correlation between root depth, plant height and biomass and the environmental data of the location of the accessions. Correlation was also observed between the population structure determined through PvDREB6B and the environmental data. An association study combining data from the SNP array and DREB polymorphisms enabled the detection of SNP associated with drought-related traits through a compressed mixed linear model (CMLM) analysis. This thesis highlighted important features of DREB genes in common bean, revealing candidates for further strategies aimed at improvement of abiotic stress tolerance, with emphasis on drought tolerance

Restaurant Health and Hygiene: A Model Program with Theory-Based Guidelines for Implementation

Poor hygienic practices and illness of restaurant employees are major contributors to the contamination of food and the occurrence of food-borne illness in the United States, costing the food industry and society billions of dollars each year. Risk factors associated with this problem include lack of proper handwashing; food handlers reporting to work sick; poor personal hygiene; and bare hand contact with ready-to-eat foods. However, traditional efforts to control these causes of food-borne illness by public health authorities have had limited impact, and have revealed the need for comprehensive and innovative programs that provide active managerial control over employee health and hygiene in restaurant establishments. Further, the introduction and eventual adoption by the food industry of such programs can be facilitated through the use of behavior-change theory. This Capstone Project develops a model program to assist restaurant owners and operators in exerting active control over health and hygiene in their establishments and provides theory-based recommendations for the introduction of the program to the food industry.

Greece and the European Agenda: EU Enlargement and European Monetary Union. Program for the Study of Germany & Europe Working Paper 8.2

In the decade to come, the European Union will embark on two new projects, each destined to transform it in fundamental ways: (i) Eastern enlargement, and (ii) economic and monetary union. Neither of these projects will affect all members equally or in the same way. But Greece will, for two reasons, be affected in a manner qualitatively different to all other member states. First, Greece is the only country physically affected by the Luxembourg Summit's decision to begin accession negotiations with some, but not all, Central and Eastern European applicant countries: as a result of this decision, she will continue, for at least another eight to ten years, to be the only member country not to share a common border with another member state, with all the consequent implications in economic and geostrategic tenns. Second, when the European Council meets in early May to select those member states that are deemed to have met the convergence criteria, it will find that Greece is the only member state falling short of those criteria. This development may create additional difficulties for her economy during the transitional period of derogation. It will also pose new risks to Greece, insofar as she will be absent during the initial-and crucial-years of establishing a common monetary policy.

De Gaulle and Europe: Historical Revision and Social Science Theory. Program for the Study of Germany and Europe Working Paper Series 8.5

The thousands of books and articles on Charles de Gaulle's policy toward European integration, whether written by historians, social scientists, or commentators, universally accord primary explanatory importance to the General's distinctive geopolitical ideology. In explaining his motivations, only secondary significance, if any at all, is attached to commercial considerations. This paper seeks to reverse this historiographical consensus by examining the four major decisions toward European integration during de Gaulle's presidency: the decisions to remain in the Common Market in 1958, to propose the Foucher Plan in the early 1960s, to veto British accession to the EC, and to provoke the "empty chair" crisis in 1965-1966, resulting in the "Luxembourg Compromise." In each case, the overwhelming bulk of the primary evidence-speeches, memoirs, or government documents-suggests that de Gaulle's primary motivation was economic, not geopolitical or ideological. Like his predecessors and successors, de Gaulle sought to promote French industry and agriculture by establishing protected markets for their export products. This empirical finding has three broader implications: (1) For those interesred in the European Union, it suggests that regional integration has been driven primarily by economic, not geopolitical considerations--even in the "least likely" case. (2) For those interested in the role of ideas in foreign policy, it suggests that strong interest groups in a democracy limit the impact of a leader's geopolitical ideology--even where the executive has very broad institutional autonomy. De Gaulle was a democratic statesman first and an ideological visionary second. (3) For those who employ qualitative case-study methods, it suggests that even a broad, representative sample of secondary sources does not create a firm basis for causal inference. For political scientists, as for historians, there is in many cases no reliable alternative to primary-source research.

Facilitating Mobility and Fostering Diversity: Getting EU Migration Governance to Respect the Human Rights of Migrants. CEPS Paper in Liberty and Security in Europe No. 92/May 2016

Migration towards Europe has surged over the past few years, overwhelming government authorities at the national and EU levels, and fuelling a xenophobic, nationalist, populist discourse linking migrants to security threats. Despite positive advances in the courts and worthy national initiatives (such as Italy’s Operation Mare Nostrum), the EU’s governance of migration and borders has had disastrous effects on the human rights of migrants. These effects stem from the criminalisation of migrants, which pushes them towards more precarious migration routes, the widespread use of administrative detention and the processing of asylum claims under the Dublin system, and now the EU–Turkey agreement. Yet, this paper finds that with the right political leadership, the EU could adopt different policies in order to develop and implement a human rights-based approach to migration that would seek to reconcile security concerns with the human rights of migrants. Such an approach would enable member states to fully reap the rewards of a stable, cohesive, long-term migration plan that facilitates and governs mobility rather than restricts it at immense cost to the EU, the member states and individual migrants.

U.S.-Mexico opium poppy and marijuana aerial eradication program /

At head of title: United States General Accounting Office. Testimony.