Towards an Abstract Domain for Resource Analysis of Logic Programs 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 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 both, inferring 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.Comment: Part of WLPE 2013 proceedings (arXiv:1308.2055

Re-Employment Probabilities for Spanish Men: What Role Does the Unemployment Benefit System Play?

We analyse the re-employment probabilities of almost 330,000 Spanish men aged 20-59 years who began a unemployment insurance (UI) spell between February 1987 and November 1991 using data derived from the national unemployment benefit administration database (SIPRE) and discrete time duration models with flexible baseline hazards. We show: (i) the level of UI benefits has a relatively small disincentive effect on re-employment rates; (ii) re-employment exit hazards increase as UI exhaustion approaches but, again, the effect is relatively small. (iii) Extensions to Unemployment Assistance eligibility lowered reemployment probabilities. Also (iv) there are clear seasonal and cyclical effects on reemployment rates, and (v) rates are much higher for those who enter UI from a fixed-term employment contract rather than permanent one, and (vi) for young workers. These results are consistent with other research drawing attention to the impact on unemployment of inflexibilities in Spanish labour market institutions, combined with low inter-regional mobility and reliance by many for support via their family.

Are the MCVL tax data useful? Ideas for mining

This article analyzes the tax data from the Spanish “Continuous Sample of Working life”, which contains an overview for each fiscal year of all income tax withholdings and prepayments on earned income, economic activities and income assignments of salaried workers, pensioners and recipients of unemployment benefits. To that end, we present the characteristics of these data; we provide a detailed statistical description for the years 2004-2009, linked to information from personal files and those of contributors to the Spanish social security system; and we highlight the opportunities for analysis of some issues related to the labour market and income distribution.tax data, MCVl, income, labour market, panel dat

The influence of previous labour market experiences on subsequent job tenure

The aim of this paper is to analyse the influence of individual’s previous labour market experiences on the duration of subsequent job matches in the Spanish labour market. The study draws on a sample of workers extracted from a Spanish administrative dataset. We find evidence on the existence of a scarring effect: the longer the time spent in non-employment since previous job separation, the shorter the duration of subsequent re-employment relationships. Other result is that workers whose previous job match terminated due to the ending of a temporary contract are very likely to come back to employment under another temporary job and have a higher probability of job termination. The exhaustion of unemployment benefits also seems to exert a scarring effect on job duration.job tenure, job separations, non-employment, employment.

Observed modes of sea surface temperature variability in the South Pacific region

The South Pacific (SP) region exerts large control on the climate of the Southern Hemisphere at many times scales. This paper identifies the main modes of interannual sea surface temperature (SST) variability in the SP which consist of a tropical-driven mode related to a horseshoe structure of positive/negative SST anomalies within midlatitudes and highly correlated to ENSO and Interdecadal Pacific Oscillation (IPO) variability, and another mode mostly confined to extratropical latitudes which is characterized by zonal propagation of SST anomalies within the South Pacific Gyre. Both modes are associated with temperature and rainfall anomalies over the continental regions of the Southern Hemisphere. Besides the leading mode which is related to well known warmer/cooler and drier/moister conditions due to its relationship with ENSO and the IPO, an inspection of the extratropical mode indicates that it is associated with distinct patterns of sea level pressure and surface temperature advection. These relationships are used here as plausible and partial explanations to the observed warming trend observed within the Southern Hemisphere during the last decades.The authors would like to thank Scott Power for his comments on an earlier version of the manuscript and the two anonymous reviewers whose suggestions led to a substantial improvement of the paper. This study was supported by Grants UBACyT-20020100100803, UBACyT-20020120300051, PIP-11220120100586 and the SPECS (GA 308378) EU-funded Project. JG-S was partially supported by the H2020-funded MSCA-IF-EF DPETNA project (GA No. 655339). The authors acknowledge the Red Española de Supercomputación (RES) and PRACE for awarding access to MareNostrum 3 at the Barcelona Supercomputing Center through the HiResClim project. The support of Virginie Guémas and Oriol Mula-Valls at the Barcelona Supercomputing Center is warmly appreciated.Peer ReviewedPostprint (author's final draft

Patologías más frecuentes del antepié en el baile flamenco. Revisión bibliográfica

Treball Final de Grau de Podologia, Facultat de Medicina i Ciències de la Salut, Universitat de Barcelona, curs: 2016-2017, Tutor: Olga Mañé MoceIntroducción: El Hallux Abductus Valgus (H.A.V.) y los dedos en garra presentan múltiples etiologías, por lo que la práctica del baile flamenco puede ser uno de los motivos de su aparición. Objetivos: Este estudio consiste en comprobar si la práctica del baile flamenco influye en la aparición de H.A.V. y deformidades de dedos en garra. Además de analizar los tratamientos más convenientes para estos pacientes. Material y métodos: Para realizar este estudio se ha hecho una búsqueda en bases de datos de carácter científico. No ha sido limitada por años de publicación ni por idioma, seleccionando artículos que tenían el texto completo disponible. Resultados: Podemos afirmar que con la bibliografía consultada existe una muy alta prevalencia de H.A.V. y dedos en garra en las bailarinas profesionales de flamenco. Discusiones: Se ha observado como la presencia de H.AV. y dedos en garra está relacionada con múltiples factores etiológicos de carácter extrínseco e intrínseco. Estas dos patologías pueden ser tratadas de diferentes formas, el criterio de elección dependerá de la situación del paciente. Conclusiones: El estudio muestra una relación entre la práctica del baile flamenco y la aparición de H.A.V. y dedos en garra. Los tratamientos más convenientes para estas patologías son los conservadores

Animales nocturnos, la venganza se sirve por escrito

Una atractiva mujer llamada Susan (Amy Adams) vive inmersa en sus propios, lujosos, artificios artísticos (organiza exposiciones de arte vanguardista y lleva una vida de los más cool) pero tras la apariencia de sus éxitos sociales y profesionales, Susan está realmente afectada, y atrapada, en una frustración emocional primaria, al no conseguir romper la frialdad en las relaciones con su esposo (ese típico ejecutivo atareado enganchado emocionalmente a su amante). Bastan unos cuantos planos de contextualización para situarnos ante el desencadenante del film, el mismo de la novela, cuando la mujer recibe, de forma inesperada, el original de un libro de su ex marido, Edward, un escritor frustrado (Jake Gyllenhaal). Anidando en este vacío emocional en su vida, Susan, en el pasado implacable crítica literaria de todo lo que escribía su ex, queda ahora atrapada en la lectura del nuevo texto (se diría que este libro ha sido escrito explícitamente para ella, a quien está dedicado). Poco a poco, desde la primera página, va aflorando su vida pasada y la mujer va percibiendo que lo narrado, aunque aparentemente no tenga nada que ver con sus vidas, es una forma sutil de venganza, aquella que se escribe con el dardo certero de las palabras que dan en el blanco (en las que percibe ecos del romanticismo del pasado). Sin poder evitarlo, Susan queda enganchada a la lectura de la historia cruel del personaje de la ficción novelada, Tony Hastings, profesor de matemáticas (también interpretado por Jake Gyllenhaal), un doble imaginario de Edward. La historia de Tony, cuya mujer e hija son raptadas en plena autopista en el inicio de un viaje de vacaciones por unos piratas de la carretera, es el verdadero eje dramático de la película, que se va desdoblando en los paralelismos de la historia pasada de la relación entre Susan y Edward, componiendo dos planos narrativos paralelos. El relato de la impotencia de Tony para proteger a su familia tiene tanta fuerza para Susan que le resulta imposible desentenderse de él y de su pasado, a partir de la identificación entre Tony y Edward