Anomalous thickness dependence of the Hall effect in ultrathin Pb layers on Si(111)

The magnetoconductive properties of ultrathin Pb films deposited on Si(111) are measured and compared with density-functional electronic band-structure calculations on two-dimensional, free-standing, 1 to 8 monolayers thick Pb(111) slabs. A description with free-standing slabs is possible because it turned out that the Hall coefficient is independent of the substrate and of the crystalline order in the film. We show that the oscillations in sign of the Hall coefficient observed as a function of film thickness can be explained directly from the thickness dependent variations of the electronic bandstructure at the Fermi energy.Comment: 4 pages incl. 3 figures, RevTeX, to appear in Phys. Rev.

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems,definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial Intelligence and Symbolic Computation AISC 201

The Inter-organizational Business Case in ES Implementations: Exploring the Impact of Coordination Structures and Their Properties

Developing the business case (BC) for an inter-organizational network is a major challenge. Factors like competition and differences in semantics between actors influence the stakeholders’ willingness to share information necessary for the BC development. In this paper we develop an exploratory framework showing the effect that coordination structure and project scope have on the development of a shared BC. We defined several coordination properties, such as competition, decision making location and decision power that mitigate this effect. We applied the framework in a case study where a BC is developed for an inter-organizational network. Our findings show that current BC development methods need to be re-stated and complemented by extra tools and interventions to support stakeholders in the inter-organizational specific setting

On the origin of M81 group extended dust emission

Galactic cirrus emission at far-infrared wavelengths affects many extragalactic observations. Separating this emission from that associated with extragalactic objects is both important and difficult. In this paper we discuss a particular case, the M81 group, and the identification of diffuse structures prominent in the infrared, but also detected at optical wavelengths. The origin of these structures has previously been controversial, ranging from them being the result of a past interaction between M81 and M82 or due to more local Galactic emission. We show that over an order of a few arcmin scales, the far-infrared (Herschel 250 mu m) emission correlates spatially very well with a particular narrow-velocity (2-3 km s(-1)) component of the Galactic HI. We find no evidence that any of the far-infrared emission associated with these features actually originates in the M81 group. Thus we infer that the associated diffuse optical emission must be due to galactic light-back scattered off dust in our galaxy. Ultraviolet observations pick out young stellar associations around M81, but no detectable far-infrared emission. We consider in detail one of the Galactic cirrus features, finding that the far-infrared HI relation breaks down below arcmin scales and that at smaller scales there can be quite large dust-temperature variation

The Science of Sungrazers, Sunskirters, and Other Near-Sun Comets

This review addresses our current understanding of comets that venture close to the Sun, and are hence exposed to much more extreme conditions than comets that are typically studied from Earth. The extreme solar heating and plasma environments that these objects encounter change many aspects of their behaviour, thus yielding valuable information on both the comets themselves that complements other data we have on primitive solar system bodies, as well as on the near-solar environment which they traverse. We propose clear definitions for these comets: We use the term near-Sun comets to encompass all objects that pass sunward of the perihelion distance of planet Mercury (0.307 AU). Sunskirters are defined as objects that pass within 33 solar radii of the Sun’s centre, equal to half of Mercury’s perihelion distance, and the commonly-used phrase sungrazers to be objects that reach perihelion within 3.45 solar radii, i.e. the fluid Roche limit. Finally, comets with orbits that intersect the solar photosphere are termed sundivers. We summarize past studies of these objects, as well as the instruments and facilities used to study them, including space-based platforms that have led to a recent revolution in the quantity and quality of relevant observations. Relevant comet populations are described, including the Kreutz, Marsden, Kracht, and Meyer groups, near-Sun asteroids, and a brief discussion of their origins. The importance of light curves and the clues they provide on cometary composition are emphasized, together with what information has been gleaned about nucleus parameters, including the sizes and masses of objects and their families, and their tensile strengths. The physical processes occurring at these objects are considered in some detail, including the disruption of nuclei, sublimation, and ionisation, and we consider the mass, momentum, and energy loss of comets in the corona and those that venture to lower altitudes. The different components of comae and tails are described, including dust, neutral and ionised gases, their chemical reactions, and their contributions to the near-Sun environment. Comet-solar wind interactions are discussed, including the use of comets as probes of solar wind and coronal conditions in their vicinities. We address the relevance of work on comets near the Sun to similar objects orbiting other stars, and conclude with a discussion of future directions for the field and the planned ground- and space-based facilities that will allow us to address those science topics

Thick-film technology for ultra high vacuum interfaces of micro-structured traps

We adopt thick-film technology to produce ultra high vacuum compatible interfaces for electrical signals. These interfaces permit voltages of hundreds of Volts and currents of several Amperes and allow for very compact vacuum setups, useful in quantum optics in general, and especially for quantum information and quantum simulations using miniaturized traps for ions or neutral atoms. Such printed circuits can also be useful as pure in-vacuum devices. We demonstrate a specific interface, which provides eleven current feedthroughs, more than 70 dc feedthroughs and a feedthrough for radio frequencies. We achieve a pressure in the low 1e-11mbar range and demonstrate the full functionality of the interface by trapping chains of cold ytterbium ions, which requires all of the signals mentioned above being present. In addition, a versatile multi-channel device for supplying precise time-dependent voltages has been developed.Comment: 8 pages, 7 figures added references to recent literature about microwave anipulated ions and fast shuttlin

Search for Gravitational Waves from Intermediate Mass Binary Black Holes

We present the results of a weakly modeled burst search for gravitational waves from mergers of non-spinning intermediate mass black holes (IMBH) in the total mass range 100--450 solar masses and with the component mass ratios between 1:1 and 4:1. The search was conducted on data collected by the LIGO and Virgo detectors between November of 2005 and October of 2007. No plausible signals were observed by the search which constrains the astrophysical rates of the IMBH mergers as a function of the component masses. In the most efficiently detected bin centered on 88+88 solar masses, for non-spinning sources, the rate density upper limit is 0.13 per Mpc^3 per Myr at the 90% confidence level.Comment: 13 pages, 4 figures: data for plots and archived public version at https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=62326, see also the public announcement at http://www.ligo.org/science/Publication-S5IMBH