An experimental evaluation of error seeding as a program validation technique

A previously reported experiment in error seeding as a program validation technique is summarized. The experiment was designed to test the validity of three assumptions on which the alleged effectiveness of error seeding is based. Errors were seeded into 17 functionally identical but independently programmed Pascal programs in such a way as to produce 408 programs, each with one seeded error. Using mean time to failure as a metric, results indicated that it is possible to generate seeded errors that are arbitrarily but not equally difficult to locate. Examination of indigenous errors demonstrated that these are also arbitrarily difficult to locate. These two results support the assumption that seeded and indigenous errors are approximately equally difficult to locate. However, the assumption that, for each type of error, all errors are equally difficult to locate was not borne out. Finally, since a seeded error occasionally corrected an indigenous error, the assumption that errors do not interfere with each other was proven wrong. Error seeding can be made useful by taking these results into account in modifying the underlying model

Snowbeds are more affected than other subalpine-alpine plant communities by climate change in the Swiss Alps

While the upward shift of plant species has been observed on many alpine and nival summits, the reaction of the subalpine and lower alpine plant communities to the current warming and lower snow precipitation has been little investigated so far. To this aim, 63 old, exhaustive plant inventories, distributed along a subalpine-alpine elevation gradient of the Swiss Alps and covering different plant community types (acidic and calcareous grasslands; windy ridges; snowbeds), were revisited after 25 to 50-years. Old and recent inventories were compared in terms of species diversity with Simpson diversity and Bray-Curtis dissimilarity indices, and in terms of community composition with Principal Component Analysis. Changes in ecological conditions were inferred from the ecological indicator values. The alpha-diversity increased in every plant community, likely because of the arrival of new species. As observed on mountain summits, the new species led to a homogenisation of community compositions. The grasslands were quite stable in terms of species composition, whatever the bedrock type. Indeed, the newly arrived species were part of the typical species pool of the colonised community. In contrast, snowbed communities showed pronounced vegetation changes and a clear shift towards dryer conditions and shorter snow cover, evidenced by their colonisation by species from surrounding grasslands. Longer growing seasons allow alpine grassland species, which are taller and hence more competitive, to colonise the snowbeds. This study showed that subalpine-alpine plant communities reacted differently to the on-going climate changes. Lower snow/rain ratio and longer growing seasons seem to have a higher impact than warming, at least on plant communities dependent on long snow cover. Consequently, they are the most vulnerable to climate change and their persistence in the near future is seriously threatened. Subalpine and alpine grasslands are more stable and, until now, they do not seem to be affected by a warmer climate

Middle to Late Holocene vegetation history of the Upper Engadine (Swiss Alps): the role of man and fire

To reconstruct the vegetation and fire history of the Upper Engadine, two continuous sediment cores from Lej da Champfèr and Lej da San Murezzan (Upper Engadine Valley, southeastern Switzerland) were analysed for pollen, plant macrofossils, charcoal and kerogen. The chronologies of the cores are based on 38 radiocarbon dates. Pollen and macrofossil data suggest a rapid afforestation with Betula, Pinus sylvestris, Pinus cembra, and Larix decidua after the retreat of the glaciers from the lake catchments 11,000cal years ago. This vegetation type persisted until ca. 7300cal b.p. (5350b.c.) when Picea replaced Pinus cembra. Pollen indicative of human impact suggests that in this high-mountain region of the central Alps strong anthropogenic activities began during the Early Bronze Age (3900cal b.p., 1950b.c.). Local human settlements led to vegetational changes, promoting the expansion of Larix decidua and Alnus viridis. In the case of Larix, continuing land use and especially grazing after fire led to the formation of Larix meadows. The expansion of Alnus viridis was directly induced by fire, as evidenced by time-series analysis. Subsequently, the process of forest conversion into open landscapes continued for millennia and reached its maximum at the end of the Middle Ages at around 500cal b.p. (a.d.1450

Surgery and the spinorial tau-invariant

We associate to a compact spin manifold M a real-valued invariant \tau(M) by taking the supremum over all conformal classes over the infimum inside each conformal class of the first positive Dirac eigenvalue, normalized to volume 1. This invariant is a spinorial analogue of Schoen's $\sigma$-constant, also known as the smooth Yamabe number. We prove that if N is obtained from M by surgery of codimension at least 2, then $\tau(N) \geq \min\{\tau(M),\Lambda_n\}$ with $\Lambda_n>0$. Various topological conclusions can be drawn, in particular that \tau is a spin-bordism invariant below $\Lambda_n$. Below $\Lambda_n$, the values of $\tau$ cannot accumulate from above when varied over all manifolds of a fixed dimension.Comment: to appear in CPD

Influence of human impact and bedrock differences on the vegetational history of the Insubrian Southern Alps

Vegetation history for the study region is reconstructed on the basis of pollen, charcoal and AMS14C investigations of lake sediments from Lago del Segrino (calcareous bedrock) and Lago di Muzzano (siliceous bedrock). Late-glacial forests were characterised byBetula andPinus sylvestris. At the beginning of the Holocene they were replaced by temperate continental forest and shrub communities. A special type of temperate lowland forest, withAbies alba as the most important tree, was present in the period 8300 to 4500 B.P. Subsequently,Fagus, Quercus andAlnus glutinosa were the main forest components andA. alba ceased to be of importance.Castanea sativa andJuglans regia were probably introduced after forest clearance by fire during the first century A.D. On soils derived from siliceous bedrock,C. sativa was already dominant at ca. A.D. 200 (A.D. dates are in calendar years). In limestone areas, however,C. sativa failed to achieve a dominant role. After the introduction ofC. sativa, the main trees were initially oak (Quercus spp.) and later the walnut (Juglans regia). Ostrya carpinifolia became the dominant tree around Lago del Segrino only in the last 100-200 years though it had spread into the area at ca. 5000 cal. B.C. This recent expansion ofOstrya is confirmed at other sites and appears to be controlled by human disturbances involving especially clearance. It is argued that these forests should not be regarded as climax communities. It is suggested that under undisturbed succession they would develop into mixed deciduous forests consisting ofFraxinus excelsior, Tilia, Ulmus, Quercus andAce

Coherent Control of Quantum Chaotic Diffusion

Extensive coherent control over quantum chaotic diffusion using the kicked rotor model is demonstrated and its origin in deviations from random matrix theory is identified. Further, the extent of control in the presence of external decoherence is established. The results are relevant to both areas of quantum chaos and coherent control.Comment: 4 pages, 4 figures, to appear in Phys. Rev. Let

Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and diameter, and almost non-negative scalar curvature. Let r=1 if n=2,3 and r=2^{[n/2]-1}+1 if n\geq 4. We show that if the square of the Dirac operator on such a manifold has $r$ small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost nonnegative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface

F-18-Fluorodeoxyglucose (FDG) Positron-Emission Tomography of Echinococcus multilocularis Liver Lesions: Prospective Evaluation of its Value for Diagnosis and Follow-up during Benzimidazole Therapy

Background:: Long-term benzimidazole therapy benefits patients with non-resectable alveolar echinococcosis (AE). Methods to assess early therapeutic efficacy are lacking. Recently, AE liver lesions were reported to exhibit increased F-18-fluorodeoxyglucose (FDG) uptake in positron emission tomography (PET). To assess the value of FDG-PET for diagnosis and follow-up of AE patients. Patients/Methods:: Twenty-six consecutive patients with newly diagnosed AE were enrolled. Baseline evaluation included CT and FDG-PET. Thirteen patients (11 women; median age 50 years, range 40-76) were resected, the remaining 13 (8 women; median age 60 years, range 39-72) had non-resectable disease, were started on benzimidazoles, and CT and FDG-PET were repeated at 6, 12 and 24 months of therapy. Twelve consecutive patients with newly diagnosed cystic echinococcosis (CE) of the liver were also subjected to baseline FDG-PET. Results:: In 21/26 AE patients, baseline PET scans showed multifocally increased FDG uptake in the hepatic lesions' periphery, while liver lesions were FDG negative in 11/12 CE patients. Thus, sensitivity and specificity of FDG-PET for AE vs. CE were 81% and 92%, respectively. In 5 of 10 non-resectable patients with increased baseline FDG uptake, the intensity of uptake decreased (or disappeared) during benzimidazole therapy, in 3 by ≥2 grades within the initial 6 months. Conclusions:: FDG-PET is a sensitive and specific adjunct in the diagnosis of suspected AE and can help in differentiating AE from CE. The rapid improvement of positive PET scans with benzimidazole therapy in some patients indicates that absent FDG uptake does not necessarily reflect parasite viabilit

Timed Implementation Relations for the Distributed Test Architecture

In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations

Exponential Gain in Quantum Computing of Quantum Chaos and Localization

We present a quantum algorithm which simulates the quantum kicked rotator model exponentially faster than classical algorithms. This shows that important physical problems of quantum chaos, localization and Anderson transition can be modelled efficiently on a quantum computer. We also show that a similar algorithm simulates efficiently classical chaos in certain area-preserving maps.Comment: final published versio