Are current-induced forces conservative?

The expression for the force on an ion in the presence of current can be derived from first principles without any assumption about its conservative character. However, energy functionals have been constructed that indicate that this force can be written as the derivative of a potential function. On the other hand, there exist compelling specific arguments that strongly suggest the contrary. We propose physical mechanisms that invalidate such arguments and demonstrate their existence with first-principles calculations. While our results do not constitute a formal resolution to the fundamental question of whether current-induced forces are conservative, they represent a substantial step forward in this direction.Comment: 4 pages, 4 Figures, submitted to PR

Nanogap structures for molecular nanoelectronics

This study is focused on the realization of nanodevices for nano and molecular electronics, based on molecular interactions in a metal-molecule-metal (M-M-M) structure. In an M-M-M system, the electronic function is a property of the structure and can be characterized through I/V measurements. The contact between the metals and the molecule was obtained by gold nanogaps (with a dimension of less than 10 nm), produced with the electromigration technique. The nanogap fabrication was controlled by a custom hardware and the related software system. The studies were carried out through experiments and simulations of organic molecules, in particular oligothiophenes

Medicalization and beyond: the social construction of insomnia and snoring in the news

What role do the media play in the medicalization of sleep problems? This article, based on a British Academy funded project, uses qualitative textual analysis to examine representations of insomnia and snoring in a large representative sample of newspaper articles taken from the UK national press from the mid-1980s to the present day. Constructed as `common problems' in the population at large, insomnia and snoring we show are differentially located in terms of medicalizing—healthicizing discourses and debates. Our findings also suggest important differences in the gendered construction of these problems and in terms of tabloid and `broadsheet' newspaper coverage of these issues. Newspaper constructions of sleep, it is concluded, are complex, depending on both the `problem' and the paper in question

Electromigration-Induced Flow of Islands and Voids on the Cu(001) Surface

Electromigration-induced flow of islands and voids on the Cu(001) surface is studied at the atomic scale. The basic drift mechanisms are identified using a complete set of energy barriers for adatom hopping on the Cu(001) surface, combined with kinetic Monte Carlo simulations. The energy barriers are calculated by the embedded atom method, and parameterized using a simple model. The dependence of the flow on the temperature, the size of the clusters, and the strength of the applied field is obtained. For both islands and voids it is found that edge diffusion is the dominant mass-transport mechanism. The rate limiting steps are identified. For both islands and voids they involve detachment of atoms from corners into the adjacent edge. The energy barriers for these moves are found to be in good agreement with the activation energy for island/void drift obtained from Arrhenius analysis of the simulation results. The relevance of the results to other FCC(001) metal surfaces and their experimental implications are discussed.Comment: 9 pages, 13 ps figure

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Anticoagulants and the Propagation Phase of Thrombin Generation

The view that clot time-based assays do not provide a sufficient assessment of an individual's hemostatic competence, especially in the context of anticoagulant therapy, has provoked a search for new metrics, with significant focus directed at techniques that define the propagation phase of thrombin generation. Here we use our deterministic mathematical model of tissue-factor initiated thrombin generation in combination with reconstructions using purified protein components to characterize how the interplay between anticoagulant mechanisms and variable composition of the coagulation proteome result in differential regulation of the propagation phase of thrombin generation. Thrombin parameters were extracted from computationally derived thrombin generation profiles generated using coagulation proteome factor data from warfarin-treated individuals (N = 54) and matching groups of control individuals (N = 37). A computational clot time prolongation value (cINR) was devised that correlated with their actual International Normalized Ratio (INR) values, with differences between individual INR and cINR values shown to derive from the insensitivity of the INR to tissue factor pathway inhibitor (TFPI). The analysis suggests that normal range variation in TFPI levels could be an important contributor to the failure of the INR to adequately reflect the anticoagulated state in some individuals. Warfarin-induced changes in thrombin propagation phase parameters were then compared to those induced by unfractionated heparin, fondaparinux, rivaroxaban, and a reversible thrombin inhibitor. Anticoagulants were assessed at concentrations yielding equivalent cINR values, with each anticoagulant evaluated using 32 unique coagulation proteome compositions. The analyses showed that no anticoagulant recapitulated all features of warfarin propagation phase dynamics; differences in propagation phase effects suggest that anticoagulants that selectively target fXa or thrombin may provoke fewer bleeding episodes. More generally, the study shows that computational modeling of the response of core elements of the coagulation proteome to a physiologically relevant tissue factor stimulus may improve the monitoring of a broad range of anticoagulants

Ritual plants of Muslim graveyards in northern Israel

This article surveys the botanical composition of 40 Muslim graveyards in northern Israel, accompanied by an ethnobotanical study of the folkloristic traditions of the use of these plants in cemeteries. Three groups of plants were found to be repeated systematically and were also recognized for their ritual importance: aromatics herbs (especially Salvia fruticosa and Rosmarinus officinalis), white flowered plants (mainly Narcissus tazetta, Urginea maritima, Iris spp. and Pancratium spp.) and Cupressus sempervirens as the leading cemetery tree. As endemic use we can indicate the essential role of S. fruticosa as the main plant used in all human rites of passage symbolizing the human life cycle. The rosemary is of European origin while the use of basil is of Indian influence. The use of white flowers as cemeteries plants reflects an old European influence and almost the same species are used or their congeners. Most of the trees and shrubs that are planted in Muslim cemeteries in Israel have the same use in ancient as well in modern European cultures. In conclusion, our findings on the occurrence of plants in graveyards reflect the geographic situation of Israel as a crossroads in the cultural arena between Asia and Europe. Most of the traditions are common to the whole Middle East showing high relatedness to the classical world as well as to the present-day Europe