title: NLO EW corrections to Higgs boson decay to a lepton pair and a polarized $Z$ boson

abstract: In this paper, we calculate the next-to-leading order electroweak corrections to the process $H\to e^+e^-Z\to e^+e^-\mu^+\mu^-$ in the framework of single-pole approximation, in which the contributions of intermediate $Z$ boson in different polarizations are considered respectively. The total and differential decay widths versus various kinematic variables are presented. Phenomenologically, the corresponding cross sections in the experiment of Large Hadron Collider (LHC) are evaluated.


title: Approximate Normalization and Eager Equality Checking for Gradual Inductive Families

abstract: Harnessing the power of dependently typed languages can be difficult. Programmers must manually construct proofs to produce well-typed programs, which is not an easy task. In particular, migrating code to these languages is challenging. Gradual typing can make dependently-typed languages easier to use by mixing static and dynamic checking in a principled way. With gradual types, programmers can incrementally migrate code to a dependently typed language. However, adding gradual types to dependent types creates a new challenge: mixing decidable type-checking and incremental migration in a full-featured language is a precarious balance. Programmers expect type-checking to terminate, but dependent type-checkers evaluate terms at compile time, which is problematic because gradual types can introduce non-termination into an otherwise terminating language. Steps taken to mitigate this non-termination must not jeopardize the smooth transitions between dynamic and static. We present a gradual dependently-typed language that supports inductive type families, has decidable type-checking, and provably supports smooth migration between static and dynamic, as codified by the refined criteria for gradual typing proposed by Siek et al. (2015). Like Eremondi et al. (2019), we use approximate normalization for terminating compile-time evaluation. Unlike Eremondi et al., our normalization does not require comparison of variables, allowing us to show termination with a syntactic model that accommodates inductive types. Moreover, we design a novel a technique for tracking constraints on type indices, so that dynamic constraint violations signal run-time errors eagerly. To facilitate these checks, we define an algebraic notion of gradual precision, axiomatizing certain semantic properties of gradual terms.


title: Novel coupled channel framework connecting quark model and lattice QCD: an investigation on near-threshold $D_s$ states

abstract: A novel framework is proposed to extract near-threshold resonant states from finite-volume energy levels of lattice QCD and is applied to elucidate structures of the positive parity $D_s$. The quark model, the quark-pair-creation mechanism and $D^{(*)}K$ interaction are incorporated into the Hamiltonian effective field theory. The bare $1^+$ $c\bar s$ states are almost purely given by the states with heavy-quark spin bases. The physical $D^*_{s0}(2317)$ and $D^*_{s1}(2460)$ are the mixtures of bare $c\bar s$ core and $D^{(*)}K$ component, while the $D^*_{s1}(2536)$ and $D^*_{s2}(2573)$ are almost dominated by bare $c\bar{s}$. Furthermore, our model reproduces the clear level crossing of the $D^*_{s1}(2536)$ with the scattering state at a finite volume.


title: On generation of the coefficient field of a primitive Hilbert modular form by a single Fourier coefficient

abstract: For a primitive Hilbert modular form $f$ over $F$ of weight $k$, under certain assumptions on image of $\bar{\rho}_{f,\lambda}$, we calculate the Dirichlet density of primes $\mathfrak{p}$ for which the $\mathfrak{p}$-th Fourier coefficient $C(\mathfrak{p}, f)$ generates the coefficient field $E_f$. If $k=2$, then we show that the assumption on the image of $\bar{\rho}_{f,\lambda}$ is satisfied when the degrees of $E_f, F$ are equal and odd prime. We also compute the density of primes $\mathfrak{p}$ for which $C^*(\mathfrak{p}, f)$ generates $F_f$. Then, we provide some examples of $f$ to support our results. Finally, we calculate the density of primes $\mathfrak{p}$ for which $C(\mathfrak{p}, f) \in K$ for any field $K$ with $F_f \subseteq K \subseteq E_f$. This density is completely determined by the inner twists of $f$ associated with $K$. This work can be thought of as a generalization of~\cite{KSW08} to primitive Hilbert modular forms.


title: Dynamical Response of an Unruh-DeWitt Detector in a Quantum Field over the History of the Universe

abstract: In this work we ask how an Unruh-DeWitt (UD) detector with harmonic oscillator internal degrees of freedom $Q$ measuring an evolving quantum matter field $\Phi(\bm{x}, t)$ in an expanding universe with scale factor $a(t)$ responds. We investigate the detector's response which contains non-Markovian information about the quantum field squeezed by the dynamical spacetime. The challenge is in the memory effects accumulated over the evolutionary history. We first consider a detector $W$, the `\textsl{Witness}', which co-existed and evolved with the quantum field from the beginning. We derive a nonMarkovian quantum Langevin equation for the detector's $Q$ by integrating over the squeezed quantum field. The solution of this integro-differential equation would answer our question, in principle, but very challenging, in practice. Striking a compromise, we then ask, to what extent can a detector $D$ introduced at late times, called the `\textsl{Detective}', decipher past memories. This situation corresponds to many cosmological experiments today probing specific stages in the past, such as COBE targeting activities at the surface of last scattering. Somewhat surprisingly we show that it is possible to retrieve to some degree certain global physical quantities, such as the resultant squeezing, particles created, quantum coherence and correlations. The reason is because the quantum field has all the fine-grained information from the beginning in how it was driven by the cosmic dynamics $a(t)$. How long the details of past history can persist in the quantum field depends on the memory time. The fact that a squeezed field cannot come to complete equilibrium under constant driving, as in an evolving spacetime, actually helps to retain the memory. We discuss interesting features and potentials of this `\textit{archaeological}' perspective toward cosmological issues.


title: HOMRS: High Order Metamorphic Relations Selector for Deep Neural Networks

abstract: Deep Neural Networks (DNN) applications are increasingly becoming a part of our everyday life, from medical applications to autonomous cars. Traditional validation of DNN relies on accuracy measures, however, the existence of adversarial examples has highlighted the limitations of these accuracy measures, raising concerns especially when DNN are integrated into safety-critical systems. In this paper, we present HOMRS, an approach to boost metamorphic testing by automatically building a small optimized set of high order metamorphic relations from an initial set of elementary metamorphic relations. HOMRS' backbone is a multi-objective search; it exploits ideas drawn from traditional systems testing such as code coverage, test case, path diversity as well as input validation. We applied HOMRS to MNIST/LeNet and SVHN/VGG and we report evidence that it builds a small but effective set of high-order transformations that generalize well to the input data distribution. Moreover, comparing to similar generation technique such as DeepXplore, we show that our distribution-based approach is more effective, generating valid transformations from an uncertainty quantification point of view, while requiring less computation time by leveraging the generalization ability of the approach.


title: Non-BPS Supersymmetric 3pt Amplitude for One Massless, Two Equally Massive Particles

abstract: In this paper, the non-BPS amplitudes ($Z < 2m$) are considered. Utilizing on-shell methods, the three point amplitudes of two equal-mass particles and one massless particle were constructed, where the two massive particles are non-BPS states. We verify the result by matching the $Z = 0$ and BPS limit with $N = 2$ supersymmetry. As an application we derive the non-BPS coupling for $N = 4$ super-Maxwell and supergravity.


title: Collaborative Filtering-Based Method for Low-Resolution and Details Preserving Image Denoising

abstract: Over the years, progressive improvements in denoising performance have been achieved by several image denoising algorithms that have been proposed. Despite this, many of these state-of-the-art algorithms tend to smooth out the denoised image resulting in the loss of some image details after denoising. Many also distort images of lower resolution resulting in a partial or complete structural loss. In this paper, we address these shortcomings by proposing a collaborative filtering-based (CoFiB) denoising algorithm. Our proposed algorithm performs weighted sparse domain collaborative denoising by taking advantage of the fact that similar patches tend to have similar sparse representations in the sparse domain. This gives our algorithm the intelligence to strike a balance between image detail preservation and noise removal. Our extensive experiments showed that our proposed CoFiB algorithm does not only preserve the image details but also perform excellently for images of any given resolution where many denoising algorithms tend to struggle, specifically at low resolutions.


title: Hydrodynamic equations for the Ablowitz-Ladik discretization of the nonlinear Schroedinger equation

abstract: Ablowitz and Ladik discovered a discretization which preserves the integrability of the nonlinear Schroedinger equation in one dimension. We compute the generalized free energy of this model and determine the GGE averaged fields and currents. They are linked to the mean-field circular unitary matrix ensemble (CUE). The resulting hydrodynamic equations follow the pattern already known from other integrable many-body systems. Studied is also the discretized modified Korteweg-de-Vries equation which turns out to be related to the beta Jacobi log gas.


title: Learning 3D Dense Correspondence via Canonical Point Autoencoder

abstract: We propose a canonical point autoencoder (CPAE) that predicts dense correspondences between 3D shapes of the same category. The autoencoder performs two key functions: (a) encoding an arbitrarily ordered point cloud to a canonical primitive, e.g., a sphere, and (b) decoding the primitive back to the original input instance shape. As being placed in the bottleneck, this primitive plays a key role to map all the unordered point clouds on the canonical surface and to be reconstructed in an ordered fashion. Once trained, points from different shape instances that are mapped to the same locations on the primitive surface are determined to be a pair of correspondence. Our method does not require any form of annotation or self-supervised part segmentation network and can handle unaligned input point clouds. Experimental results on 3D semantic keypoint transfer and part segmentation transfer show that our model performs favorably against state-of-the-art correspondence learning methods.


title: Redshift drift in radially inhomogeneous Lema\^itre-Tolman-Bondi spacetimes

abstract: We provide a formula for estimating the redshift and its secular change (redshift drift) in Lema\^itre-Tolman-Bondi (LTB) spherically symmetric universes. We compute the scaling of the redshift drift for LTB models that predict Hubble diagrams indistinguishable from those of the standard cosmological model, the flat $\Lambda$ Cold Dark Matter ($\Lambda$CDM) model. We show that the redshift drift for these degenerate LTB models is typically different from that predicted in the $\Lambda$CDM scenario. We also highlight and discuss some unconventional redshift-drift signals that arise in LTB universes and give them distinctive features compared to the standard model. We argue that the redshift drift is a metric observable that allows to reduce the degrees of freedom of spherically symmetric models and to make them more predictive and thus falsifiable.


title: Statistical approaches on the apparent horizon entropy and the generalized second law of thermodynamics

abstract: In this work we have investigated the effects of three nongaussian entropies, namely, the modified R\'enyi entropy (MRE), the Sharma-Mittal entropy (SME) and the dual Kaniadakis entropy (DKE) in the investigation of the generalized second law (GSL) of thermodynamics violation. The GSL is an extension of the second law for black holes. Recently, it was concluded that a total entropy is the sum of the entropy enclosed by the apparent horizon plus the entropy of the horizon itself when the apparent horizon is described by the Barrow entropy. It was assumed that the universe is filled with matter and dark energy fluids. Here, the apparent horizon will be described by MRE, SME, and then by DKE proposals. Since GSL holds for usual entropy, but it is conditionally violated in the extended entropies, this implies that the parameter of these entropies should be constrained in small values in order for the GSL to be satisfied. Hence, we have established conditions where the second law of thermodynamics can or cannot be obeyed considering these three statistical concepts just as it was made in Barrow's entropy. Considering the $\Lambda CDM$ cosmology we can observe that for MRE, SME and DKE, the GSL of thermodynamics is not obeyed for small redshift values.


title: From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview

abstract: In this paper we discuss the relationships between conditional and preferential logics and neural network models, based on a multi-preferential semantics. We propose a concept-wise multipreference semantics, recently introduced for defeasible description logics to take into account preferences with respect to different concepts, as a tool for providing a semantic interpretation to neural network models. This approach has been explored both for unsupervised neural network models (Self-Organising Maps) and for supervised ones (Multilayer Perceptrons), and we expect that the same approach might be extended to other neural network models. It allows for logical properties of the network to be checked (by model checking) over an interpretation capturing the input-output behavior of the network. For Multilayer Perceptrons, the deep network itself can be regarded as a conditional knowledge base, in which synaptic connections correspond to weighted conditionals. The paper describes the general approach, through the cases of Self-Organising Maps and Multilayer Perceptrons, and discusses some open issues and perspectives.


title: On C3-Like Finsler Metrics Under Ricci Flow

abstract: In this paper we have studied the class of Finsler metrics, called C3-like metrics which satisfy the un-normal and normal Ricci flow equation and proved that such metrics are Einstein.


title: Strategy-indifferent games of best choice

abstract: The game of best choice (or "secretary problem") is a model for making an irrevocable decision among a fixed number of candidate choices that are presented sequentially in random order, one at a time. Because the classically optimal solution is known to reject an initial sequence of candidates, a paradox emerges from the fact that candidates have an incentive to position themselves immediately after this cutoff which challenges the assumption that candidates arrive in uniformly random order. One way to resolve this is to consider games for which every (reasonable) strategy results in the same probability of success. In this work, we classify these "strategy-indifferent" games of best choice. It turns out that the probability of winning such a game is essentially the reciprocal of the expected number of left-to-right maxima in the full collection of candidate rank orderings. We present some examples of these games based on avoiding permutation patterns of size 3, which involves computing the distribution of left-to-right maxima in each of these pattern classes.


title: The EAS approach to variable selection for multivariate response data in high-dimensional settings

abstract: In this paper, we develop an {\em epsilon admissible subsets} (EAS) model selection approach for performing group variable selection in the high-dimensional multivariate regression setting. This EAS strategy is designed to estimate a posterior-like, generalized fiducial distribution over a parsimonious class of models in the setting of correlated predictors and/or in the absence of a sparsity assumption. The effectiveness of our approach, to this end, is demonstrated empirically in simulation studies, and is compared to other state-of-the-art model/variable selection procedures. Furthermore, assuming a matrix-Normal linear model we show that the EAS strategy achieves {\em strong model selection consistency} in the high-dimensional setting if there does exist a sparse, true data generating set of predictors. In contrast to Bayesian approaches for model selection, our generalized fiducial approach completely avoids the problem of simultaneously having to specify arbitrary prior distributions for model parameters and penalize model complexity; our approach allows for inference directly on the model complexity. \textcolor{black}{Implementation of the method is illustrated through yeast data to identify significant cell-cycle regulating transcription factors.


title: Logarithmic Hardy-Rellich inequalities on Lie groups

abstract: In this paper we obtain logarithmic Hardy and Rellich inequalities on general Lie groups. In the case of graded groups, we also show their refinements using the homogeneous Sobolev norms. In fact, we derive a family of weighted logarithmic Hardy-Rellich inequalities, for which logarithmic Hardy and Rellich inequalities are special cases. As a consequence of these inequalities, we also derive a Gross type logarithmic Hardy inequality on general stratified groups. An interesting feature of such estimate is that we consider the measure which is Gaussian only on the first stratum of the group. Such choice of the measure is natural in view of the known Gross type logarithmic Sobolev inequalities on stratified groups. The obtained results are new already in the setting of the Euclidean space $\mathbb R^n.$ Finally, we also present a simple argument for getting a logarithmic Poincar\'e inequality, as well as the logarithmic Hardy inequality for the fractional $p$-sub-Laplacian on homogeneous groups.


title: Never 'Drop the Ball' in the Operating Room: An efficient hand-based VR HMD controller interpolation algorithm, for collaborative, networked virtual environments

abstract: In this work, we propose two algorithms that can be applied in the context of a networked virtual environment to efficiently handle the interpolation of displacement data for hand-based VR HMDs. Our algorithms, based on the use of dual-quaternions and multivectors respectively, impact the network consumption rate and are highly effective in scenarios involving multiple users. We illustrate convincing results in a modern game engine and a medical VR collaborative training scenario.


title: Studies on dark energy evolution

abstract: In this work we explore signatures of evolution for the dark energy density $X(z)=\rho_{de}(z)/\rho_{de}(0)$ using latest observations on SNIa and H(z). The models consist of parametrizations of the dark energy density and consequently a reconstruction for the EoS parameter w(z) as a function of redshift. Both parametrization methods using the SH0Es prior results in a small deviation from LCDM at 1$\sigma$ for $X(z)$. Extending the analysis up to 2$\sigma$, the evidence for evolution of $X(z)$ dilute in both cases. We have also studied an interacting dark model where this trend is also found.


title: Metric dimension related parameters in graphs: A survey on combinatorial, computational and applied results

abstract: Topics concerning metric dimension related invariants in graphs are nowadays intensively studied. This compendium of combinatorial and computational results on this topic is an attempt of surveying those contributions that are of the highest interest for the research community dealing with several variants of metric dimension in graphs.


title: Weakly-Supervised Classification and Detection of Bird Sounds in the Wild. A BirdCLEF 2021 Solution

abstract: It is easier to hear birds than see them, however, they still play an essential role in nature and they are excellent indicators of deteriorating environmental quality and pollution. Recent advances in Machine Learning and Convolutional Neural Networks allow us to detect and classify bird sounds, by doing this, we can assist researchers in monitoring the status and trends of bird populations and biodiversity in ecosystems. We propose a sound detection and classification pipeline for analyzing complex soundscape recordings and identify birdcalls in the background. Our pipeline learns from weak labels, classifies fine-grained bird vocalizations in the wild, and is robust against background sounds (e.g., airplanes, rain, etc). Our solution achieved 10th place of 816 teams at the BirdCLEF 2021 Challenge hosted on Kaggle.


title: Stability for the Calder\'on's problem for a class of anisotropic conductivities via an ad-hoc misfit functional

abstract: We address the stability issue in Calder\'on's problem for a special class of anisotropic conductivities of the form $\sigma=\gamma A$ in a Lipschitz domain $\Omega\subset\mathbb{R}^n$, $n\geq 3$, where $A$ is a known Lipschitz continuous matrix-valued function and $\gamma$ is the unknown piecewise affine scalar function on a given partition of $\Omega$. We define an ad-hoc misfit functional encoding our data and establish stability estimates for this class of anisotropic conductivity in terms of both the misfit functional and the more commonly used local Dirichlet-to-Neumann map.


title: PatentMiner: Patent Vacancy Mining via Context-enhanced and Knowledge-guided Graph Attention

abstract: Although there are a small number of work to conduct patent research by building knowledge graph, but without constructing patent knowledge graph using patent documents and combining latest natural language processing methods to mine hidden rich semantic relationships in existing patents and predict new possible patents. In this paper, we propose a new patent vacancy prediction approach named PatentMiner to mine rich semantic knowledge and predict new potential patents based on knowledge graph (KG) and graph attention mechanism. Firstly, patent knowledge graph over time (e.g. year) is constructed by carrying out named entity recognition and relation extrac-tion from patent documents. Secondly, Common Neighbor Method (CNM), Graph Attention Networks (GAT) and Context-enhanced Graph Attention Networks (CGAT) are proposed to perform link prediction in the constructed knowledge graph to dig out the potential triples. Finally, patents are defined on the knowledge graph by means of co-occurrence relationship, that is, each patent is represented as a fully connected subgraph containing all its entities and co-occurrence relationships of the patent in the knowledge graph; Furthermore, we propose a new patent prediction task which predicts a fully connected subgraph with newly added prediction links as a new pa-tent. The experimental results demonstrate that our proposed patent predic-tion approach can correctly predict new patents and Context-enhanced Graph Attention Networks is much better than the baseline. Meanwhile, our proposed patent vacancy prediction task still has significant room to im-prove.


title: Oscillating monopole-antimonopole pair in the Weinberg-Salam model

abstract: We investigate further the properties of axially symmetrical monopole-antimonopole pair in the standard Weinberg-Salam theory. These numerical solutions behave quite differently from their counterparts in the SU(2) Yang-Mills-Higgs theory as the poles are now bounded by a flux string. Our results confirm that the energy of these solutions resides in a range of 13.17 - 21.02 TeV. In addition, we found strong evidence suggesting this configuration is time-dependent and discovered an energy oscillation phenomenon between the monopole and anti-monopole, which is associated with the symmetry of the solution. Finally, we calculate numerically the magnetic charge of the solution and confirm that its value is indeed $\frac{4\pi}{e}\sin^2\theta_{\scalebox{.5} {W}}$, as predicted by Y. Nambu in the 1970s. Counterintuitively, the magnetic charge is spread out and distributed along the string instead of concentrated near the poles.


title: Out of Distribution Detection and Adversarial Attacks on Deep Neural Networks for Robust Medical Image Analysis

abstract: Deep learning models have become a popular choice for medical image analysis. However, the poor generalization performance of deep learning models limits them from being deployed in the real world as robustness is critical for medical applications. For instance, the state-of-the-art Convolutional Neural Networks (CNNs) fail to detect adversarial samples or samples drawn statistically far away from the training distribution. In this work, we experimentally evaluate the robustness of a Mahalanobis distance-based confidence score, a simple yet effective method for detecting abnormal input samples, in classifying malaria parasitized cells and uninfected cells. Results indicated that the Mahalanobis confidence score detector exhibits improved performance and robustness of deep learning models, and achieves stateof-the-art performance on both out-of-distribution (OOD) and adversarial samples.


title: Gaussian Assignment Process

abstract: We define Gaussian assignment process, determine the asymptotic behavior of its maximum's expectation and suggest an explicit strategy that attains the corresponding asymptotics.


title: Sharp subcritical Sobolev inequalities and uniqueness of nonnegative solutions to high-order Lane-Emden equations on $\mathbb{S}^n$

abstract: In this paper, we are concerned with the uniqueness result for non-negative solutions of the higher-order Lane-Emden equations involving the GJMS operators on $\mathbb{S}^n$. Since the classical moving-plane method based on the Kelvin transform and maximum principle fails in dealing with the high-order elliptic equations in $\mathbb{S}^n$, we first employ the Mobius transform between $\mathbb{S}^n$ and $\mathbb{R}^n$, poly-harmonic average and iteration arguments to show that the higher-order Lane-Emden equation on $\mathbb{S}^n$ is equivalent to some integral equation in $\mathbb{R}^n$. Then we apply the method of moving plane in integral forms and the symmetry of sphere to obtain the uniqueness of nonnegative solutions to the higher-order Lane-Emden equations with subcritical polynomial growth on $\mathbb{S}^n$. As an application, we also identify the best constants and classify the extremals of the sharp subcritical high-order Sobolev inequalities involving the GJMS operators on $\mathbb{S}^n$. Our results do not seem to be in the literature even for the Lane-Emden equation and sharp subcritical Sobolev inequalities for first order derivatives on $\mathbb{S}^n$.


title: Filling MIS Vertices by Myopic Luminous Robots

abstract: We present the problem of finding a maximal independent set (MIS) (named as \emph{MIS Filling problem}) of an arbitrary connected graph having $n$ vertices with luminous myopic mobile robots. The robots enter the graph one after another from a particular vertex called the \emph{Door} and disperse along the edges of the graph without collision to occupy vertices such that the set of vertices occupied by the robots is a maximal independent set. We assume the robots have knowledge only about the maximum degree of the graph, denoted by $\Delta$. In this paper, we explore two versions of the problem: the solution to the first version, named as \emph{MIS Filling with Single Door}, works under an asynchronous scheduler using robots with 3 hops of visibility range, $\Delta + 6$ number of colors and $O(\log \Delta)$ bits of persistent storage. The time complexity is measured in terms of epochs and it can be solved in $O(n^2)$ epochs. An epoch is the smallest time interval in which each participating robot gets activated and executes the algorithm at least once. For the second version with $k~ ( > 1)$ \textit{Doors}, named as \emph{MIS Filling with Multiple Doors}, the solution works under a semi-synchronous scheduler using robots with 5 hops of visibility range, $\Delta + k + 6$ number of colors and $O(\log (\Delta + k))$ bits of persistent storage. The problem with multiple Doors can be solved in $O(n^2)$ epochs.


title: Hierarchical Self-Supervised Learning for Medical Image Segmentation Based on Multi-Domain Data Aggregation

abstract: A large labeled dataset is a key to the success of supervised deep learning, but for medical image segmentation, it is highly challenging to obtain sufficient annotated images for model training. In many scenarios, unannotated images are abundant and easy to acquire. Self-supervised learning (SSL) has shown great potentials in exploiting raw data information and representation learning. In this paper, we propose Hierarchical Self-Supervised Learning (HSSL), a new self-supervised framework that boosts medical image segmentation by making good use of unannotated data. Unlike the current literature on task-specific self-supervised pretraining followed by supervised fine-tuning, we utilize SSL to learn task-agnostic knowledge from heterogeneous data for various medical image segmentation tasks. Specifically, we first aggregate a dataset from several medical challenges, then pre-train the network in a self-supervised manner, and finally fine-tune on labeled data. We develop a new loss function by combining contrastive loss and classification loss and pretrain an encoder-decoder architecture for segmentation tasks. Our extensive experiments show that multi-domain joint pre-training benefits downstream segmentation tasks and outperforms single-domain pre-training significantly. Compared to learning from scratch, our new method yields better performance on various tasks (e.g., +0.69% to +18.60% in Dice scores with 5% of annotated data). With limited amounts of training data, our method can substantially bridge the performance gap w.r.t. denser annotations (e.g., 10% vs.~100% of annotated data).


title: The prevalence and impact of university affiliation discrepancies between four well-known bibliographic databases: Scopus, Web of Science, Dimensions, and Microsoft Academic

abstract: Research managers benchmarking universities against international peers face the problem of affiliation disambiguation. Different databases have taken separate approaches to this problem and discrepancies exist between them. Bibliometric data sources typically conduct a disambiguation process that unifies variant institutional names and those of its sub-units so that researchers can then search all records from that institution using a single unified name. This study examined affiliation discrepancies between Scopus, Web of Science, Dimensions, and Microsoft Academic for 18 Arab universities over a five-year period. We confirmed that digital object identifiers (DOIs) are suitable for extracting comparable scholarly material across databases and quantified the affiliation discrepancies between them. A substantial share of records assigned to the selected universities in any one database were not assigned to the same university in another. The share of discrepancy was higher in the larger databases, Dimensions and Microsoft Academic. The smaller, more selective databases, Scopus and especially Web of Science tended to agree to a greater degree with affiliations in the other databases. Manual examination of affiliation discrepancies showed they were caused by a mixture of missing affiliations, unification differences, and assignation of records to the wrong institution.


title: On the possibility of creating a UCN source on a periodic pulsed reactor

abstract: The possibility of creating a UCN source on a periodic pulsed reactor is considered. It is shown that the implementation of the time focusing principle based on non-stationary neutron diffraction and the idea of the UCN trap pulse filling allow creating a sufficiently intense UCN source in a moderate-power pulsed reactor.


title: The Linet-Tian metrics are a restricted set of Krasi\'nski's solutions of Einstein's field equations for a rotating perfect fluid

abstract: In this note we show that the Linet-Tian family of solutions of the vacuum Einstein equations with a cosmological constant are a restricted set of the solutions of the Einstein field equations for a rotating perfect fluid previously found by A. Krasi\'nski.


title: Universal features of gravitational waves emitted by superkick binary black hole systems

abstract: We use numerical relativity to study the merger and ringdown stages of "superkick" binary black hole systems (those with equal mass and anti-parallel spins). We find a universal way to describe the mass and current quadrupole gravitational waves emitted by these systems during the merger and ringdown stage: (i) The time evolutions of these waves are insensitive to the progenitor's parameters (spins) after being normalized by their own peak values. (ii) The peak values, which encode all the spin information of the progenitor, can be consistently fitted to formulas inspired by post-Newtonian theory. We find that the universal evolution of the mass quadrupole wave can be accurately modeled by the so-called Backwards One-Body (BOB) model. However, the BOB model, in its present form, leads to a lower waveform match and a significant parameter-estimation bias for the current quadrupole wave. We also decompose the ringdown signal into seven overtones, and study the dependence of mode amplitudes on the progenitor's parameters. Such dependence is found to be insensitive to the overtone index (up to a scaling factor). Finally, we use the Fisher matrix technique to investigate how the ringdown waveform can be at least as important for parameter estimation as the inspiral stage. Assuming the Cosmic Explorer, we find the contribution of ringdown portion dominates as the total mass exceeds ~ 250 solar mass. For massive BBH systems, the accuracy of parameter measurement is improved by incorporating the information of ringdown -- the ringdown sector gives rise to a different parameter correlation from inspiral stage, hence the overall parameter correlation is reduced in the full signal.


title: Inference of Shape Expression Schemas Typed RDF Graphs

abstract: We consider the problem of constructing a Shape Expression Schema (ShEx) that describes the structure of a given input RDF graph. We employ the framework of grammatical inference, where the objective is to find an inference algorithm that is both sound i.e., always producing a schema that validates the input RDF graph, and complete i.e., able to produce any schema, within a given class of schemas, provided that a sufficiently informative input graph is presented. We study the case where the input graph is typed i.e., every node is given with its types. We limit our attention to a practical fragment ShEx0 of Shape Expressions Schemas that has an equivalent graphical representation in the form of shape graphs. We investigate the problem of constructing a canonical representative of a given shape graph. Finally, we present a sound and complete algorithm for shape graphs thus showing that ShEx0 is learnable from typed graphs.


title: A multi-orthogonal polynomials' approach to bulk queueing theory

abstract: We consider a stationary Markov process that models certain queues with a bulk service of a fixed number $m$ of admitted customers. We find an integral expression of its transition probability function in terms of certain multi-orthogonal polynomials with respect to a system of distributions that contain measures supported on starlike subsets of the complex plane. We also study the corresponding steady state.


title: Klein-like tunneling of sound via negative index metamaterials

abstract: Klein tunneling is a counterintuitive quantum-mechanical phenomenon, predicting perfect transmission of relativistic particles through higher energy barriers. This phenomenon was shown to be supported at normal incidence in graphene due to pseudospin conservation. Here I show that Klein tunneling analogue can occur in classical systems, and remarkably, not relying on mimicking graphene's spinor wavefunction structure. Instead, the mechanism requires a particular form of constitutive parameters of the penetrated medium, yielding transmission properties identical to the quantum tunneling in graphene. I demonstrate this result by simulating tunneling of sound in a two-dimensional acoustic metamaterial. More strikingly, I show that by introducing a certain form of anisotropy, the tunneling can be made unimpeded for any incidence angle, while keeping most of its original Klein dispersion properties. This phenomenon may be denoted by the omnidirectional Klein-like tunneling. The new tunneling mechanism and its omnidirectional variant may be useful for applications requiring lossless and direction-independent transmission of classical waves.


title: Improving Inductive Link Prediction Using Hyper-Relational Facts

abstract: For many years, link prediction on knowledge graphs (KGs) has been a purely transductive task, not allowing for reasoning on unseen entities. Recently, increasing efforts are put into exploring semi- and fully inductive scenarios, enabling inference over unseen and emerging entities. Still, all these approaches only consider triple-based \glspl{kg}, whereas their richer counterparts, hyper-relational KGs (e.g., Wikidata), have not yet been properly studied. In this work, we classify different inductive settings and study the benefits of employing hyper-relational KGs on a wide range of semi- and fully inductive link prediction tasks powered by recent advancements in graph neural networks. Our experiments on a novel set of benchmarks show that qualifiers over typed edges can lead to performance improvements of 6% of absolute gains (for the Hits@10 metric) compared to triple-only baselines. Our code is available at \url{https://github.com/mali-git/hyper_relational_ilp}.


title: Towards a Multimodal System for Precision Agriculture using IoT and Machine Learning

abstract: Precision agriculture system is an arising idea that refers to overseeing farms utilizing current information and communication technologies to improve the quantity and quality of yields while advancing the human work required. The automation requires the assortment of information given by the sensors such as soil, water, light, humidity, temperature for additional information to furnish the operator with exact data to acquire excellent yield to farmers. In this work, a study is proposed that incorporates all common state-of-the-art approaches for precision agriculture use. Technologies like the Internet of Things (IoT) for data collection, machine Learning for crop damage prediction, and deep learning for crop disease detection is used. The data collection using IoT is responsible for the measure of moisture levels for smart irrigation, n, p, k estimations of fertilizers for best yield development. For crop damage prediction, various algorithms like Random Forest (RF), Light gradient boosting machine (LGBM), XGBoost (XGB), Decision Tree (DT) and K Nearest Neighbor (KNN) are used. Subsequently, Pre-Trained Convolutional Neural Network (CNN) models such as VGG16, Resnet50, and DenseNet121 are also trained to check if the crop was tainted with some illness or not.


title: Euclidean Algebras

abstract: We introduce a new example of unital commutative $n$-dimensional group algebra $\mathbb{R}_n$ for $n \geq 2$. The algebra $\mathbb{R}_n$ and the complex numbers $\mathbb{C}$ are astonishingly alike. The zero divisor set of the algebra has Lebesgue $\mu_n$-measure zero. The formula for the Haar measure is established. Also, the analytic function theory in $\mathbb{R}_n,$ for $n=2k$ that similar to the classical theory in $\mathbb{C}$ is introduced. This includes the Cauchy-Riemann equations, mean-value theorem and Louisville theorem.


title: Learning-to-Dispatch: Reinforcement Learning Based Flight Planning under Emergency

abstract: The effectiveness of resource allocation under emergencies especially hurricane disasters is crucial. However, most researchers focus on emergency resource allocation in a ground transportation system. In this paper, we propose Learning-to-Dispatch (L2D), a reinforcement learning (RL) based air route dispatching system, that aims to add additional flights for hurricane evacuation while minimizing the airspace's complexity and air traffic controller's workload. Given a bipartite graph with weights that are learned from the historical flight data using RL in consideration of short- and long-term gains, we formulate the flight dispatch as an online maximum weight matching problem. Different from the conventional order dispatch problem, there is no actual or estimated index that can evaluate how the additional evacuation flights influence the air traffic complexity. Then we propose a multivariate reward function in the learning phase and compare it with other univariate reward designs to show its superior performance. The experiments using the real-world dataset for Hurricane Irma demonstrate the efficacy and efficiency of our proposed schema.


title: Optimal gradient estimates for multi-phase integrals

abstract: We prove sharp reverse H\"older inequalities for minima of multi-phase variational integrals and apply them to Calder\'on-Zygmund estimates for nonhomogeneous problems.


title: Bounds Preserving Temporal Integration Methods for Hyperbolic Conservation Laws

abstract: In this work, we present a modification of explicit Runge-Kutta temporal integration schemes that guarantees the preservation of any locally-defined quasiconvex set of bounds for the solution. These schemes operate on the basis of a bijective mapping between an admissible set of solutions and the real domain to strictly enforce bounds. Within this framework, we show that it is possible to recover a wide range of methods independently of the spatial discretization, including positivity preserving, discrete maximum principle satisfying, entropy dissipative, and invariant domain preserving schemes. Furthermore, these schemes are proven to recover the order of accuracy of the underlying Runge-Kutta method upon which they are built. The additional computational cost is the evaluation of two nonlinear mappings which generally have closed-form solutions. We show the utility of this approach in numerical experiments using a pseudospectral spatial discretization without any explicit shock capturing schemes for nonlinear hyperbolic problems with discontinuities.


title: Symmetry Reduction of States I

abstract: We develop a general theory of symmetry reduction of states on (possibly non-commutative) *-algebras that are equipped with a Poisson bracket and a Hamiltonian action of a commutative Lie algebra $g$. The key idea advocated for in this article is that the ``correct'' notion of positivity on a *-algebra $A$ is not necessarily the algebraic one, for which positive elements are sums of Hermitian squares $a^*a$ with $a \in A$, but can be a more general one that depends on the example at hand, like pointwise positivity on *-algebras of functions or positivity in a representation as operators. The notion of states (normalized positive Hermitian linear functionals) on $A$ thus depends on this choice of positivity on $A$, and the notion of positivity on the reduced algebra $A_{red}$ should be such that states on $A_{red}$ are obtained as reductions of certain states on $A$. We discuss three examples in detail: Reduction of the *-algebra of smooth functions on a Poisson manifold $M$, reduction of the Weyl algebra with respect to translation symmetry, and reduction of the polynomial algebra with respect to a $U(1)$-action.


title: Homogenization of a diffusion in a high-contrast random environment and related Markov semigroups

abstract: The goal of the paper is to describe the large time behaviour of a Markov process associated with a symmetric diffusion in a high-contrast random environment and to characterize the limit semigroup and the limit process under the diffusive scaling.


title: Industry and Academic Research in Computer Vision

abstract: This work aims to study the dynamic between research in the industry and academia in computer vision. The results are demonstrated on a set of top-5 vision conferences that are representative of the field. Since data for such analysis was not readily available, significant effort was spent on gathering and processing meta-data from the original publications. First, this study quantifies the share of industry-sponsored research. Specifically, it shows that the proportion of papers published by industry-affiliated researchers is increasing and that more academics join companies or collaborate with them. Next, the possible impact of industry presence is further explored, namely in the distribution of research topics and citation patterns. The results indicate that the distribution of the research topics is similar in industry and academic papers. However, there is a strong preference towards citing industry papers. Finally, possible reasons for citation bias, such as code availability and influence, are investigated.


title: On the global Hadamard parametrix in QFT and the signed squared geodesic distance defined in domains larger than convex normal neighbourhoods

abstract: We consider the global Hadamard condition and the notion of Hadamard parametrix whose use is pervasive in algebraic QFT in curved spacetime (see refences in the main text). We point out the existence of a technical problem in the literature concerning well-definedness of the global Hadamard parametrix in normal neighbourhoods of Cauchy surfaces. We discuss in particular the definition of the (signed) geodesic distance $\sigma$ and related structures in an open neighbourhood of the diagonal of $M\times M$ larger than $U\times U$, for a normal convex neighborhood $U$, where $(M,g)$ is a Riemannian or Lorentzian (smooth Hausdorff paracompact) manifold. We eventually propose a quite natural solution which slightly changes the original definition by B.S. Kay and R.M. Wald and relies upon some non-trivial consequences of the paracompactness property. The proposed re-formulation is in agreement with M.J. Radzikowski's microlocal version of the Hadamard condition.


title: Blockumulus: A Scalable Framework for Smart Contracts on the Cloud

abstract: Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public blockchains impose large fees and per-block resource limits, making it difficult to accommodate the ever-growing transaction demand. Previous research endeavors to improve the scalability of blockchain through various technologies, such as side-chaining, sharding, secured off-chain computation, communication network optimizations, and efficient consensus protocols. However, these approaches have not attained a widespread adoption due to their inability in delivering a cloud-like performance, in terms of the scalability in transaction throughput, storage, and compute capacity. In this work, we determine that the major obstacle to public blockchain scalability is their underlying unstructured P2P networks. We further show that a centralized network can support the deployment of decentralized smart contracts. We propose a novel approach for achieving scalable decentralization: instead of trying to make blockchain scalable, we deliver decentralization to already scalable cloud by using an Ethereum smart contract. We introduce Blockumulus, a framework that can deploy decentralized cloud smart contract environments using a novel technique called overlay consensus. Through experiments, we demonstrate that Blockumulus is scalable in all three dimensions: computation, data storage, and transaction throughput. Besides eliminating the current code execution and storage restrictions, Blockumulus delivers a transaction latency between 2 and 5 seconds under normal load. Moreover, the stress test of our prototype reveals the ability to execute 20,000 simultaneous transactions under 26 seconds, which is on par with the average throughput of worldwide credit card transactions.


title: The second-class current decays $\tau \to \pi \eta(\eta') \nu_{\tau}$ in the NJL model including the interaction of mesons in the final state

abstract: The effect of the interaction of mesons in the final state is additionally considered within the description of $\tau \to \pi \eta(\eta') \nu_{\tau}$ decays. This interaction is taken into account at the level of production of intermediate pions. One of them, in turn, might be transited into $\eta$ or $\eta'$ mesons. Our results do not exceed the experimentally established branching fractions, and they are in agreement with the results of other theoretical studies.


title: Anisotropic exchange and non-collinear antiferromagnets on a noncentrosymmetric fcc structure as in the half-Heuslers

abstract: One of the signatures of the face-centered cubic (fcc) antiferromagnet as a typical example of a geometrically frustrated system is the large ground state degeneracy of the classical nearest neighbor and next-nearest neighbor Heisenberg (isotropic) model on this lattice. In particular, collinear states are degenerate with non-collinear and non-coplanar ones: this degeneracy is accidental and is expected to be lifted by anisotropic exchange interactions. In this work, we derive the most general nearest and next-nearest neighbor exchange model allowed by the space-group symmetry of the noncentrosymmetric half-Heusler compounds, which includes three anisotropic terms: the so-called Kitaev, Gamma and Dzyaloshinskii-Moriya interactions -- most notably, the latter is allowed by the breaking of inversion symmetry in these materials and has not been previously been studied in the context of the fcc lattice. We compute the resulting phase diagram and show how the different terms lift the ground state degeneracy of the isotropic model, and lay emphasis on finding regimes where multi-q (non-collinear/non-coplanar) states are selected by anisotropy. We then discuss the role of quantum fluctuations and the coupling to a magnetic field in the ground state selection, and show that these effects can stabilize non-coplanar (triple-q) states. These results suggest that some half-Heusler antiferromagnets might host rare non-collinear/non-coplanar orders, which may in turn explain the unusual transport properties detected in these semimetals.


title: Deep Quantile Regression: Mitigating the Curse of Dimensionality Through Composition

abstract: This paper considers the problem of nonparametric quantile regression under the assumption that the target conditional quantile function is a composition of a sequence of low-dimensional functions. We study the nonparametric quantile regression estimator using deep neural networks to approximate the target conditional quantile function. For convenience, we shall refer to such an estimator as a deep quantile regression (DQR) estimator. We show that the DQR estimator achieves the nonparametric optimal convergence rate up to a logarithmic factor determined by the intrinsic dimension of the underlying compositional structure of the conditional quantile function, not the ambient dimension of the predictor. Therefore, DQR is able to mitigate the curse of dimensionality under the assumption that the conditional quantile function has a compositional structure. To establish these results, we analyze the approximation error of a composite function by neural networks and show that the error rate only depends on the dimensions of the component functions. We apply our general results to several important statistical models often used in mitigating the curse of dimensionality, including the single index, the additive, the projection pursuit, the univariate composite, and the generalized hierarchical interaction models. We explicitly describe the prefactors in the error bounds in terms of the dimensionality of the data and show that the prefactors depends on the dimensionality linearly or quadratically in these models. We also conduct extensive numerical experiments to evaluate the effectiveness of DQR and demonstrate that it outperforms a kernel-based method for nonparametric quantile regression.


title: Hierarchical Learning Framework for UAV Detection and Identification

abstract: The ubiquity of unmanned aerial vehicles (UAVs) or drones is posing both security and safety risks to the public as UAVs are now used for cybercrimes. To mitigate these risks, it is important to have a system that can detect or identify the presence of an intruding UAV in a restricted environment. In this work, we propose a radio frequency (RF) based UAV detection and identification system by exploiting signals emanating from both the UAV and its flight controller, respectively. While several RF devices (i.e., Bluetooth and WiFi devices) operate in the same frequency band as UAVs, the proposed framework utilizes a semi-supervised learning approach for the detection of UAV or UAV's control signals in the presence of other wireless signals such as Bluetooth and WiFi. The semi-supervised learning approach uses stacked denoising autoencoder and local outlier factor algorithms. After the detection of UAV or UAV's control signals, the signal is decomposed by using Hilbert-Huang transform and wavelet packet transform to extract features from the time-frequency-energy domain of the signal. The extracted feature sets are used to train a three-level hierarchical classifier for identifying the type of signals (i.e., UAV or UAV control signal), UAV models, and flight mode of UAV. To demonstrate the feasibility of the proposed framework, we carried out an outdoor experiment for data collection using six UAVs, five Bluetooth devices, and two WiFi devices. The acquired data is called Cardinal RF (CardRF) dataset, and it is available for public use to foster UAV detection and identification research.


title: Methodology development and evaluation of optical properties characterisation of small size tissue samples

abstract: Integrating sphere (IS) techniques combined with an inverse adding doubling (IAD) algorithm have been widely used for determination of optical properties of ex vivo tissues. Semi-infinite samples are required in such cases. The aim of this study is to develop a methodology for calculating the optical absorption and reduced scattering of biological tissues of small size from IS measurements at 400-1800 nm. We propose a two-stage IAD algorithm to mitigate profound cross-talk effects in the estimation of the reduced scattering in the case of very high absorption. We developed a small sample adaptor kit to allow IS measurements of samples with small sizes using a commercial spectrophotometer. Results showed that: The two-stage IAD substantially eliminated the cross-talks in the reduced scattering spectra, thus rectifying absorption accordingly; and the small sized sample measurements led to systematically overestimated absorption values while the spectrum shape well preserved as compared to the normal port size measurements.


title: Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends

abstract: The integration of Information and Communication Technology (ICT) tools into mechanical devices found in aviation industry has raised security concerns. The more integrated the system, the more vulnerable due to the inherent vulnerabilities found in ICT tools and software that drives the system. The security concerns have become more heightened as the concept of electronic-enabled aircraft and smart airports get refined and implemented underway. In line with the above, this paper undertakes a review of cyber-security incidence in the aviation sector over the last 20 years. The essence is to understand the common threat actors, their motivations, the type of attacks, aviation infrastructure that is commonly attacked and then match these so as to provide insight on the current state of the cyber-security in the aviation sector. The review showed that the industry's threats come mainly from Advance Persistent Threat (APT) groups that work in collaboration with some state actors to steal intellectual property and intelligence, in order to advance their domestic aerospace capabilities as well as possibly monitor, infiltrate and subvert other nations' capabilities. The segment of the aviation industry commonly attacked is the Information Technology infrastructure, and the prominent type of attacks is malicious hacking activities that aim at gaining unauthorised access using known malicious password cracking techniques such as Brute force attacks, Dictionary attacks and so on. The review further analysed the different attack surfaces that exist in aviation industry, threat dynamics, and use these dynamics to predict future trends of cyberattacks in the industry. The aim is to provide information for the cybersecurity professionals and aviation stakeholders for proactive actions in protecting these critical infrastructures against cyberincidence for an optimal customer service oriented industry.


title: Learning Concept Lengths Accelerates Concept Learning in ALC

abstract: Concept learning approaches based on refinement operators explore partially ordered solution spaces to compute concepts, which are used as binary classification models for individuals. However, the number of concepts explored by these approaches can grow to the millions for complex learning problems. This often leads to impractical runtimes. We propose to alleviate this problem by predicting the length of target concepts before the exploration of the solution space. By these means, we can prune the search space during concept learning. To achieve this goal, we compare four neural architectures and evaluate them on four benchmarks. Our evaluation results suggest that recurrent neural network architectures perform best at concept length prediction with a macro F-measure ranging from 38% to 92%. We then extend the CELOE algorithm, which learns ALC concepts, with our concept length predictor. Our extension yields the algorithm CLIP. In our experiments, CLIP is at least 7.5 times faster than other state-of-the-art concept learning algorithms for ALC -- including CELOE -- and achieves significant improvements in the F-measure of the concepts learned on 3 out of 4 datasets. For reproducibility, we provide our implementation in the public GitHub repository at https://github.com/dice-group/LearnALCLengths.


title: Large-Area Transfer of 2D TMDCs Assisted by Water-soluble layer for Potential Device Applications

abstract: Layer transfer offers enormous potential for the industrial implementation of 2D material technology platforms. However, the transfer method used must retain as-grown uniformity and cleanliness in the transferred films for the fabrication of 2D material-based. Additionally, the method used must be capable of large-area transfer to maintain wafer-scale fabrication standards. Here, a facile route to transfer centimeter-scale synthesized 2D TMDCs (3L MoS2, 1L WS2) onto various substrates such as sapphire, SiO2/Si, and flexible substrates (mica, polyimide) has been developed using a water-soluble layer (Na2S/Na2SO4) underneath the as-grown film. The developed transfer process represents a fast, clean, generic, and scalable technique to transfer 2D atomic layers. The key strategy used in this process includes the dissolution of Na2S/Na2SO4 layer due to the penetration of NaOH solution between the growth substrate and hydrophobic 2D TMDC film. As a proof-of-concept device, a broadband photodetector has been fabricated onto transferred 3L MoS2, which shows photoresponse behavior for a wide range of wavelength ranging from NIR to UV. The enhancement in photocurrent was found to be 100 times and 10 times to dark current in the UV and visible region, respectively. This work opens up the pathway towards flexible electronics and optoelectronics.


title: Characterization of the seismic field at Virgo and improved estimates of Newtonian-noise suppression by recesses

abstract: Fluctuations of gravitational forces cause so-called Newtonian noise (NN) in gravitational-wave (GW) detectors which is expected to limit their low-frequency sensitivity in upcoming observing runs. Seismic NN is produced by seismic waves passing near a detector's suspended test masses. It is predicted to be the strongest contribution to NN. Modeling this contribution accurately is a major challenge. Arrays of seismometers were deployed at the Virgo site to characterize the seismic field near the four test masses. In this paper, we present results of a spectral analysis of the array data from one of Virgo's end buildings to identify dominant modes of the seismic field. Some of the modes can be associated with known seismic sources. Analyzing the modes over a range of frequencies, we provide a dispersion curve of Rayleigh waves. We find that the Rayleigh speed in the NN frequency band 10 Hz - 20 Hz is very low ($\lesssim$100\,m/s), which has important consequences for Virgo's seismic NN. Using the new speed estimate, we find that the recess formed under the suspended test masses by a basement level at the end buildings leads to a 10 fold reduction of seismic NN.


title: Anatomy of Domain Shift Impact on U-Net Layers in MRI Segmentation

abstract: Domain Adaptation (DA) methods are widely used in medical image segmentation tasks to tackle the problem of differently distributed train (source) and test (target) data. We consider the supervised DA task with a limited number of annotated samples from the target domain. It corresponds to one of the most relevant clinical setups: building a sufficiently accurate model on the minimum possible amount of annotated data. Existing methods mostly fine-tune specific layers of the pretrained Convolutional Neural Network (CNN). However, there is no consensus on which layers are better to fine-tune, e.g. the first layers for images with low-level domain shift or the deeper layers for images with high-level domain shift. To this end, we propose SpotTUnet - a CNN architecture that automatically chooses the layers which should be optimally fine-tuned. More specifically, on the target domain, our method additionally learns the policy that indicates whether a specific layer should be fine-tuned or reused from the pretrained network. We show that our method performs at the same level as the best of the nonflexible fine-tuning methods even under the extreme scarcity of annotated data. Secondly, we show that SpotTUnet policy provides a layer-wise visualization of the domain shift impact on the network, which could be further used to develop robust domain generalization methods. In order to extensively evaluate SpotTUnet performance, we use a publicly available dataset of brain MR images (CC359), characterized by explicit domain shift. We release a reproducible experimental pipeline.


title: Configuration mixing in strange tetraquarks $Z_{cs}$

abstract: The BESIII Collaboration has observed a candidate for a $c \bar c s \bar u$ tetraquark $Z_{cs}$ at $(3982.5^{+1.8}_{-2.6} \pm 2.1)$ MeV and width $(12.8^{+5.3}_{-4.4} \pm 3.0)$ MeV, while the LHCb Collaboration has observed a $Z_{cs}$ candidate in the $\jpsi K^-$ channel with mass of $(4003 \pm 6 ^{+4}_{-14})$ MeV and width $(131 \pm 15 \pm 26)$ MeV. In this note we examine the possibility that these two states are distinct eigenstates of a mixing process similar to that which gives rise to two axial-vector mesons labeled by the Particle Data Group $K_1(1270)$ and $K_1(1400)$. The main point is that on top of a $\bar c c$ pair, the $Z_{cs}$ states have the same light quark content as the $K_1$-s. In the compact tetraquark picture this implies several additional states, analogous to members of the $K_1$ nonet. These states have not yet been observed, nor are they required in the molecular approach. Thus experimental discovery or exclusion of these extra states will be a critical test for competing models of exotic mesons with hidden charm.


title: Systematic improvability in quantum embedding for real materials

abstract: Quantum embedding methods have become a powerful tool to overcome deficiencies of traditional quantum modelling in materials science. However, while these are systematically improvable in principle, in practice it is rarely possible to achieve rigorous convergence and often necessary to employ empirical parameters. Here, we formulate a quantum embedding theory, building on the methods of density-matrix embedding theory combined with local correlation approaches from quantum chemistry, to ensure the ability to systematically converge properties of real materials with accurate correlated wave~function methods, controlled by a single, rapidly convergent parameter. By expanding supercell size, basis set, and the resolution of the fluctuation space of an embedded fragment, we show that the systematic improvability of the approach yields accurate structural and electronic properties of realistic solids without empirical parameters, even across changes in geometry. Results are presented in insulating, semi-metallic, and more strongly correlated regimes, finding state of the art agreement to experimental data.


title: Microscopic interactions and emerging elasticity in model soft particulate gels

abstract: We discuss a class of models for particulate gels in which the particle contacts are described by an effective interaction combining a two-body attraction and a three-body angular repulsion. Using molecular dynamics, we show how varying the model parameters allows us to sample, for a given gelation protocol, a variety of gel morphologies. For a specific set of the model parameters, we identify the local elastic structures that get interlocked in the gel network. Using the analytical expression of their elastic energy from the microscopic interactions, we can estimate their contribution to the emergent elasticity of the gel and gain new insight into its origin.


title: Convergence of the Gradient Sampling Algorithm on Directionally Lipschitz Functions

abstract: The convergence theory for the gradient sampling algorithm is extended to directionally Lipschitz functions. Although directionally Lipschitz functions are not necessarily locally Lipschitz, they are almost everywhere differentiable and well approximated by gradients and so are a natural candidate for the application of the gradient sampling algorithm. The main obstacle to this extension is the potential unboundedness or emptiness of the Clarke subdifferential at points of interest. The convergence analysis we present provides one path to addressing these issues. In particular, we recover the usual convergence theory when the function is locally Lipschitz. Moreover, if the algorithm does not drive a certain measure of criticality to zero, then the iterates must converge to a point at which either the Clarke subdifferential is empty or the direction of steepest descent is degenerate in the sense that it does lie in the interior of the domain of the regular subderivative.


title: Analysis of Smooth Heaps and Slim Heaps

abstract: The smooth heap is a recently introduced self-adjusting heap [Kozma, Saranurak, 2018] similar to the pairing heap [Fredman, Sedgewick, Sleator, Tarjan, 1986]. The smooth heap was obtained as a heap-counterpart of Greedy BST, a binary search tree updating strategy conjectured to be \emph{instance-optimal} [Lucas, 1988], [Munro, 2000]. Several adaptive properties of smooth heaps follow from this connection; moreover, the smooth heap itself has been conjectured to be instance-optimal within a certain class of heaps. Nevertheless, no general analysis of smooth heaps has existed until now, the only previous analysis showing that, when used in \emph{sorting mode} ($n$ insertions followed by $n$ delete-min operations), smooth heaps sort $n$ numbers in $O(n\lg n)$ time. In this paper we describe a simpler variant of the smooth heap we call the \emph{slim heap}. We give a new, self-contained analysis of smooth heaps and slim heaps in unrestricted operation, obtaining amortized bounds that match the best bounds known for self-adjusting heaps. Previous experimental work has found the pairing heap to dominate other data structures in this class in various settings. Our tests show that smooth heaps and slim heaps are competitive with pairing heaps, outperforming them in some cases, while being comparably easy to implement.


title: Strong ensemble nonequivalence in systems with local constraints

abstract: The asymptotic equivalence of canonical and microcanonical ensembles is a central concept in statistical physics, with important consequences for both theoretical research and practical applications. However, this property breaks down under certain circumstances. The most studied violation of ensemble equivalence requires phase transitions, in which case it has a `restricted' (i.e. confined to a certain region in parameter space) but `strong' (i.e. characterized by a difference between the entropies of the two ensembles that is of the same order as the entropies themselves) form. However, recent research on networks has shown that the presence of an extensive number of local constraints can lead to ensemble nonequivalence even in the absence of phase transitions. This occurs in a `weak' (i.e. leading to a subleading entropy difference) but remarkably `unrestricted' (i.e. valid in the entire parameter space) form. Here we look for more general manifestations of ensemble nonequivalence in arbitrary ensembles of matrices with given margins. These models have widespread applications in the study of spatially heterogeneous and/or temporally nonstationary systems, with consequences for the analysis of multivariate financial and neural time-series, multi-platform social activity, gene expression profiles and other Big Data. We confirm that ensemble nonequivalence appears in `unrestricted' form throughout the entire parameter space due to the extensivity of local constraints. Surprisingly, at the same time it can also exhibit the `strong' form. This novel, simultaneously `strong and unrestricted' form of nonequivalence is very robust and imposes a principled choice of the ensemble. We calculate the proper mathematical quantities to be used in real-world applications.


title: Feature-based Event Stereo Visual Odometry

abstract: Event-based cameras are biologically inspired sensors that output events, i.e., asynchronous pixel-wise brightness changes in the scene. Their high dynamic range and temporal resolution of a microsecond makes them more reliable than standard cameras in environments of challenging illumination and in high-speed scenarios, thus developing odometry algorithms based solely on event cameras offers exciting new possibilities for autonomous systems and robots. In this paper, we propose a novel stereo visual odometry method for event cameras based on feature detection and matching with careful feature management, while pose estimation is done by reprojection error minimization. We evaluate the performance of the proposed method on two publicly available datasets: MVSEC sequences captured by an indoor flying drone and DSEC outdoor driving sequences. MVSEC offers accurate ground truth from motion capture, while for DSEC, which does not offer ground truth, in order to obtain a reference trajectory on the standard camera frames we used our SOFT visual odometry, one of the highest ranking algorithms on the KITTI scoreboards. We compared our method to the ESVO method, which is the first and still the only stereo event odometry method, showing on par performance on the MVSEC sequences, while on the DSEC dataset ESVO, unlike our method, was unable to handle outdoor driving scenario with default parameters. Furthermore, two important advantages of our method over ESVO are that it adapts tracking frequency to the asynchronous event rate and does not require initialization.


title: NeuroDB: A Neural Network Framework for Answering Range Aggregate Queries and Beyond

abstract: Range aggregate queries (RAQs) are an integral part of many real-world applications, where, often, fast and approximate answers for the queries are desired. Recent work has studied answering RAQs using machine learning models, where a model of the data is learned to answer the queries. However, such modelling choices fail to utilize any query specific information. To capture such information, we observe that RAQs can be represented by query functions, which are functions that take a query instance (i.e., a specific RAQ) as an input and output its corresponding answer. Using this representation, we formulate the problem of learning to approximate the query function, and propose NeuroDB, a query specialized neural network framework, that answers RAQs efficiently. NeuroDB is query-type agnostic (i.e., it does not make any assumption about the underlying query type) and our observation that queries can be represented by functions is not specific to RAQs. Thus, we investigate whether NeuroDB can be used for other query types, by applying it to distance to nearest neighbour queries. We experimentally show that NeuroDB outperforms the state-of-the-art for this query type, often by orders of magnitude. Moreover, the same neural network architecture as for RAQs is used, bringing to light the possibility of using a generic framework to answer any query type efficiently.


title: Extrapolation Estimation for Parametric Regression with Normal Measurement Error

abstract: For the general parametric regression models with covariates contaminated with normal measurement errors, this paper proposes an accelerated version of the classical simulation extrapolation algorithm to estimate the unknown parameters in the regression function. By applying the conditional expectation directly to the target function, the proposed algorithm successfully removes the simulation step, by generating an estimation equation either for immediate use or for extrapolating, thus significantly reducing the computational time. Large sample properties of the resulting estimator, including the consistency and the asymptotic normality, are thoroughly discussed. Potential wide applications of the proposed estimation procedure are illustrated by examples, simulation studies, as well as a real data analysis.


title: Distributed Deep Reinforcement Learning for Intelligent Traffic Monitoring with a Team of Aerial Robots

abstract: This paper studies the traffic monitoring problem in a road network using a team of aerial robots. The problem is challenging due to two main reasons. First, the traffic events are stochastic, both temporally and spatially. Second, the problem has a non-homogeneous structure as the traffic events arrive at different locations of the road network at different rates. Accordingly, some locations require more visits by the robots compared to other locations. To address these issues, we define an uncertainty metric for each location of the road network and formulate a path planning problem for the aerial robots to minimize the network's average uncertainty. We express this problem as a partially observable Markov decision process (POMDP) and propose a distributed and scalable algorithm based on deep reinforcement learning to solve it. We consider two different scenarios depending on the communication mode between the agents (aerial robots) and the traffic management center (TMC). The first scenario assumes that the agents continuously communicate with the TMC to send/receive real-time information about the traffic events. Hence, the agents have global and real-time knowledge of the environment. However, in the second scenario, we consider a challenging setting where the observation of the aerial robots is partial and limited to their sensing ranges. Moreover, in contrast to the first scenario, the information exchange between the aerial robots and the TMC is restricted to specific time instances. We evaluate the performance of our proposed algorithm in both scenarios for a real road network topology and demonstrate its functionality in a traffic monitoring system.


title: Geographic Spillover Effects of Prescription Drug Monitoring Programs (PDMPs)

abstract: Prescription Drug Monitoring Programs (PDMPs) seek to potentially reduce opioid misuse by restricting the sale of opioids in a state. We examine discontinuities along state borders, where one side may have a PDMP and the other side may not. We find that electronic PDMP implementation, whereby doctors and pharmacists can observe a patient's opioid purchase history, reduces a state's opioid sales but increases opioid sales in neighboring counties on the other side of the state border. We also find systematic differences in opioid sales and mortality between border counties and interior counties. These differences decrease when neighboring states both have ePDMPs, which is consistent with the hypothesis that individuals cross state lines to purchase opioids. Our work highlights the importance of understanding the opioid market as connected across counties or states, as we show that states are affected by the opioid policies of their neighbors.


title: Potential iLQR: A Potential-Minimizing Controller for Planning Multi-Agent Interactive Trajectories

abstract: Many robotic applications involve interactions between multiple agents where an agent's decisions affect the behavior of other agents. Such behaviors can be captured by the equilibria of differential games which provide an expressive framework for modeling the agents' mutual influence. However, finding the equilibria of differential games is in general challenging as it involves solving a set of coupled optimal control problems. In this work, we propose to leverage the special structure of multi-agent interactions to generate interactive trajectories by simply solving a single optimal control problem, namely, the optimal control problem associated with minimizing the potential function of the differential game. Our key insight is that for a certain class of multi-agent interactions, the underlying differential game is indeed a potential differential game for which equilibria can be found by solving a single optimal control problem. We introduce such an optimal control problem and build on single-agent trajectory optimization methods to develop a computationally tractable and scalable algorithm for planning multi-agent interactive trajectories. We will demonstrate the performance of our algorithm in simulation and show that our algorithm outperforms the state-of-the-art game solvers. To further show the real-time capabilities of our algorithm, we will demonstrate the application of our proposed algorithm in a set of experiments involving interactive trajectories for two quadcopters.


title: Lorentz-symmetry violation in the electroweak sector: scattering processes in future $e^+ \, e^-$ colliders

abstract: We study CPT-odd non-minimal Lorentz-symmetry violating couplings in the electroweak sector modifying the interactions between leptons, gauge mediators and the Higgs boson. The tree-level (differential) cross sections for three important electroweak processes are discussed: $e^+ \, e^- \rightarrow Z \, H$, $e^+ \, e^- \rightarrow Z \, Z$ and $\gamma \, \gamma \rightarrow W^+ \, W^-$. By considering next-generation $e^+ \, e^-$ colliders reaching center-of-mass energies at the TeV scale and the estimated improved precision for the measurements of the respective cross sections, we are able to project upper bounds on the purely time-like background 4-vector as strict as $\lesssim 10^{-5} \, \mbox{GeV}^{-1}$, in agreement with previous work on similar Lorentz-violating couplings.


title: Sustained cost declines in solar PV and battery storage needed to eliminate coal generation in India

abstract: Unabated coal power in India must be phased out by mid-century to achieve global climate targets under the Paris Agreement. Here we estimate the costs of hybrid power plants - lithium-ion battery storage with wind and solar PV - to replace coal generation. We design least cost mixes of these technologies to supply stylized baseload and load-following generation profiles in three Indian states - Karnataka, Gujarat, and Tamil Nadu. Our analysis shows that availability of low cost capital, solar PV capital costs of at least $250/kW, and battery storage capacity costs at least 50% cheaper than current levels will be required to phase out existing coal power plants. Phaseout by 2040 requires a 6% annual decline in the cost of hybrid systems over the next two decades. We find that replacing coal generation with hybrid systems 99% of the hours over multiple decades is roughly 40% cheaper than 100% replacement, indicating a key role for other low cost grid flexibility mechanisms to help hasten coal phaseout. Solar PV is more suited to pairing with short duration storage than wind power. Overall, our results describe the challenging technological and policy advances needed to achieve the temperature goals of the Paris Agreement.


title: Computational Paremiology: Charting the temporal, ecological dynamics of proverb use in books, news articles, and tweets

abstract: Proverbs are an essential component of language and culture, and though much attention has been paid to their history and currency, there has been comparatively little quantitative work on changes in the frequency with which they are used over time. With wider availability of large corpora reflecting many diverse genres of documents, it is now possible to take a broad and dynamic view of the importance of the proverb. Here, we measure temporal changes in the relevance of proverbs within three corpora, differing in kind, scale, and time frame: Millions of books over centuries; hundreds of millions of news articles over twenty years; and billions of tweets over a decade. We find that proverbs present heavy-tailed frequency-of-usage rank distributions in each venue; exhibit trends reflecting the cultural dynamics of the eras covered; and have evolved into contemporary forms on social media.


title: TeliNet: Classifying CT scan images for COVID-19 diagnosis

abstract: COVID-19 has led to hundreds of millions of cases and millions of deaths worldwide since its onset. The fight against this pandemic is on-going on multiple fronts. While vaccinations are picking up speed, there are still billions of unvaccinated people. In this fight against the virus, diagnosis of the disease and isolation of the patients to prevent any spread play a huge role. Machine Learning approaches have assisted in the diagnosis of COVID-19 cases by analyzing chest X-rays and CT-scan images of patients. To push algorithm development and research in this direction of radiological diagnosis, a challenge to classify CT-scan series was organized in conjunction with ICCV, 2021. In this research we present a simple and shallow Convolutional Neural Network based approach, TeliNet, to classify these CT-scan images of COVID-19 patients presented as part of this competition. Our results outperform the F1 `macro' score of the competition benchmark and VGGNet approaches. Our proposed solution is also more lightweight in comparison to the other methods.


title: High-Chern number phase in the topological insulator multilayer structures

abstract: The high-Chern number phases with a Chern number C>1 have been observed in a recent experiment that performed on the topological insulator (TI) multilayer structures, consisting of the alternating magnetic-doped and undoped TI layers. In this paper, we develop an effective method to determine the Chern numbers in the TI multilayer structures and then make a systematic study on the Chern number phase diagrams that are modulated by the magnetic doping and the middle layer thickness. We point out that in the multilayer structure, the high-C behavior can be attributed to the band inversion mechanisms. Moreover, we find that the lowest bands may be multifold degenerate around the Gamma point, and when they are inverted, the Chern number change will be larger than one. Besides the TI multilayer structures implemented in the experiment, we also explore the high-C phase realizations in two other kinds of the TI multilayer structures. The implications of our results for experiments are discussed.


title: Aligning Correlation Information for Domain Adaptation in Action Recognition

abstract: Domain adaptation (DA) approaches address domain shift and enable networks to be applied to different scenarios. Although various image DA approaches have been proposed in recent years, there is limited research towards video DA. This is partly due to the complexity in adapting the different modalities of features in videos, which includes the correlation features extracted as long-term dependencies of pixels across spatiotemporal dimensions. The correlation features are highly associated with action classes and proven their effectiveness in accurate video feature extraction through the supervised action recognition task. Yet correlation features of the same action would differ across domains due to domain shift. Therefore we propose a novel Adversarial Correlation Adaptation Network (ACAN) to align action videos by aligning pixel correlations. ACAN aims to minimize the distribution of correlation information, termed as Pixel Correlation Discrepancy (PCD). Additionally, video DA research is also limited by the lack of cross-domain video datasets with larger domain shifts. We, therefore, introduce a novel HMDB-ARID dataset with a larger domain shift caused by a larger statistical difference between domains. This dataset is built in an effort to leverage current datasets for dark video classification. Empirical results demonstrate the state-of-the-art performance of our proposed ACAN for both existing and the new video DA datasets.


title: Gapped Dirac semimetal with mixed linear and parabolic dispersions

abstract: In this paper, we make a comprehensive study of the properties of a gapped Dirac semimetal model, which was originally proposed in the magnetoinfrared spectroscopy measurement of ZeTe$_5$, and includes both the linear and parabolic dispersions in all three directions. We find that, depending on the band inversion parameters, $\zeta'$ and $\zeta_z'$, the model can support three different phases: the single Dirac point (DP) phase, the double DPs phase and the Dirac ring phase. The three different phases can be distinguished by their low-energy features in the density of states (DOS) and optical conductivity. At high energy, both the DOS and optical conductivity exhibit power-law like behaviors, with the asymptotic exponents depending heavily on the signs of $\zeta'$ and $\zeta_z'$. Moreover, the thumb-of-rule formula between the DOS and optical conductivity is satisfied only when $(\zeta',\zeta_z')>0$. The implications of our results for experiments are discussed.


title: A Spatial Guided Self-supervised Clustering Network for Medical Image Segmentation

abstract: The segmentation of medical images is a fundamental step in automated clinical decision support systems. Existing medical image segmentation methods based on supervised deep learning, however, remain problematic because of their reliance on large amounts of labelled training data. Although medical imaging data repositories continue to expand, there has not been a commensurate increase in the amount of annotated data. Hence, we propose a new spatial guided self-supervised clustering network (SGSCN) for medical image segmentation, where we introduce multiple loss functions designed to aid in grouping image pixels that are spatially connected and have similar feature representations. It iteratively learns feature representations and clustering assignment of each pixel in an end-to-end fashion from a single image. We also propose a context-based consistency loss that better delineates the shape and boundaries of image regions. It enforces all the pixels belonging to a cluster to be spatially close to the cluster centre. We evaluated our method on 2 public medical image datasets and compared it to existing conventional and self-supervised clustering methods. Experimental results show that our method was most accurate for medical image segmentation.


title: Fourth Painlev\'e Equation and $PT$-Symmetric Hamiltonians

abstract: This paper is an addendum to earlier papers \cite{R1,R2} in which it was shown that the unstable separatrix solutions for Painlev\'e I and II are determined by $PT$-symmetric Hamiltonians. In this paper unstable separatrix solutions of the fourth Painlev\'e transcendent are studied numerically and analytically. For a fixed initial value, say $y(0)=1$, a discrete set of initial slopes $y'(0)=b_n$ give rise to separatrix solutions. Similarly, for a fixed initial slope, say $y'(0)=0$, a discrete set of initial values $y(0)=c_n$ give rise to separatrix solutions. For Painlev\'e IV the large-$n$ asymptotic behavior of $b_n$ is $b_n\sim B_{\rm IV}n^{3/4}$ and that of $c_n$ is $c_n\sim C_{\rm IV} n^{1/2}$. The constants $B_{\rm IV}$ and $C_{\rm IV}$ are determined both numerically and analytically. The analytical values of these constants are found by reducing the nonlinear Painlev\'e IV equation to the linear eigenvalue equation for the sextic $PT$-symmetric Hamiltonian $H=\frac{1}{2} p^2+\frac{1}{8} x^6$.


title: Social Catalysts: Characterizing People Who Spark Conversations Among Others

abstract: People assume different and important roles within social networks. Some roles have received extensive study: that of influencers who are well-connected, and that of brokers who bridge unconnected parts of the network. However, very little work has explored another potentially important role, that of creating opportunities for people to interact and facilitating conversation between them. These individuals bring people together and act as social catalysts. In this paper, we test for the presence of social catalysts on the online social network Facebook. We first identify posts that have spurred conversations between the poster's friends and summarize the characteristics of such posts. We then aggregate the number of catalyzed comments at the poster level, as a measure of the individual's "catalystness." The top 1% of such individuals account for 31% of catalyzed interactions, although their network characteristics do not differ markedly from others who post as frequently and have a similar number of friends. By collecting survey data, we also validate the behavioral measure of catalystness: a person is more likely to be nominated as a social catalyst by their friends if their posts prompt discussions between other people more frequently. The measure, along with other conversation-related features, is one of the most predictive of a person being nominated as a catalyst. Although influencers and brokers may have gotten more attention for their network positions, our findings provide converging evidence that another important role exists and is recognized in online social networks.


title: BEV-MODNet: Monocular Camera based Bird's Eye View Moving Object Detection for Autonomous Driving

abstract: Detection of moving objects is a very important task in autonomous driving systems. After the perception phase, motion planning is typically performed in Bird's Eye View (BEV) space. This would require projection of objects detected on the image plane to top view BEV plane. Such a projection is prone to errors due to lack of depth information and noisy mapping in far away areas. CNNs can leverage the global context in the scene to project better. In this work, we explore end-to-end Moving Object Detection (MOD) on the BEV map directly using monocular images as input. To the best of our knowledge, such a dataset does not exist and we create an extended KITTI-raw dataset consisting of 12.9k images with annotations of moving object masks in BEV space for five classes. The dataset is intended to be used for class agnostic motion cue based object detection and classes are provided as meta-data for better tuning. We design and implement a two-stream RGB and optical flow fusion architecture which outputs motion segmentation directly in BEV space. We compare it with inverse perspective mapping of state-of-the-art motion segmentation predictions on the image plane. We observe a significant improvement of 13% in mIoU using the simple baseline implementation. This demonstrates the ability to directly learn motion segmentation output in BEV space. Qualitative results of our baseline and the dataset annotations can be found in https://sites.google.com/view/bev-modnet.


title: Deep Fiber Clustering: Anatomically Informed Unsupervised Deep Learning for Fast and Effective White Matter Parcellation

abstract: White matter fiber clustering (WMFC) enables parcellation of white matter tractography for applications such as disease classification and anatomical tract segmentation. However, the lack of ground truth and the ambiguity of fiber data (the points along a fiber can equivalently be represented in forward or reverse order) pose challenges to this task. We propose a novel WMFC framework based on unsupervised deep learning. We solve the unsupervised clustering problem as a self-supervised learning task. Specifically, we use a convolutional neural network to learn embeddings of input fibers, using pairwise fiber distances as pseudo annotations. This enables WMFC that is insensitive to fiber point ordering. In addition, anatomical coherence of fiber clusters is improved by incorporating brain anatomical segmentation data. The proposed framework enables outlier removal in a natural way by rejecting fibers with low cluster assignment probability. We train and evaluate our method using 200 datasets from the Human Connectome Project. Results demonstrate superior performance and efficiency of the proposed approach.


title: Toward Certifiable Motion Planning for Medical Steerable Needles

abstract: Medical steerable needles can move along 3D curvilinear trajectories to avoid anatomical obstacles and reach clinically significant targets inside the human body. Automating steerable needle procedures can enable physicians and patients to harness the full potential of steerable needles by maximally leveraging their steerability to safely and accurately reach targets for medical procedures such as biopsies and localized therapy delivery for cancer. For the automation of medical procedures to be clinically accepted, it is critical from a patient care, safety, and regulatory perspective to certify the correctness and effectiveness of the motion planning algorithms involved in procedure automation. In this paper, we take an important step toward creating a certifiable motion planner for steerable needles. We introduce the first motion planner for steerable needles that offers a guarantee, under clinically appropriate assumptions, that it will, in finite time, compute an exact, obstacle-avoiding motion plan to a specified target, or notify the user that no such plan exists. We present an efficient, resolution-complete motion planner for steerable needles based on a novel adaptation of multi-resolution planning. Compared to state-of-the-art steerable needle motion planners (none of which provide any completeness guarantees), we demonstrate that our new resolution-complete motion planner computes plans faster and with a higher success rate.


title: You Really Shouldn't Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries

abstract: The security of the Internet rests on a small number of open-source cryptographic libraries: a vulnerability in any one of them threatens to compromise a significant percentage of web traffic. Despite this potential for security impact, the characteristics and causes of vulnerabilities in cryptographic software are not well understood. In this work, we conduct the first comprehensive analysis of cryptographic libraries and the vulnerabilities affecting them. We collect data from the National Vulnerability Database, individual project repositories and mailing lists, and other relevant sources for eight widely used cryptographic libraries. Among our most interesting findings is that only 27.2% of vulnerabilities in cryptographic libraries are cryptographic issues while 37.2% of vulnerabilities are memory safety issues, indicating that systems-level bugs are a greater security concern than the actual cryptographic procedures. In our investigation of the causes of these vulnerabilities, we find evidence of a strong correlation between the complexity of these libraries and their (in)security, empirically demonstrating the potential risks of bloated cryptographic codebases. We further compare our findings with non-cryptographic systems, observing that these systems are, indeed, more complex than similar counterparts, and that this excess complexity appears to produce significantly more vulnerabilities in cryptographic libraries than in non-cryptographic software.


title: Partial Video Domain Adaptation with Partial Adversarial Temporal Attentive Network

abstract: Partial Domain Adaptation (PDA) is a practical and general domain adaptation scenario, which relaxes the fully shared label space assumption such that the source label space subsumes the target one. The key challenge of PDA is the issue of negative transfer caused by source-only classes. For videos, such negative transfer could be triggered by both spatial and temporal features, which leads to a more challenging Partial Video Domain Adaptation (PVDA) problem. In this paper, we propose a novel Partial Adversarial Temporal Attentive Network (PATAN) to address the PVDA problem by utilizing both spatial and temporal features for filtering source-only classes. Besides, PATAN constructs effective overall temporal features by attending to local temporal features that contribute more toward the class filtration process. We further introduce new benchmarks to facilitate research on PVDA problems, covering a wide range of PVDA scenarios. Empirical results demonstrate the state-of-the-art performance of our proposed PATAN across the multiple PVDA benchmarks.