Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

How varies optimal welfare pricing with income distribution? The case of the untolled alternative

In some countries, such as Spain, it is very common that in the same corridor there are two roads with the same origin and destination but with some differences. The most important contrast is that one is a toll highway which offers a better quality than the parallel road in exchange of a price. The users decide if the price of the toll is worth paying for the advantages offered. This problem is known as the untolled alternative and it has been largely studied in the academic literature, particularly related to economic efficiency and the optimal welfare toll. However, there is a gap in the academic literature regarding how income distribution affects the optimal toll. The main objective of the paper is to fill this gap. In this paper a theoretical model is developed in order to obtain the optimal welfare price in a toll highway that competes with a conventional road for capturing the traffic. This model is done for non-usual users who decide over the expectation of free flow conditions. This model is finally applied to the variables we want to focus on: average value of travel time (VTT) which is strongly related with income, dispersion of this VTT and traffic levels, from free flow to congestion. Derived from the results, we conclude that the higher the average VTT the higher the optimal price, the higher the dispersion of this VTT the lower the optimal price and finally, the more the traffic the higher the optimal toll

Fuga da promessa e nostalgia do divino: a antropologia de Dom Casmurro de Machado de Assis como tema no diálogo entre teologia e literatura

A ocupação principal deste trabalho residiu no diálogo entre a teologia e a literatura, primordialmente no interior do romance machadiano Dom Casmurro. Esta dissertação preconizou a antropologia emergente no romance machadiano em questão, como lugar das reflexões de cunho teológico. Para pauta de discussões, foram trazidas obras referenciais, que se apresentaram como o estado atual da questão acerca do diálogo entre teologia e literatura. A sustentação teórica deste trabalho se deu com apropriações conceituais de Paul Ricoeur, Antonio Carlos de Melo Magalhães e Gerard Genette. Portanto, o objetivo deste trabalho se delimitou na demonstração das relações entre o Deus que se revela e o humano machadiano, a partir do caráter antropológico do romance Dom Casmurro. A promessa e o caráter paratextual do capítulo em que ela é narrada, conduziram todas as análises realizadas, que culminaram na observação do antropológico como tema central do romance. Defendemos que a quebra das relações estabelecidas entre o humano machadiano e o Deus da promessa estabeleceu a instalação de um mundo desencantado diante da existência e da realidade do protagonista do romance, Bento Santiago.(AU)

Determinants and impact of suboptimal asthma control in Europe : The INTERNATIONAL CROSS-SECTIONAL AND LONGITUDINAL ASSESSMENT ON ASTHMA CONTROL (LIAISON) study

Acknowledgements We are grateful to THERAmetrics for the study management, data collection and analysis. The authors would like to thank the following investigators for their contribution (>30 patients enrolled): F. Fohler, A.G. Haider, J. Hesse-Tonsa, J. Messner, W. Pohl (Austria); G. Joos, J.L. Halloy, R. Peche, H. Simonis, P. Van den Brande (Belgium); B. Bugnas, J.M. Chavaillon, P. Debove, S. Dury, L. Mathieu, O. Lagrange, A. Prudhomme, S. Verdier (France); A. Benedix, O. Kestermann, A. Deimling, G. Eckhardt, M. Gernhold, V. Grimm-Sachs, M. Hoefer, G. Hoheisel, C. Stolpe, C. Schilder, M. John, J. Uerscheln, K.H. Zeisler (Germany); A. Chaniotou, P. Demertzis, V. Filaditaki-Loverdou, A. Gaga, E. Georgatou-Papageorgiou, S. Michailidis, G. Pavkalou, M. Toumpis (Greece); K. Csicsari, K. Hajdu, M. Póczi, M. Kukuly, T. Kecskes, C. Hangonyi, J. Schlezak, E. Takács, M. Szabo,G. Szabó, C. Szabo (Hungary); G.W. Canonica, W. Castellani, A. Cirillo, M.P. Foschino Barbaro, M. Gjomarkaj, G. Guerra, G. Idotta, D. Legnani, M. Lo Schiavo, R. Maselli, F. Mazza, S. Nutini, P. Paggiaro, A. Pietra, O. Resta, S. Salis, N.A. Scichilone, M.C. Zappa, A. Zedda (Italy); M. Goosens, R. Heller, K. Mansour, C. Meek, J. van den Berg (The Netherlands); A. Antczak, M. Faber, D. Madra-Rogacka, G. Mincewicz, M. Michnar, D. Olejniczak, G. Pulka, Z. Sankowski, K. Kowal, I. Krupa-Borek, B. Kubicka Kozik, K. Kuczynska, P. Kuna, A. Kwasniewski, M. Wozniak (Poland); F. Casas Maldonado, C. Cisneros, J. de Miguel Díez, L.M. Entrenas Costa, B. Garcìa-Cosio, M.V. Gonzales, L. Lores, M. Luengo, C. Martinez, C. Melero, I. Mir, X. Munoz, A. Pacheco, V. Plaza, J. Serra, J. Serrano, J.G. Soto Campos (Spain); T. Bekci, R. Demir, N. Dursunoglu, D. Ediger, A. Ekici, O. Goksel, H. Gunen, I.K. Oguzulgen, Z.F. Ozseker, (Turkey); L. Barnes, T. Hall, S. Montgomerie, J. Purohit, J. Ryan (United Kingdom). The authors would also like to thank P. Galletti (THERAMetrics S.p.A., Sesto San Giovanni, Italy) and K. Stockmeyer (THERAMetrics GmbH, Essen, Germany) for providing editorial assistance in the preparation of this manuscript. Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

Mapping the awareness of inequalities in health programs in Spanish communities: moving forward together

The aim of this study is to map the awareness of gender, socioeconomic, immigrant and ethnic health inequalities in health at schools, maternal health and traffic injury health prevention programs. The study was conducted in the 19 health descentralized areas in Spain, 17 autonomous community (ACs) and the 2 autonomous cities (ACities). The data were collected from May 2008 to January 2009. The unit of analysis was the collection of policy documents setting out the programs mentioned above and the related support material in each AC. A reading guide was used to analyze the awareness of inequalities. With regard to health at schools, 2 of 10 programs show a high awareness of inequalities and include many specific proposals to be implemented at the local level. Regarding maternal health, 13 ACs have prepared support material with high awareness of inequalities to be implemented. A traffic injury program has been created in two ACs. We map the whole situation in Spain regarding the health programs that we have used as examples and their awareness of inequalities. We can conclude that there are differences between the regions studied in Spain and in general, the awareness of inequalities is low.

Is health a right for all? An umbrella review of the barriers to health care access faced by migrants

Objective. To synthesise the scientific evidence concerning barriers to health care access faced by migrants. We sought to critically analyse this evidence with a view to guiding policies. Design. A systematic review methodology was used to identify systematic and scoping reviews which quantitatively or qualitatively analysed data from primary studies. The main variables analysed were structural and contextual barriers (health system organisation) as well as individual (patients and providers). The quality of evidence from the systematic reviews was critically appraised. From 2674 reviews, 79 were retained for further scrutiny, and finally 9 met the inclusion criteria. Results. The structural barriers identified were the lack of health insurance and the high cost of drugs (non-universal health system) and organisational aspects of health system (social insurance system and national health system). The individual barriers were linguistic and cultural. None of the reviews provided a quality appraisal of the studies. Conclusions. Barriers to health care for migrants range from entitlement in non-universal health systems to accessibility in universal ones, and determinants of access to the respective health services should be analysed within the corresponding national context. Generate social and institutional changes that eliminate barriers to access to health services is essential to ensure health for all.

Control glucémico a través del ejercicio físico en pacientes con diabetes mellitus tipo 2; revisión sistemática

Introducción: En España, cerca del 14% de la población es diabética y el 95% corresponde a DM2. Un pobre control glucémico provoca un aumento de la morbilidad y mortalidad. Tres son los pilares en el tratamiento de la DM2: la dieta, la medicación y el ejercicio físico, sin embargo, el potencial de la prescripción de entrenamiento físico no ha sido totalmente explotado. Objetivo: Analizar el efecto de las distintas modalidades de ejercicio físico (AE, RT, Combo, INT) en el control glucémico en pacientes con diabetes mellitus tipo 2. Métodos: La búsqueda bibliográfica se realizó en 3 bases de datos electrónicas (Pubmed, Scopus y Proquest), incluyendo publicaciones desde enero de 2011 hasta mayo de 2014, que realizaran la intervención con AE, RT, Combo o INT, y que midieran la glucemia a través de la glucosa capilar, CGMS o HbA1c. Resultados: Del total de 386 artículos encontrados, 14 cumplieron los criterios de inclusión. Estos artículos fueron clasificados atendiendo a la modalidad de ejercicio físico de la intervención (AE, RT, Combo, INT), y en función de si analizaban el control glucémico como consecuencia del entrenamiento a largo plazo o tras una sesión de entrenamiento. Conclusiones: El AE, RT, Combo e INT muestran eficacia en el control glucémico tanto en el entrenamiento prolongado como en las 24-48h post-entrenamiento. Es necesaria la prescripción de un entrenamiento estructurado con una frecuencia, volumen e intensidad determinados para lograr beneficios en el control glucémico. El combo es la modalidad que obtiene mejores resultados a través del entrenamiento a largo plazo.

Consideraciones iniciales del cambio de metodología presencial a MOOC. El caso de Sistemas Inteligentes

La evolución tecnológica afecta a todas las parcelas de actividad humana. Entre los aspectos más sensibles a esta evolución se encuentran la enseñanza y el aprendizaje tanto por su impacto en las competencias profesionales como por su uso para mejorar la calidad y relevancia de la docencia. Los profesores deben asumir un papel director ante esta situación que con el tiempo gana en protagonismo, siendo fundamental abordar la adaptación al cambio metodológico que supone la emergencia de la docencia on-line y la cada vez mayor presencia de los MOOC (acrónimo en inglés de massive open online course). En este trabajo se analiza la docencia on-line de materias de Inteligencia Artificial (IA), utilizando el paradigma de los MOOC como referencia. A tal fin, se revisan las características de los MOOC, sus aspectos metodológicos y sistemas de evaluación. Se particulariza el estudio de los MOOC en IA comparándolos con el enfoque de carácter presencial de la asignatura Sistemas Inteligentes. El objetivo de este trabajo es determinar los aspectos que deberían reenfocarse en esta materia bajo el paradigma MOOC. Deseamos destacar el soporte de la “Red de Investigación en Sistemas Inteligentes. Revisión de objetivos y contenidos de IA en el grado de Ingeniería Informática dentro del EESS” Código de Red ICE: 3300.

A diversidade linguístico-cultural no jardim de infância e na escola : perceções de educadores e professores

Relatório de estágio para a obtenção do grau de Mestre em educação pré-escolar e em ensino do 1.º ciclo do ensino básico

Quant j'ai ouy le tabourin = Whene'er the tambourine I hear /

At head of title: Trois chansons.

Battle of the naked men

Antonio del Pollaiuolo; 1 ft. 3 1/8 in.x 1 ft. 11 3/16 in.; engraving

El Demonio de los Andes.

Mode of access: Internet.

England and France in the fifteenth century. The contemporary Franch tract entitled "The debate between the heralds of France and England," presumed to have been written by Charles, duke of Orleans: translated for the first time into English; with an introduction, notes, an inquiry into the authorship, etc.

Mode of access: Internet.