Hyperpolarized 13C magnetic resonance imaging of fumarate metabolism by parahydrogen-induced polarization: a proof-of-concept in vivo study

Hyperpolarized [1-13C]fumarate is a promising magnetic resonance imaging (MRI) biomarker for cellular necrosis, which plays an important role in various disease and cancerous pathological processes. To demonstrate the feasibility of MRI of [1-13C]fumarate metabolism using parahydrogen-induced polarization (PHIP), a low-cost alternative to dissolution dynamic nuclear polarization (dDNP), a cost-effective and high-yield synthetic pathway of hydrogenation precursor [1-13C]acetylenedicarboxylate (ADC) was developed. The trans-selectivity of the hydrogenation reaction of ADC using a ruthenium-based catalyst was elucidated employing density functional theory (DFT) simulations. A simple PHIP set-up was used to generate hyperpolarized [1-13C]fumarate at sufficient 13C polarization for ex vivo detection of hyperpolarized 13C malate metabolized from fumarate in murine liver tissue homogenates, and in vivo 13C MR spectroscopy and imaging in a murine model of acetaminophen-induced hepatitis

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods

Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. However, native code is much bigger than Java bytecode, which severely limits or even forbids these practices for devices with memory constraints. In this paper, we describe and evaluate a method for reducing natively-compiled code by suppressing runtime exception check sites, which are emitted when compiling bytecodes that may potentially throw runtime exceptions. This is made possible by completing the Java program with JML annotations, and using a theorem prover in order to formally prove that the compiled methods never throw runtime exceptions. Runtime exception check sites can then safely be removed from the generated native code, as it is proved they will never be entered. We have experimented our approach on several card-range and embedded Java applications, and were able to remove almost all the exception check sites. Results show memory footprints for native code that are up to 70% smaller than the non-optimized version, and sometimes as low than 115% the size of the Java bytecode when compiled for ARM thumb

Observation of B_s0->D_s*- pi+, B_s0->D_s(*)- rho+ Decays and Measurement of B_s0->D_s*- rho+ Polarization

First observations of the B_s0->D_s*- pi+, B_s0->D_s- rho+ and B_s0->D_s*- rho+ decays are reported together with measurements of their branching fractions: B(B_s0->D_s*- pi+)=(2.4 +0.5-0.4(stat.) +-0.3(syst.) +-0.4(fs))x10^(-3), B(Bs->D_s- rho+)=(8.5 +1.3-1.2(stat.) +-1.1(syst.) +-1.3(fs))x10^(-3) and B(Bs->D_s*- rho+)=(11.8 +2.2-2.0(stat.) +-1.7(syst.) +-1.8(fs))x10^(-3) (f_s=N(B_s(*)B_s(*)-bar)/N(b b-bar)). From helicity-angle distributions, we measured the longitudinal polarization fraction in B_s0->D_s*- rho+ decays to be f_L(Bs->D_s*- rho+)=1.05 +0.08-0.10(stat.) +0.03-0.04(syst.). These results are based on a 23.6 /fb data sample collected at the Y(5S) resonance with the Belle detector at the KEKB e+e- collider.Comment: 6 pages, 2 figures; submitted to Phys. Rev. Lett

Search for astrophysical electron antineutrinos in Super-Kamiokande with 0.01wt% gadolinium-loaded water

We report the first search result for the flux of astrophysical electron antineutrinos for energies O(10) MeV in the gadolinium-loaded Super-Kamiokande (SK) detector. In June 2020, gadolinium was introduced to the ultra-pure water of the SK detector in order to detect neutrons more efficiently. In this new experimental phase, SK-Gd, we can search for electron antineutrinos via inverse beta decay with efficient background rejection and higher signal efficiency thanks to the high efficiency of the neutron tagging technique. In this paper, we report the result for the initial stage of SK-Gd with a $22.5\times552$ $\rm kton\cdot day$ exposure at 0.01% Gd mass concentration. No significant excess over the expected background in the observed events is found for the neutrino energies below 31.3 MeV. Thus, the flux upper limits are placed at the 90% confidence level. The limits and sensitivities are already comparable with the previous SK result with pure-water ($22.5 \times 2970 \rm kton\cdot day$) owing to the enhanced neutron tagging

Volume I. Introduction to DUNE

The preponderance of matter over antimatter in the early universe, the dynamics of the supernovae that produced the heavy elements necessary for life, and whether protons eventually decay—these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our universe, its current state, and its eventual fate. The Deep Underground Neutrino Experiment (DUNE) is an international world-class experiment dedicated to addressing these questions as it searches for leptonic charge-parity symmetry violation, stands ready to capture supernova neutrino bursts, and seeks to observe nucleon decay as a signature of a grand unified theory underlying the standard model. The DUNE far detector technical design report (TDR) describes the DUNE physics program and the technical designs of the single- and dual-phase DUNE liquid argon TPC far detector modules. This TDR is intended to justify the technical choices for the far detector that flow down from the high-level physics goals through requirements at all levels of the Project. Volume I contains an executive summary that introduces the DUNE science program, the far detector and the strategy for its modular designs, and the organization and management of the Project. The remainder of Volume I provides more detail on the science program that drives the choice of detector technologies and on the technologies themselves. It also introduces the designs for the DUNE near detector and the DUNE computing model, for which DUNE is planning design reports. Volume II of this TDR describes DUNE\u27s physics program in detail. Volume III describes the technical coordination required for the far detector design, construction, installation, and integration, and its organizational structure. Volume IV describes the single-phase far detector technology. A planned Volume V will describe the dual-phase technology

Deep Underground Neutrino Experiment (DUNE), far detector technical design report, volume III: DUNE far detector technical coordination

The preponderance of matter over antimatter in the early universe, the dynamics of the supernovae that produced the heavy elements necessary for life, and whether protons eventually decay—these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our universe, its current state, and its eventual fate. The Deep Underground Neutrino Experiment (DUNE) is an international world-class experiment dedicated to addressing these questions as it searches for leptonic charge-parity symmetry violation, stands ready to capture supernova neutrino bursts, and seeks to observe nucleon decay as a signature of a grand unified theory underlying the standard model. The DUNE far detector technical design report (TDR) describes the DUNE physics program and the technical designs of the single- and dual-phase DUNE liquid argon TPC far detector modules. Volume III of this TDR describes how the activities required to design, construct, fabricate, install, and commission the DUNE far detector modules are organized and managed. This volume details the organizational structures that will carry out and/or oversee the planned far detector activities safely, successfully, on time, and on budget. It presents overviews of the facilities, supporting infrastructure, and detectors for context, and it outlines the project-related functions and methodologies used by the DUNE technical coordination organization, focusing on the areas of integration engineering, technical reviews, quality assurance and control, and safety oversight. Because of its more advanced stage of development, functional examples presented in this volume focus primarily on the single-phase (SP) detector module