Task granularity analysis in logic programs

While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the work involved in task creation and scheduling. In practice, therefore, the "granularity" of a goal, i.e. an estimate of the work available under it, should be taken into account when deciding whether or not to execute a goal concurrently as a sepárate task. This paper describes a method for estimating the granularity of a goal at compile time. The runtime overhead associated with our approach is usually quite small, and the performance improvements resulting from the incorporation of grainsize control can be quite good. This is shown by means of experimental results.

Complete and efficient methods for supporting side effects in independent/restricted and-parallelism

It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of such programs. In particular, it is possible to parallelize pure Prolog programs while maintaining the semantics of the language. However, when builtin side-effects (such as write or assert) appear in the program, if an identical observable behaviour to that of sequential Prolog implementations is to be preserved, such side-effects have to be properly sequenced. Previously proposed solutions to this problem are either incomplete (lacking, for example, backtracking semantics) or they force sequentialization of significant portions of the execution graph which could otherwise run in parallel. In this paper a series of side-effect synchronization methods are proposed which incur lower overhead and allow more parallelism than those previously proposed. Most importantly, and unlike previous proposals, they have well-defined backward execution behaviour and require only a small modification to a given (And-parallel) Prolog implementation.

Parallelism and implementation of logic and constraint logic programming

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system.

Two efficient representations for set-sharing analysis in logic programs

Set-Sharing analysis, the classic Jacobs and Langen's domain, has been widely used to infer several interesting properties of programs at compile-time such as occurs-check reduction, automatic parallelization, flnite-tree analysis, etc. However, performing abstract uniflcation over this domain implies the use of a closure operation which makes the number of sharing groups grow exponentially. Much attention has been given in the literature to mitígate this key inefficiency in this otherwise very useful domain. In this paper we present two novel alternative representations for the traditional set-sharing domain, tSH and tNSH. which compress efficiently the number of elements into fewer elements enabling more efficient abstract operations, including abstract uniflcation, without any loss of accuracy. Our experimental evaluation supports that both representations can reduce dramatically the number of sharing groups showing they can be more practical solutions towards scalable set-sharing.

A generic framework for the analysis and specialization of logic programs

The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argüe is the first fully described generic algorithm for efñcient and precise integration of abstract interpretation and partial deduction. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial deduction, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calis which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of such parameters correspond to existing algorithms for program analysis and specialization. Simultaneously, our approach opens the door to the efñcient computation of strictly more precise results than those achievable by each of the individual techniques. The algorithm is now one of the key components of the CiaoPP analysis and specialization system.

Dynamic term size computation in logic programs via program transformation

Knowing the size of the terms to which program variables are bound at run-time in logic programs is required in a class of applications related to program optimization such as, for example, recursion elimination and granularity analysis. Such size is difficult to even approximate at compile time and is thus generally computed at run-time by using (possibly predefined) predicates which traverse the terms involved. We propose a technique based on program transformation which has the potential of performing this computation much more efficiently. The technique is based on finding program procedures which are called before those in which knowledge regarding term sizes is needed and which traverse the terms whose size is to be determined, and transforming such procedures so that they compute term sizes "on the fly". We present a systematic way of determining whether a given program can be transformed in order to compute a given term size at a given program point without additional term traversal. Also, if several such transformations are possible our approach allows finding minimal transformations under certain criteria. We also discuss the advantages and present some applications of our technique.

Survey on integration of Applied Geology and Geomorphology in Civil Engineering curricula in the framework of the European Higher Education Area (EHEA) by using practical trips

The engineer must have sufficient theoretical knowledge to be applied to solve specific problems, with the necessary capacity to simplify these approaches, and taking into account factors such as speed, simplicity, quality and economy. In Geology, its ultimate goal is the exploration of the history of the geological events through observation, deduction, reasoning and, in exceptional cases by the direct underground exploration or experimentation. Experimentation is very limited in Geology. Reproduction laboratory of certain phenomena or geological processes is difficult because both time and space become a large scale. For this reason, some Earth Sciences are in a nearly descriptive stage whereas others closest to the experimental, Geophysics and Geochemistry, have assimilated progress experienced by the physics and chemistry. Thus, Anglo-Saxon countries clearly separate Engineering Geology from Geological Engineering, i.e. Applied Geology to the Geological Engineering concepts. Although there is a big professional overlap, the first one corresponds to scientific approach, while the last one corresponds to a technological one. Applied Geology to Engineering could be defined as the Science and Applied Geology to the design, construction and performance of engineering infrastructures in and field geology discipline. There has been much discussion on the primacy of theory over practice. Today prevails the exaggeration of practice, but you get good workers and routine and mediocre teachers. This idea forgets too that teaching problem is a problem of right balance. The approach of the action lines on the European Higher Education Area (EHEA) framework provides for such balance. Applied Geology subject represents the first real contact with the physical environment with the practice profession and works. Besides, the situation of the topic in the first trace of Study Plans for many students implies the link to other subjects and topics of the career (tunnels, dams, groundwater, roads, etc). This work analyses in depth the justification of such practical trips. It shows the criteria and methods of planning and the result which manifests itself in pupils. Once practical trips experience developed, the objective work tries to know about results and changes on student’s motivation in learning perspective. This is done regardless of the outcome of their knowledge achievements assessed properly and they are not subject to such work. For this objective, it has been designed a survey about their motivation before and after trip. Survey was made by the Unidad Docente de Geología Aplicada of the Departamento de Ingeniería y Morfología del Terreno (Escuela Técnica Superior de Ingenieros de Caminos, Canales y Puertos, Universidad Politécnica de Madrid). It was completely anonymous. Its objective was to collect the opinion of the student as a key agent of learning and teaching of the subject. All the work takes place under new teaching/learning criteria approach at the European framework in Higher Education. The results are exceptionally good with 90% of student’s participation and with very high scores in a number of questions as the itineraries, teachers and visited places (range of 4.5 to 4.2 in a 5 points scale). The majority of students are very satisfied (average of 4.5 in a 5 points scale).

A Dynamically Adaptable Bus Architecture for Trading-Off Among Performance, Consumption and Dependability in Cyber-Physical Systems

Cyber-Physical Systems need to handle increasingly complex tasks, which additionally, may have variable operating conditions over time. Therefore, dynamic resource management to adapt the system to different needs is required. In this paper, a new bus-based architecture, called ARTICo3, which by means of Dynamic Partial Reconfiguration, allows the replication of hardware tasks to support module redundancy, multi-thread operation or dual-rail solutions for enhanced side-channel attack protection is presented. A configuration-aware data transaction unit permits data dispatching to more than one module in parallel, or provide coalesced data dispatching among different units to maximize the advantages of burst transactions. The selection of a given configuration is application independent but context-aware, which may be achieved by the combination of a multi-thread model similar to the CUDA kernel model specification, combined with a dynamic thread/task/kernel scheduler. A multi-kernel application for face recognition is used as an application example to show one scenario of the ARTICo3 architecture.

Graphoids and separoids in model theory

We treat graphoid and separoid structures within the mathematical framework of model theory, specially suited for representing and analysing axiomatic systems with multiple semantics. We represent the graphoid axiom set in model theory, and translate algebraic separoid structures to another axiom set over the same symbols as graphoids. This brings both structures to a common, sound theoretical ground where they can be fairly compared. Our contribution further serves as a bridge between the most recent developments in formal logic research, and the well-known graphoid applications in probabilistic graphical modelling.

Anglicisms and calques in upper social class in pre-revolutionary Cuba (1930–1959): A sociolinguistic analysis

The geographical proximity and socioeconomic dependence on the United States brought about a deep rooted anglicization of the Cuban Spanish lexis and social strata, especially throughout the Neocolonial period (1902–1959). This study is based on the revision of a renowned newspaper of that time, Diario de la Marina, and the corresponding elaboration of a corpus of English-induced loanwords. Diario de la Marina particularly targeted upper social class, and only crónicas sociales (society pages’ columns) and print advertising were revised because of their fully descriptive texts, which encoded the ruling class ideology and consumerism. The findings show that there existed a high number of lexical and cultural anglicisms in the sociolect in question, and that the sociolinguistic anglicization was openly embraced by the upper socioeconomic stratum, entailing a differentiating sign of sophistication and social stratification. Likewise, a number of the anglicisms collected, particularly those related with social events, are unused in contemporary Cuban Spanish, which suggests a major semantic shifting in this sociolect after 1959.

Developmental Activities That Lead to Dropout and Investment in Sport

Background: Studies suggest that expert performance in sport is the result of long-term engagement in a highly specialized form of training termed deliberate practice. The relationship between accumulated deliberate practice and performance predicts that those who begin deliberate practice at a young age accumulate more practice hours over time and would, therefore, have a significant performance advantage. However, qualitative studies have shown that a large amount of sport-specific practice at a young age may lead to negative consequences, such as dropout, and is not necessarily the only path to expert performance in sport. Studies have yet to investigate the activity context, such as the amount of early sport participation, deliberate play and deliberate practice within which dropout occurs. Purpose: To determine whether the nature and amount of childhood-organized sport, deliberate play and deliberate practice participation influence athletes' subsequent decisions to drop out or invest in organized sport. It was hypothesized that young athletes who drop out will have sampled fewer sports, spent less time in deliberate play activities and spent more time in deliberate practice activities during childhood sport involvement. Participants: The parents of eight current, high-level, male, minor ice hockey players formed an active group. The parents of four high-level, male, minor ice hockey players who had recently withdrawn from competitive hockey formed a dropout group. Data collection: Parents completed a structured retrospective survey designed to assess their sons' involvement in organized sport, deliberate play and deliberate practice activities from ages 6 to 13. Data analysis: A complete data-set was available for ages 6 through 13, resulting in a longitudinal data-set spanning eight years. This eight-year range was divided into three levels of development corresponding to the players' progress through the youth ice hockey system. Level one encompassed ages 6–9, level two included ages 10–11 and level three covered ages 12–13. Descriptive statistics were used to report the ages at which the active and dropout players first engaged in select hockey activities. ANOVA with repeated measures across the three levels of development was used to compare the number of sports the active and dropout players were involved in outside of hockey, the number of hours spent in these sports, and involvement in various hockey-related activities. Findings: Results indicated that both the active and dropout players enjoyed a diverse and playful introduction to sport. Furthermore, the active and dropout players invested similar amounts of time in organized hockey games, organized hockey practices, specialized hockey training activities (e.g. hockey camps) and hockey play. However, analysis revealed that the dropout players began off-ice training at a younger age and invested significantly more hours/year in off-ice training at ages 12–13, indicating that engaging in off-ice training activities at a younger age may have negative implications for long-term ice hockey participation. Conclusion: These results are consistent with previous research that has found that early diversification does not hinder sport-specific skill development and it may, in fact, be preferable to early specialization. The active and dropout players differed in one important aspect of deliberate practice: off-ice training activities. The dropout players began off-ice training at a younger age, and participated in more off-ice training at ages 12 and 13 than their active counterparts. This indicates a form of early specialization and supports the postulate that early involvement in practice activities that are not enjoyable may ultimately undermine the intrinsic motivation to continue in sport. Youth sport programs should not focus on developing athletic fitness through intense and routine training, but rather on sport-specific practice, games and play activities that foster fun and enjoyment.

Commonalities and Differences in Labour Market Developments and Constraints in Different EU Regions. Factor Markets Working Paper No. 22, February 2012

This paper provides a detailed overview of the differences across EU member states’ labour markets, through the extensive use of descriptive statistics. The objective is two-fold: firstly, it identifies the commonalities and differences in rural labour markets across EU regions and their developments, with special regard to agriculture, and secondly it emphasises the constraints that may hinder the efficient functioning of labour markets. Therefore, the paper starts with a description of the main indicators in the general labour market theory, such as the structure of the population in terms of age and gender distribution, unemployment and activity rates, employment levels, quality of human capital, migration patterns, and so forth. Secondly, we focus on the differences among rural and urban areas to then look closely at the agricultural sector. The institutional framework in which labour market institutions operate is also included. Lastly, as an attempt to summarise the analysis and to classify the EU member states according to certain rural and specific agricultural indicators, cluster analysis is also employed. Policy implications include investment in human capital and vocational training, support to young farmers, promoting economic diversification and upgrading infrastructure, with special regard to the new member states and to the Southern parts of Europe.

Ethnic Politics, Regime Support and Conflict in Central and Eastern Europe

Ethnicity and ethnic parties have often been portrayed as a threat to political stability. There is also no shortage of conflicts with an ethnic flavor. Yet, this book challenges the notion that the organization of politics in heterogeneous societies should necessarily overcome ethnicity. Rather, descriptive representation of ethnic groups arguably has potential to increase regime support and reduce conflict. The book studies partisan-descriptive representation of up to 130 ethnic groups in central and eastern European democracies. Ethnic minority parties are found to only run and succeed if they can expect electoral support sufficient to pass the electoral threshold. Conditional on gender and strategies of representation, ethnic representation increases satisfaction with democracy among the minority population. While protest rises given moderate levels of representation, it is reduced once ethnic groups have access to executives. In conclusion, a proportional vision of power-sharing between ethnic groups receives some qualified empirical support.

Descriptive and classified missionary centenary catalogue of current Christian literature : 1907 continuing that of 1901 (Wen-li and Mandarin) /

"A continuation of the labors of Mr. Alexander Kenmure ... and of the still earlier work of Dr. Alexander Wylie."--Pref.

Survey and excavations in southern Ecuador,

Descriptive letterpress on versos facing the plates.