The origin of the low-spin character of the resting state of cytochrome P450cam investigated by means of active site analogues

Crown-capped iron(S−) porphyrins 1·H2O and 2·H2O and their corresponding Ba2+ complexes have been prepared as active site analogues of the resting state of cytochrome P450cam. cw-EPR studies and electronic structure calculations at the density functional theory (DFT) level of model systems suggest a functional role of the water cluster of P450cam.

Fast parallel kriging-based stepwise uncertainty reduction with application to the identification of an excursion set

Stepwise uncertainty reduction (SUR) strategies aim at constructing a sequence of points for evaluating a function  f in such a way that the residual uncertainty about a quantity of interest progressively decreases to zero. Using such strategies in the framework of Gaussian process modeling has been shown to be efficient for estimating the volume of excursion of f above a fixed threshold. However, SUR strategies remain cumbersome to use in practice because of their high computational complexity, and the fact that they deliver a single point at each iteration. In this article we introduce several multipoint sampling criteria, allowing the selection of batches of points at which f can be evaluated in parallel. Such criteria are of particular interest when f is costly to evaluate and several CPUs are simultaneously available. We also manage to drastically reduce the computational cost of these strategies through the use of closed form formulas. We illustrate their performances in various numerical experiments, including a nuclear safety test case. Basic notions about kriging, auxiliary problems, complexity calculations, R code, and data are available online as supplementary materials.

Bet ha-kĕnĕset ... oder Die Mayerische Synagoga in Greiffswalde : zum Nutzen der studirenden Jugend aufgerichtet ...

aus denen Rabbinen deutlich vorgestellet und mit einer Vorrede Brandani Henr. Gebhardi. Mit einem curieusen Anhang vermehret, zum 3. mahl aufgel. und hrsg. von Christoph Wallich

Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universe V of sets is treated as the given totality (nor in the contexts of those of n+3-th order number or set theories, where the class of all n+2-th order objects is treated as the given totality).

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Lake surface water temperatures of European Alpine lakes (1989–2013) based on the Advanced Very High Resolution Radiometer (AVHRR) 1 km data set

Lake water temperature (LWT) is an important driver of lake ecosystems and it has been identified as an indicator of climate change. Consequently, the Global Climate Observing System (GCOS) lists LWT as an essential climate variable. Although for some European lakes long in situ time series of LWT do exist, many lakes are not observed or only on a non-regular basis making these observations insufficient for climate monitoring. Satellite data can provide the information needed. However, only few satellite sensors offer the possibility to analyse time series which cover 25 years or more. The Advanced Very High Resolution Radiometer (AVHRR) is among these and has been flown as a heritage instrument for almost 35 years. It will be carried on for at least ten more years, offering a unique opportunity for satellite-based climate studies. Herein we present a satellite-based lake surface water temperature (LSWT) data set for European water bodies in or near the Alps based on the extensive AVHRR 1 km data record (1989–2013) of the Remote Sensing Research Group at the University of Bern. It has been compiled out of AVHRR/2 (NOAA-07, -09, -11, -14) and AVHRR/3 (NOAA-16, -17, -18, -19 and MetOp-A) data. The high accuracy needed for climate related studies requires careful pre-processing and consideration of the atmospheric state. The LSWT retrieval is based on a simulation-based scheme making use of the Radiative Transfer for TOVS (RTTOV) Version 10 together with ERA-interim reanalysis data from the European Centre for Medium-range Weather Forecasts. The resulting LSWTs were extensively compared with in situ measurements from lakes with various sizes between 14 and 580 km2 and the resulting biases and RMSEs were found to be within the range of −0.5 to 0.6 K and 1.0 to 1.6 K, respectively. The upper limits of the reported errors could be rather attributed to uncertainties in the data comparison between in situ and satellite observations than inaccuracies of the satellite retrieval. An inter-comparison with the standard Moderate-resolution Imaging Spectroradiometer (MODIS) Land Surface Temperature product exhibits RMSEs and biases in the range of 0.6 to 0.9 and −0.5 to 0.2 K, respectively. The cross-platform consistency of the retrieval was found to be within ~ 0.3 K. For one lake, the satellite-derived trend was compared with the trend of in situ measurements and both were found to be similar. Thus, orbital drift is not causing artificial temperature trends in the data set. A comparison with LSWT derived through global sea surface temperature (SST) algorithms shows lower RMSEs and biases for the simulation-based approach. A running project will apply the developed method to retrieve LSWT for all of Europe to derive the climate signal of the last 30 years. The data are available at doi:10.1594/PANGAEA.831007.

Denkschrift über Entstehung und Character der in den südlichen Provinzen Rußlands vorgefallenen Unruhen

auf Veranlassung des Grafen Kutaisoff verf. von [Simeon Leon von] Schwabacher

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Invisible social control as predictor of daily negative affect and smoking after a self-set quit date

The dual-effects model of social control proposes that social control leads to increased psychological distress but also to better health practices. However, findings are inconsistent, and recent research suggests that the most effective control is unnoticed by the receiver (i. e., invisible). Yet, investigations of the influence of invisible control on daily negative affect and smoking have been limited. Using daily diaries, we investigated how invisible social control was associated with negative affect and smoking. Overall, 100 smokers (72.0 % men, age M = 40.48, SD = 9.82) and their nonsmoking partners completed electronic diaries from a self-set quit date for 22 consecutive days, reporting received and provided social control, negative affect, and daily smoking. We found in multilevel analyses of the within-person process that on days with higher-than-average invisible control, smokers reported more negative affect and fewer cigarettes smoked. Findings are in line with the assumptions of the dual-effects model of social control: Invisible social control increased daily negative affect and simultaneously reduced smoking at the within-person level.

Daily negative affect and smoking after a self-set quit attempt: The role of dyadic invisible social support in a daily diary study

Objectives Social support receipt from one's partner is assumed to be beneficial for successful smoking cessation. However, support receipt can have costs. Recent research suggests that the most effective support is unnoticed by the receiver (i.e., invisible). Therefore, this study examined the association between everyday levels of dyadic invisible emotional and instrumental support, daily negative affect, and daily smoking after a self-set quit attempt in smoker–non-smoker couples. Methods Overall, 100 smokers (72.0% men, mean age M = 40.48, SD = 9.82) and their non-smoking partners completed electronic diaries from a self-set quit date on for 22 consecutive days, reporting daily invisible emotional and instrumental social support, daily negative affect, and daily smoking. Results Same-day multilevel analyses showed that at the between-person level, higher individual mean levels of invisible emotional and instrumental support were associated with less daily negative affect. In contrast to our assumption, more receipt of invisible emotional and instrumental support was related to more daily cigarettes smoked. Conclusions The findings are in line with previous results, indicating invisible support to have beneficial relations with affect. However, results emphasize the need for further prospective daily diary approaches for understanding the dynamics of invisible support on smoking cessation.

Examining invisible social control as predictor of daily smoking and negative affect after a self-set quit date

Objectives: The dual-effects model of social control proposes that social control leads to better health practices, but also arouses psychological distress. However, findings are inconsistent in relation to health behavior and psychological distress. Recent research suggests that the most effective control is unnoticed by the receiver (i.e., invisible). There is some evidence that invisible social control is beneficial for positive and negative affective reactions. Yet, investigations of the influence of invisible social control on daily smoking and distress have been limited. In daily diaries, we investigated how invisible social control is associated with number of cigarettes smoked and negative affect on a daily basis. Methods: Overall, 99 smokers (72.0% men, mean age M = 40.48, SD = 9.82) and their non-smoking partners completed electronic diaries from a self-set quit date for 22 consecutive days within the hour before going to bed, reporting received and provided social control, daily number of cigarettes smoked, and negative affect. Results: Multilevel analyses indicated that between-person levels of invisible social control were associated with lower negative affect, whereas they were unrelated to number of cigarettes smoked. On days with higher-than-average invisible social control, smokers reported less cigarettes smoked and more negative affect. Conclusions: Between-person level findings indicate that invisible social control can be beneficial for negative affect. However, findings on the within-person level are in line with the assumptions of the dual-effects model of social control: Invisible social control reduced daily smoking and simultaneously increased daily negative affect within person.

Europeanization in parliament and in the press

Europeanization challenges national democratic systems. As part and parcel of the broader internationalization of politics, Europeanization is associated with a shift from policymaking within majoritarian, elected representative bodies towards technocratic decisions among non-majoritarian and non-elected bodies (Kohler-Koch and Rittberger 2008, Lavenex 2013). It is thus said to weaken the influence of citizens and parliaments on the making of policies and to undermine democratic collective identity (Lavenex 2013, Schimmelfennig 2010). The weakening of national parliaments has been referred to as “de-parliamentarisation” (Goetz and Meyer-Sahling 2008) and has nurtured a broader debate regarding the democratic deficit in the EU. While not being a member of the EU, Switzerland has not remained unaffected by these changes. As discussed in the contribution by Fischer and Sciarini, state executive actors take the lead in Switzerland's European policy. They are responsible for the conduct of international negotiations, they own the treaty making power, and it is up to them to decide whether they wish to launch a negotiation with the EU. In addition, the strong take-it or leave-it character of Europeanized acts limits the room for manoeuver of the parliamentary body also in the ratification phase. Among the public, the rejection of the treaty on the European constitution has definitely closed the era of “permissive consensus” (Hooghe and Marks 2009). However, the process of European unification remains far remote from the European public. In Switzerland, the strongly administrative character of international legislation hinders public discussion (Vögeli 2007). In such a context, the media may serve as cue for the public: By delivering information about the extent and nature of Europeanized policymaking, the media enable citizens to form their own opinions and to hold their representatives accountable. In this sense media coverage may not only be considered an indicator of the information delivered to the public, but it may also enhance the democratic legitimacy of Europeanized policymaking (for a similar argument, see Tresch and Jochum 2005). While the previous contributions to this debate have examined the Europeanization of Swiss (primary and secondary) legislation, we take a closer look at two additional domestic arenas that are both supposed to be under pressure due to Europeanization: The parliament and the media. To that end, we rely on data gathered in a research project that two of us carried out in the context of the NCCR Democracy.1 While this project was primarily interested in the mediatization of decision-making processes in Switzerland, it also investigated the conditional role played by internationalization/Europeanization. For our present purposes, we shall exploit the two data-sets that were developed as part of a study of the political agenda-setting power of the media (Sciarini and Tresch 2012, 2013, Tresch et al. 2013): A data-set on issue attention in parliamentary interventions (initiatives, motions, postulates,2 interpellations and questions) and a data-set on issue attention in articles from the Neue Zürcher Zeitung (NZZ). The data covers the years 1995 to 2003 and the coding of issues followed the classification system developed in the “Policy Agendas Project” (Baumgartner and Jones 1993).

Coded Aperture Flow

Real cameras have a limited depth of field. The resulting defocus blur is a valuable cue for estimating the depth structure of a scene. Using coded apertures, depth can be estimated from a single frame. For optical flow estimation between frames, however, the depth dependent degradation can introduce errors. These errors are most prominent when objects move relative to the focal plane of the camera. We incorporate coded aperture defocus blur into optical flow estimation and allow for piecewise smooth 3D motion of objects. With coded aperture flow, we can establish dense correspondences between pixels in succeeding coded aperture frames. We compare several approaches to compute accurate correspondences for coded aperture images showing objects with arbitrary 3D motion.