7 research outputs found

    Neuro-Symbolic Verification of Deep Neural Networks

    Get PDF

    Contrast Transfer Function-Based Exit-Wave Reconstruction and Denoising of Atomic-Resolution Transmission Electron Microscopy Images of Graphene and Cu Single Atom Substitutions by Deep Learning Framework

    Get PDF
    The exit wave is the state of a uniform plane incident electron wave exiting immediately after passing through a specimen and before the atomic-resolution transmission electron microscopy (ARTEM) image is modified by the aberration of the optical system and the incoherence effect of the electron. Although exit-wave reconstruction has been developed to prevent the misinterpretation of ARTEM images, there have been limitations in the use of conventional exit-wave reconstruction in ARTEM studies of the structure and dynamics of two-dimensional materials. In this study, we propose a framework that consists of the convolutional dual-decoder autoencoder to reconstruct the exit wave and denoise ARTEM images. We calculated the contrast transfer function (CTF) for real ARTEM and assigned the output of each decoder to the CTF as the amplitude and phase of the exit wave. We present exit-wave reconstruction experiments with ARTEM images of monolayer graphene and compare the findings with those of a simulated exit wave. Cu single atom substitution in monolayer graphene was, for the first time, directly identified through exit-wave reconstruction experiments. Our exit-wave reconstruction experiments show that the performance of the denoising task is improved when compared to the Wiener filter in terms of the signal-to-noise ratio, peak signal-to-noise ratio, and structural similarity index map metrics

    Novel Colorimetric Sensors with Extended Lifetime for Personal Exposure Monitoring

    Get PDF
    abstract: Air pollution has been linked to various health problems but how different air pollutants and exposure levels contribute to those diseases remain largely unknown. Researchers have mainly relied on data from government air monitoring stations to study the health effects of air pollution exposure. The limited information provided by sparse stations has low spatial and temporal resolution, which is not able to represent the actual exposure of individuals. A tool that can accurately monitor personal exposure provides valuable data for epidemiologists to understand the relationship between air pollution and certain diseases. It also allows individuals to be aware of any ambient air quality issues and prevent air pollution exposure. To build such a tool, sensors with features of fast response, small size, long lifetime, high sensitivity, high selectivity, and multi-analyte sensing are of great importance. In order to meet these requirements, three generations of novel colorimetric sensors have been developed. The first generation is mosaic colorimetric sensors based on tiny sensor blocks and by detecting absorbance change after each air sample injection, the target analyte concentration can be measured. The second generation is a gradient-based colorimetric sensor. Lateral transport of analytes across the colorimetric sensor surface creates a color gradient that shifts along the transport direction over time, and the sensor tracks the gradient shift and converts it into analyte concentration in real-time. The third generation is gradient-based colorimetric arrays fabricated by inkjet-printing method that integrates multiple sensors on a miniaturized sensor chip. Unlike traditional colorimetric sensors, such as detection tubes and optoelectronic nose, that are typically for one-time use, the presented three generations of colorimetric sensors aim to continuously monitor multiple air pollutants and the sensor lifetime and fabrication methods have been improved over each generation. Ozone, nitrogen dioxide, formaldehyde and carbon monoxide are chosen as analytes of interest. The performance of sensors has been validated in the lab and field tests, proving the capability of the sensors to be used for personal exposure monitoring.Dissertation/ThesisDoctoral Dissertation Chemistry 201

    Features Dimensionality Reduction Approaches for Machine Learning Based Network Intrusion Detection

    Get PDF
    The security of networked systems has become a critical universal issue that influences individuals, enterprises and governments. The rate of attacks against networked systems has increased dramatically, and the tactics used by the attackers are continuing to evolve. Intrusion detection is one of the solutions against these attacks. A common and effective approach for designing Intrusion Detection Systems (IDS) is Machine Learning. The performance of an IDS is significantly improved when the features are more discriminative and representative. This study uses two feature dimensionality reduction approaches: (i) Auto-Encoder (AE): an instance of deep learning, for dimensionality reduction, and (ii) Principle Component Analysis (PCA). The resulting low-dimensional features from both techniques are then used to build various classifiers such as Random Forest (RF), Bayesian Network, Linear Discriminant Analysis (LDA) and Quadratic Discriminant Analysis (QDA) for designing an IDS. The experimental findings with low-dimensional features in binary and multi-class classification show better performance in terms of Detection Rate (DR), F-Measure, False Alarm Rate (FAR), and Accuracy. This research effort is able to reduce the CICIDS2017 dataset’s feature dimensions from 81 to 10, while maintaining a high accuracy of 99.6% in multi-class and binary classification. Furthermore, in this paper, we propose a Multi-Class Combined performance metric CombinedMc with respect to class distribution to compare various multi-class and binary classification systems through incorporating FAR, DR, Accuracy, and class distribution parameters. In addition, we developed a uniform distribution based balancing approach to handle the imbalanced distribution of the minority class instances in the CICIDS2017 network intrusion dataset.http://dx.doi.org/10.3390/electronics803032

    Wild urban companions: living with everyday native animals in Brisbane

    Get PDF
    corecore