Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Psychological Impairment and Extreme Weather Event (EWE) Exposure, 1980–2020: A Global Pooled Analysis Integrating Mental Health and Well-being Metrics

Extreme Weather Events (EWEs) impose a substantial health and socio-economic burden on exposed populations. Projected impacts on public health, based on increasing EWE frequencies since the 1950s, alongside evidence of human-mediated climatic change represents a growing concern. To date, the impacts of EWEs on mental health remain ambiguous, largely due to the inherent complexities in linking extreme weather phenomena with psychological status. This exploratory investigation provides a new empirical and global perspective on the psychological toll of EWEs by exclusively focusing on psychological morbidity among individuals exposed to such events. Morbidity data collated from a range of existing psychological and well-being measures have been integrated to develop a single (“holistic”) metric, namely, psychological impairment. Morbidity, and impairment, were subsequently pooled for key disorders-, specifically PTSD, anxiety and depression. A “composite” (any impairment) post-exposure pooled-prevalence rate of 23% was estimated, with values of 24% calculated for depression and ⁓17% for both PTSD and anxiety. Notably, calculated pooled odds ratios (pOR = 1.9) indicate a high likelihood of any negative psychological outcome (+90%) following EWE exposure. Pooled analyses of reported risk factors (p \u3c 0.05) highlight the pronounced impacts of EWEs among individuals with higher levels of event exposure or experienced stressors (14.5%) and socio-demographic traits traditionally linked to vulnerable sub-populations, including female gender (10%), previous history (i.e., pre-event) of psychological impairment (5.5%), lower socio-economic status (5.5%), and a lower education level (5.2%). Inherent limitations associated with collating mental health data from populations exposed to EWEs, and key knowledge gaps in the field are highlighted. Study findings provide a robust evidence base for developing and implementing public health intervention strategies aimed at ameliorating the psychological impacts of extreme weather among exposed populations

Reconstruction en imagerie gamma à partir d'acquisitions multi-énergie

Le problème traité concerne la reconstruction de la distribution 3D de sources radioactives lors d'examens scintigraphiques. Nous proposons une approche de reconstruction permettant d'exploiter les informations issues de capteurs spectrométriques et en particulier les informations portées par le rayonnement diffusé pour améliorer la qualité des images. La communication présente les résultats obtenus par une approche d'inversion s'appuyant sur un modèle précis de la physique de formation des projections en imagerie gamma. Cette méthode a été baptisée SCARECO (scatter recovery)

On the dynamical behavior of the ABC model

We consider the ABC dynamics, with equal density of the three species, on the discrete ring with $N$ sites. In this case, the process is reversible with respect to a Gibbs measure with a mean field interaction that undergoes a second order phase transition. We analyze the relaxation time of the dynamics and show that at high temperature it grows at most as $N^2$ while it grows at least as $N^3$ at low temperature

Fluorescent oxide nanoparticles adapted to active tips for near-field optics

We present a new kind of fluorescent oxide nanoparticles with properties well suited to active-tip based near-field optics. These particles with an average diameter in the range 5-10 nm are produced by Low Energy Cluster Beam Deposition (LECBD) from a YAG:Ce3+ target. They are studied by transmission electron microscopy (TEM), X-ray photoelectron spectroscopy (XPS), classical photoluminescence, cathodoluminescence and near-field scanning optical microscopy (NSOM). Particles of extreme photo-stability as small as 10 nm in size are observed. These emitters are validated as building blocks of active NSOM tips by coating a standard optical tip with a 10 nm thick layer of YAG:Ce3+ particles directly in the LECBD reactor and by subsequently performing NSOM imaging of test surfaces.Comment: Changes made following Referee's comments; added references; one added figure. See story on this article at: http://nanotechweb.org/cws/article/tech/3606

Photoluminescent diamond nanoparticles for cell labeling: study of the uptake mechanism in mammalian cells

Diamond nanoparticles (nanodiamonds) have been recently proposed as new labels for cellular imaging. For small nanodiamonds (size <40 nm) resonant laser scattering and Raman scattering cross-sections are too small to allow single nanoparticle observation. Nanodiamonds can however be rendered photoluminescent with a perfect photostability at room temperature. Such a remarkable property allows easier single-particle tracking over long time-scales. In this work we use photoluminescent nanodiamonds of size <50 nm for intracellular labeling and investigate the mechanism of their uptake by living cells . By blocking selectively different uptake processes we show that nanodiamonds enter cells mainly by endocytosis and converging data indicate that it is clathrin mediated. We also examine nanodiamonds intracellular localization in endocytic vesicles using immunofluorescence and transmission electron microscopy. We find a high degree of colocalization between vesicles and the biggest nanoparticles or aggregates, while the smallest particles appear free in the cytosol. Our results pave the way for the use of photoluminescent nanodiamonds in targeted intracellular labeling or biomolecule deliver

Detection of the tSZ effect with the NIKA camera

We present the first detection of the thermal Sunyaev-Zel'dovich (tSZ) effect from a cluster of galaxies performed with a KIDs (Kinetic Inductance Detectors) based instrument. The tSZ effect is a distortion of the black body CMB (Cosmic Microwave Background) spectrum produced by the inverse Compton interaction of CMB photons with the hot electrons of the ionized intra-cluster medium. The massive, intermediate redshift cluster RX J1347.5-1145 has been observed using NIKA (New IRAM KIDs arrays), a dual-band (140 and 240 GHz) mm-wave imaging camera, which exploits two arrays of hundreds of KIDs: the resonant frequencies of the superconducting resonators are shifted by mm-wave photons absorption. This tSZ cluster observation demonstrates the potential of the next generation NIKA2 instrument, being developed for the 30m telescope of IRAM, at Pico Veleta (Spain). NIKA2 will have 1000 detectors at 140GHz and 2x2000 detectors at 240GHz, providing in that band also a measurement of the linear polarization. NIKA2 will be commissioned in 2015.Comment: SF2A Proceedings 201

High resolution SZ observations at the IRAM 30-m telescope with NIKA

High resolution observations of the thermal Sunyaev-Zel'dovich (tSZ) effect are necessary to allow the use of clusters of galaxies as a probe for large scale structures at high redshifts. With its high resolution and dual-band capability at millimeter wavelengths, the NIKA camera can play a significant role in this context. NIKA is based on newly developed Kinetic Inductance Detectors (KIDs) and operates at the IRAM 30m telescope, Pico Veleta, Spain. In this paper, we give the status of the NIKA camera, focussing on the KID technology. We then present observations of three galaxy clusters: RX J1347.5-1145 as a demonstrator of the NIKA capabilities and the recent observations of CL J1226.9+3332 (z = 0.89) and MACS J0717.5+3745 (z = 0.55). We also discuss prospects for the final NIKA2 camera, which will have a 6.5 arcminute field of view with about 5000 detectors in two bands at 150 and 260 GHz

High-resolution tSZ cartography of clusters of galaxies with NIKA at the IRAM 30-m telescope

The thermal Sunyaev-Zeldovich effect (tSZ) is a powerful probe to study clusters of galaxies and is complementary with respect to X-ray, lensing or optical observations. Previous arcmin resolution tSZ observations ({\it e.g.} SPT, ACT and Planck) only enabled detailed studies of the intra-cluster medium morphology for low redshift clusters ($z < 0.2$). Thus, the development of precision cosmology with clusters requires high angular resolution observations to extend the understanding of galaxy cluster towards high redshift. NIKA2 is a wide-field (6.5 arcmin field of view) dual-band camera, operated at $100 \ {\rm mK}$ and containing $\sim 3300$ KID (Kinetic Inductance Detectors), designed to observe the millimeter sky at 150 and 260 GHz, with an angular resolution of 18 and 12 arcsec respectively. The NIKA2 camera has been installed on the IRAM 30-m telescope (Pico Veleta, Spain) in September 2015. The NIKA2 tSZ observation program will allow us to observe a large sample of clusters (50) at redshift ranging between 0.5 and 1. As a pathfinder for NIKA2, several clusters of galaxies have been observed at the IRAM 30-m telescope with the NIKA prototype to cover the various configurations and observation conditions expected for NIKA2.Comment: Proceedings of the 28th Texas Symposium on Relativistic Astrophysics, Geneva, Switzerland, December 13-18, 201

Capture the fracture: a best practice framework and global campaign to break the fragility fracture cycle

Summary The International Osteoporosis Foundation (IOF) Capture the Fracture Campaign aims to support implementation of Fracture Liaison Services (FLS) throughout the world. Introduction FLS have been shown to close the ubiquitous secondary fracture prevention care gap, ensuring that fragility fracture sufferers receive appropriate assessment and intervention to reduce future fracture risk. Methods Capture the Fracture has developed internationally endorsed standards for best practice, will facilitate change at the national level to drive adoption of FLS and increase awareness of the challenges and opportunities presented by secondary fracture prevention to key stakeholders. The Best Practice Framework (BPF) sets an international benchmark for FLS, which defines essential and aspirational elements of service delivery. Results The BPF has been reviewed by leading experts from many countries and subject to beta-testing to ensure that it is internationally relevant and fit-for-purpose. The BPF will also serve as a measurement tool for IOF to award ‘Capture the Fracture Best Practice Recognition’ to celebrate successful FLS worldwide and drive service development in areas of unmet need. The Capture the Fracture website will provide a suite of resources related to FLS and secondary fracture prevention, which will be updated as new materials become available. A mentoring programme will enable those in the early stages of development of FLS to learn from colleagues elsewhere that have achieved Best Practice Recognition. A grant programme is in development to aid clinical systems which require financial assistance to establish FLS in their localities. Conclusion Nearly half a billion people will reach retirement age during the next 20 years. IOF has developed Capture the Fracture because this is the single most important thing that can be done to directly improve patient care, of both women and men, and reduce the spiralling fracture-related care costs worldwide.</p