Logic programs P and Q are strongly equivalent if, given any program R, programs P ∪R and Q ∪R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalent transformations of logic programs: one can prove that a local change is correct without considering the whole program. Lifschitz, Pearce and Valverde showed that Heyting’s logic of here-an...

Many complex systems are amenable to be described as networks (Solé and Valverde, 2004; Albert and Barabasi, 2002; Albert et al., 1999; Newman, 2003), and it has been a recent trend to study common topological features of such networks. Network diameter, clustering coefficients, modularity, community structure, information content are some features analysed in recent literature (Alon, 2007; Liz...

1. Eckert C, Gautier V, Arlet G. DNA sequence analysis of the genetic environment of blaCTX-M genes. J Antimicrob Chemother 2006; 57: 14–23. 2. Cantón R, Coque TM. The CTX-M b-lactamase pandemic. Curr Opin Microbiol 2006; 9: 466–75. 3. Partridge SR, Hall RM. In34, a complex In5 family class 1 integron containing orf513 and dfrA10. Antimicrob Agents Chemother 2003; 47: 342–9. 4. Valverde A, Cant...

Since an immunoassay technique was first applied for measurement of glucagon, many studies on circulating glucagon levels under various conditions have been conducted. Their results, however, are not necessarily unanimous, as suggested by the fact that more than twenty fold differences in plasma immunoreactive glucagon (IRG) values in fasting healthy subjects have been reported. (Schalch, 1966;...

The purpose of this paper is to present an algorithmic pipeline for melodic pattern detection in audio files. Our method follows a two-stage approach: first, vocal pitch sequences are extracted from the audio recordings by means of a predominant fundamental frequency estimation technique; second, instances of the patterns are detected directly in the pitch sequences by means of a dynamic progra...

This is a study of how the combination of cultural and structural factors, which played a major role during the historical fertility and nuptiality transition, have continued to condition demographic innovations connected to the “second demographic transition”(SDT). The continuity or discontinuity from the “first” to the “second” demographic transition is studied for spatial aggregates over mor...

1. Faul JL, Leonard CT, Burke CM, Tormey VJ, Poulter LW. Fluticasone propionate induced alterations to lung function and the immunopathology of asthma over time. Thorax 1998; 53: 753±761. 2. Barnes PJ, Pedersen S. Efficacy and safety of inhaled corticosteroids in asthma. Am Rev Respir Dis 1993; 148: Suppl. 4, S1±S26. 3. Faul JL, Tormey W, Tormey V, Burke CM. High dose inhaled corticosteroids an...