Two efficient representations for set-sharing analysis in logic programs

Set-Sharing analysis, the classic Jacobs and Langen's domain, has been widely used to infer several interesting properties of programs at compile-time such as occurs-check reduction, automatic parallelization, flnite-tree analysis, etc. However, performing abstract uniflcation over this domain implies the use of a closure operation which makes the number of sharing groups grow exponentially. Much attention has been given in the literature to mitígate this key inefficiency in this otherwise very useful domain. In this paper we present two novel alternative representations for the traditional set-sharing domain, tSH and tNSH. which compress efficiently the number of elements into fewer elements enabling more efficient abstract operations, including abstract uniflcation, without any loss of accuracy. Our experimental evaluation supports that both representations can reduce dramatically the number of sharing groups showing they can be more practical solutions towards scalable set-sharing.

Functionalism and Caprice in Stonecutting. The Case of the Nativity Chapel in Burgos Cathedral

Starting from the inaugural text of Philibert de L'Orme, stereotomic treatises and manuscripts are subject to the opposing forces of reason and fancy. The Nativity Chapel in Burgos Cathedral provides an outstanding case study on this subject. It was built in 1571-1582 by Martín de Bérriz and Martín de la Haya, using an oval vault resting on trumpet squinches to span a rectangular bay. Bed joints and rib axes are not planar curves, as usual in oval vaults. This warping is not capricious; we shall argue that it is the outcome of a systematic tracing method. As a result of this process, the slope of the bed joints increases slightly in the first courses, but stays fairly constant after the third course; this solution prevents the upper courses from slipping. Thus, in the Nativity Chapel of Burgos Cathedral, the constraints of masonry construction fostered a singular solution verging on capriccio. It is also worthwhile to remark that the warping of the joints is not easily appreciable to the eye and that the tracing process does not seem to start from a previous conception of the resulting form. All this suggests that we should be quite careful when talking about the whimsical character of Late Gothic and Early Renaissance; in some occasions, apparent caprice is the offspring of practical thinking.

Polypropylene fiber-reinforced self-compacting concrete for the reconstruction of the cathedral of La Laguna, Canary Island, Spain

High performance materials are needed for the reconstruction of such a singular building as a cathedral, since in addition to special mechanical properties, high self compact ability, high durability and high surface quality, are specified. Because of the project’s specifications, the use of polypropylene fiber-reinforced, self-compacting concrete was selected by the engineering office. The low quality of local materials and the lack of experience in applying macro polypropylene fiber for structural reinforcement with these components materials required the development of a pretesting program. To optimize the mix design, performance was evaluated following technical, economical and constructability criteria. Since the addition of fibers reduces concrete self-compactability, many trials were run to determine the optimal mix proportions. The variables introduced were paste volume; the aggregate skeleton of two or three fractions plus limestone filler; fiber type and dosage. Two mix designs were selected from the preliminary results. The first one was used as reference for self-compactability and mechanical properties. The second one was an optimized mix with a reduction in cement content of 20 kg/m3and fiber dosage of 1 kg/m3. For these mix designs, extended testing was carried out to measure the compression and flexural strength, modulus of elasticity, toughness, and water permeability resistance

The Ciborium or Lantern Tower of Valencia Cathedral: Geometry, Construction and Stability

Early 18th century treatise writer Tomas Vicente Tosca1 includes in his Tratado de la montea y cortes de Canteria [On Masonry Design and Stone Cutting], what is an important documentary source about the lantern of Valencia Cathedral. Tosca writes about this lantern as an example of vaulting over cross arches without the need of buttresses. A geometrical description is followed by an explanation of the structural behavior which manifests his deep understanding of the mechanics of masonry structures. He tries to demonstrate the absence of buttresses supporting his thesis on the appropriate distribution of loads which will reduce the "empujos" [horizontal thrusts] to the point of not requiring more than the thickness of the walls to stand (Tosca [1727] 1992, 227-230). The present article2 assesses T osca' s appreciation studying how loads and the thrusts they generate are transmitted through the different masonry elements that constitute this ciborium. In order to do so, we first present a geometrical analysis and make considerations regarding its materials and construction methods to, subsequently, analyze its stability adopting an equilibrium approach within the theoretical framework of the lower bound limit analysis.

The Ciborium or Lantern Tower of Valencia Cathedral: Geometry, Construction and Stability

Early 18th century treatise writer Tomas Vicente Tosca1 includes in his Tratado de la montea y cortes de Canteria [On Masonry Design and Stone Cutting], what is an important documentary source about the lantern of Valencia Cathedral. Tosca writes about this lantern as an example of vaulting over cross arches without the need of buttresses. A geometrical description is followed by an explanation of the structural behavior which manifests his deep understanding of the mechanics of masonry structures. He tries to demonstrate the absence of buttresses supporting his thesis on the appropriate distribution of loads which will reduce the "empujos" [horizontal thrusts] to the point of not requiring more than the thickness of the walls to stand (Tosca [1727] 1992, 227-230). The present article2 assesses T osca' s appreciation studying how loads and the thrusts they generate are transmitted through the different masonry elements that constitute this ciborium. In order to do so, we first present a geometrical analysis and make considerations regarding its materials and construction methods to, subsequently, analyze its stability adopting an equilibrium approach within the theoretical framework of the lower bound limit analysis.

The Irregular Ribbed Vault of the Sacristy of the Cathedral of Saint-Jean Baptiste in Perpignan

The vault of the sacristy of the Cathedral of Saint-Jean Baptiste in Perpignan (France), constructed by the Majorcan architect Guillem Sagrera between 1433 and 1447, is an outstanding, yet strikingly unknown, example of rib vaulting. This paper analyzes the overall construction of the form of the vault, characterized by its highly irregular perimeter, with particular attention to an isolated decorated corbel which solves the problem of the wall support of a group of six ribs and is in stark contrast with the rest of the supports, which are completely unadorned. Given the extreme rigour of Sagrera in all his works (and this one in particular), this apparent “capriccio” must be justified not only by decorative or formal requirements, but also by the constructive logic of Gothic vaulting system

CO2 Emission from two old mine drillings (Mt. Amiata, Central Italy) as a possible example of storage and leakage of deep-seated CO2

CO2 Emission from two old mine drillings (Mt. Amiata, Central Italy) as a possible example of storage and leakage of deep-seated CO2

New data on the Pleistocene of Trani (Adriatic Coast, Southern Italy)

Along the Apulian Adriatic coast, in a cliff south of Trani, a succession of three units (superimposed on one another) of marine and/or paralic environments has been recognised. The lowest unit I is characterised by calcareous/siliciclastic sands (css), micritic limestones (ml), stromatolitic and characean boundstones (scb), characean calcarenites (cc). The sedimentary environment merges from shallow marine, with low energy and temporary episodes of subaerial exposure, to lagoonal with a few exchanges with the sea. The lagoonal stromatolites (scb subunit) grew during a long period of relative stability of a high sea level in tropical climate. The unit I is truncated at the top by an erosion surface on which the unit II overlies; this consists of a basal pebble lag (bpl), silicicla - stic sands (ss), calcareous sands (cs), characean boundstones (cb), brown paleosol (bp). The sedimentary environment varies from beach to lagoon with salinity variations. Although there are indications of seismic events within the subunits cs, unit II deposition took place in a context of relative stability. The unit II is referable to a sea level highstand. Unit III, trangressive on the preceding, consists of white calcareous sands (wcs), calcareous sands and calcarenites (csc), phytoclastic calcirudite and phytohermal travertine (pcpt), mixed deposits (csl, m, k, c), sands (s) and red/brown paleosols (rbp). The sedimentation of this unit was affected by synsedimentary tectonic, attested by seismites found at several heights. Also the unit III is referable to a sea level highstand. The scientific literature has so far generally attributed to the Tyrrhenian (auct.) the deposits of Trani cliff. As part of this work some datings were performed on 10 samples, using the amino acid racemization method (AAR) applied to ostracod carapaces. Four of these samples have been rejected because they have shown in laboratory recent contamination. The numerical ages indicate that the deposits of the Trani cliff are older than MIS 5. The upper part of the unit I has been dated to 355±85 ka BP, thus allowing to assign the lowest stromatolitic subunit (scb) at the MIS 11 peak and the top of the unit I at the MIS 11-MIS 10 interval. The base of the unit II has been dated to 333±118 ka BP, thus attributing the erosion surface that bounds the units I and II to the MIS 10 lowstand and the lower part of the unit II to MIS 9.3. The upper part of the unit II has been dated to 234±35 ka BP, while three other numerical ages come from unit III: 303±35, 267±51, 247±61 ka BP. At present, the numerical ages cannot distinguish the sedimentation ages of units II and III, which are both related to the MIS 9.3- MIS 7.1 time range. However, the position of the units, superimposed one another, and their respective age, allows us to recognise a subsidence phase between MIS 11 and MIS 7, followed by an uplift phase between the MIS 7 and the present day, which led the deposits in their current position. This tectonic pattern is not in full agreement with what is described in the literature for the Apulian foreland.

Origin of the gases released from the Acqua Passante and Ermeta wells (Mt. Amiata, central Italy) and possible environmental implications for their closure

The Mt. Amiata volcano (Tuscany, central Italy) hosts the second largest geothermal field of Italy. Its SW and NE sectors are characterized by the presence of several CO2-rich (mayor que95% by vol.) gas discharges. An intense Hg mining activity had taken place from the 19th century up to the end of the ?70s, particularly close to Abbadia San Salvatore, during which two drillings (Acqua Passante and Ermeta) intercepted a CO2-rich gas fertile horizon. The related gases are emitted in the atmosphere since 1938 and 1959, respectively, causing severe concerns for the local air quality. In this work the results of a geochemical and isotopic survey carried out on these gas emissions from March 2009 to January 2014 are presented. CO2 fluxes from both the two wells and soil from an area of about 653,500 m2 located between them were measured. The two wells are emitting up to 15,000, 92 and 8 tons y-1 of CO2, CH4 and H2S, respectively, while the computed soil CO2 output was estimated at 4,311 ton y-1. The spatial distribution of the CO2 soil flux suggests the presence of preferential patterns, indicating sites of higher permeability. Since the local municipality is evaluating the possibility to plug the Ermeta vent, a temporarily closure should first be carried out to test the possible influence of this operation on the diffuse soil degassing of deep-originated CO2 in the surrounding area. This implies that diffuse soil gases should carefully be monitored before proceeding with its definitive closure.

A landscape architectural design approach:the restoration of the Angel Tower and the Cloister of the Cathedral of Cuenca.

Este artículo trata de analizar la reciente evolución de los conceptos sobre intervención en el Patrimonio Cultural. Para ello utiliza como modelo el proyecto metodológico aplicado sobre las dos últimas actuaciones efectuadas en la Catedral de Cuenca. La Carta de Atenas, 1931, que estableció las bases de la modernidad sobre las dos trayectorias de espacio y tiempo, concuerdan hoy después de casi un siglo, recuperando su punto de encuentro. El artículo básicamente valora el potencial que los proyectos contemporáneos de intervención en el patrimonio pueden ofrecer cuando estudias su trayectoria en el paisaje. En orden a certificar sus transformaciones desde la actualidad, el singular monumento de la Catedral de Cuenca, utilizado como modelo, nos aporta a través de sus materiales y morfología la memoria secular que nos informa de sus técnicas constructivas y valores sociales. Este modelo abre un diálogo entre teoría y práctica reflejado a través de los trabajos de restauración aplicados. Después de treinta años de experiencia restauradora llevada a cabo por los autores, las dos últimas intervenciones que son minuciosamente expuestas, revelan algunas nuevas estrategias de aplicación en el proyecto de intervención.

Benetton Nursery, Treviso (Italy) 2007

A BOX OPEN TO THE SKY = UNA CAJA ABIERTA AL CIELO

Cathedral Square

Collaborator: Modesto Sánchez Morales

Janus House, Reggio Emilia, Italy (1992)

This house was born in response to an international competition organized in Italy; la Casa piú bella del Mondo (the most beautiful house in the world).