Filetype
This paper discusses the problem of testing the performance of the adaptation layer in a self-adaptive system. The problem is notoriously hard, due to the high degree of uncertainty and variability inherent in an adaptive software application. In particular, providing any type of formal guarantee for this problem is extremely difficult. In this paper we propose the use of a rigorous probabilistic
A well-known theorem by Tarsi states that a minimally unsatisfiable CNF formula with m clauses can have at most m - 1 variables, and this bound is exact. In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordström 2009] extended the concept of minimal unsatisfiability to sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formu
Thin Al foils (50 nm and 6 mu m) were irradiated at intensities of up to 2x10(19) W cm(-2) using high contrast (10(8)) laser pulses. Ion emission from the rear of the targets was measured using a scintillator-based Thomson parabola and beam sampling 'footprint' monitor. The variation of the ion spectra and beam profile with focal spot size was systematically studied. The results show that while th
The study of electron motion in semiconductor billiards has elucidated our understanding of quantum interference and quantum chaos. The central assumption is that ionized donors generate only minor perturbations to the electron trajectories, which are determined by scattering from billiard walls. We use magnetoconductance fluctuations as a probe of the quantum interference and show that these fluc
Historically, organizations developed their information systems in-house. Today, a large portion of information systems development is based on the acquisition of pre-made information systems, so-called commercially off-the-shelf (COTS) systems. This approach for developing information systems requires new skills and methods supporting the process of evaluating and selecting information systems. T
In many IBA applications the main aim is to obtain quantitative figures characterizing the sample. Normally charge, i.e. number of probe particles, is used for normalization and is measured either by collecting the charge deposited in the sample or by collecting the particle in a post-sample Faraday cup or in combination. Both these techniques have drawbacks and results can be difficult to compare
Accurate description of the response function of X-ray detectors is important for quantitative PIXE analysis. For analytical description of low-energy tailing in PIXE spectra, the GUPIX approach was used, i.e. a combination of Hypermate type functions. The low-energy tailing parameters of a low-energy high purity germanium X-ray detector in the region 1.3-9.2 keV was determined by systematic fitti
Dramatic swings in the North Atlantic oscillation (NAO) during the 1990s motivated the authors to build a statistical model of NAO impacts on hydropower production and energy markets in Scandinavia. Variation in the NAO index is shown to explain 55% of the variance of streamflow in Norway and up to 30% of the variance in Norway's hydropower output. It is also possible to identify the influence of
Abstract in UndeterminedWithin cognitive linguistics, there is an increasing awareness that the study of linguistic phenomena needs to be grounded in usage. Ideally, research in cognitive linguistics should be based on authentic language use, its results should be replicable, and its claims falsifiable. Consequently, more and more studies now turn to corpora as a source of data. While corpus-based
Aim To assess statistically the relative importance of climate and human impact on forest composition in the late Holocene. Location Estonia, boreonemoral Europe. Methods Data on forest composition (10 most abundant tree and shrub taxa) for the late Holocene (5100-50 calibrated years before 1950) were derived from 18 pollen records and then transformed into land-cover estimates using the REVEALS v
This paper reports the results of a systematic investigation of residual stresses as a function of welding speed in a set of Ti-6Al-4V friction stir welds. The investigation focuses on residual stress but links these data with microstructural information derived from micrographs and hardness measurements as well as mechanical testing results. Residual stresses were determined using energy dispersi
Stable oxygen and carbon isotope data from a lacustrine sequence at Graenge, southeast Denmark, revealed distinct environmental changes related to Late Weichselian climatic development in the region. Comparison of isotopic records obtained from sedimentary carbonates and freshwater molluscs enabled reconstruction of changes in the lacustrine environment. The degree of thermal and chemical stratifi
Core-level spectroscopy and valence band photoelectron spectroscopy were used to study H2O adsorption on the Si(100) and Ge(100) surfaces. We find that H2O dissociates into H and OH on both surfaces at 300 K. The H and OH are adsorbed in on top positions on the surface. The OH group is tilted with respect to the surface normal on the Si(100) surface. We consider two possible interpretations for th
The lengths of fallows have decreased in many parts of the Sahel due to agricultural expansion, which can have negative impacts on crop production when few other ways to improve soil fertility exist. However, the dynamics of agricultural expansion may change because of the changing role of agriculture in society due to increased livelihood diversification outside of agriculture. The results of thi
Radio-controlled model planes are useful when carrying out photography, especially from low altitudes, and meteorological soundings (air temperatures in boundary layers). Soundings were carried out with a system which stored the measured data on board the plane pending evaluation after the flight. The payload of the plane was a camera and equipment for measuring temperature and air pressure (altit
