Traditional vs. secular values and work-life well being across Europe

This paper examines how culture, defined in our analysis by reference to traditional versus secular values, affects the work-life balance across Europe. Specifically, we focus on the factors that affect the propensity of individuals across 30 European countries to exhibit behavioural patterns in the work and life domains consistent with the segmentation, spillover or compensation hypotheses. Testing the latter assertions, our empirical analysis replicates the study by Judge and Watanabe (1994) with data collected in 1999/00, thus bringing dated empirical results into a multi-country, contemporary realm. Based on self-reported job and life satisfaction measures, we then extend the empirical examination by controlling for different cultural values alongside a large set of standard economic and demographic factors. Our results emphasise the important role of views on secular versus traditional values as a main factor influencing respondents’ work-life balance and well being. The role of interpersonal trust features as a particularly prominent component in these results

The Density of Titanium(IV) Oxide Liquid

The density of TiO2 liquid in equilibrium with air has been measured at 1875° to 1925°C using an Ir double bob Archimedean method. The melt density data have been combined with data extrapolated from the CaSiO3─TiO2 join at 1600°C. A combined fit to these density data yields the following description of the density of liquid TiO2: ρ= 3.7611 - 0.00028T(°C), in the temperature range of 1600° to 1925°C. This expansivity value is consistent with those obtained on TiO2-rich melts using a Pt-based system at lower temperature and with multicomponent oxide data. The similarity between the volume of liquid TiO2 and that of crystalline rutile implies a dominantly octahedral coordination of Ti in the liquid state

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004 survey article on Auction Theory using the Isabelle/HOL system, and we have produced verified code for combinatorial Vickrey auctions. A fundamental question in this was how to represent some basic concepts: since set theory is available inside Isabelle/HOL, when introducing new definitions there is often the issue of balancing the amount of set-theoretical objects and of objects expressed using entities which are more typical of higher order logic such as functions or lists. Likewise, a user has often to answer the question whether to use a constructive or a non-constructive definition. Such decisions have consequences for the proof development and the usability of the formalization. For instance, sets are usually closer to the representation that economists would use and recognize, while the other objects are closer to the extraction of computational content. In this paper we give examples of the advantages and disadvantages for these approaches and their relationships. In addition, we present the corresponding Isabelle library of definitions and theorems, most prominently those dealing with relations and quotients.Comment: Preprint of a paper accepted for the forthcoming CICM 2014 conference (cicm-conference.org/2014): S.M. Watt et al. (Eds.): CICM 2014, LNAI 8543, Springer International Publishing Switzerland 2014. 16 pages, 1 figur

Optical characteristics of Nd:YAG optics and distortions at high power

The intensity profile and beam caustics of a fiber coupled high power Nd:YAG laser beam through a lens system are studied. The thermal lensing effect and its influence on the beam profile and focal position are discussed. Asymmetry of the intensity profile in planes above and below the focal plane is demonstrated. Also the influence of small pollutions on the protective window is explained. Three different methods are used to measure the occurrence\ud of thermal lensing and quantify these effects

Magnetooptical sum rules close to the Mott transition

We derive new sum rules for the real and imaginary parts of the frequency-dependent Hall constant and Hall conductivity. As an example, we discuss their relevance to the doped Mott insulator that we describe within the dynamical mean-field theory of strongly correlated electron systems.Comment: 4 pages, 4 ps figures; accepted for publication in PR

Shock-induced CO2 loss from CaCO3: Implications for early planetary atmospheres

Recovered samples from shock recovery experiments on single crystal calcite were subjected to thermogravimetric analysis to determine the amount of post-shock CO2, the decarbonization interval and the activation energy, for the removal of remaining CO2 in shock-loaded calcite. Comparison of post-shock CO2 with that initially present determines shock-induced CO2 loss as a function of shock pressure. Incipient to complete CO2 loss occurs over a pressure range of approximately 10 to approximately 70 GPa. Optical and scanning electron microscopy reveal structural changes, which are related to the shock-loading. The occurrence of dark, diffuse areas, which can be resolved as highly vesicular areas as observed with a scanning electron microscope are interpreted as representing quenched partial melts, into which shock-released CO2 was injected. The experimental results are used to constrain models of shock-produced, primary CO2 atmospheres on the accreting terrestrial planets

Time domain simulations of dynamic river networks

The problem of simulating a river network is considered. A river network is considered to comprise of rivers, dams/lakes as well as weirs. We suggest a numerical approach with specific features that enable the correct representation of these assets. For each river the flow of water is described by the shallow water equations which is a system of hyperbolic partial differential equations and at the junctions of the rivers, suitable coupling conditions, viewed as interior boundary conditions are used to couple the dynamics. A different model for the dams is also presented. Numerical test cases are presented which show that the model is able to reproduce the expected dynamics of the system. Other aspects of the modelling such as rainfall, run-off, overflow/flooding, evaporation, absorption/seepage, bed-slopes, bed friction have not been incorporated in the model due to their specific nature

A two-loop relation between inclusive radiative and semileptonic B-decay spectra

A shape-function independent relation is derived between the partial B->X_u+l+nu decay rate with a cut on P_+=E_X-P_X<Delta and a weighted integral over the normalized B->X_s+gamma photon-energy spectrum. The leading-power contribution to the weight function is calculated at next-to-next-to-leading order in renormalization-group improved perturbation theory, including exact two-loop matching corrections at the scale mu_i^2 ~ m_b*Lambda_{QCD}. The overall normalization of the weight function is obtained up to yet unknown corrections of order [alpha_s(m_b)]^2. Power corrections from phase-space factors are included exactly, while the remaining subleading contributions are included at first order in 1/m_b. At this level unavoidable hadronic uncertainties enter, which are estimated in a conservative way. The combined theoretical accuracy in the extraction of |V_{ub}| is at the level of 5% if a value of Delta near the charm threshold can be achieved experimentally.Comment: 22 pages, 4 figures; few comments and one reference added; version to appear in JHE