title: (-k)-critical trees and k-minimal trees

abstract: In a graph $G=(V,E)$, a module is a vertex subset $M$ of $V$ such that every vertex outside $M$ is adjacent to all or none of $M$. For example, $\emptyset$, $\{x\}$ $(x\in V )$ and $V$ are modules of $G$, called trivial modules. A graph, all the modules of which are trivial, is prime; otherwise, it is decomposable. A vertex $x$ of a prime graph $G$ is critical if $G - x$ is decomposable. Moreover, a prime graph with $k$ non-critical vertices is called $(-k)$-critical graph. A prime graph $G$ is $k$-minimal if there is some $k$-vertex set $X$ of vertices such that there is no proper induced subgraph of $G$ containing $X$ is prime. From this perspective, I. Boudabbous proposes to find the $(-k)$-critical graphs and $k$-minimal graphs for some integer $k$ even in a particular case of graphs. This research paper attempts to answer I. Boudabbous's question. First, it describes the $(-k)$-critical tree. As a corollary, we determine the number of nonisomorphic $(-k)$-critical tree with $n$ vertices where $k\in \{1,2,\lfloor\frac{n}{2}\rfloor\}$. Second, it provide a complete characterization of the $k$-minimal tree. As a corollary, we determine the number of nonisomorphic $k$-minimal tree with $n$ vertices where $k\leq 3$.


title: Multi-Agent Multi-Armed Bandits with Limited Communication

abstract: We consider the problem where $N$ agents collaboratively interact with an instance of a stochastic $K$ arm bandit problem for $K \gg N$. The agents aim to simultaneously minimize the cumulative regret over all the agents for a total of $T$ time steps, the number of communication rounds, and the number of bits in each communication round. We present Limited Communication Collaboration - Upper Confidence Bound (LCC-UCB), a doubling-epoch based algorithm where each agent communicates only after the end of the epoch and shares the index of the best arm it knows. With our algorithm, LCC-UCB, each agent enjoys a regret of $\tilde{O}\left(\sqrt{({K/N}+ N)T}\right)$, communicates for $O(\log T)$ steps and broadcasts $O(\log K)$ bits in each communication step. We extend the work to sparse graphs with maximum degree $K_G$, and diameter $D$ and propose LCC-UCB-GRAPH which enjoys a regret bound of $\tilde{O}\left(D\sqrt{(K/N+ K_G)DT}\right)$. Finally, we empirically show that the LCC-UCB and the LCC-UCB-GRAPH algorithm perform well and outperform strategies that communicate through a central node


title: cuFINUFFT: a load-balanced GPU library for general-purpose nonuniform FFTs

abstract: Nonuniform fast Fourier transforms dominate the computational cost in many applications including image reconstruction and signal processing. We thus present a general-purpose GPU-based CUDA library for type 1 (nonuniform to uniform) and type 2 (uniform to nonuniform) transforms in dimensions 2 and 3, in single or double precision. It achieves high performance for a given user-requested accuracy, regardless of the distribution of nonuniform points, via cache-aware point reordering, and load-balanced blocked spreading in shared memory. At low accuracies, this gives on-GPU throughputs around $10^9$ nonuniform points per second, and (even including host-device transfer) is typically 4-10$\times$ faster than the latest parallel CPU code FINUFFT (at 28 threads). It is competitive with two established GPU codes, being up to 90$\times$ faster at high accuracy and/or type 1 clustered point distributions. Finally we demonstrate a 5-12$\times$ speedup versus CPU in an X-ray diffraction 3D iterative reconstruction task at $10^{-12}$ accuracy, observing excellent multi-GPU weak scaling up to one rank per GPU.


title: Performance Analyses of MRT/MRC in Dual-Hop NOMA Full-Duplex AF Relay Networks with Residual Hardware Impairments

abstract: This paper analyzes the performance of maximum-ratio transmission (MRT)/maximum-ratio combining (MRC) scheme in a dual-hop non-orthogonal multiple access (NOMA) full-duplex (FD) relay networks in the presence of residual hardware impairments (RHIs). The effects of channel estimation errors (CEEs) and imperfect successive interference cancellation are also considered for a realistic performance analysis. In the network, the base station and multiple users utilize MRT and MRC, respectively, while a dedicated relay consisting of two antennas, one for receiving and the other for broadcasting, operates in amplify-and-forward mode. For performance criterion, exact outage probability (OP) expression is derived for Nakagami-m fading channels. Furthermore, a tight lower bound and asymptotic expressions are also derived to provide more insights into the obtained OP in terms of diversity order and array gain. The obtained numerical results demonstrate the importance of loop-interference cancellation process at FD relay in order for the investigated system to perform better than half-duplex-NOMA counterpart. Also, a performance trade-off between the MRT and MRC schemes is observed in the presence of CEEs among users. Furthermore, it is shown that RHIs have a significant effect on the performance of users with lower power coefficients, however it does not change the diversity order. RHIs and CEEs have the most and least deterioration effects on the system performance, respectively.


title: Prioritizing Original News on Facebook

abstract: This work outlines how we prioritize original news, a critical indicator of news quality. By examining the landscape and life-cycle of news posts on our social media platform, we identify challenges of building and deploying an originality score. We pursue an approach based on normalized PageRank values and three-step clustering, and refresh the score on an hourly basis to capture the dynamics of online news. We describe a near real-time system architecture, evaluate our methodology, and deploy it to production. Our empirical results validate individual components and show that prioritizing original news increases user engagement with news and improves proprietary cumulative metrics.


title: Robust Factorization of Real-world Tensor Streams with Patterns, Missing Values, and Outliers

abstract: Consider multiple seasonal time series being collected in real-time, in the form of a tensor stream. Real-world tensor streams often include missing entries (e.g., due to network disconnection) and at the same time unexpected outliers (e.g., due to system errors). Given such a real-world tensor stream, how can we estimate missing entries and predict future evolution accurately in real-time? In this work, we answer this question by introducing SOFIA, a robust factorization method for real-world tensor streams. In a nutshell, SOFIA smoothly and tightly integrates tensor factorization, outlier removal, and temporal-pattern detection, which naturally reinforce each other. Moreover, SOFIA integrates them in linear time, in an online manner, despite the presence of missing entries. We experimentally show that SOFIA is (a) robust and accurate: yielding up to 76% lower imputation error and 71% lower forecasting error; (b) fast: up to 935X faster than the second-most accurate competitor; and (c) scalable: scaling linearly with the number of new entries per time step.


title: $\epsilon$-Arithmetics for Real Vectors and Linear Processing of Real Vector-Valued Signals with Real Vector-Valued Coefficients

abstract: In this paper, we introduce a new concept, namely $\epsilon$-arithmetics, for real vectors of any fixed dimension. The basic idea is to use vectors of rational values (called rational vectors) to approximate vectors of real values of the same dimension within $\epsilon$ range. For rational vectors of a fixed dimension $m$, they can form a field that is an $m$th order extension $\mathbf{Q}(\alpha)$ of the rational field $\mathbf{Q}$ where $\alpha$ has its minimal polynomial of degree $m$ over $\mathbf{Q}$. Then, the arithmetics, such as addition, subtraction, multiplication, and division, of real vectors can be defined by using that of their approximated rational vectors within $\epsilon$ range. We also define complex conjugate of a real vector and then inner product and convolutions of two real vectors and two real vector sequences (signals) of finite length. With these newly defined concepts for real vectors, linear processing, such as filtering, ARMA modeling, and least squares fitting, with real vector-valued coefficients can be implemented to real vector-valued signals, which will broaden the existing linear processing to scalar-valued signals.


title: Polygenic Risk Score in Africa Population: Progress and challenges

abstract: Polygenic risk score (PRS) analysis is a powerful method been used to estimate an individual's genetic risk towards targeted traits. PRS analysis could be used to obtain evidence of a genetic effect beyond Genome-Wide Association Studies (GWAS) results i.e. when there are no significant markers. PRS analysis has been widely applied to investigate the genetic basis of several traits including rare diseases. However, the accuracy of PRS analysis depends on the genomic data of the underlying population. For instance, several studies showed that obtaining higher prediction power of PRS analysis is challenging for non-Europeans. In this manuscript, we reviewed the conventional PRS methods and their application to sub-saharan Africa communities. We concluded that the limiting factor of applying PRS analysis to sub-saharan populations is the lack of sufficient GWAS data. Also, we recommended developing African-specific PRS tools


title: Involutive random walks on total orders and the anti-diagonal eigenvalue property

abstract: This paper studies a family of random walks defined on the finite ordinals using their order reversing involutions. Starting at $x \in \{0,1,\ldots,n-1\}$, an element $y \le x$ is chosen according to a prescribed probability distribution, and the walk then steps to $n-1-y$. We show that under very mild assumptions these walks are irreducible, recurrent and ergodic. We then find the invariant distributions, eigenvalues and eigenvectors of a distinguished subfamily of walks whose transition matrices have the global anti-diagonal eigenvalue property studied in earlier work by Ochiai, Sasada, Shirai and Tsuboi. We prove that this subfamily of walks is characterised by their reversibility. As a corollary, we obtain the invariant distributions and rate of convergence of the random walk on the set of subsets of $\{1,\ldots, m\}$ in which steps are taken alternately to subsets and supersets, each chosen equiprobably. We then consider analogously defined random walks on the real interval $[0,1]$ and use techniques from the theory of self adjoint compact operators on Hilbert spaces to prove analogues of the main results in the discrete case.


title: What Makes Quadruply Lensed Quasars Quadruple?

abstract: Among known strongly lensed quasar systems, ~25% have gravitational potentials sufficiently flat (and sources sufficiently well aligned) to produce four images rather than two. The projected flattening of the lensing galaxy and tides from neighboring galaxies both contribute to the potential's quadrupole. Witt's hyperbola and Wynne's ellipse permit determination of the overall quadrupole from the positions of the quasar images. The position of the lensing galaxy resolves the distinct contributions of intrinsic ellipticity and tidal shear to that quadrupole. Among 31 quadruply lensed quasars systems with statistically significant decompositions, 15 are either reliably ($2\sigma$) or provisionally ($1\sigma$) shear-dominated and 11 are either reliably or provisionally ellipticity-dominated. For the remaining 8, the two effects make roughly equal contributions to the combined cross section (newly derived here) for quadruple lensing. This observational result is strongly at variance with the ellipticity-dominated forecast of Oguri & Marshall (2010).


title: Deep Neural Network Based Differential Equation Solver for HIV Enzyme Kinetics

abstract: Purpose: We seek to use neural networks (NNs) to solve a well-known system of differential equations describing the balance between T cells and HIV viral burden. Materials and Methods: In this paper, we employ a 3-input parallel NN to approximate solutions for the system of first-order ordinary differential equations describing the above biochemical relationship. Results: The numerical results obtained by the NN are very similar to a host of numerical approximations from the literature. Conclusion: We have demonstrated use of NN integration of a well-known and medically important system of first order coupled ordinary differential equations. Our trial-and-error approach counteracts the system's inherent scale imbalance. However, it highlights the need to address scale imbalance more substantively in future work. Doing so will allow more automated solutions to larger systems of equations, which could describe increasingly complex and biologically interesting systems.


title: Titan: Earth-like on the Outside, Ocean World on the Inside

abstract: Thanks to the Cassini-Huygens mission, Titan, the pale orange dot of Pioneer and Voyager encounters has been revealed to be a dynamic, hydrologically-shaped, organic-rich ocean world offering unparalleled opportunities to explore prebiotic chemistry. And while Cassini-Huygens revolutionized our understanding of each of the three layers of Titan--the atmosphere, the surface, and the interior--we are only beginning to hypothesize how these realms interact. In this paper, we summarize the current state of Titan knowledge and discuss how future exploration of Titan would address some of the next decade's most compelling planetary science questions. We also demonstrate why exploring Titan, both with and beyond the Dragonfly New Frontiers mission, is a necessary and complementary component of an Ocean Worlds Program that seeks to understand whether habitable environments exist elsewhere in our solar system.


title: COCO-LM: Correcting and Contrasting Text Sequences for Language Model Pretraining

abstract: We present a self-supervised learning framework, COCO-LM, that pretrains Language Models by COrrecting and COntrasting corrupted text sequences. Following ELECTRA-style pretraining, COCO-LM employs an auxiliary language model to corrupt text sequences, upon which it constructs two new tasks for pretraining the main model. The first token-level task, Corrective Language Modeling, is to detect and correct tokens replaced by the auxiliary model, in order to better capture token-level semantics. The second sequence-level task, Sequence Contrastive Learning, is to align text sequences originated from the same source input while ensuring uniformity in the representation space. Experiments on GLUE and SQuAD demonstrate that COCO-LM not only outperforms recent state-of-the-art pretrained models in accuracy, but also improves pretraining efficiency. It achieves the MNLI accuracy of ELECTRA with 50% of its pretraining GPU hours. With the same pretraining steps of standard base/large-sized models, COCO-LM outperforms the previous best models by 1+ GLUE average points.


title: Adversarially Robust Kernel Smoothing

abstract: We propose a scalable robust learning algorithm combining kernel smoothing and robust optimization. Our method is motivated by the convex analysis perspective of distributionally robust optimization based on probability metrics, such as the Wasserstein distance and the maximum mean discrepancy. We adapt the integral operator using supremal convolution in convex analysis to form a novel function majorant used for enforcing robustness. Our method is simple in form and applies to general loss functions and machine learning models. Exploiting a connection with optimal transport, we prove theoretical guarantees for certified robustness under distribution shift. Furthermore, we report experiments with general machine learning models, such as deep neural networks, to demonstrate competitive performance with the state-of-the-art certifiable robust learning algorithms based on the Wasserstein distance.


title: Neuroevolution in Deep Learning: The Role of Neutrality

abstract: A variety of methods have been applied to the architectural configuration and learning or training of artificial deep neural networks (DNN). These methods play a crucial role in the success or failure of the DNN for most problems and applications. Evolutionary Algorithms (EAs) are gaining momentum as a computationally feasible method for the automated optimisation of DNNs. Neuroevolution is a term which describes these processes of automated configuration and training of DNNs using EAs. However, the automatic design and/or training of these modern neural networks through evolutionary algorithms is computanalli expensive. Kimura's neutral theory of molecular evolution states that the majority of evolutionary changes at molecular level are the result of random fixation of selectively neutral mutations. A mutation from one gene to another is neutral if it does not affect the phenotype. This work discusses how neutrality, given certain conditions, can help to speed up the training/design of deep neural networks.


title: Maximum Coverage in the Data Stream Model: Parameterized and Generalized

abstract: We present algorithms for the Max-Cover and Max-Unique-Cover problems in the data stream model. The input to both problems are $m$ subsets of a universe of size $n$ and a value $k\in [m]$. In Max-Cover, the problem is to find a collection of at most $k$ sets such that the number of elements covered by at least one set is maximized. In Max-Unique-Cover, the problem is to find a collection of at most $k$ sets such that the number of elements covered by exactly one set is maximized. Our goal is to design single-pass algorithms that use space that is sublinear in the input size. Our main algorithmic results are: If the sets have size at most $d$, there exist single-pass algorithms using $\tilde{O}(d^{d+1} k^d)$ space that solve both problems exactly. This is optimal up to polylogarithmic factors for constant $d$. If each element appears in at most $r$ sets, we present single pass algorithms using $\tilde{O}(k^2 r/\epsilon^3)$ space that return a $1+\epsilon$ approximation in the case of Max-Cover. We also present a single-pass algorithm using slightly more memory, i.e., $\tilde{O}(k^3 r/\epsilon^{4})$ space, that $1+\epsilon$ approximates Max-Unique-Cover. In contrast to the above results, when $d$ and $r$ are arbitrary, any constant pass $1+\epsilon$ approximation algorithm for either problem requires $\Omega(\epsilon^{-2}m)$ space but a single pass $O(\epsilon^{-2}mk)$ space algorithm exists. In fact any constant-pass algorithm with an approximation better than $e/(e-1)$ and $e^{1-1/k}$ for Max-Cover and Max-Unique-Cover respectively requires $\Omega(m/k^2)$ space when $d$ and $r$ are unrestricted. En route, we also obtain an algorithm for a parameterized version of the streaming Set-Cover problem.


title: Possible studies at the first stage of the NICA collider operation with polarized and unpolarized proton and deuteron beams

abstract: This paper contains suggestions for experiments with usage of the Spin Physics Detector (SPD) at the first stage of the SPD NICA Programme developing at JINR. Double polarized pp-, dd- and pd- collisions at c.m.s. NN energies of 3.4-10 GeV, which will be accessible at the initial stage of experiments, allow one to study spin dependence of the NN interaction, search for multiquark states at double strangeness, charm and beauty thresholds, study the short-range structure of the deuteron. Double polarized pd scattering offer a possibility to test the Standard Model through the search for T-invariance violation.


title: A new generalized prime random approximation procedure and some of its applications

abstract: We present a new random approximation method that yields the existence of a discrete Beurling prime system $\mathcal{P}=\{p_{1}, p_{2}, \dotso\}$ which is very close in a certain precise sense to a given non-decreasing, right-continuous, nonnegative, and unbounded function $F$. This discretization procedure improves an earlier discrete random approximation method due to H. Diamond, H. Montgomery, and U. Vorhauer [Math. Ann. 334 (2006), 1-36], and refined by W.-B. Zhang [Math. Ann. 337 (2007), 671-704]. We obtain several applications. Our new method is applied to a question posed by M. Balazard concerning Dirichlet series with a unique zero in their half plane of convergence, to construct examples of very well-behaved generalized number systems that solve a recent open question raised by T. Hilberdink and A. Neamah in [Int. J. Number Theory 16 05 (2020), 1005-1011], and to improve the main result from [Adv. Math. 370 (2020), Article 107240], where a Beurling prime system with regular primes but extremely irregular integers was constructed.


title: Optimizing wind farms layouts for maximum energy production using probabilistic inference: Benchmarking reveals superior computational efficiency and scalability

abstract: Successful development of wind farms relies on the optimal siting of wind turbines to maximize the power capacity under stochastic wind conditions and wake losses caused by neighboring turbines. This paper presents a novel method to quickly generate approximate optimal layouts to support infrastructure design decisions. We model the quadratic integer formulation of the discretized layout design problem with an undirected graph that succinctly captures the spatial dependencies of the design parameters caused by wake interactions. On the undirected graph, we apply probabilistic inference using sequential tree-reweighted message passing to approximate turbine siting. We assess the effectiveness of our method by benchmarking against a state-of-the-art branch and cut algorithm under varying wind regime complexities and wind farm discretization resolutions. For low resolutions, probabilistic inference can produce optimal or nearly optimal turbine layouts that are within 3% of the power capacity of the optimal layouts achieved by state-of-the-art formulations, at a fraction of the computational cost. As the discretization resolution (and thus the problem size) increases, probabilistic inference produces optimal layouts with up to 9% more power capacity than the best state-of-the-art solutions at a much lower computational cost.


title: A discrete-time dynamical system of wild mosquito population with Allee effects

abstract: We study a discrete-time dynamical system of wild mosquito population with parameters: $\beta$ - the birth rate of adults; $\alpha$ - maximum emergence rate; $\mu>0$ - the death rate of adults; $\gamma$ - Allee effects. We prove that if $\gamma\geq\frac{\alpha(\beta-\mu)}{\mu^2}$ then the mosquito population dies and if $\gamma<\frac{\alpha(\beta-\mu)}{\mu^2}$ holds then extinction or survival of the mosquito population depends on their initial state.


title: THIA: Accelerating Video Analytics using Early Inference and Fine-Grained Query Planning

abstract: To efficiently process visual data at scale, researchers have proposed two techniques for lowering the computational overhead associated with the underlying deep learning models. The first approach consists of leveraging a specialized, lightweight model to directly answer the query. The second approach focuses on filtering irrelevant frames using a lightweight model and processing the filtered frames using a heavyweight model. These techniques suffer from two limitations. With the first approach, the specialized model is unable to provide accurate results for hard-to-detect events. With the second approach, the system is unable to accelerate queries focusing on frequently occurring events as the filter is unable to eliminate a significant fraction of frames in the video. In this paper, we present THIA, a video analytics system for tackling these limitations. The design of THIA is centered around three techniques. First, instead of using a cascade of models, it uses a single object detection model with multiple exit points for short-circuiting the inference. This early inference technique allows it to support a range of throughput-accuracy tradeoffs. Second, it adopts a fine-grained approach to planning and processes different chunks of the video using different exit points to meet the user's requirements. Lastly, it uses a lightweight technique for directly estimating the exit point for a chunk to lower the optimization time. We empirically show that these techniques enable THIA to outperform two state-of-the-art video analytics systems by up to 6.5X, while providing accurate results even on queries focusing on hard-to-detect events.


title: Finding the Ground-Truth from Multiple Labellers: Why Parameters of the Task Matter

abstract: Employing multiple workers to label data for machine learning models has become increasingly important in recent years with greater demand to collect huge volumes of labelled data to train complex models while mitigating the risk of incorrect and noisy labelling. Whether it is large scale data gathering on popular crowd-sourcing platforms or smaller sets of workers in high-expertise labelling exercises, there are various methods recommended to gather a consensus from employed workers and establish ground-truth labels. However, there is very little research on how the various parameters of a labelling task can impact said methods. These parameters include the number of workers, worker expertise, number of labels in a taxonomy and sample size. In this paper, Majority Vote, CrowdTruth and Binomial Expectation Maximisation are investigated against the permutations of these parameters in order to provide better understanding of the parameter settings to give an advantage in ground-truth inference. Findings show that both Expectation Maximisation and CrowdTruth are only likely to give an advantage over majority vote under certain parameter conditions, while there are many cases where the methods can be shown to have no major impact. Guidance is given as to what parameters methods work best under, while the experimental framework provides a way of testing other established methods and also testing new methods that can attempt to provide advantageous performance where the methods in this paper did not. A greater level of understanding regarding optimal crowd-sourcing parameters is also achieved.


title: Sample variance of rounded variables

abstract: If the rounding errors are assumed to be distributed independently from the intrinsic distribution of the random variable, the sample variance $s^2$ of the rounded variable is given by the sum of the true variance $\sigma^2$ and the variance of the rounding errors (which is equal to $w^2/12$ where $w$ is the size of the rounding window). Here the exact expressions for the sample variance of the rounded variables are examined and it is also discussed when the simple approximation $s^2=\sigma^2+w^2/12$ can be considered valid. In particular, if the underlying distribution $f$ belongs to a family of symmetric normalizable distributions such that $f(x)=\sigma^{-1}F(u)$ where $u=(x-\mu)/\sigma$, and $\mu$ and $\sigma^2$ are the mean and variance of the distribution, then the rounded sample variance scales like $s^2-(\sigma^2+w^2/12)\sim\sigma\Phi'(\sigma)$ as $\sigma\to\infty$ where $\Phi(\tau)=\int_{-\infty}^\infty{\rm d}u\,e^{iu\tau}F(u)$ is the characteristic function of $F(u)$. It follows that, roughly speaking, the approximation is valid for a slowly-varying symmetric underlying distribution with its variance sufficiently larger than the size of the rounding unit.

categories: math.ST astro-ph.IM physics.data-an stat.TH


title: Conservative and semismooth derivatives are equivalent for semialgebraic maps

abstract: Subgradient and Newton algorithms for nonsmooth optimization require generalized derivatives to satisfy subtle approximation properties: conservativity for the former and semismoothness for the latter. Though these two properties originate in entirely different contexts, we show that in the semi-algebraic setting they are equivalent. Both properties for a generalized derivative simply require it to coincide with the standard directional derivative on the tangent spaces of some partition of the domain into smooth manifolds. An appealing byproduct is a new short proof that semi-algebraic maps are semismooth relative to the Clarke Jacobian.


title: Improved management of issue dependencies in issue trackers of large collaborative projects

abstract: Issue trackers, such as Jira, have become the prevalent collaborative tools in software engineering for managing issues, such as requirements, development tasks, and software bugs. However, issue trackers inherently focus on the lifecycle of single issues, although issues have and express dependencies on other issues that constitute issue dependency networks in large complex collaborative projects. The objective of this study is to develop supportive solutions for the improved management of dependent issues in an issue tracker. This study follows the Design Science methodology, consisting of eliciting drawbacks and constructing and evaluating a solution and system. The study was carried out in the context of The Qt Company's Jira, which exemplifies an actively used, almost two-decade-old issue tracker with over 100,000 issues. The drawbacks capture how users operate with issue trackers to handle issue information in large, collaborative, and long-lived projects. The basis of the solution is to keep issues and dependencies as separate objects and automatically construct an issue graph. Dependency detections complement the issue graph by proposing missing dependencies, while consistency checks and diagnoses identify conflicting issue priorities and release assignments. Jira's plugin and service-based system architecture realize the functional and quality concerns of the system implementation. We show how to adopt the intelligent supporting techniques of an issue tracker in a complex use context and a large data-set. The solution considers an integrated and holistic system view, practical applicability and utility, and the practical characteristics of issue data, such as inherent incompleteness.


title: Automatic Detection of Five API Documentation Smells: Practitioners' Perspectives

abstract: The learning and usage of an API is supported by official documentation. Like source code, API documentation is itself a software product. Several research results show that bad design in API documentation can make the reuse of API features difficult. Indeed, similar to code smells or code antipatterns, poorly designed API documentation can also exhibit 'smells'. Such documentation smells can be described as bad documentation styles that do not necessarily produce an incorrect documentation but nevertheless make the documentation difficult to properly understand and to use. Recent research on API documentation has focused on finding content inaccuracies in API documentation and to complement API documentation with external resources (e.g., crowd-shared code examples). We are aware of no research that focused on the automatic detection of API documentation smells. This paper makes two contributions. First, we produce a catalog of five API documentation smells by consulting literature on API documentation presentation problems. We create a benchmark dataset of 1,000 API documentation units by exhaustively and manually validating the presence of the five smells in Java official API reference and instruction documentation. Second, we conduct a survey of 21 professional software developers to validate the catalog. The developers agreed that they frequently encounter all five smells in API official documentation and 95.2% of them reported that the presence of the documentation smells negatively affects their productivity. The participants wished for tool support to automatically detect and fix the smells in API official documentation. We develop a suite of rule-based, deep and shallow machine learning classifiers to automatically detect the smells. The best performing classifier BERT, a deep learning model, achieves F1-scores of 0.75 - 0.97.


title: Fully Spin-transparent magnetic interfaces enabled by insertion of a paramagnetic NiO layer

abstract: Spin backflow and spin-memory loss have been well established to considerably lower the interfacial spin transmissivity of metallic magnetic interfaces and thus the energy efficiency of spin-orbit torque technologies. Here we report that spin backflow and spin-memory loss at Pt-based heavy metal/ferromagnet interfaces can be effectively eliminated by inserting an insulating paramagnetic NiO layer of optimum thickness. The latter enables the thermal magnon-mediated essentially unity spin-current transmission at room temperature due to considerably enhanced effective spin-mixing conductance of the interface. As a result, we obtain dampinglike spin-orbit torque efficiency per unit current density of up to 0.8 as detected by the standard technology ferromagnet FeCoB and others, which reaches the expected upper-limit spin Hall ratio of Pt. We establish that Pt/NiO and Pt-Hf/NiO are two energy-efficient, integration-friendly, and high-endurance spin-current generators that provide >100 times greater energy efficiency than sputter-deposited topological insulators BiSb and BiSe. Our finding will benefit spin-orbitronic research and advance spin-torque technologies.


title: On the Capture of Interstellar Objects by our Solar System

abstract: Motivated by recent visits from interstellar comets, along with continuing discoveries of minor bodies in orbit of the Sun, this paper studies the capture of objects on initially hyperbolic orbits by our solar system. Using an ensemble of $\sim500$ million numerical experiments, this work generalizes previous treatments by calculating the capture cross section as a function of asymptotic speed. The resulting velocity-dependent cross section can then be convolved with any distribution of relative speeds to determine the capture rate for incoming bodies. This convolution is carried out for the usual Maxwellian distribution, as well as the velocity distribution expected for rocky debris ejected from planetary systems. We also construct an analytic description of the capture process that provides an explanation for the functional form of the capture cross section in both the high velocity and low velocity limits.


title: Coupling-Induced Instability in a Ring of Thermoacoustic Oscillators

abstract: Thermoacoustic instabilities in can-annular combustors of stationary gas turbines lead to unstable Bloch modes which appear as rotating acoustic pressure waves along the turbine annulus. The multi-scale, multiphysical nature of the full problem makes a detailed analysis challenging. In this work, we derive a low-order, coupled oscillator model of an idealized can-annular combustor. The unimodal projection of the Helmholtz equation for the can acoustics is combined with the Rayleigh conductivity, which describes the aeroacoustic coupling between neighboring cans. Using a Bloch-wave ansatz, the resulting system is reduced to a single equation for the frequency spectrum. A linear stability analysis is then performed to study the perturbation of the spectrum by the can-to-can interaction. It is observed that the acoustic coupling can suppress or amplify thermoacoustic instabilities, raising the potential for instabilities in nominally stable systems.


title: The spin-one DKP Equation with a nonminimal vector interaction in the presence of minimal uncertainty in momentum

abstract: In this work, we consider the relativistic Duffin-Kemmer-Petiau equation for spin-one particles with a nonminimal vector interaction in the presence of minimal uncertainty in momentum. By using the position space representation we exactly determine the bound-states spectrum and the corresponding eigenfunctions. We discuss the effects of the deformation and nonminimal vector coupling parameters on the energy spectrum analytically and numerically.


title: Description of longitudinal space charge effects in beams and plasma through dielectric permittivity

abstract: We develop a universal framework which allows quickly solve a wide class of problems for longitudinal space charge effects in beams and plasmas in cylindrical geometry. We introduce the longitudinal dielectric permittivity for the beam of charged particles, which describes its collective space charge response. The analyis yields an effective plasma frequency, which depends on the transverse geometry of the system. This dielectric permittivity mirrors the dielectric permittivity of plasma and matches the one dimensional (1D) expression once the transverse size of the beam is large. Several particle species can be included as additive terms describing susceptibility of each specie. The developed approach allows to study stability criteria for collective beam-beam and beam-plasma instabilities for arbitrary transverse distributions in particle densities.


title: Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments

abstract: We study black-box reward poisoning attacks against reinforcement learning (RL), in which an adversary aims to manipulate the rewards to mislead a sequence of RL agents with unknown algorithms to learn a nefarious policy in an environment unknown to the adversary a priori. That is, our attack makes minimum assumptions on the prior knowledge of the adversary: it has no initial knowledge of the environment or the learner, and neither does it observe the learner's internal mechanism except for its performed actions. We design a novel black-box attack, U2, that can provably achieve a near-matching performance to the state-of-the-art white-box attack, demonstrating the feasibility of reward poisoning even in the most challenging black-box setting.


title: Reconstructing the Extreme Ultraviolet Emission of Cool Dwarfs Using Differential Emission Measure Polynomials

abstract: Characterizing the atmospheres of planets orbiting M dwarfs requires understanding the spectral energy distributions of M dwarfs over planetary lifetimes. Surveys like MUSCLES, HAZMAT, and FUMES have collected multiwavelength spectra across the spectral type's range of Teff and activity, but the extreme ultraviolet flux (EUV, 100 to 912 Angstroms) of most of these stars remains unobserved because of obscuration by the interstellar medium compounded with limited detector sensitivity. While targets with observable EUV flux exist, there is no currently operational facility observing between 150 and 912 Angstroms. Inferring the spectra of exoplanet hosts in this regime is critical to studying the evolution of planetary atmospheres because the EUV heats the top of the thermosphere and drives atmospheric escape. This paper presents our implementation of the differential emission measure technique to reconstruct the EUV spectra of cool dwarfs. We characterize our method's accuracy and precision by applying it to the Sun and AU Mic. We then apply it to three fainter M dwarfs: GJ 832, Barnard's Star, and TRAPPIST-1. We demonstrate that with the strongest far ultraviolet (FUV, 912 to 1700 Angstroms) emission lines, observed with Hubble Space Telescope and/or Far Ultraviolet Spectroscopic Explorer, and a coarse X-ray spectrum from either Chandra X-ray Observatory or XMM-Newton, we can reconstruct the Sun's EUV spectrum to within a factor of 1.8, with our model's formal uncertainties encompassing the data. We report the integrated EUV flux of our M dwarf sample with uncertainties between a factor of 2 to 7 depending on available data quality.


title: The Planck submillimeter properties of Galactic high-mass star forming regions: dust temperatures, luminosities, masses and Star Formation Efficiency

abstract: Massive star formation occurs in the interior of giant molecular clouds (GMC) and proceeds through many stages. In this work, we focus on massive young stellar objects (MYSOs) and Ultra-Compact HII regions (UCHII), where the former are enshrouded in dense envelopes of dust and gas, which the latter have begun dispersing. By selecting a complete sample of MYSOs and UCHII from the Red MSX Source (RMS) survey data base, we combine Planck and IRAS data and build their Spectral Energy Distributions (SEDs). With these, we estimate the physical properties (dust temperatures, mass, luminosity) of the sample. Because the RMS database provides unique solar distances, it also allows investigating the instantaneous Star Formation Efficiency (SFE) as a function of Galactocentric radius. We find that the SFE increase between 2 and 4.5 kpc, where it reaches a peak, likely in correspondence of the accumulation of molecular material at the end of the Galactic bar. It then stays approximately constant up to 9 kpc, after which it linearly declines, in agreement with predictions from extragalactic studies. This behavior suggests the presence of a significant amount of undetected molecular gas at R$_G$ $>$ 8 kpc. Finally we present diagnostic colors that can be used to identify sites of massive star formation.


title: Understanding How and Why Developers Seek and Analyze API-related Opinions

abstract: With the advent and proliferation of online developer forums as informal documentation, developers often share their opinions about the APIs they use. Thus, opinions of others often shape the developer's perception and decisions related to software development. For example, the choice of an API or how to reuse the functionality the API offers are, to a considerable degree, conditioned upon what other developers think about the API. While many developers refer to and rely on such opinion-rich information about APIs, we found little research that investigates the use and benefits of public opinions. To understand how developers seek and evaluate API opinions, we conducted two surveys involving a total of 178 software developers. We analyzed the data in two dimensions, each corresponding to specific needs related to API reviews: (1) Needs for seeking API reviews, and (2) Needs for automated tool support to assess the reviews. We observed that developers seek API reviews and often have to summarize those for diverse development needs (e.g., API suitability). Developers also make conscious efforts to judge the trustworthiness of the provided opinions and believe that automated tool support for API reviews analysis can assist in diverse development scenarios, including, for example, saving time in API selection as well as making informed decisions on a particular API features.


title: A group-theoretic characterisation of Taub-Nut spacetime

abstract: We prove that any $G=SU(2)\times U(1)$ symmetric spacetime that is Ricci flat (i.e. solves the matter-free $\Lambda=0$ Einstein equations) with non-null $G$-orbits is locally isometric to some maximally extended generalised Taub-NUT spacetime.


title: Shape-Tailored Deep Neural Networks

abstract: We present Shape-Tailored Deep Neural Networks (ST-DNN). ST-DNN extend convolutional networks (CNN), which aggregate data from fixed shape (square) neighborhoods, to compute descriptors defined on arbitrarily shaped regions. This is natural for segmentation, where descriptors should describe regions (e.g., of objects) that have diverse shape. We formulate these descriptors through the Poisson partial differential equation (PDE), which can be used to generalize convolution to arbitrary regions. We stack multiple PDE layers to generalize a deep CNN to arbitrary regions, and apply it to segmentation. We show that ST-DNN are covariant to translations and rotations and robust to domain deformations, natural for segmentation, which existing CNN based methods lack. ST-DNN are 3-4 orders of magnitude smaller then CNNs used for segmentation. We show that they exceed segmentation performance compared to state-of-the-art CNN-based descriptors using 2-3 orders smaller training sets on the texture segmentation problem.


title: Pattern Sampling for Shapelet-based Time Series Classification

abstract: Subsequence-based time series classification algorithms provide accurate and interpretable models, but training these models is extremely computation intensive. The asymptotic time complexity of subsequence-based algorithms remains a higher-order polynomial, because these algorithms are based on exhaustive search for highly discriminative subsequences. Pattern sampling has been proposed as an effective alternative to mitigate the pattern explosion phenomenon. Therefore, we employ pattern sampling to extract discriminative features from discretized time series data. A weighted trie is created based on the discretized time series data to sample highly discriminative patterns. These sampled patterns are used to identify the shapelets which are used to transform the time series classification problem into a feature-based classification problem. Finally, a classification model can be trained using any off-the-shelf algorithm. Creating a pattern sampler requires a small number of patterns to be evaluated compared to an exhaustive search as employed by previous approaches. Compared to previously proposed algorithms, our approach requires considerably less computational and memory resources. Experiments demonstrate how the proposed approach fares in terms of classification accuracy and runtime performance.


title: Test Beam Study of SiPM-on-Tile Configurations

abstract: Light yield and spatial uniformity for a large variety of configurations of scintillator tiles was studied. The light from each scintillator was collected by a Silicon Photomultiplier (SiPM) directly viewing the produced scintillation light (SiPM-on-tile technique). The varied parameters included tile transverse size, tile thickness, tile wrapping material, scintillator composition, and SiPM model. These studies were performed using 120 GeV protons at the Fermilab Test Beam Facility. External tracking allowed the position of each proton penetrating a tile to be measured. The results were compared to a GEANT4 simulation of each configuration of scinitillator, wrapping, and SiPM.


title: Bismuth-doping Alters Structural Phase Transitions in Methylammonium Lead Tribromide Single Crystals

abstract: We study the effects of bismuth doping on the crystal structure and phase transitions in single crystals of the perovskite semiconductor methylammonium lead tribromide, MAPbBr3. By measuring temperature-dependent specific heat capacity (Cp) we find that, as Bi doping increases, the phase transition assigned to the cubic to tetragonal phase boundary decreases in temperature. Furthermore, after doping we observe one phase transition between 135 and 155 K, in contrast to two transitions observed in the undoped single crystal. These results appear strikingly similar to previously reported effects of mechanical pressure on perovskite crystal structure. Using X-ray diffraction, we show that the lattice constant decreases as Bi is incorporated into the crystal, as predicted by density functional theory (DFT). We propose that bismuth substitutional doping on the lead site is dominant, resulting in BiPb+ centers which induce compressive chemical strain that alters the crystalline phase transitions.


title: DEUP: Direct Epistemic Uncertainty Prediction

abstract: Epistemic Uncertainty is a measure of the lack of knowledge of a learner which diminishes with more evidence. While existing work focuses on using the variance of the Bayesian posterior due to parameter uncertainty as a measure of epistemic uncertainty, we argue that this does not capture the part of lack of knowledge induced by model misspecification. We discuss how the excess risk, which is the gap between the generalization error of a predictor and the Bayes predictor, is a sound measure of epistemic uncertainty which captures the effect of model misspecification. We thus propose a principled framework for directly estimating the excess risk by learning a secondary predictor for the generalization error and subtracting an estimate of aleatoric uncertainty, i.e., intrinsic unpredictability. We discuss the merits of this novel measure of epistemic uncertainty, and highlight how it differs from variance-based measures of epistemic uncertainty and addresses its major pitfall. Our framework, Direct Epistemic Uncertainty Prediction (DEUP) is particularly interesting in interactive learning environments, where the learner is allowed to acquire novel examples in each round. Through a wide set of experiments, we illustrate how existing methods in sequential model optimization can be improved with epistemic uncertainty estimates from DEUP, and how DEUP can be used to drive exploration in reinforcement learning. We also evaluate the quality of uncertainty estimates from DEUP for probabilistic image classification and predicting synergies of drug combinations.


title: Automatic API Usage Scenario Documentation from Technical Q&A Sites

abstract: The online technical Q&A site Stack Overflow (SO) is popular among developers to support their coding and diverse development needs. To address shortcomings in API official documentation resources, several research has thus focused on augmenting official API documentation with insights (e.g., code examples) from SO. The techniques propose to add code examples/insights about APIs into its official documentation. Reviews are opinionated sentences with positive/negative sentiments. However, we are aware of no previous research that attempts to automatically produce API documentation from SO by considering both API code examples and reviews. In this paper, we present two novel algorithms that can be used to automatically produce API documentation from SO by combining code examples and reviews towards those examples. The first algorithm is called statistical documentation, which shows the distribution of positivity and negativity around the code examples of an API using different metrics (e.g., star ratings). The second algorithm is called concept-based documentation, which clusters similar and conceptually relevant usage scenarios. An API usage scenario contains a code example, a textual description of the underlying task addressed by the code example, and the reviews (i.e., opinions with positive and negative sentiments) from other developers towards the code example. We deployed the algorithms in Opiner, a web-based platform to aggregate information about APIs from online forums. We evaluated the algorithms by mining all Java JSON-based posts in SO and by conducting three user studies based on produced documentation from the posts.


title: Federated Evaluation and Tuning for On-Device Personalization: System Design & Applications

abstract: We describe the design of our federated task processing system. Originally, the system was created to support two specific federated tasks: evaluation and tuning of on-device ML systems, primarily for the purpose of personalizing these systems. In recent years, support for an additional federated task has been added: federated learning (FL) of deep neural networks. To our knowledge, only one other system has been described in literature that supports FL at scale. We include comparisons to that system to help discuss design decisions and attached trade-offs. Finally, we describe two specific large scale personalization use cases in detail to showcase the applicability of federated tuning to on-device personalization and to highlight application specific solutions.


title: Label Leakage and Protection in Two-party Split Learning

abstract: Two-party split learning is a popular technique for learning a model across feature-partitioned data. In this work, we explore whether it is possible for one party to steal the private label information from the other party during split training, and whether there are methods that can protect against such attacks. Specifically, we first formulate a realistic threat model and propose a privacy loss metric to quantify label leakage in split learning. We then show that there exist two simple yet effective methods within the threat model that can allow one party to accurately recover private ground-truth labels owned by the other party. To combat these attacks, we propose several random perturbation techniques, including $\texttt{Marvell}$, an approach that strategically finds the structure of the noise perturbation by minimizing the amount of label leakage (measured through our quantification metric) of a worst-case adversary. We empirically demonstrate the effectiveness of our protection techniques against the identified attacks, and show that $\texttt{Marvell}$ in particular has improved privacy-utility tradeoffs relative to baseline approaches.


title: Performance Optimizations of Recursive Electronic Structure Solvers targeting Multi-Core Architectures (LA-UR-20-26665)

abstract: As we rapidly approach the frontiers of ultra large computing resources, software optimization is becoming of paramount interest to scientific application developers interested in efficiently leveraging all available on-Node computing capabilities and thereby improving a requisite science per watt metric. The scientific application of interest here is the Basic Math Library (BML) that provides a singular interface for linear algebra operation frequently used in the Quantum Molecular Dynamics (QMD) community. The provisioning of a singular interface indicates the presence of an abstraction layer which in-turn suggests commonalities in the code-base and therefore any optimization or tuning introduced in the core of code-base has the ability to positively affect the performance of the aforementioned library as a whole. With that in mind, we proceed with this investigation by performing a survey of the entirety of the BML code-base, and extract, in form of micro-kernels, common snippets of code. We introduce several optimization strategies into these micro-kernels including 1.) Strength Reduction 2.) Memory Alignment for large arrays 3.) Non Uniform Memory Access (NUMA) aware allocations to enforce data locality and 4.) appropriate thread affinity and bindings to enhance the overall multi-threaded performance. After introducing these optimizations, we benchmark the micro-kernels and compare the run-time before and after optimization for several target architectures. Finally we use the results as a guide to propagating the optimization strategies into the BML code-base. As a demonstration, herein, we test the efficacy of these optimization strategies by comparing the benchmark and optimized versions of the code.


title: Exploring the QCD phase diagram with fluctuations

abstract: We report on recent progress concerning theoretical description of event-by-event fluctuations in heavy-ion collisions. Specifically we discuss a new Cooper-Frye particlization routine -- the subensemble sampler -- which is designed to incorporate effects of global conservation laws, thermal smearing and resonance decays on fluctuation measurements in various rapidity acceptances. First applications of the method to heavy-ion collisions at the LHC energies are presented and further necessary steps to analyze fluctuations from RHIC beam energy scan are outlined.


title: Towards an AI Coach to Infer Team Mental Model Alignment in Healthcare

abstract: Shared mental models are critical to team success; however, in practice, team members may have misaligned models due to a variety of factors. In safety-critical domains (e.g., aviation, healthcare), lack of shared mental models can lead to preventable errors and harm. Towards the goal of mitigating such preventable errors, here, we present a Bayesian approach to infer misalignment in team members' mental models during complex healthcare task execution. As an exemplary application, we demonstrate our approach using two simulated team-based scenarios, derived from actual teamwork in cardiac surgery. In these simulated experiments, our approach inferred model misalignment with over 75% recall, thereby providing a building block for enabling computer-assisted interventions to augment human cognition in the operating room and improve teamwork.


title: Refined Eulerian numbers and ballot permutations

abstract: A ballot permutation is a permutation {\pi} such that in any prefix of {\pi} the descent number is not more than the ascent number. In this article, we obtained a formula in close form for the multivariate generating function of {A(n,d,j)}, which denote the number of permutations of length n with d descents and j as the first letter. Besides, by a series of calculations with generatingfunctionology, we confirm a recent conjecture of Wang and Zhang for ballot permutations.


title: Complex Fault Geometry of the 2020 MWW6.5 Monte Cristo Range, Nevada Earthquake Sequence

abstract: On 15 May 2020 an MWW 6.5 earthquake occurred beneath the Monte Cristo Range in the Mina Deflection region of western Nevada. Rapid deployment of eight temporary seismic stations enables detailed analysis of its productive and slowly decaying aftershock sequence (p=0.8) which included ~18,000 autodetected events in 3.5 months. Double-difference, waveform-based relative relocation of 16,714 earthquakes reveals a complex network of faults, many of which cross the inferred 35-km long east-northeast-striking, left-lateral mainshock rupture. Seismicity aligns with left-lateral, right-lateral, and normal mechanism moment tensors of 128 of the largest earthquakes. The mainshock occurred near the middle of the aftershock zone at the intersection of two distinct zones of seismicity. In the western section, numerous subparallel, shallow, north-northeast-striking faults form a broad flower-structure-like fault mesh that coalesces at depth into a near-vertical, left-lateral fault. We infer the near-vertical fault to be a region of significant slip in the mainshock and an eastward extension of the left-lateral Candelaria fault. Near the mainshock hypocenter, seismicity occurs on a northeast-striking, west-dipping structure which extends north from the Eastern Columbus Salt Marsh normal fault. Together, these two intersecting structures bound the Columbus Salt Marsh tectonic basin. East of this intersection and the mainshock hypocenter, seismicity occurs in a narrow, near-vertical, east-northeast-striking fault zone through to its eastern terminus. At the eastern end, the aftershock zone broadens and extends northwest towards the southern extension of the northwest-striking, right-lateral Petrified Springs fault system. The eastern section hosts significantly fewer aftershocks than the western section, but has more moment release.


title: Auditing Hamiltonian Elections

abstract: Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While methods differ by state and party, many primaries involve proportional delegate allocation using the so-called Hamilton method. In this paper we show how to conduct risk-limiting audits for delegate allocation elections using variants of the Hamilton method where the viability of candidates is determined either by a plurality vote or using instant runoff voting. Experiments on real-world elections show that we can audit primary elections to high confidence (small risk limits) usually at low cost.


title: Finite Element Approximation of Steady Flows of Colloidal Solutions

abstract: We consider the mathematical analysis and numerical approximation of a system of nonlinear partial differential equations that arises in models that have relevance to steady isochoric flows of colloidal suspensions. The symmetric velocity gradient is assumed to be a monotone nonlinear function of the deviatoric part of the Cauchy stress tensor. We prove the existence of a unique weak solution to the problem, and under the additional assumption that the nonlinearity involved in the constitutive relation is Lipschitz continuous we also prove uniqueness of the weak solution. We then construct mixed finite element approximations of the system using both conforming and nonconforming finite element spaces. For both of these we prove the convergence of the method to the unique weak solution of the problem, and in the case of the conforming method we provide a bound on the error between the analytical solution and its finite element approximation in terms of the best approximation error from the finite element spaces. We propose first a Lions-Mercier type iterative method and next a classical fixed-point algorithm to solve the finite-dimensional problems resulting from the finite element discretisation of the system of nonlinear partial differential equations under consideration and present numerical experiments that illustrate the practical performance of the proposed numerical method.


title: Addressing the Need for Remote Patient Monitoring Applications in Appalachian Areas

abstract: There is a need to address the urban-rural disparities in healthcare regarding equal access and quality of care. Due to higher rates of chronic disease, reduced access to providers, and a continuous decline in rural hospitals, it is imperative that Appalachian cancer patients adopt the use of health information technology (HIT). The NCCN Distress Thermometer and Problem List (DT) is under-utilized, not patient-centered, does not consider provider needs, and is outdated in the current digital landscape. Digitizing patient distress screening poses advantages, such as allowing for more frequent screenings, removing geographical barriers, and rural patient autonomy. In this paper, we discuss how knowledge gained from patient-centered design led to the underpinnings of developing a rural remote patient monitoring app that provides delightful and insightful experiences to users.


title: A Context-Enhanced De-identification System

abstract: Many modern entity recognition systems, including the current state-of-the-art de-identification systems, are based on bidirectional long short-term memory (biLSTM) units augmented by a conditional random field (CRF) sequence optimizer. These systems process the input sentence by sentence. This approach prevents the systems from capturing dependencies over sentence boundaries and makes accurate sentence boundary detection a prerequisite. Since sentence boundary detection can be problematic especially in clinical reports, where dependencies and co-references across sentence boundaries are abundant, these systems have clear limitations. In this study, we built a new system on the framework of one of the current state-of-the-art de-identification systems, NeuroNER, to overcome these limitations. This new system incorporates context embeddings through forward and backward n-grams without using sentence boundaries. Our context-enhanced de-identification (CEDI) system captures dependencies over sentence boundaries and bypasses the sentence boundary detection problem altogether. We enhanced this system with deep affix features and an attention mechanism to capture the pertinent parts of the input. The CEDI system outperforms NeuroNER on the 2006 i2b2 de-identification challenge dataset, the 2014 i2b2 shared task de-identification dataset, and the 2016 CEGS N-GRID de-identification dataset (p<0.01). All datasets comprise narrative clinical reports in English but contain different note types varying from discharge summaries to psychiatric notes. Enhancing CEDI with deep affix features and the attention mechanism further increased performance.


title: Automatic Generation of Interpolants for Lattice Samplings: Part I -- Theory and Analysis

abstract: Interpolation is a fundamental technique in scientific computing and is at the heart of many scientific visualization techniques. There is usually a trade-off between the approximation capabilities of an interpolation scheme and its evaluation efficiency. For many applications, it is important for a user to be able to navigate their data in real time. In practice, the evaluation efficiency (or speed) outweighs any incremental improvements in reconstruction fidelity. In this two-part work, we first analyze from a general standpoint the use of compact piece-wise polynomial basis functions to efficiently interpolate data that is sampled on a lattice. In the sequel, we detail how we generate efficient implementations via automatic code generation on both CPU and GPU architectures. Specifically, in this paper, we propose a general framework that can produce a fast evaluation scheme by analyzing the algebro-geometric structure of the convolution sum for a given lattice and basis function combination. We demonstrate the utility and generality of our framework by providing fast implementations of various box splines on the Body Centered and Face Centered Cubic lattices, as well as some non-separable box splines on the Cartesian lattice. We also provide fast implementations for certain Voronoi splines that have not yet appeared in the literature. Finally, we demonstrate that this framework may also be used for non-Cartesian lattices in 4D.


title: A Novel Bayesian Approach for the Two-Dimensional Harmonic Retrieval Problem

abstract: Sparse signal recovery algorithms like sparse Bayesian learning work well but the complexity quickly grows when tackling higher dimensional parametric dictionaries. In this work we propose a novel Bayesian strategy to address the two dimensional harmonic retrieval problem, through remodeling and reparameterization of the standard data model. This new model allows us to introduce a block sparsity structure in a manner that enables a natural pairing of the parameters in the two dimensions. The numerical simulations demonstrate that the inference algorithm developed (H-MSBL) does not suffer from source identifiability issues and is capable of estimating the harmonic components in challenging scenarios, while maintaining a low computational complexity.


title: Modification of the quasi-lattice theory for liquid alloys on the basis of varying the coordination number and its application to Al-Sn, Al-Zn and Sn-Zn

abstract: The existing quasi-lattice theory for liquid alloys (QLT), which has been extensively used by many researchers, has been modified by incorporating the knowledge of composition and temperature-dependent coordination numbers. The modified QLT was then used to compute the enthalpy of mixing, the entropy of mixing, concentration fluctuations, Warren-Cowley short range order parameter, surface concentrations and surface tensions of liquid Al-Sn, Al-Zn and Sn-Zn systems, which are the binary sub-systems for Al-Sn-Zn. The effect of the approximation of coordination number in the existing QLT was also investigated and was found to be insignificant when coordination number is 10. This work has provided a more physically realistic quasi-lattice theory, and has contributed to the knowledge on the binary subsystems of Al-Sn-Zn and has also set a foundation for the application of quasi-lattice theory on Al-Sn-Zn and other ternary systems.


title: Transferability of Neural Network Clinical De-identification Systems

abstract: Objective: Neural network de-identification studies have focused on individual datasets. These studies assume the availability of a sufficient amount of human-annotated data to train models that can generalize to corresponding test data. In real-world situations, however, researchers often have limited or no in-house training data. Existing systems and external data can help jump-start de-identification on in-house data; however, the most efficient way of utilizing existing systems and external data is unclear. This article investigates the transferability of a state-of-the-art neural clinical de-identification system, NeuroNER, across a variety of datasets, when it is modified architecturally for domain generalization and when it is trained strategically for domain transfer. Methods and Materials: We conducted a comparative study of the transferability of NeuroNER using four clinical note corpora with multiple note types from two institutions. We modified NeuroNER architecturally to integrate two types of domain generalization approaches. We evaluated each architecture using three training strategies. We measured: transferability from external sources; transferability across note types; the contribution of external source data when in-domain training data are available; and transferability across institutions. Results and Conclusions: Transferability from a single external source gave inconsistent results. Using additional external sources consistently yielded an F1-score of approximately 80%. Fine-tuning emerged as a dominant transfer strategy, with or without domain generalization. We also found that external sources were useful even in cases where in-domain training data were available. Transferability across institutions differed by note type and annotation label but resulted in improved performance.


title: Automatic Generation of Interpolants for Lattice Samplings: Part II -- Implementation and Code Generation

abstract: In the prequel to this paper, we presented a systematic framework for processing spline spaces. In this paper, we take the results of that framework and provide a code generation pipeline that automatically generates efficient implementations of spline spaces. We decompose the final algorithm from Part I and translate the resulting components into LLVM-IR (a low level language that can be compiled to various targets/architectures). Our design provides a handful of parameters for a practitioner to tune - this is one of the avenues that provides us with the flexibility to target many different computational architectures and tune performance on those architectures. We also provide an evaluation of the effect of the different parameters on performance.


title: Scalar and fermion on-shell amplitudes in generalized Higgs effective field theory

abstract: Beyond standard model (BSM) particles should be included in effective field theory in order to compute the scattering amplitudes involving these extra particles. We formulate an extension of Higgs effective field theory which contains arbitrary number of scalar and fermion fields with arbitrary electric and chromoelectric charges. The BSM Higgs sector is described by using the non-linear sigma model in a manner consistent with the spontaneous electroweak symmetry breaking. The chiral order counting rule is arranged consistently with the loop expansion. The leading order Lagrangian is organized in accord with the chiral order counting rule. We use a geometrical language to describe the particle interactions. The parametrization redundancy in the effective Lagrangian is resolved by describing the on-shell scattering amplitudes only with the covariant quantities in the scalar/fermion field space. We introduce a useful coordinate (normal coordinate), which simplifies the computations of the on-shell amplitudes significantly. We show the high energy behaviors of the scattering amplitudes determine the "curvature tensors" in the scalar/fermion field space. The massive spinor-wavefunction formalism is shown to be useful in the computations of on-shell helicity amplitudes.


title: Dual process in the two-parameter Poisson-Dirichlet diffusion

abstract: The two-parameter Poisson-Dirichlet diffusion takes values in the infinite ordered simplex and extends the celebrated infinitely-many-neutral-alleles model, with a two-parameter Poisson-Dirichlet stationary distribution. Here we identify a dual process for this diffusion and obtain its transition probabilities. The dual is shown to be given by Kingman's coalescent with mutation, conditional on a given configuration of leaves. Interestingly, the dual does not depend on the additional parameter of the stationary distribution. After discussing the sampling probabilities of a two-parameter Poisson-Dirichlet partition drawn conditionally on another partition, we use these together with the dual process to derive the transition density of the diffusion. Our derivation provides a new probabilistic proof of this result, leveraging on an extension of Pitman's P\'olya urn scheme whereby the urn is split after a finite sequence and two urns are run independently onwards. The proof strategy exemplifies the power of duality and could be exported to other models where a dual is available.


title: Geometry of Cascade Feedback Linearizable Control Systems

abstract: In this thesis, we provide new insights into the theory of cascade feedback linearization of control systems. In particular, we present a new explicit class of cascade feedback linearizable control systems, as well as a new obstruction to the existence of a cascade feedback linearization for a given invariant control system. These theorems are presented in Chapter 4, where truncated versions of operators from the calculus of variations are introduced and explored to prove these new results. This connection reveals new geometry behind cascade feedback linearization and establishes a foundation for future exciting work on the subject with important consequences for dynamic feedback linearization.


title: Dependence of DFT+DMFT Results on the Construction of the Correlated Orbitals

abstract: The sensitivity of Density Functional Theory plus Dynamical Mean Field Theory calculations to different constructions of the correlated orbitals is investigated via a detailed comparison of results obtained for the quantum material NdNiO$_2$ using different Wannier and projector methods to define the correlation problem. Using the same interaction parameters we find that the different methods produce different results for the orbital and band basis mass enhancements and for the orbital occupancies, with differing implications regarding the importance of multiorbital effects and charge transfer physics. Using interaction parameters derived from cRPA enhances the difference in results. For the isostructural cuprate CaCuO$_2$, the different methods give quantitatively different mass enhancements but still result in the same qualitative physics.


title: The Impact of High-Resolution Soil Moisture States on Short-Term Numerical Weather Prediction of Convective Initiation over South Africa

abstract: The interaction between the Earths surface and the atmosphere plays a key role in the initiation of cumulus convection. Over the land surface, a necessary boundary condition to consider for resolving land-atmosphere interactions is soil moisture. The aim in the study is twofold. One, through object oriented and traditional verification techniques determine how higher resolution soil moisture initial conditions influences the prediction of the location and timing of convective initiation (CI) within a convective permitting, operational NWP model over South Africa. Two, to study the modelled CI-soil moisture relationship during real afternoon thunderstorm events. The study reports the results from 66 Unified Model simulations (at 4.4km grid resolution) for nine summer afternoon CI events during synoptically benign conditions over South Africa. The higher resolution soil moisture conditions reduce centroid distance between observed and forecast storms on average by 7km (9 percent improvement), with the most decrease in centroid distance occurring at the shortest lead times, by 12km. Most improvement in location error occurs in the zonal directional. However, little to no difference is found in the timing of CI, most likely attributable to the dominant effect of model grid size on CI timing, overshadowing the influence from soil moisture anomalies. Probability of CI is highest over dry and moderate soils and areas along distinct soil moisture gradients. The conclusion is that modelled CI over South Africa preferentially occurs on the periphery of wet soil moisture patches, where there is increased surface convergence of wind and higher sensible heat flux.


title: Applications of optimal nonlinear control to a whole-brain network of FitzHugh-Nagumo oscillators

abstract: We apply the framework of optimal nonlinear control to steer the dynamics of a whole-brain network of FitzHugh-Nagumo oscillators. Its nodes correspond to the cortical areas of an atlas-based segmentation of the human cerebral cortex, and the inter-node coupling strengths are derived from Diffusion Tensor Imaging data of the connectome of the human brain. Nodes are coupled using an additive scheme without delays and are driven by background inputs with fixed mean and additive Gaussian noise. Optimal control inputs to nodes are determined by minimizing a cost functional that penalizes the deviations from a desired network dynamic, the control energy, and spatially non-sparse control inputs. Using the strength of the background input and the overall coupling strength as order parameters, the network's state-space decomposes into regions of low and high activity fixed points separated by a high amplitude limit cycle all of which qualitatively correspond to the states of an isolated network node. Along the borders, however, additional limit cycles, asynchronous states and multistability can be observed. Optimal control is applied to several state-switching and network synchronization tasks, and the results are compared to controllability measures from linear control theory for the same connectome. We find that intuitions from the latter about the roles of nodes in steering the network dynamics, which are solely based on connectome features, do not generally carry over to nonlinear systems, as had been previously implied. Instead, the role of nodes under optimal nonlinear control critically depends on the specified task and the system's location in state space. Our results shed new light on the controllability of brain network states and may serve as an inspiration for the design of new paradigms for non-invasive brain stimulation.


title: A Cayley-Bacharach theorem and plane configurations

abstract: In this paper, we examine linear conditions on finite sets of points in projective space implied by the Cayley-Bacharach condition. In particular, by bounding the number of points satisfying the Cayley-Bacharach condition, we force them to lie on unions of low-dimensional linear spaces. These results are motivated by investigations into degrees of irrationality of complete intersections, which are controlled by minimum-degree rational maps to projective space. As an application of our main theorem, we describe the fibers of such maps for certain complete intersections of codimension two.


title: Enhanced Medium Range Order in Vapor Deposited Germania Glasses at Elevated Temperatures

abstract: Glasses are nonequilibrium solids with properties highly dependent on their method of preparation. In vapor-deposited molecular glasses, structural organization could be readily tuned with deposition rate and substrate temperature. Herein, we show the atomic arrangement of strong network forming GeO2 glass is modified at medium range (< 2 nm) through vapor deposition at elevated temperatures. Raman spectral signatures distinctively show the population of 6-membered GeO4 rings increases at elevated substrate temperatures. Deposition near the glass transition temperature is more efficient than post-growth annealing in modifying atomic structure at medium range. The enhanced medium range organization correlates with reduction of the room temperature internal friction. Identifying the microscopic origin of room temperature internal friction in amorphous oxides is paramount to design the next generation interference coatings for mirrors of the end test masses of gravitational wave interferometers, in which the room temperature internal friction is a main source of noise limiting their sensitivity.


title: An introduction to the lattice of torsion classes

abstract: In this expository note, I present some of the key features of the lattice of torsion classes of a finite-dimensional algebra, focussing in particular on its complete semidistributivity and consequences thereof. This is intended to serve as an introduction to recent work by Barnard-Carroll-Zhu and Demonet-Iyama-Reading-Reiten-Thomas.


title: Properties of the Toric Rings of a Chordal Bipartite Family of Graphs

abstract: This work concerns the study of properties of a group of Koszul algebras coming from the toric ideals of a chordal bipartite infinite family of graphs (alternately, these rings may be interpreted as coming from determinants of certain ladder-like structures). We determine a linear system of parameters for each ring and explicitly determine the Hilbert series for the resulting Artinian reduction. As corollaries, we obtain the multiplicity and regularity of the original rings. This work extends results easily derived from lattice theory for a subfamily coming from a two-sided ladder to a family where, as we show, lattice theory no longer applies in any obvious way and includes constructive proofs which may be useful in future study of these rings and others.


title: Efficient Maintenance of Distance Labelling for Incremental Updates in Large Dynamic Graphs

abstract: Finding the shortest path distance between an arbitrary pair of vertices is a fundamental problem in graph theory. A tremendous amount of research has been successfully attempted on this problem, most of which is limited to static graphs. Due to the dynamic nature of real-world networks, there is a pressing need to address this problem for dynamic networks undergoing changes. In this paper, we propose an \emph{online incremental} method to efficiently answer distance queries over very large dynamic graphs. Our proposed method incorporates incremental update operations, i.e. edge and vertex additions, into a highly scalable framework of answering distance queries. We theoretically prove the correctness of our method and the preservation of labelling minimality. We have also conducted extensive experiments on 12 large real-world networks to empirically verify the efficiency, scalability, and robustness of our method.


title: Fast Graph Learning with Unique Optimal Solutions

abstract: We consider two popular Graph Representation Learning (GRL) methods: message passing for node classification and network embedding for link prediction. For each, we pick a popular model that we: (i) linearize and (ii) and switch its training objective to Frobenius norm error minimization. These simplifications can cast the training into finding the optimal parameters in closed-form. We program in TensorFlow a functional form of Truncated Singular Value Decomposition (SVD), such that, we could decompose a dense matrix $\mathbf{M}$, without explicitly computing $\mathbf{M}$. We achieve competitive performance on popular GRL tasks while providing orders of magnitude speedup. We open-source our code at http://github.com/samihaija/tf-fsvd


title: Motion of charged particles around a magnetic black hole/topological star with a compact extra dimension

abstract: We study the motion of charged particles in a family of five-dimensional solutions describing either a black hole or topological star with a fifth compact dimension stabilised by a magnetic flux. The particle's trajectory is shown to move along the surface of a Poincar\'{e} cone. The radial motion shows a rich structure where the existence of various bound, plunging, or escaping trajectories depend on the constants of motion. Curves of energy and angular momentum corresponding to spherical orbits show a swallow-tail structure highly reminiscent to phase transitions of thermodynamics. When the momentum along the compact direction is varied, the is a critical point beyond which the swallow-tail kink disappears and becomes a smooth curve.


title: DeepWalking Backwards: From Embeddings Back to Graphs

abstract: Low-dimensional node embeddings play a key role in analyzing graph datasets. However, little work studies exactly what information is encoded by popular embedding methods, and how this information correlates with performance in downstream machine learning tasks. We tackle this question by studying whether embeddings can be inverted to (approximately) recover the graph used to generate them. Focusing on a variant of the popular DeepWalk method (Perozzi et al., 2014; Qiu et al., 2018), we present algorithms for accurate embedding inversion - i.e., from the low-dimensional embedding of a graph G, we can find a graph H with a very similar embedding. We perform numerous experiments on real-world networks, observing that significant information about G, such as specific edges and bulk properties like triangle density, is often lost in H. However, community structure is often preserved or even enhanced. Our findings are a step towards a more rigorous understanding of exactly what information embeddings encode about the input graph, and why this information is useful for learning tasks.


title: Causal Estimation with Functional Confounders

abstract: Causal inference relies on two fundamental assumptions: ignorability and positivity. We study causal inference when the true confounder value can be expressed as a function of the observed data; we call this setting estimation with functional confounders (EFC). In this setting, ignorability is satisfied, however positivity is violated, and causal inference is impossible in general. We consider two scenarios where causal effects are estimable. First, we discuss interventions on a part of the treatment called functional interventions and a sufficient condition for effect estimation of these interventions called functional positivity. Second, we develop conditions for nonparametric effect estimation based on the gradient fields of the functional confounder and the true outcome function. To estimate effects under these conditions, we develop Level-set Orthogonal Descent Estimation (LODE). Further, we prove error bounds on LODE's effect estimates, evaluate our methods on simulated and real data, and empirically demonstrate the value of EFC.


title: StatEcoNet: Statistical Ecology Neural Networks for Species Distribution Modeling

abstract: This paper focuses on a core task in computational sustainability and statistical ecology: species distribution modeling (SDM). In SDM, the occurrence pattern of a species on a landscape is predicted by environmental features based on observations at a set of locations. At first, SDM may appear to be a binary classification problem, and one might be inclined to employ classic tools (e.g., logistic regression, support vector machines, neural networks) to tackle it. However, wildlife surveys introduce structured noise (especially under-counting) in the species observations. If unaccounted for, these observation errors systematically bias SDMs. To address the unique challenges of SDM, this paper proposes a framework called StatEcoNet. Specifically, this work employs a graphical generative model in statistical ecology to serve as the skeleton of the proposed computational framework and carefully integrates neural networks under the framework. The advantages of StatEcoNet over related approaches are demonstrated on simulated datasets as well as bird species data. Since SDMs are critical tools for ecological science and natural resource management, StatEcoNet may offer boosted computational and analytical powers to a wide range of applications that have significant social impacts, e.g., the study and conservation of threatened species.


title: ATCSpeechNet: A multilingual end-to-end speech recognition framework for air traffic control systems

abstract: In this paper, a multilingual end-to-end framework, called as ATCSpeechNet, is proposed to tackle the issue of translating communication speech into human-readable text in air traffic control (ATC) systems. In the proposed framework, we focus on integrating the multilingual automatic speech recognition (ASR) into one model, in which an end-to-end paradigm is developed to convert speech waveform into text directly, without any feature engineering or lexicon. In order to make up for the deficiency of the handcrafted feature engineering caused by ATC challenges, a speech representation learning (SRL) network is proposed to capture robust and discriminative speech representations from the raw wave. The self-supervised training strategy is adopted to optimize the SRL network from unlabeled data, and further to predict the speech features, i.e., wave-to-feature. An end-to-end architecture is improved to complete the ASR task, in which a grapheme-based modeling unit is applied to address the multilingual ASR issue. Facing the problem of small transcribed samples in the ATC domain, an unsupervised approach with mask prediction is applied to pre-train the backbone network of the ASR model on unlabeled data by a feature-to-feature process. Finally, by integrating the SRL with ASR, an end-to-end multilingual ASR framework is formulated in a supervised manner, which is able to translate the raw wave into text in one model, i.e., wave-to-text. Experimental results on the ATCSpeech corpus demonstrate that the proposed approach achieves a high performance with a very small labeled corpus and less resource consumption, only 4.20% label error rate on the 58-hour transcribed corpus. Compared to the baseline model, the proposed approach obtains over 100% relative performance improvement which can be further enhanced with the increasing of the size of the transcribed samples.


title: Approximations for adapted M-solutions of Type-II backward stochastic Volterra integral equations

abstract: In this paper, we study a class of Type-II backward stochastic Volterra integral equations (BSVIEs). For the adapted M-solutions, we obtain two approximation results, namely, a BSDE approximation and a numerical approximation. The BSDE approximation means that the solution of a finite system of backward stochastic differential equations (BSDEs) converges to the adapted M-solution of the original equation. As a consequence of the BSDE approximation, we obtain an estimate for the $L^2$-time regularity of the adapted M-solutions of Type-II BSVIEs. For the numerical approximation, we provide a backward Euler--Maruyama scheme, and show that the scheme converges in the strong $L^2$-sense with the convergence speed of order $1/2$. These results hold true without any differentiability conditions for the coefficients.


title: Political Bias and Factualness in News Sharing across more than 100,000 Online Communities

abstract: As civil discourse increasingly takes place online, misinformation and the polarization of news shared in online communities have become ever more relevant concerns with real world harms across our society. Studying online news sharing at scale is challenging due to the massive volume of content which is shared by millions of users across thousands of communities. Therefore, existing research has largely focused on specific communities or specific interventions, such as bans. However, understanding the prevalence and spread of misinformation and polarization more broadly, across thousands of online communities, is critical for the development of governance strategies, interventions, and community design. Here, we conduct the largest study of news sharing on reddit to date, analyzing more than 550 million links spanning 4 years. We use non-partisan news source ratings from Media Bias/Fact Check to annotate links to news sources with their political bias and factualness. We find that, compared to left-leaning communities, right-leaning communities have 105% more variance in the political bias of their news sources, and more links to relatively-more biased sources, on average. We observe that reddit users' voting and re-sharing behaviors generally decrease the visibility of extremely biased and low factual content, which receives 20% fewer upvotes and 30% fewer exposures from crossposts than more neutral or more factual content. This suggests that reddit is more resilient to low factual content than Twitter. We show that extremely biased and low factual content is very concentrated, with 99% of such content being shared in only 0.5% of communities, giving credence to the recent strategy of community-wide bans and quarantines.


title: Global dynamics of a general competition diffusion system in spatially heterogeneous environments

abstract: In this paper, we study a diffusive Lotka-Volterra competition model under homogeneous Dirichlet boundary conditions. We shall discuss the effects of dispersal rate and spatial heterogeneity on population dynamics. More precisely, we establish the main results about the global asymptotic stability of semitrivial as well as coexistence steady states.


title: Separated Proportional-Integral Lagrangian for Chance Constrained Reinforcement Learning

abstract: Safety is essential for reinforcement learning (RL) applied in real-world tasks like autonomous driving. Chance constraints which guarantee the satisfaction of state constraints at a high probability are suitable to represent the requirements in real-world environment with uncertainty. Existing chance constrained RL methods like the penalty method and the Lagrangian method either exhibit periodic oscillations or cannot satisfy the constraints. In this paper, we address these shortcomings by proposing a separated proportional-integral Lagrangian (SPIL) algorithm. Taking a control perspective, we first interpret the penalty method and the Lagrangian method as proportional feedback and integral feedback control, respectively. Then, a proportional-integral Lagrangian method is proposed to steady learning process while improving safety. To prevent integral overshooting and reduce conservatism, we introduce the integral separation technique inspired by PID control. Finally, an analytical gradient of the chance constraint is utilized for model-based policy optimization. The effectiveness of SPIL is demonstrated by a narrow car-following task. Experiments indicate that compared with previous methods, SPIL improves the performance while guaranteeing safety, with a steady learning process.


title: Intuitively Assessing ML Model Reliability through Example-Based Explanations and Editing Model Inputs

abstract: Interpretability methods aim to help users build trust in and understand the capabilities of machine learning models. However, existing approaches often rely on abstract, complex visualizations that poorly map to the task at hand or require non-trivial ML expertise to interpret. Here, we present two visual analytics modules that facilitate an intuitive assessment of model reliability. To help users better characterize and reason about a model's uncertainty, we visualize raw and aggregate information about a given input's nearest neighbors. Using an interactive editor, users can manipulate this input in semantically-meaningful ways, determine the effect on the output, and compare against their prior expectations. We evaluate our interface using an electrocardiogram beat classification case study. Compared to a baseline feature importance interface, we find that 14 physicians are better able to align the model's uncertainty with domain-relevant factors and build intuition about its capabilities and limitations.


title: Negative linear compressibility and unusual dynamic behaviors of NaB3

abstract: First-principles calculations reveal that sodium boride (NaB3) undergoes a phase transition from a tetragonal P4/mbm phase to an orthorhombic Pbam phase at about 16 GPa, accompanied by counterintuitive lattice expansion along the crystallographic a-axis. This unusual compression behavior is identified as negative linear compressibility (NLC), which is dominantly attributed to the symmetry-breaking of boron framework. Meanwhile, the P4/mbm and Pbam phases form superionic conductors after undergoing a peculiar swap state at high temperature. Specifically, under warm conditions the Na cation pairs exhibit a rare local exchange (or rotation) behavior, which may be originated from the asymmetric energy barriers of different diffusion paths. The study of NaB3 compound sheds new light on a material with the combination of NLC and ion transportation at extreme conditions.


title: Active Face Frontalization using Commodity Unmanned Aerial Vehicles

abstract: This paper describes a system by which Unmanned Aerial Vehicles (UAVs) can gather high-quality face images that can be used in biometric identification tasks. Success in face-based identification depends in large part on the image quality, and a major factor is how frontal the view is. Face recognition software pipelines can improve identification rates by synthesizing frontal views from non-frontal views by a process call {\em frontalization}. Here we exploit the high mobility of UAVs to actively gather frontal images using components of a synthetic frontalization pipeline. We define a frontalization error and show that it can be used to guide an UAVs to capture frontal views. Further, we show that the resulting image stream improves matching quality of a typical face recognition similarity metric. The system is implemented using an off-the-shelf hardware and software components and can be easily transfered to any ROS enabled UAVs.


title: DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures

abstract: Applications depend on libraries to avoid reinventing the wheel. Libraries may have incompatible changes during evolving. As a result, applications will suffer from compatibility failures. There has been much research on addressing detecting incompatible changes in libraries, or helping applications co-evolve with the libraries. The existing solution helps the latest application version work well against the latest library version as an afterthought. However, end users have already been suffering from the failures and have to wait for new versions. In this paper, we propose DepOwl, a practical tool helping users prevent compatibility failures. The key idea is to avoid using incompatible versions from the very beginning. We evaluated DepOwl on 38 known compatibility failures from StackOverflow, and DepOwl can prevent 32 of them. We also evaluated DepOwl using the software repository shipped with Ubuntu-19.10. DepOwl detected 77 unknown dependency bugs, which may lead to compatibility failures.