Effect of a physical phase plate on contrast transfer in an aberration-corrected transmission electron microscope

In this theoretical study we analyze contrast transfer of weak-phase objects in a transmission electron microscope, which is equipped with an aberration corrector (C(s)-corrector) in the imaging lens system and a physical phase plate in the back focal plane of the objective lens. For a phase shift of pi/2 between scattered and unscattered electrons induced by a physical phase plate, the sine-type phase contrast transfer function is converted into a cosine-type function. Optimal imaging conditions could theoretically be achieved if the phase shifts caused by the objective lens defocus and lens aberrations would be equal to zero. In reality this situation is difficult to realize because of residual aberrations and varying, non-zero local defocus values, which in general result from an uneven sample surface topography. We explore the conditions--i.e. range of C(s)-values and defocus--for most favourable contrast transfer as a function of the information limit, which is only limited by the effect of partial coherence of the electron wave in C(s)-corrected transmission electron microscopes. Under high-resolution operation conditions we find that a physical phase plate improves strongly low- and medium-resolution object contrast, while improving tolerance to defocus and C(s)-variations, compared to a microscope without a phase plate.     

Electrochemical studies of octadecanethiol and octanethiol films on variable surface area mercury sessile drops

Octadecanethiol (ODT) and octanethiol (OT) films at the mercury-electrolyte interface are examined using cyclic voltammetry and differential capacitance measurements at a single frequency. A mercury flow-system is used to alter the volume, and therefore, the surface area and surface pressure of the mercury electrode. Manipulation of the mercury electrode's volume enables the introduction and removal of defects in the insulating thiol films. OT and ODT film behavior are contrasted under conditions of expansion and contraction. ODT forms extremely impermeable layers that allow 1000 time less redox probe current than seen on uncoated drops. Expansion of the mercury electrode to increase the electrode surface area produces defects and pinholes in the thiol film. These defects are almost completely removed when the drop is compressed back to its initial surface area. OT also forms insulating films on mercury sessile drops, however these films contain more defects than ODT films. While expansion of an OT-coated mercury drop increases redox probe current, recompression of the drop does not return the film to its initial condition. Pinholes and defects in the OT and ODT films can also be produced by cycling to negative potentials, which produce abrupt stripping peaks.     

Problematic Demography: Representations of Population Ageing in the Swedish Daily Press

The ageing of populations has been a topic of discussion during the last few decades, but how is this subject represented in the media, and what images of old age are produced? In this article we present the results of a quantitative content analysis that investigates how the concept of population ageing has been represented in Swedish local and national daily news press between 1988 and 2009, and the old age positions that are offered in these representations. We also use discourse analysis in order to qualitatively examine the ways in which the concept of population ageing is articulated in these news press articles and the old age positions that are thereby constituted. The results show that the concept is constituted as a naturalised expert concept, and is primarily used in order to contextualise articles about future political and economical difficulties or even crises. By articulating population ageing with both political policies, political economy and older people??s (as a group) reported need for care and services, population ageing was constituted as a political economic concern rather than a problem for the aged individual.     

Hierarchical vibrations for part-based recognition of complex objects

We propose a technique for the recognition and segmentation of complex shapes in 2D images using a hierarchy of finite element vibration modes in an evolutionary shape search. The different levels of the shape hierarchy can influence each other, which can be exploited in top-down part-based image analysis. Our method overcomes drawbacks of existing structural approaches, which cannot uniformly encode shape variation and co-variation, or rely on training. We present results demonstrating that by utilizing a quality-of-fit function the model explicitly recognizes missing parts of a complex shape, thus allowing for categorization between shape classes.     

A generic complete dynamic logic for reasoning about purity and effects

For a number of programming languages, among them Eiffel, C, Java, and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are typically formulated using potentially effectful programs. In order to ensure that these pre- and postconditions behave like logical formulae (that is, enjoy some kind of referential transparency), a notion of purity is needed. Here, we introduce a generic framework for reasoning about purity and effects. Effects are modelled abstractly and axiomatically, using Moggi’s idea of encapsulation of effects as monads. We introduce a dynamic logic (from which, as usual, a Hoare logic can be derived) whose logical formulae are pure programs in a strong sense. We formulate a set of proof rules for this logic, and prove it to be complete with respect to a categorical semantics. Using dynamic logic, we then develop a relaxed notion of purity which allows for observationally neutral effects such writing on newly allocated memory.     

O3R: Ontology-based mechanism for a human-centered environment targeted at the analysis of navigation patterns

Web Usage Mining (WUM) is the application of data mining techniques over Web server logs in order to extract navigation usage patterns. The analysis of mining patterns for assessing the knowledge they reveal is a critical phase in WUM. The main challenges are: (a) mining algorithms yield a huge number of patterns and (b) there is a significant semantic gap between URLs and events performed by users. In this paper, we describe the pattern analysis mechanisms integrated in O3R (Ontology-based Rules Retrieval and Rummaging), a human-centered environment for the analysis of navigation rules. O3R explores the synergy of mechanisms for retrieving and analyzing patterns. Filtering and clustering allow users to retrieve subsets of patterns with specific characteristics, in order to deal with the large volume of patterns. Rummaging mechanisms are targeted at assessing the meaning and relevance of pattern with regard to the domain, and it is particularly suitable for exploratory analysis. The distinctive feature of O3R is that is dynamically associates meaning to patterns using the concepts and relationships of a domain ontology, as a means of reducing the gap between syntactic URLs and semantic events performed by users. The paper describes the mechanisms in detail, and explores their synergic integration in the O3R prototype. It also reports two case studies that evaluate the use of O3R for the analysis of navigation patterns of a learning site.     

Insights from Dividing 3D Goal-Directed Movements into Meaningful Phases

Existing measures for evaluating user performance on interaction tasks in virtual environments don't often provide sufficient information for improving these interactions. A new method for analyzing 3D goal-directed movements divides them into meaningful phases. The authors applied this method to experimental data collected for a 3D task resembling a standardized 2D multidirectional pointing task (ISO 9241-9). The results and analysis demonstrate that the method provides a more detailed insight into 3D goal-directed movements. This analysis can help researchers better identify input devices' and interaction techniques' strengths and weaknesses. This article is part of a special issue on 3D user interfaces.     

Atom-Aid: Detecting and Surviving Atomicity Violations

Hardware can play a significant role in improving reliability of multithreaded software. Recent architectural proposals arbitrarily group consecutive dynamic memory operations into atomic blocks to enforce coarse-grained memory ordering, providing implicit atomicity. The authors of this article observe that implicit atomicity probabilistically hides atomicity violations by reducing the number of interleaving opportunities between memory operations. They propose Atom-Aid, which creates implicit atomic blocks intelligently instead of arbitrarily, dramatically reducing the probability that atomicity violations will manifest themselves.     

A Kleene–Schützenberger theorem for weighted timed automata

During the last years, weighted timed automata have received much interest in the real-time community. Weighted timed automata form an extension of timed automata and allow us to assign weights (costs) to both locations and edges. This model, introduced by Alur et al. (2001) and Behrmann et al. (2001), permits the treatment of continuous consumption of resources and has led to much research on scheduling problems, optimal reachability and model checking. Also, several authors have derived Kleene-type characterizations of (unweighted) timed automata and their accepted timed languages. The goal of this paper is to provide a characterization of the behaviours of weighted timed automata by rational power series. We define weighted timed automata with weights taken in an arbitrary semiring, resulting in a model that subsumes several weighted timed automata concepts of the literature. For our main result, we combine the methods of Schützenberger, a recent approach for a Kleene-type theorem for unweighted timed automata by Bouyer and Petit as well as new techniques. Our main result also implies Kleene-type theorems for several subclasses of weighted timed automata investigated before, e.g., for timed automata and timed automata with stopwatch observers.     

Artificial Agent Action in Markets

We summarise our experiences of a number of demonstrators and simulation experiments designed to test the feasibility of using artificial decision making agents in real-time domains, and comment on the significance of our results to autonomous artificial agent action patterns in markets. Our main hypothesis is that the use of norms can extend the capability of artificial decision makers beyond what is obtained from implementing individual utility maximizers in keeping with rational choice theory.