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

Variations on topological recurrence

Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate finite versions of recurrence, and describe connections to combinatorial problems. In particular, we show that sets of Bohr recurrence (meaning sets of recurrence for rotations) suffice for recurrence in nilsystems. Additionally, we prove an extension of this property for multiple recurrence in affine systems

The National Library of Argentina: exhibiting astronomy-related rare books

Astronomical and cosmological knowledge up to the dawn of modern science was profoundly embedded in myth, religion and superstition. Many of these inventions of the human mind remain today stored in different supports: medieval engravings, illuminated manuscripts, and of course also in old and rare books.Comment: to appear in The Role of Astronomy in Society and Culture: Proceedings of the IAU Symposium 260, D. Valls-Gabaud and A. Boksenberg (eds), Cambridge: Cambridge University Press, IAU Symposia Serie

Anthocyanins inhibit tumor necrosis alpha-induced loss of Caco-2 cell barrier integrity

An increased permeability of the intestinal barrier is proposed as a major event in the pathophysiology of conditions characterized by chronic gut inflammation. This study investigated the capacity of pure anthocyanins (AC), and berry and rice extracts containing different types and amounts of AC, to inhibit tumor necrosis alpha (TNFα)-induced permeabilization of Caco-2 cell monolayers. Caco-2 cells differentiated into intestinal epithelial cell monolayers were incubated in the absence/presence of TNFα, with or without the addition of AC or AC-rich plant extracts (ACRE). AC and ACRE inhibited TNFα-induced loss of monolayer permeability as assessed by changes in transepithelial electrical resistance (TEER) and paracellular transport of FITC-dextran. In the range of concentrations tested (0.25–1 μM), O-glucosides of cyanidin, and delphinidin, but not those of malvidin, peonidin and petunidin protected the monolayer from TNFα-induced decrease of TEER and increase of FITC-dextran permeability. Cyanidin and delphinidin acted by mitigating TNFα-triggered activation of transcription factor NF-κB, and downstream phosphorylation of myosin light chain (MLC). The protective actions of the ACRE on TNFα-induced TEER increase was positively correlated with the sum of cyanidins and delphinidins (r2 = 0.83) content in the ACRE. However, no correlation was observed between TEER and ACRE total AC, malvidin, or peonidin content. Results support a particular capacity of cyanidins and delphinidins in the protection of the intestinal barrier against inflammation-induced permeabilization, in part through the inhibition of the NF-κB pathway.Fil: Cremonini, Eleonora. University of California at Davis; Estados UnidosFil: Mastaloudis, Angela. Nu Skin Enterprises; Estados UnidosFil: Hester, Shelly N.. Nu Skin Enterprises; Estados UnidosFil: Verstraeten, Sandra Viviana. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Departamento de Química Biológica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Química y Físico-Química Biológicas "Prof. Alejandro C. Paladini". Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Química y Físico-Química Biológicas; ArgentinaFil: Anderson, Maureen. University of California at Davis; Estados UnidosFil: Wood, Steven M.. Nu Skin Enterprises; Estados UnidosFil: Waterhouse, Andrew L.. University of California at Davis; Estados UnidosFil: Fraga, César Guillermo. University of California at Davis; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Bioquímica y Medicina Molecular. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica. Instituto de Bioquímica y Medicina Molecular; ArgentinaFil: Oteiza, Patricia Isabel. University of California at Davis; Estados Unidos. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

Design and Experimental Validation of an Explicit MPC Controller for Regulating Temperature in PEM Fuel Cell Systems

This paper proposes a temperature controller for PEM fuel cell systems with an air blower as thermal circuit. The objective of this controller is to maintain the stack temperature over a given set-point which is obtained from the results of a real-time optimization algorithm with the goal of minimizing the stack degradation and maximizing the global efficiency. An Explicit MPC is proposed to deal with this control problem which presents delays, the critical sampling time, constraints and disturbances. The simulation results show good performance of the controller which accurately tracks the temperature reference over the overall range of operating conditions. Furthermore, the controller is implemented in real-time on a PEM fuel cell test-bench which is installed in the Fuel Cell Laboratory at the University of Seville

Ground state energy fluctuations in the Nuclear Shell Model

Statistical fluctuations of the nuclear ground state energies are estimated using shell model calculations in which particles in the valence shells interact through well defined forces, and are coupled to an upper shell governed by random 2-body interactions. Induced ground-state energy fluctuations are found to be one order of magnitude smaller than those previously associated with chaotic components, in close agreement with independent perturbative estimates based on the spreading widths of excited states.Comment: 4 pages, 4 figures, to be published in Physics Leters

Monk business: an example of the dynamics of organizations.

In this paper we present a dynamic model of an organization. It is shown that the quality of the members of the organization may cycle and that even if the organization promotes excellency, the organization may end up populated by mediocre agents only.Overlapping generations; Quanty organization;

Quantum chaos and nuclear mass systematics

The presence of quantum chaos in nuclear mass systematics is analyzed by considering the differences between measured and calculated nuclear masses as a time series described by the power law 1/ f^alpha. While for the liquid droplet model plus shell corrections a quantum chaotic behavior alpha approx 1 is found, errors in the microscopic mass formula have alpha approx 0.5, closer to white noise. The chaotic behavior seems to arise from many body effects not included in the mass formula.Comment: 4 pages, 6 figures, replaced to match the published versio