An Outline of the Bayesian Decision Theory

In this paper we give an outline on the Bayesian Decision Theory.Comment: arXiv admin note: text overlap with arXiv:1409.826

Controllable diffusion of cold atoms in a harmonically driven and tilted optical lattice: Decoherence by spontaneous emission

We have studied some transport properties of cold atoms in an accelerated optical lattice in the presence of decohering effects due to spontaneous emission. One new feature added is the effect of an external AC drive. As a result we obtain a tunable diffusion coefficient and it's nonlinear enhancement with increasing drive amplitude. We report an interesting maximum diffusion condition.Comment: 16 pages, 7 figures, revised versio

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

An overview of building morphological characteristics derived from 3D building databases.

Varying levels of urban canopy parameterizations are frequently employed in atmospheric transport and dispersion codes in order to better account for the urban effect on the meteorology and diffusion. Many of these urban parameterizations need building-related parameters as input. Derivation of these building parameters has often relied on in situ 'measurements', a time-consuming and expensive process. Recently, 3D building databases have become more common for major cities worldwide and provide the hope of a more efficient route to obtaining building statistics. In this paper, we give an overview of computations we have performed for obtaining building morphological characteristics from 3D building databases for several southwestern US cities, including Los Angeles, Salt Lake City, and Phoenix

BRCA1 185delAG Mutation Enhances Interleukin-1 β

Familial history remains the strongest risk factor for developing ovarian cancer (OC) and is associated with germline BRCA1 mutations, such as the 185delAG founder mutation. We sought to determine whether normal human ovarian surface epithelial (OSE) cells expressing the BRCA1 185delAG mutant, BRAT, could promote an inflammatory phenotype by investigating its impact on expression of the proinflammatory cytokine, Interleukin-1β (IL-1β). Cultured OSE cells with and without BRAT were analyzed for differential target gene expression by real-time PCR, western blot, ELISA, luciferase reporter, and siRNA assays. We found that BRAT cells expressed increased cellular and secreted levels of active IL-1β. BRAT-expressing OSE cells exhibited 3-fold enhanced IL-1β mRNA expression, transcriptionally regulated, in part, through CREB sites within the (−1800) to (−900) region of its promoter. In addition to transcriptional regulation, BRAT-mediated IL-1β expression appears dualistic through enhanced inflammasome-mediated caspase-1 cleavage and activation of IL-1β. Further investigation is warranted to elucidate the molecular mechanism(s) of BRAT-mediated IL-1β expression since increased IL-1β expression may represent an early step contributing to OC

Equality, Quasi-Implicit Products, and Large Eliminations

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We develop the metatheory for an undecidable version of the system with unannotated terms. We then devise a decidable system with annotated terms, justified in terms of the unannotated system. Finally, we show how the approach can be extended to account for large eliminations, using what we call quasi-implicit products.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Increased chromosomal radiosensitivity in asymptomatic carriers of a heterozygous BRCA1 mutation

Background: Breast cancer risk increases drastically in individuals carrying a germline BRCA1 mutation. The exposure to ionizing radiation for diagnostic or therapeutic purposes of BRCA1 mutation carriers is counterintuitive, since BRCA1 is active in the DNA damage response pathway. The aim of this study was to investigate whether healthy BRCA1 mutations carriers demonstrate an increased radiosensitivity compared with healthy individuals. Methods: We defined a novel radiosensitivity indicator (RIND) based on two endpoints measured by the G2 micronucleus assay, reflecting defects in DNA repair and G2 arrest capacity after exposure to doses of 2 or 4 Gy. We investigated if a correlation between the RIND score and nonsense-mediated decay (NMD) could be established. Results: We found significantly increased radiosensitivity in the cohort of healthy BRCA1 mutation carriers compared with healthy controls. In addition, our analysis showed a significantly different distribution over the RIND scores (p = 0.034, Fisher’s exact test) for healthy BRCA1 mutation carriers compared with non-carriers: 72 % of mutation carriers showed a radiosensitive phenotype (RIND score 1–4), whereas 72 % of the healthy volunteers showed no radiosensitivity (RIND score 0). Furthermore, 28 % of BRCA1 mutation carriers had a RIND score of 3 or 4 (not observed in control subjects). The radiosensitive phenotype was similar for relatives within several families, but not for unrelated individuals carrying the same mutation. The median RIND score was higher in patients with a mutation leading to a premature termination codon (PTC) located in the central part of the gene than in patients with a germline mutation in the 5′ end of the gene. Conclusions: We show that BRCA1 mutations are associated with a radiosensitive phenotype related to a compromised DNA repair and G2 arrest capacity after exposure to either 2 or 4 Gy. Our study confirms that haploinsufficiency is the mechanism involved in radiosensitivity in patients with a PTC allele, but it suggests that further research is needed to evaluate alternative mechanisms for mutations not subjected to NMD