Uncovering Dependence Clusters and Linchpin Functions

Dependence clusters are (maximal) collections of mutually dependent source code entities according to some dependence relation. Their presence in software complicates many maintenance activities including testing, refactoring, and feature extraction. Despite several studies finding them common in production code, their formation, identification, and overall structure are not well understood, partly because of challenges in approximating true dependences between program entities. Previous research has considered two approximate dependence relations: a fine-grained statement-level relation using control and data dependences from a program’s System Dependence Graph and a coarser relation based on function-level controlflow reachability. In principal, the first is more expensive and more precise than the second. Using a collection of twenty programs, we present an empirical investigation of the clusters identified by these two approaches. In support of the analysis, we consider hybrid cluster types that works at the coarser function-level but is based on the higher-precision statement-level dependences. The three types of clusters are compared based on their slice sets using two clustering metrics. We also perform extensive analysis of the programs to identify linchpin functions – functions primarily responsible for holding a cluster together. Results include evidence that the less expensive, coarser approaches can often be used as e�ective proxies for the more expensive, finer-grained approaches. Finally, the linchpin analysis shows that linchpin functions can be e�ectively and automatically identified.

Language evolution and recursion : an empirical investigation of human hierarchical processing

Tese de doutoramento, Ciências Biomédicas (Neurociências), Universidade de Lisboa, Faculdade de Medicina, 2014

Inventário hidrogeológico e dos potenciais focos de contaminação nas bacias hidrográficas da Asprela e Massarelos: implicações no ciclo hidrológico urbano

O desenvolvimento incessante em áreas urbanas ameaça a qualidade e quantidade das águas subterrâneas. O Porto é uma cidade densamente urbanizada, dominada por granitos, os quais constituem um meio fraturado anisotrópico e heterogéneo. O principal objetivo desta dissertação foi realçar a importância da cartografia hidrogeológica, bem como a relevância de realizar inventários hidrogeológicos e de potenciais focos de contaminação para compreender a vulnerabilidade dos sistemas aquíferos na cidade do Porto. Para tal, foram selecionadas as bacias hidrográficas da Asprela e de Massarelos. Assim, foram levados a cabo dois inventários, um hidrogeológico e outro das potenciais atividades de contaminação. O estudo foi apoiado pelos Sistemas de Informação Geográfica (SIG), os quais foram fundamentais para um melhor conhecimento e integração nas áreas de estudo. Previamente à implementação dos inventários foi feita uma caracterização das duas bacias, em termos geográficos, hidroclimatológicos, de ocupação do solo, geomorfológicos e hidrogeológicos. As duas bacias desenvolvem‐se, principalmente, na unidade hidrogeológica do granito de grão médio a fino, por vezes com saprólito. O inventário hidrogeológico contemplou principalmente fontanários e nascentes, tendo incluído, respetivamente, 8 e 21 pontos de água nas bacias da Asprela e de Massarelos. As águas subterrâneas são límpidas, sem turvação ou cheiro, ácidas, com mineralizações baixas a médias, temperaturas baixas e caudais muito pequenos. Quanto aos potenciais focos de contaminação, na bacia da Asprela foram reconhecidos 61, enquanto que na bacia de Massarelos foram identificados 78. A maioria destas atividades é pontual correspondendo, nomeadamente, a estabelecimentos de ensino e estações de serviço/oficinas de automóveis. Contudo, os focos lineares apresentam uma difusão significativa nas duas bacias hidrográficas. Apesar de a vulnerabilidade intrínseca à contaminação das águas subterrâneas nestas áreas ser baixa a moderada, a localização dos potenciais focos de contaminação poderá ser responsável pelo aumento da vulnerabilidade nas duas bacias estudadas. Esta metodologia demonstrou ser extremamente importante para um melhor conhecimento dos sistemas de água subterrânea do Porto e, ainda, da hidrogeologia de áreas urbanas.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

An 40Ar/39Ar, Rb/Sr, and stable isotope study of micas in low-grade fold-and-thrust belt: An example from the Swiss Helvetic Alps

White micas in carbonate-rich tectonites and a few other rock types of large thrusts in the Swiss Helvetic fold-and-thrust belt have been analyzed by Ar-40/Ar-39 and Rb/Sr techniques to better constrain the timing of Alpine deformation for this region. Incremental Ar-40/Ar-39 heating experiments of 25 weakly metamorphosed (anchizone to low greenschist) samples yield plateau and staircase spectra. We interpret most of the staircase release spectra result from variable mixtures of syntectonic (neoformed) and detrital micas. The range in dates obtained within individual spectra depends primarily on the duration of mica nucleation and growth, and relative proportions of neoformed and detrital mica. Rb/Sr analyses of 12 samples yield dates of ca. 10-39 Ma (excluding one anomalously young sample). These dates are slightly younger than the Ar-40/Ar-39 total gas dates obtained for the same samples. The Rb/ Sr dates were calculated using initial Sr-87/Sr-86 ratios obtained from the carbonate-dominated host rocks, which are higher than normal Mesozoic carbonate values due to exchange with fluids of higher Sr-87/Sr-86 ratios (and lower O-18/O-16 ratios). Model dates calculated using Sr-87/Sr-86 values typical of Mesozoic marine carbonates more closely approximate the Ar-40/Ar-39 total gas dates for most of the samples. The similarities of Rb/Sr and Ar-40/Ar-39 total gas dates are consistent with limited amounts of detrital mica in the samples. The delta(18)O values range from 24-15%. (VSMOW) for 2-6 mum micas and 27-16parts per thousand for the carbonate host rocks. The carbonate values are significantly lower than their protolith values due to localized fluid-rock interaction and fluid flow along most thrust surfaces. Although most calcite-mica pairs are not in oxygen isotope equilibrium at temperatures of ca. 200-400 degreesC, their isotopic fractionations are indicative of either 1) partial exchange between the minerals and a common external fluid, or 2) growth or isotopic exchange of the mica with the carbonate after the carbonate had isotopically exchanged with an external fluid. The geological significance of these results is not easily or uniquely determined, and exemplifies the difficulties inherent in dating very fine-grained micas of highly deformed tectonites in low-grade metamorphic terranes. Two generalizations can be made regarding the dates obtained from the Helvetic thrusts: 1) samples from the two highest thrusts (Mt. Gond and Sublage) have all of their Ar-40/Ar-39 steps above 20 Ma, and 2) most samples from the deepest Helvetic thrusts have steps (often accounting for more than 80% of Ar-39 release) between 15 and 25 Ma. These dates are consistent with the order of thrusting in the foreland-imbricating system and increase proportions of neoformed to detrital mica in the more metamorphosed hinterland and deeply buried portions of the nappe pile. Individual thrusts accommodated the majority of their displacement during their initial incorporation into the foreland-imbricating system, and some thrusts remained active or were reactivated down to 15 Ma.

The Teggiolo zone: a key to the Helvetic-Penninic connection (stratigraphy and tectonics in the Val Bavona, Ticino, Central Alps)

The Teggiolo zone is the sedimentary cover of the Antigorio nappe, one of the lowest tectonic units of the Penninic Central Alps. Detailed mapping, stratigraphic and structural analyses, and comparisons with less metamorphic series in several well-studied domains of the Alps, provide a new stratigraphic interpretation. The Teggiolo zone is comprised of several sedimentary cycles, separated by erosive surfaces and large stratigraphic gaps, which cover the time span from Triassic to Eocene. At Mid-Jurassic times it appears as an uplifted, partially emergent block, marking the southern limit of the main Helvetic basin (the Limiting South-Helvetic Rise LSHR). The main mass of the Teggiolo calcschists, whose base truncates the Triassic-Jurassic cycles and can erode the Antigorio basement, consists of fine-grained clastic sediments analogous to the deep-water flyschoid deposits of Late Cretaceous to Eocene age in the North-Penninic (or Valais s.l.) basins. Thus the Antigorio-Teggiolo domain occupies a crucial paleogeographic position, on the boundary between the Helvetic and Penninic realms: from Triassic to Early Cretaceous its affinity is with the Helvetic; at the end of Cretaceous it is incorporated into the North-Penninic basins. An unexpected result is the discovery of the important role played by complex formations of wildflysch type at the top of the Teggiolo zone. They contain blocks of various sizes. According to their nature, three different associations are distinguished that have specific vertical and lateral distributions. These blocks give clues to the existence of territories that have disappeared from the present-day level of observation and impose constraints on the kinematics of early folding and embryonic nappe emplacement. Tectonics produced several phases of superimposed folds and schistosities, more in the metasediments than in the gneissic basement. Older deformations that predate the amplification of the frontal hinge of the nappe generated the dominant schistosity and the km-wide Vanzèla isoclinal fold.

Sedimentos marinos superficiales en la bahía del Callao, Perú. 1997

Durante El Niño 1997, se estudiaron los sedimentos marinos superficiales de la bahía del Callao (11°50’S a 12°06’S), en 68 estaciones de muestreo situadas al interior de la bahía, incluyendo Ventanilla. Se situaron 35 estaciones complementarias entre las desembocaduras de los ríos Rímac y Chillón donde se concentran las descargas de desechos industriales, urbanos y de actividad portuaria. Se realizaron tres transectos, frente a: playa Ventanilla, al colector Comas y a Chucuito-La Punta. Frente a la playa Márquez se encuentra textura areno arcillosa y hacia el norte predomina el fango; frente a Oquendo las texturas son fango y arena arcillosa. Sedimentos de grano fino, con textura limo arcillosa y arcillo limosa existen en el fondo marino de zonas más profundas y alejadas de la costa; pero también están cerca de la costa, al sur y suroeste de la zona de operaciones portuarias, frente a Chucuito y La Punta. Texturas de arena se registraron al norte del río Chillón (La Pampilla y Ventanilla), en los alrededores del banco Camotal y frente a La Punta. En las áreas más profundas y abrigadas de la bahía, los sedimentos con granulometría muy fina presentan valores negativos de asimetría, característicos de ambientes de sedimentación. En sectores donde existen sedimentos de grano más grueso ocurren procesos de transporte (tipo y forma de ondulaciones) y erosión, apreciables en imágenes del fondo, y en el análisis de parámetros estadísticos. Los altos contenidos de materia orgánica se encuentran asociados a sedimentos de grano fino en ambientes de sedimentación principalmente, está condicionado por la tasa de aporte y origen (antrópico, marino o continental) y por las condiciones de escaso oxígeno que favorecen su preservación. Los más bajos contenidos orgánicos frente a la zona costera de Ventanilla, están asociadas a sedimentos con predominancia de fracciones de arena y origen terrígeno y mayor oxigenación.

Geology of the Sand Creek porphyry molybdenum prospect /

The Sand Creek Prospect is located within the eastern exposed margin of the Coast Plutonic Complex. The occurrence is a plug and dyke porphyry molybdenum deposit. The rock types, listed in decreasing age: 1) metamorphlc schists and gneisses; 2) diorite suite rocks - diorite, quartz diorite, tonalite; 3) rocks of andesitic composition; 4) granodiorites, coarse porphyritic granodiorite, quartzfeldspar porphyry, feldspar porphyry; and 5) lamprophyre. Hydrothermal alteration is known to have resulted from emplacement of the hornblende-feldspar porphyry through to the quartz-feldspar porphyry. Molybdenum mineralization is chiefly associated with the quartz-feldspar porphyry. Ore mineralogy is dominated by pyrite with subordinate molybdenite, chalcopyrite, covelline, sphalerite, galena, scheelite, cassiterite and wolframite. Molybdenite exhibits a textural gradation outward from the quartz-feldspar porphyry. That is, disseminated rosettes and rosettes in quartz veins to fine-grained molybdenite in quartz veins and potassic altered fractures to fine-grained molybdenite paint or 6mears in the peripheral zones. The quartz-feldspar porphyry dykes were emplaced in an inhomogeneous stress field. The trend of dykes, faults and shear zones is 0^1° to 063° and dips between 58° NW and 86* SE. Joint Pole distribution reflects this fault orientation. These late deformatior maxima are probably superimposed upon annuli representing diapiric emplacement of the plutons. A model of emplacement involving two magmatic pulses is given in the following sequence: Diorite pulse (i) dioritequartz diorite, (ii) tonalites; granodiorite pulse (iii) hornblende-fildspar microporphyry, hornblende/biotite porphyry, (iv) coarse grained granodiorite, (v) quartz-feldspar porphyry, (vi) feldspar porphyry, and (vii) lamprophyre. The combination of plutonic and coarse porphyritic textures, extensive propylitic overprinting of potassic alteration assemblages suggests that the. prospect represents the lower reaches of a porphyry system.

An investigation of geological and geochemical characteristics of late-Quaternay sediments in the Georgian Bay Region, Southern Ontario

Core samples of postglacial sediments and sediment surface samples from Shepherd Lake on the Bruce Peninsula, Harts Lake on the Canadian Shield, and two cores from Georgian Bay (core P-l in the western deep part and core P-7 in the eastern shallow part) have been analyzed for pH, grain size distribution, water content, bulk density, loss on ignition at 4500C and 11000 C, major oxides (Si02 ,A1203,!FeO,MgO,CaO, Na20,K20,Ti02 ,MnO and P205) and trace elements (Ba,Zr,Sr,y,S, Zn,Cu,Ni,Ce and Rb). The sediment in Georgian Bay are generally fine grained (fine silt to very fine silty clay) and the grain size decreases from the Canadian Shield (core p-7) towards the Bruce Peninsula (core P-l) along the assumed direction of sediment transport. This trend coincides with a decrease in sorting coefficient and an increase in roundness. Other physical characteristics, such as water content, bulk density and loss on ignition are positively correlated with the composition of sediments and their compaction, as well as with the energy of the depositional environment. Analyses of sediment surface samples from Shepherd Lake and Harts Lake indicate the influence of bedrock and surficial deposits in the watershed on pH condition that is also influenced by the organic matter content and probably I ! I man's activities. Organic matter content increases significantly in the surface sediment in these small lakes as a result of either natural eutrophication or anthropogenic organic loading. The extremely high organic matter content in Shepherd Lake sediment indicates rapid natural eutrophication in this closed basin and high biological productivity during postglacial time, probably due to high nutrient levels and shallow depth. The chemical composition of the Canadian Shield bedrock is positively correlated with the chemical characteristics of predominantly inorganic lake sediments that were derived from the Shield rocks by glacial abrasion and by postglacial weathering and erosion of both bedrock and surficial deposits. High correlation coefficients were found between organic matter in lake sediments and major oxides (Si02,AI203,.~FeO, MgO,CaO,K20 and MnO) , as well as some trace elements (Ba,Y, S,Zn,Cu,Ni and Rb). The chemical composition of sediments in Harts Lake and core P-7 in Georgian Bay on the Canadian Shield differs from the chemistry of sediments in Shepherd Lake and core P-l in Georgian Bay on the Bruce Peninsula. The difference between cores P-l and P-7 is indicated by values of Si02 , AI203 ,:LFeo,Mgo,CaO,Ba,Zr,Sr,y and S, and also by the organic matter content. This study indicates that the processes of sediment transport, depositional environment, weathering of the rocks and surficial deposits in the watershed, as well as chemical composition of source rocks all affect the chemical characteristics of lake sediments. The stratigraphic changes and variations in lake sediment chemistry with regard to major oxides, trace elements, and organic matter content are probably related to the history of glacial and postglacial lake stages of the Georgian Bay Region and, therefore, the geochemical data can make a useful contribution to a better understanding of the Late-Quaternary history of the Great Lakes.

Sedimentology and micromorphology of drumlin sediments at Chimney Bluffs State Park, New York, United States of America

The drumlin sediments at Chimney Bluffs, New York appear to represent a block-inmatrix style glacial melange. This melange comprises sand stringers, lenses and intraclasts juxtaposed in an apparently massive diamicton. Thin section examination of these glacigenic deposits has revealed microstructures indicative of autokinetic subglacial defonnation which are consistent with a deformable bed origin for the diamicton. These features include banding and. necking of matrix grains, oriented plasma fabrics and the formation of pressure shadows at the long axis ends of elongate clasts. Preservation of primary stratification within the sand intraclasts appears to suggest that these features were pre-existing up-ice deposits that were frozen, entrained, then deposited as part of a defonning till layer beneath an advancing ice sheet. Multi-directional micro-shearing within the sand blocks is thought to reflect the frozen nature of the sand units in such a high strain environment. It is also contended that dewatering of the sediment pile leading to the eventual immobilisation of the defonning till layer was responsible for opening sub-horizontal fissures within the diamicton. These features were subsequently infilled with mass flow poorly sorted sands and silts which were subjected to ductile defonnation during the waning stages of an actively deforming till layer. Microstructures indicative of the dewatering processes in the sand units include patches of fine-grained particles within a coarser-grained matrix and the presence of concentrated zones of translocated clays. However, these units were probably confined within an impermeable diamicton casing that prevented massive pore water influxes from the deforming till layer~ Hence, these microstructures probably reflect localised dewatering of the sand intraclasts. A layered subglacial shear zone model is proposed for the various features exhibited by the drumlin sediments. The complexity of these structures is explained in terms of ii superposing deformation styles in response to changing pore water pressures. Constructional glaciotectonics, as implied by the occurrence of sub-horizontal fissuring, is suggested as the mechanism for the stacking of the sand intraclast units within the diamicton. The usefulness of micromorphology in complimenting the traditional sedimentology of glacigenic deposits is emphasised by the current study. An otherwise massive diamicton was shown to contain microstructures indicative of the very high strain rates expected in a complexly deforming till layer. . It is quite obvious from this investigation that the classification of diamictons needs to be re-examined for evidence of microstructures that could lead to the re-interpretation of diamicton forming processes. RESUME Le pacquet de sediments drumlinaire de Chimney Bluffs, New York, represent un "bloc-en-matrice" genre de melange glaciale. Des structures microscopique comprennent l'evidence pour la defonnation intrinseque attribuee a l'origine lit non resistant du drumlin. PreselVation des structures primaires au coeur des blocs arenaces suggere que ceux sont des depots preexistant qui furent geles, entraines et par la suite sedimentes au milieu d'une couche de debris sous-glaciaires en voie de deformation. Des failles microscopiques a l'interieur des blocs arenaces appuient aussi l'idee d'un bloc cohesif (c'est-a-dire gele) au centre d'un till non resistant. Des implications significatives s'emergent de cette etude pour les conditions sous-glaciaire et les processus de la formation des drumlin.

Textual characteristics of coarse sediments in selected streams of the Niagara Peninsula, Ontario

The streams flowing through the Niagara Escarpment are paved by coarse carbonate and sandstone sediments which have originated from the escarpment units and can be traced downstream from their source. Fifty-nine sediment samples were taken from five streams, over distances of 3,000 to 10,000 feet (915 to 3050 m), to determine downstream changes in sediment composition, textural characteristics and sorting. In addition, fluorometric velocity measurements were used in conjunction with measured -discharge and flow records to estimate the frequency of sediment movement. The frequency of sediments of a given lithology changes downstream in direct response to the outcrop position of the formations in the channels. Clasts derived from a single stratigraphic unit usually reach a maximum frequency within the first 1,000 feet (305 m) of transport. Sediments derived from formations at the top of waterfalls reach a modal frequency farther downstream than material originating at the base of waterfalls. Downstream variations in sediment size over the lengths of the study reaches reflect the changes in channel morphology and lithologic composition of the sediment samples. Linear regression analyses indicate that there is a decrease in the axial lengths between the intial and final samples and that the long axis decreases in length more rapidly than the intermediate, while the short axis remains almost constant. Carbonate sediments from coarse-grained, fossiliferous units - iii - are more variable in size than fine-grained dolostones and sandstones. The average sphericity for carbonates and sandstones increases from 0.65 to 0.67, while maximum projection sphericity remains nearly constant with an average value of 0.52. Pebble roundness increases more rapidly than either of the sphericity parameters and the sediments change from subrounded to rounded. The Hjulstrom diagram indicates that the velocities required to initiate transport of sediments with an average intermediate diameter of 10 cm range from 200 cm/s to 300 cm/s (6.6 ft./sec. to 9.8 ft./sec.). From the modal velocitydischarge relations, the flows corresponding to these velocities are greater than 3,500 cfs (99 m3s). These discharges occur less than 0.01 p~r cent (0.4 days) of the time and correspond to a discharge occurring during the spring flood.

HG 186.9-187.0 D.E-1

Coarse grained sediment with a few fine grained matrices. Brown sediment with small to medium sized clasts. Clasts range from sub-angular to sub-rounded. Organic material present.

HG 186.9-187.0 D.E-2

Coarse grained sediment with small patches of a fine grained domain. The domain may contain organic material. Lineations and minor grain stack present throughout the section.

HG 186.9-187.0 D.E-4

Fine grained domain within a coarse grained domain. Lineations throughout the section. A few small patches of a clay domain seen towards the top left.

HG 186.15-186.25-1

Coarse grained section with two different fine grained domains. Towards the left hand side the domain is dark and has no inclusions of coarse grains. The right hand side has some coarser materials.