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

Digital implant impressions with the "Individualized Scanbody Technique" for emergence profile support.

OBJECTIVE The Short Communication presents a clinical case in which a novel procedure--the "Individualized Scanbody Technique" (IST)--was applied, starting with an intraoral digital impression and using CAD/CAM process for fabrication of ceramic reconstructions in bone level implants. MATERIAL AND METHODS A standardized scanbody was individually modified in accordance with the created emergence profile of the provisional implant-supported restoration. Due to the specific adaptation of the scanbody, the conditioned supra-implant soft tissue complex was stabilized for the intraoral optical scan process. Then, the implant platform position and the supra-implant mucosa outline were transferred into the three-dimensional data set with a digital impression system. Within the technical workflow, the ZrO2 -implant-abutment substructure could be designed virtually with predictable margins of the supra-implant mucosa. RESULTS After finalization of the 1-piece screw-retained full ceramic implant crown, the restoration demonstrated an appealing treatment outcome with harmonious soft tissue architecture. CONCLUSIONS The IST facilitates a simple and fast approach for a supra-implant mucosal outline transfer in the digital workflow. Moreover, the IST closes the interfaces in the full digital pathway.

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.

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.

Feasible Dose Reduction in Routine Chest Computed Tomography Maintaining Constant Image Quality Using the Last Three Scanner Generations: From Filtered Back Projection to Sinogram-affirmed Iterative Reconstruction and Impact of the Novel Fully Integrated Detector Design Minimizing Electronic Noise

OBJECTIVE The aim of the present study was to evaluate a dose reduction in contrast-enhanced chest computed tomography (CT) by comparing the three latest generations of Siemens CT scanners used in clinical practice. We analyzed the amount of radiation used with filtered back projection (FBP) and an iterative reconstruction (IR) algorithm to yield the same image quality. Furthermore, the influence on the radiation dose of the most recent integrated circuit detector (ICD; Stellar detector, Siemens Healthcare, Erlangen, Germany) was investigated. MATERIALS AND METHODS 136 Patients were included. Scan parameters were set to a thorax routine: SOMATOM Sensation 64 (FBP), SOMATOM Definition Flash (IR), and SOMATOM Definition Edge (ICD and IR). Tube current was set constantly to the reference level of 100 mA automated tube current modulation using reference milliamperes. Care kV was used on the Flash and Edge scanner, while tube potential was individually selected between 100 and 140 kVp by the medical technologists at the SOMATOM Sensation. Quality assessment was performed on soft-tissue kernel reconstruction. Dose was represented by the dose length product. RESULTS Dose-length product (DLP) with FBP for the average chest CT was 308 mGy*cm ± 99.6. In contrast, the DLP for the chest CT with IR algorithm was 196.8 mGy*cm ± 68.8 (P = 0.0001). Further decline in dose can be noted with IR and the ICD: DLP: 166.4 mGy*cm ± 54.5 (P = 0.033). The dose reduction compared to FBP was 36.1% with IR and 45.6% with IR/ICD. Signal-to-noise ratio (SNR) was favorable in the aorta, bone, and soft tissue for IR/ICD in combination compared to FBP (the P values ranged from 0.003 to 0.048). Overall contrast-to-noise ratio (CNR) improved with declining DLP. CONCLUSION The most recent technical developments, namely IR in combination with integrated circuit detectors, can significantly lower radiation dose in chest CT examinations.

Measurement of the TeV atmospheric muon charge ratio with the complete OPERA data set

The OPERA detector, designed to search for νμ → ντ oscillations in the CNGS beam, is located in the underground Gran Sasso laboratory, a privileged location to study TeV-scale cosmic rays. For the analysis here presented, the detector was used to measure the atmospheric muon charge ratio in the TeV region. OPERA collected chargeseparated cosmic ray data between 2008 and 2012. More than 3 million atmospheric muon events were detected and reconstructed, among which about 110000 multiple muon bundles. The charge ratio Rμ ≡ Nμ+/Nμ− was measured separately for single and for multiple muon events. The analysis exploited the inversion of the magnet polarity which was performed on purpose during the 2012 Run. The combination of the two data sets with opposite magnet polarities allowedminimizing systematic uncertainties and reaching an accurate determination of the muon charge ratio. Data were fitted to obtain relevant parameters on the composition of primary cosmic rays and the associated kaon production in the forward fragmentation region. In the surface energy range 1–20 TeV investigated by OPERA, Rμ is well described by a parametric model including only pion and kaon contributions to themuon flux, showing no significant contribution of the prompt component. The energy independence supports the validity of Feynman scaling in the fragmentation region up to 200 TeV/nucleon primary energy.

Disclosure attitudes and social acknowledgement as predictors of posttraumatic stress disorder symptom severity in Chinese and German crime victims

Objective: Only rare data exist comparing cross-cultural aspects of civilian traumatization. We compared prevalence rates of posttraumatic stress disorder (PTSD) in German and Chinese crime victims, and investigated the cross-cultural effect of 2 interpersonal predictors. Method: German (n = 151) and Chinese (n = 144) adult crime victims were assessed several months postcrime. The parallel questionnaire set assessed PTSD symptom severity, disclosure attitudes, social acknowledgement, and demographic and crime characteristics. Results: German and Chinese participants differed significantly in their PTSD symptom severity. However, in both samples, disclosure attitudes and social acknowledgement predicted PTSD symptom severity with a similar strength, in addition to the effects of other PTSD predictors. Conclusions: The results suggest that interpersonal variables are predictors of PTSD symptom severity in both cultures and should be included in etiologic models of PTSD.

Variance estimation in ranked set sampling using a concomitant variable

We propose a nonparametric variance estimator when ranked set sampling (RSS) and judgment post stratification (JPS) are applied by measuring a concomitant variable. Our proposed estimator is obtained by conditioning on observed concomitant values and using nonparametric kernel regression.

The granulocyte orphan receptor CEACAM4 is able to trigger phagocytosis of bacteria.

Human granulocytes express several glycoproteins of the CEACAM family. One family member, CEACAM3, operates as a single-chain phagocytic receptor, initiating the detection, internalization, and destruction of a limited set of gram-negative bacteria. In contrast, the function of CEACAM4, a closely related protein, is completely unknown. This is mainly a result of a lack of a specific ligand for CEACAM4. By generating chimeric proteins containing the extracellular bacteria-binding domain of CEACAM3 and the transmembrane and cytoplasmic part of CEACAM4 (CEACAM3/4) we demonstrate that this chimeric receptor can trigger efficient phagocytosis of attached particles. Uptake of CEACAM3/4-bound bacteria requires the intact ITAM of CEACAM4, and this motif is phosphorylated by Src family PTKs upon receptor clustering. Furthermore, SH2 domains derived from Src PTKs, PI3K, and the adapter molecule Nck are recruited and associate directly with the phosphorylated CEACAM4 ITAM. Deletion of this sequence motif or inhibition of Src PTKs blocks CEACAM4-mediated uptake. Together, our results suggest that this orphan receptor of the CEACAM family has phagocytic function and prompt efforts to identify CEACAM4 ligands.