Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Nota biográfica sobre el General Mariano Gamir Ulibarri, Jefe del Cuerpo de Ejército Vasco entre mayo y agosto de 1937. La acompaña una nota biográfica sobre el libro "Relatos y reflexiones de la Guerra de España", obra de Francisco Ciutat, antiguo Jefe de Estado Mayor del Ejército del Norte de la República.

Fecha: >1970 / Unidad de instalación: Carpeta 48 - Expediente 7-2 / Nº de pág.: 2 (1 mecanografiada, 1 manuscrita)

Stability of the factorial structure of metabolic syndrome from childhood to adolescence : a 6-year follow-up study

Background: Metabolic syndrome (MS) is a clustering of cardiometabolic risk factors that is considered a predictor of cardiovascular disease, type 2 diabetes and mortality. There is no consistent evidence on whether the MS construct works in the same way in different populations and at different stages in life. Methods: We used confirmatory factor analysis to examine if a single-factor-model including waist circumference, triglycerides/HDL-c, insulin and mean arterial pressure underlies metabolic syndrome from the childhood to adolescence in a 6-years follow-up study in 174 Swedish and 460 Estonian children aged 9 years at baseline. Indeed, we analyze the tracking of a previously validated MS index over this 6-years period. Results: The estimates of goodness-of-fit for the single-factor-model underlying MS were acceptable both in children and adolescents. The construct stability of a new model including the differences from baseline to the end of the follow-up in the components of the proposed model displayed good fit indexes for the change, supporting the hypothesis of a single factor underlying MS component trends. Conclusions: A single-factor-model underlying MS is stable across the puberty in both Estonian and Swedish young people. The MS index tracks acceptably from childhood to adolescence.

Un episodio de “estilización” de la política antirrepublicana: la fiesta de San Francisco Javier de 1931 en Pamplona

[ES] Estudio de caso (Fiesta de S. Francisco en Pamplona, Navarra) del modo en que la derecha conservadora española (Bloque de Derechas) y los radicales (carlistas) emplearon densos elementos identificadores (“identidad”) de lo local (Navarra-España) y católica para generar actitudes y adhesiones políticas antirrepublicanas.

Crystal structure and phase transition studies in perovskite-type oxides using powder-diffraction techniques and symmetry-mode analysis : SrLnMRuO6 (Ln=La,Pr,Nd; M=Zn,Co,Mg,Ni,Fe) and ALn2CuTi2O9 (A=Ca,Ba; Ln=La,Pr,Nd,Sm)

La tesis se ha centrado en la síntesis y caracterización estructural de materiales tipo perovskita: SrLnMRuO6 (Ln=La,Pr,Nd; M=Zn,Co,Mg,Ni,Fe) y ALn2CuTi2O9 (A=Ca,Ba; Ln=La,Pr,Nd,Sm). El estudio de las estructuras de los materiales se ha realizado mediante el análisis de los patrones de difracción en polvo de rayos-X, sincrotrón y/o neutrones. En el refinamiento por el método de Rietveld de las estructuras se han sustituido las coordenadas atómicas (el método más común), por coordenadas colectivas: las amplitudes de los modos que describen la distorsión de la fase prototipo. Los resultados generales para la serie SrLnMRuO6 (Ln=La,Pr,Nd; M=Zn,Co,Mg,Ni) a temperatura ambiente se ha recogido en un diagrama en el que se han indicado las amplitudes de los modos que transforman de acuerdo a las irreps en función del factor de tolerancia, ya que todos ellos cristalizan en la misma fase monoclínica (P21/n); y a temperaturas altas se ha construido un diagrama de fase. Los materiales SrLnFeRuO6 ( Ln=La,Pr,Nd) y CaLn2CuTi2O9 cristalizan en la fase ortorrómbica Pbnm a temperatura ambiente; mientras que BaLn2CuTi2O9 tienen una estructura más simétrica, I4/mcm. A altas temperaturas se han identificado las transiciones de fase inducidas por el cambio de temperatura.A temperaturas bajas se han analizado las estructuras magnéticas de algunos de los compuestos mediante difracción de neutrones.

Análisis dieléctrico del compuesto La(1-x)Ca(x)MnO3 [x=0.2]

Lan honen helburua La1-x Cax MnO3 [x ~ 0.2] (perovskiten familiakoa) laginaren azterketan oinarritzen da. "High resolution dielectric analyzer" tresnari esker permitibitate dielektrikoa neurtuko da eta honen bitartez erresistentzia eta eroankortasun elektrikoa. Azterketa hau [10-2, 107] Hz maiztasun-tarte batean eta tenperatura desberdinetan (150K, 170K, 190K, 210K, 230K, 300K) burutuko da, ondoren materialak magnitude hauen bariazioekiko duen erantzuna aztertuz.

Cartas enviadas por Francisco de Abrisqueta a Justo Garate entre 1968 y 1973

8 cartas y 3 tarjetas (mecanografiadas y manuscritas) ; entre 220x280mm y 190x74mm. Ubicación: Caja 1 - Carpeta 2

Cartas enviadas por Francisco Apalategui a Justo Garate entre 1930 y 1931

1 tarjeta y 1 carta (manuscritas y mecanografiadas) ; entre 146x92mm y 135x215mm. Ubicación: Caja 1 - Carpeta 31

Cartas enviadas por Francisco R. de Arbulu a Justo Garate en 1970

12 cartas y 2 notas (manuscritas) ; entre 160x215mm y 240x350mm. Ubicación: Caja 1 - Carpeta 41

Cartas enviadas por Francisco R. de Arbulu a Justo Garate entre 1972 y 1973

12 cartas (manuscritas) ; entre 215x230mm y 210x2970mm. Ubicación: Caja 1 - Carpeta 41

Cartas enviadas por Francisco de Belausteguigoitia a Justo Garate entre 1925 y 1952

8 cartas (manuscritas y mecanografiadas) ; entre 315x200mm y 155x183mm .- 1 Tarjeta de Navidad (manuscrita) ; 100x280mm.- 1 Invitación de boda (mecanografiada) ; 170x110mm.

San Francisco : a city reinvented by creative innovation

The aim of this paper is to analyse the recent evolution of the city of San Francisco to outline the major features that have made it possible this continuing process of creative innovation in the city. In order to meet this objective, the project is framed around answering two key research questions: (1) what are the main economic and social elements that characterise urban change in the city of San Francisco and (2) which is the role of public strategies in the continuing economic success of San Francisco. The paper concludes that the successful performance of San Francisco is the result of the actions taken by many agents in the city, but the role of public authorities, especially the City and County, must be stressed, both through direct intervention and by coordinating, fostering and supporting the private and non-profit sectors. This is especially relevant in a country like the US where private initiative has been seen in many occasions as the greatest driver of economic and social success. Yet, the performance of San Francisco City cannot be explained without the role played by the public sector, in coordination with the civil society

Cartas enviadas por Francisco de Belausteguigoitia a Justo Garate entre 1953 y 1976

10 cartas (mecanografiadas) ; entre 215x275mm y 215x140mm

Cartas enviadas por Francisco de Belausteguigoitia a Justo Garate entre 1977 y 1980

8 cartas (mecanografiadas) ; entre 210x300mm y 215x140mm.- 1 carta de Justo Garate a Belausteguigoitia en 1968 (mecanografiada) ; 225x175mm.- 1 esquela de la viuda de Belausteguigoitia ; 120x70mm