title: H-EMD: A Hierarchical Earth Mover's Distance Method for Instance Segmentation

abstract: Deep learning (DL) based semantic segmentation methods have achieved excellent performance in biomedical image segmentation, producing high quality probability maps to allow extraction of rich instance information to facilitate good instance segmentation. While numerous efforts were put into developing new DL semantic segmentation models, less attention was paid to a key issue of how to effectively explore their probability maps to attain the best possible instance segmentation. We observe that probability maps by DL semantic segmentation models can be used to generate many possible instance candidates, and accurate instance segmentation can be achieved by selecting from them a set of "optimized" candidates as output instances. Further, the generated instance candidates form a well-behaved hierarchical structure (a forest), which allows selecting instances in an optimized manner. Hence, we propose a novel framework, called hierarchical earth mover's distance (H-EMD), for instance segmentation in biomedical 2D+time videos and 3D images, which judiciously incorporates consistent instance selection with semantic-segmentation-generated probability maps. H-EMD contains two main stages. (1) Instance candidate generation: capturing instance-structured information in probability maps by generating many instance candidates in a forest structure. (2) Instance candidate selection: selecting instances from the candidate set for final instance segmentation. We formulate a key instance selection problem on the instance candidate forest as an optimization problem based on the earth mover's distance (EMD), and solve it by integer linear programming. Extensive experiments on eight biomedical video or 3D datasets demonstrate that H-EMD consistently boosts DL semantic segmentation models and is highly competitive with state-of-the-art methods.


title: Learning a Restricted Boltzmann Machine using biased Monte Carlo sampling

abstract: Restricted Boltzmann Machines are simple and powerful generative models that can encode any complex dataset. Despite all their advantages, in practice the trainings are often unstable and it is difficult to assess their quality because the dynamics are affected by extremely slow time dependencies. This situation becomes critical when dealing with low-dimensional clustered datasets, where the time required to sample ergodically the trained models becomes computationally prohibitive. In this work, we show that this divergence of Monte Carlo mixing times is related to a phenomenon of phase coexistence, similar to that which occurs in physics near a first-order phase transition. We show that sampling the equilibrium distribution using the Markov chain Monte Carlo method can be dramatically accelerated when using biased sampling techniques, in particular the Tethered Monte Carlo (TMC) method. This sampling technique efficiently solves the problem of evaluating the quality of a given trained model and generating new samples in a reasonable amount of time. Moreover, we show that this sampling technique can also be used to improve the computation of the log-likelihood gradient during training, leading to dramatic improvements in training RBMs with artificial clustered datasets. On real low-dimensional datasets, this new training method fits RBM models with significantly faster relaxation dynamics than those obtained with standard PCD recipes. We also show that TMC sampling can be used to recover the free-energy profile of the RBM. This proves to be extremely useful to compute the probability distribution of a given model and to improve the generation of new decorrelated samples in slow PCD-trained models.

categories: cs.LG cond-mat.dis-nn cond-mat.stat-mech physics.comp-ph


title: Learning Soft Constraints From Constrained Expert Demonstrations

abstract: Inverse reinforcement learning (IRL) methods assume that the expert data is generated by an agent optimizing some reward function. However, in many settings, the agent may optimize a reward function subject to some constraints, where the constraints induce behaviors that may be otherwise difficult to express with just a reward function. We consider the setting where the reward function is given, and the constraints are unknown, and propose a method that is able to recover these constraints satisfactorily from the expert data. While previous work has focused on recovering hard constraints, our method can recover cumulative soft constraints that the agent satisfies on average per episode. In IRL fashion, our method solves this problem by adjusting the constraint function iteratively through a constrained optimization procedure, until the agent behavior matches the expert behavior. We demonstrate our approach on synthetic environments, robotics environments and real world highway driving scenarios.


title: Optimization of Energy-Constrained IRS-NOMA Using a Complex Circle Manifold Approach

abstract: This work investigates the performance of intelligent reflective surfaces (IRSs) assisted uplink non-orthogonal multiple access (NOMA) in energy-constrained networks. Specifically, we formulate and solve two optimization problems; the first aims at minimizing the sum of users' transmit power, while the second targets maximizing the system level energy efficiency (EE). The two problems are solved by jointly optimizing the users' transmit powers and the beamforming coefficients at IRS subject to the users' individual uplink rate and transmit power constraints. A novel and low complexity algorithm is developed to optimize the IRS beamforming coefficients by optimizing the objective function over a \textit{complex circle manifold} (CCM). To efficiently optimize the IRS phase shifts over the manifold, the optimization problem is reformulated into a feasibility expansion problem which is reduced to a max-min signal-plus-interference-ratio (SINR). Then, with the aid of a smoothing technique, the exact penalty method is applied to transform the problem from constrained to unconstrained. The proposed solution is compared against three semi-definite programming (SDP)-based benchmarks which are semi-definite relaxation (SDR), SDP-difference of convex (SDP-DC) and sequential rank-one constraint relaxation (SROCR). The results show that the manifold algorithm provides better performance than the SDP-based benchmarks, and at a much lower computational complexity for both the transmit power minimization and EE maximization problems. The results also reveal that IRS-NOMA is only superior to orthogonal multiple access (OMA) when the users' target achievable rate requirements are relatively high.


title: Ice friction at the nanoscale

abstract: The origin of ice slipperiness has been a matter of great controversy for more than a century, but an atomistic understanding of ice friction is still lacking. Here, we perform computer simulations of an atomically smooth substrate sliding on ice. In a large temperature range between 230 and 266 K, hydrophobic sliders exhibit a premelting layer similar to that found at the ice air interface. On the contrary, hydrophilic sliders show larger premelting and a strong increase of the first adsorption layer. The non equilibrium simulations show that premelting films of barely one nanometer thickness are sufficient to provide a lubricating quasi liquid layer with rheological properties similar to bulk undercooled water. Upon shearing, the films display a pattern consistent with lubricating Couette flow, but the boundary conditions at the wall vary strongly with the substrates interactions. Hydrophobic walls exhibit large slip, while hydrophilic walls obey stick boundary conditions with small negative slip. By compressing ice above atmospheric pressure, the lubricating layer grows continuously, and the rheological properties approach bulk-like behavior. Below 260 K, the equilibrium premelting films decrease significantly. However, a very large slip persists on the hydrophobic walls, while the increased friction on hydrophilic walls is sufficient to melt ice and create a lubrication layer in a few nanoseconds. Our results show the atomic scale frictional behavior of ice is a combination of spontaneous premelting, pressure melting and frictional heating.

categories: physics.app-ph physics.flu-dyn physics.geo-ph physics.pop-ph


title: A New Security Boundary of Component Differentially Challenged XOR PUFs Against Machine Learning Modeling Attacks

abstract: Physical Unclonable Functions (PUFs) are promising security primitives for resource-constrained network nodes. The XOR Arbiter PUF (XOR PUF or XPUF) is an intensively studied PUF invented to improve the security of the Arbiter PUF, probably the most lightweight delay-based PUF. Recently, highly powerful machine learning attack methods were discovered and were able to easily break large-sized XPUFs, which were highly secure against earlier machine learning attack methods. Component-differentially-challenged XPUFs (CDC-XPUFs) are XPUFs with different component PUFs receiving different challenges. Studies showed they were much more secure against machine learning attacks than the conventional XPUFs, whose component PUFs receive the same challenge. But these studies were all based on earlier machine learning attack methods, and hence it is not clear if CDC-XPUFs can remain secure under the recently discovered powerful attack methods. In this paper, the two current most powerful two machine learning methods for attacking XPUFs are adapted by fine-tuning the parameters of the two methods for CDC-XPUFs. Attack experiments using both simulated PUF data and silicon data generated from PUFs implemented on field-programmable gate array (FPGA) were carried out, and the experimental results showed that some previously secure CDC-XPUFs of certain circuit parameter values are no longer secure under the adapted new attack methods, while many more CDC-XPUFs of other circuit parameter values remain secure. Thus, our experimental attack study has re-defined the boundary between the secure region and the insecure region of the PUF circuit parameter space, providing PUF manufacturers and IoT security application developers with valuable information in choosing PUFs with secure parameter values.


title: Sample-Efficient Reinforcement Learning of Partially Observable Markov Games

abstract: This paper considers the challenging tasks of Multi-Agent Reinforcement Learning (MARL) under partial observability, where each agent only sees her own individual observations and actions that reveal incomplete information about the underlying state of system. This paper studies these tasks under the general model of multiplayer general-sum Partially Observable Markov Games (POMGs), which is significantly larger than the standard model of Imperfect Information Extensive-Form Games (IIEFGs). We identify a rich subclass of POMGs -- weakly revealing POMGs -- in which sample-efficient learning is tractable. In the self-play setting, we prove that a simple algorithm combining optimism and Maximum Likelihood Estimation (MLE) is sufficient to find approximate Nash equilibria, correlated equilibria, as well as coarse correlated equilibria of weakly revealing POMGs, in a polynomial number of samples when the number of agents is small. In the setting of playing against adversarial opponents, we show that a variant of our optimistic MLE algorithm is capable of achieving sublinear regret when being compared against the optimal maximin policies. To our best knowledge, this work provides the first line of sample-efficient results for learning POMGs.


title: Level sets of potential functions bisecting unbounded quadrilaterals

abstract: We study the mixed Dirichlet-Neumann problem for the Laplace equation in the complement of a bounded convex polygonal quadrilateral in the extended complex plane. The Dirichlet\,/\,Neumann conditions at opposite pairs of sides are $\{0,1\}$ and $\{0,0\},$ resp. The solution to this problem is a harmonic function in the unbounded complement of the polygon known as the \emph{potential function} of the quadrilateral. We compute the values of the potential function including its value at infinity.


title: Realization of the inverse scattering transform method for the Korteweg-de Vries equation

abstract: A method for practical realization of the inverse scattering transform method for the Korteweg-de Vries equation is proposed. It is based on analytical representations for Jost solutions and for integral kernels of transformation operators obtained recently by the authors. The representations have the form of functional series in which the first coefficient plays a crucial role both in solving the direct scattering and the inverse scattering problems. The direct scattering problem reduces to computation of a number of the coefficients following a simple recurrent integration procedure with a posterior calculation of scattering data by well known formulas. The inverse scattering problem reduces to a system of linear algebraic equations from which the first component of the solution vector leads to the recovery of the potential. We prove the applicability of the finite section method to the system of linear algebraic equations and discuss numerical aspects of the proposed method. Numerical examples are given, which reveal the accuracy and speed of the method.

categories: math.NA cs.NA math-ph math.AP math.CA math.FA math.MP


title: Onset of nonlinear instabilities in monotonic viscous boundary layers

abstract: In this paper we study the nonlinear stability of a shear layer profile for Navier Stokes equations near a boundary. This question plays a major role in the study of the inviscid limit of Navier Stokes equations in a bounded domain as the viscosity goes to $0$. The stability of a shear layer for Navier Stokes equations depends on its stability for Euler equations. If it is linearly unstable for Euler, then it is known that it is also nonlinearly unstable for Navier Stokes equations provided the viscosity is small enough: an initial perturbation grows until it reaches $O(1)$ in $L^\infty$ norm. If it is linearly stable for Euler, the situation is more complex, since the viscous instability is much slower, with growth rates of order $O(\nu^{-1/4})$ only (instead of $O(1)$ in the first case). It is not clear whether linear instabilities fully develop till they reach a magnitude of order $O(1)$ or whether they are damped by the nonlinearity and saturate at a much smaller magnitude, or order $O(\nu^{1/4})$ for instance. In this paper we study the effect of cubic interactions on the growth of the linear instability. In the case of the exponential profile and Blasius profile we obtain that the nonlinearity tame the linear instability. We thus conjecture that small perturbations grow until they reach a magnitude $O(\nu^{1/4})$ only, forming small rolls in the critical layer near the boundary. The mathematical proof of this conjecture is open.


title: Learning Unbiased Transferability for Domain Adaptation by Uncertainty Modeling

abstract: Domain adaptation (DA) aims to transfer knowledge learned from a labeled source domain to an unlabeled or a less labeled but related target domain. Ideally, the source and target distributions should be aligned to each other equally to achieve unbiased knowledge transfer. However, due to the significant imbalance between the amount of annotated data in the source and target domains, usually only the target distribution is aligned to the source domain, leading to adapting unnecessary source specific knowledge to the target domain, i.e., biased domain adaptation. To resolve this problem, in this work, we delve into the transferability estimation problem in domain adaptation and propose a non-intrusive Unbiased Transferability Estimation Plug-in (UTEP) by modeling the uncertainty of a discriminator in adversarial-based DA methods to optimize unbiased transfer. We theoretically analyze the effectiveness of the proposed approach to unbiased transferability learning in DA. Furthermore, to alleviate the impact of imbalanced annotated data, we utilize the estimated uncertainty for pseudo label selection of unlabeled samples in the target domain, which helps achieve better marginal and conditional distribution alignments between domains. Extensive experimental results on a high variety of DA benchmark datasets show that the proposed approach can be readily incorporated into various adversarial-based DA methods, achieving state-of-the-art performance.


title: Detection of Hidden Objectives and Interactive Objective Reduction

abstract: In multi-objective optimization problems, there might exist hidden objectives that are important to the decision-maker but are not being optimized. On the other hand, there might also exist irrelevant objectives that are being optimized but are of less importance to the DM. The question that arises here is whether it is possible to detect and reduce irrelevant objectives without deteriorating the quality of the final results? In fact, when dealing with multi-objective problems, each objective implies a significant cost best avoided if possible. However, existing methods that pertain to the reduction of objectives are computationally intensive and ignore the preferences of the decision-maker. In this paper, we propose an approach to exploit the capabilities of interactive evolutionary multi-objective optimization algorithms (EMOAs) and the preference information provided by the decision-maker, to detect and eliminate the irrelevant objectives during the optimization process and replace them with hidden ones, if any. The proposed method, which is based on univariate feature selection, is computationally effective and can be integrated into any ranking-based interactive EMOA. Using synthetic problems developed in this study, we motivate different scenarios in the experiments and prove the effectiveness of the proposed method in improving the computational cost, the total number of objective evaluations, and the quality of the final solutions.


title: Enhanced precision of circadian rhythm by output system

abstract: Circadian rhythms are biological rhythms of approximately 24 h that persist even under constant conditions without environmental daily cues. The molecular circadian clock machinery generates the physiological rhythms, which can be transmitted into the downstream output system. Owing to the stochastic nature of the biochemical reactions, the oscillation period of circadian rhythms exhibited by individual organisms or cells is not constant on a daily basis with variations as high as 10 % in terms of the coefficient of variation. Although the fluctuations in circadian rhythm is measured through a reporter such as bioluminescence or fluorescence, experimentally confirming whether the fluctuations found in the reporter system are the same as those in the clock itself is challenging. This study numerically and analytically investigated a coupled system of a circadian clock and its output system, and then compared the fluctuations in the oscillation period of the two systems. We found that the amount of fluctuation in the output system is smaller than that in the circadian clock when the degradation rate of the molecules responsible for the output system was at typical values. The results obtained imply that the output system improves the accuracy of the circadian rhythm without the need for any special denoising processes.


title: The generalization of the ADM gravitational energy-momentum

abstract: In this paper, it is proved that the teleparallel energy-momentum generalizes that of the ADM formalism. In doing so, it is shown that the teleparallel $4$-momentum can be made to coincide with that of the ADM approach whenever the ADM $4$-momentum is applicable. The only assumptions are the time gauge for the teleparallel frame and the well-known restrictions for the coordinate system used in the calculation of the ADM $4$-momentum. Then, examples where the ADM formalism fails to give consist results, but the teleparallel approach does not, are given. The advantages of the teleparallel stress-energy tensor (density) over the pseudo-tensor of Landau-Lifshitz are exhibited. Finally, the difficulties in identifying the gravitational angular momentum density is discussed; it is shown that the spatial part of the proposed angular momentum density $M^{ab}$ vanishes when the teleparallel frame satisfies the time gauge condition.


title: SPD domain-specific batch normalization to crack interpretable unsupervised domain adaptation in EEG

abstract: Electroencephalography (EEG) provides access to neuronal dynamics non-invasively with millisecond resolution, rendering it a viable method in neuroscience and healthcare. However, its utility is limited as current EEG technology does not generalize well across domains (i.e., sessions and subjects) without expensive supervised re-calibration. Contemporary methods cast this transfer learning (TL) problem as a multi-source/-target unsupervised domain adaptation (UDA) problem and address it with deep learning or shallow, Riemannian geometry aware alignment methods. Both directions have, so far, failed to consistently close the performance gap to state-of-the-art domain-specific methods based on tangent space mapping (TSM) on the symmetric positive definite (SPD) manifold. Here, we propose a theory-based machine learning framework that enables, for the first time, learning domain-invariant TSM models in an end-to-end fashion. To achieve this, we propose a new building block for geometric deep learning, which we denote SPD domain-specific momentum batch normalization (SPDDSMBN). A SPDDSMBN layer can transform domain-specific SPD inputs into domain-invariant SPD outputs, and can be readily applied to multi-source/-target and online UDA scenarios. In extensive experiments with 6 diverse EEG brain-computer interface (BCI) datasets, we obtain state-of-the-art performance in inter-session and -subject TL with a simple, intrinsically interpretable network architecture, which we denote TSMNet.


title: Magnetic dilution effect and topological phase transitions in (Mn$_{1-x}$Pb$_x$)Bi$_2$Te$_4$

abstract: As the first intrinsic antiferromagnetic (AFM) topological insulator (TI), MnBi$_2$Te$_4$ has provided a material platform to realize various emergent phenomena arising from the interplay of magnetism and band topology. Here by investigating (Mn$_{1-x}$Pb$_x$)Bi$_2$Te$_4$ $(0\leq x \leq 0.82)$ single crystals via the x-ray, electrical transport, magnetometry and neutron measurements, chemical analysis, external pressure, and first-principles calculations, we reveal the magnetic dilution effect on the magnetism and band topology in MnBi$_2$Te$_4$. With increasing $x$, both lattice parameters $a$ and $c$ expand linearly by around 2\%. All samples undergo the paramagnetic to A-type antiferromagnetic transition with the N$\acute{e}$el temperature decreasing lineally from 24 K at $x=0$ to 2 K at $x=0.82$. Our neutron data refinement of the $x=0.37$ sample indicates that the ordered moment is 4.3(1)$\mu_B$/Mn at 4.85 K and the amount of the Mn$_{\rm{Bi}}$ antisites is negligible within the error bars. Isothermal magnetization data reveal a slight decrease of the interlayer plane-plane antiferromagnetic exchange interaction and a monotonic decrease of the magnetic anisotropy, due to diluting magnetic ions and enlarging the unit cell. For $x=0.37$, the application of external pressures enhances the interlayer antiferromagnetic coupling, boosting the N$\acute{e}$el temperature at a rate of 1.4 K/GPa and the saturation field at a rate of 1.8 T/GPa. Furthermore, our first-principles calculations reveal that the band inversion in the two end materials, MnBi$_2$Te$_4$ and PbBi$_2$Te$_4$, occurs at the $\Gamma$ and $Z$ point, respectively, while two gapless points appear at $x = $ 0.44 and $x = $ 0.66, suggesting possible topological phase transitions with doping.


title: Skyrmion formation in Ni-based Janus dihalide monolayers: Interplay between magnetic frustration and Dzyaloshinskii-Moriya interaction

abstract: We present a comprehensive theory of the magnetic phases in monolayer nickel-based Janus dihalides (NiIBr, NiICl, NiBrCl) through a combination of first-principles calculations and atomistic simulations. Phonon band structure calculations and finite temperature molecular dynamics simulations show that Ni-dihalide Janus monolayers are stable. The parameters of the interacting spin Hamiltonian extracted from ab initio calculations show that nickel-dihalide Janus monolayers exhibit varying degrees of magnetic frustration together with a large Dzyaloshinskii-Moriya interaction due to their inherent inversion symmetry breaking. The atomistic simulations reveal a delicate interplay between these two competing magnetic interactions in giving rise to skyrmion formation.


title: Improving Fairness in Large-Scale Object Recognition by CrowdSourced Demographic Information

abstract: There has been increasing awareness of ethical issues in machine learning, and fairness has become an important research topic. Most fairness efforts in computer vision have been focused on human sensing applications and preventing discrimination by people's physical attributes such as race, skin color or age by increasing visual representation for particular demographic groups. We argue that ML fairness efforts should extend to object recognition as well. Buildings, artwork, food and clothing are examples of the objects that define human culture. Representing these objects fairly in machine learning datasets will lead to models that are less biased towards a particular culture and more inclusive of different traditions and values. There exist many research datasets for object recognition, but they have not carefully considered which classes should be included, or how much training data should be collected per class. To address this, we propose a simple and general approach, based on crowdsourcing the demographic composition of the contributors: we define fair relevance scores, estimate them, and assign them to each class. We showcase its application to the landmark recognition domain, presenting a detailed analysis and the final fairer landmark rankings. We present analysis which leads to a much fairer coverage of the world compared to existing datasets. The evaluation dataset was used for the 2021 Google Landmark Challenges, which was the first of a kind with an emphasis on fairness in generic object recognition.


title: RELAY: Robotic EyeLink AnalYsis of the EyeLink 1000 using an Artificial Eye

abstract: There is a widespread assumption that the peak velocities of visually guided saccades in the dark are up to 10~\% slower than those made in the light. Studies that questioned the impact of the surrounding brightness conditions, come to differing conclusions, whether they have an influence or not and if so, in which manner. The problem is of a complex nature as the illumination condition itself may not contribute to different measured peak velocities solely but in combination with the estimation of the pupil size due to its deformation during saccades or different gaze positions. Even the measurement technique of video-based eye tracking itself could play a significant role. To investigate this issue, we constructed a stepper motor driven artificial eye with fixed pupil size to mimic human saccades with predetermined peak velocity \& amplitudes under three different brightness conditions with the EyeLink 1000, one of the most common used eye trackers. The aim was to control the pupil and brightness. With our device, an overall good accuracy and precision of the EyeLink 1000 could be confirmed. Furthermore, we could find that there is no artifact for pupil based eye tracking in relation to changing brightness conditions, neither for the pupil size nor for the peak velocities. What we found, was a systematic, small, yet significant change of the measured pupil sizes as a function of different gaze directions.


title: Augmenting Scientific Creativity with Retrieval across Knowledge Domains

abstract: Exposure to ideas in domains outside a scientist's own may benefit her in reformulating existing research problems in novel ways and discovering new application domains for existing solution ideas. While improved performance in scholarly search engines can help scientists efficiently identify relevant advances in domains they may already be familiar with, it may fall short of helping them explore diverse ideas \textit{outside} such domains. In this paper we explore the design of systems aimed at augmenting the end-user ability in cross-domain exploration with flexible query specification. To this end, we develop an exploratory search system in which end-users can select a portion of text core to their interest from a paper abstract and retrieve papers that have a high similarity to the user-selected core aspect but differ in terms of domains. Furthermore, end-users can `zoom in' to specific domain clusters to retrieve more papers from them and understand nuanced differences within the clusters. Our case studies with scientists uncover opportunities and design implications for systems aimed at facilitating cross-domain exploration and inspiration.


title: Adding alchemical variables to metadynamics to enhance sampling in free energy calculations

abstract: Performing alchemical transformations, in which one molecular system is nonphysically changed to another system, is a popular approach adopted in performing free energy calculations associated with various biophysical processes, such as protein-ligand binding or the transfer of a molecule between environments. While the sampling of alchemical intermediate states in either parallel (e.g. Hamiltonian replica exchange) or serial manner (e.g. expanded ensemble) can bridge the high-probability regions in the configurational space between two end states of interest, alchemical methods can fail in scenarios where the most important slow degrees of freedom in the configurational space are in large part orthogonal to the alchemical variable, or if the system gets trapped in a deep basin extending in both the configurational and alchemical space. To alleviate these issues, we propose to use alchemical variables as an additional dimension in metadynamics, augmenting the ability both to sample collective variables and to enhance sampling in free energy calculations. In this study, we validate our implementation of alchemical metadynamics in PLUMED with test systems and alchemical processes with varying complexities and dimensions of collective variable space, including the interconversion between the torsional metastable states of a toy system and the methylation of a nucleoside both in the isolated form and in a duplex. We show that multi-dimensional alchemical metadynamics can address the challenges mentioned above and further accelerate sampling by introducing configurational collective variables. The method can trivially be combined with other metadynamics-based algorithms implemented in PLUMED. The necessary PLUMED code changes have already been released for general use in PLUMED 2.8.


title: Understanding the Effect of the COVID-19 Pandemic on the Usage of School Buildings in Greece Using an IoT Data-Driven Analysis

abstract: The COVID-19 pandemic has brought profound change in the daily lives of a large part of the global population during 2020 and 2021. Such changes were mirrored in aspects such as changes to the overall energy consumption, or long periods of sustained inactivity inside public buildings. At the same time, due to the large proliferation of IoT, sensors and smartphones in the past few years, we are able to monitor such changes to a certain degree over time. In this paper, we focus on the effect of the pandemic on school buildings and certain aspects in the operation of schools. Our study is based on data from a number of school buildings equipped with an IoT infrastructure. The buildings were situated in Greece, a country that faced an extended lockdown during both 2020 and 2021. Our results show that as regards power consumption there is room for energy efficiency improvements since there was significant power consumption during lockdown, and that using other sensor data we can also infer interesting points regarding the buildings and activity during the lockdown.


title: Characterizing Within-Driver Variability in Driving Dynamics During Obstacle Avoidance Maneuvers

abstract: Variability in human response creates non-trivial challenges for modeling and control of human-automation systems. As autonomy becomes pervasive, methods that can accommodate human variability will become paramount, to ensure efficiency, safety, and high levels of performance. We propose an easily computable modeling framework which takes advantage of a metric to assess variability in individual human response in a dynamic task that subjects repeat over several trials. Our approach is based in a transformation of observed trajectories to a reproducing kernel Hilbert space, which captures variability in human response as a distribution embedded within the Hilbert space. We evaluate the similarity across responses via the maximum mean discrepancy, which measures the distance between distributions within the Hilbert space. We apply this metric to a difficult driving task designed to elucidate differences across subjects. We conducted a pilot study with 6 subjects in an advanced driving simulator, in which subjects were tasked with collision avoidance of an obstacle in the middle of the road, around a blind corner, in a nighttime scenario, while steering only with the non-dominant hand.


title: Optimal Activation Functions for the Random Features Regression Model

abstract: The asymptotic mean squared test error and sensitivity of the Random Features Regression model (RFR) have been recently studied. We build on this work and identify in closed-form the family of Activation Functions (AFs) that minimize a combination of the test error and sensitivity of the RFR under different notions of functional parsimony. We find scenarios under which the optimal AFs are linear, saturated linear functions, or expressible in terms of Hermite polynomials. Finally, we show how using optimal AFs impacts well-established properties of the RFR model, such as its double descent curve, and the dependency of its optimal regularization parameter on the observation noise level.


title: Formal Analysis of Lending Pools in Decentralized Finance

abstract: Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanisms whose financial safety is hard to determine. Besides, their adoption is rapidly growing, hence imperilling an increasingly higher amount of assets. Therefore, accurate formalisation and verification of DeFi applications is essential to assess their safety. We have developed a tool for the formal analysis of one of the most widespread DeFi applications: Lending Pools (LP). This was achieved by leveraging an existing formal model for LPs, the Maude verification environment and the MultiVeStA statistical analyser. The tool supports several analyses including reachability analysis, LTL model checking and statistical model checking. In this paper we show how the tool can be used to analyse several parameters of LPs that are fundamental to assess and predict their behaviour. In particular, we use statistical analysis to search for threshold and reward parameters that minimize the risk of unrecoverable loans.


title: Long Scale Error Control in Low Light Image and Video Enhancement Using Equivariance

abstract: Image frames obtained in darkness are special. Just multiplying by a constant doesn't restore the image. Shot noise, quantization effects and camera non-linearities mean that colors and relative light levels are estimated poorly. Current methods learn a mapping using real dark-bright image pairs. These are very hard to capture. A recent paper has shown that simulated data pairs produce real improvements in restoration, likely because huge volumes of simulated data are easy to obtain. In this paper, we show that respecting equivariance -- the color of a restored pixel should be the same, however the image is cropped -- produces real improvements over the state of the art for restoration. We show that a scale selection mechanism can be used to improve reconstructions. Finally, we show that our approach produces improvements on video restoration as well. Our methods are evaluated both quantitatively and qualitatively.


title: Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code

abstract: Few-shot learning with large-scale, pre-trained language models is a powerful way to answer questions about code, e.g., how to complete a given code example, or even generate code snippets from scratch. The success of these models raises the question whether they could serve as a basis for building a wide range code generation tools. Traditionally, such tools are built manually and separately for each task. Instead, few-shot learning may allow to obtain different tools from a single pre-trained language model by simply providing a few examples or a natural language description of the expected tool behavior. This paper studies to what extent a state-of-the-art, pre-trained language model of code, Codex, may serve this purpose. We consider three code manipulation and code generation tasks targeted by a range of traditional tools: (i) code mutation; (ii) test oracle generation from natural language documentation; and (iii) test case generation. For each task, we compare few-shot learning to a manually built tool. Our results show that the model-based tools complement (code mutation), are on par (test oracle generation), or even outperform their respective traditionally built tool (test case generation), while imposing far less effort to develop them. By comparing the effectiveness of different variants of the model-based tools, we provide insights on how to design an appropriate input ("prompt") to the model and what influence the size of the model has. For example, we find that providing a small natural language description of the code generation task is an easy way to improve predictions. Overall, we conclude that few-shot language models are surprisingly effective, yet there is still more work to be done, such as exploring more diverse ways of prompting and tackling even more involved tasks.


title: Marked length pattern rigidity for arithmetic manifolds

abstract: In this paper, we prove a cocycle version of marked length spectrum rigidity. There are two consequences. The first is marked length pattern rigidity for arithmetic hyperbolic locally symmetric manifolds. The second is strengthen marked length spectrum rigidity for surfaces and closed locally symmetric manifolds.


title: Incorporating a radiative hydrodynamics scheme in the numerical-relativity code BAM

abstract: To study binary neutron star systems and to interpret observational data such as gravitational-wave and kilonova signals, one needs an accurate description of the processes that take place during the final stages of the coalescence, e.g., through numerical-relativity simulations. In this work, we present an updated version of the numerical-relativity code BAM in order to incorporate nuclear-theory based Equations of State and a simple description of neutrino interactions through a Neutrino Leakage Scheme. Different test simulations, for stars undergoing a neutrino-induced gravitational collapse and for binary neutron stars systems, validate our new implementation. For the binary neutron stars systems, we show that we can evolve stably and accurately distinct microphysical models employing the different equations of state: SFHo, DD2, and the hyperonic BHB$\Lambda \phi$. Overall, our test simulations have good agreement with those reported in the literature.


title: Biologically-plausible backpropagation through arbitrary timespans via local neuromodulators

abstract: The spectacular successes of recurrent neural network models where key parameters are adjusted via backpropagation-based gradient descent have inspired much thought as to how biological neuronal networks might solve the corresponding synaptic credit assignment problem. There is so far little agreement, however, as to how biological networks could implement the necessary backpropagation through time, given widely recognized constraints of biological synaptic network signaling architectures. Here, we propose that extra-synaptic diffusion of local neuromodulators such as neuropeptides may afford an effective mode of backpropagation lying within the bounds of biological plausibility. Going beyond existing temporal truncation-based gradient approximations, our approximate gradient-based update rule, ModProp, propagates credit information through arbitrary time steps. ModProp suggests that modulatory signals can act on receiving cells by convolving their eligibility traces via causal, time-invariant and synapse-type-specific filter taps. Our mathematical analysis of ModProp learning, together with simulation results on benchmark temporal tasks, demonstrate the advantage of ModProp over existing biologically-plausible temporal credit assignment rules. These results suggest a potential neuronal mechanism for signaling credit information related to recurrent interactions over a longer time horizon. Finally, we derive an in-silico implementation of ModProp that could serve as a low-complexity and causal alternative to backpropagation through time.


title: A peristaltic soft, wearable robot for compression and massage therapy

abstract: Soft robotics is attractive for wearable applications that require conformal interactions with the human body. Soft wearable robotic garments hold promise for supplying dynamic compression or massage therapies, such as are applied for disorders affecting lymphatic and blood circulation. In this paper, we present a wearable robot capable of supplying dynamic compression and massage therapy via peristaltic motion of finger-sized soft, fluidic actuators. We show that this peristaltic wearable robot can supply dynamic compression pressures exceeding 22 kPa at frequencies of 14 Hz or more, meeting requirements for compression and massage therapy. A large variety of software-programmable compression wave patterns can be generated by varying frequency, amplitude, phase delay, and duration parameters. We first demonstrate the utility of this peristaltic wearable robot for compression therapy, showing fluid transport in a laboratory model of the upper limb. We theoretically and empirically identify driving regimes that optimize fluid transport. We second demonstrate the utility of this garment for dynamic massage therapy. These findings show the potential of such a wearable robot for the treatment of several health disorders associated with lymphatic and blood circulation, such as lymphedema and blood clots.


title: Information field based global Bayesian inference of the jet transport coefficient

abstract: Bayesian statistical inference is a powerful tool for model-data comparisons and extractions of physical parameters that are often unknown functions of system variables. Existing Bayesian analyses often rely on explicit parametrizations of the unknown function. It can introduce long-range correlations that impose fictitious constraints on physical parameters in regions of the variable space that are not probed by the experimental data. We develop an information field (IF) approach to modeling the prior distribution of the unknown function that is free of long-range correlations. We apply the IF approach to the first global Bayesian inference of the jet transport coefficient $\hat q$ as a function of temperature ($T$) from all existing experimental data on single-inclusive hadron, di-hadron and $\gamma$-hadron spectra in heavy-ion collisions at RHIC and LHC energies. The extracted $\hat q/T^3$ exhibits a strong $T$-dependence as a result of the progressive constraining power when data from more central collisions and at higher colliding energies are incrementally included. The IF method guarantees that the extracted $T$-dependence is not biased by a specific functional form.


title: Equipping Black-Box Policies with Model-Based Advice for Stable Nonlinear Control

abstract: Machine-learned black-box policies are ubiquitous for nonlinear control problems. Meanwhile, crude model information is often available for these problems from, e.g., linear approximations of nonlinear dynamics. We study the problem of equipping a black-box control policy with model-based advice for nonlinear control on a single trajectory. We first show a general negative result that a naive convex combination of a black-box policy and a linear model-based policy can lead to instability, even if the two policies are both stabilizing. We then propose an adaptive $\lambda$-confident policy, with a coefficient $\lambda$ indicating the confidence in a black-box policy, and prove its stability. With bounded nonlinearity, in addition, we show that the adaptive $\lambda$-confident policy achieves a bounded competitive ratio when a black-box policy is near-optimal. Finally, we propose an online learning approach to implement the adaptive $\lambda$-confident policy and verify its efficacy in case studies about the CartPole problem and a real-world electric vehicle (EV) charging problem with data bias due to COVID-19.


title: Understanding the Role of Nonlinearity in Training Dynamics of Contrastive Learning

abstract: While the empirical success of self-supervised learning (SSL) heavily relies on the usage of deep nonlinear models, existing theoretical works on SSL understanding still focus on linear ones. In this paper, we study the role of nonlinearity in the training dynamics of contrastive learning (CL) on one and two-layer nonlinear networks with homogeneous activation $h(x) = h'(x)x$. We have two major theoretical discoveries. First, the presence of nonlinearity can lead to many local optima even in 1-layer setting, each corresponding to certain patterns from the data distribution, while with linear activation, only one major pattern can be learned. This suggests that models with lots of parameters can be regarded as a \emph{brute-force} way to find these local optima induced by nonlinearity. Second, in the 2-layer case, linear activation is proven not capable of learning specialized weights into diverse patterns, demonstrating the importance of nonlinearity. In addition, for 2-layer setting, we also discover \emph{global modulation}: those local patterns discriminative from the perspective of global-level patterns are prioritized to learn, further characterizing the learning process. Simulation verifies our theoretical findings.


title: HEX: Human-in-the-loop Explainability via Deep Reinforcement Learning

abstract: The use of machine learning (ML) models in decision-making contexts, particularly those used in high-stakes decision-making, are fraught with issue and peril since a person - not a machine - must ultimately be held accountable for the consequences of the decisions made using such systems. Machine learning explainability (MLX) promises to provide decision-makers with prediction-specific rationale, assuring them that the model-elicited predictions are made for the right reasons and are thus reliable. Few works explicitly consider this key human-in-the-loop (HITL) component, however. In this work we propose HEX, a human-in-the-loop deep reinforcement learning approach to MLX. HEX incorporates 0-distrust projection to synthesize decider specific explanation-providing policies from any arbitrary classification model. HEX is also constructed to operate in limited or reduced training data scenarios, such as those employing federated learning. Our formulation explicitly considers the decision boundary of the ML model in question, rather than the underlying training data, which is a shortcoming of many model-agnostic MLX methods. Our proposed methods thus synthesize HITL MLX policies that explicitly capture the decision boundary of the model in question for use in limited data scenarios.


title: Detecting Pulmonary Embolism from Computed Tomography Using Convolutional Neural Network

abstract: The clinical symptoms of pulmonary embolism (PE) are very diverse and non-specific, which makes it difficult to diagnose. In addition, pulmonary embolism has multiple triggers and is one of the major causes of vascular death. Therefore, if it can be detected and treated quickly, it can significantly reduce the risk of death in hospitalized patients. In the detection process, the cost of computed tomography pulmonary angiography (CTPA) is high, and angiography requires the injection of contrast agents, which increase the risk of damage to the patient. Therefore, this study will use a deep learning approach to detect pulmonary embolism in all patients who take a CT image of the chest using a convolutional neural network. With the proposed pulmonary embolism detection system, we can detect the possibility of pulmonary embolism at the same time as the patient's first CT image, and schedule the CTPA test immediately, saving more than a week of CT image screening time and providing timely diagnosis and treatment to the patient.


title: QMLP: An Error-Tolerant Nonlinear Quantum MLP Architecture using Parameterized Two-Qubit Gates

abstract: Despite potential quantum supremacy, state-of-the-art quantum neural networks (QNNs) suffer from low inference accuracy. First, the current Noisy Intermediate-Scale Quantum (NISQ) devices with high error rates of 0.001 to 0.01 significantly degrade the accuracy of a QNN. Second, although recently proposed Re-Uploading Units (RUUs) introduce some non-linearity into the QNN circuits, the theory behind it is not fully understood. Furthermore, previous RUUs that repeatedly upload original data can only provide marginal accuracy improvements. Third, current QNN circuit ansatz uses fixed two-qubit gates to enforce maximum entanglement capability, making task-specific entanglement tuning impossible, resulting in poor overall performance. In this paper, we propose a Quantum Multilayer Perceptron (QMLP) architecture featured by error-tolerant input embedding, rich nonlinearity, and enhanced variational circuit ansatz with parameterized two-qubit entangling gates. Compared to prior arts, QMLP increases the inference accuracy on the 10-class MNIST dataset by 10% with 2 times fewer quantum gates and 3 times reduced parameters. Our source code is available and can be found in [1]


title: Discovery of a radio emitting neutron star with an ultra-long spin period of 76 seconds

abstract: The radio-emitting neutron star population encompasses objects with spin periods ranging from milliseconds to tens of seconds. As they age and spin more slowly, their radio emission is expected to cease. We present the discovery of an ultra-long period radio-emitting neutron star, J0901-4046, with spin properties distinct from the known spin and magnetic-decay powered neutron stars. With a spin-period of 75.88 s, a characteristic age of 5.3 Myr, and a narrow pulse duty-cycle, it is uncertain how radio emission is generated and challenges our current understanding of how these systems evolve. The radio emission has unique spectro-temporal properties such as quasi-periodicity and partial nulling that provide important clues to the emission mechanism. Detecting similar sources is observationally challenging, which implies a larger undetected population. Our discovery establishes the existence of ultra-long period neutron stars, suggesting a possible connection to the evolution of highly magnetized neutron stars, ultra-long period magnetars, and fast radio bursts


title: MultiHiertt: Numerical Reasoning over Multi Hierarchical Tabular and Textual Data

abstract: Numerical reasoning over hybrid data containing both textual and tabular content (e.g., financial reports) has recently attracted much attention in the NLP community. However, existing question answering (QA) benchmarks over hybrid data only include a single flat table in each document and thus lack examples of multi-step numerical reasoning across multiple hierarchical tables. To facilitate data analytical progress, we construct a new large-scale benchmark, MultiHiertt, with QA pairs over Multi Hierarchical Tabular and Textual data. MultiHiertt is built from a wealth of financial reports and has the following unique characteristics: 1) each document contain multiple tables and longer unstructured texts; 2) most of tables contained are hierarchical; 3) the reasoning process required for each question is more complex and challenging than existing benchmarks; and 4) fine-grained annotations of reasoning processes and supporting facts are provided to reveal complex numerical reasoning. We further introduce a novel QA model termed MT2Net, which first applies facts retrieving to extract relevant supporting facts from both tables and text and then uses a reasoning module to perform symbolic reasoning over retrieved facts. We conduct comprehensive experiments on various baselines. The experimental results show that MultiHiertt presents a strong challenge for existing baselines whose results lag far behind the performance of human experts. The dataset and code are publicly available at https://github.com/psunlpgroup/MultiHiertt.


title: Effect of realistic out-of-plane dopant potentials on the superfluid density of overdoped cuprates

abstract: Recent experimental papers on hole-doped overdoped cuprates have argued that a series of observations showing unexpected behavior in the superconducting state imply the breakdown of the quasiparticle-based Landau-BCS paradigm in that doping range. In contrast, some of the present authors have argued that a phenomenological "dirty $d$-wave" theoretical analysis explains essentially all aspects of thermodynamic and transport properties in the superconducting state, provided the unusual effects of weak, out-of-plane dopant impurities are properly accounted for. Here we attempt to place this theory on a more quantitative basis by performing $\textit{ab-initio}$ calculations of dopant impurity potentials for LSCO and Tl-2201. These potentials are more complex than the pointlike impurity models considered previously, and require calculation of forward scattering corrections to transport properties. Including realistic, ARPES-derived bandstructures, Fermi liquid renormalizations, and vertex corrections, we show that the theory can explain semiquantitatively the unusual superfluid density measurements of the two most studied overdoped materials.


title: On the Privacy Properties of GAN-generated Samples

abstract: The privacy implications of generative adversarial networks (GANs) are a topic of great interest, leading to several recent algorithms for training GANs with privacy guarantees. By drawing connections to the generalization properties of GANs, we prove that under some assumptions, GAN-generated samples inherently satisfy some (weak) privacy guarantees. First, we show that if a GAN is trained on m samples and used to generate n samples, the generated samples are (epsilon, delta)-differentially-private for (epsilon, delta) pairs where delta scales as O(n/m). We show that under some special conditions, this upper bound is tight. Next, we study the robustness of GAN-generated samples to membership inference attacks. We model membership inference as a hypothesis test in which the adversary must determine whether a given sample was drawn from the training dataset or from the underlying data distribution. We show that this adversary can achieve an area under the ROC curve that scales no better than O(m^{-1/4}).


title: Single-particle properties of the near-threshold proton-emitting resonance in $^{11}$B

abstract: The excitation function of proton elastic scattering from $^{10}$Be at keV energy is calculated using the self-consistent Skyrme Hartree-Fock in the continuum method. The calculation successfully reproduces the narrow near-threshold proton-emitting resonance ($E_x = 11.4$ MeV, $\Gamma = 6$ keV, and quantum number $J^{\pi} = 1/2^+$) in $^{11}$B relevant to the $\beta$-delayed proton emission of $^{11}$Be. This supports the recent experimental result of Y. Ayyad \textit{et al.} at the ReA3 re-accelerator facility of the National Superconducting Cyclotron Laboratory (NSCL) at the Michigan State University. The resonance is interpreted as the $s_{1/2}$ single-proton resonance state in the Skyrme Hartree-Fock mean-field theory.


title: Functional large deviations for Stroock's approximation to a class of Gaussian processes with application to small noise diffusions

abstract: Letting~$N=\left\{N(t), t\geq0\right\}$ be a standard Poisson process, Stroock~ \cite{Stroock-1981} constructed a family of continuous processes by $$\Theta_{\epsilon}(t)=\int_0^t\theta_{\epsilon}(r)dr, \ \ \ \ \ 0 \le t \le 1,$$ where $\theta_{\epsilon}(r)=\frac{1}{\epsilon}(-1)^{N(\epsilon^{-2}r)}$, and proved that it weakly converges to a standard Brownian motion under the continuous function topology. We establish the functional large deviations principle (LDP) for the approximations of a class of Gaussian processes constructed by integrals over $\Theta_{\epsilon}(t)$, and find the explicit form for rate function. As an application, we consider the following (non-Markovian) stochastic differential equation \begin{equation*} \begin{aligned} X^{\epsilon}(t) &=x_{0}+\int^{t}_{0}b(X^{\epsilon}(s))ds+\lambda(\epsilon)\int^{t}_{0}\sigma(X^{\epsilon}(s))d\Theta_{\epsilon}(s), \end{aligned} \end{equation*} where $b$ and $\sigma$ are both Lipschitz functions, and establish its Freidlin-Wentzell type LDP as $\epsilon \rightarrow 0$. The rate function indicates a phase transition phenomenon as $\lambda(\epsilon)$ moves from one region to the other.


title: Multivariate Sparse Group Lasso Joint Model for Radiogenomics Data

abstract: Radiogenomics is an emerging field in cancer research that combines medical imaging data with genomic data to predict patients clinical outcomes. In this paper, we propose a multivariate sparse group lasso joint model to integrate imaging and genomic data for building prediction models. Specifically, we jointly consider two models, one regresses imaging features on genomic features, and the other regresses patients clinical outcomes on genomic features. The regularization penalties through sparse group lasso allow incorporation of intrinsic group information, e.g. biological pathway and imaging category, to select both important intrinsic groups and important features within a group. To integrate information from the two models, in each model, we introduce a weight in the penalty term of each individual genomic feature, where the weight is inversely correlated with the model coefficient of that feature in the other model. This weight allows a feature to have a higher chance of selection by one model if it is selected by the other model. Our model is applicable to both continuous and time to event outcomes. It also allows the use of two separate datasets to fit the two models, addressing a practical challenge that many genomic datasets do not have imaging data available. Simulations and real data analyses demonstrate that our method outperforms existing methods in the literature.


title: Magnetic phase diagram of a 2-dimensional triangular lattice antiferromagnet Na$_2$BaMn(PO$_4$)$_2$

abstract: We report the magnetic phase transitions of a spin-5/2, 2-dimensional triangular lattice antiferromagnet (AFM) Na$_2$BaMn(PO$_4$)$_2$. From specific heat measurements, we observe two magnetic transitions at temperatures 1.15 K and 1.30 K at zero magnetic field. Detailed AC magnetic susceptibility measurements reveal multiple phases including the $\uparrow$$\uparrow$$\downarrow$ (up-up-down)-phase between 1.9 T and 2.9 T at 47 mK when magnetic field is applied along the $c$ axis, implying that Na$_2$BaMn(PO$_4$)$_2$ is a classical 2$d$ TL Heisenberg AFM with easy-axis anisotropy. However, it deviates from an ideal model as evidenced by a hump region with hysteresis between the $\uparrow$$\uparrow$$\downarrow$ and $V$-phases and weak phase transitions. Our work provides another experimental example to study frustrated magnetism in 2$d$ TL AFM which also serves as a reference to understand the possible quantum spin liquid behavior and anomalous phase diagrams observed in sibling systems Na$_2$Ba$M$(PO$_4$)$_2$ ($M$ = Co, Ni).


title: Quantum particles in a suddenly accelerating potential

abstract: We study the behavior of a quantum particle trapped in a confining potential in one dimension under multiple sudden changes of velocity and/or acceleration. We develop the appropriate formalism to deal with such situation and we use it to calculate the probability of transition for simple problems such as the particle in an infinite box and the simple harmonic oscillator. For the infinite box of length $L$ under two and three sudden changes of velocity, where the initial and final velocity vanish, we find that the system undergoes quantum revivals for $\Delta t = \tau_0 \equiv \frac{4mL^2}{\pi\hbar}$, regardless of other parameters ($\Delta t$ is the time elapsed between the first and last change of velocity). For the simple harmonic oscillator we find that the states obtained by suddenly changing (one change) the velocity and/or the acceleration of the potential, for a particle initially in an eigenstate of the static potential, are {\sl coherent} states. For multiple changes of acceleration or velocity we find that the quantum expectation value of the Hamiltonian is remarkably close (possibly identical) to the corresponding classical expectation values. Finally, the probability of transition for a particle in an accelerating harmonic oscillator (no sudden changes) calculated with our formalism agrees with the formula derived long time ago by Ludwig and recently modified by Dodonov~\cite{Dodonov21}, but with a different expression for the dimensionless parameter $\gamma$. Our probability agrees with the one of ref.~\cite{Dodonov21} for $\gamma \ll 1$ but is not periodic in time (it decays monotonously), contrary to the result derived in ref.~\cite{Dodonov21}.


title: Traffic Count Data Analysis Using Mixtures of Kato--Jones Distributions on the Circle

abstract: We discuss the modelling of traffic count data that show the variation of traffic volume within a day. For the modelling, we apply mixtures of Kato--Jones distributions in which each component is unimodal and affords a wide range of skewness and kurtosis. We consider two methods for parameter estimation, namely, a modified method of moments and the maximum likelihood method. These methods were seen to be useful for fitting the proposed mixtures to our data. As a result, the variation in traffic volume was classified into the morning and evening traffic whose distributions have different shapes, particularly different degrees of skewness and kurtosis.


title: Structure Learning for Hybrid Bayesian Networks

abstract: Bayesian networks have been used as a mechanism to represent the joint distribution of multiple random variables in a flexible yet interpretable manner. One major challenge in learning the structure of a Bayesian network is how to model networks which include a mixture of continuous and discrete random variables, known as hybrid Bayesian networks. This paper overviews the literature on approaches to handle hybrid Bayesian networks. Typically one of two approaches is taken: either the data are considered to have a joint distribution which is designed for a mixture of discrete and continuous variables, or continuous random variables are discretized, resulting in discrete Bayesian networks. In this paper, we propose a strategy to model all random variables as Gaussian, referred to it as {\it Run it As Gaussian (RAG)}. We demonstrate that RAG results in more reliable estimates of graph structures theoretically and by simulation studies, than converting continuous random variables to discrete. Both strategies are also implemented on a childhood obesity data set. The two different strategies give rise to significant differences in the optimal graph structures, with the results of the simulation study suggesting that our strategy is more reliable.


title: Beta Generalized Normal Distribution with an Application for SAR Image Processing

abstract: We introduce the beta generalized normal distribution which is obtained by compounding the beta and generalized normal [Nadarajah, S., A generalized normal distribution, \emph{Journal of Applied Statistics}. 32, 685--694, 2005] distributions. The new model includes as sub-models the beta normal, beta Laplace, normal, and Laplace distributions. The shape of the new distribution is quite flexible, specially the skewness and the tail weights, due to two additional parameters. We obtain general expansions for the moments. The estimation of the parameters is investigated by maximum likelihood. We also proposed a random number generator for the new distribution. Actual synthetic aperture radar were analyzed and modeled after the new distribution. Results could outperform the $\mathcal{G}^0$, $\mathcal{K}$, and $\Gamma$ distributions in several scenarios.

categories: math.ST eess.IV math.PR physics.data-an stat.TH


title: Semi-analytical frameworks for subhalos from the smallest to the largest scale

abstract: Substructures of dark matter halo, called subhalos, provide important clues to understand the nature of dark matter. We construct a useful model to describe the properties of subhalo mass functions based on the well-known analytical prescriptions, the extended Press-Schechter theory. The unevolved subhalo mass functions at arbitrary mass scales become describable without introducing free parameters. The different host halo evolution histories are directly recast to their subhalo mass functions. As applications, we quantify the effects from (i) the Poisson fluctuation, (ii) the host mass scatter, and the (iii) different tidal evolution models on observables in the current Universe with this scheme. The Poisson fluctuation dominates in the number count of the mass ratio to the host of $\sim {\cal O}(10^{-2})$, where the intrinsic scatter is smaller by a factor of a few. The host-mass scatter around its mean does not affect the subhalo mass function. Different models of the tidal evolution predict a factor of $\sim2$ difference in numbers of subhalos with $\lesssim {\cal O}(10^{-5})$, while the dependence of the Poisson fluctuation on the tidal evolution models is subtle. The scheme provides a new tool for investigating the smallest-scale structures of our Universe which are to be observed in near future experiments.


title: Thread and Data Mapping in Software Transactional Memory: An Overview

abstract: In current microarchitectures, due to the complex memory hierarchies and different latencies on memory accesses, thread and data mapping are important issues to improve application performance. Software transactional memory (STM) is an abstraction used for thread synchronization, replacing the use of locks in parallel programming. Regarding thread and data mapping, STM presents new challenges and mapping opportunities, since (1) STM can use different conflict detection and resolution strategies, making the behavior of the application less predictable and; (2) the STM runtime has precise information about shared data and the intensity with each thread accesses them. These unique characteristics provide many opportunities for low-overhead, but precise statistics to guide mapping strategies for STM applications. The main objective of this paper is to survey the existing work about thread and data mapping that uses solely information gathered from the STM runtime to guide thread and data mapping decisions. We also discuss future research directions within this research area.


title: Balancing Flow Time and Energy Consumption

abstract: In this paper, we study the following batch scheduling model: find a schedule that minimizes total flow time for $n$ uniform length jobs, with release times and deadlines, where the machine is only actively processing jobs in at most $k$ synchronized batches of size at most $B$. Prior work on such batch scheduling models has considered only feasibility with no regard to the flow time of the schedule. However, algorithms that minimize the cost from the scheduler's perspective -- such as ones that minimize the active time of the processor -- can result in schedules where the total flow time is arbitrarily high \cite{ChangGabowKhuller}. Such schedules are not valuable from the perspective of the client. In response, our work provides dynamic programs which minimize flow time subject to active time constraints. Our main contribution focuses on jobs with agreeable deadlines; for such job instances, we introduce dynamic programs that achieve runtimes of O$(B \cdot k \cdot n)$ for unit jobs and O$(B \cdot k \cdot n^5)$ for uniform length jobs. These results improve upon our modification of a different, classical dynamic programming approach by Baptiste. While the modified DP works when deadlines are non-agreeable, this solution is more expensive, with runtime $O(B \cdot k^2 \cdot n^7)$ \cite{Baptiste00}.


title: Porosity governs failure in bioconsolidated space bricks

abstract: Understanding the mechanical response and failure of consolidated extra-terrestrial soils requires analyses of the interactions between propagating cracks the material's inherent pore structure. In this work, we investigate the fracture behaviour of lunar soil simulant consolidated using microbially induced calcite precipitation (MICP). We develop a numerical framework, based on a lattice network with local beam elements, to simulate the nucleation, propagation, branching and merging of multiple cracks within the sample. Our simulations capture the effects of local pores on crack paths as well as provides a means to predict the behaviour of samples with varying global porosity and/or uncertainties in local material stiffness. We identify multiple statistical lattice parameters that encode signatures of single or multiple crack growth events. Our results reveal the complexities involved in the fracture process with porous brittle solids and may easily be adapted to understand failure mechanisms and micro/macro crack evolution in other consolidated structures.


title: Utility and Disclosure Risk for Differentially Private Synthetic Categorical Data

abstract: This paper introduces two methods of creating differentially private (DP) synthetic data that are now incorporated into the \textit{synthpop} package for \textbf{R}. Both are suitable for synthesising categorical data, or numeric data grouped into categories. Ten data sets with varying characteristics were used to evaluate the methods. Measures of disclosiveness and of utility were defined and calculated The first method is to add DP noise to a cross tabulation of all the variables and create synthetic data by a multinomial sample from the resulting probabilities. While this method certainly reduced disclosure risk, it did not provide synthetic data of adequate quality for any of the data sets. The other method is to create a set of noisy marginal distributions that are made to agree with each other with an iterative proportional fitting algorithm and then to use the fitted probabilities as above. This proved to provide useable synthetic data for most of these data sets at values of the differentially privacy parameter $\epsilon$ as low as 0.5. The relationship between the disclosure risk and $\epsilon$ is illustrated for each of the data sets. Results show how the trade-off between disclosiveness and data utility depend on the characteristics of the data sets.


title: First Observation of de Haas-van Alphen Effect and Fermi Surfaces in Unconventional Superconductor UTe2

abstract: We report the first observation of the de Haas-van Alphen (dHvA) effect in the novel spin-triplet superconductor UTe2 using high quality single crystals with the high residual resistivity ratio (RRR) over 200. The dHvA frequencies, named alpha and beta, are detected for the field directions between c and a-axes. The frequency of branch beta increases rapidly with the field angle tilted from c to a-axis, while branch alpha splits, owing to the maximal and minimal cross-sectional areas from the same Fermi surface. Both dHvA branches, alpha and beta reveal two kinds of cylindrical Fermi surfaces with a strong corrugation at least for branch alpha. The angular dependence of the dHvA frequencies is in very good agreement with that calculated by the generalized gradient approximation (GGA) method taking into account the on-site Coulomb repulsion of U = 2 eV, indicating the main Fermi surfaces are experimentally detected. The detected cyclotron effective masses are large in the range from 32 to 57 m0 . They are approximately 10-20 times lager than the corresponding band masses, consistent with the mass enhancement obtained from the Sommerfeld coefficient and the calculated density of states at the Fermi level. The local density approximation (LDA) calculations of ThTe2 assuming U4+ with the 5f^2 localized model are in less agreement with our experimental results, in spite of the prediction for two cylindrical Fermi surfaces, suggesting a mixed valence states of U4+ and U3+ in UTe2.


title: Robotic Planning under Uncertainty in Spatiotemporal Environments in Expeditionary Science

abstract: In the expeditionary sciences, spatiotemporally varying environments -- hydrothermal plumes, algal blooms, lava flows, or animal migrations -- are ubiquitous. Mobile robots are uniquely well-suited to study these dynamic, mesoscale natural environments. We formalize expeditionary science as a sequential decision-making problem, modeled using the language of partially-observable Markov decision processes (POMDPs). Solving the expeditionary science POMDP under real-world constraints requires efficient probabilistic modeling and decision-making in problems with complex dynamics and observational models. Previous work in informative path planning, adaptive sampling, and experimental design have shown compelling results, largely in static environments, using data-driven models and information-based rewards. However, these methodologies do not trivially extend to expeditionary science in spatiotemporal environments: they generally do not make use of scientific knowledge such as equations of state dynamics, they focus on information gathering as opposed to scientific task execution, and they make use of decision-making approaches that scale poorly to large, continuous problems with long planning horizons and real-time operational constraints. In this work, we discuss these and other challenges related to probabilistic modeling and decision-making in expeditionary science, and present some of our preliminary work that addresses these gaps. We ground our results in a real expeditionary science deployment of an autonomous underwater vehicle (AUV) in the deep ocean for hydrothermal vent discovery and characterization. Our concluding thoughts highlight remaining work to be done, and the challenges that merit consideration by the reinforcement learning and decision-making community.


title: Adversarial Attacks on Human Vision

abstract: This article presents an introduction to visual attention retargeting, its connection to visual saliency, the challenges associated with it, and ideas for how it can be approached. The difficulty of attention retargeting as a saliency inversion problem lies in the lack of one-to-one mapping between saliency and the image domain, in addition to the possible negative impact of saliency alterations on image aesthetics. A few approaches from recent literature to solve this challenging problem are reviewed, and several suggestions for future development are presented.


title: Supernet Training for Federated Image Classification under System Heterogeneity

abstract: Efficient deployment of deep neural networks across many devices and resource constraints, particularly on edge devices, is one of the most challenging problems in the presence of data-privacy preservation issues. Conventional approaches have evolved to either improve a single global model while keeping each local heterogeneous training data decentralized (i.e. data heterogeneity; Federated Learning (FL)) or to train an overarching network that supports diverse architectural settings to address heterogeneous systems equipped with different computational capabilities (i.e. system heterogeneity; Neural Architecture Search). However, few studies have considered both directions simultaneously. This paper proposes the federation of supernet training (FedSup) framework to consider both scenarios simultaneously, i.e., where clients send and receive a supernet that contains all possible architectures sampled from itself. The approach is inspired by observing that averaging parameters during model aggregation for FL is similar to weight-sharing in supernet training. Thus, the proposed FedSup framework combines a weight-sharing approach widely used for training single shot models with FL averaging (FedAvg). Furthermore, we develop an efficient algorithm (E-FedSup) by sending the sub-model to clients on the broadcast stage to reduce communication costs and training overhead, including several strategies to enhance supernet training in the FL environment. We verify the proposed approach with extensive empirical evaluations. The resulting framework also ensures data and model heterogeneity robustness on several standard benchmarks.


title: Adversarial Unlearning: Reducing Confidence Along Adversarial Directions

abstract: Supervised learning methods trained with maximum likelihood objectives often overfit on training data. Most regularizers that prevent overfitting look to increase confidence on additional examples (e.g., data augmentation, adversarial training), or reduce it on training data (e.g., label smoothing). In this work we propose a complementary regularization strategy that reduces confidence on self-generated examples. The method, which we call RCAD (Reducing Confidence along Adversarial Directions), aims to reduce confidence on out-of-distribution examples lying along directions adversarially chosen to increase training loss. In contrast to adversarial training, RCAD does not try to robustify the model to output the original label, but rather regularizes it to have reduced confidence on points generated using much larger perturbations than in conventional adversarial training. RCAD can be easily integrated into training pipelines with a few lines of code. Despite its simplicity, we find on many classification benchmarks that RCAD can be added to existing techniques (e.g., label smoothing, MixUp training) to increase test accuracy by 1-3% in absolute value, with more significant gains in the low data regime. We also provide a theoretical analysis that helps to explain these benefits in simplified settings, showing that RCAD can provably help the model unlearn spurious features in the training data.


title: Density-Based Pruning of Drone Swarm Services

abstract: We propose a novel framework for the recommendation of swarm-based drone delivery services based on the consumers preferences. We propose a density-based pruning approach that uses the concept of partnerships with charging station providers to reduce the search space of swarm-based drone service delivery providers. A weighted service composition algorithm is proposed that considers the providers capabilities and consumers' preferences in selecting the best next service. We propose a voting-based recommendation algorithm to select the best providers. We conduct a set of experiments to evaluate the efficiency of the framework in terms of consumer satisfaction, run-time, and search space reduction cost.


title: Incremental Learning Meets Transfer Learning: Application to Multi-site Prostate MRI Segmentation

abstract: Many medical datasets have recently been created for medical image segmentation tasks, and it is natural to question whether we can use them to sequentially train a single model that (1) performs better on all these datasets, and (2) generalizes well and transfers better to the unknown target site domain. Prior works have achieved this goal by jointly training one model on multi-site datasets, which achieve competitive performance on average but such methods rely on the assumption about the availability of all training data, thus limiting its effectiveness in practical deployment. In this paper, we propose a novel multi-site segmentation framework called incremental-transfer learning (ITL), which learns a model from multi-site datasets in an end-to-end sequential fashion. Specifically, "incremental" refers to training sequentially constructed datasets, and "transfer" is achieved by leveraging useful information from the linear combination of embedding features on each dataset. In addition, we introduce our ITL framework, where we train the network including a site-agnostic encoder with pre-trained weights and at most two segmentation decoder heads. We also design a novel site-level incremental loss in order to generalize well on the target domain. Second, we show for the first time that leveraging our ITL training scheme is able to alleviate challenging catastrophic forgetting problems in incremental learning. We conduct experiments using five challenging benchmark datasets to validate the effectiveness of our incremental-transfer learning approach. Our approach makes minimal assumptions on computation resources and domain-specific expertise, and hence constitutes a strong starting point in multi-site medical image segmentation.


title: Towards Improving the Generation Quality of Autoregressive Slot VAEs

abstract: Unconditional scene inference and generation are challenging to learn jointly with a single compositional model. Despite encouraging progress on models that extract object-centric representations (''slots'') from images, unconditional generation of scenes from slots has received less attention. This is primarily because learning the multi-object relations necessary to imagine coherent scenes is difficult. We hypothesize that most existing slot-based models have a limited ability to learn object correlations. We propose two improvements that strengthen object correlation learning. The first is to condition the slots on a global, scene-level variable that captures higher-order correlations between slots. Second, we address the fundamental lack of a canonical order for objects in images by proposing to learn a consistent order to use for the autoregressive generation of scene objects. Specifically, we train an autoregressive slot prior to sequentially generate scene objects following a learned order. Ordered slot inference entails first estimating a randomly ordered set of slots using existing approaches for extracting slots from images, then aligning those slots to ordered slots generated autoregressively with the slot prior. Our experiments across three multi-object environments demonstrate clear gains in unconditional scene generation quality. Detailed ablation studies are also provided that validate the two proposed improvements.


title: Ray structures on Teichm\"uller Space

abstract: While there may be many Thurston metric geodesics between a pair of points in Teichm\"uller space, we find that by imposing an additional energy minimization constraint on the geodesics, thought of as limits of harmonic map rays, we select a unique Thurston geodesic through those points. Extending the target surface to the Thurston boundary yields, for each point $Y$ in Teichm\"uller space, an "exponential map" of rays from that point $Y$ onto Teichm\"uller space with visual boundary the Thurston boundary of Teichm\"uller space. We first depict harmonic map ray structures on Teichm\"uller space as a geometric transition between Teichm\"uller ray structures and Thurston geodesic ray structures. In particular, by appropriately degenerating the source of a harmonic map between hyperbolic surfaces (along "harmonic map dual rays"), the harmonic map rays through the target converge to a Thurston geodesic; by appropriately degenerating the target of the harmonic map, those harmonic map dual rays through the domain converge to Teichm\"uller geodesics. We then extend this transition to one from Teichm\"uller disks through Hopf differential disks to stretch-earthquake disks. These results apply to surfaces with boundary, resolving a question on stretch maps between such surfaces.


title: Descent Properties of an Anderson Accelerated Gradient Method With Restarting

abstract: Anderson Acceleration (AA) is a popular acceleration technique to enhance the convergence of fixed-point iterations. The analysis of AA approaches typically focuses on the convergence behavior of a corresponding fixed-point residual, while the behavior of the underlying objective function values along the accelerated iterates is currently not well understood. In this paper, we investigate local properties of AA with restarting applied to a basic gradient scheme in terms of function values. Specifically, we show that AA with restarting is a local descent method and that it can decrease the objective function faster than the gradient method. These new results theoretically support the good numerical performance of AA when heuristic descent conditions are used for globalization and they provide a novel perspective on the convergence analysis of AA that is more amenable to nonconvex optimization problems. Numerical experiments are conducted to illustrate our theoretical findings.


title: Completion Time Minimization of Fog-RAN-Assisted Federated Learning With Rate-Splitting Transmission

abstract: This work studies federated learning (FL) over a fog radio access network, in which multiple internet-of-things (IoT) devices cooperatively learn a shared machine learning model by communicating with a cloud server (CS) through distributed access points (APs). Under the assumption that the fronthaul links connecting APs to CS have finite capacity, a rate-splitting transmission at IoT devices (IDs) is proposed which enables hybrid edge and cloud decoding of split uplink messages. The problem of completion time minimization for FL is tackled by optimizing the rate-splitting transmission and fronthaul quantization strategies along with training hyperparameters such as precision and iteration numbers. Numerical results show that the proposed rate-splitting transmission achieves notable gains over benchmark schemes which rely solely on edge or cloud decoding.


title: Asymptotic Expansion of the Heat Trace of the Thermoelastic Dirichlet-to-Neumann map

abstract: This paper is devoted to study the asymptotic expansion of the heat trace of the Dirichlet-to-Neumann map for the thermoelastic equation on a Riemannian manifold with doundary. By providing a method we can obtain all the coefficients of the asymptotic expansion. In particular, we explicitly give the first two coefficients involving the volume and the total mean curvature of the boundary.


title: Exploiting dynamic nonlinearity in upconversion nanoparticles for super-resolution imaging

abstract: Single-beam super-resolution microscopy, also known as superlinear microscopy, exploits the nonlinear response of fluorescent probes in confocal microscopy. The technique requires no complex purpose-built system, light field modulation, or beam shaping. Here, we present a strategy to enhance spatial resolution of superlinear microscopy by modulating excitation intensity during image acquisition. This modulation induces dynamic optical nonlinearity in upconversion nanoparticles (UCNPs), resulting in variations of higher spatial-frequency information in the obtained images. The high-order information can be extracted with a proposed weighted finite difference imaging algorithm from raw fluorescence images, to generate an image with a higher resolution than superlinear microscopy images. We apply this approach to resolve two adjacent nanoparticles within a diffraction-limited area, improving the resolution to 130 nm. This work suggests a new scope for developing dynamic nonlinear fluorescent probes in super-resolution nanoscopy.


title: Dissipation enhancement by transport noise for stochastic $p$-Laplace equations

abstract: The stochastic $p$-Laplace equation with multiplicative transport noise is studied on the torus $\mathbb T^d\, (d\geq 2)$. It is shown that the dissipation is enhanced by transport noise in both the averaged sense and the pathwise sense.


title: Tolerance For the Pixelation Effect in Shear Measurement

abstract: Images taken by space telescopes typically have a superb spatial resolution, but a relatively poor sampling rate due to the finite CCD pixel size. Beyond the Nyquist limit, it becomes uncertain how much the pixelation effect may affect the accuracy of galaxy shape measurement. It is timely to study this issue given that a number of space-based large-scale weak lensing surveys are planned. Using the Fourier_Quad method, we quantify the shear recovery error as a function of the sampling factor Q, i.e., the ratio between the FWHM of the point-spread-function (PSF) and the pixel size of the CCD, for different PSFs and galaxies of different sizes and noise levels. We show that sub-percent-level accuracy in shear recovery is achievable with single-exposure images for $Q\lesssim 2$. The conclusion holds for galaxies much smaller than the PSF, and those with a significant level of noise.


title: Regularization-wise double descent: Why it occurs and how to eliminate it

abstract: The risk of overparameterized models, in particular deep neural networks, is often double-descent shaped as a function of the model size. Recently, it was shown that the risk as a function of the early-stopping time can also be double-descent shaped, and this behavior can be explained as a super-position of bias-variance tradeoffs. In this paper, we show that the risk of explicit L2-regularized models can exhibit double descent behavior as a function of the regularization strength, both in theory and practice. We find that for linear regression, a double descent shaped risk is caused by a superposition of bias-variance tradeoffs corresponding to different parts of the model and can be mitigated by scaling the regularization strength of each part appropriately. Motivated by this result, we study a two-layer neural network and show that double descent can be eliminated by adjusting the regularization strengths for the first and second layer. Lastly, we study a 5-layer CNN and ResNet-18 trained on CIFAR-10 with label noise, and CIFAR-100 without label noise, and demonstrate that all exhibit double descent behavior as a function of the regularization strength.


title: Instant Graph Neural Networks for Dynamic Graphs

abstract: Graph Neural Networks (GNNs) have been widely used for modeling graph-structured data. With the development of numerous GNN variants, recent years have witnessed groundbreaking results in improving the scalability of GNNs to work on static graphs with millions of nodes. However, how to instantly represent continuous changes of large-scale dynamic graphs with GNNs is still an open problem. Existing dynamic GNNs focus on modeling the periodic evolution of graphs, often on a snapshot basis. Such methods suffer from two drawbacks: first, there is a substantial delay for the changes in the graph to be reflected in the graph representations, resulting in losses on the model's accuracy; second, repeatedly calculating the representation matrix on the entire graph in each snapshot is predominantly time-consuming and severely limits the scalability. In this paper, we propose Instant Graph Neural Network (InstantGNN), an incremental computation approach for the graph representation matrix of dynamic graphs. Set to work with dynamic graphs with the edge-arrival model, our method avoids time-consuming, repetitive computations and allows instant updates on the representation and instant predictions. Graphs with dynamic structures and dynamic attributes are both supported. The upper bounds of time complexity of those updates are also provided. Furthermore, our method provides an adaptive training strategy, which guides the model to retrain at moments when it can make the greatest performance gains. We conduct extensive experiments on several real-world and synthetic datasets. Empirical results demonstrate that our model achieves state-of-the-art accuracy while having orders-of-magnitude higher efficiency than existing methods.


title: Search for supernova bursts in Super-Kamiokande IV

abstract: Super-Kamiokande has been searching for neutrino bursts characteristic of core-collapse supernovae continuously, in real time, since the start of operations in 1996. The present work focuses on detecting more distant supernovae whose event rate may be too small to trigger in real time, but may be identified using an offline approach. The analysis of data collected from 2008 to 2018 found no evidence of distant supernovae bursts. This establishes an upper limit of 0.29 year$^{-1}$ on the rate of core-collapse supernovae out to 100 kpc at 90% C.L.. For supernovae that fail to explode and collapse directly to black holes the limit reaches to 300 kpc.


title: CF-YOLO: Cross Fusion YOLO for Object Detection in Adverse Weather with a High-quality Real Snow Dataset

abstract: Snow is one of the toughest adverse weather conditions for object detection (OD). Currently, not only there is a lack of snowy OD datasets to train cutting-edge detectors, but also these detectors have difficulties learning latent information beneficial for detection in snow. To alleviate the two above problems, we first establish a real-world snowy OD dataset, named RSOD. Besides, we develop an unsupervised training strategy with a distinctive activation function, called $Peak \ Act$, to quantitatively evaluate the effect of snow on each object. Peak Act helps grading the images in RSOD into four-difficulty levels. To our knowledge, RSOD is the first quantitatively evaluated and graded snowy OD dataset. Then, we propose a novel Cross Fusion (CF) block to construct a lightweight OD network based on YOLOv5s (call CF-YOLO). CF is a plug-and-play feature aggregation module, which integrates the advantages of Feature Pyramid Network and Path Aggregation Network in a simpler yet more flexible form. Both RSOD and CF lead our CF-YOLO to possess an optimization ability for OD in real-world snow. That is, CF-YOLO can handle unfavorable detection problems of vagueness, distortion and covering of snow. Experiments show that our CF-YOLO achieves better detection results on RSOD, compared to SOTAs. The code and dataset are available at https://github.com/qqding77/CF-YOLO-and-RSOD.


title: Falconn++: A Locality-sensitive Filtering Approach for Approximate Nearest Neighbor Search

abstract: We present Falconn++, a novel locality-sensitive filtering approach for approximate nearest neighbor search on angular distance. Falconn++ can filter out potential far away points in any hash bucket \textit{before} querying, which results in higher quality candidates compared to other hashing-based solutions. Theoretically, Falconn++ asymptotically achieves lower query time complexity than Falconn, an optimal locality-sensitive hashing scheme on angular distance. Empirically, Falconn++ achieves higher recall-speed tradeoffs than Falconn on many real-world data sets. Falconn++ is also competitive with HNSW, an efficient representative of graph-based solutions on high search recall regimes.


title: A Comparison Theorem For The Pro-\'etale Fundamental Group

abstract: In this paper, we construct a comparison map from the topological fundamental group to the pro-\'etale fundamental group for a complex variety.


title: End-to-End 3D Hand Pose Estimation from Stereo Cameras

abstract: This work proposes an end-to-end approach to estimate full 3D hand pose from stereo cameras. Most existing methods of estimating hand pose from stereo cameras apply stereo matching to obtain depth map and use depth-based solution to estimate hand pose. In contrast, we propose to bypass the stereo matching and directly estimate the 3D hand pose from the stereo image pairs. The proposed neural network architecture extends from any keypoint predictor to estimate the sparse disparity of the hand joints. In order to effectively train the model, we propose a large scale synthetic dataset that is composed of stereo image pairs and ground truth 3D hand pose annotations. Experiments show that the proposed approach outperforms the existing methods based on the stereo depth.


title: Feedback Stabilization of Tank-Liquid System with Robustness to Wall Friction

abstract: We solve the feedback stabilization problem for a tank, with friction, containing a liquid modeled by the viscous Saint-Venant system of Partial Differential Equations. A spill-free exponential stabilization is achieved, with robustness to the wall friction forces. A Control Lyapunov Functional (CLF) methodology with two different Lyapunov functionals is employed. These functionals determine specific parameterized sets which approximate the state space. The feedback law is designed based only on one of the two functionals (which is the CLF) while the other functional is used for the derivation of estimates of the sup-norm of the velocity. The feedback law does not require the knowledge of the exact relation of the friction coefficient. Two main results are provided: the first deals with the special case of a velocity-independent friction coefficient, while the second deals with the general case. The obtained results are new even in the frictionless case.

categories: math.OC cs.SY eess.SY math.AP physics.flu-dyn