Sea Level Variations from Decades to Millennia: A few Case Studies

The main goals of this Ph.D. study are to investigate the regional and global geophysical components related to present polar ice melting and to provide independent cross validation checks of GIA models using both geophysical data detected by satellite mission, and geological observations from far field sites, in order to determine a lower and upper bound of uncertainty of GIA effect. The subject of this Thesis is the sea level change from decades to millennia scale. Within ice2sea collaboration, we developed a Fortran numerical code to analyze the local short-term sea level change and vertical deformation resulting from the loss of ice mass. This method is used to investigate polar regions: Greenland and Antarctica. We have used mass balance based on ICESat data for Greenland ice sheet and a plausible mass balance for Antarctic ice sheet. We have determined the regional and global fingerprint of sea level variations, vertical deformations of the solid surface of the Earth and variations of shape of the geoid for each ice source mentioned above. The coastal areas are affected by the long wavelength component of GIA process. Hence understanding the response of the Earth to loading is crucial in various contexts. Based on the hypothesis that Earth mantle materials obey to a linear rheology, and that the physical parameters of this rheology can be only characterized by their depth dependence, we investigate the Glacial Isostatic Effect upon the far field sites of Mediterranean area using an improved SELEN program. We presented new and revised observations for archaeological fish tanks located along the Tyrrhenian and Adriatic coast of Italy and new RSL for the SE Tunisia. Spatial and temporal variations of the Holocene sea levels studied in central Italy and Tunisia, provided important constraints on the melting history of the major ice sheets.

Reduced nuclear translocation of nuclear factor (NF)-kappaB p65 in the footpad epidermis of dogs infected with distemper virus

Infection of canine footpads with the canine distemper virus (CDV) can cause massive epidermal thickening (hard pad disease), as a consequence of increased proliferation of keratinocytes and hyperkeratosis. Keratinocytes of canine footpad epidermis containing detectable CDV nucleoprotein antigen and CDV mRNA were shown previously to have increased proliferation indices. Because various proteins that play a role in the proliferation of epidermal cells are viral targets, the potential participation of such proteins in CDV-associated keratinocyte proliferation was investigated. Transforming growth factor-alpha (TGF-alpha), cell cycle regulatory proteins p21, p27 and p53, and nuclear factor (NF)-kappaB transcription factor components p50 and p65 were studied in the footpad epidermis from the following groups of dogs inoculated with CDV: group 1, consisting of seven dogs with clinical distemper and CDV in the footpad epidermis; group 2, consisting of four dogs with clinical distemper but no CDV in the footpad epidermis; group 3, consisting of eight dogs with neither clinical distemper nor CDV in the footpad epithelium. Group 4 consisted of two uninoculated control dogs. The expression of TGF-alpha, p21, p27 and p53, and p50 in the basal layer, lower and upper spinous layers, and in the granular layer did not differ statistically between CDV-positive (group 1) and CDV-negative (groups 2-4) footpad epidermis. However, there were differences in the levels of nuclear and cytoplasmic p65 expression between group 1 dogs and the other three groups. Thus, footpads from group 1 dogs had more keratinocytes containing p65 in the cytoplasm and, conversely, fewer nuclei that were positive for p65. These findings indicate that p65 translocation into the nucleus is reduced in CDV-infected footpad epidermis. Such decreased translocation of p65 may help to explain increased keratinocyte proliferation in hard pad disease and suggests interference of CDV with the NF-kappaB pathway.

Long-term trends of HIV type 1 drug resistance prevalence among antiretroviral treatment-experienced patients in Switzerland

BACKGROUND:Accurate quantification of the prevalence of human immunodeficiency virus type 1 (HIV-1) drug resistance in patients who are receiving antiretroviral therapy (ART) is difficult, and results from previous studies vary. We attempted to assess the prevalence and dynamics of resistance in a highly representative patient cohort from Switzerland. METHODS:On the basis of genotypic resistance test results and clinical data, we grouped patients according to their risk of harboring resistant viruses. Estimates of resistance prevalence were calculated on the basis of either the proportion of individuals with a virologic failure or confirmed drug resistance (lower estimate) or the frequency-weighted average of risk group-specific probabilities for the presence of drug resistance mutations (upper estimate). RESULTS:Lower and upper estimates of drug resistance prevalence in 8064 ART-exposed patients were 50% and 57% in 1999 and 37% and 45% in 2007, respectively. This decrease was driven by 2 mechanisms: loss to follow-up or death of high-risk patients exposed to mono- or dual-nucleoside reverse-transcriptase inhibitor therapy (lower estimates range from 72% to 75%) and continued enrollment of low-risk patients who were taking combination ART containing boosted protease inhibitors or nonnucleoside reverse-transcriptase inhibitors as first-line therapy (lower estimates range from 7% to 12%). A subset of 4184 participants (52%) had >or= 1 study visit per year during 2002-2007. In this subset, lower and upper estimates increased from 45% to 49% and from 52% to 55%, respectively. Yearly increases in prevalence were becoming smaller in later years. CONCLUSIONS:Contrary to earlier predictions, in situations of free access to drugs, close monitoring, and rapid introduction of new potent therapies, the emergence of drug-resistant viruses can be minimized at the population level. Moreover, this study demonstrates the necessity of interpreting time trends in the context of evolving cohort populations.

Microbial communities in the respiratory tract of patients with interstitial lung disease

Background Molecular methods based on phylogenetic differences in the 16S rRNA gene are able to characterise the microbiota of the respiratory tract in health and disease. Objectives Our goals were (1) to characterise bacterial communities in lower and upper airways of patients with interstitial lung disease (ILD) and (2) to compare the results with the microbiota of patients with Pneumocystis pneumonia (PCP) and normal controls. Methods We examined the upper and lower respiratory tract of 18 patients with ILD of whom 5, 6, and 7 had idiopathic interstitial pneumonia (IIP), non-IIP and sarcoidosis, respectively. In addition, six immune-compromised patients with PCP and nine healthy subjects were included as controls. Exclusion criteria were recent bacterial/viral respiratory tract infection, HIV-positivity and subjects receiving antibiotic therapy. Bronchoalveolar lavage fluid and oropharyngeal swabs were simultaneously collected, and microbiota was characterised by ultra-deep 16S rRNA gene sequencing. Results The microbiota in lower airways of the majority of patients (30; 90%) primarily consisted of Prevotellaceae, Streptococcaceae and Acidaminococcaceae. α and β diversity measurements revealed no significant differences in airway microbiota composition between the five different groups of patients. Comparison of bacterial populations in upper and lower respiratory tract showed significant topographical discontinuities for 7 (23%) individuals. Conclusions IIP, non-IIP and sarcoidosis are not associated with disordered airway microbiota and a pathogenic role of commensals in the disease process is therefore unlikely. Nevertheless, molecular analysis of the topographical microbiota continuity along the respiratory tract may provide additional information to assist management of individual patients.

Bounds for the probability generating functional of a Gibbs point process

We derive explicit lower and upper bounds for the probability generating functional of a stationary locally stable Gibbs point process, which can be applied to summary statistics such as the F function. For pairwise interaction processes we obtain further estimates for the G and K functions, the intensity, and higher-order correlation functions. The proof of the main result is based on Stein's method for Poisson point process approximation.

Grain size analysis of sediment core CRP-3 from the Ross Sea, Antarctica

Grain-size analyses by sieve and Sedigraph are presented for 115 samples of core from CRP-3, 12 km off the coast of south Victoria Land. The data provide a useful check on visual core descriptions. The geographic setting for the strata sampled, some 790 m of early Oligocene nearshore marine sediments with a persistent glacial influence, is reviewed, and sediment textures interpreted in that context. Sand textures from the CRP-3 samples in the lower part of the core suggest that deposition was initially primarily wave-dominated, but that at times the influence of the waves was over-ridden by episodes of rapid sedimentation. Sedimentary cycles, recognised in the visual description of the core above 485 mbsf, show an increasing proportion of mudstone in the middle of each cycle above 330 mbsf that is interpreted to record periodic sedimentation in deeper water. Sandstone textures in the lower and upper parts of each cycle are interpreted to record departure from and return to shoreface deposition with changes in sea level. Mudstone textures above 176 mbsf indicate sedimentation below wave base. Many of the textures in both sand and mud samples show the coarse 'tail' characteristic of ice-rafted debris, but others do not, indicating ice-free periods. Many sandstones below c. 200 mbsf have virtually no silt, but significant amounts of clay (6 to 17%) that is thought to be of post-depositional origin.

Geochemistry at DSDP Hole 76-534A

At Site 534 in the Blake-Bahama Basin, western North Atlantic, an interval of 68 m of Maestrichtian (Upper Cretaceous) and upper middle to upper Eocene sediments consists of terrigenous siltstones, mudstones, and varicolored zeolitic claystones; minor recovery of micritic limestones, porcellanites, and quartzitic chert was made at this site as well. Comparisons with other Deep Sea Drilling Project (DSDP) sites in the western North Atlantic suggest that the following formations are present in this interval: Hatteras (Maestrichtian), Plantagenet (Maestrichtian and upper Eocene), Bermuda Rise (upper middle to upper Eocene), and the basal Blake Ridge Formation (upper middle to upper Eocene). Recognition of a Tertiary interval of the Plantagenet allows that formation to be divided into lower and upper informal units. Condensation makes this formal lithostratigraphic subdivision difficult. Together the formations record marked net condensed sedimentation (average rate ca. 2.5 m/m.y.) in strongly oxidizing bottom waters. From sedimentary structures and petrography, it is inferred that the terrigenous siltstones and micritic limestones were redeposited from the continental margin by turbidity currents. Chemical data plus petrography confirm relatively high plankton productivity during the upper Eocene. Much of the nonrecovered Eocene interval may represent chert and porcellanite. Fragments recovered were formed by replacement of relatively porous calciturbidites by opal-CT and quartz. Radiolarians in interbedded claystones rich in clinoptilolite show extensive dissolution. Relative to typical hemipelagic sediments, the claystones are enriched in many metals (Cu, Ni, Zn, Pb), particularly within manganese micronodules. The metal accumulation is related to a 30-m.y. period of slow net sediment accumulation, rather than to hydrothermal enrichment or to upward mobilization of metals from the underlying reduced Hatteras black shale facies. Elsewhere in the Blake-Bahama Basin, at Site 391, 22 km to the northwest, upper Eocene facies are missing, reportedly due to deep seafloor erosion of up to 800 m of the sedimentary succession. By contrast, the discovery that this interval is preserved at nearby Site 534 points to much less extensive seafloor erosion, possibly mostly in the Oligocene, which is missing at both DSDP Sites.

Cretaceous planktonic foraminifera of DSDP Hole 71-511

Lower and Upper Cretaceous sediments of the Maurice Ewing Bank, Site 511 (black shales, mudstones, zeolitic clays, and nannofossil chalk and ooze, 361 m thick) are characterized by an assemblage of planktonic foraminifers of low systematic diversity, including over 50 species. Representatives of Hedbergella, Globigerinelloides, Archaeoglobigerina, Whiteinella, Rugoglobigerina, and Heterohelix are predominant; species of Ticinella, Praeglobotruncana, Globotruncana, Schackoina, and Planoglobulina associated with some interbeds occur in smaller numbers. Planktonic foraminifers enable us to subdivide the Cretaceous sediments into Barremian-Aptian, Albian, upper Cenomanian, Turonian, Coniacian-Santonian, Santonian, Campanian, and upper Campanian-Maestrichtian intervals. The Lower Cretaceous (Albian) and Upper Cretaceous (upper Cenomanian-Turonian) are separated by a distinct hiatus and unconformity. In the Upper Cretaceous section, a hiatus may be present at the top of the Campanian. The upper Cenomanian-Santonian sediments are reduced in thickness, whereas the Campanian-Maestrichtian interval is expanded. In the Barremian-Aptian black shales, planktonic foraminifers are very rare: they were deposited in shallow water under anoxic conditions. In the Albian, when sedimentation conditions became oxidizing and the depth increased to 200-400 meters, they became more common. By the end of the Upper Cretaceous, depths appear to increase to 2000 meters. In the interbeds of calcareous sediments, planktonic foraminifers are common; in interbeds of zeolitic clays they are rare or absent (dissolution facies). Alternation of these types of sediments is especially characteristic of the Coniacian-lower Campanian, testifying to abrupt CCD fluctuations. The planktonic foraminifers of the Falkland Plateau belong to the Austral Province of the Southern Hemisphere. In their systematic composition they are extremely similar to microfauna of the Boreal Province of the Northern Hemisphere.

Composition of carbonaceous sediments from the Late Jurassic Volgian Basin of the East European Platform (Kostroma Region, Russia)

Lithological, geochemical, stratigraphic, and paleoecological features of carbonaceous sediments in the Late Jurassic Volgian Basin of the East European Platform (Kostroma Region) are considered. The shale-bearing sequence studied is characterized by greater sedimentological completeness as compared with its stratotype sections in the Middle Volga region (Gorodishche, Kashpir). Stratigraphic position and stratigraphy of the shale-bearing sequence, as well as distribution of biota in different sedimentation settings are specified. It is shown that Volgian sediments show distinct cyclic structure. The lower and upper elements of cyclites consist of high-carbonaceous shales and clayey-calcareous sediments, respectively, separated by transitional varieties. Bioturbation structures in different rocks are discussed. Microcomponent composition and pyrolytic parameters of organic matter, as well as distribution of chemical elements in lithologically variable sediments are analyzed. Possible reasons responsible for appearance of cyclicity and accumulation of organic-rich sediments are discussed.

Sedimentology, mineral magnetism, andoxygen isotope stratigraphy of ODP Hole 133-819A

To investigate late Quaternary paleoclimatic and paleoceanographic change in the sedimentary record, preserved on the Australian Continental Margin during the late Quaternary, core material was collected from Ocean Drilling Program, Leg 133, Site 819. An expanded sequence of late Quaternary, rhythmically bedded, predominantly hemipelagic sediments were recovered from Hole 819A. The foraminiferal d18O record preserved at Hole 819A suggests that the late Quaternary section is incomplete. Both benthic and planktonic d18O stratigraphies can be traced tentatively downcore to stage 6 at about 32.5 mbsf, where a major hiatus occurs. At this level, a slump detachment surface has been identified (Shipboard Scientific Party, 1991). This slump has removed marine oxygen isotope stages 7 to 13. Below 32.5 mbsf, continuous correlation can be achieved in the planktonic d18O curve, with existing deep-sea foraminiferal oxygen isotope stratigraphies from stage 14 through stage 28. The major hiatus at 32.5 mbsf marks the position of a significant change in the character of the sedimentation at Site 819. Sediments below 32.5 mbsf, relative to those above 32.5 mbsf, are characterized by less variation in mean particle size; lower percentages of carbonate content in the coarse fraction (>63 µm); a stronger relationship between the percentage of fine fraction and magnetic mineral concentration, and lower foraminiferal abundances. Above the hiatus, large fluctuations in mean particle size occurred, which have been interpreted to be the result of high foraminiferal abundances. Early highstands show high terrigenous influx in the fine fraction above the hiatus. This is the opposite of the general idea of high terrigenous influx during lowstands of sea level on siliciclastic dominated continental margins. We are far from understanding the origin of this material and further investigation will be required (see also Glenn et al., this volume). All our records, except the planktonic foraminiferal oxygen isotope record, indicate that the major hiatus marks the position of a significant change in the environment at Site 819. The planktonic foraminiferal d18O record suggests that environmental change occurred prior to the formation of the hiatus (i.e., near the Brunhes/Matuyama [B/M] boundary). The interval between the B/M boundary and the hiatus represents a transitional period between two different patterns of ocean circulation. Throughout most of the lower part of the sequence, Site 819 was at a shallow-water depth and local oceanographic conditions were dominated by sluggish Subtropical Central Water (SCW) flow. However, near the B/M boundary, ocean circulation patterns intensified, reflecting a worldwide change in paleoenvironment. Enhanced ocean circulation patterns were possibly aided by tectonic subsidence. During this period Site 819 became progressively more under the influence of Antarctic Intermediate Water (AAIW), than SCW. In the upper part of the sequence at Hole 819 A, we see a continuation of the pattern of oceanographic reorganization suggested during stages 21 through 14. Intensification of the subsurface oceanographic circulation was also accompanied by the progressive wedging southward of surface waters associated with the East Australian Current (EAC). The change in the nature of the records in the lower and upper parts of the sequence at Site 819 are thought to reflect perturbations by the orbital eccentricity cycle.

Miocene molluscan biostratigraphy in Schleswig-Holstein, north Germany

Vierlandian, Behrendorfian (Lower Hemmoorian), Oxlundian (Upper Hemmoorian), Lower and Upper Reinbekian, Langenfeldian and Gramian stages could be proved by evaluation of marine molluscan faunas. The diachrone base of 'Braunkohlensande' is demonstrated by underlying Vierlandian mica clay in the E, and by Hemmoorian substages more to the W, at last the fluviatile facies is replaced completely by euhaline to brachyhaline sandy to silty sediments. Brachyhaline effects in adjacent environments make possible an approximate dating on fluviatile sedimentation. The widest extension of 'Braunkohlensand' is during upper Oxlundian, whilst slightly brachyhaline Katzheide beds, defined in this paper to be of Lower Reinbekian age, indicate a limit of 'Braunkohlensande' more to the E. Winnert-fauna was found to be a mixture of Oxlundian and Langenfeldian; the overlying lignitic sands belong to the Kaolinsand group. Upper mica clay overlying Miocene Braunkohlensande can be divided into beds of Upper Reinbekian, Langenfeldian and Gramian ages.

Physical Oceanography in the tropical Atlantic oxygen minimum zone

The replenishment of consumed oxygen in the open ocean oxygen minimum zone (OMZ) off northwest Africa is accomplished by oxygen transport across and along density surfaces, i.e. diapycnal and isopycnal oxygen supply. Here the diapycnal oxygen supply is investigated using a large observational set of oxygen profiles and diapycnal mixing data from years 2008 to 2010. Diapycnal mixing is inferred from different sources: (i) a large-scale tracer release experiment, (ii) microstructure profiles, and (iii) shipboard?acoustic current measurements plus density profiles. From these measurements, the average diapycnal diffusivity in the studied depth interval from 150 to 500m is estimated to be 1×10**-5 m2 s**-1, with lower and upper 95% confidence limits of 0.8×10**-5 m2 s**-1 and 1.4×10**-5 m2 s**-1. Diapycnal diffusivity in this depth range is predominantly caused by turbulence, and shows no significant vertical gradient. Diapycnal mixing is found to contribute substantially to the oxygen supply of the OMZ. Within the OMZ core, 1.5 µmol kg**-1 yr**-1 of oxygen is supplied via diapycnal mixing, contributing about one-third of the total demand. This oxygen which is supplied via diapycnal mixing originates from oxygen that has been laterally supplied within the upper CentralWater layer above the OMZ, and within the Antarctic Intermediate Water layer below the OMZ. Due to the existence of a separate shallow oxygen minimum at about 100m depth throughout most of the study area, there is no net vertical oxygen flux from the surface layer into the Central Water layer. Thus all oxygen supply of the OMZ is associated with remote pathways.

Desarrollo y aplicaciones de radares de alta resolución en bandas milimétricas

Las bandas de las denominadas ondas milimétricas y submilimétricas están situadas en la región del espectro entre las microondas y el infrarrojo. La banda de milimétricas se sitúa entre 30 y 300 GHz, considerada normalmente como la banda EHF (Extremely High Frequency). El margen de frecuencias entre 300 y 3000 GHz es conocido como la banda de ondas submilimétricas o de terahercios (THz). Sin embargo, no toda la comunidad científica está de acuerdo acerca de las frecuencias que limitan la banda de THz. De hecho, 100 GHz y 10 THz son considerados comúnmente como los límites inferior y superior de dicha banda, respectivamente. Hasta hace relativamente pocos años, la banda de THz sólo había sido explotada para aplicaciones en los campos de la espectroscopía y la radioastronomía. Los avances tecnológicos en la electrónica de microondas y la óptica lastraron el desarrollo de la banda de THz. Sin embargo, investigaciones recientes han demostrado las ventajas asociadas a operar en estas longitudes de onda, lo que ha aumentado el interés y los esfuerzos dedicados a la tecnología de THz. A pesar de que han surgido un gran número de aplicaciones, una de las más prometedoras está en el campo de la vigilancia y la seguridad. Esta tesis está dedicada al desarrollo de radares de onda continua y frecuencia modulada (CW-LFM) de alta resolución en la banda de milimétricas, más concretamente, en las ventanas de atenuación situadas en 100 y 300 GHz. Trabajar en estas bandas de frecuencia presenta beneficios tales como la capacidad de las ondas de atravesar ciertos materiales como la ropa o el papel, opacos en el rango visible, y la posibilidad de usar grandes anchos de banda, obteniéndose así elevadas resoluciones en distancia. Los anchos de banda de 9 y 27 GHz seleccionados para los sistemas de 100 y 300 GHz, respectivamente, proporcionan resoluciones en distancia alrededor y por debajo del cm. Por otro lado, las aplicaciones objetivo se centran en la adquisición de imágenes a corto alcance. En el caso del prototipo a 300 GHz, su diseño se ha orientado a aplicaciones de detección a distancia en escenarios de vigilancia y seguridad. La naturaleza no ionizante de esta radiación supone una ventaja frente a las alternativas tradicionalmente usadas tales como los sistemas de rayos X. La presente tesis se centra en el proceso de diseño, implementación y caracterización de ambos sistemas así como de la validación de su funcionamiento. Se ha elegido una solución basada en componentes electrónicos, y no ópticos, debido a su alta fiabilidad, volumen reducido y amplia disponibilidad de componentes comerciales. Durante el proceso de diseño e implementación, se han tenido en cuenta varias directrices tales como la minimización del coste y la versatilidad de los sistemas desarrollados para hacer posible su aplicación para múltiples propósitos. Ambos sistemas se han utilizado en diferentes pruebas experimentales, obteniendo resultados satisfactorios. Aunque son sólo ejemplos dentro del amplio rango de posibles aplicaciones, la adquisición de imágenes ISAR de modelos de blancos a escala para detección automática así como la obtención de datos micro-Range/micro- Doppler para el análisis de patrones humanos han validado el funcionamiento del sistema a 100 GHz. Por otro lado, varios ejemplos de imágenes 3D obtenidas a 300 GHz han demostrado las capacidades del sistema para su uso en tareas de seguridad y detección a distancia. ABSTRACT The millimeter- and submillimeter-wave bands are the regions of the spectrum between the microwaves and the infrared (IR). The millimeter-wave band covers the range of the spectrum from 30 to 300 GHz, which is usually considered as the extremely high frequency (EHF) band. The range of frequencies between 300 and 3000 GHz is known as the submillimeter-wave or terahertz (THz) band. Nevertheless, the boundaries of the THz band are not accepted by the whole research community. In fact, 100 GHz and 10 THz are often considered by some authors as the lower and upper limit of this band, respectively. Until recently, the THz band had not been exploited for practical applications, with the exception of minor uses in the fields of spectroscopy and radio astronomy. The advancements on microwave electronics and optical technology left the well-known THz gap undeveloped. However, recent research has unveiled the advantages of working at these frequencies, which has motivated the increase in research effort devoted to THz technology. Even though the range of upcoming applications is wide, the most promising ones are in the field of security and surveillance. Particularly, this Ph.D. thesis deals with the development of high resolution continuouswave linear-frequency modulated (CW-LFM) radars in the millimeter-wave band, namely, in the attenuation windows located at 100 and 300 GHz. Working at these wavelengths presents several benefits such as the ability of radiation to penetrate certain materials, visibly opaque, and the great availability of bandwidth at these frequencies, which leads to high range resolution. The selected bandwidths of 9 and 27 GHz for these systems at 100 and 300 GHz, respectively, result in cm and sub-cm range resolution. On the other hand, the intended applications are in the field of short-range imaging. In particular, the design of the 300-GHz prototype is oriented to standoff detection for security and surveillance scenarios. The non-ionizing nature of this radiation allows safety concerns to be alleviated, in clear contrast to other traditional alternatives such as X-rays systems. This thesis is focused on the design, implementation and characterization process of both systems as well as the experimental assessment of their performances. An electronic approach has been selected instead of an optical solution so as to take advantage of its high reliability, reduced volume and the availability of commercial components. Through the whole design and implementation process, several guidelines such as low cost and hardware versatility have been also kept in mind. Taking advantage of that versatility, different applications can be carried out with the same hardware concept. Both radar systems have been used in several experimental trials with satisfactory results. Despite being mere examples within the wide range of fields of application, ISAR imaging of scaled model targets for automatic target recognition and micro-Range/micro-Doppler analysis of human patterns have validated the system performance at 100 GHz. In addition, 3D imaging examples at 300 GHz demonstrate the radar system’s capabilities for standoff detection and security tasks.

Towards an abstract domain for resource analysis of logic programs using sized types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.