Robustness Verification for Classifier Ensembles

We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic attacks and a distribution over this set. The robustness-checking problem consists of assessing, given a set of classifiers and a labelled data set, whether there exists a randomized attack that induces a certain expected loss against all classifiers. We show the NP-hardness of the problem and provide an upper bound on the number of attacks that is sufficient to form an optimal randomized attack. These results provide an effective way to reason about the robustness of a classifier ensemble. We provide SMT and MILP encodings to compute optimal randomized attacks or prove that there is no attack inducing a certain expected loss. In the latter case, the classifier ensemble is provably robust. Our prototype implementation verifies multiple neural-network ensembles trained for image-classification tasks. The experimental results using the MILP encoding are promising both in terms of scalability and the general applicability of our verification procedure

Seroprevalence of Yersinia, Hepatitis E and Trichinella among migrant and nonmigrant populations in Berlin and Brandenburg (Germany)

Pork is a potential source of infection for Yersinia, Hepatitis E virus and Trichinella. In 2014, 2484 cases of yersiniosis, 671 hepatitis E cases and 1 trichinellosis case were reported in Germany. Although migrants represent 27% of Berlin inhabitants, data is lacking on subpopulation-specific exposure risks to zoonotic diseases. We aimed to estimate the seroprevalence and to identify potential risk factors for Yersinia, Hepatitis E and Trichinella in migrants and non-migrants in Berlin/Brandenburg

Quality and denoising in real-time functional magnetic resonance imaging neurofeedback: A methods review

First published: 25 April 2020Neurofeedback training using real-time functional magnetic resonance imaging (rtfMRI-NF) allows subjects voluntary control of localised and distributed brain activity. It has sparked increased interest as a promising non-invasive treatment option in neuropsychiatric and neurocognitive disorders, although its efficacy and clinical significance are yet to be determined. In this work, we present the first extensive review of acquisition, processing and quality control methods available to improve the quality of the neurofeedback signal. Furthermore, we investigate the state of denoising and quality control practices in 128 recently published rtfMRI-NF studies. We found: (a) that less than a third of the studies reported implementing standard real-time fMRI denoising steps, (b) significant room for improvement with regards to methods reporting and (c) the need for methodological studies quantifying and comparing the contribution of denoising steps to the neurofeedback signal quality. Advances in rtfMRI-NF research depend on reproducibility of methods and results. Notably, a systematic effort is needed to build up evidence that disentangles the various mechanisms influencing neurofeedback effects. To this end, we recommend that future rtfMRI-NF studies: (a) report implementation of a set of standard real-time fMRI denoising steps according to a proposed COBIDAS-style checklist (https://osf.io/kjwhf/), (b) ensure the quality of the neurofeedback signal by calculating and reporting community-informed quality metrics and applying offline control checks and (c) strive to adopt transparent principles in the form of methods and data sharing and support of open-source rtfMRI-NF software. Code and data for reproducibility, as well as an interactive environment to explore the study data, can be accessed at https://github. com/jsheunis/quality-and-denoising-in-rtfmri-nf.LSH‐TKI, Grant/Award Number: LSHM16053‐SGF; Philips Researc

Filtered overlap: speedup, locality, kernel non-normality and Z_A~1

We investigate the overlap operator with a UV filtered Wilson kernel. The filtering leads to a better localization of the operator even on coarse lattices and with the untuned choice $\rho=1$. Furthermore, the axial-vector renormalization constant $Z_A$ is much closer to 1, reducing the mismatch with perturbation theory. We show that all these features persist over a wide range of couplings and that the details of filtering prove immaterial. We investigate the properties of the kernel spectrum and find that the kernel non-normality is reduced. As a side effect we observe that for certain applications of the filtered overlap a speed-up factor of 2-4 can be achieved.Comment: 30 pp, 23 fig

Linkages between stratospheric ozone, UV radiation and climate change and their implications for terrestrial ecosystems

Exposure of plants and animals to ultraviolet-B radiation (UV-B; 280-315 nm) is modified by stratospheric ozone dynamics and climate change. Even though stabilisation and projected recovery of stratospheric ozone is expected to curtail future increases in UV-B radiation at the Earth’s surface, on-going changes in climate are increasingly exposing plants and animals to novel combinations of UV-B radiation and other climate change factors (e.g., ultraviolet-A and visible radiation, water availability, temperature and elevated carbon dioxide). Climate change is also shifting vegetation cover, geographic ranges of species, and seasonal timing of development, which further modifies exposure to UV-B radiation. Since our last assessment, there is increased understanding of the underlying mechanisms by which plants perceive UV-B radiation, eliciting changes in growth, development and tolerances of abiotic and biotic factors. However, major questions remain on how UV-B radiation is interacting with other climate change factors to modify the production and quality of crops, as well as important ecosystem processes such as plant and animal competition, pest-pathogen interactions, and the decomposition of dead plant matter (litter). In addition, stratospheric ozone depletion is directly contributing to climate change in the southern hemisphere, such that terrestrial ecosystems in this region are being exposed to altered patterns of precipitation, temperature and fire regimes as well as UV-B radiation. These ozone-driven changes in climate have been implicated in both increases and reductions in the growth, survival and reproduction of plants and animals in Antarctica, South America and New Zealand. In this assessment, we summarise advances in our knowledge of these and other linkages and effects, and identify uncertainties and knowledge gaps that limit our ability to fully evaluate the ecological consequences of these environmental changes on terrestrial ecosystems.Peer reviewe

The European Photon Imaging Camera on XMM-Newton: The MOS Cameras

The EPIC focal plane imaging spectrometers on XMM-Newton use CCDs to record the images and spectra of celestial X-ray sources focused by the three X-ray mirrors. There is one camera at the focus of each mirror; two of the cameras contain seven MOS CCDs, while the third uses twelve PN CCDs, defining a circular field of view of 30 arcmin diameter in each case. The CCDs were specially developed for EPIC, and combine high quality imaging with spectral resolution close to the Fano limit. A filter wheel carrying three kinds of X-ray transparent light blocking filter, a fully closed, and a fully open position, is fitted to each EPIC instrument. The CCDs are cooled passively and are under full closed loop thermal control. A radio-active source is fitted for internal calibration. Data are processed on-board to save telemetry by removing cosmic ray tracks, and generating X-ray event files; a variety of different instrument modes are available to increase the dynamic range of the instrument and to enable fast timing. The instruments were calibrated using laboratory X-ray beams, and synchrotron generated monochromatic X-ray beams before launch; in-orbit calibration makes use of a variety of celestial X-ray targets. The current calibration is better than 10% over the entire energy range of 0.2 to 10 keV. All three instruments survived launch and are performing nominally in orbit. In particular full field-of-view coverage is available, all electronic modes work, and the energy resolution is close to pre-launch values. Radiation damage is well within pre-launch predictions and does not yet impact on the energy resolution. The scientific results from EPIC amply fulfil pre-launch expectations.Comment: 9 pages, 11 figures, accepted for publication in the A&A Special Issue on XMM-Newto

On Scottish sawflies, with results of the 14th International Sawfly Workshop, in the southern Highlands, 2010 (Hymenoptera, Symphyta).

Die Ergebnisse der Feldarbeit aus dem 14. Internationalen Sawfly Workshop werden vorgestellt. Dies fand im südlichen schottischen Hochland, überwiegend in Perthshire, statt. Einige Nachweise von Pflanzenwespen aus anderen Teilen von Schottland sind enthalten. Erstnachweise für die Britischen Inseln werden für acht tenthredinide Arten erbracht: Amauronematus mimus, Phyllocolpa alienata, P. erythropyga, P. plicalapponum, P. plicaphylicifolia, P. prussica, Pristiphora thalictri und Tenthredo ignobilis. A. mimus ist auch aus Irland nachgewiesen. Amauronematus stenogaster ist aus der Liste der Symphyta der Britischen Inseln zu entfernen. Erstmalig sind in Schottland eine Cephiden-Art (Hartigia xanthostoma) und zehn Tenthrediniden gefunden worden (Claremontia uncta, Dolerus brevicornis, Empria basalis, Empria parvula, Parna apicalis, Pristiphora decipiens, Pristiphora leucopus, Pristiphora testacea, Tenthredo mandibularis und Tenthredopsis ornata). Merkmale für die Unterscheidung einzelner Arten werden dargestellt. Der Locus typicus von Nematus herbaceae Cameron, 1876 ist geklärt. Geranium pratense ist als Wirtspflanze von Macrophya albipuncta bestätigt. Salix reticulata ist eine Wirtspflanze von Amauronematus mcluckieae. Sedum rosea kann eine Wirtspflanze von Tenthredo ignobilis sein. Allgemeine Schlussfolgerungen: hoher Artenreichtum der Pflanzenwespenfauna von Perthshire im Vergleich zu anderen Regionen in Schottland, darunter mehrere Arten, die auf den Britischen Inseln nur von dort bekannt sind; die Wichtigkeit der Erhaltung der Lebensräume von Felssimsen; große Defizite in unseren Kenntnissen bei vielen Arten, insbesondere zu Wirtspflanzen, Phänologie und Verbreitung; hoher Wert der Malaise-Falle in faunistischen Untersuchungen von Symphyta, weil das Spektrum von erfassten Taxa sich unterscheidet von dem was mit Streifnetz erfasst wird; Zusammensetzung des 'fall-out’ auf Schneeresten deutet darauf hin, dass Pflanzenwespen in einem größeren Ausmaß als bisher angenommen, aktiver Dispersion innerhalb von Landmassen unterliegen.StichwörterBritish Isles, Cephidae, Pamphiliidae, Tenthredinoidea, hosts, phenology, distribution.Results of fieldwork are presented from the 14th International Sawfly Workshop, held in the southern Highlands of Scotland, mostly in Perthshire. Some records of Symphyta from other parts of Scotland are included. First records in the British Isles are given for eight tenthredinid species: Amauronematus mimus, Phyllocolpa alienata, P. erythropyga, P. plicalapponum, P. plicaphylicifolia, P. prussica, Pristiphora thalictri and Tenthredo ignobilis. A. mimus is also recorded from Ireland. Amauronematus stenogaster is removed from the list of British Isles Symphyta. Recorded for the first time in Scotland are one cephid (Hartigia xanthostoma) and ten tenthredinids (Claremontia uncta, Dolerus brevicornis, Empria basalis, Empria parvula, Parna apicalis, Pristiphora decipiens, Pristiphora leucopus, Pristiphora testacea, Tenthredo mandibularis and Tenthredopsis ornata). Characters useful for the distinction of some species are illustrated. The type locality of Nematus herbaceae Cameron, 1876 is clarified. Geranium pratense is confirmed as a host of Macrophya albipuncta. Salix reticulata is a host of Amauronematus mcluckieae [mandatory correction of spelling of species name]. Sedum rosea may be a host of Tenthredo ignobilis. General conclusions: high species richness of Perthshire sawfly fauna compared to other regions of Scotland, including several species only known in British Isles from there; importance to conservation of rock-ledge habitats; large data deficits for many species, particularly on hosts, phenology and distribution; high value of Malaise traps in faunal survey of Symphyta, because spectrum of taxa captured differs from that recorded by hand-netting; as indicated by species and sex composition of ‘fall-out’ on snow patches, adult sawflies undertake active dispersal, within landmasses, to a greater extent than is often assumed.KeywordsBritish Isles, Cephidae, Pamphiliidae, Tenthredinoidea, hosts, phenology, distribution

Physical activity to improve cognition in older adults: can physical activity programs enriched with cognitive challenges enhance the effects? A systematic review and meta-analysis

: EPHPP quality rating scores (DOCX 38 kb

HIV pre-exposure prophylaxis was associated with no impact on sexually transmitted infection prevalence in a high-prevalence population of predominantly men who have sex with men, Germany, 2018 to 2019

Introduction: Despite increased use of pre-exposure prophylaxis (PrEP) in Germany, HIV infection rates are not declining and little is known about how this prevention method affects the prevalence of sexually transmitted infections (STI) among men who have sex with men (MSM). Aim: We studied, in a large multicentre cohort, STI point prevalence, co-infection rates, anatomical location and influence of PrEP. Methods: The BRAHMS study was a prospective cohort study conducted at 10 sites in seven major German cities that enrolled MSM reporting increased sexual risk behaviour. At screening visits, MSM were tested for Mycoplasma genitalium (MG), Neisseria gonorrhoeae (NG), Chlamydia trachomatis (CT) and Treponema pallidum (TP), and given a behavioural questionnaire. With binomial regression, we estimated prevalence ratios (PR) and 95% confidence intervals (CI) for the association of PrEP and STI. Results: We screened 1,043 MSM in 2018 and 2019, with 53.0% currently using PrEP. At screening, 370 participants (35.5%) had an STI. The most common pathogen was MG in 198 (19.0%) participants, followed by CT (n = 133; 12.8%), NG (n = 105; 10.1%) and TP (n = 37; 3.5%). Among the 370 participants with at least one STI, 14.6% (n = 54) reported STI-related symptoms. Infection prevalence was highest at anorectal site (13.4% MG, 6.5% NG, 10.2% CT). PrEP use was not statistically significant in adjusted models for STI (PR: 1.10; 95% CI: 0.91–1.32), NG/CT, only NG or only CT. Conclusions: Prevalence of asymptomatic STI was high, and PrEP use did not influence STI prevalence in MSM eligible for PrEP according to national guidelines.Peer Reviewe

A search for point sources of EeV photons

Measurements of air showers made using the hybrid technique developed with the fluorescence and surface detectors of the Pierre Auger Observatory allow a sensitive search for point sources of EeV photons anywhere in the exposed sky. A multivariate analysis reduces the background of hadronic cosmic rays. The search is sensitive to a declination band from -85{\deg} to +20{\deg}, in an energy range from 10^17.3 eV to 10^18.5 eV. No photon point source has been detected. An upper limit on the photon flux has been derived for every direction. The mean value of the energy flux limit that results from this, assuming a photon spectral index of -2, is 0.06 eV cm^-2 s^-1, and no celestial direction exceeds 0.25 eV cm^-2 s^-1. These upper limits constrain scenarios in which EeV cosmic ray protons are emitted by non-transient sources in the Galaxy.Comment: 28 pages, 10 figures, accepted for publication in The Astrophysical Journa