A second look at gauged supergravities from fluxes in M-theory

We investigate reductions of M-theory beyond twisted tori by allowing the presence of KK6 monopoles (KKO6-planes) compatible with N = 4 supersymmetry in four dimensions. The presence of KKO6-planes proves crucial to achieve full moduli stabilisation as they generate new universal moduli powers in the scalar potential. The resulting gauged supergravities turn out to be compatible with a weak G2 holonomy at N = 1 as well as at some non-supersymmetric AdS4 vacua. The M-theory flux vacua we present here cannot be obtained from ordinary type IIA orientifold reductions including background fluxes, D6-branes (O6-planes) and/or KK5 (KKO5) sources. However, from a four-dimensional point of view, they still admit a description in terms of so-called non-geometric fluxes. In this sense we provide the M-theory interpretation for such non-geometric type IIA flux vacua.

Effectiveness of Fluorescence-based Methods in Monitoring Progression of Noncavitated Caries-like Lesions on Smooth Surfaces

Although there has been a significant decrease in caries prevalence in developed countries, the slower progression of dental caries requires methods capable of detecting and quantifying lesions at an early stage. The aim of this study was to evaluate the effectiveness of fluorescence-based methods (DIAGNOdent 2095 laser fluorescence device [LF], DIAGNOdent 2190 pen [LFpen], and VistaProof fluorescence camera [FC]) in monitoring the progression of noncavitated caries-like lesions on smooth surfaces. Caries-like lesions were developed in 60 blocks of bovine enamel using a bacterial model of Streptococcus mutans and Lactobacillus acidophilus . Enamel blocks were evaluated by two independent examiners at baseline (phase I), after the first cariogenic challenge (eight days) (phase II), and after the second cariogenic challenge (a further eight days) (phase III) by two independent examiners using the LF, LFpen, and FC. Blocks were submitted to surface microhardness (SMH) and cross-sectional microhardness analyses. The intraclass correlation coefficient for intra- and interexaminer reproducibility ranged from 0.49 (FC) to 0.94 (LF/LFpen). SMH values decreased and fluorescence values increased significantly among the three phases. Higher values for sensitivity, specificity, and area under the receiver operating characteristic curve were observed for FC (phase II) and LFpen (phase III). A significant correlation was found between fluorescence values and SMH in all phases and integrated loss of surface hardness (ΔKHN) in phase III. In conclusion, fluorescence-based methods were effective in monitoring noncavitated caries-like lesions on smooth surfaces, with moderate correlation with SMH, allowing differentiation between sound and demineralized enamel.

Influence of contact points on the performance of caries detection methods in approximal surfaces of primary molars: an in vivo study

This in vivo study aimed to evaluate the influence of contact points on the approximal caries detection in primary molars, by comparing the performance of the DIAGNOdent pen and visual-tactile examination after tooth separation to bitewing radiography (BW). A total of 112 children were examined and 33 children were selected. In three periods (a, b, and c), 209 approximal surfaces were examined: (a) examiner 1 performed visual-tactile examination using the Nyvad criteria (EX1); examiner 2 used DIAGNOdent pen (LF1) and took BW; (b) 1 week later, after tooth separation, examiner 1 performed the second visual-tactile examination (EX2) and examiner 2 used DIAGNOdent again (LF2); (c) after tooth exfoliation, surfaces were directly examined using DIAGNOdent (LF3). Teeth were examined by computed microtomography as a reference standard. Analyses were based on diagnostic thresholds: D1: D 0 = health, D 1 –D 4 = disease; D2: D 0 , D 1 = health, D 2 –D 4 = disease; D3: D 0 –D 2 = health, D 3 , D 4 = disease. At D1, the highest sensitivity/specificity were observed for EX1 (1.00)/LF3 (0.68), respectively. At D2, the highest sensitivity/ specificity were observed for LF3 (0.69)/BW (1.00), respectively. At D3, the highest sensitivity/specificity were observed for LF3 (0.78)/EX1, EX2 and BW (1.00). EX1 showed higher accuracy values than LF1, and EX2 showed similar values to LF2. We concluded that the visual-tactile examination showed better results in detecting sound surfaces and approximal caries lesions without tooth separation. However, the effectiveness of approximal caries lesion detection of both methods was increased by the absence of contact points. Therefore, regardless of the method of detection, orthodontic separating elastics should be used as a complementary tool for the diagnosis of approximal noncavitated lesions in primary molars.

Treatment planning aspects and Monte Carlo methods in proton therapy

Over the last years, the interest in proton radiotherapy is rapidly increasing. Protons provide superior physical properties compared with conventional radiotherapy using photons. These properties result in depth dose curves with a large dose peak at the end of the proton track and the finite proton range allows sparing the distally located healthy tissue. These properties offer an increased flexibility in proton radiotherapy, but also increase the demand in accurate dose estimations. To carry out accurate dose calculations, first an accurate and detailed characterization of the physical proton beam exiting the treatment head is necessary for both currently available delivery techniques: scattered and scanned proton beams. Since Monte Carlo (MC) methods follow the particle track simulating the interactions from first principles, this technique is perfectly suited to accurately model the treatment head. Nevertheless, careful validation of these MC models is necessary. While for the dose estimation pencil beam algorithms provide the advantage of fast computations, they are limited in accuracy. In contrast, MC dose calculation algorithms overcome these limitations and due to recent improvements in efficiency, these algorithms are expected to improve the accuracy of the calculated dose distributions and to be introduced in clinical routine in the near future.

Relative Distribution Methods in Stata

The concept of the relative density seems like a fruitful nonparametric approach to studying distributional differences between groups (Handcock and Morris 1999), yet it appears that the technique has gone more or less unnoticed in applied social science research. A scarcity of canned software might be one of the reasons the method is underutilized. Therefore, I present a new Stata command called reldist to plot the relative density, decompose distributional differences into location and shape effects, and compute relative distribution summary measures. The command is illustrated by an application comparing earnings by sex.

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).

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Increased number of non-degranulated mast cells in pancreatic ductal adenocarcinoma but not in acute pancreatitis.

Increasing evidence indicates that tumor microenvironment (TME) is crucial in tumor survival and metastases. Inflammatory cells accumulate around tumors and strangely appear to be permissive to their growth. One key stroma cell is the mast cell (MC), which can secrete numerous pro- and antitumor molecules. We investigated the presence and degranulation state of MC in pancreatic ductal adenocarcinoma (PDAC) as compared to acute ancreatitis (AP). Three different detection methods: (a) toluidine blue staining, as well as immunohistochemistry for (b) tryptase and (c) c-kit, were utilized to assess the number and extent of degranulation of MC in PDAC tissue (n=7), uninvolved pancreatic tissue derived from tumor-free margins (n=7) and tissue form AP (n=4). The number of MC detected with all three methods was significantly increased in PDAC, as compared to normal pancreatic tissue derived from tumor-free margins (p<0.05). The highest number of MC was identified by c-kit, 22.2∓7.5 per high power field (HPF) in PDAC vs 9.7∓5.1 per HPF in normal tissue. Contrary to MC in AP, where most of the detected MC were found degranulated, MC in PDAC appeared intact. In conclusion, MC are increased in number, but not degranulated in PDAC, suggesting that they may contribute to cancer growth by permitting selective release of pro-tumorogenic molecules.