Hyperspectral imaging of the microscale distribution and dynamics of microphytobenthos in intertidal sediments

We describe a novel, field-deployable hyperspectral imaging system, called Hypersub, that allows noninvasive in situ mapping of the microphytobenthos (MPB) biomass distribution with a high spatial (sub-millimeter) and temporal (minutes) resolution over areas of 1 x 1 m. The biomass is derived from a log-transformed and near-infrared corrected reflectance hyperspectral index, which exhibits a linear relationship (R-2 > 0.97) with the chlorophyll a (Ch1 a) concentration in the euphotic zone of the sediment and depends on the sediment grain size. Deployments of the system revealed that due to factors such as sediment topography, bioturbation, and grazing, the distribution of MPB in intertidal sediments is remarkably heterogeneous, with Ch1 a concentrations varying laterally by up to 400% of the average value over a distance of 1 cm. Furthermore, due to tidal cycling and diel light variability, MPB concentrations in the top 1 mm of sediments are very dynamic, changing by 40-80% over a few hours due to vertical migration. We argue that the high-resolution hyperspectral imaging method overcomes the inadequate resolution of traditional methods based on sedimentary Ch1 a extraction, and thus helps improve our understanding of the processes that control benthic primary production in coastal sediments

A Knowledge Graph for Industry 4.0

One of the most crucial tasks for today’s knowledge workers is to get and retain a thorough overview on the latest state of the art. Especially in dynamic and evolving domains, the amount of relevant sources is constantly increasing, updating and overruling previous methods and approaches. For instance, the digital transformation of manufacturing systems, called Industry 4.0, currently faces an overwhelming amount of standardization efforts and reference initiatives, resulting in a sophisticated information environment. We propose a structured dataset in the form of a semantically annotated knowledge graph for Industry 4.0 related standards, norms and reference frameworks. The graph provides a Linked Data-conform collection of annotated, classified reference guidelines supporting newcomers and experts alike in understanding how to implement Industry 4.0 systems. We illustrate the suitability of the graph for various use cases, its already existing applications, present the maintenance process and evaluate its quality

ProofWatch: Watchlist Guidance for Large Theories in E

Watchlist (also hint list) is a mechanism that allows related proofs to guide a proof search for a new conjecture. This mechanism has been used with the Otter and Prover9 theorem provers, both for interactive formalizations and for human-assisted proving of open conjectures in small theories. In this work we explore the use of watchlists in large theories coming from first-order translations of large ITP libraries, aiming at improving hammer-style automation by smarter internal guidance of the ATP systems. In particular, we (i) design watchlist-based clause evaluation heuristics inside the E ATP system, and (ii) develop new proof guiding algorithms that load many previous proofs inside the ATP and focus the proof search using a dynamically updated notion of proof matching. The methods are evaluated on a large set of problems coming from the Mizar library, showing significant improvement of E's standard portfolio of strategies, and also of the previous best set of strategies invented for Mizar by evolutionary methods.Comment: 19 pages, 10 tables, submitted to ITP 2018 at FLO

Improved performance of the LHCb Outer Tracker in LHC Run 2

The LHCb Outer Tracker is a gaseous detector covering an area of $5\times 6 m^2$ with 12 double layers of straw tubes. The performance of the detector is presented based on data of the LHC Run 2 running period from 2015 and 2016. Occupancies and operational experience for data collected in $p p$, pPb and PbPb collisions are described. An updated study of the ageing effects is presented showing no signs of gain deterioration or other radiation damage effects. In addition several improvements with respect to LHC Run 1 data taking are introduced. A novel real-time calibration of the time-alignment of the detector and the alignment of the single monolayers composing detector modules are presented, improving the drift-time and position resolution of the detector by 20\%. Finally, a potential use of the improved resolution for the timing of charged tracks is described, showing the possibility to identify low-momentum hadrons with their time-of-flight.Comment: 29 pages, 20 figures, minor changes to match the published versio

Heat Treated NiP–SiC Composite Coatings: Elaboration and Tribocorrosion Behaviour in NaCl Solution

Tribocorrosion behaviour of heat-treated NiP and NiP–SiC composite coatings was investigated in a 0.6 M NaCl solution. The tribocorrosion tests were performed in a linear sliding tribometer with an electrochemical cell interface. It was analyzed the influence of SiC particles dispersion in the NiP matrix on current density developed, on coefficient of friction and on wear volume loss. The results showed that NiP–SiC composite coatings had a lower wear volume loss compared to NiP coatings. However, the incorporation of SiC particles into the metallic matrix affects the current density developed by the system during the tribocorrosion test. It was verified that not only the volume of co-deposited particles (SiC vol.%) but also the number of SiC particles per coating area unit (and consequently the SiC particles size) have made influence on the tribocorrosion behaviour of NiP–SiC composite coatings

Sex differences in zonulin in affective disorders and associations with current mood symptoms

Zonulin measurement was funded by Institut Allergosan (Graz, Austria).Introduction: The bidirectional connection between the brain and the gut within psychiatric entities has gained increasing scientific attention over the last years. As a regulator of intestinal permeability, zonulin acts as a key player on the interface of this interplay. Like several psychiatric disorders, intestinal permeability was associated with inflammation in previous findings. Methods: In this study we explored differences in zonulin serum levels in currently depressed (n = 55) versus currently euthymic (n = 37) individuals with an affective disorder. Further, we explored sex differences and possible influences on zonulin and affective symptoms like medication, age, body mass index, and smoking status. Results: Serum zonulin was significantly higher in females than in men independent from affective status (z = -2.412, p = .016). More specifically, females in the euthymic subgroup had higher zonulin levels than euthymic men (z = -2.114, p = .035). There was no difference in zonulin serum levels in individuals taking or not taking a specific psychopharmacotherapy. We found no correlation between zonulin serum levels and depression severity. Discussion: Increased serum zonulin levels as a proxy for increased intestinal permeability in women may indicate a state of elevated susceptibility for depression-inducing stimuli.Publisher PDFPeer reviewe

Extending SMT Solvers to Higher-Order Logic

International audienceSMT solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic (FOL). In contrast, the extension of SMT solvers to higher-order logic (HOL) is mostly un-explored. We propose a pragmatic extension for SMT solvers to support HOL reasoning natively without compromising performance on FOL reasoning, thus leveraging the extensive research and implementation efforts dedicated to efficient SMT solving. We show how to generalize data structures and the ground decision procedure to support partial applications and extensionality, as well as how to reconcile quantifier instantiation techniques with higher-order variables. We also discuss a separate approach for redesigning an HOL SMT solver from the ground up via new data structures and algorithms. We apply our pragmatic extension to the CVC4 SMT solver and discuss a redesign of the veriT SMT solver. Our evaluation shows they are competitive with state-of-the-art HOL provers and often outperform the traditional encoding into FOL

Measurement of the mass and lifetime of the Ωb−\Omega_b^- baryon

A proton-proton collision data sample, corresponding to an integrated luminosity of 3 fb$^{-1}$ collected by LHCb at $\sqrt{s}=7$ and 8 TeV, is used to reconstruct $63\pm9$ $\Omega_b^-\to\Omega_c^0\pi^-$, $\Omega_c^0\to pK^-K^-\pi^+$ decays. Using the $\Xi_b^-\to\Xi_c^0\pi^-$, $\Xi_c^0\to pK^-K^-\pi^+$ decay mode for calibration, the lifetime ratio and absolute lifetime of the $\Omega_b^-$ baryon are measured to be \begin{align*} \frac{\tau_{\Omega_b^-}}{\tau_{\Xi_b^-}} &= 1.11\pm0.16\pm0.03, \\ \tau_{\Omega_b^-} &= 1.78\pm0.26\pm0.05\pm0.06~{\rm ps}, \end{align*} where the uncertainties are statistical, systematic and from the calibration mode (for $\tau_{\Omega_b^-}$ only). A measurement is also made of the mass difference, $m_{\Omega_b^-}-m_{\Xi_b^-}$, and the corresponding $\Omega_b^-$ mass, which yields \begin{align*} m_{\Omega_b^-}-m_{\Xi_b^-} &= 247.4\pm3.2\pm0.5~{\rm MeV}/c^2, \\ m_{\Omega_b^-} &= 6045.1\pm3.2\pm 0.5\pm0.6~{\rm MeV}/c^2. \end{align*} These results are consistent with previous measurements.Comment: 11 pages, 5 figures, All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-008.htm

Observation of two new Ξb−\Xi_b^- baryon resonances

Two structures are observed close to the kinematic threshold in the $\Xi_b^0 \pi^-$ mass spectrum in a sample of proton-proton collision data, corresponding to an integrated luminosity of 3.0 fb$^{-1}$ recorded by the LHCb experiment. In the quark model, two baryonic resonances with quark content $bds$ are expected in this mass region: the spin-parity $J^P = \frac{1}{2}^+$ and $J^P=\frac{3}{2}^+$ states, denoted $\Xi_b^{\prime -}$ and $\Xi_b^{*-}$. Interpreting the structures as these resonances, we measure the mass differences and the width of the heavier state to be $m(\Xi_b^{\prime -}) - m(\Xi_b^0) - m(\pi^{-}) = 3.653 \pm 0.018 \pm 0.006$ MeV$/c^2$, $m(\Xi_b^{*-}) - m(\Xi_b^0) - m(\pi^{-}) = 23.96 \pm 0.12 \pm 0.06$ MeV$/c^2$, $\Gamma(\Xi_b^{*-}) = 1.65 \pm 0.31 \pm 0.10$ MeV, where the first and second uncertainties are statistical and systematic, respectively. The width of the lighter state is consistent with zero, and we place an upper limit of $\Gamma(\Xi_b^{\prime -}) < 0.08$ MeV at 95% confidence level. Relative production rates of these states are also reported.Comment: 17 pages, 2 figure

Constraints on the unitarity triangle angle γ\gamma from Dalitz plot analysis of B0→DK+π−B^0 \to D K^+ \pi^- decays

The first study is presented of CP violation with an amplitude analysis of the Dalitz plot of $B^0 \to D K^+ \pi^-$ decays, with $D \to K^+ \pi^-$, $K^+ K^-$ and $\pi^+ \pi^-$. The analysis is based on a data sample corresponding to $3.0\,{\rm fb}^{-1}$ of $pp$ collisions collected with the LHCb detector. No significant CP violation effect is seen, and constraints are placed on the angle $\gamma$ of the unitarity triangle formed from elements of the Cabibbo-Kobayashi-Maskawa quark mixing matrix. Hadronic parameters associated with the $B^0 \to D K^*(892)^0$ decay are determined for the first time. These measurements can be used to improve the sensitivity to $\gamma$ of existing and future studies of the $B^0 \to D K^*(892)^0$ decay.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-059.html; updated to correct figure 9 (numerical results unchanged