title: Optimal Solution Analysis and Decentralized Mechanisms for Peer-to-Peer Energy Markets

abstract: This paper studies the optimal clearing problem for prosumers in peer-to-peer (P2P) energy markets. It is proved that if no trade weights are enforced and the communication structure between successfully traded peers is connected, then the optimal clearing price and total traded powers in P2P market are the same with that in the pool-based market. However, if such communication structure is unconnected, then the P2P market is clustered into smaller P2P markets. If the trade weights are imposed, then the derived P2P market solutions can be significantly changed. Next, a novel decentralized optimization approach is proposed to derive a trading mechanism for P2P markets, based on the alternating direction method of multipliers (ADMM) which naturally fits into the bidirectional trading in P2P energy systems and converges reasonably fast. Analytical formulas of variable updates reveal insightful relations for each pair of prosumers on their individually traded prices and powers with their total traded powers. Further, based on those formulas, decentralized learning schemes for tuning parameters of prosumers cost functions are proposed to attain successful trading with total traded power amount as desired. Case studies on a synthetic system and the IEEE European Low Voltage Test Feeder are then carried out to verify the proposed approaches.


title: Learning Nash Equilibria in Zero-Sum Stochastic Games via Entropy-Regularized Policy Approximation

abstract: We explore the use of policy approximations to reduce the computational cost of learning Nash equilibria in zero-sum stochastic games. We propose a new Q-learning type algorithm that uses a sequence of entropy-regularized soft policies to approximate the Nash policy during the Q-function updates. We prove that under certain conditions, by updating the regularized Q-function, the algorithm converges to a Nash equilibrium. We also demonstrate the proposed algorithm's ability to transfer previous training experiences, enabling the agents to adapt quickly to new environments. We provide a dynamic hyper-parameter scheduling scheme to further expedite convergence. Empirical results applied to a number of stochastic games verify that the proposed algorithm converges to the Nash equilibrium, while exhibiting a major speed-up over existing algorithms.


title: Reinforcement Learning-based Black-Box Evasion Attacks to Link Prediction in Dynamic Graphs

abstract: Link prediction in dynamic graphs (LPDG) is an important research problem that has diverse applications such as online recommendations, studies on disease contagion, organizational studies, etc. Various LPDG methods based on graph embedding and graph neural networks have been recently proposed and achieved state-of-the-art performance. In this paper, we study the vulnerability of LPDG methods and propose the first practical black-box evasion attack. Specifically, given a trained LPDG model, our attack aims to perturb the graph structure, without knowing to model parameters, model architecture, etc., such that the LPDG model makes as many wrong predicted links as possible. We design our attack based on a stochastic policy-based RL algorithm. Moreover, we evaluate our attack on three real-world graph datasets from different application domains. Experimental results show that our attack is both effective and efficient.


title: LodoNet: A Deep Neural Network with 2D Keypoint Matchingfor 3D LiDAR Odometry Estimation

abstract: Deep learning based LiDAR odometry (LO) estimation attracts increasing research interests in the field of autonomous driving and robotics. Existing works feed consecutive LiDAR frames into neural networks as point clouds and match pairs in the learned feature space. In contrast, motivated by the success of image based feature extractors, we propose to transfer the LiDAR frames to image space and reformulate the problem as image feature extraction. With the help of scale-invariant feature transform (SIFT) for feature extraction, we are able to generate matched keypoint pairs (MKPs) that can be precisely returned to the 3D space. A convolutional neural network pipeline is designed for LiDAR odometry estimation by extracted MKPs. The proposed scheme, namely LodoNet, is then evaluated in the KITTI odometry estimation benchmark, achieving on par with or even better results than the state-of-the-art.


title: Neural Architecture Search For Keyword Spotting

abstract: Deep neural networks have recently become a popular solution to keyword spotting systems, which enable the control of smart devices via voice. In this paper, we apply neural architecture search to search for convolutional neural network models that can help boost the performance of keyword spotting based on features extracted from acoustic signals while maintaining an acceptable memory footprint. Specifically, we use differentiable architecture search techniques to search for operators and their connections in a predefined cell search space. The found cells are then scaled up in both depth and width to achieve competitive performance. We evaluated the proposed method on Google's Speech Commands Dataset and achieved a state-of-the-art accuracy of over 97% on the setting of 12-class utterance classification commonly reported in the literature.


title: ParIS+: Data Series Indexing on Multi-Core Architectures

abstract: Data series similarity search is a core operation for several data series analysis applications across many different domains. Nevertheless, even state-of-the-art techniques cannot provide the time performance required for large data series collections. We propose ParIS and ParIS+, the first disk-based data series indices carefully designed to inherently take advantage of multi-core architectures, in order to accelerate similarity search processing times. Our experiments demonstrate that ParIS+ completely removes the CPU latency during index construction for disk-resident data, and for exact query answering is up to 1 order of magnitude faster than the current state of the art index scan method, and up to 3 orders of magnitude faster than the optimized serial scan method. ParIS+ (which is an evolution of the ADS+ index) owes its efficiency to the effective use of multi-core and multi-socket architectures, in order to distribute and execute in parallel both index construction and query answering, and to the exploitation of the Single Instruction Multiple Data (SIMD) capabilities of modern CPUs, in order to further parallelize the execution of instructions inside each core.


title: A general solution for accelerating screw dislocations in arbitrary slip systems with reflection symmetry

abstract: Solutions to the differential equations of linear elasticity in the continuum limit in arbitrary crystal symmetry are known only for steady-state dislocations of arbitrary character, i.e. line defects moving at constant velocity. Troubled by singularities at certain `critical' velocities (typically close to certain sound speeds), these dislocation fields are thought to be too idealized, and divergences are usually attributed to neglecting the finite size of the core and to the restriction to constant velocity. In the isotropic limit, accelerating pure screw and edge dislocations were studied some time ago. A generalization to anisotropic crystals has been attempted for pure screw and edge dislocations only for some special cases. This work aims to fill the gap of deriving a general anisotropic solution for pure screw dislocations applicable to slip systems featuring a reflection symmetry, a prerequisite to studying pure screw dislocations without mixing with edge dislocations. Further generalizations to arbitrary mixed dislocations as well as regularizations of the dislocation core are beyond the scope of this paper and are left for future work.


title: Characterization of metrizable Esakia spaces via some forbidden configurations

abstract: By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represented as the lattice of clopen upsets of an Esakia space. Esakia spaces are those Priestley spaces that satisfy the additional condition that the downset of each clopen is clopen. We show that in the metrizable case Esakia spaces can be singled out by forbidding three simple configurations. Since metrizability yields that the corresponding lattice of clopen upsets is countable, this provides a characterization of countable Heyting algebras. We show that this characterization no longer holds in the uncountable case. Our results have analogues for co-Heyting algebras and bi-Heyting algebras, and they easily generalize to the setting of p-algebras.


title: A Mathematical Introduction to Generative Adversarial Nets (GAN)

abstract: Generative Adversarial Nets (GAN) have received considerable attention since the 2014 groundbreaking work by Goodfellow et al. Such attention has led to an explosion in new ideas, techniques and applications of GANs. To better understand GANs we need to understand the mathematical foundation behind them. This paper attempts to provide an overview of GANs from a mathematical point of view. Many students in mathematics may find the papers on GANs more difficulty to fully understand because most of them are written from computer science and engineer point of view. The aim of this paper is to give more mathematically oriented students an introduction to GANs in a language that is more familiar to them.


title: An Attention Based Neural Network for Jet Tagging

abstract: Convolutional neural networks are basic structures using jet images as input for the jet tagging problems. However, what they have learned during the training process is always difficult to understand just through feature maps. Inspired by the attention mechanism popular in machine learning fields, we propose a novel attention-based neural network (ABNN) to get insight of this problem. The ABNN combines a jet image with average jet images from the signal and the background to generate attention maps which show clearly the relevant importance according to the different origination of jets. Compared with networks in the similar architecture, this network achieves better performance, which indicates the potential of attention mechanism to use in other works.


title: Precoding and Scheduling for AoI Minimization in MIMO Broadcast Channels

abstract: In this paper, we consider a status updating system where updates are generated at a constant rate at $K$ sources and sent to the corresponding recipients through a noise-free broadcast channel. We assume that perfect channel state information (CSI) is available at the transmitter before each transmission, and the transmitter is able to utilize the CSI information to precode the updates. Our object is to design optimal precoding schemes to minimize the summed average \emph{age of information} (AoI) at the recipients. Under various assumptions on the size of each update $B$, the number of transmit antennas $M$, and the number of receive antennas $N$ at each user, this paper identifies the corresponding age-optimal precoding and transmission scheduling strategies. Specifically, for the case when $N=1$, a round-robin based updating scheme is shown to be optimal. For the two-user systems with $N>B$ or $M\notin[N:2N]$, framed updating schemes are proven to be optimal. For other cases in the two-user systems, a framed alternating updating scheme is proven to be $2$-optimal.


title: LoRaWAN Temperature Sensors for Local Government Asset Management

abstract: The purpose of this project is to investigate the suitability of using LoRaWAN technology to conduct temperature studies on local government assets in Australian metropolitan and residential areas. Temperature sensing devices were integrated into the existing LoRaWAN infrastructure at Curtin University with data collected and stored on a remote server. Case studies were performed for the City of Melville to address the suitability for such a system to provide insights into heat islands and urban forests. Testing was completed on the Curtin University campus, replicating the climate conditions, asset types and, dense building and tree environment found in the City of Melville.


title: Automatic Radish Wilt Detection Using Image Processing Based Techniques and Machine Learning Algorithm

abstract: Image processing, computer vision, and pattern recognition have been playing a vital role in diverse agricultural applications, such as species detection, recognition, classification, identification, plant growth stages, plant disease detection, and many more. On the other hand, there is a growing need to capture high resolution images using unmanned aerial vehicles (UAV) and to develop better algorithms in order to find highly accurate and to the point results. In this paper, we propose a segmentation and extraction-based technique to detect fusarium wilt in radish crops. Recent wilt detection algorithms are either based on image processing techniques or conventional machine learning algorithms. However, our methodology is based on a hybrid algorithm, which combines image processing and machine learning. First, the crop image is divided into three segments, which include viz., healthy vegetation, ground and packing material. Based on the HSV decision tree algorithm, all the three segments are segregated from the image. Second, the extracted segments are summed together into an empty canvas of the same resolution as the image and one new image is produced. Third, this new image is compared with the original image, and a final noisy image, which contains traces of wilt is extracted. Finally, a k-means algorithm is applied to eliminate the noise and to extract the accurate wilt from it. Moreover, the extracted wilt is mapped on the original image using the contouring method. The proposed combination of algorithms detects the wilt appropriately, which surpasses the traditional practice of separately using the image processing techniques or machine learning.


title: Strongly Obtuse Rational Lattice Triangles

abstract: We classify rational triangles which unfold to Veech surfaces when the largest angle is at least $\frac{3\pi}{4}$. When the largest angle is greater than $\frac{2\pi}{3}$, we show that the unfolding is not Veech except possibly if it belongs to one of six infinite families. Our methods include a criterion of Mirzakhani and Wright that built on work of M\"oller and McMullen, and in most cases show that the orbit closure of the unfolding cannot have rank 1.


title: Automorphisms and superalgebra structures on the Grassmann algebra

abstract: Let $F$ be a field of characteristic zero and let $E$ be the Grassmann algebra of an infinite dimensional $F$-vector space $L$. In this paper we study the superalgebra structures (that is the $\mathbb{Z}_{2}$-gradings) that the algebra $E$ admits. By using the duality between superalgebras and automorphisms of order $2$ we prove that in many cases the $\mathbb{Z}_{2}$-graded polynomial identities for such structures coincide with the $\mathbb{Z}_{2}$-graded polynomial identities of the "typical" cases $E_{\infty}$, $E_{k^\ast}$ and $E_{k}$ where the vector space $L$ is homogeneous. Recall that these cases were completely described by Di Vincenzo and Da Silva in \cite{disil}. Moreover we exhibit a wide range of non-homogeneous $\mathbb{Z}_{2}$-gradings on $E$ that are $\mathbb{Z}_{2}$-isomorphic to $E_{\infty}$, $E_{k^\ast}$ and $E_{k}$. In particular we construct a $\mathbb{Z}_{2}$-grading on $E$ with only one homogeneous generator in $L$ which is $\mathbb{Z}_{2}$-isomorphic to the natural $\mathbb{Z}_{2}$-grading on $E$, here denoted by $E_{can}$.


title: Temporal interpretation of intuitionistic quantifiers

abstract: We show that intuitionistic quantifiers admit the following temporal interpretation: $\forall x A$ is true at a world $w$ iff $A$ is true at every object in the domain of every future world, and $\exists x A$ is true at $w$ iff $A$ is true at some object in the domain of some past world. For this purpose we work with a predicate version of the well-known tense propositional logic $\sf S4.t$. The predicate logic $\sf Q^\circ S4.t$ is obtained by weakening the axioms of the standard predicate extension $\sf QS4.t$ of $\sf S4.t$ along the lines Corsi weakened $\sf QK$ to $\sf Q^\circ K$. The G\"odel translation embeds the predicate intuitionistic logic $\sf IQC$ into $\sf QS4$ fully and faithfully. We provide a temporal version of the G\"odel translation and prove that it embeds $\sf IQC$ into $\sf Q^\circ S4.t$ fully and faithfully; that is, we show that a sentence is provable in $\sf IQC$ iff its translation is provable in $\sf Q^\circ S4.t$. Faithfulness is proved using syntactic methods, while we prove fullness utilizing the generalized Kripke semantics of Corsi.


title: Koszul's Splitting Theorem and the Super Atiyah Class

abstract: In this article we present a self-contained account of two important results in complex supergeometry: (1) Koszul's Splitting theorem and (2) Donagi and Witten's decomposition of the super Atiyah class. These results are related in the same sense that global holomorphic connections on a holomorphic vector bundle are `related' to the Atiyah class of that vector bundle---the latter being the obstruction to the existence of the former. In complex supergeometry: Koszul's theorem pertains to the existence of supermanifold splittings whereas the super Atiyah class accordingly pertains to obstructions to the existence of splittings.


title: Dynamically Formed Black Hole Binaries: In-Cluster Versus Ejected Mergers

abstract: The growing number of black hole binary (BHB) mergers detected by the Laser Interferometer Gravitational-Wave Observatory (LIGO) have the potential to enable an unprecedented characterization of the physical processes and astrophysical conditions that govern the formation of compact binaries. In this paper, we focus on investigating the dynamical formation of BHBs in dense star clusters through a state-of-art set of 58 direct N-body simulations with N <= 200,000 particles which include stellar evolution, gravitational braking, orbital decay through gravitational radiation and galactic tidal interactions. The simulations encompass a range of initial conditions representing typical young globular clusters, including the presence of primordial binaries. The systems are simulated for ~ 12 Gyr. The dataset yields 117 BHB gravitational wave events, with 97 binaries merging within their host cluster, and 20 merging after having been ejected. Only 8% of all ejected BHBs merge within the age of the Universe. Systems in this merging subset tend to have smaller separations and larger eccentricities, as this combination of parameters results in greater emission of gravitational radiation. We confirm known trends from Monte Carlo simulations, such as the anti-correlation between the mass of the binary and age of the cluster. In addition, we highlight for the first time a difference at low values of the mass ratio distribution between in-cluster and ejected mergers. However, the results depend on assumptions on the strength of gravitational wave recoils, thus in-cluster mergers cannot be ruled out at a significant level of confidence. A more substantial catalogue of BHB mergers and a more extensive library of N-body simulations are needed to constrain the origin of the observed events.


title: On generalizations of Schur's inequality

abstract: Schur's inequality for the sum of products of the differences of real numbers states that for $x,y,z,t\geq 0$, $x^t(x-y)(x-z) + y^t(y-z)(y-x) + z^t(z-x)(z-y) \geq 0$. In this paper we study a generalization of this inequality to more terms, more general functions of the variables and algebraic structures such as vectors and Hermitian matrices.


title: AIDX: Adaptive Inference Scheme to Mitigate State-Drift in Memristive VMM Accelerators

abstract: An adaptive inference method for crossbar (AIDX) is presented based on an optimization scheme for adjusting the duration and amplitude of input voltage pulses. AIDX minimizes the long-term effects of memristance drift on artificial neural network accuracy. The sub-threshold behavior of memristor has been modeled and verified by comparing with fabricated device data. The proposed method has been evaluated by testing on different network structures and applications, e.g., image reconstruction and classification tasks. The results showed an average of 60% improvement in convolutional neural network (CNN) performance on CIFAR10 dataset after 10000 inference operations as well as 78.6% error reduction in image reconstruction.


title: The generalized Tur\'{a}n number of spanning linear forests

abstract: Let $\mathcal{F}$ be a family of graphs. A graph $G$ is called \textit{$\mathcal{F}$-free} if for any $F\in \mathcal{F}$, there is no subgraph of $G$ isomorphic to $F$. Given a graph $T$ and a family of graphs $\mathcal{F}$, the generalized Tur\'{a}n number of $\mathcal{F}$ is the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices, denoted by $ex(n,T,\mathcal{F})$. A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges and $K^*_{s,t}$ a graph obtained from $K_{s,t}$ by substituting the part of size $s$ with a clique of the same size. In this paper, we determine the exact values of $ex(n,K_s,\mathcal{L}_{n,k})$ and $ex(n,K^*_{s,t},\mathcal{L}_{n,k})$. Also, we study the case of this problem when the \textit{"host graph"} is bipartite. Denote by $ex_{bip}(n,T,\mathcal{F})$ the maximum possible number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with each part of size $n$. We determine the exact value of $ex_{bip}(n,K_{s,t},\mathcal{L}_{n,k})$. Our proof is mainly based on the shifting method.


title: Highly irregular orbits for subshifts of finite type: large intersections and emergence

abstract: In their recent paper [KNS2019], the first author, S. Kiriki, and T. Soma introduced a concept of pointwise emergence to measure the complexity of irregular orbits. They constructed a residual subset of the full shift with high pointwise emergence. In this paper we consider the set of points with high pointwise emergence for topologically mixing subshifts of finite type. We show that this set has full topological entropy, full Hausdorff dimension, and full topological pressure for any H\"older continuous potential. Furthermore, we show that this set belongs to a certain class of sets with large intersection property. This is a natural generalization of [FP2011] to pointwise emergence and Carath\'eodory dimension.


title: Rota-Bater paried comodule and Rota-Bater paired Hopf module

abstract: In this paper, we introduce the conception of Rota-Baxter paired comodules, which is dual to Rota-Baxter paired modules in [14]. We mainly discuss some properties of Rota-Baxter paired comodules, especially we give the characterization of generic Rota-Baxter paired comodules, which has important application for the construction of Rota-Baxter comodules. Moreover, we construct Rota-Baxter paired comodules on Hopf algebras, weak Hopf algebras, weak Hopf modules, dimodules, relative Hopf modules and Rota-Baxter paired comodules. And then we finally introduce the conception of Rota-Baxter paired Hopf modules by combining Rota-Baxter paired module with Rota-Baxter paired comodule, and give the structure theorem of generic Rota-Baxter paired Hopf modules.


title: HJB and Fokker-Planck equations for river environmental management based on stochastic impulse control with discrete and random observation

abstract: We formulate a new two-variable river environmental restoration problem based on jump stochastic differential equations (SDEs) governing the sediment storage and nuisance benthic algae population dynamics in a dam-downstream river. Controlling the dynamics is carried out through impulsive sediment replenishment with discrete and random observation/intervention to avoid sediment depletion and thick algae growth. We consider a cost-efficient management problem of the SDEs to achieve the objectives whose resolution reduces to solving a Hamilton-Jacobi-Bellman (HJB) equation. We also consider a Fokker-Planck (FP) equation governing the probability density function of the controlled dynamics. The HJB equation has a discontinuous solution, while the FP equation has a Dirac's delta along boundaries. We show that the value function, the optimized objective function, is governed by the HJB equation in the simplified case and further that a threshold-type control is optimal. We demonstrate that simple numerical schemes can handle these equations. Finally, we numerically analyze the optimal controls and the resulting probability density functions.


title: Utilizing Satellite Imagery Datasets and Machine Learning Data Models to Evaluate Infrastructure Change in Undeveloped Regions

abstract: In the globalized economic world, it has become important to understand the purpose behind infrastructural and construction initiatives occurring within developing regions of the earth. This is critical when the financing for such projects must be coming from external sources, as is occurring throughout major portions of the African continent. When it comes to imagery analysis to research these regions, ground and aerial coverage is either non-existent or not commonly acquired. However, imagery from a large number of commercial, private, and government satellites have produced enormous datasets with global coverage, compiling geospatial resources that can be mined and processed using machine learning algorithms and neural networks. The downside is that a majority of these geospatial data resources are in a state of technical stasis, as it is difficult to quickly parse and determine a plan for request and processing when acquiring satellite image data. A goal of this research is to allow automated monitoring for largescale infrastructure projects, such as railways, to determine reliable metrics that define and predict the direction construction initiatives could take, allowing for a directed monitoring via narrowed and targeted satellite imagery requests. By utilizing photogrammetric techniques on available satellite data to create 3D Meshes and Digital Surface Models (DSM) we hope to effectively predict transport routes. In understanding the potential directions that largescale transport infrastructure will take through predictive modeling, it becomes much easier to track, understand, and monitor progress, especially in areas with limited imagery coverage.


title: Vertex operator superalgebra/sigma model correspondences: The four-torus case

abstract: We propose a correspondence between vertex operator superalgebras and families of sigma models in which the two structures are related by symmetry properties and a certain reflection procedure. The existence of such a correspondence is motivated by previous work on N=(4,4) supersymmetric non-linear sigma models on K3 surfaces and on a vertex operator superalgebra with Conway group symmetry. Here we present an example of the correspondence for N=(4,4) supersymmetric non-linear sigma models on four-tori, and compare it to the K3 case.


title: On stability of the fibres of Hopf surfaces as harmonic maps and minimal surfaces

abstract: We construct a family of Hermitian metrics on the Hopf surface $ \mathbb{S}^3\times \mathbb{S}^1$, whose fundamental classes represent distinct cohomology classes in the Aeppli cohomology group. These metrics are locally conformally K\"ahler. Among the toric fibres of $\pi:\mathbb{S}^{3} \times \mathbb{S}^1\to\mathbb{C} P^1$ two of them are stable minimal surfaces and each of the two has a neighbourhood so that fibres therein are given by stable harmonic maps from 2-torus and outside, far away from the two tori, there are unstable harmonic ones that are also unstable minimal surfaces.


title: On the computational tractability of a geographic clustering problem arising in redistricting

abstract: Redistricting is the problem of dividing a state into a number $k$ of regions, called districts. Voters in each district elect a representative. The primary criteria are: each district is connected, district populations are equal (or nearly equal), and districts are "compact". There are multiple competing definitions of compactness, usually minimizing some quantity. One measure that has been recently promoted by Duchin and others is number of cut edges. In redistricting, one is given atomic regions out of which each district must be built. The populations of the atomic regions are given. Consider the graph with one vertex per atomic region (with weight equal to the region's population) and an edge between atomic regions that share a boundary. A districting plan is a partition of vertices into $k$ parts, each connnected, of nearly equal weight. The districts are considered compact to the extent that the plan minimizes the number of edges crossing between different parts. Consider two problems: find the most compact districting plan, and sample districting plans under a compactness constraint uniformly at random. Both problems are NP-hard so we restrict the input graph to have branchwidth at most $w$. (A planar graph's branchwidth is bounded by its diameter.) If both $k$ and $w$ are bounded by constants, the problems are solvable in polynomial time. Assume vertices have weight~1. One would like algorithms whose running times are of the form $O(f(k,w) n^c)$ for some constant $c$ independent of $k$ and $w$, in which case the problems are said to be fixed-parameter tractable with respect to $k$ and $w$). We show that, under a complexity-theoretic assumption, no such algorithms exist. However, we do give algorithms with running time $O(c^wn^{k+1})$. Thus if the diameter of the graph is moderately small and the number of districts is very small, our algorithm is useable.


title: Object Detection-Based Variable Quantization Processing

abstract: In this paper, we propose a preprocessing method for conventional image and video encoders that can make these existing encoders content-aware. By going through our process, a higher quality parameter could be set on a traditional encoder without increasing the output size. A still frame or an image will firstly go through an object detector. Either the properties of the detection result will decide the parameters of the following procedures, or the system will be bypassed if no object is detected in the given frame. The processing method utilizes an adaptive quantization process to determine the portion of data to be dropped. This method is primarily based on the JPEG compression theory and is optimum for JPEG-based encoders such as JPEG encoders and the Motion JPEG encoders. However, other DCT-based encoders like MPEG part 2, H.264, etc. can also benefit from this method. In the experiments, we compare the MS-SSIM under the same bitrate as well as similar MS-SSIM but enhanced bitrate. As this method is based on human perception, even with similar MS-SSIM, the overall watching experience will be better than the direct encoded ones.


title: Laser-Assisted Multilevel Non-Volatile Memory Device Based on 2D van-der-Waals Few-layer-ReS2/h-BN/Graphene Heterostructures

abstract: Few-layer ReS2 field-effect transistors (FET) with a local floating gate (FG) of monolayer graphene separated by a thin h-BN tunnel layer for application to a non-volatile memory (NVM) device is designed and investigated. FG-NVM devices based on two-dimensional (2D) van-der-Waals (vdW) heterostructures have recently been studied as important components to realize digital electronics and multifunctional memory applications. Direct bandgap multilayer ReS2 satisfies various requirements as a channel material for electronic devices as well as being a strong light-absorbing layer, which makes it possible to realize light-assisted optoelectronic applications. The non-volatile memory operation with a high ON/OFF current ratio, a large memory window, good endurance (> 1000 cycles) and stable retention (> 104 s) have been observed. We demonstrate successive program and erase states using 10 millisecond gate pulses of +10 V and -10 V, respectively. Laser pulses along with electrostatic gate pulses provide multi-bit level memory access via opto-electrostatic coupling. The devices exhibit the dual functionality of a conventional electronic memory and can store laser-pulse excited signal information for future all-optical logic and quantum information processing.


title: Deep Ice Layer Tracking and Thickness Estimation using Fully Convolutional Networks

abstract: Global warming is rapidly reducing glaciers and ice sheets across the world. Real time assessment of this reduction is required so as to monitor its global climatic impact. In this paper, we introduce a novel way of estimating the thickness of each internal ice layer using Snow Radar images and Fully Convolutional Networks. The estimated thickness can be used to understand snow accumulation each year. To understand the depth and structure of each internal ice layer, we perform multi-class semantic segmentation on radar images, which hasn't been performed before. As the radar images lack good training labels, we carry out a pre-processing technique to get a clean set of labels. After detecting each ice layer uniquely, we calculate its thickness and compare it with the processed ground truth. This is the first time that each ice layer is detected separately and its thickness calculated through automated techniques. Through this procedure we were able to estimate the ice-layer thicknesses within a Mean Absolute Error of approximately 3.6 pixels. Such a Deep Learning based method can be used with ever-increasing datasets to make accurate assessments for cryospheric studies.


title: Comparative Layouts Revisited: Design Space, Guidelines, and Future Directions

abstract: We present a systematic review on three comparative layouts (i.e., juxtaposition, superposition, and explicit-encoding) which are information visualization (InfoVis) layouts designed to support comparison tasks. For the last decade, these layouts have served as fundamental idioms in designing many visualization systems. However, we found that the layouts have been used with inconsistent terms and confusion, and the lessons from previous studies are fragmented. The goal of our research is to distill the results from previous studies into a consistent and reusable framework. We review 127 research papers, including 15 papers with quantitative user studies, which employed comparative layouts. We first alleviate the ambiguous boundaries in the design space of comparative layouts by suggesting lucid terminology (e.g., chart-wise and item-wise juxtaposition). We then identify the diverse aspects of comparative layouts, such as the advantages and concerns of using each layout in the real-world scenarios and researchers' approaches to overcome the concerns. Building our knowledge on top of the initial insights gained from the Gleicher et al.'s survey, we elaborate on relevant empirical evidence that we distilled from our survey (e.g., the actual effectiveness of the layouts in different study settings) and identify novel facets that the original work did not cover (e.g., the familiarity of the layouts to people). Finally, we show the consistent and contradictory results on the performance of comparative layouts and offer practical implications for using the layouts by suggesting trade-offs and seven actionable guidelines.


title: Infrared Excesses around Bright White Dwarfs from Gaia and unWISE I

abstract: Studies of excess infrared radiation around white dwarfs provide important constraints on the evolution of planetary systems and low-mass stars beyond the main sequence stage. In this paper series, we focus on identifying and characterizing bright white dwarfs with an infrared excess. Here, we present 188 infrared excess candidates from Gaia and unWISE, 147 of which are new discoveries. Further characterization of this sample can significantly increase the current list of white dwarf debris disks and white dwarfs with low-mass companions.


title: Rationality of twists of the Siegel modular variety of genus $2$ and level $3$

abstract: Let $\overline{\rho}: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the $3$-torsion of a principally polarized abelian surface $A/\mathbf{Q}$. We prove that the moduli space $\mathcal{A}_2(\overline{\rho})$ of principally polarized abelian surfaces $B/\mathbf{Q}$ admitting a symplectic isomorphism $B[3] \simeq \overline{\rho}$ of Galois representations is never rational over $\mathbf{Q}$ when $\overline{\rho}$ is surjective, even though it is both rational over $\mathbf{C}$ and unirational over $\mathbf{Q}$ via a map of degree $6$.


title: On the convergence of an improved and adaptive kinetic simulated annealing

abstract: Inspired by the work of [Fang et al.. An improved annealing method and its large-time behaviour. Stochastic Process. Appl. (1997), Volume 71 Issue 1 Page 55-74.], who propose an improved simulated annealing algorithm based on a variant of overdamped Langevin diffusion with state-dependent diffusion coefficient, we cast this idea in the kinetic setting and develop an improved kinetic simulated annealing (IKSA) method for minimizing a target function $U$. To analyze its convergence, we utilize the framework recently introduced by [Monmarch\'{e}. Hypocoercivity in metastable settings and kinetic simulated annealing. Probab. Theory Related Fields (2018), Volume 172 Page 1215-1248.] for the case of kinetic simulated annealing (KSA). The core idea of IKSA rests on introducing a parameter $c > \inf U$, which de facto modifies the optimization landscape and clips the critical height in IKSA at a maximum of $c - \inf U$. Consequently IKSA enjoys improved convergence with faster logarithmic cooling than KSA. To tune the parameter $c$, we propose an adaptive method that we call IAKSA which utilizes the running minimum generated by the algorithm on the fly, thus avoiding the need to manually adjust $c$ for better performance. We present positive numerical results on some standard global optimization benchmark functions that verify the improved convergence of IAKSA over other Langevin-based annealing methods.


title: Optimized finite-build stellarator coils using automatic differentiation

abstract: A new stellarator coil design code is introduced that optimizes the position and winding pack orientation of finite-build coils. The new code, called FOCUSADD, performs gradient-based optimization in a high-dimensional, non-convex space. The derivatives with respect to parameters of finite-build coils are easily and efficiently computed using automatic differentiation. FOCUSADD parametrizes coil positions in free space using a Fourier series and uses a multi-filament approximation to the coil winding pack. The orientation of the winding pack is parametrized with a Fourier series and can be optimized as well. Optimized finite-build coils for a W7-X-like stellarator are found, and compared with filamentary coil results. The final positions of optimized finite-build W7-X-like coils are shifted, on average, by approximately 2.5mm relative to optimized filamentary coils. These results suggest that finite-build effects should be accounted for in the optimization of stellarators with low coil tolerances.


title: Deep unsupervised learning for Microscopy-Based Malaria detection

abstract: Malaria, a mosquito-borne disease caused by a parasite, kills over 1 million people globally each year. People, if left untreated, may develop severe complications, leading to death. Effective and accurate diagnosis is important for the management and control of malaria. Our research focuses on utilizing machine learning to improve the efficiency in Malaria diagnosis. We utilize a modified U-net architecture, as an unsupervised learning model, to conduct cell boundary detection. The blood cells infected by malaria are then identified in chromatic space by a Mahalanobis distance algorithm. Both the cell segmentation and Malaria detection process often requires intensive manual label, which we hope to eliminate via the unsupervised workflow.


title: Optimal Tolling for Multitype Mixed Autonomous Traffic Networks

abstract: When selfish users share a road network and minimize their individual travel costs, the equilibrium they reach can be worse than the socially optimal routing. Tolls are often used to mitigate this effect in traditional congestion games, where all vehicle contribute identically to congestion. However, with the proliferation of autonomous vehicles and driver-assistance technology, vehicles become heterogeneous in how they contribute to road latency. This magnifies the potential inefficiencies due to selfish routing and invalidates traditional tolling methods. To address this, we consider a network of parallel roads where the latency on each road is an affine function of the quantity of flow of each vehicle type. We provide tolls (which differentiate between vehicle types) which are guaranteed to minimize social cost at equilibrium. The tolls are a function of a calculated optimal routing; to enable this tolling, we prove that some element in the set of optimal routings has a lack of cycles in a graph representing the way vehicles types share roads. We then show that unless a planner can differentiate between vehicle types in the tolls given, the resulting equilibrium can be unboundedly worse than the optimal routing, and that marginal cost tolling fails in our setting.


title: Dissipation-induced topological phase transition and periodic-driving-induced photonic topological state transfer in a small optomechanical lattice

abstract: We propose a scheme to investigate the topological phase transition and the topological state transfer based on the small optomechanical lattice under the realistic parameters regime. We find that the optomechanical lattice can be equivalent to a topologically nontrivial Su-Schrieffer-Heeger (SSH) model via designing the effective optomechanical coupling. Especially, the optomechanical lattice experiences the phase transition between topologically nontrivial SSH phase and topologically trivial SSH phase by controlling the decay of the cavity field and the optomechanical coupling. We stress that the topological phase transition is mainly induced by the decay of the cavity field, which is counter-intuitive since the dissipation is usually detrimental to the system. Also, we investigate the photonic state transfer between the two cavity fields via the topologically protected edge channel based on the small optomechanical lattice. We find that the quantum state transfer assisted by the topological zero energy mode can be achieved via implying the external lasers with the periodical driving amplitudes into the cavity fields. Our scheme provides the fundamental and the insightful explanations toward the mapping of the photonic topological insulator based on the micro-nano optomechanical quantum optical platform.


title: Rank axiom of modular supermatroids: A connection with directional DR submodular functions

abstract: A matroid has been one of the most important combinatorial structures since it was introduced by Whitney as an abstraction of linear independence. As an important property of a matroid, it can be characterized by several different (but equivalent) axioms, such as the augmentation, the base exchange, or the rank axiom. A supermatroid is a generalization of a matroid defined on lattices. Here, the central question is whether a supermatroid can be characterized by several equivalent axioms similar to a matroid. Barnabei, Nicoletti, and Pezzoli characterized supermatroids on distributive lattices, and Fujishige, Koshevoy, and Sano generalized the results for cg-matroids (supermatroids on lower locally distributive lattices). In this study, we focus on modular lattices, which are an important superclass of distributive lattices, and provide equivalent characterizations of supermatroids on modular lattices. We characterize supermatroids on modular lattices using the rank axiom in which the rank function is a directional DR-submodular function, which is a generalization of a submodular function introduced by the authors. Using a characterization based on rank functions, we further prove the strong exchange property of a supermatroid, which has application in optimization. We also reveal the relation between the axioms of a supermatroid on lower semimodular lattices, which is a common superclass of a lower locally distributive lattice and a modular lattice.


title: Novel elastic instability of amorphous solids in finite spatial dimensions

abstract: Recently, progress has been made in the understanding of anomalous vibrational excitations in amorphous solids. In the lowest-frequency region, the vibrational spectrum follows a non-Debye quartic law, which persists up to zero frequency without any frequency gap. This gapless vibrational density of states (vDOS) suggests that glasses are on the verge of instability. This feature of marginal stability is now highlighted as a key concept in the theories of glasses. In particular, the elasticity theory based on marginal stability predicts the gapless vDOS. However, this theory yields a quadratic law and \textit{not} the quartic law. To address this inconsistency, we presented a new type of instability, which is different from the conventional one, and proposed that amorphous solids are marginally stable considering the new instability in the preceding study~[M. Shimada, H. Mizuno, and A. Ikeda, Soft Matter, {\bf 16}, 7279, 2020]. In this study, we further extend and detail the results for these instabilities. By analyzing various examples of disorder, we demonstrate that real glasses in finite spatial dimensions can be marginally stable by the proposed novel instability.


title: Helper Without Threads: Customized Prefetching for Delinquent Irregular Loads

abstract: The growing memory footprints of cloud and big data applications mean that data center CPUs can spend significant time waiting for memory. An attractive approach to improving performance in such centralized compute settings is to employ prefetchers that are customized per application, where gains can be easily scaled across thousands of machines. Helper thread prefetching is such a technique but has yet to achieve wide adoption since it requires spare thread contexts or special hardware/firmware support. In this paper, we propose an inline software prefetching technique that overcomes these restrictions by inserting the helper code into the main thread itself. Our approach is complementary to and does not interfere with existing hardware prefetchers since we target only delinquent irregular load instructions (those with no constant or striding address patterns). For each chosen load instruction, we generate and insert a customized software prefetcher extracted from and mimicking the application's dataflow, all without access to the application source code. For a set of irregular workloads that are memory-bound, we demonstrate up to 2X single-thread performance improvement on recent high-end hardware (Intel Skylake) and up to 83% speedup over a helper thread implementation on the same hardware, due to the absence of thread spawning overhead.


title: Efficient, Direct, and Restricted Black-Box Graph Evasion Attacks to Any-Layer Graph Neural Networks via Influence Function

abstract: Graph neural network (GNN), the mainstream method to learn on graph data, is vulnerable to graph evasion attacks, where an attacker slightly perturbing the graph structure can fool trained GNN models. Existing work has at least one of the following drawbacks: 1) limited to directly attack two-layer GNNs; 2) inefficient; and 3) impractical, as they need to know full or part of GNN model parameters. We address the above drawbacks and propose an influence-based \emph{efficient, direct, and restricted black-box} evasion attack to \emph{any-layer} GNNs. Specifically, we first introduce two influence functions, i.e., feature-label influence and label influence, that are defined on GNNs and label propagation (LP), respectively. Then we observe that GNNs and LP are strongly connected in terms of our defined influences. Based on this, we can then reformulate the evasion attack to GNNs as calculating label influence on LP, which is \emph{inherently} applicable to any-layer GNNs, while no need to know information about the internal GNN model. Finally, we propose an efficient algorithm to calculate label influence. Experimental results on various graph datasets show that, compared to state-of-the-art white-box attacks, our attack can achieve comparable attack performance, but has a 5-50x speedup when attacking two-layer GNNs. Moreover, our attack is effective to attack multi-layer GNNs\footnote{Source code and full version is in the link: \url{https://github.com/ventr1c/InfAttack}}.


title: On the evolution of global ocean tides

abstract: We apply Laplace's tidal theory to the evolution of lunar and solar tides on the geologic timescale of Earth's rotation and focus on the tidal resonance. We study the global tide in the mid-ocean far away from continents. On the short timescale, a linear relationship of tidal height and Earth's rotation is obtained. On the long timescale, the tide is less than 1 metre at present but it was 5 metres in the past and will reach 8 metres in the future because of resonances of tidal wave and Earth's rotation. We conclude that the Earth-Moon orbital separation and the slowdown of Earth's rotation are faster than expected before.

categories: astro-ph.EP astro-ph.SR physics.flu-dyn physics.geo-ph


title: On the Benefits of Multi-hop Communication for Indoor 60 GHz Wireless Networks

abstract: The spectrum-rich millimeter wave (mmWave) frequencies have the potential to alleviate the spectrum crunch that the wireless and cellular operators are already experiencing. However, compared with traditional wireless communication in the sub-6 GHz bands, due to small wavelengths most objects such as human body, cause significant additional path losses (up to 20dB), which can entirely break the mmWave link. Also, mmwave links suffer from limited range of communication. In this paper, we resort to network layer solutions to demonstrate the benefits of multi-hop routing in mitigating the blockage issue and extending communication range in mmWave band. To this end, we develop a hop-by-hop multi-path routing protocol that finds one primary and one backup next-hop per destination in order to guarantee reliable and robust communication under extreme stress conditions. System-level simulations based on the IEEE802.11ad specifications demonstrate that the proposed routing protocol provides a reliable end-to-end throughput performance, while satisfying the latency requirements.


title: RangeRCNN: Towards Fast and Accurate 3D Object Detection with Range Image Representation

abstract: We present RangeRCNN, a novel and effective 3D object detection framework based on the range image representation. Most existing methods are voxel-based or point-based. Though several optimizations have been introduced to ease the sparsity issue and speed up the running time, the two representations are still computationally inefficient. Compared to them, the range image representation is dense and compact which can exploit powerful 2D convolution. Even so, the range image is not preferred in 3D object detection due to scale variation and occlusion. In this paper, we utilize the dilated residual block (DRB) to better adapt different object scales and obtain a more flexible receptive field. Considering scale variation and occlusion, we propose the RV-PV-BEV (range view-point view-bird's eye view) module to transfer features from RV to BEV. The anchor is defined in BEV which avoids scale variation and occlusion. Neither RV nor BEV can provide enough information for height estimation; therefore, we propose a two-stage RCNN for better 3D detection performance. The aforementioned point view not only serves as a bridge from RV to BEV but also provides pointwise features for RCNN. Experiments show that RangeRCNN achieves state-of-the-art performance on the KITTI dataset and the Waymo Open dataset, and provides more possibilities for real-time 3D object detection. We further introduce and discuss the data augmentation strategy for the range image based method, which will be very valuable for future research on range image.


title: High Performance Printed AgO-Zn Rechargeable Battery for Flexible Electronics

abstract: The rise of flexible electronics calls for cost-effective and scalable batteries with good mechanical and electrochemical performance. In this work, we developed printable, polymer-based AgO-Zn batteries that feature flexibility, rechargeability, high areal capacity, and low impedance. Using elastomeric substrate and binders, the current collectors, electrodes, and separators can be easily screen-printed layer-by-layer and vacuum-sealed in a stacked configuration. The batteries are customizable in sizes and capacities, with the highest obtained areal capacity of 54 mAh/cm2 for primary applications. Advanced micro-CT and EIS were used to characterize the battery, whose mechanical stability was tested with repeated twisting and bending. The batteries were used to power a flexible E-ink display system that requires a high-current drain and exhibited superior performance than commercial coin-cell batteries. The developed battery presents a practical solution for powering a wide range of electronics and holds major implications for the future development of practical and high-performance flexible batteries.


title: Characterizing the Probability Law on Time Until Core Damage With PRA

abstract: Certain modeling assumptions underlying Probabilistic Risk Assessment (PRA) allow a simple computation of core damage frequency (CDF). These assumptions also guarantee that the time remaining until a core damage event follows an exponential distribution having parameter value equal to that computed for the CDF. While it is commonly understood that these modeling assumptions lead to an approximate characterization of uncertainty, we offer a simple argument that explains why the resulting exponential time until core damage distribution under-estimates risk. Our explanation will first review operational physics properties of hazard functions, and then offer a non-measure-theoretic argument to reveal the the consequences of these properties for PRA. The conclusions offered, here, hold for any possible operating history that respects the underlying assumptions of PRA. Hence, the measure-theoretic constructs on filtered probability spaces is unnecessary for our developments. We will then conclude with a brief discussion that connects intuition with our analytical development.


title: Bearing-only formation control under persistence of excitation

abstract: This paper addresses the problem of bearing-only formation control in $d~(d\geq 2)$-dimensional space by exploring persistence of excitation (PE) of the desired bearing reference. By defining a desired formation that is bearing PE, distributed bearing-only control laws are proposed, which guarantee exponential stabilization of the desired formation only up to a translation vector. The key outcome of this approach relies in exploiting the bearing PE to significantly relax the conditions imposed on the graph topology to ensure exponential stabilization, when compared to the bearing rigidity conditions, and to remove the scale ambiguity introduced by bearing vectors. Simulation results are provided to illustrate the performance of the proposed control method.


title: Semantics-aware Adaptive Knowledge Distillation for Sensor-to-Vision Action Recognition

abstract: Existing vision-based action recognition is susceptible to occlusion and appearance variations, while wearable sensors can alleviate these challenges by capturing human motion with one-dimensional time-series signal. For the same action, the knowledge learned from vision sensors and wearable sensors, may be related and complementary. However, there exists significantly large modality difference between action data captured by wearable-sensor and vision-sensor in data dimension, data distribution and inherent information content. In this paper, we propose a novel framework, named Semantics-aware Adaptive Knowledge Distillation Networks (SAKDN), to enhance action recognition in vision-sensor modality (videos) by adaptively transferring and distilling the knowledge from multiple wearable sensors. The SAKDN uses multiple wearable-sensors as teacher modalities and uses RGB videos as student modality. To preserve local temporal relationship and facilitate employing visual deep learning model, we transform one-dimensional time-series signals of wearable sensors to two-dimensional images by designing a gramian angular field based virtual image generation model. Then, we build a novel Similarity-Preserving Adaptive Multi-modal Fusion Module to adaptively fuse intermediate representation knowledge from different teacher networks. Finally, to fully exploit and transfer the knowledge of multiple well-trained teacher networks to the student network, we propose a novel Graph-guided Semantically Discriminative Mapping loss, which utilizes graph-guided ablation analysis to produce a good visual explanation highlighting the important regions across modalities and concurrently preserving the interrelations of original data. Experimental results on Berkeley-MHAD, UTD-MHAD and MMAct datasets well demonstrate the effectiveness of our proposed SAKDN.


title: Deep Samplable Observation Model for Global Localization and Kidnapping

abstract: Global localization and kidnapping are two challenging problems in robot localization. The popular method, Monte Carlo Localization (MCL) addresses the problem by iteratively updating a set of particles with a "sampling-weighting" loop. Sampling is decisive to the performance of MCL [1]. However, traditional MCL can only sample from a uniform distribution over the state space. Although variants of MCL propose different sampling models, they fail to provide an accurate distribution or generalize across scenes. To better deal with these problems, we present a distribution proposal model, named Deep Samplable Observation Model (DSOM). DSOM takes a map and a 2D laser scan as inputs and outputs a conditional multimodal probability distribution of the pose, making the samples more focusing on the regions with higher likelihood. With such samples, the convergence is expected to be more effective and efficient. Considering that the learning-based sampling model may fail to capture the true pose sometimes, we furthermore propose the Adaptive Mixture MCL (AdaM MCL), which deploys a trusty mechanism to adaptively select updating mode for each particle to tolerate this situation. Equipped with DSOM, AdaM MCL can achieve more accurate estimation, faster convergence and better scalability compared to previous methods in both synthetic and real scenes. Even in real environments with long-term changing, AdaM MCL is able to localize the robot using DSOM trained only by simulation observations from a SLAM map or a blueprint map.


title: An optimal test for strategic interaction in social and economic network formation between heterogeneous agents

abstract: Consider a setting where $N$ players, partitioned into $K$ observable types, form a directed network. Agents' preferences over the form of the network consist of an arbitrary network benefit function (e.g., agents may have preferences over their network centrality) and a private component which is additively separable in own links. This latter component allows for unobserved heterogeneity in the costs of sending and receiving links across agents (respectively out- and in- degree heterogeneity) as well as homophily/heterophily across the $K$ types of agents. In contrast, the network benefit function allows agents' preferences over links to vary with the presence or absence of links elsewhere in the network (and hence with the link formation behavior of their peers). In the null model which excludes the network benefit function, links form independently across dyads in the manner described by \cite{Charbonneau_EJ17}. Under the alternative there is interdependence across linking decisions (i.e., strategic interaction). We show how to test the null with power optimized in specific directions. These alternative directions include many common models of strategic network formation (e.g., "connections" models, "structural hole" models etc.). Our random utility specification induces an exponential family structure under the null which we exploit to construct a similar test which exactly controls size (despite the the null being a composite one with many nuisance parameters). We further show how to construct locally best tests for specific alternatives without making any assumptions about equilibrium selection. To make our tests feasible we introduce a new MCMC algorithm for simulating the null distributions of our test statistics.


title: Class group of real cyclotomic fields

abstract: In this article, we prove that every finite abelian group $G$ of odd order occurs as a subgroup of the class group of infinitely many real cyclotomic fields.


title: Search for $\mu^- \rightarrow e^+$ conversion: what can be learned from the SINDRUM-II positron data on a gold target

abstract: In their 2006 paper setting the current limit on \mumemconv\ conversion search on a gold target \cite{sindrum_ii:Bertl2006}, the SINDRUM-II collaboration published, along with the electron momentum distribution, the momentum distribution of reconstructed positrons. Near the positron spectrum endpoint, there is a statistically significant excess of observed events over the expected background. We estimate that in the region 88 MeV/c < p < 95 MeV/c there are 13 events with an expected background of about 1-1.5 event, which has not been discussed by the authors. Those 13 events form a bump with a width consistent with the experimental resolution, making one think of a $\mu^- \rightarrow e^+$ conversion signal. However, the reconstructed position of the bump is about 1 MeV/c, or $\sim\ 4\sigma_p$, lower than the expected $\mu^- Au \rightarrow e^+ Ir $ signal, which strongly discourages the exotic interpretation. The excess, however, could be due to an exclusive dipole radiative muon capture (RMC) transition $^{197}Au(GS) ~\rightarrow~ ^{197}Pt(GS)$ with the branching fraction of about $2\cdot 10^{-4}$. Such a transition would not be resolved by the existing RMC measurements. We conclude that the exclusive RMC transitions could significantly modify the positron spectrum near the kinematic endpoint, to fully exploit the physics potential of the upcoming experiments such as Mu2e and COMET, a better theoretical understanding of the RMC spectrum on nuclei is needed. A high-resolution measurement of the RMC photon spectra has to be carried out. Without that, the sensitivity of the searches for $\mu^- \rightarrow e^+$ and $\mu^- \rightarrow e^-$ might be severely limited by unknown probabilities of RMC transitions to the exclusive low-lying states of the daughter nuclei.


title: On The Usage Of Average Hausdorff Distance For Segmentation Performance Assessment: Hidden Bias When Used For Ranking

abstract: Average Hausdorff Distance (AVD) is a widely used performance measure to calculate the distance between two point sets. In medical image segmentation, AVD is used to compare ground truth images with segmentation results allowing their ranking. We identified, however, a ranking bias of AVD making it less suitable for segmentation ranking. To mitigate this bias, we present a modified calculation of AVD that we have coined balanced AVD (bAVD). To simulate segmentations for ranking, we manually created non-overlapping segmentation errors common in cerebral vessel segmentation as our use-case. Adding the created errors consecutively and randomly to the ground truth, we created sets of simulated segmentations with increasing number of errors. Each set of simulated segmentations was ranked using AVD and bAVD. We calculated the Kendall-rank-correlation-coefficient between the segmentation ranking and the number of errors in each simulated segmentation. The rankings produced by bAVD had a significantly higher average correlation (0.969) than those of AVD (0.847). In 200 total rankings, bAVD misranked 52 and AVD misranked 179 segmentations. Our proposed evaluation measure, bAVD, alleviates AVDs ranking bias making it more suitable for rankings and quality assessment of segmentations.


title: Reduced-Order Computational Model for the Molecular Dynamics Simulation of Entangled Polymers

abstract: We present a new reduced-order computational method for the molecular dynamics simulation of entangled polymer systems. The polymer chains are modeled as continuous Gaussian chains. Our algorithm is based on the application of the molecular dynamics simulation method to the pseudospectral representation of the Fourier modes of the chains.


abstract: Invited Discussion of "A Unified Framework for De-Duplication and Population Size Estimation", published in Bayesian Analysis. My discussion focuses on two main themes: Providing a more nuanced picture of the costs and benefits of joint models for record linkage and the "downstream task" (i.e. whatever we might want to do with the linked and de-duplicated files), and how we should measure performance.


title: Temporal interpretation of intuitionistic quantifiers: Monadic case

abstract: In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation: "always in the future" (for $\forall$) and "sometime in the past" (for $\exists$). In this paper we study this interpretation for the monadic fragment $\sf MIPC$ of the intuitionistic predicate logic. It is well known that $\sf MIPC$ is translated fully and faithfully into the monadic fragment $\sf MS4$ of the predicate $\sf S4$ (G\"{o}del translation). We introduce a new tense extension of $\sf S4$, denoted by $\sf TS4$, and provide an alternative full and faithful translation of $\sf MIPC$ into $\sf TS4$, which yields the temporal interpretation of monadic intuitionistic quantifiers mentioned above. We compare this new translation with the G\"{o}del translation by showing that both $\sf MS4$ and $\sf TS4$ can be translated fully and faithfully into a tense extension of $\sf MS4$, which we denote by $\sf MS4.t$. This is done by utilizing the algebraic and relational semantics for the new logics introduced. As a byproduct, we prove the finite model property (fmp) for $\sf MS4.t$ and show that the fmp for the other logics involved can be derived as a consequence of the fullness and faithfulness of the translations considered.


title: Visual Causality Analysis of Event Sequence Data

abstract: Causality is crucial to understanding the mechanisms behind complex systems and making decisions that lead to intended outcomes. Event sequence data is widely collected from many real-world processes, such as electronic health records, web clickstreams, and financial transactions, which transmit a great deal of information reflecting the causal relations among event types. Unfortunately, recovering causalities from observational event sequences is challenging, as the heterogeneous and high-dimensional event variables are often connected to rather complex underlying event excitation mechanisms that are hard to infer from limited observations. Many existing automated causal analysis techniques suffer from poor explainability and fail to include an adequate amount of human knowledge. In this paper, we introduce a visual analytics method for recovering causalities in event sequence data. We extend the Granger causality analysis algorithm on Hawkes processes to incorporate user feedback into causal model refinement. The visualization system includes an interactive causal analysis framework that supports bottom-up causal exploration, iterative causal verification and refinement, and causal comparison through a set of novel visualizations and interactions. We report two forms of evaluation: a quantitative evaluation of the model improvements resulting from the user-feedback mechanism, and a qualitative evaluation through case studies in different application domains to demonstrate the usefulness of the system.


title: Reconfiguration graphs of zero forcing sets

abstract: This paper begins the study of reconfiguration of zero forcing sets, and more specifically, the zero forcing graph. Given a base graph $G$, its zero forcing graph, $\mathscr{Z}(G)$, is the graph whose vertices are the minimum zero forcing sets of $G$ with an edge between vertices $B$ and $B'$ of $\mathscr{Z}(G)$ if and only if $B$ can be obtained from $B'$ by changing a single vertex of $G$. It is shown that the zero forcing graph of a forest is connected, but that many zero forcing graphs are disconnected. We characterize the base graphs whose zero forcing graphs are either a path or the complete graph, and show that the star cannot be a zero forcing graph. We show that computing $\mathscr{Z}(G)$ takes $2^{\Theta(n)}$ operations in the worst case for a graph $G$ of order $n$.


title: Gaussian Process Gradient Maps for Loop-Closure Detection in Unstructured Planetary Environments

abstract: The ability to recognize previously mapped locations is an essential feature for autonomous systems. Unstructured planetary-like environments pose a major challenge to these systems due to the similarity of the terrain. As a result, the ambiguity of the visual appearance makes state-of-the-art visual place recognition approaches less effective than in urban or man-made environments. This paper presents a method to solve the loop closure problem using only spatial information. The key idea is to use a novel continuous and probabilistic representations of terrain elevation maps. Given 3D point clouds of the environment, the proposed approach exploits Gaussian Process (GP) regression with linear operators to generate continuous gradient maps of the terrain elevation information. Traditional image registration techniques are then used to search for potential matches. Loop closures are verified by leveraging both the spatial characteristic of the elevation maps (SE(2) registration) and the probabilistic nature of the GP representation. A submap-based localization and mapping framework is used to demonstrate the validity of the proposed approach. The performance of this pipeline is evaluated and benchmarked using real data from a rover that is equipped with a stereo camera and navigates in challenging, unstructured planetary-like environments in Morocco and on Mt. Etna.


title: Upper bounds for the $MD$-numbers and characterization of extremal graphs

abstract: For an edge-colored graph $G$, we call an edge-cut $M$ of $G$ monochromatic if the edges of $M$ are colored with the same color. The graph $G$ is called monochromatic disconnected if any two distinct vertices of $G$ are separated by a monochromatic edge-cut. For a connected graph $G$, the monochromatic disconnection number (or $MD$-number for short) of $G$, denoted by $md(G)$, is the maximum number of colors that are allowed in order to make $G$ monochromatic disconnected. For graphs with diameter one, they are complete graphs and so their $MD$-numbers are $1$. For graphs with diameter at least 3, we can construct $2$-connected graphs such that their $MD$-numbers can be arbitrarily large; whereas for graphs $G$ with diameter two, we show that if $G$ is a $2$-connected graph then $md(G)\leq 2$, and if $G$ has a cut-vertex then $md(G)$ is equal to the number of blocks of $G$. So, we will focus on studying $2$-connected graphs with diameter two, and give two upper bounds of their $MD$-numbers depending on their connectivity and independent numbers, respectively. We also characterize the $\left\lfloor\frac{n}{2}\right\rfloor$-connected graphs (with large connectivity) whose $MD$-numbers are $2$ and the $2$-connected graphs (with small connectivity) whose $MD$-numbers archive the upper bound $\left\lfloor\frac{n}{2}\right\rfloor.$ For graphs with connectivity less than $\frac n 2$, we show that if the connectivity of a graph is in linear with its order $n$, then its $MD$-number is upper bounded by a constant, and this suggests us to leave a conjecture that for a $k$-connected graph $G$, $md(G)\leq \left\lfloor\frac{n}{k}\right\rfloor$.


title: RISC micrprocessor verification

abstract: Today's microprocessors have grown significantly in complexity and functionality. Most of today's processors provide at least three levels of memory hierarchy, are heavily pipelined, and support some sort of cache coherency protocol. These features are extremely complex and sophisticated, and present their own set of unique verification challenges. Verification is clearly not a point tool, but is part of a process that starts from initial product conception and is to some degrees complete when the product goes to market. Functional verification is necessary to verify the functionality at RTL level. Complex micro-processors like ARM are high performance, low cost and low power 32-bit RISC processors. In our paper complex microprocessor is ARM cortex M3, developed for the embedded applications having low interrupt latency, low gate count, 3- stage pipelining, branch prediction, THUMB and THUMB-2 instruction set. Functional verification is used to verify that the circuit full fills each abstract assertion under the implementation mapping. we explore several aspects of processor design, including caches, pipeline depth, ALUs, and bypass logic.The verification was done concurrently with the design implementation of the processor.


title: "Hey Model!" - Natural User Interactions and Agency in Accessible Interactive 3D Models

abstract: While developments in 3D printing have opened up opportunities for improved access to graphical information for people who are blind or have low vision (BLV), they can provide only limited detailed and contextual information. Interactive 3D printed models (I3Ms) that provide audio labels and/or a conversational agent interface potentially overcome this limitation. We conducted a Wizard-of-Oz exploratory study to uncover the multi-modal interaction techniques that BLV people would like to use when exploring I3Ms, and investigated their attitudes towards different levels of model agency. These findings informed the creation of an I3M prototype of the solar system. A second user study with this model revealed a hierarchy of interaction, with BLV users preferring tactile exploration, followed by touch gestures to trigger audio labels, and then natural language to fill in knowledge gaps and confirm understanding.


title: Heatmap Regression via Randomized Rounding

abstract: Heatmap regression has become the mainstream methodology for deep learning-based semantic landmark localization, including in facial landmark localization and human pose estimation. Though heatmap regression is robust to large variations in pose, illumination, and occlusion in unconstrained settings, it usually suffers from a sub-pixel localization problem. Specifically, considering that the activation point indices in heatmaps are always integers, quantization error thus appears when using heatmaps as the representation of numerical coordinates. Previous methods to overcome the sub-pixel localization problem usually rely on high-resolution heatmaps. As a result, there is always a trade-off between achieving localization accuracy and computational cost, where the computational complexity of heatmap regression depends on the heatmap resolution in a quadratic manner. In this paper, we formally analyze the quantization error of vanilla heatmap regression and propose a simple yet effective quantization system to address the sub-pixel localization problem. The proposed quantization system induced by the randomized rounding operation 1) encodes the fractional part of numerical coordinates into the ground truth heatmap using a probabilistic approach during training; and 2) decodes the predicted numerical coordinates from a set of activation points during testing. We prove that the proposed quantization system for heatmap regression is unbiased and lossless. Experimental results on popular facial landmark localization datasets (WFLW, 300W, COFW, and AFLW) and human pose estimation datasets (MPII and COCO) demonstrate the effectiveness of the proposed method for efficient and accurate semantic landmark localization. Code is available at http://github.com/baoshengyu/H3R.


title: Nonnegative Ricci curvature and escape rate gap

abstract: Let $M$ be an open $n$-manifold of nonnegative Ricci curvature and let $p\in M$. We show that if $(M,p)$ has escape rate less than some positive constant $\epsilon(n)$, that is, minimal representing geodesic loops of $\pi_1(M,p)$ escape from any bounded balls at a small linear rate with respect to their lengths, then $\pi_1(M,p)$ is virtually abelian. This generalizes the author's previous work, where the zero escape rate is considered.


title: Multi-scale sparse domination

abstract: We prove a bilinear form sparse domination theorem that applies to many multi-scale operators beyond Calder\'on-Zygmund theory, and also establish necessary conditions. Among the applications, we cover large classes of Fourier multipliers, maximal functions, square functions and variation norm operators.


title: Modeling the impact of birth control policies on China's population and age: effects of delayed births and minimum birth age constraints

abstract: We consider age-structured models with an imposed refractory period between births. These models can be used to formulate alternative population control strategies to China's one-child policy. By allowing any number of births, but with an imposed delay between births, we show how the total population can be decreased and how a relatively older age distribution can be generated. This delay represents a more "continuous" form of population management for which the strict one-child policy is a limiting case. Such a policy approach could be more easily accepted by society. Our analyses provide an initial framework for studying demographics and how social constraints influence population structure.


title: Fundamental gaps of spherical triangles

abstract: We compute Dirichlet eigenvalues and eigenfunctions explicitly for spherical lunes and the spherical triangles which are half the lunes, and show that the fundamental gap goes to infinity when the angle of the lune goes to zero. Then we show the spherical equilateral triangle of diameter $\frac{\pi}{2}$ is a strict local minimizer of the fundamental gap on the space of the spherical triangles with diameter $\frac{\pi}{2}$, which partially extends Lu-Rowlett's result from the plane to the sphere.


title: Generalized Bessel functions of dihedral-type: expression as a series of confluent Horn functions and Laplace-type integral representation

abstract: In the first part of this paper, we express the generalized Bessel function associated with dihedral systems and a constant multiplicity function as a infinite series of confluent Horn functions. The key ingredient leading to this expression is an extension of an identity involving Gegenbauer polynomials proved in a previous paper by the authors, together with the use of the Poisson kernel for these polynomials. In particular, we derive an integral representation of this generalized Bessel function over the standard simplex. The second part of this paper is concerned with even dihedral systems and boundary values of one of the variables. Still assuming that the multiplicity function is constant, we obtain a Laplace-type integral representation of the corresponding generalized Bessel function, which extends to all even dihedral systems a special instance of the Laplace-type integral representation proved in \cite{Amr-Dem}.


title: NICER Observation of the Temporal and Spectral Evolution of Swift J1818.0-1607: a Missing Link between Magnetars and Rotation Powered Pulsars

abstract: We report on the hard X-ray burst and the first ~100 days NICER monitoring of the soft X-ray temporal and spectral evolution of the newly-discovered magnetar Swift J1818.0-1607. The burst properties are typical of magnetars with a duration of $T_{90}=10\pm4$ ms and a temperature of $kT=8.4\pm0.7$ keV. The 2--8 keV pulse shows a broad, single peak profile with a pulse fraction increasing with time from 30% to 43%. The NICER observations reveal strong timing noise with $\dot{\nu}$ varying erratically by a factor of 10, with an average long-term spin-down rate of $\dot{\nu}=(-2.48\pm0.03)\times10^{-11}$~s$^{-2}$, implying an equatorial surface magnetic field of $2.5\times10^{14}$ G and a young characteristic age of $\sim$470 yr. We detect a large spin-up glitch at MJD 58928.56 followed by a candidate spin-down glitch at MJD 58934.81, with no accompanying flux enhancements. The persistent soft X-ray spectrum of Swift~J1818.0-1607 can be modeled as an absorbed blackbody with a temperature of ~1 keV. Its flux decayed by ~60% while the modeled emitting area decreased by ~30% over the NICER observing campaign. This decrease, coupled with the increase in the pulse fraction points to a shrinking hot spot on the neutron star surface. Assuming a distance of 6.5 kpc, we measure a peak X-ray luminosity of $1.9\times10^{35}$ erg/s, lower than its spin-down luminosity of $7.2\times10^{35}$ erg/s. Its quiescent thermal luminosity is $\lesssim 1.7\times10^{34}$ erg/s, lower than those of canonical young magnetars. We conclude that Swift J1818.0-1607 is an important link between regular magnetars and high magnetic field rotation powered pulsars.


title: Design and Simulation of Voltage Amplidyne System using Robust Control Technique

abstract: In this paper, modelling designing and simulation of a simple voltage amplidyne system is done using robust control theory. In order to increase the performance of the voltage amplidyne system with H optimal control synthesis and H optimal control synthesis via-iteration controllers are used. The open loop response of the voltage amplidyne system shows that the system can amplify the input 7 times. Comparison of the voltage amplidyne system with H optimal control synthesis and H optimal control synthesis via-iteration controllers to track a desired step input have been done. Finally, the comparative simulation results prove the effectiveness of the proposed voltage amplidyne system with H optimal control synthesis controller in improving the percentage overshoot and the settling time.


title: Four-dimensional compact Clifford-Klein forms of pseudo-Riemannian symmetric spaces with signature $(2, 2)$

abstract: We give a classification of irreducible four-dimensional symmetric spaces $G/H$ which admit compact Clifford-Klein forms, where $G$ is the transvection group of $G/H$. For this, we develop a method that applies to particular 1-connected solvable symmetric spaces. We also examine a `solvable analogue' of Kobayashi's conjecture for reductive groups and find an evidence that the reductive assumption in Kobayashi's conjecture is crucial.


title: Semantic Sentiment Analysis Based on Probabilistic Graphical Models and Recurrent Neural Network

abstract: Sentiment Analysis is the task of classifying documents based on the sentiments expressed in textual form, this can be achieved by using lexical and semantic methods. The purpose of this study is to investigate the use of semantics to perform sentiment analysis based on probabilistic graphical models and recurrent neural networks. In the empirical evaluation, the classification performance of the graphical models was compared with some traditional machine learning classifiers and a recurrent neural network. The datasets used for the experiments were IMDB movie reviews, Amazon Consumer Product reviews, and Twitter Review datasets. After this empirical study, we conclude that the inclusion of semantics for sentiment analysis tasks can greatly improve the performance of a classifier, as the semantic feature extraction methods reduce uncertainties in classification resulting in more accurate predictions.


title: Dynamics of node influence in network growth models

abstract: Many classes of network growth models have been proposed in the literature for capturing real-world complex networks. Existing research primarily focuses on global characteristics of these models, e.g., degree distribution. We aim to shift the focus towards studying the network growth dynamics from the perspective of individual nodes. In this paper, we study how a metric for node influence in network growth models behaves over time as the network evolves. This metric, which we call node visibility, captures the probability of the node to form new connections. First, we conduct an investigation on three popular network growth models -- preferential attachment, additive, and multiplicative fitness models; and primarily look into the "influential nodes" or "leaders" to understand how their visibility evolves over time. Subsequently, we consider a generic fitness model and observe that the multiplicative model strikes a balance between allowing influential nodes to maintain their visibility, while at the same time making it possible for new nodes to gain visibility in the network. Finally, we observe that a spatial growth model with multiplicative fitness can curtail the global reach of influential nodes, thereby allowing the emergence of a multiplicity of "local leaders" in the network.


title: A Survey of Deep Active Learning

abstract: Active learning (AL) attempts to maximize the performance gain of the model by marking the fewest samples. Deep learning (DL) is greedy for data and requires a large amount of data supply to optimize massive parameters, so that the model learns how to extract high-quality features. In recent years, due to the rapid development of internet technology, we are in an era of information torrents and we have massive amounts of data. In this way, DL has aroused strong interest of researchers and has been rapidly developed. Compared with DL, researchers have relatively low interest in AL. This is mainly because before the rise of DL, traditional machine learning requires relatively few labeled samples. Therefore, early AL is difficult to reflect the value it deserves. Although DL has made breakthroughs in various fields, most of this success is due to the publicity of the large number of existing annotation datasets. However, the acquisition of a large number of high-quality annotated datasets consumes a lot of manpower, which is not allowed in some fields that require high expertise, especially in the fields of speech recognition, information extraction, medical images, etc. Therefore, AL has gradually received due attention. A natural idea is whether AL can be used to reduce the cost of sample annotations, while retaining the powerful learning capabilities of DL. Therefore, deep active learning (DAL) has emerged. Although the related research has been quite abundant, it lacks a comprehensive survey of DAL. This article is to fill this gap, we provide a formal classification method for the existing work, and a comprehensive and systematic overview. In addition, we also analyzed and summarized the development of DAL from the perspective of application. Finally, we discussed the confusion and problems in DAL, and gave some possible development directions for DAL.


title: An in-depth comparison of methods handling mixed-attribute data for general fuzzy min-max neural network

abstract: A general fuzzy min-max (GFMM) neural network is one of the efficient neuro-fuzzy systems for classification problems. However, a disadvantage of most of the current learning algorithms for GFMM is that they can handle effectively numerical valued features only. Therefore, this paper provides some potential approaches to adapting GFMM learning algorithms for classification problems with mixed-type or only categorical features as they are very common in practical applications and often carry very useful information. We will compare and assess three main methods of handling datasets with mixed features, including the use of encoding methods, the combination of the GFMM model with other classifiers, and employing the specific learning algorithms for both types of features. The experimental results showed that the target and James-Stein are appropriate categorical encoding methods for learning algorithms of GFMM models, while the combination of GFMM neural networks and decision trees is a flexible way to enhance the classification performance of GFMM models on datasets with the mixed features. The learning algorithms with the mixed-type feature abilities are potential approaches to deal with mixed-attribute data in a natural way, but they need further improvement to achieve a better classification accuracy. Based on the analysis, we also identify the strong and weak points of different methods and propose potential research directions.


title: Tetra- and penta-quark structures in the constituent quark model

abstract: With the development of high energy physics experiments, a large amount of exotic states in the hadronic sector have been observed. In order to shed some insights on the nature of the tetraquark and pentaquark candidates, a constituent quark model, along with the gaussian expansion method, has been employed systematically in the real- and complex-range investigations. We review herein the double- and full-heavy tetraquarks, but also the hidden-charm, -bottom and doubly charmed pentaquarks. Several experimentally observed exotic hadrons are well reproduced within our approach; moreover, their possible compositeness are suggested and other properties analyzed accordingly such as their decay widths and general patterns in the spectrum. Besides, we report also some predictions not yet seen by experiment within the studied tetraquark and pentaquark sectors.


title: Interplay of local order and topology in the extended Haldane-Hubbard model

abstract: We investigate the ground-state phase diagram of the spinful extended Haldane-Hubbard model on the honeycomb lattice using an exact-diagonalization, mean-field variational approach, and further complement it with the infinite density matrix renormalization group, applied to an infinite honeycomb cylinder. This model, governed by both on-site and nearest-neighbor interactions, can result in two types of insulators with finite local order parameters, either with spin or charge ordering. Moreover, a third one, a topologically nontrivial insulator with nonlocal order, is also manifest. We test expectations of previous analyses in spinless versions asserting that once a local order parameter is formed, the topological characteristics of the ground state, associated with a finite Chern number, are no longer present, resulting in a topologically trivial wave function. Our study confirms this overall picture, and highlights how finite-size effects may result in misleading conclusions on the coexistence of finite local order parameters and nontrivial topology in this model.


title: Constraining $f(Q,T)$ gravity from energy conditions

abstract: We are living in a golden age for experimental cosmology. New experiments with high accuracy precision are been used to constrain proposals of several theories of gravity, as it has been never done before. However, important roles to constrain new theories of gravity in a theoretical perspective are the energy conditions. Throughout this work, we carefully constrained some free parameters of two different families of $f(Q,T)$ gravity using different energy conditions. This theory of gravity combines the gravitation effects through the non-metricity scalar function $Q$, and manifestations from the quantum era of the Universe in the classical theory (due to the presence of the trace of the energy-momentum tensor $T$). Our investigation unveils the viability of $f(Q,T)$ gravity to describe the accelerated expansion our Universe passes through. Besides, one of our models naturally provides a phantom regime for dark energy and satisfies the dominant energy condition. The results here derived strength the viability of $f(Q,T)$ as a promising complete theory of gravity, lighting a new path towards the description of the dark sector of the Universe.


title: Noncommutative Perspectives of Operator Monotone Functions in Hilbert Spaces

abstract: Some identities for noncommutative perspectives of operator monotone functions in Hilbert spaces aregiven. Applications for weighted operator geometric mean and relative operator entropy are also provided.


title: Temporal Continuity Based Unsupervised Learning for Person Re-Identification

abstract: Person re-identification (re-id) aims to match the same person from images taken across multiple cameras. Most existing person re-id methods generally require a large amount of identity labeled data to act as discriminative guideline for representation learning. Difficulty in manually collecting identity labeled data leads to poor adaptability in practical scenarios. To overcome this problem, we propose an unsupervised center-based clustering approach capable of progressively learning and exploiting the underlying re-id discriminative information from temporal continuity within a camera. We call our framework Temporal Continuity based Unsupervised Learning (TCUL). Specifically, TCUL simultaneously does center based clustering of unlabeled (target) dataset and fine-tunes a convolutional neural network (CNN) pre-trained on irrelevant labeled (source) dataset to enhance discriminative capability of the CNN for the target dataset. Furthermore, it exploits temporally continuous nature of images within-camera jointly with spatial similarity of feature maps across-cameras to generate reliable pseudo-labels for training a re-identification model. As the training progresses, number of reliable samples keep on growing adaptively which in turn boosts representation ability of the CNN. Extensive experiments on three large-scale person re-id benchmark datasets are conducted to compare our framework with state-of-the-art techniques, which demonstrate superiority of TCUL over existing methods.


title: A Novel Software-based Multi-path RDMA Solutionfor Data Center Networks

abstract: In this paper we propose Virtuoso, a purely software-based multi-path RDMA solution for data center networks (DCNs) to effectively utilize the rich multi-path topology for load balancing and reliability. As a "middleware" library operating at the user space, Virtuoso employs three innovative mechanisms to achieve its goal. In contrast to existing hardware-based MP-RDMA solution, Virtuoso can be readily deployed in DCNs with existing RDMA NICs. It also decouples path selection and load balancing mechanisms from hardware features, allowing DCN operators and applications to make flexible decisions by employing the best mechanisms (as "plug-in" software library modules) as needed. Our experiments show that Virtuoso is capable of fully utilizing multiple paths with negligible CPU overheads


title: Progress in epitaxial thin-film Na3Bi as a topological electronic material

abstract: Na3Bi was the first experimentally verified topological Dirac semimetal (TDS), and is a 3D analogue of graphene hosting relativistic Dirac fermions. Its unconventional momentum-energy relationship is interesting from a fundamental perspective, yielding exciting physical properties such as chiral charge carriers, the chiral anomaly, and weak anti-localization. It also shows promise for realising topological electronic devices such as topological transistors. In this review, an overview of the substantial progress achieved in the last few years on Na3Bi is presented, with a focus on technologically relevant large-area thin films synthesised via molecular beam epitaxy. Key theoretical aspects underpinning the unique electronic properties of Na3Bi are introduced. Next, the growth process on different substrates is reviewed. Spectroscopic and microscopic features are illustrated, and an analysis of semi-classical and quantum transport phenomena in different doping regimes is provided. The emergent properties arising from confinement in two dimensions, including thickness-dependent and electric-field driven topological phase transitions, are addressed, with an outlook towards current challenges and expected future progress.


title: Clustering of dark matter in interacting tachyon dark energy with $\Lambda$CDM background

abstract: One of the non-canonical descriptions of scalar field dark energy is the tachyon. The present work is devoted to study the dynamics of dark matter overdensity in a conformally coupled tachyon field dark energy model. The model is tuned to mimic the $\Lambda$CDM cosmology at background level. The semi-analytic spherical collapse model of dark matter overdensity is adopted to study the nonlinear evolution. The effects of non-minimal coupling in the energy budget on the clustering of dark matter is investigated. It is observed that the growth rate of matter overdensity is higher in presence of the non-minimal coupling. The critical density at collapse is suppressed in case of interaction. Further the number counts of dark matter halos or galaxy clusters along redshift are studied using the Press-Schechter and Sheth- Tormen halo mass functions. Suppression in the number of dark matter halos is observed when the interaction is allowed. A comparison of cluster number count in the present model and $\Lambda$CDM is carried out. The present model allowing the interaction produces much lower number of galaxy clusters compared to $\Lambda$CDM, but without interaction the cluster number count is slightly higher than $\Lambda$CDM cluster count.


title: Explainability Case Studies

abstract: Explainability is one of the key ethical concepts in the design of AI systems. However, attempts to operationalize this concept thus far have tended to focus on approaches such as new software for model interpretability or guidelines with checklists. Rarely do existing tools and guidance incentivize the designers of AI systems to think critically and strategically about the role of explanations in their systems. We present a set of case studies of a hypothetical AI-enabled product, which serves as a pedagogical tool to empower product designers, developers, students, and educators to develop a holistic explainability strategy for their own products.