5,193 research outputs found

    A Theory of Auditing and Plunder

    Get PDF
    Taxpayers know their income but the IRS does not. The IRS can audit taxpayers to discover their true income, but auditing is costly. We characterize optimal policies for the IRS when it is free to choose tax levies, audit probabilities and penalties. The main results are that optimal policies involve taxes which are monotonically increasing in reported incomes and audit probabilities are monotonically decreasing in reported income. In general optimal schemes involve stochastic auditing of reports and rebates for telling the truth. A theory of optimal plundering is described

    A Two-Phase Approach for Conditional Floating-Point Verification

    Get PDF

    Novel composites for wing and fuselage applications

    Get PDF
    Probabilistic predictions based on the IPACS code are presented for the material and structural response of unnotched and notched, IM6/3501-6 Gr/Ep laminates. Comparisons of predicted and measured modulus and strength distributions are given for unnotched unidirectional, cross-ply and quasi-isotropic laminates. The predicted modulus distributions were found to correlate well with the test results for all three unnotched laminates. Correlations of strength distributions for the unnotched laminates are judged good for the unidirectional laminate and fair for the cross-ply laminate, whereas the strength correlation for the quasi-isotropic laminate is judged poor because IPACS did not have a progressive failure capability at the time this work was performed. The report also presents probabilistic and structural reliability analysis predictions for the strain concentration factor (SCF) for an open-hole, quasi-isotropic laminate subjected to longitudinal tension. A special procedure was developed to adapt IPACS for the structural reliability analysis. The reliability results show the importance of identifying the most significant random variables upon which the SCF depends, and of having accurate scatter values for these variables

    Peroxisome proliferator-activated receptor delta limits the expansion of pathogenic Th cells during central nervous system autoimmunity.

    Get PDF
    Peroxisome proliferator-activated receptors (PPARs; PPAR-alpha, PPAR-delta, and PPAR-gamma) comprise a family of nuclear receptors that sense fatty acid levels and translate this information into altered gene transcription. Previously, it was reported that treatment of mice with a synthetic ligand activator of PPAR-delta, GW0742, ameliorates experimental autoimmune encephalomyelitis (EAE), indicating a possible role for this nuclear receptor in the control of central nervous system (CNS) autoimmune inflammation. We show that mice deficient in PPAR-delta (PPAR-delta(-/-)) develop a severe inflammatory response during EAE characterized by a striking accumulation of IFN-gamma(+)IL-17A(-) and IFN-gamma(+)IL-17A(+) CD4(+) cells in the spinal cord. The preferential expansion of these T helper subsets in the CNS of PPAR-delta(-/-) mice occurred as a result of a constellation of immune system aberrations that included higher CD4(+) cell proliferation, cytokine production, and T-bet expression and enhanced expression of IL-12 family cytokines by myeloid cells. We also show that the effect of PPAR-delta in inhibiting the production of IFN-gamma and IL-12 family cytokines is ligand dependent and is observed in both mouse and human immune cells. Collectively, these findings suggest that PPAR-delta serves as an important molecular brake for the control of autoimmune inflammation

    A Theory of Auditing and Plunder

    Get PDF
    Taxpayers know their income but the IRS does not. The IRS can audit taxpayers to discover their true income, but auditing is costly. We characterize optimal policies for the IRS when it is free to choose tax levies, audit probabilities and penalties. The main results are that optimal policies involve taxes which are monotonically increasing in reported incomes and audit probabilities are monotonically decreasing in reported income. In general optimal schemes involve stochastic auditing of reports and rebates for telling the truth. A theory of optimal plundering is described

    Scrt1, a transcriptional regulator of β-cell proliferation identified by differential chromatin accessibility during islet maturation.

    Get PDF
    Glucose-induced insulin secretion, a hallmark of mature β-cells, is achieved after birth and is preceded by a phase of intense proliferation. These events occurring in the neonatal period are decisive for establishing an appropriate functional β-cell mass that provides the required insulin throughout life. However, key regulators of gene expression involved in functional maturation of β-cells remain to be elucidated. Here, we addressed this issue by mapping open chromatin regions in newborn versus adult rat islets using the ATAC-seq assay. We obtained a genome-wide picture of chromatin accessible sites (~ 100,000) among which 20% were differentially accessible during maturation. An enrichment analysis of transcription factor binding sites identified a group of transcription factors that could explain these changes. Among them, Scrt1 was found to act as a transcriptional repressor and to control β-cell proliferation. Interestingly, Scrt1 expression was controlled by the transcriptional repressor RE-1 silencing transcription factor (REST) and was increased in an in vitro reprogramming system of pancreatic exocrine cells to β-like cells. Overall, this study led to the identification of several known and unforeseen key transcriptional events occurring during β-cell maturation. These findings will help defining new strategies to induce the functional maturation of surrogate insulin-producing cells

    Small RNAs derived from tRNA fragmentation regulate the functional maturation of neonatal β cells.

    Get PDF
    tRNA-derived fragments (tRFs) are an emerging class of small non-coding RNAs with distinct cellular functions. Here, we studied the contribution of tRFs to the regulation of postnatal β cell maturation, a critical process that may lead to diabetes susceptibility in adulthood. We identified three tRFs abundant in neonatal rat islets originating from 5' halves (tiRNA-5s) of histidine and glutamate tRNAs. Their inhibition in these islets reduced β cell proliferation and insulin secretion. Mitochondrial respiration was also perturbed, fitting with the mitochondrial enrichment of nuclear-encoded tiRNA-5 <sup>HisGTG</sup> and tiRNA-5 <sup>GluCTC</sup> . Notably, tiRNA-5 inhibition reduced Mpc1, a mitochondrial pyruvate carrier whose knock down largely phenocopied tiRNA-5 inhibition. tiRNA-5 <sup>HisGTG</sup> interactome revealed binding to Musashi-1, which was essential for the mitochondrial enrichment of tiRNA-5 <sup>HisGTG</sup> . Finally, tiRNA-5s were dysregulated in the islets of diabetic and diabetes-prone animals. Altogether, tiRNA-5s represent a class of regulators of β cell maturation, and their deregulation in neonatal islets may lead to diabetes susceptibility in adulthood

    Majorana Neutrinos and Gravitational Oscillation

    Get PDF
    We analyze the possibility of encountering resonant transitions of high energy Majorana neutrinos produced in Active Galactic Nuclei (AGN). We consider gravitational, electromagnetic and matter effects and show that the latter are ignorable. Resonant oscillations due to the gravitational interactions are shown to occur at energies in the PeV range for magnetic moments in the 1017μB10^{-17} \mu_B range. Coherent precession will dominate for larger magnetic moments. The alllowed regions for gravitational resonant transitions are obtained.Comment: 11 pages, 8 figures, Latex; requires revtex and epsf.tex submitted to Physical Review

    The mitochondrial tRNA-derived fragment, mt-tRF-Leu<sup>TAA</sup>, couples mitochondrial metabolism to insulin secretion.

    Get PDF
    The contribution of the mitochondrial electron transfer system to insulin secretion involves more than just energy provision. We identified a small RNA fragment (mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; ) derived from the cleavage of a mitochondrially-encoded tRNA that is conserved between mice and humans. The role of mitochondrially-encoded tRNA-derived fragments remains unknown. This study aimed to characterize the impact of mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; , on mitochondrial metabolism and pancreatic islet functions. We used antisense oligonucleotides to reduce mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; levels in primary rat and human islet cells, as well as in insulin-secreting cell lines. We performed a joint transcriptome and proteome analysis upon mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; inhibition. Additionally, we employed pull-down assays followed by mass spectrometry to identify direct interactors of the fragment. Finally, we characterized the impact of mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; silencing on the coupling between mitochondrial metabolism and insulin secretion using high-resolution respirometry and insulin secretion assays. Our study unveils a modulation of mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; levels in pancreatic islets in different Type 2 diabetes models and in response to changes in nutritional status. The level of the fragment is finely tuned by the mechanistic target of rapamycin complex 1. Located within mitochondria, mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; interacts with core subunits and assembly factors of respiratory complexes of the electron transfer system. Silencing of mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; in islet cells limits the inner mitochondrial membrane potential and impairs mitochondrial oxidative phosphorylation, predominantly by affecting the Succinate (via Complex II)-linked electron transfer pathway. Lowering mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; impairs insulin secretion of rat and human pancreatic β-cells. Our findings indicate that mt-tRF-Leu &lt;sup&gt;TAA&lt;/sup&gt; interacts with electron transfer system complexes and is a pivotal regulator of mitochondrial oxidative phosphorylation and its coupling to insulin secretion
    corecore