title: The impact of baryonic physics on the abundance, clustering, and concentration of halos

abstract: We examine the impact of baryonic physics on the halo distribution in hydrodynamic simulations (Illustris, IllustrisTNG, and EAGLE), particularly with regards to how it differs from that in dark matter only (DMO) simulations. We find that, in general, DMO simulations produce halo mass functions (HMF) that are shifted to higher halo masses than their hydrodynamic counterparts, due to the lack of baryonic physics. However, the exact nature of this mass shift is a complex function of mass, halo definition, redshift, and larger-scale environment, and it also depends on the specifics of the baryonic physics implemented in the simulation. We present fitting formulae for the corrections one would need to apply to each DMO halo catalogue in order to reproduce the HMF found in its hydrodynamic counterpart. We provide these formulae for all three simulations, for five different halo definitions at redshifts 0, 1, and 2. Additionally, we explore the dependence on environment of this HMF discrepancy, and find that, in most cases, halos in low density environments are slightly more impacted by baryonic physics than halos in high density environments. We thus also provide environment-dependent mass correction formulae that can reproduce the conditional, as well as global, HMF. We show that our mass corrections also repair the large-scale clustering of halos, though the environment-dependent corrections are required to achieve an accuracy better than 2%. Finally, we examine the impact of baryonic physics on the halo mass - concentration relation, and find that its slope in hydrodynamic simulations is consistent with that in DMO simulations. Ultimately, we recommend that any future work relying on DMO halo catalogues incorporate our mass corrections to test the robustness of their results to baryonic effects.


title: Correlated Single- and Few-Electron Backgrounds Milliseconds after Interactions in Dual-Phase Liquid Xenon Time Projection Chambers

abstract: We characterize single- and few-electron backgrounds that are observed in dual-phase liquid xenon time projection chambers at timescales greatly exceeding a maximum drift time after an interaction. These instrumental backgrounds limit a detector's sensitivity to dark matter and cosmogenic neutrinos. Using the ~150g liquid xenon detector at Purdue University, we investigate how these backgrounds, produced after 122keV $^{57}$Co Compton interactions, behave under different detector conditions. We find that the rates of single- and few-electron signals follow power-laws with time after the interaction. We observe linearly increasing rates with increased extraction field, and increased rates in the single-electron background with increased drift field. Normalizing the rates to the primary interaction's measured ionization signal, the rates increase linearly with the depth of the interaction. We test the hypothesis that infrared photons (1550nm) would stimulate and accelerate electron emission via photodetachment from impurities, but find that even 1 Watt of infrared light fails to reduce these backgrounds. We thus provide a characterization that can inform background models for low-energy rare event searches.


title: Dynamic Feedback Linearization of Control Systems with Symmetry

abstract: Control systems of interest are often invariant under Lie groups of transformations. For such control systems, a geometric framework based on Lie symmetry is formulated, and from this a sufficient condition for dynamic feedback linearizability obtained. Additionally, a systematic procedure for obtaining all the smooth, generic system trajectories is shown to follow from the theory. Besides smoothness and the existence of symmetry, no further assumption is made on the local form of a control system, which is therefore permitted to be fully nonlinear and time varying. Likewise, no constraints are imposed on the local form of the dynamic compensator. Particular attention is given to the consideration of intrinsic geometric (coordinate independent) structures associated to control systems with symmetry. To show how the theory is applied in practice we work through illustrative examples of control systems, including the vertical take-off and landing system, demonstrating the significant role that Lie symmetry plays in dynamic feedback linearization. Besides these, a number of more elementary pedagogical examples are discussed, as an aid to reading the paper. The constructions have been automated in the Maple package DifferentialGeometry.


title: Domain-Robust Visual Imitation Learning with Mutual Information Constraints

abstract: Human beings are able to understand objectives and learn by simply observing others perform a task. Imitation learning methods aim to replicate such capabilities, however, they generally depend on access to a full set of optimal states and actions taken with the agent's actuators and from the agent's point of view. In this paper, we introduce a new algorithm - called Disentangling Generative Adversarial Imitation Learning (DisentanGAIL) - with the purpose of bypassing such constraints. Our algorithm enables autonomous agents to learn directly from high dimensional observations of an expert performing a task, by making use of adversarial learning with a latent representation inside the discriminator network. Such latent representation is regularized through mutual information constraints to incentivize learning only features that encode information about the completion levels of the task being demonstrated. This allows to obtain a shared feature space to successfully perform imitation while disregarding the differences between the expert's and the agent's domains. Empirically, our algorithm is able to efficiently imitate in a diverse range of control problems including balancing, manipulation and locomotive tasks, while being robust to various domain differences in terms of both environment appearance and agent embodiment.


title: No dimension reduction for doubling subsets of $\ell_q$ when $q>2$ revisited

abstract: We revisit the main results from \cites{BGN_SoCG14,BGN_SIAM15} and \cite{LafforgueNaor14_GD} about the impossibility of dimension reduction for doubling subsets of $\ell_q$ for $q>2$. We provide an alternative elementary proof of this impossibility result that combines the simplicity of the construction in \cites{BGN_SoCG14,BGN_SIAM15} with the generality of the approach in \cite{LafforgueNaor14_GD} (except for $L_1$ targets). One advantage of this different approach is that it can be naturally generalized to obtain embeddability obstructions into non-positively curved spaces or asymptotically uniformly convex Banach spaces.


title: A Parallelizable Lattice Rescoring Strategy with Neural Language Models

abstract: This paper proposes a parallel computation strategy and a posterior-based lattice expansion algorithm for efficient lattice rescoring with neural language models (LMs) for automatic speech recognition. First, lattices from first-pass decoding are expanded by the proposed posterior-based lattice expansion algorithm. Second, each expanded lattice is converted into a minimal list of hypotheses that covers every arc. Each hypothesis is constrained to be the best path for at least one arc it includes. For each lattice, the neural LM scores of the minimal list are computed in parallel and are then integrated back to the lattice in the rescoring stage. Experiments on the Switchboard dataset show that the proposed rescoring strategy obtains comparable recognition performance and generates more compact lattices than a competitive baseline method. Furthermore, the parallel rescoring method offers more flexibility by simplifying the integration of PyTorch-trained neural LMs for lattice rescoring with Kaldi.


title: Conformally flat, quasi-circular numerical simulations of the gravitational wave chirp from binary neutron star merger GW170817

abstract: The first detection of gravitational waves from the binary neutron star merger GW170817 by the LIGO-Virgo Collaboration has provided fundamental new insights into the astrophysical site for r-process nucleosynthesis and on the nature of dense neutron-star matter. The detected gravitational wave signal depends upon the tidal distortion of the neutron stars as they approach merger. We report on relativistic numerical simulations of the approach to binary merger in the conformally flat, quasi-circular orbit approximation. We show that this event serves as a calibration to the quasi-circular approximation and a confirmation of the validity of the conformally flat approximation to the three-metric. We then examine how the detected chirp depends upon the adopted equation of state. This establishes a new efficient means to constrain the nuclear equation of state in binary neutron star mergers.


title: Excitation and Detection of THz Coherent Spin Waves in Antiferromagnetic $\mathrm{\alpha-Fe_2O_3}$

abstract: The efficiency of ultrafast excitation of spins in antiferromagnetic $\mathrm{\alpha-Fe_{2}O_{3}}$ using nearly single-cycle THz pulse is studied as a function of the polarization of the THz pulse and the sample temperature. Above the Morin point the most efficient excitation is achieved when the magnetic field of the THz pulse is perpendicular to the antiferromagnetically coupled spins. Using the experimental results and equations of motion for spins, we show that the mechanism of the spin excitation above and below the Morin point relies on magnetic-dipole interaction of the THz magnetic field with spins and the efficiency of the coupling is proportional to the time derivative of the magnetic field.


title: Correlated Choice

abstract: We study random joint choice rules, allowing for interdependence of choice across agents. These capture random choice by multiple agents, or a single agent across goods or time periods. Our interest is in separable choice rules, where each agent can be thought of as acting independently of the other. A random joint choice rule satisfies marginality if for every individual choice set, we can determine the individual's choice probabilities over alternatives independently of the other individual's choice set. We offer two characterizations of random joint choice rules satisfying marginality in terms of separable choice rules. While marginality is a necessary condition for separability, we show that it fails to be sufficient. We provide an additional condition on the marginal choice rules which, along with marginality, is sufficient for separability.


title: Global 21-cm Cosmology from the Farside of the Moon

abstract: One of the last unexplored windows to the cosmos, the Dark Ages and Cosmic Dawn, can be opened using a simple low frequency radio telescope from the stable, quiet lunar farside to measure the Global 21-cm spectrum. This frontier remains an enormous gap in our knowledge of the Universe. Standard models of physics and cosmology are untested during this critical epoch. The messenger of information about this period is the 1420 MHz (21-cm) radiation from the hyperfine transition of neutral hydrogen, Doppler-shifted to low radio astronomy frequencies by the expansion of the Universe. The Global 21-cm spectrum uniquely probes the cosmological model during the Dark Ages plus the evolving astrophysics during Cosmic Dawn, yielding constraints on the first stars, on accreting black holes, and on exotic physics such as dark matter-baryon interactions. A single low frequency radio telescope can measure the Global spectrum between ~10-110 MHz because of the ubiquity of neutral hydrogen. Precise characterizations of the telescope and its surroundings are required to detect this weak, isotropic emission of hydrogen amidst the bright foreground Galactic radiation. We describe how two antennas will permit observations over the full frequency band: a pair of orthogonal wire antennas and a 0.3-m$^3$ patch antenna. A four-channel correlation spectropolarimeter forms the core of the detector electronics. Technology challenges include advanced calibration techniques to disentangle covariances between a bright foreground and a weak 21-cm signal, using techniques similar to those for the CMB, thermal management for temperature swings of >250C, and efficient power to allow operations through a two-week lunar night. This simple telescope sets the stage for a lunar farside interferometric array to measure the Dark Ages power spectrum.


title: How Privacy-Preserving are Line Clouds? Recovering Scene Details from 3D Lines

abstract: Visual localization is the problem of estimating the camera pose of a given image with respect to a known scene. Visual localization algorithms are a fundamental building block in advanced computer vision applications, including Mixed and Virtual Reality systems. Many algorithms used in practice represent the scene through a Structure-from-Motion (SfM) point cloud and use 2D-3D matches between a query image and the 3D points for camera pose estimation. As recently shown, image details can be accurately recovered from SfM point clouds by translating renderings of the sparse point clouds to images. To address the resulting potential privacy risks for user-generated content, it was recently proposed to lift point clouds to line clouds by replacing 3D points by randomly oriented 3D lines passing through these points. The resulting representation is unintelligible to humans and effectively prevents point cloud-to-image translation. This paper shows that a significant amount of information about the 3D scene geometry is preserved in these line clouds, allowing us to (approximately) recover the 3D point positions and thus to (approximately) recover image content. Our approach is based on the observation that the closest points between lines can yield a good approximation to the original 3D points. Code is available at https://github.com/kunalchelani/Line2Point.


title: Presburger arithmetic with threshold counting quantifiers is easy

abstract: We give a quantifier elimination procedures for the extension of Presburger arithmetic with a unary threshold counting quantifier $\exists^{\ge c} y$ that determines whether the number of different $y$ satisfying some formula is at least $c \in \mathbb N$, where $c$ is given in binary. Using a standard quantifier elimination procedure for Presburger arithmetic, the resulting theory is easily seen to be decidable in 4ExpTime. Our main contribution is to develop a novel quantifier-elimination procedure for a more general counting quantifier that decides this theory in 3ExpTime, meaning that it is no harder to decide than standard Presburger arithmetic. As a side result, we obtain an improved quantifier elimination procedure for Presburger arithmetic with counting quantifiers as studied by Schweikardt [ACM Trans. Comput. Log., 6(3), pp. 634-671, 2005], and a 3ExpTime quantifier-elimination procedure for Presburger arithmetic extended with a generalised modulo counting quantifier.


title: Structuring a Comprehensive Software Security Course Around the OWASP Application Security Verification Standard

abstract: Lack of security expertise among software practitioners is a problem with many implications. First, there is a deficit of security professionals to meet current needs. Additionally, even practitioners who do not plan to work in security may benefit from increased understanding of security. The goal of this paper is to aid software engineering educators in designing a comprehensive software security course by sharing an experience running a software security course for the eleventh time. Through all the eleven years of running the software security course, the course objectives have been comprehensive - ranging from security testing, to secure design and coding, to security requirements to security risk management. For the first time in this eleventh year, a theme of the course assignments was to map vulnerability discovery to the security controls of the Open Web Application Security Project (OWASP) Application Security Verification Standard (ASVS). Based upon student performance on a final exploratory penetration testing project, this mapping may have increased students' depth of understanding of a wider range of security topics. The students efficiently detected 191 unique and verified vulnerabilities of 28 different Common Weakness Enumeration (CWE) types during a three-hour period in the OpenMRS project, an electronic health record application in active use.


title: The generalized Langevin equation in harmonic potentials: Anomalous diffusion and equipartition of energy

abstract: We consider the generalized Langevin equation (GLE) in a harmonic potential with power law decay memory. We study the anomalous diffusion of the particle's displacement and velocity. By comparison with the free particle situation in which the velocity was previously shown to be either diffusive or subdiffusive, we find that, when trapped in a harmonic potential, the particle's displacement may either be diffusive or superdiffusive. Under slightly stronger assumptions on the memory kernel, namely, for kernels related to the broad class of completely monotonic functions, we show that both the free particle and the harmonically bounded GLE satisfy the equipartition of energy condition. This generalizes previously known results for the GLE under particular kernel instances such as the generalized Rouse kernel or (exactly) a power law function.


title: Bayesian Dynamical System Identification With Unified Sparsity Priors And Model Uncertainty

abstract: This work is concerned with uncertainty quantification in reduced-order dynamical system identification. Reduced-order models for system dynamics are ubiquitous in design and control applications and recent efforts focus on their data-driven construction. Our starting point is the sparse-identification of nonlinear dynamics (SINDy) framework, which reformulates system identification as a regression problem, where unknown functions are approximated from a sparse subset of an underlying library. In this manuscript, we formulate this system identification method in a Bayesian framework to handle parameter and structural model uncertainties. We present a general approach to enforce sparsity, which builds on the recently introduced class of neuronized priors. We perform comparisons between different variants such as Lasso, horseshoe, and spike and slab priors, which are all obtained by modifying a single activation function. We also outline how state observation noise can be incorporated with a probabilistic state-space model. The resulting Bayesian regression framework is robust and simple to implement. We apply the method to two generic numerical applications, the pendulum and the Lorenz system, and one aerodynamic application using experimental measurements.


title: Learning Connectivity for Data Distribution in Robot Teams

abstract: Many algorithms for control of multi-robot teams operate under the assumption that low-latency, global state information necessary to coordinate agent actions can readily be disseminated among the team. However, in harsh environments with no existing communication infrastructure, robots must form ad-hoc networks, forcing the team to operate in a distributed fashion. To overcome this challenge, we propose a task-agnostic, decentralized, low-latency method for data distribution in ad-hoc networks using Graph Neural Networks (GNN). Our approach enables multi-agent algorithms based on global state information to function by ensuring it is available at each robot. To do this, agents glean information about the topology of the network from packet transmissions and feed it to a GNN running locally which instructs the agent when and where to transmit the latest state information. We train the distributed GNN communication policies via reinforcement learning using the average Age of Information as the reward function and show that it improves training stability compared to task-specific reward functions. Our approach performs favorably compared to industry-standard methods for data distribution such as random flooding and round robin. We also show that the trained policies generalize to larger teams of both static and mobile agents.


title: Forest Guided Smoothing

abstract: We use the output of a random forest to define a family of local smoothers with spatially adaptive bandwidth matrices. The smoother inherits the flexibility of the original forest but, since it is a simple, linear smoother, it is very interpretable and it can be used for tasks that would be intractable for the original forest. This includes bias correction, confidence intervals, assessing variable importance and methods for exploring the structure of the forest. We illustrate the method on some synthetic examples and on data related to Covid-19.


abstract: We develop new methods for computing the precise Dehn functions of coabelian subgroups of direct products of groups, that is, subgroups which arise as kernels of homomorphisms from the direct product onto a free abelian group. These improve and generalise previous results by Carter and Forester on Dehn functions of level sets in products of simply connected cube complexes, by Bridson on Dehn functions of cocyclic groups and by Dison on Dehn functions of coabelian groups. We then provide several applications of our methods to subgroups of direct products of free groups, to groups with interesting geometric finiteness properties and to subgroups of direct products of right-angled Artin groups.


title: CovidGAN: Data Augmentation Using Auxiliary Classifier GAN for Improved Covid-19 Detection

abstract: Coronavirus (COVID-19) is a viral disease caused by severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). The spread of COVID-19 seems to have a detrimental effect on the global economy and health. A positive chest X-ray of infected patients is a crucial step in the battle against COVID-19. Early results suggest that abnormalities exist in chest X-rays of patients suggestive of COVID-19. This has led to the introduction of a variety of deep learning systems and studies have shown that the accuracy of COVID-19 patient detection through the use of chest X-rays is strongly optimistic. Deep learning networks like convolutional neural networks (CNNs) need a substantial amount of training data. Because the outbreak is recent, it is difficult to gather a significant number of radiographic images in such a short time. Therefore, in this research, we present a method to generate synthetic chest X-ray (CXR) images by developing an Auxiliary Classifier Generative Adversarial Network (ACGAN) based model called CovidGAN. In addition, we demonstrate that the synthetic images produced from CovidGAN can be utilized to enhance the performance of CNN for COVID-19 detection. Classification using CNN alone yielded 85% accuracy. By adding synthetic images produced by CovidGAN, the accuracy increased to 95%. We hope this method will speed up COVID-19 detection and lead to more robust systems of radiology.


title: The universal shear conductivity of Fermi liquids and spinon Fermi surface states and its detection via spin qubit noise magnetometry

abstract: We demonstrate a remarkable property of metallic Fermi liquids: the transverse conductivity assumes a universal value in the quasi-static ($\omega \rightarrow 0$) limit for wavevectors $q$ in the regime $l_{\rm mfp}^{-1} \ll q \ll p_{\rm F}$, where $l_{\rm mfp}$ is the mean free path and $p_{\rm F}$ is the Fermi momentum. This value is $(e^2/h) \mathcal{R}_{\rm FS}/q$ in two dimensions (2D), where $\mathcal{R}_{\rm FS}$ measures the local radius of curvature of the Fermi surface in momentum space. Even more surprisingly, we find that U(1) spin liquids with a spinon Fermi surface have the same universal transverse conductivity. This means such spin liquids behave effectively as metals in this regime, even though they appear insulating in standard transport experiments. Moreover, we show that transverse current fluctuations result in a universal low-frequency magnetic noise that can be directly probed by a spin qubit, such as a nitrogen-vacancy center in diamond, placed at a distance $z$ above of the 2D metal or spin liquid. Specifically the magnetic noise is given by $C\omega \mathcal{P}_{\rm FS}/z$, where $\mathcal{P}_{\rm FS}$ is the perimeter of the Fermi surface in momentum space and $C$ is a combination of fundamental constants of nature. Therefore these observables are controlled purely by the geometry of the Fermi surface and are independent of kinematic details of the quasi-particles, such as their effective mass and interactions. This behavior can be used as a new technique to measure the size of the Fermi surface of metals and as a smoking gun probe to pinpoint the presence of the elusive spinon Fermi surface in two-dimensional systems. We estimate that this universal regime is within reach of current nitrogen-vacancy center spectroscopic techniques for several spinon Fermi surface candidate materials.


title: Stochastic gradient descent and fast relaxation to thermodynamic equilibrium: a stochastic control approach

abstract: We study the convergence to equilibrium of an underdamped Langevin equation that is controlled by a linear feedback force. Specifically, we are interested in sampling the possibly multimodal invariant probability distribution of a Langevin system at small noise (or low temperature), for which the dynamics can easily get trapped inside metastable subsets of the phase space. We follow [Chen et al., J. Math. Phys. 56, 113302, 2015] and consider a Langevin equation that is simulated at a high temperature, with the control playing the role of a friction that balances the additional noise so as to restore the original invariant measure at a lower temperature. We discuss different limits as the temperature ratio goes to infinity and prove convergence to a limit dynamics. It turns out that, depending on whether the lower ("target") or the higher ("simulation") temperature is fixed, the controlled dynamics converges either to the overdamped Langevin equation or to a deterministic gradient flow. This implies that (a) the ergodic limit and the large temperature separation limit do not commute in general, and that (b) it is not possible to accelerate the speed of convergence to the ergodic limit by making the temperature separation larger and larger. We discuss the implications of these observation from the perspective of stochastic optimisation algorithms and enhanced sampling schemes in molecular dynamics.


title: On coverings of Banach spaces and their subsets by hyperplanes

abstract: Given a Banach space we consider the $\sigma$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the cofinality. We determine their values for separable Banach spaces, and approximate them for nonseparable Banach spaces. The remaining questions reduce to deciding if the following can be proved in ZFC for every nonseparable Banach space $X$: (1) $X$ can be covered by $\omega_1$-many of its hyperplanes; (2) All subsets of $X$ of cardinalities less than ${\rm cf}([{\rm dens}(X)]^\omega)$ can be covered by countably many hyperplanes. We prove (1) and (2) for all Banach spaces in many well-investigated classes and that they are consistent with any possible size of the continuum. (1) is related to the problem whether every compact Hausdorff space which has small diagonal is metrizable and (2) to large cardinals.


title: AFPP and Unions of Convex Disks in the Digital Plane

abstract: We use results of [6] to enlarge our knowledge of the approximate fixed point property (AFPP) for digital images in $\mathbb{Z}^2$. In particular, we study conditions under which the union of two convex digital disks has the AFPP.


title: Subjective and Objective Quality Assessment of Mobile Gaming Video

abstract: Nowadays, with the vigorous expansion and development of gaming video streaming techniques and services, the expectation of users, especially the mobile phone users, for higher quality of experience is also growing swiftly. As most of the existing research focuses on traditional video streaming, there is a clear lack of both subjective study and objective quality models that are tailored for quality assessment of mobile gaming content. To this end, in this study, we first present a brand new Tencent Gaming Video dataset containing 1293 mobile gaming sequences encoded with three different codecs. Second, we propose an objective quality framework, namely Efficient hard-RAnk Quality Estimator (ERAQUE), that is equipped with (1) a novel hard pairwise ranking loss, which forces the model to put more emphasis on differentiating similar pairs; (2) an adapted model distillation strategy, which could be utilized to compress the proposed model efficiently without causing significant performance drop. Extensive experiments demonstrate the efficiency and robustness of our model.


title: Learning Hierarchical Integration of Foveal and Peripheral Vision for Vergence Control by Active Efficient Coding

abstract: The active efficient coding (AEC) framework parsimoniously explains the joint development of visual processing and eye movements, e.g., the emergence of binocular disparity selective neurons and fusional vergence, the disjunctive eye movements that align left and right eye images. Vergence can be driven by information in both the fovea and periphery, which play complementary roles. The high resolution fovea can drive precise short range movements. The lower resolution periphery supports coarser long range movements. The fovea and periphery may also contain conflicting information, e.g. due to objects at different depths. While past AEC models did integrate peripheral and foveal information, they did not explicitly take into account these characteristics. We propose here a two-level hierarchical approach that does. The bottom level generates different vergence actions from foveal and peripheral regions. The top level selects one. We demonstrate that the hierarchical approach performs better than prior approaches in realistic environments, exhibiting better alignment and less oscillation.


title: Video Action Recognition Using spatio-temporal optical flow video frames

abstract: Recognizing human actions based on videos has became one of the most popular areas of research in computer vision in recent years. This area has many applications such as surveillance, robotics, health care, video search and human-computer interaction. There are many problems associated with recognizing human actions in videos such as cluttered backgrounds, obstructions, viewpoints variation, execution speed and camera movement. A large number of methods have been proposed to solve the problems. This paper focus on spatial and temporal pattern recognition for the classification of videos using Deep Neural Networks. This model takes RGB images and Optical Flow as input data and outputs an action class number. The final recognition accuracy was about 94%.


title: Self-Supervised Multisensor Change Detection

abstract: Most change detection methods assume that pre-change and post-change images are acquired by the same sensor. However, in many real-life scenarios, e.g., natural disaster, it is more practical to use the latest available images before and after the occurrence of incidence, which may be acquired using different sensors. In particular, we are interested in the combination of the images acquired by optical and Synthetic Aperture Radar (SAR) sensors. SAR images appear vastly different from the optical images even when capturing the same scene. Adding to this, change detection methods are often constrained to use only target image-pair, no labeled data, and no additional unlabeled data. Such constraints limit the scope of traditional supervised machine learning and unsupervised generative approaches for multi-sensor change detection. Recent rapid development of self-supervised learning methods has shown that some of them can even work with only few images. Motivated by this, in this work we propose a method for multi-sensor change detection using only the unlabeled target bi-temporal images that are used for training a network in self-supervised fashion by using deep clustering and contrastive learning. The proposed method is evaluated on four multi-modal bi-temporal scenes showing change and the benefits of our self-supervised approach are demonstrated.


title: Image Captioning using Multiple Transformers for Self-Attention Mechanism

abstract: Real-time image captioning, along with adequate precision, is the main challenge of this research field. The present work, Multiple Transformers for Self-Attention Mechanism (MTSM), utilizes multiple transformers to address these problems. The proposed algorithm, MTSM, acquires region proposals using a transformer detector (DETR). Consequently, MTSM achieves the self-attention mechanism by transferring these region proposals and their visual and geometrical features through another transformer and learns the objects' local and global interconnections. The qualitative and quantitative results of the proposed algorithm, MTSM, are shown on the MSCOCO dataset.


title: New Methods for Detecting Concentric Objects With High Accuracy

abstract: Fitting concentric geometric objects to digitized data is an important problem in many areas such as iris detection, autonomous navigation, and industrial robotics operations. There are two common approaches to fitting geometric shapes to data: the geometric (iterative) approach and algebraic (non-iterative) approach. The geometric approach is a nonlinear iterative method that minimizes the sum of the squares of Euclidean distances of the observed points to the ellipses and regarded as the most accurate method, but it needs a good initial guess to improve the convergence rate. The algebraic approach is based on minimizing the algebraic distances with some constraints imposed on parametric space. Each algebraic method depends on the imposed constraint, and it can be solved with the aid of the generalized eigenvalue problem. Only a few methods in literature were developed to solve the problem of concentric ellipses. Here we study the statistical properties of existing methods by firstly establishing a general mathematical and statistical framework for this problem. Using rigorous perturbation analysis, we derive the variances and biasedness of each method under the small-sigma model. We also develop new estimators, which can be used as reliable initial guesses for other iterative methods. Then we compare the performance of each method according to their theoretical accuracy. Not only do our methods described here outperform other existing non-iterative methods, they are also quite robust against large noise. These methods and their practical performances are assessed by a series of numerical experiments on both synthetic and real data.


title: Urdu Handwritten Text Recognition Using ResNet18

abstract: Handwritten text recognition is an active research area in the field of deep learning and artificial intelligence to convert handwritten text into machine-understandable. A lot of work has been done for other languages, especially for English, but work for the Urdu language is very minimal due to the cursive nature of Urdu characters. The need for Urdu HCR systems is increasing because of the advancement of technology. In this paper, we propose a ResNet18 model for handwritten text recognition using Urdu Nastaliq Handwritten Dataset (UNHD) which contains 3,12000 words written by 500 candidates.


title: Representing Gate-Level SET Faults by Multiple SEU Faults at RTL

abstract: The advanced complex electronic systems increasingly demand safer and more secure hardware parts. Correspondingly, fault injection became a major verification milestone for both safety- and security-critical applications. However, fault injection campaigns for gate-level designs suffer from huge execution times. Therefore, designers need to apply early design evaluation techniques to reduce the execution time of fault injection campaigns. In this work, we propose a method to represent gate-level Single-Event Transient (SET) faults by multiple Single-Event Upset (SEU) faults at the Register-Transfer Level. Introduced approach is to identify true and false logic paths for each SET in the flip-flops fan-in logic cones to obtain more accurate sets of flip-flops for multiple SEUs injections at RTL. Experimental results demonstrate the feasibility of the proposed method to successfully reduce the fault space and also its advantage with respect to state of the art. It was shown that the approach is able to reduce the fault space, and therefore the fault-injection effort, by up to tens to hundreds of times.


title: Risk Prediction on Traffic Accidents using a Compact Neural Model for Multimodal Information Fusion over Urban Big Data

abstract: Predicting risk map of traffic accidents is vital for accident prevention and early planning of emergency response. Here, the challenge lies in the multimodal nature of urban big data. We propose a compact neural ensemble model to alleviate overfitting in fusing multimodal features and develop some new features such as fractal measure of road complexity in satellite images, taxi flows, POIs, and road width and connectivity in OpenStreetMap. The solution is more promising in performance than the baseline methods and the single-modality data based solutions. After visualization from a micro view, the visual patterns of the scenes related to high and low risk are revealed, providing lessons for future road design. From city point of view, the predicted risk map is close to the ground truth, and can act as the base in optimizing spatial configuration of resources for emergency response, and alarming signs. To the best of our knowledge, it is the first work to fuse visual and spatio-temporal features in traffic accident prediction while advances to bridge the gap between data mining based urban computing and computer vision based urban perception.


title: Believe The HiPe: Hierarchical Perturbation for Fast, Robust, and Model-Agnostic Saliency Mapping

abstract: Understanding the predictions made by Artificial Intelligence (AI) systems is becoming more and more important as deep learning models are used for increasingly complex and high-stakes tasks. Saliency mapping -- a popular visual attribution method -- is one important tool for this, but existing formulations are limited by either computational cost or architectural constraints. We therefore propose Hierarchical Perturbation, a very fast and completely model-agnostic method for interpreting model predictions with robust saliency maps. Using standard benchmarks and datasets, we show that our saliency maps are of competitive or superior quality to those generated by existing model-agnostic methods -- and are over 20 times faster to compute.


title: Highly Efficient Representation and Active Learning Framework and Its Application to Imbalanced Medical Image Classification

abstract: We propose a highly data-efficient active learning framework for image classification. Our novel framework combines: (1) unsupervised representation learning of a Convolutional Neural Network and (2) the Gaussian Process (GP) method, in sequence to achieve highly data and label efficient classifications. Moreover, both elements are less sensitive to the prevalent and challenging class imbalance issue, thanks to the (1) feature learned without labels and (2) the Bayesian nature of GP. The GP-provided uncertainty estimates enable active learning by ranking samples based on the uncertainty and selectively labeling samples showing higher uncertainty. We apply this novel combination to the severely imbalanced case of COVID-19 chest X-ray classification and the Nerthus colonoscopy classification. We demonstrate that only . 10% of the labeled data is needed to reach the accuracy from training all available labels. We also applied our model architecture and proposed framework to a broader class of datasets with expected success.


title: Web Table Classification based on Visual Features

abstract: Tables on the web constitute a valuable data source for many applications, like factual search and knowledge base augmentation. However, as genuine tables containing relational knowledge only account for a small proportion of tables on the web, reliable genuine web table classification is a crucial first step of table extraction. Previous works usually rely on explicit feature construction from the HTML code. In contrast, we propose an approach for web table classification by exploiting the full visual appearance of a table, which works purely by applying a convolutional neural network on the rendered image of the web table. Since these visual features can be extracted automatically, our approach circumvents the need for explicit feature construction. A new hand labeled gold standard dataset containing HTML source code and images for 13,112 tables was generated for this task. Transfer learning techniques are applied to well known VGG16 and ResNet50 architectures. The evaluation of CNN image classification with fine tuned ResNet50 (F1 93.29%) shows that this approach achieves results comparable to previous solutions using explicitly defined HTML code based features. By combining visual and explicit features, an F-measure of 93.70% can be achieved by Random Forest classification, which beats current state of the art methods.


title: Application of Transfer Learning to Sign Language Recognition using an Inflated 3D Deep Convolutional Neural Network

abstract: Sign language is the primary language for people with a hearing loss. Sign language recognition (SLR) is the automatic recognition of sign language, which represents a challenging problem for computers, though some progress has been made recently using deep learning. Huge amounts of data are generally required to train deep learning models. However, corresponding datasets are missing for the majority of sign languages. Transfer learning is a technique to utilize a related task with an abundance of data available to help solve a target task lacking sufficient data. Transfer learning has been applied highly successfully in computer vision and natural language processing. However, much less research has been conducted in the field of SLR. This paper investigates how effectively transfer learning can be applied to isolated SLR using an inflated 3D convolutional neural network as the deep learning architecture. Transfer learning is implemented by pre-training a network on the American Sign Language dataset MS-ASL and subsequently fine-tuning it separately on three different sizes of the German Sign Language dataset SIGNUM. The results of the experiments give clear empirical evidence that transfer learning can be effectively applied to isolated SLR. The accuracy performances of the networks applying transfer learning increased substantially by up to 21% as compared to the baseline models that were not pre-trained on the MS-ASL dataset.


title: Deep Learning Based Decision Support for Medicine -- A Case Study on Skin Cancer Diagnosis

abstract: Early detection of skin cancers like melanoma is crucial to ensure high chances of survival for patients. Clinical application of Deep Learning (DL)-based Decision Support Systems (DSS) for skin cancer screening has the potential to improve the quality of patient care. The majority of work in the medical AI community focuses on a diagnosis setting that is mainly relevant for autonomous operation. Practical decision support should, however, go beyond plain diagnosis and provide explanations. This paper provides an overview of works towards explainable, DL-based decision support in medical applications with the example of skin cancer diagnosis from clinical, dermoscopic and histopathologic images. Analysis reveals that comparably little attention is payed to the explanation of histopathologic skin images and that current work is dominated by visual relevance maps as well as dermoscopic feature identification. We conclude that future work should focus on meeting the stakeholder's cognitive concepts, providing exhaustive explanations that combine global and local approaches and leverage diverse modalities. Moreover, the possibility to intervene and guide models in case of misbehaviour is identified as a major step towards successful deployment of AI as DL-based DSS and beyond.


title: Deep Neural Networks for the Assessment of Surgical Skills: A Systematic Review

abstract: Surgical training in medical school residency programs has followed the apprenticeship model. The learning and assessment process is inherently subjective and time-consuming. Thus, there is a need for objective methods to assess surgical skills. Here, we use the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) guidelines to systematically survey the literature on the use of Deep Neural Networks for automated and objective surgical skill assessment, with a focus on kinematic data as putative markers of surgical competency. There is considerable recent interest in deep neural networks (DNN) due to the availability of powerful algorithms, multiple datasets, some of which are publicly available, as well as efficient computational hardware to train and host them. We have reviewed 530 papers, of which we selected 25 for this systematic review. Based on this review, we concluded that DNNs are powerful tools for automated, objective surgical skill assessment using both kinematic and video data. The field would benefit from large, publicly available, annotated datasets that are representative of the surgical trainee and expert demographics and multimodal data beyond kinematics and videos.


title: Learning Invariant Representations across Domains and Tasks

abstract: Being expensive and time-consuming to collect massive COVID-19 image samples to train deep classification models, transfer learning is a promising approach by transferring knowledge from the abundant typical pneumonia datasets for COVID-19 image classification. However, negative transfer may deteriorate the performance due to the feature distribution divergence between two datasets and task semantic difference in diagnosing pneumonia and COVID-19 that rely on different characteristics. It is even more challenging when the target dataset has no labels available, i.e., unsupervised task transfer learning. In this paper, we propose a novel Task Adaptation Network (TAN) to solve this unsupervised task transfer problem. In addition to learning transferable features via domain-adversarial training, we propose a novel task semantic adaptor that uses the learning-to-learn strategy to adapt the task semantics. Experiments on three public COVID-19 datasets demonstrate that our proposed method achieves superior performance. Especially on COVID-DA dataset, TAN significantly increases the recall and F1 score by 5.0% and 7.8% compared to recently strong baselines. Moreover, we show that TAN also achieves superior performance on several public domain adaptation benchmarks.


title: Deep reinforcement learning in medical imaging: A literature review

abstract: Deep reinforcement learning (DRL) augments the reinforcement learning framework, which learns a sequence of actions that maximizes the expected reward, with the representative power of deep neural networks. Recent works have demonstrated the great potential of DRL in medicine and healthcare. This paper presents a literature review of DRL in medical imaging. We start with a comprehensive tutorial of DRL, including the latest model-free and model-based algorithms. We then cover existing DRL applications for medical imaging, which are roughly divided into three main categories: (I) parametric medical image analysis tasks including landmark detection, object/lesion detection, registration, and view plane localization; (ii) solving optimization tasks including hyperparameter tuning, selecting augmentation strategies, and neural architecture search; and (iii) miscellaneous applications including surgical gesture segmentation, personalized mobile health intervention, and computational model personalization. The paper concludes with discussions of future perspectives.


title: ASL to PET Translation by a Semi-supervised Residual-based Attention-guided Convolutional Neural Network

abstract: Positron Emission Tomography (PET) is an imaging method that can assess physiological function rather than structural disturbances by measuring cerebral perfusion or glucose consumption. However, this imaging technique relies on injection of radioactive tracers and is expensive. On the contrary, Arterial Spin Labeling (ASL) MRI is a non-invasive, non-radioactive, and relatively cheap imaging technique for brain hemodynamic measurements, which allows quantification to some extent. In this paper we propose a convolutional neural network (CNN) based model for translating ASL to PET images, which could benefit patients as well as the healthcare system in terms of expenses and adverse side effects. However, acquiring a sufficient number of paired ASL-PET scans for training a CNN is prohibitive for many reasons. To tackle this problem, we present a new semi-supervised multitask CNN which is trained on both paired data, i.e. ASL and PET scans, and unpaired data, i.e. only ASL scans, which alleviates the problem of training a network on limited paired data. Moreover, we present a new residual-based-attention guided mechanism to improve the contextual features during the training process. Also, we show that incorporating T1-weighted scans as an input, due to its high resolution and availability of anatomical information, improves the results. We performed a two-stage evaluation based on quantitative image metrics by conducting a 7-fold cross validation followed by a double-blind observer study. The proposed network achieved structural similarity index measure (SSIM), mean squared error (MSE) and peak signal-to-noise ratio (PSNR) values of $0.85\pm0.08$, $0.01\pm0.01$, and $21.8\pm4.5$ respectively, for translating from 2D ASL and T1-weighted images to PET data. The proposed model is publicly available via https://github.com/yousefis/ASL2PET.


title: The Modal Logic of Stepwise Removal

abstract: We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as a logic of quantification without replacement, and as a pilot study to better understand the complexity jumps between dynamic epistemic logics of model transformations and logics of freely chosen graph changes that get registered in a growing memory. After introducing this logic ($\textsf{MLSR}$) and its corresponding removal modality, we analyze its expressive power and prove a bisimulation characterization theorem. We then provide a complete Hilbert-style axiomatization for the logic of stepwise removal in a hybrid language enriched with nominals and public announcement operators. Next, we show that model-checking for $\textsf{MLSR}$ is PSPACE-complete, while its satisfiability problem is undecidable. Lastly, we consider an issue of fine-structure: the expressive power gained by adding the stepwise removal modality to fragments of first-order logic.


title: Efficient Fuzz Testing for Apache Spark Using Framework Abstraction

abstract: The emerging data-intensive applications are increasingly dependent on data-intensive scalable computing (DISC) systems, such as Apache Spark, to process large data. Despite their popularity, DISC applications are hard to test. In recent years, fuzz testing has been remarkably successful; however, it is nontrivial to apply such traditional fuzzing to big data analytics directly because: (1) the long latency of DISC systems prohibits the applicability of fuzzing, and (2) conventional branch coverage is unlikely to identify application logic from the DISC framework implementation. We devise a novel fuzz testing tool called BigFuzz that automatically generates concrete data for an input Apache Spark program. The key essence of our approach is that we abstract the dataflow behavior of the DISC framework with executable specifications and we design schema-aware mutations based on common error types in DISC applications. Our experiments show that compared to random fuzzing, BigFuzz is able to speed up the fuzzing time by 1477X, improves application code coverage by 271%, and achieves 157% improvement in detecting application errors. The demonstration video of BigFuzz is available at https://www.youtube.com/watch?v=YvYQISILQHs&feature=youtu.be.


title: Modeling Saturn's D68 clumps as a co-orbital satellite system

abstract: The D68 ringlet is the innermost feature in Saturn's rings. Four clumps that appeared in D68 around 2014 remained evenly spaced about 30 degrees apart and moved very slowly relative to each other from 2014 up until the last measurements were taken in 2017. D68's narrowness and the distribution of clumps could either indicate that we have a collection of source bodies in a co-orbital configuration or imply that an outside force confines the observed dust and any source bodies. In this paper we explore the possibility that these four clumps arose from four source bodies in a co-orbital configuration. We find that there are no solutions with four masses that produce the observed spacings. We therefore consider whether an unseen fifth co-orbital object could account for the discrepancies in the angular separations and approach a stable stationary configuration. We find a range of solutions for five co-orbital objects where their mass ratios depend on the assumed location of the fifth mass. Numerical simulations of five co-orbitals are highly sensitive to initial conditions, especially for the range of masses we would expect the D68 clumps to have. The fragility of our D68 co-orbital system model implies that there is probably some outside force confining the material in this ringlet.


title: On the contractibility of random Vietoris-Rips complexes

abstract: We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln n}{n}\right)^{1/d}$ for a certain constant that depends on $K$ and the probability measure used. This answers a question of Kahle [Discrete Comput. Geom. 45 (2011), 553-573]. We also extend the proof to show that if $K$ is a compact, smooth $d$-manifold with boundary - but not necessarily convex - then $\mathcal R(n,r)$ is a.a.s. homotopy equivalent to $K$ when $c_1 \left(\frac{\ln n}{n}\right)^{1/d} \leq r \leq c_2$ for constants $c_1=c_1(K), c_2=c_2(K)$. Our proofs expose a connection with the game of cops and robbers.


title: Multiple Instance Captioning: Learning Representations from Histopathology Textbooks and Articles

abstract: We present ARCH, a computational pathology (CP) multiple instance captioning dataset to facilitate dense supervision of CP tasks. Existing CP datasets focus on narrow tasks; ARCH on the other hand contains dense diagnostic and morphological descriptions for a range of stains, tissue types and pathologies. Using intrinsic dimensionality estimation, we show that ARCH is the only CP dataset to (ARCH-)rival its computer vision analog MS-COCO Captions. We conjecture that an encoder pre-trained on dense image captions learns transferable representations for most CP tasks. We support the conjecture with evidence that ARCH representation transfers to a variety of pathology sub-tasks better than ImageNet features or representations obtained via self-supervised or multi-task learning on pathology images alone. We release our best model and invite other researchers to test it on their CP tasks.


title: Low-Rank Tensor Regression for X-Ray Tomography

abstract: Tomographic imaging is useful for revealing the internal structure of a 3D sample. Classical reconstruction methods treat the object of interest as a vector to estimate its value. Such an approach, however, can be inefficient in analyzing high-dimensional data because of the underexploration of the underlying structure. In this work, we propose to apply a tensor-based regression model to perform tomographic reconstruction. Furthermore, we explore the low-rank structure embedded in the corresponding tensor form. As a result, our proposed method efficiently reduces the dimensionality of the unknown parameters, which is particularly beneficial for ill-posed inverse problem suffering from insufficient data. We demonstrate the robustness of our proposed approach on synthetic noise-free data as well as on Gaussian noise-added data.


title: Deep Transfer Learning for WiFi Localization

abstract: This paper studies a WiFi indoor localisation technique based on using a deep learning model and its transfer strategies. We take CSI packets collected via the WiFi standard channel sounding as the training dataset and verify the CNN model on the subsets collected in three experimental environments. We achieve a localisation accuracy of 46.55 cm in an ideal $(6.5m \times 2.5m)$ office with no obstacles, 58.30 cm in an office with obstacles, and 102.8 cm in a sports hall $(40 \times 35m)$. Then, we evaluate the transfer ability of the proposed model to different environments. The experimental results show that, for a trained localisation model, feature extraction layers can be directly transferred to other models and only the fully connected layers need to be retrained to achieve the same baseline accuracy with non-transferred base models. This can save 60% of the training parameters and reduce the training time by more than half. Finally, an ablation study of the training dataset shows that, in both office and sport hall scenarios, after reusing the feature extraction layers of the base model, only 55% of the training data is required to obtain the models' accuracy similar to the base models.


title: Classification and Feature Transformation with Fuzzy Cognitive Maps

abstract: Fuzzy Cognitive Maps (FCMs) are considered a soft computing technique combining elements of fuzzy logic and recurrent neural networks. They found multiple application in such domains as modeling of system behavior, prediction of time series, decision making and process control. Less attention, however, has been turned towards using them in pattern classification. In this work we propose an FCM based classifier with a fully connected map structure. In contrast to methods that expect reaching a steady system state during reasoning, we chose to execute a few FCM iterations (steps) before collecting output labels. Weights were learned with a gradient algorithm and logloss or cross-entropy were used as the cost function. Our primary goal was to verify, whether such design would result in a descent general purpose classifier, with performance comparable to off the shelf classical methods. As the preliminary results were promising, we investigated the hypothesis that the performance of $d$-step classifier can be attributed to a fact that in previous $d-1$ steps it transforms the feature space by grouping observations belonging to a given class, so that they became more compact and separable. To verify this hypothesis we calculated three clustering scores for the transformed feature space. We also evaluated performance of pipelines built from FCM-based data transformer followed by a classification algorithm. The standard statistical analyzes confirmed both the performance of FCM based classifier and its capability to improve data. The supporting prototype software was implemented in Python using TensorFlow library.


title: Theory of cell membrane interaction with glass

abstract: There are three regimes of cell membrane interaction with glass - Tight and loose adhesion, separated by repulsion. Explicitly including hydration, this paper evaluates the pressure between the surfaces as functions of distance for ion-correlation and ion-screened electrostatics, and electromagnetic fluctuations. The results agree with data for tight adhesion energy (0.5-3 vs 0.4-4 mJ/m2), detachment pressure (7.9 vs 9 MPa), and peak repulsion (3.4-7.5 vs 5-10 kPa), also matching the repulsion's distance dependence upon renormalization by steric pressure mainly from undulations.


title: Exact Distribution-Free Hypothesis Tests for the Regression Function of Binary Classification via Conditional Kernel Mean Embeddings

abstract: In this paper we suggest two statistical hypothesis tests for the regression function of binary classification based on conditional kernel mean embeddings. The regression function is a fundamental object in classification as it determines both the Bayes optimal classifier and the misclassification probabilities. A resampling based framework is presented and combined with consistent point estimators of the conditional kernel mean map, in order to construct distribution-free hypothesis tests. These tests are introduced in a flexible manner allowing us to control the exact probability of type I error for any sample size. We also prove that both proposed techniques are consistent under weak statistical assumptions, i.e., the type II error probabilities pointwise converge to zero.


title: Model Complexity of Deep Learning: A Survey

abstract: Model complexity is a fundamental problem in deep learning. In this paper we conduct a systematic overview of the latest studies on model complexity in deep learning. Model complexity of deep learning can be categorized into expressive capacity and effective model complexity. We review the existing studies on those two categories along four important factors, including model framework, model size, optimization process and data complexity. We also discuss the applications of deep learning model complexity including understanding model generalization, model optimization, and model selection and design. We conclude by proposing several interesting future directions.


title: Fast randomized non-Hermitian eigensolver based on rational filtering and matrix partitioning

abstract: This paper describes a set of rational filtering algorithms to compute a few eigenvalues (and associated eigenvectors) of non-Hermitian matrix pencils. Our interest lies in computing eigenvalues located inside a given disk, and the proposed algorithms approximate these eigenvalues and associated eigenvectors by harmonic Rayleigh-Ritz projections on subspaces built by computing range spaces of rational matrix functions through randomized range finders. These rational matrix functions are designed so that directions associated with non-sought eigenvalues are dampened to (approximately) zero. Variants based on matrix partitionings are introduced to further reduce the overall complexity of the proposed framework. Compared with existing eigenvalue solvers based on rational matrix functions, the proposed technique requires no estimation of the number of eigenvalues located inside the disk. Several theoretical and practical issues are discussed, and the competitiveness of the proposed framework is demonstrated via numerical experiments.


title: Biogeography-Based Optimization of RC structures including static soil-structure interaction

abstract: A method to minimize the cost of the structural design of reinforced concrete structures using Biogeography-Based Optimization, an evolutionary algorithm, is presented. SAP2000 is used as computational engine, taking into account modelling aspects such as static soil-structure interaction (SSSI). The optimization problem is formulated to properly reflect an actual design problem, limiting e.g. the size of reinforcement bars to commercially available sections. Strategies to reduce the computational cost of the optimization procedure are proposed and an extensive parameter tuning was performed. The resulting tuned optimization algorithm allows to reduce the direct cost of the construction of a particular structure project with 21% compared to a design based on traditional criteria. We also evaluate the effect on the cost of the superstructure when SSSI is takeninto account.


title: Feasibility Governor for Linear Model Predictive Control

abstract: This paper introduces the Feasibility Governor (FG): an add-on unit that enlarges the region of attraction of Model Predictive Control by manipulating the reference to ensure that the underlying optimal control problem remains feasible. The FG is developed for linear systems subject to polyhedral state and input constraints. Offline computations using polyhedral projection algorithms are used to construct the feasibility set. Online implementation relies on the solution of a convex quadratic program that guarantees recursive feasibility. The closed-loop system is shown to satisfy constraints, achieve asymptotic stability, and exhibit zero-offset tracking.


title: Few-Shot Learning of an Interleaved Text Summarization Model by Pretraining with Synthetic Data

abstract: Interleaved texts, where posts belonging to different threads occur in a sequence, commonly occur in online chat posts, so that it can be time-consuming to quickly obtain an overview of the discussions. Existing systems first disentangle the posts by threads and then extract summaries from those threads. A major issue with such systems is error propagation from the disentanglement component. While end-to-end trainable summarization system could obviate explicit disentanglement, such systems require a large amount of labeled data. To address this, we propose to pretrain an end-to-end trainable hierarchical encoder-decoder system using synthetic interleaved texts. We show that by fine-tuning on a real-world meeting dataset (AMI), such a system out-performs a traditional two-step system by 22%. We also compare against transformer models and observed that pretraining with synthetic data both the encoder and decoder outperforms the BertSumExtAbs transformer model which pretrains only the encoder on a large dataset.


title: AfriVEC: Word Embedding Models for African Languages. Case Study of Fon and Nobiin

abstract: From Word2Vec to GloVe, word embedding models have played key roles in the current state-of-the-art results achieved in Natural Language Processing. Designed to give significant and unique vectorized representations of words and entities, those models have proven to efficiently extract similarities and establish relationships reflecting semantic and contextual meaning among words and entities. African Languages, representing more than 31% of the worldwide spoken languages, have recently been subject to lots of research. However, to the best of our knowledge, there are currently very few to none word embedding models for those languages words and entities, and none for the languages under study in this paper. After describing Glove, Word2Vec, and Poincar\'e embeddings functionalities, we build Word2Vec and Poincar\'e word embedding models for Fon and Nobiin, which show promising results. We test the applicability of transfer learning between these models as a landmark for African Languages to jointly involve in mitigating the scarcity of their resources, and attempt to provide linguistic and social interpretations of our results. Our main contribution is to arouse more interest in creating word embedding models proper to African Languages, ready for use, and that can significantly improve the performances of Natural Language Processing downstream tasks on them. The official repository and implementation is at https://github.com/bonaventuredossou/afrivec


title: Spontaneous symmetry breakings in the singlet scalar Yukawa model within the auxiliary field method

abstract: The aim of this work is to investigate the occurrence of two different spontaneous symmetry breakings {at} two levels of the description of fermion-scalar field model, by means of a set of gap equations and {with} a background field effective action. For that, we consider the Yukawa model, as a toy model for interactions between non-massive fermions intermediated by a self-interacting real scalar field. This model has at stakes two symmetries at the classical level that, as we know, might be spontaneously or dynamically broken with mass generation for the particles. The auxiliary field method is considered and it produces coupled renormalized gap equations. The effective action is then written with quantum contributions by {the} external background {field} method. We brought to light how the renormalization procedure affects the physical gaps, investigate its properties, and discuss the connection between the auxiliary fields not only to define composite states but also to compute the effective action.


title: Constrained Learning with Non-Convex Losses

abstract: Though learning has become a core component of modern information processing, there is now ample evidence that it can lead to biased, unsafe, and prejudiced systems. The need to impose requirements on learning is therefore paramount, especially as it reaches critical applications in social, industrial, and medical domains. However, the non-convexity of most modern statistical problems is only exacerbated by the introduction of constraints. Whereas good unconstrained solutions can often be learned using empirical risk minimization, even obtaining a model that satisfies statistical constraints can be challenging. All the more so, a good one. In this paper, we overcome this issue by learning in the empirical dual domain, where constrained statistical learning problems become unconstrained and deterministic. We analyze the generalization properties of this approach by bounding the empirical duality gap -- i.e., the difference between our approximate, tractable solution and the solution of the original (non-convex) statistical problem -- and provide a practical constrained learning algorithm. These results establish a constrained counterpart to classical learning theory, enabling the explicit use of constraints in learning. We illustrate this theory and algorithm in rate-constrained learning applications arising in fairness and adversarial robustness.


title: A Topological Approach to Compare Document Semantics Based on a New Variant of Syntactic N-grams

abstract: This paper delivers a new perspective of thinking and utilizing syntactic n-grams (sn-grams). Sn-grams are a type of non-linear n-grams which have been playing a critical role in many NLP tasks. Introducing sn-grams to comparing document semantics thus is an appealing application, and few studies have reported progress at this. However, when proceeding on this application, we found three major issues of sn-grams: lack of significance, being sensitive to word orders and failing on capture indirect syntactic relations. To address these issues, we propose a new variant of sn-grams named generalized phrases (GPs). Then based on GPs we propose a topological approach, named DSCoH, to compute document semantic similarities. DSCoH has been extensively tested on the document semantics comparison and the document clustering tasks. The experimental results show that DSCoH can outperform state-of-the-art embedding-based methods.


title: Core equivalence with large agents

abstract: This paper studies the relationship between core and competitive equilibira in economies that consist of a continuum of agents and some large agents. We construct a class of these economies in which the core and competitive allocations do not coincide.


title: Contemplating real-world object classification

abstract: Deep object recognition models have been very successful over benchmark datasets such as ImageNet. How accurate and robust are they to distribution shifts arising from natural and synthetic variations in datasets? Prior research on this problem has primarily focused on ImageNet variations (e.g., ImageNetV2, ImageNet-A). To avoid potential inherited biases in these studies, we take a different approach. Specifically, we reanalyze the ObjectNet dataset recently proposed by Barbu et al. containing objects in daily life situations. They showed a dramatic performance drop of the state of the art object recognition models on this dataset. Due to the importance and implications of their results regarding the generalization ability of deep models, we take a second look at their analysis. We find that applying deep models to the isolated objects, rather than the entire scene as is done in the original paper, results in around 20-30% performance improvement. Relative to the numbers reported in Barbu et al., around 10-15% of the performance loss is recovered, without any test time data augmentation. Despite this gain, however, we conclude that deep models still suffer drastically on the ObjectNet dataset. We also investigate the robustness of models against synthetic image perturbations such as geometric transformations (e.g., scale, rotation, translation), natural image distortions (e.g., impulse noise, blur) as well as adversarial attacks (e.g., FGSM and PGD-5). Our results indicate that limiting the object area as much as possible (i.e., from the entire image to the bounding box to the segmentation mask) leads to consistent improvement in accuracy and robustness.


title: On the Oracle Complexity of Higher-Order Smooth Non-Convex Finite-Sum Optimization

abstract: We prove lower bounds for higher-order methods in smooth non-convex finite-sum optimization. Our contribution is threefold: We first show that a deterministic algorithm cannot profit from the finite-sum structure of the objective, and that simulating a pth-order regularized method on the whole function by constructing exact gradient information is optimal up to constant factors. We further show lower bounds for randomized algorithms and compare them with the best known upper bounds. To address some gaps between the bounds, we propose a new second-order smoothness assumption that can be seen as an analogue of the first-order mean-squared smoothness assumption. We prove that it is sufficient to ensure state-of-the-art convergence guarantees, while allowing for a sharper lower bound.


title: On Urysohn's Lemma for generalized topological spaces in ZF

abstract: A strong generalized topological space is an ordered pair $\mathbf{X}=\langle X, \mathcal{T}\rangle$ such that $X$ is a set and $\mathcal{T}$ is a collection of subsets of $X$ such that $\emptyset, X\in \mathcal{T}$ and $\mathcal{T}$ is stable under arbitrary unions. A necessary and sufficient condition for a strong generalized topological space $\mathbf{X}$ to satisfy Urysohn's lemma or its appropriate variant is shown in $\mathbf{ZF}$. Notions of a U-normal and an effectively normal generalized topological space are introduced. It is observed that, in $\mathbf{ZF}+\mathbf{DC}$, every U-normal generalized topological space satisfies Urysohn's lemma. It is shown that every effectively normal generalized topological space satisfies Csasz\'ar's modification of Urysohn's Lemma. A $\mathbf{ZF}$- example of a strong generalized topological normal space which satisfies the Tietze-Urysohn Extension Theorem and fails to satisfy Urysohn's Lemma is shown.


title: Benchmarking Off-The-Shelf Solutions to Robotic Assembly Tasks

abstract: In recent years, many learning based approaches have been studied to realize robotic manipulation and assembly tasks, often including vision and force/tactile feedback. However, it remains frequently unclear what is the baseline state-of-the-art performance and what are the bottleneck problems. In this work, we evaluate some off-the-shelf (OTS) industrial solutions on a recently introduced benchmark, the National Institute of Standards and Technology (NIST) Assembly Task Boards. A set of assembly tasks are introduced and baseline methods are provided to understand their intrinsic difficulty. Multiple sensor-based robotic solutions are then evaluated, including hybrid force/motion control and 2D/3D pattern matching algorithms. An end-to-end integrated solution that accomplishes the tasks is also provided. The results and findings throughout the study reveal a few noticeable factors that impede the adoptions of the OTS solutions: expertise dependent, limited applicability, lack of interoperability, no scene awareness or error recovery mechanisms, and high cost. This paper also provides a first attempt of an objective benchmark performance on the NIST Assembly Task Boards as a reference comparison for future works on this problem.


title: Non-Hermitian band topology with generalized inversion symmetry

abstract: Non-Hermitian skin effects and exceptional points are topological phenomena characterized by integer winding numbers. In this study, we give methods to theoretically detect skin effects and exceptional points by generalizing inversion symmetry. The generalization of inversion symmetry is unique to non-Hermitian systems. We show that parities of the winding numbers can be determined from energy eigenvalues on the inversion-invariant momenta when generalized inversion symmetry is present. The simple expressions for the winding numbers allow us to easily analyze skin effects and exceptional points in non-Hermitian bands. We also demonstrate the methods for (second-order) skin effects and exceptional points by using lattice models.


title: Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

abstract: In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to find the set of initial states from where, with a predetermined confidence, the system will not reach an unsafe configuration within a specified time horizon. Specifically, we consider discrete-time LTI systems with Gaussian noise, which we abstract by a suitable graph. Then, we formulate a Satisfiability Modulo Convex (SMC) problem to estimate upper bounds on the transition probabilities between nodes in the graph. Using this abstraction, we propose a method to compute tight bounds on the safety probabilities of nodes in this graph, despite possible over-approximations of the transition probabilities between these nodes. Additionally, using the proposed SMC formula, we devise a heuristic method to refine the abstraction of the system in order to further improve the estimated safety bounds. Finally, we corroborate the efficacy of the proposed method with simulation results considering a robot navigation example and comparison against a state-of-the-art verification scheme.


title: Capacities from the Chiu-Tamarkin complex

abstract: In this paper, we construct a sequence $(c_k)_{k\in\mathbb{N}}$ of symplectic capacities based on the Chiu-Tamarkin complex $C_{T,\ell}$, a $\mathbb{Z}/\ell$-equivariant invariant coming from the microlocal theory of sheaves. We compute $(c_k)_{k\in\mathbb{N}}$ for convex toric domains, which are the same as the Gutt-Hutchings capacities. Our method also works for the prequantized contact manifold $T^*X\times S^1$. We define a sequence of "contact capacities" $([c]_k)_{k\in\mathbb{N}}$ on the prequantized contact manifold $T^*X\times S^1$, and we compute them for prequantized convex toric domains.


title: Free products of abelian groups in mapping class groups

abstract: We construct a new family of examples of parabolically geometrically finite subgroups of the mapping class group in the sense of Dowdall-Durham-Leininger-Sisto and prove they are undistorted in Mod($S$).


title: Explicit Kink Solutions in Several One-Parameter Family of Higher Order Field Theory Models

abstract: We present several one-parameter family of higher order field theory models some of which admit explicit kink solutions with an exponential tail while others admit explicit kink solutions with a power-law tail. Various properties of these families of kink solutions are examined in detail. In particular for models harboring kink solutions with a power-law tail, we show that there is no gap between the zero mode and the beginning of the continuum in the kink stability potential. Further, by applying the recent Manton formalism, we provide estimates for the kink-kink and antikink-kink acceleration and hence the ratio of the corresponding antikink-kink and kink-kink forces.


title: An Ore-type condition for hamiltonicity in tough graphs

abstract: Let $G$ be a $t$-tough graph on $n\ge 3$ vertices for some $t>0$. It was shown by Bauer et al. in 1995 that if the minimum degree of $G$ is greater than $\frac{n}{t+1}-1$, then $G$ is hamiltonian. In terms of Ore-type hamiltonicity conditions, the problem was only studied when $t$ is between 1 and 2. In this paper, we show that if the degree sum of any two nonadjacent vertices of $G$ is greater than $\frac{2n}{t+1}+t-2$, then $G$ is hamiltonian.


title: Model-free Policy Learning with Reward Gradients

abstract: Despite the increasing popularity of policy gradient methods, they are yet to be widely utilized in sample-scarce applications, such as robotics. The sample efficiency could be improved by making best usage of available information. As a key component in reinforcement learning, the reward function is usually devised carefully to guide the agent. Hence, the reward function is usually known, allowing access to not only scalar reward signals but also reward gradients. To benefit from reward gradients, previous works require the knowledge of environment dynamics, which are hard to obtain. In this work, we develop the \textit{Reward Policy Gradient} estimator, a novel approach that integrates reward gradients without learning a model. Bypassing the model dynamics allows our estimator to achieve a better bias-variance trade-off, which results in a higher sample efficiency, as shown in the empirical analysis. Our method also boosts the performance of Proximal Policy Optimization on different MuJoCo control tasks.


title: A Harsh Test of Far-Field Scrambling with the Habitable Zone Planet Finder and the Hobby Eberly Telescope

abstract: The Habitable zone Planet Finder (HPF) is a fiber fed precise radial velocity spectrograph at the 10 m Hobby Eberly Telescope (HET). Due to its fixed altitude design, the HET pupil changes appreciably across a track, leading to significant changes of the fiber far-field illumination. HPF's fiber scrambler is designed to suppress the impact of these illumination changes on the radial velocities -- but the residual impact on the radial velocity measurements has yet to be probed on sky. We use GJ 411, a bright early type (M2) M dwarf to probe the effects of far-field input trends due to these pupil variations on HPF radial velocities (RVs). These large changes ($\sim$ 2x) in pupil area and centroid present a harsh test of HPF's far-field scrambling. Our results show that the RVs are effectively decoupled from these extreme far-field input changes due to pupil centroid offsets, attesting to the effectiveness of the scrambler design. This experiment allows us to test the impact of these changes with large pupil variation on-sky, something we would not easily be able to do at a conventional optical telescope. While the pupil and illumination changes expected at these other telescopes are small, scaling from our results enables us to estimate and bound these effects, and show that they are controllable even for the new and next generation of RV instruments in their quest to beat down instrumental noise sources towards the goal of a few cm/s.


title: Contrastive Semi-supervised Learning for ASR

abstract: Pseudo-labeling is the most adopted method for pre-training automatic speech recognition (ASR) models. However, its performance suffers from the supervised teacher model's degrading quality in low-resource setups and under domain transfer. Inspired by the successes of contrastive representation learning for computer vision and speech applications, and more recently for supervised learning of visual objects, we propose Contrastive Semi-supervised Learning (CSL). CSL eschews directly predicting teacher-generated pseudo-labels in favor of utilizing them to select positive and negative examples. In the challenging task of transcribing public social media videos, using CSL reduces the WER by 8% compared to the standard Cross-Entropy pseudo-labeling (CE-PL) when 10hr of supervised data is used to annotate 75,000hr of videos. The WER reduction jumps to 19% under the ultra low-resource condition of using 1hr labels for teacher supervision. CSL generalizes much better in out-of-domain conditions, showing up to 17% WER reduction compared to the best CE-PL pre-trained model.


title: Orientation to Pose: Continuum Robots Shape Sensing Based on Piecewise Polynomial Curvature Model

abstract: Continuum robots are typically slender and flexible with infinite freedoms in theory, which poses a challenge for their control and application. The shape sensing of continuum robots is vital to realise accuracy control. This letter proposed a novel general real-time shape sensing framework of continuum robots based on the piecewise polynomial curvature (PPC) kinematics model. We illustrate the coupling between orientation and position at any given location of the continuum robots. Further, the coupling relation could be bridged by the PPC kinematics. Therefore, we propose to estimate the shape of continuum robots through orientation estimation, using the off-the-shelf orientation sensors, e.g., IMUs, mounted on certain locations. The approach gives a valuable framework to the shape sensing of continuum robots, universality, accuracy and convenience. The accuracy of the general approach is verified in the experiments of multi-type physical prototypes.


title: Density- and elongation speed-dependent error correction in RNA polymerization

abstract: Backtracking of RNA polymerase (RNAP) is an important pausing mechanism during DNA transcription that is part of the error correction process that enhances transcription fidelity. We model the backtracking mechanism of RNA polymerase, which usually happens when the polymerase tries to incorporate a mismatched nucleotide triphosphate. Previous models have made simplifying assumptions such as neglecting the trailing polymerase behind the backtracking polymerase or assuming that the trailing polymerase is stationary. We derive exact analytic solutions of a stochastic model that includes locally interacting RNAPs by explicitly showing how a trailing RNAP influences the probability that an error is corrected or incorporated by the leading backtracking RNAP. We also provide two related methods for computing the mean times to error correction or incorporation given an initial local RNAP configuration.

categories: q-bio.SC cond-mat.soft cond-mat.stat-mech q-bio.QM


title: Knowledge Evolution in Neural Networks

abstract: Deep learning relies on the availability of a large corpus of data (labeled or unlabeled). Thus, one challenging unsettled question is: how to train a deep network on a relatively small dataset? To tackle this question, we propose an evolution-inspired training approach to boost performance on relatively small datasets. The knowledge evolution (KE) approach splits a deep network into two hypotheses: the fit-hypothesis and the reset-hypothesis. We iteratively evolve the knowledge inside the fit-hypothesis by perturbing the reset-hypothesis for multiple generations. This approach not only boosts performance, but also learns a slim network with a smaller inference cost. KE integrates seamlessly with both vanilla and residual convolutional networks. KE reduces both overfitting and the burden for data collection. We evaluate KE on various network architectures and loss functions. We evaluate KE using relatively small datasets (e.g., CUB-200) and randomly initialized deep networks. KE achieves an absolute 21% improvement margin on a state-of-the-art baseline. This performance improvement is accompanied by a relative 73% reduction in inference cost. KE achieves state-of-the-art results on classification and metric learning benchmarks. Code available at http://bit.ly/3uLgwYb


title: Strong Magnon-Magnon Coupling in Synthetic Antiferromagnets

abstract: Synthetic antiferromagnet, comprised of two ferromagnetic layers separated by a non-magnetic layer, possesses two uniform precession resonance modes: in-phase acoustic mode and out-of-phase optic mode. In this work, we theoretically and numerically demonstrated the strong coupling between acoustic and optic magnon modes. The strong coupling is attributed to the symmetry breaking of the system, which can be realized by tilting the bias field or constructing an asymmetrical synthetic antiferromagnet. It is found that the coupling strength can be highly adjusted by tuning the tilting angle of bias field, the magnitude of antiferromagnetic interlayer exchange coupling, and the thicknesses of ferromagnetic layers. Furthermore, the coupling between acoustic and optic magnon modes can even reach the ultrastrong coupling regime. Our findings show high promise for investigating quantum phenomenon with a magnonic platform.


title: Explanations in Autonomous Driving: A Survey

abstract: The automotive industry has witnessed an increasing level of development in the past decades; from manufacturing manually operated vehicles to manufacturing vehicles with a high level of automation. With the recent developments in Artificial Intelligence (AI), automotive companies now employ blackbox AI models to enable vehicles to perceive their environments and make driving decisions with little or no input from a human. With the hope to deploy autonomous vehicles (AV) on a commercial scale, the acceptance of AV by society becomes paramount and may largely depend on their degree of transparency, trustworthiness, and compliance with regulations. The assessment of the compliance of AVs to these acceptance requirements can be facilitated through the provision of explanations for AVs' behaviour. Explainability is therefore seen as an important requirement for AVs. AVs should be able to explain what they have 'seen', done, and might do in environments in which they operate. In this paper, we provide a comprehensive survey of the existing body of work around explainable autonomous driving. First, we open with a motivation for explanations by highlighting and emphasising the importance of transparency, accountability, and trust in AVs; and examining existing regulations and standards related to AVs. Second, we identify and categorise the different stakeholders involved in the development, use, and regulation of AVs and elicit their explanation requirements for AV. Third, we provide a rigorous review of previous work on explanations for the different AV operations (i.e., perception, localisation, planning, control, and system management). Finally, we identify pertinent challenges and provide recommendations, such as a conceptual framework for AV explainability. This survey aims to provide the fundamental knowledge required of researchers who are interested in explainability in AVs.


title: High-current CNT films grown directly on commercially available 2.5D substrates for low-voltage field-emission electron sources

abstract: Carbon nanotube (CNT) based electronic devices are promising for beyond-silicon solid-state electronics and vacuum micro-nano-electronics. Despite rapid progress in CNT field-effect transistor related solid-state electronics, the development of CNT-based vacuum nanoelectronic devices is substantially blocked by the longstanding challenges in demanding high-current field-emission (FE) electron sources at low operating voltage. In addition to CNTs' properties, FE characteristics are also affected by substrate morphology and interface state. This work demonstrates high-current FE characteristics at relatively low operating voltage by using CNT films grown directly on commercially available 2.5D substrates with matched feature size and improved interface contact. Simulation results indicate that the commercially available 2.5D substrate including nickel foam (NiF) and carbon cloth (CC) with appropriate feature size would dramatically help to enhance emission current at a relatively lower voltage. Modified fabrication process results in improved contact between CNTs and the underlying 2.5D substrates. Twenty times higher emission current density with halved lower turn-on electric field achieved by CNTs grown directly on randomly picked NiF shows the potential of 2.5D substrate with good contact in improving FE characteristics. Finally, a high emission current (6 mA) with approximately 75 percent decrease in turn-on electric field was realized by matching the feature size of 2.5D substrate with that of CNTs, bringing us significantly closer to reliable high-current and low-voltage FE electron sources for practical applications.


title: A Cascaded Multi-IRSs Beamforming Method in mmWave Communication Systems

abstract: In this paper, we study how to jointly design the phase shift of cascaded multi-IRSs and the precoding vector of the BS to improve the coverage in dense urban areas. We aim to maximize the signal-to-noise ratio (SNR) of the user equipment (UE) received signal by employing this method. However, it is a constrained non-convex optimization problem and is NP-hard. In order to solve this problem, we simplify it by utilizing the characteristic of the mmWave wireless system to decompose the optimization problem into multiple sub-optimization problems. By employing the asymptotic orthogonality of wireless channel in mmWave system to solve the sub-optimization problems, we finally yield a closed-form sub-optimal solution. The simulation results verify that our solution can effectively improve the coverage of deep dense urban areas.


title: A proposed solution for the lifetime puzzle of the 229mTh+ isomer

abstract: With the example of the 229Th nucleus, which is the most likely candidate for the creation frequency standard of a future, the dynamics of the interplay and the relationship of various resonance conversion mechanisms is analyzed. As a result, a solution is proposed for the so-called thorium puzzle, which consisted of a contradiction between the experimental and theoretical lifetimes of Th+ ions. First, the solution demonstrates the dependence of the lifetime of the nuclear isomer on the ambient conditions. Second, it demonstrates the leveling role of the fragmentation of the single-electron levels, which makes the resonance amplification of the electron-nuclear interaction more likely. Both of these trends lead to a probable decrease of the theoretical lifetime towards agreement with experiment.


title: Deep Learning-based High-precision Depth Map Estimation from Missing Viewpoints for 360 Degree Digital Holography

abstract: In this paper, we propose a novel, convolutional neural network model to extract highly precise depth maps from missing viewpoints, especially well applicable to generate holographic 3D contents. The depth map is an essential element for phase extraction which is required for synthesis of computer-generated hologram (CGH). The proposed model called the HDD Net uses MSE for the better performance of depth map estimation as loss function, and utilizes the bilinear interpolation in up sampling layer with the Relu as activation function. We design and prepare a total of 8,192 multi-view images, each resolution of 640 by 360 for the deep learning study. The proposed model estimates depth maps through extracting features, up sampling. For quantitative assessment, we compare the estimated depth maps with the ground truths by using the PSNR, ACC, and RMSE. We also compare the CGH patterns made from estimated depth maps with ones made from ground truths. Furthermore, we demonstrate the experimental results to test the quality of estimated depth maps through directly reconstructing holographic 3D image scenes from the CGHs.


title: Strange stars with a mirror-dark-matter core confronting with the observations of compact stars

abstract: We investigate the structure and the tidal deformability of strange stars (SSs) with a mirror-dark-matter (MDM) core for the standard MIT bag model. We find that to explain the observations of PSR J0740+6620, PSR J0030+0451 and GW170817 simultaneously, SSs in GW170817 should have a MDM core although it is unnecessary for PSR J0740+6620 and PSR J0030+0451 to contain a MDM core. Our study leads to the result that for the standard MIT bag model, the observations of compact stars mentioned above confirm the existence of a dark-matter core inside SSs.


title: Vulnerability Detection is Just the Beginning

abstract: Vulnerability detection plays a key role in secure software development. There are many different vulnerability detection tools and techniques to choose from, and insufficient information on which vulnerability detection techniques to use and when. The goal of this research is to assist managers and other decision-makers on software projects in making informed choices about the use of different software vulnerability detection techniques through empirical analysis of the efficiency and effectiveness of each technique. We will examine the relationships between the vulnerability detection technique used to find a vulnerability, the type of vulnerability found, the exploitability of the vulnerability, and the effort needed to fix a vulnerability on two projects where we ensure all vulnerabilities found have been fixed. We will then examine how these relationships are seen in Open Source Software more broadly where practitioners may use different vulnerability detection techniques, or may not fix all vulnerabilities found due to resource constraints.


title: The Efficient Shrinkage Path: Maximum Likelihood of Minimum MSE Risk

abstract: A new generalized ridge regression shrinkage path is proposed that is as short as possible under the restriction that it must pass through the vector of regression coefficient estimators that make the overall Optimal Variance-Bias Trade-Off under Normal distribution-theory. Five distinct types of ridge TRACE displays plus other graphics for this efficient path are motivated and illustrated here. These visualizations provide invaluable data-analytic insights and improved self-confidence to researchers and data scientists fitting linear models to ill-conditioned (confounded) data.