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

Investigation of the Incompatibilities of Cement and Superplasticizers and Their Influence on the Rheological Behavior

The rheological behavior of cement paste and the improvement of its flowability takes center stage in many research projects. An improved flowability can be achieved by the addition of superplasticizers (SP), such as polycarboxylate ethers (PCE). In order to be able to use these PCEs effectively and in a variety of ways and to make them resistant to changes in the environment, it is crucial to understand the influence of SPs on cement hydration. For that reason, the topic of this paper was the incompatibility of a specific SP and an ordinary Portland cement (OPC). The incompatible behavior was analyzed using rheological tests, such as the spread flow test and penetration test, and the behavior was compared by means of an ultrasound technique and explained by the phase content measured by in-situ X-ray diffraction (XRD) the heat evolution measured by calorimetry, and scanning electron microscope (SEM) images. We showed that the addition of the SP in a high dosage led to a prevention of the passivation of the most reactive and aluminum-containing clinker phases, aluminate and brownmillerite. This induced the aluminate reaction to take place in the initial period and led to an immediate stiffening of the cement paste and, therefore, to the complete loss of workability. The results showed that in addition to the ettringite, which began to form directly after water addition, hemicarbonate precipitated. The fast stiffening of the paste could be prevented by delayed addition of the SP or by additional gypsum. This fast stiffening was not desirable for SPs, but in other fields, for example, 3D printing, this undesirable interaction could be used to improve the properties of printable mortar.DFG, 386869775, Rheologie wirksame Additive in Portlandzement-basierten Formulierungen - Von nano/mikro-skaligen Strukturen zu makroskopischen Eigenschaften -DFG, 313773090, SPP 2005: Opus Fluidum Futurum - Rheologie reaktiver, multiskaliger, mehrphasiger BaustoffsystemeDFG, 414044773, Open Access Publizieren 2019 - 2020 / Technische Universität Berli

Croconaine-Based Polymer Particles as Contrast Agents for Photoacoustic Imaging

In the development and optimization of imaging methods, photoacoustic imaging (PAI) has become a powerful tool for preclinical biomedical diagnosis and detection of cancer. PAI probes can improve contrast and help identify pathogenic tissue. Such contrast agents must meet several requirements: they need to be biocompatible, and absorb strongly in the near-infrared (NIR) range, while relaxing the photoexcited state thermally and not radiatively. In this work, polymer nanoparticles are produced with croconaine as a monomer unit. Small molecular croconaine dyes are known to act as efficient pigments, which do not show photoluminescence. Here, for the first time croconaine copolymer nanoparticles are produced from croconic acid and a range of aromatic diamines. Following a dispersion polymerization protocol, this approach yields monodisperse particles of adjustable size. All synthesized polymers exhibit broad absorption within the NIR spectrum and therefore represent suitable candidates as contrast agents for PAI. The optical properties of these polymer particles are discussed with respect to the relation between particle size and outstanding photoacoustic performance. Biocompatibility of the polymer particles is demonstrated in cell viability experiments. © The Authors. Published by Wiley-VCH Gmb

Relating Ettringite formation and rheological changes during the Initial cement hydration : a comparative study applying XRD analysis, rheological measurements and modeling

In order to gain a deeper understanding of the rheological development of hydrating ordinary Portland cement (OPC) pastes at initial state, and to better understand their underlying processes, quantitative X-ray diffraction (XRD) analysis and rheological measurements were conducted and their results combined. The time-dependent relation between phase development and flow behavior of cement paste was investigated at two different temperatures (20 and 30 °C), over a period of two hours. Regarding the phase development during hydration, ettringite precipitation was identified as the dominant reaction in the first two hours. For both temperatures, the increasing ettringite content turned out to correlate very well with the loss of workability of the reacting cement paste. An exponential relationship between ettringite growth and flow behavior was observed that could be explained by applying the Krieger-Dougherty equation, which describes the influence of solid fraction on the viscosity of a suspension.DFG, 386869775, Rheologie wirksame Additive in Portlandzement-basierten Formulierungen - Von nano/mikro-skaligen Strukturen zu makroskopischen EigenschaftenDFG, 387065993, Formfüllungsvermögen von Frischbetonen - ein zeit- und hydratationsabhängiger Ansat

An Approach towards semi-empirical Slat Track Noise Prediction

High lift wing leading edge noise is often attributed to the slats or more generally speaking to the leading edge high lift device. Except for droop noses, flow exposed mechanical systems are necessary to mount and actuate such devices. For mechanical reasons these so called tracks are typically oriented perpendicular to the wing leading edge and accordingly inclined towards the mean flow or flight direction. Mainly from wind tunnel studies and in rare cases also from flight tests these tracks are known as strong noise sources, which locally exceed slat noise levels and show up as intense noise sources in noise maps originating from phased array beamforming. This finally means that track noise cannot be omitted for the noise prediction of high lift systems and in particular not in view of new systems like Krueger flaps. Against this background track noise was investigated in the German national funded research project INTONE (Minderung von Triebwerksinstallations- und Hochauftriebslaerm). Based on parametric studies with the small scale DLR F16 high lift system in DLR s Acoustic Wind Tunnel Braunschweig track noise was isolated and characterized. In a second step a first prediction scheme was established. The scheme allows now for the prediction of slat noise and track noise and the summation of both components which contributes to the overall leading edge noise. The application of this model showed the impact and importance of track noise compared to slat noise. Furthermore, the noise generation at the D-nose cut-outs was assessed. Both results together reveal that track noise is a major contributor to the overall high lift system noise and track noise reduction is essential in order to reduce the high lift system related airframe noise contribution. The current development is meant as first step towards a more sophisticate tool chain for wing leading edge noise prediction

Studying the phase diagram of the three-flavor Schwinger model in the presence of a chemical potential with measurement- and gate-based quantum computing

We propose an ansatz quantum circuit for the variational quantum eigensolver (VQE), suitable for exploring the phase structure of the multi-flavor Schwinger model in the presence of a chemical potential. Our ansatz is capable of incorporating relevant model symmetries via constrains on the parameters, and can be implemented on circuit-based as well as measurement-based quantum devices. We show via classical simulation of the VQE that our ansatz is able to capture the phase structure of the model, and can approximate the ground state to a high level of accuracy. Moreover, we perform proof-of-principle simulations on superconducting, gate-based quantum hardware. Our results show that our approach is suitable for current gate-based quantum devices, and can be readily implemented on measurement-based quantum devices once available

Logarithmic link smearing for full QCD

A Lie-algebra based recipe for smoothing gauge links in lattice field theory is presented, building on the matrix logarithm. With or without hypercubic nesting, this LOG/HYL smearing yields fat links which are differentiable w.r.t. the original ones. This is essential for defining UV-filtered ("fat link") fermion actions which may be simulated with a HMC-type algorithm. The effect of this smearing on the distribution of plaquettes and on the residual mass of tree-level O(a)-improved clover fermions in quenched QCD is studied.Comment: 29 pages, 7 figures; v2: improved text, includes comparison of APE/EXP/LOG with optimized parameters, 3 references adde

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