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

Análisis de la situación energética en España

Para poder entender la situación actual y los cambios que son necesarios realizar para aumentar el ahorro energético es imprescindible conocer la relación española con la energía y la tendencia de consumos energéticos, así como su posible adecuación y cumplimiento con los objetivos y compromisos adquiridos con las distintas directivas europeas. El grado de autoabastecimiento energético de España es pequeño aunque muestra una tendencia positiva debido al distinto desarrollo de los planes energéticos. El sector de la edificación es el tercer consumidor de energía representando un 30% del consumo total del país, y el consumo residencial representa el 9,78% de este mismo consumo. Con estos datos podemos constatar la importancia de ahorro energético en el sector de la construcción residencial, con dos caminos bien diferenciados y coordinados por distintas normativas, como son la nueva edificación y la rehabilitación de las ya existentes. Aunque sea difícil el cumplir los objetivos de la Directiva 2009/28/CE un buen desarrollo normativo y adecuación de las edificaciones existentes harán que la tendencia y los indicadores del cumplimiento, sean favorables y esperanzadores para el futuro

La Misión franciscana del Yurumanguí.

La costa del Pacífico colombiano estuvo aislada respecto al interior del continente durante todo el período colonial. Al margen del desarrollo de los valles del interior quedó inexplorada hasta bien entrado el siglo XVIII. El descubrimiento de una nación de indios gentiles puso en advertencia tanto a mineros, con intereses económicos en la zona, como a los religiosos ante la oportunidad de mantener una misión. El intento de evangelización de los indios del Yurumanguí muestra las dificultades y la crisis del sistema misional llevado a cabo por los franciscanos en la segunda mitad del siglo XVIII. El empuje misional desarrollado a lo largo de los siglos XVI y XVII se enfrentaba a problemas de índoles económica y de efectivos dentro de las propias órdenes religiosas

El obispado de Cartagena de Indias en el siglo XVIII (iglesia y poder en la Cartagena colonial)

La ciudad de Cartagena de Indias jugó un papel destacado dentro del entramado del sistema colonial americano. Las autoridades coloniales tenían la enorme responsabilidad de gobernar un territorio clave para el comercio y para la estabilidad de las posesiones americanas. La máxima autoridad política era el gobernador pero no quedaba al margen la del obispo de la diócesis. Desde su fundación en 1534 los obispos que gobernaron la sede cartagenera jugaron un papel muy importante en la organización política de la ciudad, siendo un perfecto contrapoder que solo vería limitada su acción con la llegada de los nuevos aires regalistas de la nueva dinastía borbónica. Sin llegar a ser un obispado de gran importancia, la diócesis de Cartagena alcanzó durante el siglo XVIII cierto esplendor, pero sin dejar atrás los problemas que se cernían sobre los obispados de provincias: la falta de rentas, un clero poco formado o el descenso de población indígena impidieron el desarrollo de una red diocesana bien estructurada. Sin embargo, al margen quedó la capital, con un recinto poblado de edificaciones religiosas, que vio aparecer el auge del criollismo dentro de su estado eclesiástico y que se convertiría al final de la centuria en uno de los escenarios de la incipiente emancipación

Catecismo taurino : breve compendio de conocimientos útiles á los aficionados á toros

Copia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 201

Toreros, toreritos y torerazos : 303 semblanzas en 303 décimas

Copia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 201

Catecismo taurino : breve compendio de conocimientos útiles á los aficionados á toros

En cub. original consta: Segunda ediciónCopia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 201

Historia taurómaca de Ricardo Torres (Bombita) : apreciaciones y detalles de diez y nueve años de vida taurina

Copia digital. Valladolid : Junta de Castilla y León. Consejería de Cultura y Turismo, 201

An Integrative Decision-Making Mechanism for Consumers’ Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics

Consumers perform decision-making (DM) processes to select their preferred brands during their entire consumer journeys. These DM processes are based on the multiple perceptions they have about the products available in the market they are aware of. These consumers usually perform different DM strategies and employ diverse heuristics depending on the nature of the purchase, ranging from more pure optimal choices to faster decisions. Therefore, the design of realistic DM approaches for modeling these consumer behaviors requires a good representation of consumer perceptions and a reliable process for integrating their corresponding heuristics. In this work, we use fuzzy linguistic information to represent consumer perceptions and propose four consumer DM heuristics to model the qualitative linguistic information for the consumer buying decision. In particular, we use 2-tuple fuzzy linguistic variables, which is a substantially more natural and realistic representation without falling in a loss of information. The set of selected heuristics differ in the degree of involvement the consumers give to their decisions. Additionally, we propose a heuristic selection mechanism to integrate the four heuristics in a single DM procedure by using a regulation parameter. Our experimental analysis shows that the combination of these heuristics in a portfolio manner improves the performance of our model with a realistic representation of consumer perceptions. The model’s outcome matches the expected behavior of the consumers in several real market scenarios