title: Repo2Vec: A Comprehensive Embedding Approach for Determining Repository Similarity

abstract: How can we identify similar repositories and clusters among a large online archive, such as GitHub? Determiningrepository similarity is an essential building block in studying the dynamics and the evolution of such software ecosystems. The key challenge is to determine the right representation for the diverse repository features in a way that: (a) it captures all aspects of the available information, and (b) it is readily usable by MLalgorithms. We propose Repo2Vec, a comprehensive embedding approach to represent a repository as a distributed vector by combining features from three types of information sources. As our key novelty, we consider three types of information: (a)metadata, (b) the structure of the repository, and (c) the source code. We also introduce a series of embedding approaches to represent and combine these information types into a single embedding. We evaluate our method with two real datasets from GitHub for a combined 1013 repositories. First, we show that our method outperforms previous methods in terms of precision (93%vs 78%), with nearly twice as many Strongly Similar repositories and 30% fewer False Positives. Second, we show how Repo2Vecprovides a solid basis for: (a) distinguishing between malware and benign repositories, and (b) identifying a meaningful hierarchical clustering. For example, we achieve 98% precision and 96%recall in distinguishing malware and benign repositories. Overall, our work is a fundamental building block for enabling many repository analysis functions such as repository categorization by target platform or intention, detecting code-reuse and clones, and identifying lineage and evolution.


title: LiveView: Dynamic Target-Centered MPI for View Synthesis

abstract: Existing Multi-Plane Image (MPI) based view-synthesis methods generate an MPI aligned with the input view using a fixed number of planes in one forward pass. These methods produce fast, high-quality rendering of novel views, but rely on slow and computationally expensive MPI generation methods unsuitable for real-time applications. In addition, most MPI techniques use fixed depth/disparity planes which cannot be modified once the training is complete, hence offering very little flexibility at run-time. We propose LiveView - a novel MPI generation and rendering technique that produces high-quality view synthesis in real-time. Our method can also offer the flexibility to select scene-dependent MPI planes (number of planes and spacing between them) at run-time. LiveView first warps input images to target view (target-centered) and then learns to generate a target view centered MPI, one depth plane at a time (dynamically). The method generates high-quality renderings, while also enabling fast MPI generation and novel view synthesis. As a result, LiveView enables real-time view synthesis applications where an MPI needs to be updated frequently based on a video stream of input views. We demonstrate that LiveView improves the quality of view synthesis while being 70 times faster at run-time compared to state-of-the-art MPI-based methods.


title: Spectro-Temporal RF Identification using Deep Learning

abstract: RF emissions detection, classification, and spectro-temporal localization are crucial not only for tasks relating to understanding, managing, and protecting the RF spectrum, but also for safety and security applications such as detecting intruding drones or jammers. Achieving this goal for wideband spectrum and in real-time performance is a challenging problem. We present WRIST, a Wideband, Real-time RF Identification system with Spectro-Temporal detection, framework and system. Our resulting deep learning model is capable to detect, classify, and precisely locate RF emissions in time and frequency using RF samples of 100 MHz spectrum in real-time (over 6Gbps incoming I&Q streams). Such capabilities are made feasible by leveraging a deep-learning based one-stage object detection framework, and transfer learning to a multi-channel image-based RF signals representation. We also introduce an iterative training approach which leverages synthesized and augmented RF data to efficiently build large labelled datasets of RF emissions (SPREAD). WRIST detector achieves 90 mean Average Precision even in extremely congested environment in the wild. WRIST model classifies five technologies (Bluetooth, Lightbridge, Wi-Fi, XPD, and ZigBee) and is easily extendable to others. We are making our curated and annotated dataset available to the whole community. It consists of nearly 1 million fully labelled RF emissions collected from various off-the-shelf wireless radios in a range of environments and spanning the five classes of emissions.


title: Details Preserving Deep Collaborative Filtering-Based Method for Image Denoising

abstract: In spite of the improvements achieved by the several denoising algorithms over the years, many of them still fail at preserving the fine details of the image after denoising. This is as a result of the smooth-out effect they have on the images. Most neural network-based algorithms have achieved better quantitative performance than the classical denoising algorithms. However, they also suffer from qualitative (visual) performance as a result of the smooth-out effect. In this paper, we propose an algorithm to address this shortcoming. We propose a deep collaborative filtering-based (Deep-CoFiB) algorithm for image denoising. This algorithm performs collaborative denoising of image patches in the sparse domain using a set of optimized neural network models. This results in a fast algorithm that is able to excellently obtain a trade-off between noise removal and details preservation. Extensive experiments show that the DeepCoFiB performed quantitatively (in terms of PSNR and SSIM) and qualitatively (visually) better than many of the state-of-the-art denoising algorithms.


title: Raychaudhuri equations and gravitational collapse in Einstein-Cartan theory

abstract: The Raychaudhuri equations for the expansion, shear and vorticity are generalized in a spacetime with torsion for timelike as well as null congruences. These equations are purely geometrical like the original Raychaudhuri equations and could be reduced to them when there is no torsion. Using the Einstein-Cartan-Sciama-Kibble field equations the effective stress-energy tensor is derived. We also consider an Oppenheimer-Snyder model for the gravitational collapse of dust. It is shown that the null energy condition (NEC) is violated before the density of the collapsing dust reaches the Planck density, hinting that the spacetime singularity may be avoided if there is a non-zero torsion,i.e. if the collapsing dust particles possess intrinsic spin.


title: Sparse Brudnyi and John-Nirenberg Spaces

abstract: A generalization of the theory of Y. Brudnyi \cite{yuri}, and A. and Y. Brudnyi \cite{BB20a}, \cite{BB20b}, is presented. Our construction connects Brudnyi's theory, which relies on local polynomial approximation, with new results on sparse domination. In particular, we find an analogue of the maximal theorem for the fractional maximal function, solving a problem proposed by Kruglyak--Kuznetsov. Our spaces shed light on the structure of the John--Nirenberg spaces. We show that $SJN_{p}$ (sparse John--Nirenberg space) coincides with $L^{p},1<p<\infty.$ This characterization yields the John--Nirenberg inequality by extrapolation and is useful in the theory of commutators.


title: Spatial relative equilibria and periodic solutions of the Coulomb $(n+1)$-body problem

abstract: We study a classical model for the atom that considers the movement of $n$ charged particles of charge $-1$ (electrons) interacting with a fixed nucleus of charge $\mu >0$. We show that two global branches of spatial relative equilibria bifurcate from the $n$-polygonal relative equilibrium for each critical values $\mu =s_{k}$ for $k\in \lbrack 2,...,n/2]$. In these solutions, the $n$ charges form $n/h$-groups of regular $h$-polygons in space, where $h$ is the greatest common divisor of $k$ and $n$. Furthermore, each spatial relative equilibrium has a global branch of relative periodic solutions for each normal frequency satisfying some nonresonant condition. We obtain computer-assisted proofs of the existence of several spatial relative equilibria on global branches away from the $n$-polygonal relative equilibrium. Moreover, the nonresonant condition of the normal frequencies for some spatial relative equilibria is verified rigorously using computer-assisted proofs.


title: Generic injectivity of the X-ray transform

abstract: In dimensions $\geq 3$, we prove that the X-ray transform of symmetric tensors of arbitrary degree is generically injective with respect to the metric on closed Anosov manifolds and on manifolds with spherical strictly convex boundary, no conjugate points and a hyperbolic trapped set. This has two immediate corollaries: local spectral rigidity, and local marked length spectrum rigidity (building on earlier work by Guillarmou, Knieper and the second author [arXiv:1806.04218], [arXiv:1909.08666]), in a neighbourhood of a generic Anosov metric. In both cases, this is the first work going beyond the negatively curved assumption or dimension $2$. Our method, initiated in [arXiv:2008.09191] and fully developed in the present paper, is based on a perturbative argument of the $0$-eigenvalue of elliptic operators via microlocal analysis which turn the analytic problem of injectivity into an algebraic problem of representation theory. When the manifold is equipped with a Hermitian vector bundle together with a unitary connection, we also show that the twisted X-ray transform of symmetric tensors (with values in that bundle) is generically injective with respect to the connection. This property turns out to be crucial when solving the $\textit{holonomy inverse problem}$, as studied in a subsequent article [arXiv:2105.06376].


title: Electronic and magnetic properties of honeycomb zigzag nanoribbons in the in-plane transverse electric field using Kane-Mele-Hubbard model

abstract: Using the Kane-Mele-Hubbard model in the unrestricted mean field approximation, the effect of spin-orbit coupling, as an intrinsic parameter, and an in-plane transverse electric field, as an external parameter, on the electronic and magnetic properties of honeycomb zigzag nanoribbons are investigated in the presence of electron-electron interaction. Our calculations show that each of these parameters has significant effects on the physical properties of nanoribbons, and each of them independently transitions the nanoribbon from a magnetic to non-magnetic state. The process of change in some aspect of physical properties, such as symmetry breaking, separation of spin up and spin down energy bands, reduction of magnetic order, change of electric dipole moment and spin current of nanoribbons, which are due to change of these two parameters are investigated. we will see that spin-orbit coupling in the competition with the transverse electric field determines the basic physical properties of the nanoribbon. This research, can provide a better understanding of two types of topological and non-topological transitions. In addition, the separation of spin-up and spin-down energy bands and their tuning by these parameters can be considered as a candidate for use in spintronic instruments.


title: eGHWT: The Extended Generalized Haar-Walsh Transform

abstract: Extending computational harmonic analysis tools from the classical setting of regular lattices to the more general setting of graphs and networks is very important and much research has been done recently. The Generalized Haar-Walsh Transform (GHWT) developed by Irion and Saito (2014) is a multiscale transform for signals on graphs, which is a generalization of the classical Haar and Walsh-Hadamard Transforms. We propose the extended Generalized Haar-Walsh Transform (eGHWT), which is a generalization of the adapted time-frequency tilings of Thiele and Villemoes (1996). The eGHWT examines not only the efficiency of graph-domain partitions but also that of "sequency-domain" partitions simultaneously. Consequently, the eGHWT and its associated best-basis selection algorithm for graph signals significantly improve the performance of the previous GHWT with the similar computational cost, $O(N \log N)$, where $N$ is the number of nodes of an input graph. While the GHWT best-basis algorithm seeks the most suitable orthonormal basis for a given task among more than $(1.5)^N$ possible orthonormal bases in $\mathbb{R}^N$, the eGHWT best-basis algorithm can find a better one by searching through more than $0.618\cdot(1.84)^N$ possible orthonormal bases in $\mathbb{R}^N$. This article describes the details of the eGHWT best-basis algorithm and demonstrates its superiority using several examples including genuine graph signals as well as conventional digital images viewed as graph signals. Furthermore, we also show how the eGHWT can be extended to 2D signals and matrix-form data by viewing them as a tensor product of graphs generated from their columns and rows and demonstrate its effectiveness on applications such as image approximation.

categories: eess.SP cs.CV cs.IT cs.NA math.CO math.IT math.NA


title: Interpretable Deep Feature Propagation for Early Action Recognition

abstract: Early action recognition (action prediction) from limited preliminary observations plays a critical role for streaming vision systems that demand real-time inference, as video actions often possess elongated temporal spans which cause undesired latency. In this study, we address action prediction by investigating how action patterns evolve over time in a spatial feature space. There are three key components to our system. First, we work with intermediate-layer ConvNet features, which allow for abstraction from raw data, while retaining spatial layout. Second, instead of propagating features per se, we propagate their residuals across time, which allows for a compact representation that reduces redundancy. Third, we employ a Kalman filter to combat error build-up and unify across prediction start times. Extensive experimental results on multiple benchmarks show that our approach leads to competitive performance in action prediction. Notably, we investigate the learned components of our system to shed light on their otherwise opaque natures in two ways. First, we document that our learned feature propagation module works as a spatial shifting mechanism under convolution to propagate current observations into the future. Thus, it captures flow-based image motion information. Second, the learned Kalman filter adaptively updates prior estimation to aid the sequence learning process.


title: A projection-based, semi-implicit time-stepping approach for the Cahn-Hilliard Navier-Stokes equations on adaptive octree meshes

abstract: The Cahn-Hilliard Navier-Stokes (CHNS) system provides a computationally tractable model that can be used to effectively capture interfacial dynamics in two-phase fluid flows. In this work, we present a semi-implicit, projection-based finite element framework for solving the CHNS system. We use a projection-based semi-implicit time discretization for the Navier-Stokes equation and a fully-implicit time discretization for the Cahn-Hilliard equation. We use a conforming continuous Galerkin (cG) finite element method in space equipped with a residual-based variational multiscale (RBVMS) formulation. Pressure is decoupled using a projection step, which results in two linear positive semi-definite systems for velocity and pressure, instead of the saddle point system of a pressure-stabilized method. All the linear systems are solved using an efficient and scalable algebraic multigrid (AMG) method. We deploy this approach on a massively parallel numerical implementation using parallel octree-based adaptive meshes. The overall approach allows the use of relatively large time steps with much faster time-to-solve than similar fully-implicit methods. We present comprehensive numerical experiments showing detailed comparisons with results from the literature for canonical cases, including the single bubble rise and Rayleigh-Taylor instability.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Transformers with multi-modal features and post-fusion context for e-commerce session-based recommendation

abstract: Session-based recommendation is an important task for e-commerce services, where a large number of users browse anonymously or may have very distinct interests for different sessions. In this paper we present one of the winning solutions for the Recommendation task of the SIGIR 2021 Workshop on E-commerce Data Challenge. Our solution was inspired by NLP techniques and consists of an ensemble of two Transformer architectures - Transformer-XL and XLNet - trained with autoregressive and autoencoding approaches. To leverage most of the rich dataset made available for the competition, we describe how we prepared multi-model features by combining tabular events with textual and image vectors. We also present a model prediction analysis to better understand the effectiveness of our architectures for the session-based recommendation.


title: Inverse problem for Sturm--Liouville operators with frozen argument on closed sets

abstract: In the paper, we study the problem of recovering the potential from the spectrum of the Dirichlet boundary value problem for a Sturm--Liouville equation with frozen argument on a closed set. We consider the case when the closed set consists of two segments and the frozen argument is at the end of the first segment. A uniqueness theorem and an algorithm solving the inverse problem are obtained along with necessary and sufficient conditions of its solvability. The considered case significantly differs from the one of the classical Sturm--Liouville operator with frozen argument.


title: New symmetric 2-(176,50,14) designs

abstract: In this paper we construct two new symmetric designs with parameters 2-(176,50,14) as designs invariant under certain subgroups of the full automorphism group of the Higman design. One is self-dual and has the full automorphism group of size 11520 and other is not self-dual and has the full automorphism group of size 2520.


title: Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning

abstract: Adversarial learning is used to test the robustness of machine learning algorithms under attack and create attacks that deceive the anomaly detection methods in Industrial Control System (ICS). Given that security assessment of an ICS demands that an exhaustive set of possible attack patterns is studied, in this work, we propose an association rule mining-based attack generation technique. The technique has been implemented using data from a secure Water Treatment plant. The proposed technique was able to generate more than 300,000 attack patterns constituting a vast majority of new attack vectors which were not seen before. Automatically generated attacks improve our understanding of the potential attacks and enable the design of robust attack detection techniques.


title: Karchmer-Wigderson Games for Hazard-free Computation

abstract: We present a Karchmer-Wigderson game to study the complexity of hazard-free formulas. This new game is both a generalization of the monotone Karchmer-Wigderson game and an analog of the classical Boolean Karchmer-Wigderson game. Therefore, it acts as a bridge between the existing monotone and general games. Using this game, we prove hazard-free formula size and depth lower bounds that are provably stronger than those possible by the standard technique of transferring results from monotone complexity in a black-box fashion. For the multiplexer function we give (1) a hazard-free formula of optimal size and (2) an improved low-depth hazard-free formula of almost optimal size and (3) a hazard-free formula with alternation depth $2$ that has optimal depth. We then use our optimal constructions to obtain an improved universal worst-case hazard-free formula size upper bound. We see our results as a significant step towards establishing hazard-free computation as an independent missing link between Boolean complexity and monotone complexity.


title: Bremsstrahlung photons from stopping in heavy-ion collisions

abstract: We examine the spectrum of bremsstrahlung photons that results from the stopping of the initial net charge distributions in ultrarelativistic nucleus-nucleus collisions at the CERN Large Hadron Collier (LHC). This effect has escaped detection so far since it becomes sizable only at very low transverse momentum and at sufficiently forward rapidity. We argue that it may be within reach of the next-generation LHC heavy-ion detector ALICE-3 that is currently under study, and we comment on the physics motivation for measuring it.


title: Long range magnetic dipole-dipole interaction mediated by a superconductor

abstract: Quantum computation and simulation requires strong coherent coupling between qubits, which may be spatially separated. Achieving this coupling for solid-state based spin qubits is a long-standing challenge. Here we theoretically investigate a method for achieving such coupling, based on superconducting nano-structures designed to channel the magnetic flux created by the qubits. We detail semi-classical analytical calculations and simulations of the magnetic field created by a magnetic dipole, depicting the spin qubit, positioned directly below nanofabricated apertures in a superconducting layer. We show that such structures could channel the magnetic flux, enhancing the dipole-dipole interaction between spin qubits and changing its scaling with distance, thus potentially paving the way for controllably engineering an interacting spin system.


title: A dual approach for dynamic pricing in multi-demand markets

abstract: Dynamic pricing schemes were introduced as an alternative to posted-price mechanisms. In contrast to static models, the dynamic setting allows to update the prices between buyer-arrivals based on the remaining sets of items and buyers, and so it is capable of maximizing social welfare without the need for a central coordinator. In this paper, we study the existence of optimal dynamic pricing schemes in combinatorial markets. In particular, we concentrate on multi-demand valuations, a natural extension of unit-demand valuations. The proposed approach is based on computing an optimal dual solution of the maximum social welfare problem with distinguished structural properties. Our contribution is twofold. By relying on an optimal dual solution, we show the existence of optimal dynamic prices in unit-demand markets and in multi-demand markets up to three buyers, thus giving new interpretations of results of Cohen-Addad et al. and Berger et al., respectively. Furthermore, we provide an optimal dynamic pricing scheme for bi-demand valuations with an arbitrary number of buyers. In all cases, our proofs also provide efficient algorithms for determining the optimal dynamic prices.


title: LexSubCon: Integrating Knowledge from Lexical Resources into Contextual Embeddings for Lexical Substitution

abstract: Lexical substitution is the task of generating meaningful substitutes for a word in a given textual context. Contextual word embedding models have achieved state-of-the-art results in the lexical substitution task by relying on contextual information extracted from the replaced word within the sentence. However, such models do not take into account structured knowledge that exists in external lexical databases. We introduce LexSubCon, an end-to-end lexical substitution framework based on contextual embedding models that can identify highly accurate substitute candidates. This is achieved by combining contextual information with knowledge from structured lexical resources. Our approach involves: (i) introducing a novel mix-up embedding strategy in the creation of the input embedding of the target word through linearly interpolating the pair of the target input embedding and the average embedding of its probable synonyms; (ii) considering the similarity of the sentence-definition embeddings of the target word and its proposed candidates; and, (iii) calculating the effect of each substitution in the semantics of the sentence through a fine-tuned sentence similarity model. Our experiments show that LexSubCon outperforms previous state-of-the-art methods on LS07 and CoInCo benchmark datasets that are widely used for lexical substitution tasks.


title: Computer-assisted construct classification of organizational performance concerning different stakeholder groups

abstract: The number of research articles in business and management has dramatically increased along with terminology, constructs, and measures. Proper classification of organizational performance constructs from research articles plays an important role in categorizing the literature and understanding to whom its research implications may be relevant. In this work, we classify constructs (i.e., concepts and terminology used to capture different aspects of organizational performance) in research articles into a three-level categorization: (a) performance and non-performance categories (Level 0); (b) for performance constructs, stakeholder group-level of performance concerning investors, customers, employees, and the society (community and natural environment) (Level 1); and (c) for each stakeholder group-level, subcategories of different ways of measurement (Level 2). We observed that increasing contextual information with features extracted from surrounding sentences and external references improves classification of disaggregate-level labels, given limited training data. Our research has implications for computer-assisted construct identification and classification - an essential step for research synthesis.


title: Dual Training of Energy-Based Models with Overparametrized Shallow Neural Networks

abstract: Energy-based models (EBMs) are generative models that are usually trained via maximum likelihood estimation. This approach becomes challenging in generic situations where the trained energy is non-convex, due to the need to sample the Gibbs distribution associated with this energy. Using general Fenchel duality results, we derive variational principles dual to maximum likelihood EBMs with shallow overparametrized neural network energies, both in the feature-learning and lazy linearized regimes. In the feature-learning regime, this dual formulation justifies using a two time-scale gradient ascent-descent (GDA) training algorithm in which one updates concurrently the particles in the sample space and the neurons in the parameter space of the energy. We also consider a variant of this algorithm in which the particles are sometimes restarted at random samples drawn from the data set, and show that performing these restarts at every iteration step corresponds to score matching training. These results are illustrated in simple numerical experiments, which indicates that GDA performs best when features and particles are updated using similar time scales.


title: Generative adversarial network based single pixel imaging

abstract: Single pixel imaging can reconstruct two-dimensional images of a scene with only a single-pixel detector. It has been widely used for imaging in non-visible bandwidth (e.g., near-infrared and X-ray) where focal-plane array sensors are challenging to be manufactured. In this paper, we propose a generative adversarial network based reconstruction algorithm for single pixel imaging, which demonstrates efficient reconstruction in 10ms and higher quality. We verify the proposed method with both synthetic and real-world experiments, and demonstrate a good quality of reconstruction of a real-world plaster using a 0.05 sampling rate.


title: Was Ulam right? I: Basic theory and subnormal ideals

abstract: We introduce various colouring principles which generalise the so-called "onto mapping principle" of Sierpinski to larger cardinals and general ideals. We prove that these principles capture the notion of an Ulam matrix and allow to characterise large cardinals, most notably weakly compact and ineffable cardinals. We also develop the basic theory of these colouring principles, connecting them to the classical negative square bracket partition relations, proving pumping-up theorems, and deciding various instances of theirs. We also demonstrate that our principles provide a uniform way of obtaining non-saturation results for ideals satisfying a property we call subnormality in contexts where Ulam matrices might not be available.


title: Finite simple automorphism groups of edge-transitive maps

abstract: Building on earlier results for regular maps and for orientably regular chiral maps, we classify the non-abelian finite simple groups arising as automorphism groups of maps in each of the 14 Graver-Watkins classes of edge-transitive maps.


title: Open-Loop Equilibrium Strategies for Dynamic Influence Maximization Game Over Social Networks

abstract: We consider the problem of budget allocation for competitive influence maximization over social networks. In this problem, multiple competing parties (players) want to distribute their limited advertising resources over a set of social individuals to maximize their long-run cumulative payoffs. It is assumed that the individuals are connected via a social network and update their opinions based on the classical DeGroot model. The players must decide the budget distribution among the individuals at a finite number of campaign times to maximize their overall payoff given as a function of individuals' opinions. We show that i) the optimal investment strategy for the case of a single-player can be found in polynomial time by solving a concave program, and ii) the open-loop equilibrium strategies for the multiplayer dynamic game can be computed efficiently by following natural regret minimization dynamics. Our results extend the earlier work on the static version of the problem to a dynamic multistage game.


title: Graph-theoretic estimation of reconfigurability in origami-based metamaterials

abstract: Origami-based mechanical metamaterials have recently received significant scientific interest due to their versatile and reconfigurable architectures. However, it is often challenging to account for all possible geometrical configurations of the origami assembly when each origami cell can take multiple phases. Here, we investigate the reconfigurability of a tessellation of origami-based cellular structures composed of bellows-like unit cells, specifically Tachi-Miura Polyhedron (TMP). One of the unique features of the TMP is that a single cell can take four different phases in a rigid foldable manner. Therefore, the TMP tessellation can achieve various shapes out of one originally given assembly. To assess the geometrical validity of the astronomical number of origami phase combinations, we build a graph-theoretical framework to describe the connectivity of unit cells and to analyze the reconfigurability of the tessellations. Our approach can pave the way to develop a systematic computational tool to design origami-based mechanical metamaterials with tailored properties.


title: Review of Video Predictive Understanding: Early Action Recognition and Future Action Prediction

abstract: Video predictive understanding encompasses a wide range of efforts that are concerned with the anticipation of the unobserved future from the current as well as historical video observations. Action prediction is a major sub-area of video predictive understanding and is the focus of this review. This sub-area has two major subdivisions: early action recognition and future action prediction. Early action recognition is concerned with recognizing an ongoing action as soon as possible. Future action prediction is concerned with the anticipation of actions that follow those previously observed. In either case, the \textbf{\textit{causal}} relationship between the past, current, and potential future information is the main focus. Various mathematical tools such as Markov Chains, Gaussian Processes, Auto-Regressive modeling, and Bayesian recursive filtering are widely adopted jointly with computer vision techniques for these two tasks. However, these approaches face challenges such as the curse of dimensionality, poor generalization, and constraints from domain-specific knowledge. Recently, structures that rely on deep convolutional neural networks and recurrent neural networks have been extensively proposed for improving the performance of existing vision tasks, in general, and action prediction tasks, in particular. However, they have their own shortcomings, \eg reliance on massive training data and lack of strong theoretical underpinnings. In this survey, we start by introducing the major sub-areas of the broad area of video predictive understanding, which recently have received intensive attention and proven to have practical value. Next, a thorough review of various early action recognition and future action prediction algorithms are provided with suitably organized divisions. Finally, we conclude our discussion with future research directions.


title: Fluid mechanics of free subduction on a sphere, 1: The axisymmetric case

abstract: To understand how spherical geometry influences the dynamics of gravity-driven subduction of oceanic lithosphere on Earth, we study a simple model of a thin and dense axisymmetric shell of thickness $h$ and viscosity $\eta_1$ sinking in a spherical body of fluid with radius $R_0$ and a lower viscosity $\eta_0$. Using scaling analysis based on thin viscous shell theory, we identify a fundamental length scale, the `bending length' $l_b$, and two key dimensionless parameters that control the dynamics: the `flexural stiffness' $St = (\eta_1/\eta_0)(h/l_b)^3$ and the `sphericity number' $\Sigma= (l_b/R_0)\cot\theta_t$, where $\theta_t$ is the angular radius of the subduction trench. To validate the scaling analysis, we obtain a suite of instantaneous numerical solutions using a boundary-element method based on new analytical point-force Green functions that satisfy free-slip boundary conditions on the sphere's surface. To isolate the effect of sphericity, we calculate the radial sinking speed $V$ and the hoop stress resultant $T_2$ at the leading end of the subducted part of the shell, both normalised by their `flat-Earth' values (i.e., for $\Sigma = 0$). For reasonable terrestrial values of $\eta_1/\eta_0$ ($\approx$ several hundred), sphericity has a modest effect on $V$, which is reduced by $< 7\%$ for large plates such as the Pacific plate and by up to 34% for smaller plates such as the Cocos and Philippine Sea plates. However, sphericity has a much greater effect on $T_2$, increasing it by up to 64% for large plates and 240% for small plates. This result has important implications for the growth of longitudinal buckling instabilities in subducting spherical shells.


title: Graph neural networks for simulating crack coalescence and propagation in brittle materials

abstract: High-fidelity fracture mechanics simulations of multiple microcracks interaction via physics-based models quickly become computationally expensive as the number of microcracks increases. This work develops a Graph Neural Network (GNN) based framework to simulate fracture and stress evolution in brittle materials due to multiple microcracks' interaction. The GNN framework is trained on the dataset generated by XFEM-based fracture simulator. Our framework achieves high prediction accuracy on the test set (compared to an XFEM-based fracture simulator) by engineering a sequence of GNN-based predictions. The first prediction stage determines Mode-I and Mode-II stress intensity factors (which can be used to compute the stress evolution by LEFM), the second prediction stage determines which microcracks will propagate, and the final stage actually propagates crack-tip positions for the selected microcracks to the next time instant. The trained GNN framework is capable of simulating crack propagation, coalescence and corresponding stress distribution for a wide range of initial microcrack configurations (from 5 to 19 microcracks) without any additional modification. Lastly, the framework's simulation time shows speed-ups 6x-25x faster compared to an XFEM-based simulator. These characteristics, make our GNN framework an attractive approach for simulating microcrack propagation and stress evolution in brittle materials with multiple initial microcracks.


title: Derivatives and residual distribution of regularized M-estimators with application to adaptive tuning

abstract: This paper studies M-estimators with gradient-Lipschitz loss function regularized with convex penalty in linear models with Gaussian design matrix and arbitrary noise distribution. A practical example is the robust M-estimator constructed with the Huber loss and the Elastic-Net penalty and the noise distribution has heavy-tails. Our main contributions are three-fold. (i) We provide general formulae for the derivatives of regularized M-estimators $\hat\beta(y,X)$ where differentiation is taken with respect to both $y$ and $X$; this reveals a simple differentiability structure shared by all convex regularized M-estimators. (ii) Using these derivatives, we characterize the distribution of the residual $r_i = y_i-x_i^\top\hat\beta$ in the intermediate high-dimensional regime where dimension and sample size are of the same order. (iii) Motivated by the distribution of the residuals, we propose a novel adaptive criterion to select tuning parameters of regularized M-estimators. The criterion approximates the out-of-sample error up to an additive constant independent of the estimator, so that minimizing the criterion provides a proxy for minimizing the out-of-sample error. The proposed adaptive criterion does not require the knowledge of the noise distribution or of the covariance of the design. Simulated data confirms the theoretical findings, regarding both the distribution of the residuals and the success of the criterion as a proxy of the out-of-sample error. Finally our results reveal new relationships between the derivatives of $\hat\beta(y,X)$ and the effective degrees of freedom of the M-estimator, which are of independent interest.


title: Modelling and Characterisation of Flexibility\\from Distributed Energy Resources

abstract: Harnessing flexibility from distributed energy resources (DER) to participate in various markets while accounting for relevant technical and commercial constraints is essential for the development of low-carbon grids. However, there is no clear definition or even description of the salient features of aggregated DER flexibility, including its steady-state and dynamic features and how these are impacted by network constraints and market requirements. This paper proposes a comprehensive DER flexibility modelling and characterisation framework that is based on the concept of nodal operating envelope (NOE). In particular, capacity, ramp, duration and cost are identified as key flexibility metrics and associated with different but consistent NOEs describing capability, feasibility, ramp, duration, economic, technical and commercial flexibility features. These NOEs, which conceptually arise from a Venn diagram, can be built via optimal power flow (OPF) analysis, visualised in the active-reactive power space, and used by different stakeholders. Results from a canonical test system and a real distribution system illustrate the value and applicability of the proposed framework to model and characterise provision of flexibility and market services from DER for different use cases.


title: Discovery of Bayes' Table at Tunbridge Wells

abstract: In 1755 Thomas Bayes expressed an interest in the problem of combining repeated measurements of the location of a star. Bayes described a tandem set-up of a ball thrown on a table, followed by repeated throws of a second ball. Bayes' table has long been taken as a billiard table, for which there is no evidence. We report the discovery of Bayes' table, a bowling green located half a km uphill (SE) from the meeting house where Bayes served as minister for two decades. Bayes' drawing shows a rectangular space marked off in yards, which allows calculation of an interval measurement of uncertainty. The Bayes rule interval from 2.5% to 97.5% is from 0.56 - 0.42 = 0.12 perches equivalent to 0.61 m. The discovery of Bayes' table establishes the physical basis for Bayes' symmetrical probability model, a fixed parameter binomial ({\theta} = 0.5). The discovery establishes Bayes as the founder of statistical science, defined as the application of mathematics to scientific measurement.


title: Entropy Regularized Motion Planning via Stein Variational Inference

abstract: Many Imitation and Reinforcement Learning approaches rely on the availability of expert-generated demonstrations for learning policies or value functions from data. Obtaining a reliable distribution of trajectories from motion planners is non-trivial, since it must broadly cover the space of states likely to be encountered during execution while also satisfying task-based constraints. We propose a sampling strategy based on variational inference to generate distributions of feasible, low-cost trajectories for high-dof motion planning tasks. This includes a distributed, particle-based motion planning algorithm which leverages a structured graphical representations for inference over multi-modal posterior distributions. We also make explicit connections to both approximate inference for trajectory optimization and entropy-regularized reinforcement learning.


title: A three gap theorem for the adeles

abstract: We prove a natural generalization of the classical three gap theorem, for rotations on adelic tori. Our proof is an adaptation to the adeles of the lattice based approach to gaps problems in Diophantine approximation originally introduced by Marklof and Str\"ombergsson.


title: Alexander invariants and cohomology jump loci in group extensions

abstract: We study the integral, rational, and modular Alexander invariants, as well as the cohomology jump loci of groups arising as extensions with trivial algebraic monodromy. Our focus is on extensions of the form $1\to K\to G\to Q\to 1$, where $Q$ is an abelian group acting trivially on $H_1(K;\mathbb{Z})$, with suitable modifications in the rational and mod-$p$ settings. We find a tight relationship between the Alexander invariants, the characteristic varieties, and the resonance varieties of the groups $K$ and $G$. This leads to an inequality between the respective Chen ranks, which becomes an equality in degrees greater than 1 for split extensions.


title: Infinite Lifting of an Action of Symplectomorphism Group on the set of Bi-Lagrangian Structures

abstract: We consider a smooth $2n$-manifold $M$ endowed with a bi-Lagrangian structure $(\omega,\mathcal{F}_{1},\mathcal{F}_{2})$. That is, $\omega$ is a symplectic form and $(\mathcal{F}_{1},\mathcal{F}_{2})$ is a pair of transversal Lagrangian foliations on $(M, \omega)$. Such structures have an important geometric object called the Hess Connection. Among the many importance of these connections, they allow to classify affine bi-Lagrangian structures. In this work, we show that a bi-Lagrangian structure on $M$ can be lifted as a bi-Lagrangian structure on its trivial bundle $M\times\mathbb{R}^n$. Moreover, the lifting of an affine bi-Lagrangian structure is also an affine bi-Lagrangian structure. We define a dynamic on the symplectomorphism group and the set of bi-Lagrangian structures (that is an action of the symplectomorphism group on the set of bi-Lagrangian structures). This dynamic is compatible with Hess connections, preserves affine bi-Lagrangian structures, and can be lifted on $M\times\mathbb{R}^n$. This lifting can be lifted again on $\left(M\times\mathbb{R}^{2n}\right)\times\mathbb{R}^{4n}$, and coincides with the initial dynamic (in our sense) on $M\times\mathbb{R}^n$ for some bi-Lagrangian structures. Results still hold by replacing $M\times\mathbb{R}^{2n}$ with the tangent bundle $TM$ of $M$ or its cotangent bundle $T^{*}M$ for some manifolds $M$.


title: CFTrack: Center-based Radar and Camera Fusion for 3D Multi-Object Tracking

abstract: 3D multi-object tracking is a crucial component in the perception system of autonomous driving vehicles. Tracking all dynamic objects around the vehicle is essential for tasks such as obstacle avoidance and path planning. Autonomous vehicles are usually equipped with different sensor modalities to improve accuracy and reliability. While sensor fusion has been widely used in object detection networks in recent years, most existing multi-object tracking algorithms either rely on a single input modality, or do not fully exploit the information provided by multiple sensing modalities. In this work, we propose an end-to-end network for joint object detection and tracking based on radar and camera sensor fusion. Our proposed method uses a center-based radar-camera fusion algorithm for object detection and utilizes a greedy algorithm for object association. The proposed greedy algorithm uses the depth, velocity and 2D displacement of the detected objects to associate them through time. This makes our tracking algorithm very robust to occluded and overlapping objects, as the depth and velocity information can help the network in distinguishing them. We evaluate our method on the challenging nuScenes dataset, where it achieves 20.0 AMOTA and outperforms all vision-based 3D tracking methods in the benchmark, as well as the baseline LiDAR-based method. Our method is online with a runtime of 35ms per image, making it very suitable for autonomous driving applications.


title: Document Embedding for Scientific Articles: Efficacy of Word Embeddings vs TFIDF

abstract: Over the last few years, neural network derived word embeddings became popular in the natural language processing literature. Studies conducted have mostly focused on the quality and application of word embeddings trained on public available corpuses such as Wikipedia or other news and social media sources. However, these studies are limited to generic text and thus lack technical and scientific nuances such as domain specific vocabulary, abbreviations, or scientific formulas which are commonly used in academic context. This research focuses on the performance of word embeddings applied to a large scale academic corpus. More specifically, we compare quality and efficiency of trained word embeddings to TFIDF representations in modeling content of scientific articles. We use a word2vec skip-gram model trained on titles and abstracts of about 70 million scientific articles. Furthermore, we have developed a benchmark to evaluate content models in a scientific context. The benchmark is based on a categorization task that matches articles to journals for about 1.3 million articles published in 2017. Our results show that content models based on word embeddings are better for titles (short text) while TFIDF works better for abstracts (longer text). However, the slight improvement of TFIDF for larger text comes at the expense of 3.7 times more memory requirement as well as up to 184 times higher computation times which may make it inefficient for online applications. In addition, we have created a 2-dimensional visualization of the journals modeled via embeddings to qualitatively inspect embedding model. This graph shows useful insights and can be used to find competitive journals or gaps to propose new journals.


title: Decidability for the theory of modules over a Pr\"ufer domain

abstract: In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is decidable.


title: Relative Binding Free Energy Calculations for Ligands with Diverse Scaffolds with the Alchemical Transfer Method

abstract: We present an extension of Alchemical Transfer Method (ATM) for the estimation of relative binding free energies of molecular complexes applicable to conventional as well as scaffold-hopping alchemical transformations. The method, named ATM-RBFE, implemented in the free and open-source OpenMM molecular simulation package, aims to provide a simpler and more generally applicable route to the calculation of relative binding free energies than is currently available. The method is based on sound statistical mechanics theory and a novel coordinate perturbation scheme designed to swap the positions of a pair of ligands such that one is transferred from the bulk solvent to the receptor binding site while the other moves simultaneously in the opposite direction. The calculation is conducted directly using a single solvent box prepared using conventional setup tools, without splitting of electrostatic and non-electrostatic transformations, and without pairwise soft-core potentials. ATM-RBFE is validated here against the absolute binding free energies of the SAMPL8 GDCC host-guest benchmark set and against a benchmark set of estrogen receptor $\alpha$ complexes. In each case, the method yields self-consistent and converged relative binding free energy estimates in agreement with absolute binding free energies, reference literature values as well as experimental measurements.


title: MOOCRep: A Unified Pre-trained Embedding of MOOC Entities

abstract: Many machine learning models have been built to tackle information overload issues on Massive Open Online Courses (MOOC) platforms. These models rely on learning powerful representations of MOOC entities. However, they suffer from the problem of scarce expert label data. To overcome this problem, we propose to learn pre-trained representations of MOOC entities using abundant unlabeled data from the structure of MOOCs which can directly be applied to the downstream tasks. While existing pre-training methods have been successful in NLP areas as they learn powerful textual representation, their models do not leverage the richer information about MOOC entities. This richer information includes the graph relationship between the lectures, concepts, and courses along with the domain knowledge about the complexity of a concept. We develop MOOCRep, a novel method based on Transformer language model trained with two pre-training objectives : 1) graph-based objective to capture the powerful signal of entities and relations that exist in the graph, and 2) domain-oriented objective to effectively incorporate the complexity level of concepts. Our experiments reveal that MOOCRep's embeddings outperform state-of-the-art representation learning methods on two tasks important for education community, concept pre-requisite prediction and lecture recommendation.


title: Application of the Alchemical Transfer and Potential of Mean Force Methods to the SAMPL8 Host-Guest Blinded Challenge

abstract: We report the results of our participation in the SAMPL8 GDCC Blind Challenge for host-guest binding affinity predictions. Absolute binding affinity prediction is of central importance to the biophysics of molecular association and pharmaceutical discovery. The blinded SAMPL series have provided an important forum for assessing the reliability of binding free energy methods in an objective way. In this blinded challenge, we employed two binding free energy methods, the newly developed alchemical transfer method (ATM) and the well-established potential of mean force (PMF) physical pathway method, using the same setup and force field model. The calculated binding free energies from the two methods are in excellent quantitative agreement. Importantly, the results from the two methods were also found to agree well with the experimental binding affinities released subsequently, with an $R^2$ of 0.89 (ATM) and 0.83 (PMF). Given that the two free energy methods are based on entirely different thermodynamic pathways, the close agreement between the results from the two methods and their general agreement with the experimental binding free energies are a testament to the high quality achieved by theory and methods. The study provides further validation of the novel ATM binding free energy estimation protocol and it paves the way to further extensions of the method to more complex systems.


title: On the Hamming Weight Distribution of Subsequences of Pseudorandom Sequences

abstract: In this paper, we characterize the average Hamming weight distribution of subsequences of maximum-length sequences ($m$-sequences). In particular, we consider all possible $m$-sequences of dimension $k$ and find the average number of subsequences of length $n$ that have a Hamming weight $t$. To do so, we first characterize the Hamming weight distribution of the average dual code and use the MacWilliams identity to find the average Hamming weight distribution of subsequences of $m$-sequences. We further find a lower bound on the minimum Hamming weight of the subsequences and show that there always exists a primitive polynomial to generate an $m$-sequence to meet this bound. We show via simulations that when a proper primitive polynomial is chosen, subsequences of the $m$-sequence can form a good rateless code that can meet the normal approximation benchmark.


title: Low Mach number limit for degenerate Navier-Stokes equations in presence of strong stratification

abstract: In this paper, we investigate the low Mach and low Froude numbers limit for the compressible Navier-Stokes equations with degenerate, density-dependent, viscosity coefficient, in the strong stratification regime. We consider the case of a general pressure law with singular component close to vacuum, and general ill-prepared initial data. We perform our study in the three-dimensional periodic domain. We rigorously justify the convergence to the generalised anelastic approximation, which is used extensively to model atmospheric flows.


title: Quark anomalous magnetic moment and its effects on the $\rho$ meson properties

abstract: A symmetry-preserving treatment of mesons, within a Dyson-Schwinger and Bethe-Salpeter equations approach, demands an interconnection between the kernels of the quark gap equation and meson Bethe-Salpeter equation. Appealing to those symmetries expressed by the vector and axial-vector Ward-Green-Takahashi identitiges (WGTI), we construct a two-body Bethe-Salpeter kernel and study its implications in the vector channel; particularly, we analyze the structure of the quark-photon vertex, which explicitly develops a vector meson pole in the timelike axis and the quark anomlaous magnetic moment term, as well as a variety of $\rho$ meson properties: mass and decay constants, electromagnetic form factors, and valence-quark distribution amplitudes.


title: The Deformation Spaces of Geodesic Triangulations of Flat Tori

abstract: We prove that the deformation space of geodesic triangulations of a flat torus is homotopy equivalent to a torus. This solves an open problem proposed by Connelly et al. in 1983, in the case of flat tori. A key tool of the proof is a generalization of Tutte's embedding theorem for flat tori. When this paper is under preparation, Erickson and Lin proved a similar result, which works for all convex drawings.


title: Spatial and Temporal Networks for Facial Expression Recognition in the Wild Videos

abstract: The paper describes our proposed methodology for the seven basic expression classification track of Affective Behavior Analysis in-the-wild (ABAW) Competition 2021. In this task, facial expression recognition (FER) methods aim to classify the correct expression category from a diverse background, but there are several challenges. First, to adapt the model to in-the-wild scenarios, we use the knowledge from pre-trained large-scale face recognition data. Second, we propose an ensemble model with a convolution neural network (CNN), a CNN-recurrent neural network (CNN-RNN), and a CNN-Transformer (CNN-Transformer), to incorporate both spatial and temporal information. Our ensemble model achieved F1 as 0.4133, accuracy as 0.6216 and final metric as 0.4821 on the validation set.


title: Bounds for Multiple Packing and List-Decoding Error Exponents

abstract: We revisit the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study the multiple packing problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive various bounds on the largest possible density of a multiple packing in both bounded and unbounded settings. A related notion called average-radius multiple packing is also studied. Some of our lower bounds exactly pin down the asymptotics of certain ensembles of average-radius list-decodable codes, e.g., (expurgated) Gaussian codes and (expurgated) Poisson Point Processes. To this end, we apply tools from high-dimensional geometry and large deviation theory. Some of our lower bounds on the optimal multiple packing density are the best known lower bounds. These bounds are obtained via a proxy known as error exponent. The latter quantity is the best exponent of the probability of list-decoding error when the code is corrupted by a Gaussian noise. We establish a curious inequality which relates the error exponent, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We derive various bounds on the error exponent in both bounded and unbounded settings which are of independent interest beyond multiple packing.


title: Board-level Code-Modulated Embedded Test and Calibration of an X-band Phased-Array Transceiver

abstract: We present methods for built-in test and calibration of phased arrays using code-modulated embedded test (CoMET). Our approach employs Cartesian modulation of test signals within each element using existing phase shifters, combining of these signals into an aggregate code-multiplexed response, downconversion and creation of code-modulated element-to-element "interference products" using a built-in power detector, demodulation of correlations from the digitized interference response, and extraction of amplitude and phase per element using an equation solver. Rotated-axis methodology is discussed for accurate extraction of phase near the original 0/90/180/270 degree axes. Our techniques are demonstrated at board level for both receive and transmit modes using an eight-element 8-16 GHz phased array constructed using ADAR1000 chips from ADI. At 6 GHz, CoMET-extracted gain and phase are accurate to within 0.2 dB and 3 degree compared to network-analyzer measurements. We then employ CoMET in a calibration loop to determinate optimum control settings at 6 GHz, outside the 8-16 GHz band for which the array was designed. We achieve seven-bit phase resolution with equalized gain. The root-mean squared gain and phase errors are improved from 0.8 dB and 8 degree before calibration to 0.1 dB and 1.7 degree after calibration.


title: Recursive Utility with Investment Gains and Losses: Existence, Uniqueness, and Convergence

abstract: We consider a generalization of the recursive utility model by adding a new component that represents utility of investment gains and losses. We also study the utility process in this generalized model with constant elasticity of intertemporal substitution and relative risk aversion degree, and with infinite time horizon. In a specific, finite-state Markovian setting, we prove that the utility process uniquely exists when the agent derives nonnegative gain-loss utility, and that it can be non-existent or non-unique otherwise. Moreover, we prove that the utility process, when it uniquely exists, can be computed by starting from any initial guess and applying the recursive equation that defines the utility process repeatedly. We then consider a portfolio selection problem with gain-loss utility and solve it by proving that the corresponding dynamic programming equation has a unique solution. Finally, we extend certain previous results to the case in which the state space is infinite.


title: An Exact Sequential Linear Programming Algorithm for the Optimal Power Flow Problem

abstract: Despite major advancements in nonlinear programming (NLP) and convex relaxations, most system operators around the world still predominantly use some form of linear programming (LP) approximation of the AC power flow equations. This is largely due to LP technology's superior reliability and computational efficiency, especially in real-time market applications, security-constrained applications, and extensions involving integer variables, in addition to its ability to readily generate locational marginal prices (LMP) for market applications. In the aim of leveraging the advantages of LP while retaining the accuracy of NLP interior-point methods (IPMs), this paper proposes a sequential linear programming (SLP) approach consisting of a sequence of carefully constructed supporting hyperplanes and halfspaces. The algorithm is numerically demonstrated to converge on 138 test cases with up the 3375 buses to feasible high-quality solutions (i) without AC feasibility restoration (i.e., using LP solvers exclusively), (ii) in computation times generally within the same order of magnitude as those from a state-of-the-art NLP solver, and (iii) with robustness against the choice of starting point. In particular, the (relative) optimality gaps and the mean constraint violations are on average around 1e-3% and 1e-7, respectively, under a single parameter setting for all the 138 test cases. To the best of our knowledge, the proposed SLP approach is the first to use LP exclusively to reach feasible and high-quality solutions to the nonconvex AC OPF in a reliable way, which paves the way for system and market operators to keep using their LP solvers but now with the ability to accurately capture transmission losses, price reactive power (Q-LMP), and obtain more accurate LMP.


title: Automated Mobile App Test Script Intent Generation via Image and Code Understanding

abstract: Testing is the most direct and effective technique to ensure software quality. However, it is a burden for developers to understand the poorly-commented tests, which are common in industry environment projects. Mobile applications (app) are GUI-intensive and event-driven, so test scripts focusing on GUI interactions play a more important role in mobile app testing besides the test cases for the source code. Therefore, more attention should be paid to the user interactions and the corresponding user event responses. However, test scripts are loosely linked to apps under test (AUT) based on widget selectors, making it hard to map the operations to the functionality code of AUT. In such a situation, code understanding algorithms may lose efficacy if directly applied to mobile app test scripts. We present a novel approach, TestIntent, to infer the intent of mobile app test scripts. TestIntent combines the GUI image understanding and code understanding technologies. The test script is transferred into an operation sequence model. For each operation, TestIntent extracts the operated widget selector and link the selector to the UI layout structure, which stores the detailed information of the widgets, including coordinates, type, etc. With code understanding technologies, TestIntent can locate response methods in the source code. Afterwards, NLP algorithms are adopted to understand the code and generate descriptions. Also, TestIntent can locate widgets on the app GUI images. Then, TestIntent can understand the widget intent with an encoder-decoder model. With the combination of the results from GUI and code understanding, TestIntent generates the test intents in natural language format. We also conduct an empirical experiment, and the results prove the outstanding performance of TestIntent. A user study also declares that TestIntent can save developers' time to understand test scripts.


title: Stateful Detection of Model Extraction Attacks

abstract: Machine-Learning-as-a-Service providers expose machine learning (ML) models through application programming interfaces (APIs) to developers. Recent work has shown that attackers can exploit these APIs to extract good approximations of such ML models, by querying them with samples of their choosing. We propose VarDetect, a stateful monitor that tracks the distribution of queries made by users of such a service, to detect model extraction attacks. Harnessing the latent distributions learned by a modified variational autoencoder, VarDetect robustly separates three types of attacker samples from benign samples, and successfully raises an alarm for each. Further, with VarDetect deployed as an automated defense mechanism, the extracted substitute models are found to exhibit poor performance and transferability, as intended. Finally, we demonstrate that even adaptive attackers with prior knowledge of the deployment of VarDetect, are detected by it.


title: $p$-Kirchhoff type equation with Neumann boundary conditions

abstract: This paper is concerned with the multiplicity results to a class of $p$-Kirchhoff type elliptic equation with the homogeneous Neumann boundary conditions by an abstract linking lemma due to Br\'{e}zis and Nirenberg. We obtain the twofold results in subcritical and critical cases, which is a meaningful addition and completeness to the known results about Kirchhoff equation.


abstract: Most recently proposed approaches in dialogue state tracking (DST) leverage the context and the last dialogue states to track current dialogue states, which are often slot-value pairs. Although the context contains the complete dialogue information, the information is usually indirect and even requires reasoning to obtain. The information in the lastly predicted dialogue states is direct, but when there is a prediction error, the dialogue information from this source will be incomplete or erroneous. In this paper, we propose the Dialogue State Tracking with Multi-Level Fusion of Predicted Dialogue States and Conversations network (FPDSC). This model extracts information of each dialogue turn by modeling interactions among each turn utterance, the corresponding last dialogue states, and dialogue slots. Then the representation of each dialogue turn is aggregated by a hierarchical structure to form the passage information, which is utilized in the current turn of DST. Experimental results validate the effectiveness of the fusion network with 55.03% and 59.07% joint accuracy on MultiWOZ 2.0 and MultiWOZ 2.1 datasets, which reaches the state-of-the-art performance. Furthermore, we conduct the deleted-value and related-slot experiments on MultiWOZ 2.1 to evaluate our model.


title: A gradient-compression-based compact high-order gas-kinetic scheme on three-dimensional hybrid unstructured mesh

abstract: In this paper, the compact gas-kinetic scheme for compressible flow is extended to hybrid unstructured mesh. Based on both cell-averaged flow variables and their gradients updated from time accurate gas evolution model at cell interfaces, a compact third-order least-square-constrained reconstruction can be obtained on unstructured mesh and a multi-resolution WENO reconstruction is adopted in case of discontinuous solutions. Moreover, a compression factor for the cell-averaged gradients is proposed to take into account the possible discontinuity in flow variables at cell interface, which significantly improves the robustness of the compact scheme for high-speed flow computation on irregular mesh and preserves the accuracy. Numerical tests from incompressible to hypersonic flow are presented to demonstrate the broad applicability of the gradient-compression-based high-order compact scheme.


title: Positive disclination in a thin elastic sheet with boundary

abstract: An isolated positive wedge disclination deforms an initially flat elastic sheet into a perfect cone when the sheet is of infinite extent and is elastically inextensible. The latter requires the elastic stretching strains to be vanishingly small. In this paper, rigorous analytical and numerical results are obtained for the disclination induced deformed shape and stress field of a bounded F{\"o}ppl-von K{\'a}rm{\'a}n elastic sheet with finite extensibility, while emphasising the deviations from the perfect cone solution. In particular, the Gaussian curvature field is no longer localised as a Dirac singularity at the defect location whenever elastic extensibility is allowed and is necessarily negative in large regions away from the defect. The stress field, similarly, has no Dirac singularity in the presence of elastic extensibility. However, with increasing Young's modulus of the sheet, while keeping the bending modulus and the domain size fixed, both of these fields tend to develop a Dirac singularity. Noticeably, in this limiting behaviour, inextensibility eludes the bounded elastic sheet due to persisting regions of non-trivial Gaussian curvature away from the defect. Other results in the paper include studying the effect of specific boundary conditions (free, simply supported, or partially clamped) on the Gaussian curvature field away from the defect and on the buckling transition from the flat to a conical solution.


title: Shadow and near-horizon characteristics of the acoustic charged black hole in curved spacetime

abstract: In this paper, we first analyze the horizon structure of the acoustic charged black hole in curved spacetime, and then study its acoustic shadow as well as the near-horizon characteristics including the quasinormal modes (QNM) frequencies and analogue Hawking radiation. We find that the radius of the acoustic shadow for acoustic charged black hole is larger than that for Reissner-Nordstr\"{o}m (RN) black hole, and both of them are suppressed by increasing the black hole charge because their related outer horizons become smaller. Then the QNM frequencies under scalar field perturbation and its eikonal limit are computed via numeric method and acoustic shadow, respectively. We find that the acoustic charged black hole is stable under the perturbation and the QNM frequencies are much weaker than that for the astrophysical black hole. Moreover, as the tuning parameter increases, the perturbation oscillates more mildly and its damping time becomes longer, while as the charge increases, the oscillation is enhanced slightly and the perturbation decays a little faster which is different from that in RN black hole. Finally, we numerically study the analogue Hawking radiation. We find that the grey-body factor and energy emission rate are suppressed by the angular number and the charge, but they do not monotonically depend on the tuning parameter in the acoustic charged black hole. The behavior of the energy emission rate affected by the parameters could be explained by the dependent behavior of the Hawking temperature. We expect that our results could shed light to the study of black holes in both theoretical and experimental perspectives.


title: Deep Transfer Learning Based Intrusion Detection System for Electric Vehicular Networks

abstract: The Controller Area Network (CAN) bus works as an important protocol in the real-time In-Vehicle Network (IVN) systems for its simple, suitable, and robust architecture. The risk of IVN devices has still been insecure and vulnerable due to the complex data-intensive architectures which greatly increase the accessibility to unauthorized networks and the possibility of various types of cyberattacks. Therefore, the detection of cyberattacks in IVN devices has become a growing interest. With the rapid development of IVNs and evolving threat types, the traditional machine learning-based IDS has to update to cope with the security requirements of the current environment. Nowadays, the progression of deep learning, deep transfer learning, and its impactful outcome in several areas has guided as an effective solution for network intrusion detection. This manuscript proposes a deep transfer learning-based IDS model for IVN along with improved performance in comparison to several other existing models. The unique contributions include effective attribute selection which is best suited to identify malicious CAN messages and accurately detect the normal and abnormal activities, designing a deep transfer learning-based LeNet model, and evaluating considering real-world data. To this end, an extensive experimental performance evaluation has been conducted. The architecture along with empirical analyses shows that the proposed IDS greatly improves the detection accuracy over the mainstream machine learning, deep learning, and benchmark deep transfer learning models and has demonstrated better performance for real-time IVN security.


title: Provider-centric Allocation of Drone Swarm Services

abstract: We propose a novel framework for the allocation of drone swarms for delivery services known as Swarm-based Drone-as-a-Service (SDaaS). The allocation framework ensures minimum cost (aka maximum profit) to drone swarm providers while meeting the time requirement of service consumers. The constraints in the delivery environment (e.g., limited recharging pads) are taken into consideration. We propose three algorithms to select the best allocation of drone swarms given a set of requests from multiple consumers. We conduct a set of experiments to evaluate and compare the efficiency of these algorithms considering the provider's profit, feasibility, requests fulfilment, and drones utilization level.


title: Partially Concatenated Calderbank-Shor-Steane Codes Achieving the Quantum Gilbert-Varshamov Bound Asymptotically

abstract: In this paper, we utilize a concatenation scheme to construct new families of quantum error correction codes achieving the quantum Gilbert-Varshamov (GV) bound asymptotically. We concatenate alternant codes with any linear code achieving the classical GV bound to construct Calderbank-Shor-Steane (CSS) codes. We show that the concatenated code can achieve the quantum GV bound asymptotically and can approach the Hashing bound for asymmetric Pauli channels. By combing Steane's enlargement construction of CSS codes, we derive a family of enlarged stabilizer codes achieving the quantum GV bound for enlarged CSS codes asymptotically. As applications, we derive two families of fast encodable and decodable CSS codes with parameters $\mathscr{Q}_1=[[N,\Omega(\sqrt{N}),\Omega( \sqrt{N})]],$ and $\mathscr{Q}_2=[[N,\Omega(N/\log N),\Omega(N/\log N)/\Omega(\log N)]].$ We show that $\mathscr{Q}_1$ can be encoded very efficiently by circuits of size $O(N)$ and depth $O(\sqrt{N})$. For an input error syndrome, $\mathscr{Q}_1$ can correct any adversarial error of weight up to half the minimum distance bound in $O(N)$ time. $\mathscr{Q}_1$ can also be decoded in parallel in $O(\sqrt{N})$ time by using $O(\sqrt{N})$ classical processors. For an input error syndrome, we proved that $\mathscr{Q}_2$ can correct a linear number of ${X}$-errors with high probability and an almost linear number of ${Z}$-errors in $O(N )$ time. Moreover, $\mathscr{Q}_2$ can be decoded in parallel in $O(\log(N))$ time by using $O(N)$ classical processors.


title: Strategyproof Mechanisms For Group-Fair Facility Location Problems

abstract: We study the facility location problems where agents are located on a real line and divided into groups based on criteria such as ethnicity or age. Our aim is to design mechanisms to locate a facility to approximately minimize the costs of groups of agents to the facility fairly while eliciting the agents' locations truthfully. We first explore various well-motivated group fairness cost objectives for the problems and show that many natural objectives have an unbounded approximation ratio. We then consider minimizing the maximum total group cost and minimizing the average group cost objectives. For these objectives, we show that existing classical mechanisms (e.g., median) and new group-based mechanisms provide bounded approximation ratios, where the group-based mechanisms can achieve better ratios. We also provide lower bounds for both objectives. To measure fairness between groups and within each group, we study a new notion of intergroup and intragroup fairness (IIF) . We consider two IIF objectives and provide mechanisms with tight approximation ratios.


title: Zero-Shot Compositional Concept Learning

abstract: In this paper, we study the problem of recognizing compositional attribute-object concepts within the zero-shot learning (ZSL) framework. We propose an episode-based cross-attention (EpiCA) network which combines merits of cross-attention mechanism and episode-based training strategy to recognize novel compositional concepts. Firstly, EpiCA bases on cross-attention to correlate concept-visual information and utilizes the gated pooling layer to build contextualized representations for both images and concepts. The updated representations are used for a more in-depth multi-modal relevance calculation for concept recognition. Secondly, a two-phase episode training strategy, especially the transductive phase, is adopted to utilize unlabeled test examples to alleviate the low-resource learning problem. Experiments on two widely-used zero-shot compositional learning (ZSCL) benchmarks have demonstrated the effectiveness of the model compared with recent approaches on both conventional and generalized ZSCL settings.


title: Asymptotic stability of planar stationary solution to a 2D hyperbolic-elliptic coupled system of the radiating gas in half space

abstract: This paper is concerned with the asymptotic stability of planar stationary solution to an initial-boundary value problem for a two-dimensional hyperbolic-elliptic coupled system of the radiating gas in half space. We show that the solution to the problem converges to the corresponding planar stationary solution as time tends to infinity under small initial perturbation. These results are proved by the standard $L^2$-energy method. Moreover, we prove that the solution $(u,q)$ converges to the corresponding planar stationary solution at the rate $t^{-\alpha/2-1/4}$ for non-degenerate case, and $t^{-1/4}$ for degenerate case. The proof is based on the time and space weighted energy method.


title: Software Process Improvement Based on Defect Prevention Using Capability and Testing Model Integration in Extreme Programming

abstract: Nowadays, Software Process Improvement popularly known as SPI has been able to receive an immense concern in the continuous process to purify software quality. Several Agile methodologies previously have worked with Extreme programming (XP). Before improving the process, defect prevention (DP) is inevitable. In addition, DP largely depends on defect detection either found earlier in the design and implementation stages or held in the testing phases. However, testing maturity model integration (TMMI) has a crucial aspect in DP as well as process improvement of the software. In particular, when software gets validated by being tested and fixed the defects up, it achieves the maximum capability maturity model integration (CMMI) aiming the process improvement. Here, the article has proposed an improved defect detection and prevention model to enhance the software process following the approach of XP. Besides, as a unique contribution, we have united the capability and testing model integration to ensure better SPI.


title: Constraining the nature of the possible extrasolar PDS110b ring system

abstract: The young star PDS110 in the Ori OB1a association underwent two similar eclipses in 2008 and 2011, each of which lasted for a period of at least 25 days. One plausible explanation for these events is that the star was eclipsed by an unseen giant planet (named PDS110b) circled by a ring system that fills a large fraction of its Hill sphere. Through thousands of numerical simulations of the three-body problem, we constrain the mass and eccentricity of this planet as well the size and inclination of its ring, parameters that are not well determined by the observational data alone. We carried out a broad range of different configurations for the PDS110b ring system and ruled out all that did not match with the observations. The result shows that the ring system could be prograde or retrograde; the preferred solution is that the ring has an inclination lower than $60^\circ$ and a radius between 0.1 and 0.2 au and that the planet is more massive than $35 M_\mathrm{Jup}$ and has a low eccentricity (<0.05).


title: MugRep: A Multi-Task Hierarchical Graph Representation Learning Framework for Real Estate Appraisal

abstract: Real estate appraisal refers to the process of developing an unbiased opinion for real property's market value, which plays a vital role in decision-making for various players in the marketplace (e.g., real estate agents, appraisers, lenders, and buyers). However, it is a nontrivial task for accurate real estate appraisal because of three major challenges: (1) The complicated influencing factors for property value; (2) The asynchronously spatiotemporal dependencies among real estate transactions; (3) The diversified correlations between residential communities. To this end, we propose a Multi-Task Hierarchical Graph Representation Learning (MugRep) framework for accurate real estate appraisal. Specifically, by acquiring and integrating multi-source urban data, we first construct a rich feature set to comprehensively profile the real estate from multiple perspectives (e.g., geographical distribution, human mobility distribution, and resident demographics distribution). Then, an evolving real estate transaction graph and a corresponding event graph convolution module are proposed to incorporate asynchronously spatiotemporal dependencies among real estate transactions. Moreover, to further incorporate valuable knowledge from the view of residential communities, we devise a hierarchical heterogeneous community graph convolution module to capture diversified correlations between residential communities. Finally, an urban district partitioned multi-task learning module is introduced to generate differently distributed value opinions for real estate. Extensive experiments on two real-world datasets demonstrate the effectiveness of MugRep and its components and features.


title: AoI-minimizing Scheduling in UAV-relayed IoT Networks

abstract: Due to flexibility, autonomy and low operational cost, unmanned aerial vehicles (UAVs), as fixed aerial base stations, are increasingly being used as \textit{relays} to collect time-sensitive information (i.e., status updates) from IoT devices and deliver it to the nearby terrestrial base station (TBS), where the information gets processed. In order to ensure timely delivery of information to the TBS (from all IoT devices), optimal scheduling of time-sensitive information over two hop UAV-relayed IoT networks (i.e., IoT device to the UAV [hop 1], and UAV to the TBS [hop 2]) becomes a critical challenge. To address this, we propose scheduling policies for Age of Information (AoI) minimization in such two-hop UAV-relayed IoT networks. To this end, we present a low-complexity MAF-MAD scheduler, that employs Maximum AoI First (MAF) policy for sampling of IoT devices at UAV (hop 1) and Maximum AoI Difference (MAD) policy for updating sampled packets from UAV to the TBS (hop 2). We show that MAF-MAD is the optimal scheduler under ideal conditions, i.e., error-free channels and generate-at-will traffic generation at IoT devices. On the contrary, for realistic conditions, we propose a Deep-Q-Networks (DQN) based scheduler. Our simulation results show that DQN-based scheduler outperforms MAF-MAD scheduler and three other baseline schedulers, i.e., Maximal AoI First (MAF), Round Robin (RR) and Random, employed at both hops under general conditions when the network is small (with 10's of IoT devices). However, it does not scale well with network size whereas MAF-MAD outperforms all other schedulers under all considered scenarios for larger networks.


title: Orbital stability for the mass-critical and supercritical pseudo-relativistic nonlinear Schrodinger equation

abstract: For the one-dimensional mass-critical/supercritical pseudo-relativistic nonlinear Schrodinger equation, a stationary solution can be constructed as an energy minimizer under an additional kinetic energy constraint and the set of energy minimizers is orbitally stable in \cite{BGV}. In this study, we proved the local uniqueness and established the orbital stability of the solitary wave by improving that of the energy minimizer set. A key aspect thereof is the reformulation of the variational problem in the non-relativistic regime, which we consider to be more natural because the proof extensively relies on the subcritical nature of the limiting model. Thus, the role of the additional constraint is clarified, a more suitable Gagliardo-Nirenberg inequality is introduced, and the non-relativistic limit is proved. Subsequently, this limit is employed to derive the local uniqueness and orbital stability.


title: Consensus as a Nash Equilibrium of a stochastic differential game

abstract: In this paper a consensus has been constructed in a social network which is modeled by a stochastic differential game played by agents of that network. Each agent independently minimizes a cost function which represents their motives. A conditionally expected integral cost function has been considered under an agent's opinion filtration. The dynamic cost functional is minimized subject to a stochastic differential opinion dynamics. As opinion dynamics represents an agent's differences of opinion from the others as well as from their previous opinions, random influences and stubbornness make it more volatile. An agent uses their rate of change of opinion at certain time point as a control input. This turns out to be a non-cooperative stochastic differential game which have a feedback Nash equilibrium. A Feynman-type path integral approach has been used to determine an optimal feedback opinion and control. This is a new approach in this literature. Later in this paper an explicit solution of a feedback Nash equilibrium opinion is determined.


title: Contact line pinning and de-pinning can modulate the rod-climbing effect

abstract: Our experiments on the rod-climbing effect with an oil-coated rod revealed two key differences in the rod-climbing phenomena compared to a bare rod. On one hand, an enhancement in magnitude of climbing height for any particular value of rod rotation speed and second, a decrease in threshold rod rotation speed required for the appearance of the rod-climbing effect were observed. Observed phenomena is explained by considering the contact line behavior at the rod-fluid interface. Transient evolution of meniscus at the rod-fluid interface revealed that the three-phase contact line was pinned for a bare rod and de-pinned for an oil-coated rod. We modelled the subject fluid as a Giesekus fluid to predict the climbing height. The differences in the contact line behaviour were incorporated via the contact angle at the rod-fluid interface as a boundary condition. An agreement was found between the observed and predicted climbing height establishing that contact line behaviour may modulate rod-climbing effect.


title: Uniqueness and orbital stability of standing waves for the nonlinear Schrodinger equation with a partial confinement

abstract: We consider the 3d cubic nonlinear Schr\"odinger equation (NLS) with a strong 2d harmonic potential. The model is physically relevant to observe the lower-dimensional dynamics of the Bose-Einstein condensate, but its ground state cannot be constructed by the standard method due to its supercritical nature. In Bellazzini-Boussa\"id-Jeanjean-Visciglia \cite{BBJV}, the authors constructed a proper ground state introducing a constrained energy minimization problem. In this paper, we further investigate the properties of the ground state. First, we show that as the partial confinement is increased, the 1d ground state is derived from the 3d energy minimizer with a precise rate of convergence. Then, by employing this dimension reduction limit, we prove the uniqueness of the 3d minimizer provided that the confinement is sufficiently strong. Consequently, we obtain the orbital stability of the minimizer, which improves that of the set of minimizers in the previous work \cite{BBJV}.


title: Early warning of pedestrians and cyclists

abstract: State-of-the-art motor vehicles are able to break for pedestrians in an emergency. We investigate what it would take to issue an early warning to the driver so he/she has time to react. We have identified that predicting the intention of a pedestrian reliably by position is a particularly hard challenge. This paper describes an early pedestrian warning demonstration system.


title: Polynomial Time Reinforcement Learning in Factored State MDPs with Linear Value Functions

abstract: Many reinforcement learning (RL) environments in practice feature enormous state spaces that may be described compactly by a "factored" structure, that may be modeled by Factored Markov Decision Processes (FMDPs). We present the first polynomial-time algorithm for RL in Factored State MDPs (generalizing FMDPs) that neither relies on an oracle planner nor requires a linear transition model; it only requires a linear value function with a suitable local basis with respect to the factorization, permitting efficient variable elimination. With this assumption, we can solve this family of Factored State MDPs in polynomial time by constructing an efficient separation oracle for convex optimization. Importantly, and in contrast to prior work on FMDPs, we do not assume that the transitions on various factors are conditionally independent.


title: TransClaw U-Net: Claw U-Net with Transformers for Medical Image Segmentation

abstract: In recent years, computer-aided diagnosis has become an increasingly popular topic. Methods based on convolutional neural networks have achieved good performance in medical image segmentation and classification. Due to the limitations of the convolution operation, the long-term spatial features are often not accurately obtained. Hence, we propose a TransClaw U-Net network structure, which combines the convolution operation with the transformer operation in the encoding part. The convolution part is applied for extracting the shallow spatial features to facilitate the recovery of the image resolution after upsampling. The transformer part is used to encode the patches, and the self-attention mechanism is used to obtain global information between sequences. The decoding part retains the bottom upsampling structure for better detail segmentation performance. The experimental results on Synapse Multi-organ Segmentation Datasets show that the performance of TransClaw U-Net is better than other network structures. The ablation experiments also prove the generalization performance of TransClaw U-Net.


title: Exponential-Size Neighborhoods for the Pickup-and-Delivery Traveling Salesman Problem

abstract: Neighborhood search is a cornerstone of state-of-the-art traveling salesman and vehicle routing metaheuristics. While neighborhood exploration procedures are well developed for problems with individual services, their counterparts for one-to-one pickup-and-delivery problems have been more scarcely studied. A direct extension of classic neighborhoods is often inefficient or complex due to the necessity of jointly considering service pairs. To circumvent these issues, we introduce major improvements to existing neighborhood searches for the pickup-and-delivery traveling salesman problem and new large neighborhoods. We show that the classical Relocate-Pair neighborhood can be fully explored in $O(n^2)$ instead of $O(n^3)$ time. We adapt the 4-Opt and Balas-Simonetti neighborhoods to consider precedence constraints. Moreover, we introduce an exponential-size neighborhood called 2k-Opt, which includes all solutions generated by multiple nested 2-Opts and can be searched in $O(n^2)$ time using dynamic programming. We conduct extensive computational experiments, highlighting the significant contribution of these new neighborhoods and speed-up strategies within two classical metaheuristics. Notably, our approach permits to repeatedly solve small pickup-and-delivery problem instances to optimality or near-optimality within milliseconds, and therefore it represents a valuable tool for time-critical applications such as meal delivery or mobility on demand.


title: Deep-learning-based Hyperspectral imaging through a RGB camera

abstract: Hyperspectral image (HSI) contains both spatial pattern and spectral information which has been widely used in food safety, remote sensing, and medical detection. However, the acquisition of hyperspectral images is usually costly due to the complicated apparatus for the acquisition of optical spectrum. Recently, it has been reported that HSI can be reconstructed from single RGB image using convolution neural network (CNN) algorithms. Compared with the traditional hyperspectral cameras, the method based on CNN algorithms is simple, portable and low cost. In this study, we focused on the influence of the RGB camera spectral sensitivity (CSS) on the HSI. A Xenon lamp incorporated with a monochromator were used as the standard light source to calibrate the CSS. And the experimental results show that the CSS plays a significant role in the reconstruction accuracy of an HSI. In addition, we proposed a new HSI reconstruction network where the dimensional structure of the original hyperspectral datacube was modified by 3D matrix transpose to improve the reconstruction accuracy.


title: The Impact of Three-phase Impedances on the Stability of DER systems

abstract: In this work we explore impedance-based interactions that arise when inverter-connected distributed energy resources (DERs) inject real and reactive power to regulate voltage and power flows on three-phase unbalanced distribution grids. We consider two inverter control frameworks that compute power setpoints: a mix of volt/var and volt/watt control, and phasor-based control. On a two-bus network we isolate how line length, R/X ratio, and mutual impedances each affects the stability of the DER system. We validate our analysis through simulation of the two-bus network, and validate that the effects found extend to the IEEE 123-node feeder. Furthermore, we find that the impedance properties make it more challenging to design a stable DER system for certain placements of DER on this feeder.


title: Legal Judgment Prediction with Multi-Stage CaseRepresentation Learning in the Real Court Setting

abstract: Legal judgment prediction(LJP) is an essential task for legal AI. While prior methods studied on this topic in a pseudo setting by employing the judge-summarized case narrative as the input to predict the judgment, neglecting critical case life-cycle information in real court setting could threaten the case logic representation quality and prediction correctness. In this paper, we introduce a novel challenging dataset from real courtrooms to predict the legal judgment in a reasonably encyclopedic manner by leveraging the genuine input of the case -- plaintiff's claims and court debate data, from which the case's facts are automatically recognized by comprehensively understanding the multi-role dialogues of the court debate, and then learnt to discriminate the claims so as to reach the final judgment through multi-task learning. An extensive set of experiments with a large civil trial data set shows that the proposed model can more accurately characterize the interactions among claims, fact and debate for legal judgment prediction, achieving significant improvements over strong state-of-the-art baselines. Moreover, the user study conducted with real judges and law school students shows the neural predictions can also be interpretable and easily observed, and thus enhancing the trial efficiency and judgment quality.


title: Equivariant filter (EqF): A general filter design for systems on homogeneous spaces

abstract: The kinematics of many mechanical systems encountered in robotics and other fields, such as single-bearing attitude estimation and SLAM, are naturally posed on homogeneous spaces: That is, their state lies in a smooth manifold equipped with a transitive Lie-group symmetry. This paper shows that any system posed in a homogeneous space can be extended to a larger system that is equivariant under a symmetry action. The equivariant structure of the system is exploited to propose a novel new filter, the Equivariant Filter (EqF), based on linearisation of global error dynamics derived from the symmetry action. The EqF is applied to an example of estimating the positions of stationary landmarks relative to a moving monocular camera that is intractable for previously proposed symmetry based filter design methodologies.


title: Monoscopic vs. Stereoscopic Views and Display Types in the Teleoperation of Unmanned Ground Vehicles for Object Avoidance

abstract: Virtual reality (VR) head-mounted displays (HMD) have recently been used to provide an immersive, first-person vision/view in real-time for manipulating remotely-controlled unmanned ground vehicles (UGV). The teleoperation of UGV can be challenging for operators when it is done in real time. One big challenge is for operators to perceive quickly and rapidly the distance of objects that are around the UGV while it is moving. In this research, we explore the use of monoscopic and stereoscopic views and display types (immersive and non-immersive VR) for operating vehicles remotely. We conducted two user studies to explore their feasibility and advantages. Results show a significantly better performance when using an immersive display with stereoscopic view for dynamic, real-time navigation tasks that require avoiding both moving and static obstacles. The use of stereoscopic view in an immersive display in particular improved user performance and led to better usability.