On semi-classical weight functions on the unit circle

We consider orthogonal polynomials on the unit circle associated with certain semi-classical weight functions. This means that the Pearson-type differential equations satisfied by these weight functions involve two polynomials of degree at most 2. We determine all such semi-classical weight functions and this also includes an extension of the Jacobi weight function on the unit circle. General structure relations for the orthogonal polynomials and non-linear difference equations for the associated complex Verblunsky coefficients are established. As application, we present several new structure relations and non-linear difference equations associated with some of these semi-classical weight functions.Comment: 26 page

40Ar–39Ar dating of volcanogenic products from the AND-2A core (ANDRILL Southern McMurdo Sound Project, Antarctica): correlations with the Erebus Volcanic Province and implications for the age model of the core

The AND-2A drillcore (Antarctic Drilling Program—ANDRILL) was successfully completed in late 2007 on the Antarctic continental margin (Southern McMurdo Sound, Ross Sea) with the aim of tracking ice proximal to shallow marine environmental fluctuations and to document the 20-Ma evolution of the Erebus Volcanic Province. Lava clasts and tephra layers from the AND-2A drillcore were investigated from a petrographic and stratigraphic point of view and analyzed by the 40Ar–39Ar laser technique in order to constrain the age model of the core and to gain information on the style and nature of sediment deposition in the Victoria Land Basin since Early Miocene. Ten out of 17 samples yielded statistically robust 40Ar–39Ar ages, indicating that the AND-2A drillcore recovered ≤230 m of Middle Miocene (∼128–358 m below sea floor, ∼11.5–16.0 Ma) and >780 m of Early Miocene (∼358–1093 m below sea floor, ∼16.0–20.1 Ma). Results also highlight a nearly continuous stratigraphic record from at least 358 m below sea floor down hole, characterized by a mean sedimentation rate of ∼19 cm/ka, possible oscillations of no more than a few hundreds of ka and a break within ∼17.5–18.1 Ma. Comparison with available data from volcanic deposits on land, suggests that volcanic rocks within the AND-2A core were supplied from the south, possibly with source areas closer to the drill site for the upper core levels, and from 358 m below sea floor down hole, with the “proto-Mount Morning” as the main source

40Ar--39Ar dating of volcanogenic products from the AND-2A core (ANDRILL Southern McMurdo Sound Project, Antarctica): correlations with the Erebus Volcanic Province and implications for the age model of the core

The AND-2A drillcore (Antarctic Drilling Program – ANDRILL) was successfully completed in late 2007 on the Antarctic continental margin (southern McMurdo Sound, Ross Sea) with the aim of tracking ice-proximal to shallow marine environmental fluctuations and to document the 20-Ma evolution of the Erebus Volcanic Province. Lava clasts and tephra layers from the AND-2A drillcore were investigated from a petrographic and stratigraphic point of view and analyzed by the 40Ar–39Ar laser technique in order to constrain the age model of the core and to gain information on the style and nature of sediment deposition in the Victoria Land Basin since Early Miocene. Ten out of 17 samples yielded statistically robust 40Ar–39Ar ages, indicating that the AND-2A drillcore recovered !230 m of Middle Miocene (~128–358 meters below sea floor, ~11.5–16.0 Ma) and >780 m of Early Miocene (~358–1093 48 meters below sea floor, ~16.0–20.1 Ma). Results also highlight a nearly continuous stratigraphic record from at least 358 meters below sea floor down hole, characterized by a mean sedimentation rate of ~19 cm/ka, possible oscillations of no more than a few hundreds of ka and a break within ~17.5–18.1 Ma. Comparison with available data from volcanic deposits on land, suggests that volcanic rocks within the AND-2A core were supplied from the south, possibly with source areas closer to the drill site for the upper core levels, and from 358 meters below sea floor down hole, with the “proto-Mount Morning” as the main source

Petrologic and Geochemical Composition of the AND-2A Core, ANDRILL Southern McMurdo Sound Project, Antartica

The compositional record of the AND-2A drillcore is examined using petrological, sedimentological, volcanological and geochemical analysis of clasts, sediments and pore waters. Preliminary investigations of basement clasts (granitoids and metasediments) indicate both local and distal sources corresponding to variable ice-volume and ice-flow directions. Low abundance of sedimentary clasts (e.g., arkose, litharenite) suggests reduced contributions from sedimentary covers while intraclasts (e.g., diamictite, conglomerate) attest to intrabasinal reworking. Volcanic material includes pyroclasts (e.g., pumice, scoria), sediments and lava. Primary and reworked tephra layers occur within the Early Miocene interval (1093 to 640 metres below sea floor). The compositions of volcanic clasts reveal a diversity of alkaline types derived from the McMurdo Volcanic Group. Finer-grained sediments (e.g., sandstone, siltstone) show increases in biogenic silica and volcanic glass from 230 to 780 mbsf and higher proportions of terrigenous material ca. 350 to 750 mbsf and below 970 mbsf. Basement clast assemblages suggest a dominant provenance from the Skelton Glacier - Darwin Glacier area and from the Ferrar Glacier - Koettlitz Glacier area. Provenance of sand grains is consistent with clast sources. Thirteen Geochemical Units are established based on compositional trends derived from continuous XRF scanning. High values of Fe and Ti indicate terrigenous and volcanic sources, whereas high Ca values signify either biogenic or diagenic sources. Highly alkaline and saline pore waters were produced by chemical exchange with glass at moderately elevated temperatures

A Taxonomy of Causality-Based Biological Properties

We formally characterize a set of causality-based properties of metabolic networks. This set of properties aims at making precise several notions on the production of metabolites, which are familiar in the biologists' terminology. From a theoretical point of view, biochemical reactions are abstractly represented as causal implications and the produced metabolites as causal consequences of the implication representing the corresponding reaction. The fact that a reactant is produced is represented by means of the chain of reactions that have made it exist. Such representation abstracts away from quantities, stoichiometric and thermodynamic parameters and constitutes the basis for the characterization of our properties. Moreover, we propose an effective method for verifying our properties based on an abstract model of system dynamics. This consists of a new abstract semantics for the system seen as a concurrent network and expressed using the Chemical Ground Form calculus. We illustrate an application of this framework to a portion of a real metabolic pathway

On deducing causality in metabolic networks

© 2008 Bodei et al.; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution Licens

Adaptation of Asynchronously Communicating Software

International audienceSoftware adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication. In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments

High performance computing for haplotyping: Models and platforms

\u3cp\u3eThe reconstruction of the haplotype pair for each chromosome is a hot topic in Bioinformatics and Genome Analysis. In Haplotype Assembly (HA), all heterozygous Single Nucleotide Polymorphisms (SNPs) have to be assigned to exactly one of the two chromosomes. In this work, we outline the state-of-the-art on HA approaches and present an in-depth analysis of the computational performance of GenHap, a recent method based on Genetic Algorithms. GenHap was designed to tackle the computational complexity of the HA problem by means of a divide-et-impera strategy that effectively leverages multi-core architectures. In order to evaluate GenHap’s performance, we generated different instances of synthetic (yet realistic) data exploiting empirical error models of four different sequencing platforms (namely, Illumina NovaSeq, Roche/454, PacBio RS II and Oxford Nanopore Technologies MinION). Our results show that the processing time generally decreases along with the read length, involving a lower number of sub-problems to be distributed on multiple cores.\u3c/p\u3

A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology

Changing scale, for example the ability to move seamlessly from an individual-based model to a population-based model, is an important problem in many fields. In this paper we introduce process algebra as a novel solution to this problem in the context of models of infectious disease spread. Process algebra allows us to describe a system in terms of the stochastic behaviour of individuals, and is a technique from computer science. We review the use of process algebra in biological systems, and the variety of quantitative and qualitative analysis techniques available. The analysis illustrated here solves the changing scale problem: from the individual behaviour we can rigorously derive equations to describe the mean behaviour of the system at the level of the population. The biological problem investigated is the transmission of infection, and how this relates to individual interaction

Service Renaming in Component Composition

In component-based systems, the behavior of components is usually described at component interfaces and the components are characterized as requester (active) and provider (reactive) components. Two interacting components are considered compatible if all possible sequences of services requested by one component can be provided by the other component. This concept of component compatibility can be extended to sets of interacting components, however, in the case of several requester components interacting with one or more provider components, as is typically the case of cleint-server applications, the requests from different components can be interleaved and then verifying component compatibility must take into account all possible interleavings of requests. Such interleaving of requests can lead to unexpected behavior of the composed system, e.g. a deadlock can occur. Service renaming is proposed as a method of systematic eliminating of such unexpected effects and streamlining component compositions