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

Biblioteca y sociedad

Depto. de Biblioteconomía y DocumentaciónFac. de Ciencias de la DocumentaciónFALSEunpu

Función democrática de la biblioteca pública en la sociedad de la información

Se analiza críticamente el discurso dominante sobre la sociedad de la información, se ponen de relieve las limitaciones al acceso a una información veraz y se destaca la función democrática de la biblioteca

Derecho a la información y democracia en el marco de la globalización neoliberal: bibliotecas, archivos y medios de comunicación de masas

El artículo trata de la importancia del derecho a la información para la participación democrática, un derecho que discurre principalmente a través de los medios de comunicación de masas, pero en el que están implicados también las bibliotecas y los archivos. La consideración de la información como mercancía y la mercantilización de los servicios públicos amenazan el derecho ciudadano a la información y, por tanto, deterioran la calidad de la democracia.The article deals with the importance of the right to information for participation in democracy, a right exercised mainly through mass communications media but in which libraries and archives are also concerned. The consideration of information as a commodity and the treatment of public services as such constitute a threat to the citizen’s information rights and, consequently, to deterioration in the quality of the democracy

La enseñanza de los derechos humanos en la Universidad

El artículo reflexiona sobre la necesidad de la formación en derechos humanos en la enseñanza universitaria, de acuerdo con el criterio de las Naciones Unidas y del Consejo de Europa. Por otro lado, se comenta la escasa incidencia de asignaturas de derechos humanos en la universidad española, aportando datos parciales de una muestra de titulaciones

Mechanical characterization of composite materials: fracture energies

Advanced fields like the aerospace industry have seen in the last years an important increasing use of composite materials for their main structures, thanks to the exceptional physical properties they offer at a low weight. Determining some of their most important properties, such as fracture energies, has a significant economic cost on their development, due to the necessity of performing several experimental tests. This thesis aims at creating some FEM models of tension and compression tests using SIMULIA ABAQUS software, that could be used as a cheaper and faster alternative to those carried out in a laboratory. Experimental data will be used to validate the results, and an analysis discussing the feasibility of the models will be performed considering different studied parameters.Ingeniería Aeroespacial (Plan 2010

Rpd3L and Hda1 histone deacetylases facilitate repair of broken forks by promoting sister chromatid cohesion

Genome stability involves accurate replication and DNA repair. Broken replication forks, such as those encountering a nick, lead to double strand breaks (DSBs), which are preferentially repaired by sister-chromatid recombination (SCR). To decipher the role of chromatin in eukaryotic DSB repair, here we analyze a collection of yeast chromatin-modifying mutants using a previously developed system for the molecular analysis of repair of replication-born DSBs by SCR based on a mini-HO site. We confirm the candidates through FLP-based systems based on a mutated version of the FLP flipase that causes nicks on either the leading or lagging DNA strands. We demonstrate that Rpd3L and Hda1 histone deacetylase (HDAC) complexes contribute to the repair of replication-born DSBs by facilitating cohesin loading, with no effect on other types of homology-dependent repair, thus preventing genome instability. We conclude that histone deacetylation favors general sister chromatid cohesion as a necessary step in SCR

Inhomogeneities and caustics in the sedimentation of noninertial particles in incompressible flows

In an incompressible flow, fluid density remains invariant along fluid element trajectories. This implies that the spatial distribution of non-interacting noninertial particles in such flows cannot develop density inhomogeneities beyond those that are already introduced in the initial condition. However, in certain practical situations, density is measured or accumulated on (hyper-) surfaces of dimensionality lower than the full dimensionality of the flow in which the particles move. An example is the observation of particle distributions sedimented on the floor of the ocean. In such cases, even if the initial distribution of noninertial particles is uniform within a finite support in an incompressible flow, advection in the flow will give rise to inhomogeneities in the observed density. In this paper we analytically derive, in the framework of an initially homogeneous particle sheet sedimenting towards a bottom surface, the relationship between the geometry of the flow and the emerging distribution. From a physical point of view, we identify the two processes that generate inhomogeneities to be the stretching within the sheet, and the projection of the deformed sheet onto the target surface. We point out that an extreme form of inhomogeneity, caustics, can develop for sheets. We exemplify our geometrical results with simulations of particle advection in a simple kinematic flow, study the dependence on various parameters involved, and illustrate that the basic mechanisms work similarly if the initial (homogeneous) distribution occupies a more general region of finite extension rather than a sheet.Comment: 56 pages, 17 figure

Implications of the design of monetary policy for financial stability

This paper is a contribution to the literature on the factors behind financial stability, focusing on monetary policy design. In particular, it assesses empirically for a sample of 79 countries in the period 1970 to 2000 whether the choice of the central bank objectives and the monetary policy strategy affect financial stability. We find that focusing the central bank objectives on price stability reduces the likelihood of a banking crisis. This result is robust to several model specifications and groups of countries. As regards the monetary policy strategy, exchange rate targeting significantly reduces the likelihood of a banking crisis for some model specifications and, in particular, for the group of countries in transition.Monetary policy design, monetary policy objectives, monetary policy strategy, financial stability, and banking crisis