Ageing and relaxation times in disordered insulators

We focus on the slow relaxations observed in the conductance of disordered insulators at low temperature (especially granular aluminum films). They manifest themselves as a temporal logarithmic decrease of the conductance after a quench from high temperatures and the concomitant appearance of a field effect anomaly centered on the gate voltage maintained. We are first interested in ageing effects, i.e. the age dependence of the dynamical properties of the system. We stress that the formation of a second field effect anomaly at a different gate voltage is not a "history free" logarithmic (lnt) process, but departs from lnt in a way which encodes the system's age. The apparent relaxation time distribution extracted from the observed relaxations is thus not "constant" but evolves with time. We discuss what defines the age of the system and what external perturbation out of equilibrium does or does not rejuvenate it. We further discuss the problem of relaxation times and comment on the commonly used "two dip" experimental protocol aimed at extracting "characteristic times" for the glassy systems (granular aluminum, doped indium oxide...). We show that it is inoperable for systems like granular Al and probably highly doped InOx where it provides a trivial value only determined by the experimental protocol. But in cases where different values are obtained like in lightly doped InOx or some ultra thin metal films, potentially interesting information can be obtained, possibly about the "short time" dynamics of the different systems. Present ideas about the effect of doping on the glassiness of disordered insulators may also have to be reconsidered.Comment: to appear in the proceedings of the 14th International Conference on Transport and Interactions in Disordered Systems (TIDS14

OPserver: interactive online-computations of opacities and radiative accelerations

Codes to compute mean opacities and radiative accelerations for arbitrary chemical mixtures using the Opacity Project recently revised data have been restructured in a client--server architecture and transcribed as a subroutine library. This implementation increases efficiency in stellar modelling where element stratification due to diffusion processes is depth dependent, and thus requires repeated fast opacity reestimates. Three user modes are provided to fit different computing environments, namely a web browser, a local workstation and a distributed grid.Comment: 5 pages, 1 figur

A Quantitative Comparison of Opacities Calculated Using the Distorted- Wave and R\boldsymbol{R}-Matrix Methods

The present debate on the reliability of astrophysical opacities has reached a new climax with the recent measurements of Fe opacities on the Z-machine at the Sandia National Laboratory \citep{Bailey2015}. To understand the differences between theoretical results, on the one hand, and experiments on the other, as well as the differences among the various theoretical results, detailed comparisons are needed. Many ingredients are involved in the calculation of opacities; deconstructing the whole process and comparing the differences at each step are necessary to quantify their importance and impact on the final results. We present here such a comparison using the two main approaches to calculate the required atomic data, the $R$-Matrix and distorted-wave methods, as well as sets of configurations and coupling schemes to quantify the effects on the opacities for the $Fe\ XVII$ and $Ni\ XIV$ ions.Comment: 10 pages, 2 figure

Reachability in Parametric Interval Markov Chains using Constraints

Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the transition probability values: transitions in pIMCs are labeled with parametric intervals of probabilities. In this work, we study the difference between pIMCs and other Markov Chain abstractions models and investigate the two usual semantics for IMCs: once-and-for-all and at-every-step. In particular, we prove that both semantics agree on the maximal/minimal reachability probabilities of a given IMC. We then investigate solutions to several parameter synthesis problems in the context of pIMCs -- consistency, qualitative reachability and quantitative reachability -- that rely on constraint encodings. Finally, we propose a prototype implementation of our constraint encodings with promising results

Conventional and Unconventional World Natural Gas Resources. Proceedings of the Fifth IIASA Conference on Energy Resources

Against a background of increasing energy demands and diminishing reserves of fossil fuels there is a clear need to intensify the search for conventional fuels and also to identify and develop new and unconventional energy technologies. But when trying to obtain a relatively complete picture of the level and distribution of energy resources around the world, information on petroleum reserves (oil and gas) is particularly difficult to obtain. The Fifth IIASA Conference on Energy Resources focused on conventional and unconventional sources of natural gas in an attempt to fill a major gap in the available data base, in recognition of the great and increasing importance of gas in world energy supply. The 31 papers in this volume are grouped in seven sections. The book opens with papers on the importance of natural gas in world energy supplies, followed by a section on the origin of natural gas and methods and models for assessing the location and extent of gas resources. The third section reviews past estimates of world gas resources while the fourth presents national and regional studies of two major producers, the United States and the Soviet Union. Technological, economic, an institutional aspects of gas utilization are examined in the fifth section, which is followed by a status report and future prognosis for gas located in geopressured zones. The book closes with papers on "unconventional gas", syngas, and biogas

The NuMAX Long Baseline Neutrino Factory Concept

A Neutrino Factory where neutrinos of all species are produced in equal quantities by muon decay is described as a facility at the intensity frontier for exquisite precision providing ideal conditions for ultimate neutrino studies and the ideal complement to Long Baseline Facilities like LBNF at Fermilab. It is foreseen to be built in stages with progressively increasing complexity and performance, taking advantage of existing or proposed facilities at an existing laboratory like Fermilab. A tentative layout based on a recirculating linac providing opportunities for considerable saving is discussed as well as its possible evolution toward a muon collider if and when requested by Physics. Tentative parameters of the various stages are presented as well as the necessary R&D to address the technological issues and demonstrate their feasibility.Comment: JINST Special Issue on Muon Accelerators. arXiv admin note: text overlap with arXiv:1308.0494, arXiv:1502.0164

Transport and cooling of singly-charged noble gas ion beams

The transport and cooling of noble gas singly-charged ion beams by means of a Radio Frequency Quadrupole Cooler Buncher (RFQCB) have been studied at the LIMBE low energy beam line of the GANIL facility. Ions as light as $^{4}He^+$ have been cooled and stored before their extraction in bunches using $H_2$ as buffer gas. Bunches characteristics have been studied as a function of the parameters of the device. Sizeable transmissions of up to 10 $$ have been obtained. A detailed study of the lifetime of ions inside the buncher has been performed giving an estimate of the charge exchange cross-section. Results of a microscopic Monte-Carlo transport code show reasonable agreement with experimental data.Comment: 13 figure

A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration