The conventional facade solution during the developmental period in Gipuzkoa: decline (and end) of a construction system

The article analyses the construction process, the evolution and the disturbing future of the facade enclosure of the collective housing constructions built during the developmental period in the province of Gipuzkoa. 128 residential complexes were checked, and 17 people who directly took part in the construction of many of these buildings were interviewed. After examining the material and elements that make up the conventional facade solution used in Gipuzkoa and in much of Spain not only during those years but also up to the present time, the effects and causes of its main damages and flaws were studied. Its complex and costly adaptation to current demands is going to require a strong effort from society at large, and this raises the question of whether the life cycle of this construction system should be terminated once and for all.

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.

Using the system dynamics paradigm in teaching and learning technological university subjets

2nd International Conference on Education and New Learning Technologies