title: Dual-Tuning: Joint Prototype Transfer and Structure Regularization for Compatible Feature Learning

abstract: Visual retrieval system faces frequent model update and deployment. It is a heavy workload to re-extract features of the whole database every time.Feature compatibility enables the learned new visual features to be directly compared with the old features stored in the database. In this way, when updating the deployed model, we can bypass the inflexible and time-consuming feature re-extraction process. However, the old feature space that needs to be compatible is not ideal and faces the distribution discrepancy problem with the new space caused by different supervision losses. In this work, we propose a global optimization Dual-Tuning method to obtain feature compatibility against different networks and losses. A feature-level prototype loss is proposed to explicitly align two types of embedding features, by transferring global prototype information. Furthermore, we design a component-level mutual structural regularization to implicitly optimize the feature intrinsic structure. Experimental results on million-scale datasets demonstrate that our Dual-Tuning is able to obtain feature compatibility without sacrificing performance. (Our code will be avaliable at https://github.com/yanbai1993/Dual-Tuning)


title: A well balanced finite volume scheme for general relativity

abstract: In this work we present a novel second order accurate well balanced (WB) finite volume (FV) scheme for the solution of the general relativistic magnetohydrodynamics (GRMHD) equations and the first order CCZ4 formulation (FO-CCZ4) of the Einstein field equations of general relativity, as well as the fully coupled FO-CCZ4 + GRMHD system. These systems of first order hyperbolic PDEs allow to study the dynamics of the matter and the dynamics of the space-time according to the theory of general relativity. The new well balanced finite volume scheme presented here exploits the knowledge of an equilibrium solution of interest when integrating the conservative fluxes, the nonconservative products and the algebraic source terms, and also when performing the piecewise linear data reconstruction. This results in a rather simple modification of the underlying second order FV scheme, which, however, being able to cancel numerical errors committed with respect to the equilibrium component of the numerical solution, substantially improves the accuracy and long-time stability of the numerical scheme when simulating small perturbations of stationary equilibria. In particular, the need for well balanced techniques appears to be more and more crucial as the applications increase their complexity. We close the paper with a series of numerical tests of increasing difficulty, where we study the evolution of small perturbations of accretion problems and stable TOV neutron stars. Our results show that the well balancing significantly improves the long-time stability of the finite volume scheme compared to a standard one.


title: The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions

abstract: The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor smarts, thus lowering the effort required to extend an IDE to support a language. The concept is a success and has been adopted by several programming languages and beyond. This is shown by the emergence of several LSP implementations for the many programming and specification languages (languages with a focus on modelling, reasoning, or proofs). However, for such languages LSP has been ad-hocly extended with the additional functionalities that are typically not found for programming languages and thus not supported in LSP. This foils the original LSP decoupling goal, because the move towards a new IDE requires yet another re-implementation of the ad-hoc LSP extension. In this paper we contribute with a conservative extension of LSP providing a first proposal towards a standard protocol decoupling the support of specification languages from the IDE. We hope our research attracts the larger community and motivates the need of a joint task force leading to a standardised LSP extension serving the particular needs of specification languages.


title: Dezyne: Paving the Way to Practical Formal Software Engineering

abstract: Designing software that controls industrial equipment is challenging, especially due to its inherent concurrent nature. Testing this kind of event driven control software is difficult and, due to the large number of possible execution scenarios only a low dynamic test coverage is achieved in practice. This in turn is undesirable due to the high cost of software failure for this type of equipment. In this paper we describe the Dezyne language and tooling; Dezyne is a programming language aimed at software engineers designing large industrial control software. We discuss its underlying two layered and compositional approach that enables reaping the benefits of Formal Methods, hereby strongly supporting guiding principles of software engineering. The core of Dezyne uses the mCRL2 language and model-checker (Jan Friso Groote et al.) to verify the correctness and completeness of all possible execution scenarios. The IDE of Dezyne is based on the Language Server Protocol allowing a smooth integration with e.g., Visual Studio Code, and Emacs, extended with several automatically generated interactive graphical views. We report on the introduction of Dezyne and its predecessor at several large high-tech equipment manufacturers resulting in a decrease of software developing time and a major decrease of reported field defects.


title: Analysis of Source Code Using UPPAAL

abstract: In recent years there has been a considerable effort in optimising formal methods for application to code. This has been driven by tools such as CPAChecker, DIVINE, and CBMC. At the same time tools such as Uppaal have been massively expanding the realm of more traditional model checking technologies to include strategy synthesis algorithms - an aspect becoming more and more needed as software becomes increasingly parallel. Instead of reimplementing the advances made by Uppaal in this area, we suggest in this paper to develop a bridge between the source code and the engine of Uppaal. Our approach uses the widespread intermediate language LLVM and makes recent advances of the Uppaal ecosystem readily available to analysis of source code.


title: A Logic Theory Pattern for Linearized Control Systems

abstract: This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theories are then used to verify system requirements and find constraints on design parameters, with the support of computer-assisted theorem proving. This method contributes to the integration of formal verification methods into the standard model-driven development processes for control systems. The theories obtained through its application comprise a set of assumptions that the system equations must satisfy, and a translation of the equations into the logic language of the Prototype Verification System theorem-proving environment. The method is illustrated with a standard case study from control theory.


title: Implicit and Explicit Proof Management in KeYmaera X

abstract: Hybrid systems theorem proving provides strong correctness guarantees about the interacting discrete and continuous dynamics of cyber-physical systems. The trustworthiness of proofs rests on the soundness of the proof calculus and its correct implementation in a theorem prover. Correctness is easier to achieve with a soundness-critical core that is stripped to the bare minimum, but, as a consequence, proof convenience has to be regained outside the soundness-critical core with proof management techniques. We present modeling and proof management techniques that are built on top of the soundness-critical core of KeYmaera X to enable expanding definitions, parametric proofs, lemmas, and other useful proof techniques in hybrid systems proofs. Our techniques steer the uniform substitution implementation of the differential dynamic logic proof calculus in KeYmaera X to allow users choose when and how in a proof abstract formulas, terms, or programs become expanded to their concrete definitions, and when and how lemmas and sub-proofs are combined to a full proof. The same techniques are exploited in implicit sub-proofs (without making such sub-proofs explicit to the user) to provide proof features, such as temporarily hiding formulas, which are notoriously difficult to get right when implemented in the prover core, but become trustworthy as proof management techniques outside the core. We illustrate our approach with several useful proof techniques and discuss their presentation on the KeYmaera X user interface.


title: Verifying Time Complexity of Binary Search using Dafny

abstract: Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are usually carried out with pen and paper. Inefficient code in terms of time complexity may cause massive performance problems in large-scale complex systems. We present a proof of concept for using the Dafny verification tool to specify and verify the worst-case time complexity of binary search. This approach can also be used for academic purposes as a new way to teach algorithms and complexity.


title: Explaining Counterexamples with Giant-Step Assertion Checking

abstract: Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the program, an incompleteness in the program annotations, or an incompleteness of the prover. The changes needed to resolve a proof failure depend on its category, but the prover cannot provide any help on the categorisation. When using an SMT solver to discharge a proof obligation, that solver can propose a model from a failed attempt, from which a possible counterexample can be derived. But the counterexample may be invalid, in which case it may add more confusion than help. To check the validity of a counterexample and to categorise the proof failure, we propose the comparison between the run-time assertion-checking (RAC) executions under two different semantics, using the counterexample as an oracle. The first RAC execution follows the normal program semantics, and a violation of a program annotation indicates an incorrectness in the program. The second RAC execution follows a novel "giant-step" semantics that does not execute loops nor function calls but instead retrieves return values and values of modified variables from the oracle. A violation of the program annotations only observed under giant-step execution characterises an incompleteness of the program annotations. We implemented this approach in the Why3 platform for deductive program verification and evaluated it using examples from prior literature.


title: Deductive Verification via the Debug Adapter Protocol

abstract: We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This integration is well-represented in the "Debug Adapter Protocol", a widely-used and generic technology to integrate debugging of programs into development environments. Commands like step-forward and step-in are backed by steps of a symbolic structural operational semantics, and the different paths through a program are readily represented by multiple running threads of the debug target inside the user interface. Thus, existing IDEs can be leveraged for deductive verification debugging with relatively little effort. We have implemented this scheme for SecC, an auto-active program verifier for C, and discuss its integration into Visual Studio Code.


title: How the Analyzer can Help the User Help the Analyzer

abstract: The automation offered by modern program proof tools goes hand in hand with the capability to interact with the tool when the verification fails. The SPARK proof tool tries to help the user by providing the right information, so that the user can help the tool complete the proof. In this article, we present these mechanisms and how they work concretely on a simple running example.


title: Reducing Spatial Labeling Redundancy for Semi-supervised Crowd Counting

abstract: Labeling is onerous for crowd counting as it should annotate each individual in crowd images. Recently, several methods have been proposed for semi-supervised crowd counting to reduce the labeling efforts. Given a limited labeling budget, they typically select a few crowd images and densely label all individuals in each of them. Despite the promising results, we argue the None-or-All labeling strategy is suboptimal as the densely labeled individuals in each crowd image usually appear similar while the massive unlabeled crowd images may contain entirely diverse individuals. To this end, we propose to break the labeling chain of previous methods and make the first attempt to reduce spatial labeling redundancy for semi-supervised crowd counting. First, instead of annotating all the regions in each crowd image, we propose to annotate the representative ones only. We analyze the region representativeness from both vertical and horizontal directions, and formulate them as cluster centers of Gaussian Mixture Models. Additionally, to leverage the rich unlabeled regions, we exploit the similarities among individuals in each crowd image to directly supervise the unlabeled regions via feature propagation instead of the error-prone label propagation employed in the previous methods. In this way, we can transfer the original spatial labeling redundancy caused by individual similarities to effective supervision signals on the unlabeled regions. Extensive experiments on the widely-used benchmarks demonstrate that our method can outperform previous best approaches by a large margin.


title: The response of black hole spark gaps to external changes: A production mechanism of rapid TeV flares?

abstract: We study the response of a starved Kerr black hole magnetosphere to abrupt changes in the intensity of disk emission and in the global magnetospheric current, by means of 1D general relativistic particle-in-cell simulations. Such changes likely arise from the intermittency of the accretion process. We find that in cases where the pair production opacity contributed by the soft disk photons is modest, as in, e.g., M87, such changes can give rise to delayed, strong TeV flares, dominated by curvature emission of particles accelerated in the gap. The flare rise time, and the delay between the external variation and the onset of the flare emitted from the outer gap boundary, are of the order of the light crossing time of the gap. The rapid, large amplitude TeV flares observed in M87 and, perhaps, other AGNs may be produced by such a mechanism.


title: Disjunctive Delimited Control

abstract: Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the control flow of a program from inside the language, it enables the implementation of powerful features, such as tabling, without modifying the internals of the Prolog engine. However, its current formulation is inadequate: it does not capture Prolog's unique non-deterministic nature which allows multiple ways to satisfy a goal. This paper fully embraces Prolog's non-determinism with a novel interface for disjunctive delimited control, which gives the programmer not only control over the sequential (conjunctive) control flow, but also over the non-deterministic control flow. We provide a meta-interpreter that conservatively extends Prolog with delimited control and show that it enables a range of typical Prolog features and extensions, now at the library level: findall, cut, branch-and-bound optimisation, probabilistic programming,...


title: Relativistic viscous accretion flow model for ULX sources: A case study for IC 342 X-1

abstract: In this letter, we develop a model formalism to study the structure of a relativistic, viscous, optically thin, advective accretion flow around a rotating black hole in presence of radiative coolings. We use this model to examine the physical parameters of the Ultra-luminous X-ray sources (ULXs), namely mass ($M_{\rm BH}$), spin ($a_{\rm k}$) and accretion rate (${\dot m}$), respectively. While doing this, we adopt a recently developed effective potential to mimic the spacetime geometry around the rotating black holes. We solve the governing equations to obtain the shock induced global accretion solutions in terms of ${\dot m}$ and viscosity parameter ($\alpha$). Using shock properties, we compute the Quasi-periodic Oscillation (QPO) frequency ($\nu_{\rm QPO}$) of the post-shock matter (equivalently post-shock corona, hereafter PSC) pragmatically, when the shock front exhibits Quasi-periodic variations. We also calculate the luminosity of the entire disc for these shock solutions. Employing our results, we find that the present formalism is potentially promising to account the observed $\nu_{\rm QPO}$ and bolometric luminosity ($L_{\rm bol}$) of a well studied ULX source IC 342 X-1. Our findings further imply that the central source of IC 342 X-1 seems to be rapidly rotating and accretes matter at super-Eddington accretion rate provided IC 342 X-1 harbors a massive stellar mass black hole ($M_{\rm BH} < 100 M_\odot$) as indicated by the previous studies.


title: New limits on the Lorentz/CPT symmetry through fifty gravitational-wave events

abstract: Lorentz invariance plays a fundamental role in modern physics. However, tiny violations of the Lorentz invariance may arise in some candidate quantum gravity theories. Prominent signatures of the gravitational Lorentz invariance violation (gLIV) include anisotropy, dispersion, and birefringence in the dispersion relation of gravitational waves (GWs). Using a total of 50 GW events in the GW transient catalogs GWTC-1 and GWTC-2, we perform an analysis on the anisotropic birefringence phenomenon. The use of multiple events allows us to completely break the degeneracy among gLIV coefficients and globally constrain the coefficient space. Compared to previous results at mass dimensions 5 and 6 for the Lorentz-violating operators, we tighten the global limits of 34 coefficients by factors ranging from $2$ to $7$.


title: Biquaternion Z Transform

abstract: In this work, the biquaternion Z transformation method is proposed to solve a class of biquaternion recurrence relations. Biqueternion Z transform is an natural extension of the complex Z transform. In the design process, special norm presentation is employed to analyze the region of convergence of the biquaternion geometry sequence. In addition, some useful properties have been given. It is shown that the proposed properties is helpful to understand the biquaternion Z transform. Finally, several examples have been given to illustrate the effectiveness of the proposed design method.


title: On Bundle Adjustment for Multiview PointCloud Registration

abstract: Multiview registration is used to estimate Rigid Body Transformations (RBTs) from multiple frames and reconstruct a scene with corresponding scans. Despite the success of pairwise registration and pose synchronization, the concept of Bundle Adjustment (BA) has been proven to better maintain global consistency. So in this work, we make the multiview point-cloud registration more tractable from a different perspective in resolving range-based BA. Based on this analysis, we propose an objective function that takes both measurement noises and computational cost into account. For the feature parameter update, instead of calculating the global distribution parameters from the raw measurements, we aggregate the local distributions upon the pose update at each iteration. The computational cost of feature update is then only dependent on the number of scans. Finally, we develop a multiview registration system using voxel-based quantization that can be applied in real-world scenarios. The experimental results demonstrate our superiority over the baselines in terms of both accuracy and speed. Moreover, the results also show that our average positioning errors achieve the centimeter level.


title: The ferroelectric field-effect transistor with negative capacitance

abstract: Integrating ferroelectric negative capacitance (NC) into the field-effect transistor (FET) promises to break fundamental limits of power dissipation known as Boltzmann tyranny. However, realizing the stable static negative capacitance in the non-transient non-hysteretic regime remains a daunting task. The problem stems from the lack of understanding of how the fundamental origin of the NC due to the emergence of the domain state can be put in use for implementing the NC FET. Here we put forth an ingenious design for the ferroelectric domain-based field-effect transistor with the stable reversible static negative capacitance. Using dielectric coating of the ferroelectric capacitor enables the tunability of the negative capacitance improving tremendously the performance of the field-effect transistors.


title: Dislocation avalanches from strain-controlled loading: A discrete dislocation dynamics study

abstract: We study strain-controlled plastic deformation of crystalline solids via two-dimensional discrete dislocation dynamics simulations. To this end, we characterize the average stress-strain curves as well as the statistical properties of strain bursts and the related stress drops as a function of the imposed strain rate and the stiffness of the specimen-machine system. The dislocation system exhibits strain rate sensitivity such that a larger imposed strain rate results in a higher average stress at a given strain. In the limit of small strain rate and driving spring stiffness, the sizes and durations of the dislocation avalanches are power-law distributed up to a cutoff scale, and exhibit temporally asymmetric average shapes. We discuss the dependence of the results on the driving parameters, and compare our results to those from previous simulations where quasistatic stress-controlled loading was used.


title: Complexity of Restricted Star Colouring

abstract: Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For $k\in\mathbb{N}$, a $k$-restricted star colouring ($k$-rs colouring) of a graph $G$ is a function $f:V(G)\to{0,1,\dots,k-1}$ such that (i)$f(x)\neq f(y)$ for every edge $xy$ of G, and (ii) there is no bicoloured 3-vertex path ($P_3$) in $G$ with the higher colour on its middle vertex. We show that for $k\geq 3$, it is NP-complete to test whether a given planar bipartite graph of maximum degree $k$ and arbitrarily large girth admits a $k$-rs colouring, and thereby answer a problem posed by Shalu and Sandhya (Graphs and Combinatorics, 2016). In addition, it is NP-complete to test whether a 3-star colourable graph admits a 3-rs colouring. We also prove that for all $\epsilon > 0$, the optimization problem of restricted star colouring a 2-degenerate bipartite graph with the minimum number of colours is NP-hard to approximate within $n^{(1/3)-\epsilon}$. On the positive side, we design (i) a linear-time algorithm to test 3-rs colourability of trees, and (ii) an $O(n^3)$-time algorithm to test 3-rs colourability of chordal graphs.


title: Fine-grained Domain Adaptive Crowd Counting via Point-derived Segmentation

abstract: Due to domain shift, a large performance drop is usually observed when a trained crowd counting model is deployed in the wild. While existing domain-adaptive crowd counting methods achieve promising results, they typically regard each crowd image as a whole and reduce domain discrepancies in a holistic manner, thus limiting further improvement of domain adaptation performance. To this end, we propose to untangle \emph{domain-invariant} crowd and \emph{domain-specific} background from crowd images and design a fine-grained domain adaption method for crowd counting. Specifically, to disentangle crowd from background, we propose to learn crowd segmentation from point-level crowd counting annotations in a weakly-supervised manner. Based on the derived segmentation, we design a crowd-aware domain adaptation mechanism consisting of two crowd-aware adaptation modules, i.e., Crowd Region Transfer (CRT) and Crowd Density Alignment (CDA). The CRT module is designed to guide crowd features transfer across domains beyond background distractions. The CDA module dedicates to regularising target-domain crowd density generation by its own crowd density distribution. Our method outperforms previous approaches consistently in the widely-used adaptation scenarios.


title: Ideal Nodal Rings of One-Dimensional Photonic Crystals in the Visible Region

abstract: Three-dimensional (3D) artificial metacrystals host rich topological phases, such as Weyl points, nodal rings and 3D photonic topological insulators. These topological states enable a wide range of applications, including 3D robust waveguide, one-way fiber and negative refraction of surface wave. However, these carefully designed metacrystals are usually very complex, hindering their extension to nanoscale photonic systems. Here, we theoretically proposed and experimentally realized an ideal nodal ring in visible region using a simple 1D photonic crystal. The pi Berry phase around the ring is manifested by a 2pi reflection phase's winding and the resultant drumhead surface states. By breaking the inversion symmetry, the nodal ring can be gapped and the pi-Berry phase would diffuse into a toroidal shaped Berry flux, resulting in photonic ridge states (the 3D extension of quantum valley Hall states). Our results provide a simple and feasible platform for exploring 3D topological physics and their potential applications in nanophotonics.


title: Improving Contrastive Learning by Visualizing Feature Transformation

abstract: Contrastive learning, which aims at minimizing the distance between positive pairs while maximizing that of negative ones, has been widely and successfully applied in unsupervised feature learning, where the design of positive and negative (pos/neg) pairs is one of its keys. In this paper, we attempt to devise a feature-level data manipulation, differing from data augmentation, to enhance the generic contrastive self-supervised learning. To this end, we first design a visualization scheme for pos/neg score (Pos/neg score indicates cosine similarity of pos/neg pair.) distribution, which enables us to analyze, interpret and understand the learning process. To our knowledge, this is the first attempt of its kind. More importantly, leveraging this tool, we gain some significant observations, which inspire our novel Feature Transformation proposals including the extrapolation of positives. This operation creates harder positives to boost the learning because hard positives enable the model to be more view-invariant. Besides, we propose the interpolation among negatives, which provides diversified negatives and makes the model more discriminative. It is the first attempt to deal with both challenges simultaneously. Experiment results show that our proposed Feature Transformation can improve at least 6.0% accuracy on ImageNet-100 over MoCo baseline, and about 2.0% accuracy on ImageNet-1K over the MoCoV2 baseline. Transferring to the downstream tasks successfully demonstrate our model is less task-bias. Visualization tools and codes https://github.com/DTennant/CL-Visualizing-Feature-Transformation .


title: Simplified models for unsteady three-dimensional flows in slowly varying microchannels

abstract: We present a reduced order model for three dimensional unsteady pressure-driven flows in micro-channels of variable cross-section. This fast and accurate model is valid for long channels, but allows for large variations in the channel's cross-section along the axis. It is based on an asymptotic expansion of the governing equations in the aspect ratio of the channel. A finite Fourier transform in the plane normal to the flow direction is used to solve for the leading order axial velocity. The corresponding pressure and transverse velocity are obtained via a hybrid analytic-numerical scheme based on recursion. The channel geometry is such that one of the transverse velocity components is negligible, and the other component, in the plane of variation of channel height, is obtained from combination of the corresponding momentum equation and the continuity equations, assuming a low degree polynomial Ansatz of the pressure forcing. A key feature of the model is that it puts no restriction on the time dependence of the pressure forcing, in terms of shape and frequency, as long as the advective component of the inertia term is small. This is a major departure from many previous expositions which assume harmonic forcing. The model reveals to be accurate for a wide range of parameters and is two orders of magnitude faster than conventional three dimensional CFD simulations.


title: Sentence Semantic Regression for Text Generation

abstract: Recall the classical text generation works, the generation framework can be briefly divided into two phases: \textbf{idea reasoning} and \textbf{surface realization}. The target of idea reasoning is to figure out the main idea which will be presented in the following talking/writing periods. Surface realization aims to arrange the most appropriate sentence to depict and convey the information distilled from the main idea. However, the current popular token-by-token text generation methods ignore this crucial process and suffer from many serious issues, such as idea/topic drift. To tackle the problems and realize this two-phase paradigm, we propose a new framework named Sentence Semantic Regression (\textbf{SSR}) based on sentence-level language modeling. For idea reasoning, two architectures \textbf{SSR-AR} and \textbf{SSR-NonAR} are designed to conduct sentence semantic regression autoregressively (like GPT2/3) and bidirectionally (like BERT). In the phase of surface realization, a mixed-granularity sentence decoder is designed to generate text with better consistency by jointly incorporating the predicted sentence-level main idea as well as the preceding contextual token-level information. We conduct experiments on four tasks of story ending prediction, story ending generation, dialogue generation, and sentence infilling. The results show that SSR can obtain better performance in terms of automatic metrics and human evaluation.


title: The QBO-type signals in the subsurface flow fields during solar cycles 23 and 24

abstract: We studied the presence and spatiotemporal evolution of the quasi-biennial oscillations (QBOs) in the rotation rate residuals at target depths of 0.90$R_{\odot}$, 0.95$R_{\odot}$, and 0.99$R_{\odot}$ and at low (0 -- 30$^{\circ}$), mid (30 -- 50$^{\circ}$), and high (50 -- 70$^{\circ}$) latitudinal bands. To achieve these objectives we used data from the Michelson Doppler Imager (MDI) on {\it the Solar and Heliospheric Observatory} ({\it SOHO}) and the Helioseismic and Magnetic Imager (HMI) on the {\it Solar Dynamics Observatory} ({\it SDO}), covering solar cycles 23 and 24, respectively. The results show that there are QBO-like signals in each latitudinal band and depth however they are affected by higher amplitude and longer-time scale variations. The QBO-like signals found in each target depth and latitudinal bands show different spatiotemporal evolution. The amplitudes of variations of the rotation rate residuals in the QBO timescale increase with increasing depth.


title: On the regularity theory for mixed local and nonlocal quasilinear parabolic equations

abstract: We consider mixed local and nonlocal quasilinear parabolic equations of $p$-Laplace type and discuss several regularity properties of weak solutions for such equations. More precisely, we establish local boundeness of weak subsolutions, lower semicontinuity of weak supersolutions as well as upper semicontinuity of weak subsolutions. We also discuss the pointwise behavior of the semicontinuous representatives. Our main results are valid for sign changing solutions. Our approach is purely analytic and is based on energy estimates and the De Giorgi theory.


title: HJB-RBF based approach for the control of PDEs

abstract: Semi-lagrangian schemes for discretization of the dynamic programming principle are based on a time discretization projected on a state-space grid. The use of a structured grid makes this approach not feasible for high-dimensional problems due to the curse of dimensionality. Here, we present a new approach for infinite horizon optimal control problems where the value function is computed using Radial Basis Functions (RBF) by the Shepard's moving least squares approximation method on scattered grids. We propose a new method to generate a scattered mesh driven by the dynamics and the selection of the shape parameter in the RBF using an optimization routine. This mesh will help to localize the problem and approximate the dynamic programming principle in high dimension. Error estimates for the value function are also provided. Numerical tests for high dimensional problems will show the effectiveness of the proposed method.


title: Photometry and Long-Slit Spectroscopy of Split Comet C/2019 Y4 (ATLAS)

abstract: We present an analysis of the photometric and spectroscopic observations of the split comet C/2019 Y4 (ATLAS). Observations were carried out on the 14th and 16th of April 2020 when the heliocentric distances of the comet were 1.212 and 1.174 au, its geocentric distances 0.998 and 0.991 au, and the phase angle 52.9{\deg} and 54.5{\deg}, respectively. The comet was observed with the 6-m BTA telescope of the Special Astrophysical Observatory (Russia) with the SCORPIO-2 multi-mode focal reducer. The narrow-band BC and RC cometary filters in the continuum were used. We identified numerous emissions of the CN, C2, C3, and NH2 molecules within the range of 3750-7100 {\AA}. The C2/CN and C3/CN production rate ratios coincide with those of typical comets. Four fragments belonging to the coma were detected in both observational runs. We compared and analyzed temporal variations of the visual magnitudes, gas productivity, and dust colour. Based on our dynamical investigation of the orbits of comets C/1844 Y1 (Great comet) and C/2019 Y4 (ATLAS), we can claim that, with high probability, two comets do not have a common progenitor.


title: Evidence of 100 TeV ${\gamma}$-ray emission from HESS J1702-420: A new PeVatron candidate

abstract: The identification of active PeVatrons, hadronic particle accelerators reaching the knee of the cosmic-ray spectrum (at the energy of few PeV), is crucial to understand the origin of cosmic rays in the Galaxy. In this context, we report on new H.E.S.S. observations of the PeVatron candidate HESS J1702-420, which reveal the presence of gamma-rays up to 100 TeV. This is the first time in the history of H.E.S.S. that photons with such high energy are clearly detected. Remarkably, the new deep observations allowed the discovery of a new gamma-ray source component, called HESS J1702-420A, that was previously hidden under the bulk emission traditionally associated with HESSJ1702-420. This new object has a power-law spectral slope < 2 and a gamma-ray spectrum that, extending with no sign of curvature up to 100 TeV, makes it an excellent candidate site for the presence of PeV-energy cosmic rays. This discovery brings new information to the ongoing debate on the nature of the unidentified source HESSJ1702-420, one of the most compelling PeVatron candidates in the gamma-ray sky, and on the origin of Galactic cosmic rays.


title: Alternative Formulations for the Fluctuating Two-Ray Fading Model

abstract: We present two alternative formulations for the distribution of the fluctuating two-ray (FTR) fading model, which simplify its statistical characterization and subsequent use for performance evaluation. New expressions for the probability density function (PDF) and cumulative distribution function of the FTR model are obtained based on the observation that the FTR fading distribution is described, for arbitrary $m$, as an underlying Rician Shadowed (RS) distribution with continuously varying parameter $K$, while for the special case of $m$ being an integer, the FTR fading model is described in terms of a finite number of underlying squared Nakagami-$m$ distributions. It is shown that the chief statistics and any performance metric that are computed by averaging over the PDF of the FTR fading model can be expressed in terms of a finite-range integral over the corresponding statistic or performance metric for the RS (for arbitrary $m$) or the Nakagami-$m$ (for integer $m$) fading models, which have a simpler analytical characterization than the FTR model and for which many results are available in closed-form. New expressions for some Laplace-domain statistics of interest are also obtained; these are used to exemplify the practical relevance of this new formulation for performance analysis.


title: Optimizing full 3D SPARKLING trajectories for high-resolution T2*-weighted Magnetic Resonance Imaging

abstract: The Spreading Projection Algorithm for Rapid K-space samplING, or SPARKLING, is an optimization-driven method that has been recently introduced for accelerated 2D T2*-w MRI using compressed sensing. It has then been extended to address 3D imaging using either stacks of 2D sampling patterns or a local 3D strategy that optimizes a single sampling trajectory at a time. 2D SPARKLING actually performs variable density sampling (VDS) along a prescribed target density while maximizing sampling efficiency and meeting the gradient-based hardware constraints. However, 3D SPARKLING has remained limited in terms of acceleration factors along the third dimension if one wants to preserve a peaky point spread function (PSF) and thus good image quality. In this paper, in order to achieve higher acceleration factors in 3D imaging while preserving image quality, we propose a new efficient algorithm that performs optimization on full 3D SPARKLING. The proposed implementation based on fast multipole methods (FMM) allows us to design sampling patterns with up to 10^7 k-space samples, thus opening the door to 3D VDS. We compare multi-CPU and GPU implementations and demonstrate that the latter is optimal for 3D imaging in the high-resolution acquisition regime (600$\mu$m isotropic). Finally, we show that this novel optimization for full 3D SPARKLING outperforms stacking strategies or 3D twisted projection imaging through retrospective and prospective studies on NIST phantom and in vivo brain scans at 3 Tesla. Overall the proposed method allows for 2.5-3.75x shorter scan times compared to GRAPPA-4 parallel imaging acquisition at 3 Tesla without compromising image quality.


title: Large population games with interactions through controls and common noise: convergence results and equivalence between $open$--$loop$ and $closed$--$loop$ controls

abstract: In the presence of a common noise, we study the convergence problems in mean field game (MFG) and mean field control (MFC) problem where the cost function and the state dynamics depend upon the joint conditional distribution of the controlled state and the control process. In the first part, we consider the MFG setting. We start by recalling the notions of $measure$--$valued$ MFG equilibria and of approximate $closed$--$loop$ Nash equilibria associated to the corresponding $N$--player game. Then, we show that all convergent sequences of approximate $closed$--$loop$ Nash equilibria, when $N \to \infty,$ converge to $measure$--$valued$ MFG equilibria. And conversely, any $measure$--$valued$ MFG equilibrium is the limit of a sequence of approximate $closed$--$loop$ Nash equilibria. In other words, $measure$--$valued$ MFG equilibria are the accumulation points of the approximate $closed$--$loop$ Nash equilibria. Previous work has shown that $measure$--$valued$ MFG equilibria are the accumulation points of the approximate $open$--$loop$ Nash equilibria. Therefore, we obtain that the limits of approximate $closed$--$loop$ Nash equilibria and approximate $open$--$loop$ Nash equilibria are the same. In the second part, we deal with the MFC setting. After recalling the $closed$--$loop$ and $open$--$loop$ formulations of the MFC problem, we prove that they are equivalent. We also provide some convergence results related to approximate $closed$--$loop$ Pareto equilibria.


title: Geometric generalized Wronskians. Applications in intermediate hyperbolicity and foliation theory

abstract: In this paper, we introduce a sub-family of the usual generalized Wronskians, that we call geometric generalized Wronskians. It is well-known that one can test linear dependance of holomorphic functions (of several variables) via the identical vanishing of generalized Wronskians. We show that such a statement remains valid if one tests the identical vanishing only on geometric generalized Wronskians. It turns out that geometric generalized Wronskians allow to define intrinsic objects on projective varieties polarized with an ample line bundle: in this setting, the lack of existence of global functions is compensated by global sections of powers of the fixed ample line bundle. Geometric generalized Wronskians are precisely defined so that their local evaluations on such global sections globalize up to a positive twist by the ample line bundle. We then give three applications of the construction of geometric generalized Wronskians: one in intermediate hyperbolicity, and two in foliation theory. In intermediate hyperbolicity, we show the algebraic degeneracy of holomorphic maps from C p to a Fermat hypersurface in P N of degree $\delta$ > (N + 1)(N -- p): this interpolates between two well-known results, namely for p = 1 (first proved via Nevanlinna theory) and p = N -- 1 (in which case the Fermat hypersurface is of general type). The first application in foliation theory provides a criterion for algebraic integrability of leaves of foliations: our criterion is not optimal in view of current knowledges, but has the advantage of having an elementary proof. Our second application deals with positivity properties of adjoint line bundles of the form K F + L, where K F is the canonical bundle of a regular foliation F on a smooth projective variety X, and where L is an ample line bundle on X.


title: Rollout event-triggered control: reconciling event- and time-triggered control

abstract: Event-triggered control (ETC) and time-triggered control (TTC), the classical concepts to determine the transmission instants for networked control systems, each come with drawbacks: It is difficult to tune ETC such that a certain bandwidth is respected, whereas TTC cannot adapt the sampling interval to the current state of the control system. In this article, we provide an overview over rollout ETC, a method aimed at reconciling the advantages of ETC and TTC. We unite two variants of rollout ETC under a common framework and present conditions for convergence and compliance with a predefined bandwidth limit. Furthermore, we demonstrate that rollout ETC satisfies a performance bound and that it allows for a very flexible transmission scheduling similar to classical ETC. The mentioned beneficial properties are illustrated through extensive numerical simulations.


title: Extracting functional programs from Coq, in Coq

abstract: We implement extraction of Coq programs to functional languages based on MetaCoq's certified erasure. We extend the MetaCoq erasure output language with typing information and use it as an intermediate representation, which we call $\lambda^T_\square$. We complement the extraction functionality with a full pipeline that includes several standard transformations (eta-expansion, inlining, etc) implemented in a proof-generating manner along with a verified optimisation pass removing unused arguments. We prove the pass correct wrt. a conventional call-by-value operational semantics of functional languages. From the optimised $\lambda^T_\square$ representation, we obtain code in two functional smart contract languages (Liquidity and CameLIGO), the functional language Elm, and a subset of the multi-paradigm language for systems programming Rust. Rust is currently gaining popularity as a language for smart contracts, and we demonstrate how our extraction can be used to extract smart contract code for the Concordium network. The development is done in the context of the ConCert framework that enables smart contract verification. We contribute with two verified real-world smart contracts (boardroom voting and escrow), which we use, among other examples, to exemplify the applicability of the pipeline. In addition, we develop a verified web application and extract it to fully functional Elm code. In total, this gives us a way to write dependently typed programs in Coq, verify, and then extract them to several target languages while retaining a small trusted computing base of only MetaCoq and the pretty-printers into these languages.


title: Efficient and Generic Interactive Segmentation Framework to Correct Mispredictions during Clinical Evaluation of Medical Images

abstract: Semantic segmentation of medical images is an essential first step in computer-aided diagnosis systems for many applications. However, given many disparate imaging modalities and inherent variations in the patient data, it is difficult to consistently achieve high accuracy using modern deep neural networks (DNNs). This has led researchers to propose interactive image segmentation techniques where a medical expert can interactively correct the output of a DNN to the desired accuracy. However, these techniques often need separate training data with the associated human interactions, and do not generalize to various diseases, and types of medical images. In this paper, we suggest a novel conditional inference technique for DNNs which takes the intervention by a medical expert as test time constraints and performs inference conditioned upon these constraints. Our technique is generic can be used for medical images from any modality. Unlike other methods, our approach can correct multiple structures simultaneously and add structures missed at initial segmentation. We report an improvement of 13.3, 12.5, 17.8, 10.2, and 12.4 times in user annotation time than full human annotation for the nucleus, multiple cells, liver and tumor, organ, and brain segmentation respectively. We report a time saving of 2.8, 3.0, 1.9, 4.4, and 8.6 fold compared to other interactive segmentation techniques. Our method can be useful to clinicians for diagnosis and post-surgical follow-up with minimal intervention from the medical expert. The source-code and the detailed results are available here [1].


title: Adjusting PageRank parameters and Comparing results

abstract: The effect of adjusting damping factor {\alpha} and tolerance {\tau} on iterations needed for PageRank computation is studied here. Relative performance of PageRank computation with L1, L2, and L{\infty} norms used as convergence check, are also compared with six possible mean ratios. It is observed that increasing the damping factor {\alpha} linearly increases the iterations needed almost exponentially. On the other hand, decreasing the tolerance {\tau} exponentially decreases the iterations needed almost exponentially. On average, PageRank with L{\infty} norm as convergence check is the fastest, quickly followed by L2 norm, and then L1 norm. For large graphs, above certain tolerance {\tau} values, convergence can occur in a single iteration. On the contrary, below certain tolerance {\tau} values, sensitivity issues can begin to appear, causing computation to halt at maximum iteration limit without convergence. The six mean ratios for relative performance comparison are based on arithmetic, geometric, and harmonic mean, as well as the order of ratio calculation. Among them GM-RATIO, geometric mean followed by ratio calculation, is found to be most stable, followed by AM-RATIO.


title: AI-based Aortic Vessel Tree Segmentation for Cardiovascular Diseases Treatment: Status Quo

abstract: The aortic vessel tree is composed of the aorta and its branching arteries, and plays a key role in supplying the whole body with blood. Aortic diseases, like aneurysms or dissections, can lead to an aortic rupture, whose treatment with open surgery is highly risky. Therefore, patients commonly undergo drug treatment under constant monitoring, which requires regular inspections of the vessels through imaging. The standard imaging modality for diagnosis and monitoring is computed tomography (CT), which can provide a detailed picture of the aorta and its branching vessels if completed with a contrast agent, called CT angiography (CTA). Optimally, the whole aortic vessel tree geometry from consecutive CTAs is overlaid and compared. This allows not only detection of changes in the aorta, but also of its branches, caused by the primary pathology or newly developed. When performed manually, this reconstruction requires slice by slice contouring, which could easily take a whole day for a single aortic vessel tree, and is therefore not feasible in clinical practice. Automatic or semi-automatic vessel tree segmentation algorithms, however, can complete this task in a fraction of the manual execution time and run in parallel to the clinical routine of the clinicians. In this paper, we systematically review computing techniques for the automatic and semi-automatic segmentation of the aortic vessel tree. The review concludes with an in-depth discussion on how close these state-of-the-art approaches are to an application in clinical practice and how active this research field is, taking into account the number of publications, datasets and challenges.


title: Fast Algorithms and Error Analysis of Caputo Derivatives with Small Factional Orders

abstract: In this paper, we investigate fast algorithms in the small fraction order regime to approximate the Caputo derivative $^C_0D_t^\alpha u(t)$ when $\alpha$ is small. We focus on two fast algorithms, i.e. FIR and FIDR, both relying on the sum-of-exponential approximation to reduce the cost of evaluating the history part. FIR is the numerical scheme originally proposed in [16], and FIDR is an alternative scheme proposed in [26], and we show that the latter is superior when $\alpha$ is small. With quantitative estimates, we prove that given a certain error threshold, the computational cost of evaluating the history part of the Caputo derivative can be decreased as $\alpha$ gets small. Hence, only minimal cost for the fast evaluation is required in the small $\alpha$ regime, which matches prevailing protocols in engineering practice. We also present improved stability and error analysis of FIDR for solving linear fractional diffusion equations, which achieves clear dependence of the error bound on the fraction order $\alpha$. Finally, we carry out systematic numerical studies for the performances of both FIR and FIDR schemes, where we explore the trade-off between accuracy and efficiency when $\alpha$ is small.


title: Controlled acceleration of GeV electron beams in an all-optical plasma waveguide

abstract: Laser-plasma accelerators produce electric fields of the order of 100 GV/m, more than 1000 times larger than radio-frequency accelerators. Thanks to this unique field strength, they appear as a promising path to generate electron beams beyond the TeV, for high-energy physics. Yet, large electric fields are of little benefit if they are not maintained over a long distance. It is therefore of the utmost importance to guide the ultra-intense laser pulse that drives the accelerator. Reaching very high energies is equally useless if the properties of the electron beam change completely shot to shot. While present state-of-the-art laser-plasma accelerators can already separately address guiding and control challenges by tweaking the plasma structures, the production of beams combining high quality and high energy is yet to be demonstrated. Here we use a new approach for guiding the laser, and combined it with a controlled injection technique to demonstrate the reliable and efficient acceleration of high-quality electron beams up to 1.1 GeV, from a 50 TW-class laser.


title: Learning to Rank Ace Neural Architectures via Normalized Discounted Cumulative Gain

abstract: One of the key challenges in Neural Architecture Search (NAS) is to efficiently rank the performances of architectures. The mainstream assessment of performance rankers uses ranking correlations (e.g., Kendall's tau), which pay equal attention to the whole space. However, the optimization goal of NAS is identifying top architectures while paying less attention on other architectures in the search space. In this paper, we show both empirically and theoretically that Normalized Discounted Cumulative Gain (NDCG) is a better metric for rankers. Subsequently, we propose a new algorithm, AceNAS, which directly optimizes NDCG with LambdaRank. It also leverages weak labels produced by weight-sharing NAS to pre-train the ranker, so as to further reduce search cost. Extensive experiments on 12 NAS benchmarks and a large-scale search space demonstrate that our approach consistently outperforms SOTA NAS methods, with up to 3.67% accuracy improvement and 8x reduction on search cost.


title: Two New Low Rank Tensor Completion Methods Based on Sum Nuclear Norm

abstract: The low rank tensor completion (LRTC) problem has attracted great attention in computer vision and signal processing. How to acquire high quality image recovery effect is still an urgent task to be solved at present. This paper proposes a new tensor $L_{2,1}$ norm minimization model (TLNM) that integrates sum nuclear norm (SNN) method, differing from the classical tensor nuclear norm (TNN)-based tensor completion method, with $L_{2,1}$ norm and Qatar Riyal decomposition for solving the LRTC problem. To improve the utilization rate of the local prior information of the image, a total variation (TV) regularization term is introduced, resulting in a new class of tensor $L_{2,1}$ norm minimization with total variation model (TLNMTV). Both proposed models are convex and therefore have global optimal solutions. Moreover, we adopt the Alternating Direction Multiplier Method (ADMM) to obtain the closed-form solution of each variable, thus ensuring the feasibility of the algorithm. Numerical experiments show that the two proposed algorithms are convergent and outperform compared methods. In particular, our method significantly outperforms the contrastive methods when the sampling rate of hyperspectral images is 2.5\%.


title: The young massive stellar cluster Westerlund 1 in $\gamma$ rays as seen with H.E.S.S

abstract: Massive stellar clusters have recently been hypothesised as candidates for the acceleration of hadronic cosmic rays up to PeV energies. Previously, the H.E.S.S. Collaboration has reported about very extended $\gamma$-ray emission around Westerlund 1, a massive young stellar cluster in the Milky Way. In this contribution we present an updated analysis that employs a new analysis technique and is based on a much larger data set, allowing us to constrain better the morphology and the energy spectrum of the emission. The analysis technique used is a three-dimensional likelihood analysis, which is especially well suited for largely extended sources. The origin of the $\gamma$-ray emission will be discussed in light of multi-wavelength observations.


title: MmWave Radar and Vision Fusion for Object Detection in Autonomous Driving: A Review

abstract: With autonomous driving developing in a booming stage, accurate object detection in complex scenarios attract wide attention to ensure the safety of autonomous driving. Millimeter wave (mmWave) radar and vision fusion is a mainstream solution for accurate obstacle detection. This article presents a detailed survey on mmWave radar and vision fusion based obstacle detection methods. First, we introduce the tasks, evaluation criteria, and datasets of object detection for autonomous driving. The process of mmWave radar and vision fusion is then divided into three parts: sensor deployment, sensor calibration, and sensor fusion, which are reviewed comprehensively. Specifically, we classify the fusion methods into data level, decision level, and feature level fusion methods. In addition, we introduce three-dimensional(3D) object detection, the fusion of lidar and vision in autonomous driving and multimodal information fusion, which are promising for the future. Finally, we summarize this article.


title: Testing charge-radius coupling of the composite Higgs boson at hadron colliders

abstract: We explore the collider relevance of a charge-radius coupling among light mesons in composite Higgs models. In particular, we focus of a coupling of the photon to the composite Higgs and a composite singlet, arising from isospin violation in the underlying theory. This coupling offers a deep probe of the composite nature of the Higgs mechanism, being sensitive to the electromagnetic and weak isospin structure of its constituents. The main collider effect consists in the production of the Higgs boson in association with a light composite pseudo-scalar. We present an exploratory cut-and-count analysis at hadron colliders, like the LHC, showing that an efficient background suppression can be achieved. More sophisticated techniques, however, are necessary to select a sufficient number of signal events, due to the small production rates. This justifies further investigation of this channel, which is highly complementary to other searches for compositeness in the Higgs sector.


title: Soft mode anisotropy in negative thermal expansion material ReO$_3$

abstract: We use a symmetry-motivated approach to analyse neutron pair distribution function data to investigate the mechanism of negative thermal expansion (NTE) in ReO$_3$. This analysis shows that the local structure of ReO$_3$ is dominated by an in-phase octahedral tilting mode and that the octahedral units are far less flexible to scissoring type deformations than the octahedra in the related compound ScF$_3$. These results support the idea that structural flexibility is an important factor in NTE materials, allowing the phonon modes that drive a volume contraction of the lattice to occupy a greater volume in reciprocal space. The lack of flexibility in ReO$_3$ restricts the NTE-driving phonons to a smaller region of reciprocal space, limiting the magnitude and temperature range of NTE. In addition, we investigate the thermal expansion properties of the material at high temperature and do not find the reported second NTE region. Finally, we show that the local fluctuations, even at elevated temperatures, respect the symmetry and order parameter direction of the observed $P4/mbm$ high pressure phase of ReO$_3$. The result indicates that the motions associated with rigid unit modes are highly anisotropic in these systems.


title: Calculus, Gauge Theory and Noncommutative Worlds

abstract: This paper shows how gauge theoretic structures arise naturally in a non-commutative calculus. Aspects of gauge theory, Hamiltonian mechanics and quantum mechanics arise naturally in the mathematics of a non-commutative framework for calculus and differential geometry. We show how a covariant version of the Levi-Civita connection arises naturally in this commutator calculus. This connection satisfies the formula $$\Gamma_{kij} + \Gamma_{ikj} = \nabla_{j}g_{ik} = \partial_{j} g_{ik} + [g_{ik}, A_j].$$ and so is exactly a generalization of the connection defined by Hermann Weyl in his original gauge theory. In the non-commutative world $\cal N$ the metric indeed has a wider variability than the classical metric and its angular holonomy. Weyl's idea was to work with such a wider variability of the metric. The present formalism provides a new context for Weyl's original idea.


title: An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures

abstract: With the rapid development of neural network architectures and speech processing models, singing voice synthesis with neural networks is becoming the cutting-edge technique of digital music production. In this work, in order to explore how to improve the quality and efficiency of singing voice synthesis, in this work, we use encoder-decoder neural models and a number of vocoders to achieve singing voice synthesis. We conduct experiments to demonstrate that the models can be trained using voice data with pitch information, lyrics and beat information, and the trained models can produce smooth, clear and natural singing voice that is close to real human voice. As the models work in the end-to-end manner, they allow users who are not domain experts to directly produce singing voice by arranging pitches, lyrics and beats.


title: Observing Supernova Neutrino Light Curves with Super-Kamiokande. II. Impact of the Nuclear Equation of State

abstract: The late-time evolution of the neutrino event rate from supernovae is evaluated for Super-Kamiokande using simulated results of proto-neutron star (PNS) cooling. In the present work we extend the result of Suwa et al. (2019) [arXiv:1904.09996], which studied the dependence on the PNS mass, but focus on the impact of the nuclear equation of state (EOS). We find that the neutrino event rate depends on both the high-density and low-density EOS, where the former determines the radius of the PNS and the latter affects its surface temperature. Based on the present evaluation of the neutrino event rate we propose a new analysis method to extract the time variability of the neutrino average energy taking into account the statistical error in the observation.


title: Logarithmic divergent specific heat from high-temperature series expansions: application to the two-dimensional XXZ Heisenberg model

abstract: We present an interpolation method for the specific heat $c_v(T)$, when there is a phase transition with a logarithmic singularity in $c_v$ at a critical temperature $T=T_c$. The method uses the fact that $c_v$ is constrained both by its high temperature series expansion, and just above $T_c$ by the type of singularity. We test our method on the ferro and antiferromagnetic Ising model on the two-dimensional square, triangular, honeycomb, and kagome lattices, where we find an excellent agreement with the exact solutions. We then explore the XXZ Heisenberg model, for which no exact results are available.


title: Inspecting the Process of Bank Credit Rating via Visual Analytics

abstract: Bank credit rating classifies banks into different levels based on publicly disclosed and internal information, serving as an important input in financial risk management. However, domain experts have a vague idea of exploring and comparing different bank credit rating schemes. A loose connection between subjective and quantitative analysis and difficulties in determining appropriate indicator weights obscure understanding of bank credit ratings. Furthermore, existing models fail to consider bank types by just applying a unified indicator weight set to all banks. We propose RatingVis to assist experts in exploring and comparing different bank credit rating schemes. It supports interactively inferring indicator weights for banks by involving domain knowledge and considers bank types in the analysis loop. We conduct a case study with real-world bank data to verify the efficacy of RatingVis. Expert feedback suggests that our approach helps them better understand different rating schemes.


title: Exploring Explainability: A Definition, a Model, and a Knowledge Catalogue

abstract: The growing complexity of software systems and the influence of software-supported decisions in our society awoke the need for software that is transparent, accountable, and trustworthy. Explainability has been identified as a means to achieve these qualities. It is recognized as an emerging non-functional requirement (NFR) that has a significant impact on system quality. However, in order to incorporate this NFR into systems, we need to understand what explainability means from a software engineering perspective and how it impacts other quality aspects in a system. This allows for an early analysis of the benefits and possible design issues that arise from interrelationships between different quality aspects. Nevertheless, explainability is currently under-researched in the domain of requirements engineering and there is a lack of conceptual models and knowledge catalogues that support the requirements engineering process and system design. In this work, we bridge this gap by proposing a definition, a model, and a catalogue for explainability. They illustrate how explainability interacts with other quality aspects and how it may impact various quality dimensions of a system. To this end, we conducted an interdisciplinary Systematic Literature Review and validated our findings with experts in workshops.


title: Interpretable Summaries of Black Box Incident Triaging with Subgroup Discovery

abstract: The need of predictive maintenance comes with an increasing number of incidents reported by monitoring systems and equipment/software users. In the front line, on-call engineers (OCEs) have to quickly assess the degree of severity of an incident and decide which service to contact for corrective actions. To automate these decisions, several predictive models have been proposed, but the most efficient models are opaque (say, black box), strongly limiting their adoption. In this paper, we propose an efficient black box model based on 170K incidents reported to our company over the last 7 years and emphasize on the need of automating triage when incidents are massively reported on thousands of servers running our product, an ERP. Recent developments in eXplainable Artificial Intelligence (XAI) help in providing global explanations to the model, but also, and most importantly, with local explanations for each model prediction/outcome. Sadly, providing a human with an explanation for each outcome is not conceivable when dealing with an important number of daily predictions. To address this problem, we propose an original data-mining method rooted in Subgroup Discovery, a pattern mining technique with the natural ability to group objects that share similar explanations of their black box predictions and provide a description for each group. We evaluate this approach and present our preliminary results which give us good hope towards an effective OCE's adoption. We believe that this approach provides a new way to address the problem of model agnostic outcome explanation.


title: Heat emitting damage in skin: a thermal pathway for mechanical algesia

abstract: Mechanical pain (or mechanical algesia) can both be a vital mechanism warning us for dangers or an undesired medical symptom important to mitigate. Thus, a comprehensive understanding of the different mechanisms of this type of pain is paramount. In this work, we study the tearing of porcine skin in front of an infrared camera, and show that mechanical injuries in biological tissues can generate enough heat to stimulate the neural network. In particular, we report local temperature elevations of up to 24 degrees Celsius around fast cutaneous ruptures, which shall exceed the threshold of the neural nociceptors usually involved in thermal pain. Slower fractures exhibit lower temperature elevations, and we characterise such dependency to the damaging rate. Overall, we bring experimental evidence of a novel - thermal - pathway for direct mechanical algesia. In addition, the implications of this pathway are discussed for mechanical hyperalgesia as well, in which a role of the cutaneous thermal sensors has long been suspected. We also show that thermal dissipation shall actually account for a significant portion of the total skin's fracture energy, making temperature monitoring an efficient way to detect biological damages.


title: Feature Detection for Hand Hygiene Stages

abstract: The process of hand washing involves complex hand movements. There are six principal sequential steps for washing hands as per the World Health Organisation (WHO) guidelines. In this work, a detailed description of an aluminium rig construction for creating a robust hand-washing dataset is discussed. The preliminary results with the help of image processing and computer vision algorithms for hand pose extraction and feature detection such as Harris detector, Shi-Tomasi and SIFT are demonstrated. The hand hygiene pose- Rub hands palm to palm was captured as an input image for running all the experiments. The future work will focus upon processing the video recordings of hand movements captured and applying deep-learning solutions for the classification of hand-hygiene stages.


title: Tell me a story about yourself: The words of shopping experience and self-satisfaction

abstract: In this paper we investigate the verbal expression of shopping experience obtained by a sample of customers asked to freely verbalize how they felt when entering a store. Using novel tools of Text Mining and Social Network Analysis, we analyzed the interviews to understand the connection between the emotions aroused during the shopping experience, satisfaction and the way participants link these concepts to self-satisfaction and self-identity. The results show a prominent role of emotions in the discourse about the shopping experience before purchasing and an inward-looking connection to the self. Our results also suggest that modern retail environment should enhance the hedonic shopping experience in terms of fun, fantasy, moods, and emotions.


title: Local distinction, quadratic base change and automorphic induction for $\mathrm{GL_n}$

abstract: Behind this sophisticated title hides an elementary exercise on Clifford theory for index two subgroups and self-dual/conjugate-dual representations. When applied to semi-simple representations of the Weil-Deligne group $W'_F$ of a non Archimedean local field $F$, and further translated in terms of representations of $\mathrm{GL_n}(F)$ via the local Langlands correspondence when $F$ has characteristic zero, it yields various statements concerning the behaviour of different types of distinction under quadratic base change and automorphic induction. When $F$ has residual characteristic different from $2$, combining of one of the simple results that we obtain with the tiviality of conjugate-orthogonal root numbers (proved by Gan, Gross and Prasad), we recover without using the LLC a result of Serre on the parity of the Artin conductor of orthogonal representations of $W'_F$. On the other hand we discuss its parity for symplectic representations using the LLC and the Prasad and Takloo-Bighash conjecture.


title: Conditional Separation as a Binary Relation. A Coq Assisted Proof

abstract: The concept of d-separation holds a pivotal role in causality theory, serving as a fundamental tool for deriving conditional independence properties from causal graphs. Pearl defined the d-separation of two subsets conditionally on a third one. In this study, we present a novel perspective by showing i) how the d-separation can be extended beyond acyclic graphs, possibly infinite, and ii) how it can be expressed and characterized as a binary relation between vertices. Compared to the typical perspectives in causality theory, our equivalence opens the door to more compact and computational proofing techniques, because the language of binary relations is well adapted to equational reasoning. Additionally, and of independent interest, the proofs of the results presented in this paper are checked with the Coq proof assistant.


title: On set-theoretic Yang-Baxter cohomology groups of cyclic biquandles

abstract: We determine the Betti numbers for the (degenerate and normalized) set-theoretic Yang-Baxter (co)homology groups of cyclic biquandles and estimate their torsion subgroups. This partially settles the conjecture presented by Przytycki, Vojtechovsky, and Yang. We also obtain cocycles which are representatives of the elements of a basis for the free part of the cohomology group of a cyclic biquandle.


title: SpecMix : A Mixed Sample Data Augmentation method for Training withTime-Frequency Domain Features

abstract: A mixed sample data augmentation strategy is proposed to enhance the performance of models on audio scene classification, sound event classification, and speech enhancement tasks. While there have been several augmentation methods shown to be effective in improving image classification performance, their efficacy toward time-frequency domain features of audio is not assured. We propose a novel audio data augmentation approach named "Specmix" specifically designed for dealing with time-frequency domain features. The augmentation method consists of mixing two different data samples by applying time-frequency masks effective in preserving the spectral correlation of each audio sample. Our experiments on acoustic scene classification, sound event classification, and speech enhancement tasks show that the proposed Specmix improves the performance of various neural network architectures by a maximum of 2.7%.


title: Road Scenes Segmentation Across Different Domains by Disentangling Latent Representations

abstract: Deep learning models obtain impressive accuracy in road scenes understanding, however they need a large quantity of labeled samples for their training. Additionally, such models do not generalise well to environments where the statistical properties of data do not perfectly match those of training scenes, and this can be a significant problem for intelligent vehicles. Hence, domain adaptation approaches have been introduced to transfer knowledge acquired on a label-abundant source domain to a related label-scarce target domain. In this work, we design and carefully analyse multiple latent space-shaping regularisation strategies that work together to reduce the domain shift. More in detail, we devise a feature clustering strategy to increase domain alignment, a feature perpendicularity constraint to space apart features belonging to different semantic classes, including those not present in the current batch, and a feature norm alignment strategy to separate active and inactive channels. In addition, we propose a novel evaluation metric to capture the relative performance of an adapted model with respect to supervised training. We validate our framework in driving scenarios, considering both synthetic-to-real and real-to-real adaptation, outperforming previous feature-level state-of-the-art methods on multiple road scenes benchmarks.


title: Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

abstract: Extending the popular Answer Set Programming (ASP) paradigm by introspective reasoning capacities has received increasing interest within the last years. Particular attention is given to the formalism of epistemic logic programs (ELPs) where standard rules are equipped with modal operators which allow to express conditions on literals for being known or possible, i.e., contained in all or some answer sets, respectively. ELPs thus deliver multiple collections of answer sets, known as world views. Employing ELPs for reasoning problems so far has mainly been restricted to standard decision problems (complexity analysis) and enumeration (development of systems) of world views. In this paper, we take a next step and contribute to epistemic logic programming in two ways: First, we establish quantitative reasoning for ELPs, where the acceptance of a certain set of literals depends on the number (proportion) of world views that are compatible with the set. Second, we present a novel system that is capable of efficiently solving the underlying counting problems required to answer such quantitative reasoning problems. Our system exploits the graph-based measure treewidth and works by iteratively finding and refining (graph) abstractions of an ELP program. On top of these abstractions, we apply dynamic programming that is combined with utilizing existing search-based solvers like (e)clingo for hard combinatorial subproblems that appear during solving. It turns out that our approach is competitive with existing systems that were introduced recently. This work is under consideration for acceptance in TPLP.


title: Behavior of Solutions Nonlinear Reaction-Diffusion PDE's Relation to Dynamics of Propagation of Cancer

abstract: In this paper, we propose a new mathematical model nonlinear reaction-diffusion PDE's describing the dynamics of propagation of cancer. Here the mixed problem for the proposed PDE's is investigated and by applying obtained results conclusions on the dynamics of propagation of cancer are drawn. These problems have nonlocal nonlinearity with variable exponents and possess special properties: these can be to remain either dissipative all time or become non-dissipative after a finite time. Here the solvability and behavior of solutions both when problems are yet dissipative and when become nondissipative are proved. It is shown that if the studied process gets become nondissipative can have various states, e.g. an infinite number of different unstable solutions with varying speeds, in addition, their propagation can become chaotic. The behavior of these solutions is analyzed in detail and it is explained how space-time chaos can arise. Investigation of this mathematics model allows explaining the dynamics of propagation of cancer, which are provided here as conclusions for each case.


title: An iterative exact algorithm for the weighted fair sequences problem

abstract: In this work, we present a new iterative exact solution algorithm for the weighted fair sequences problem, which is a recently introduced NP-hard sequencing problem with applications in diverse areas such as TV advertisement scheduling, periodic machine maintenance and real-time scheduling. In the problem we are given an upper bound on the allowed solution sequence length and a list of symbols. For each symbols, there is a positive weight and a number, which gives the minimum times the symbol has to occur in a feasible solution sequence. The goal is to find a feasible sequence, which minimizes the maximum weight-distance product, which is calculated for each consecutive appearance of each symbol in the sequence, including the last and first appearance in the sequence, i.e., the sequence is considered to be circular for the calculation of the objective function. Our proposed solution algorithm is based on a new mixed-integer programming model for the problem for a fixed sequence length. The model is enhanced with valid inequalities and variable fixings. We also develop an extended model, which allows the definition of an additional set of valid inequalities and present additional results which can allow us to skip the solution of the mixed-integer program for some sequence lengths. We conduct a computational study on the instances from literature to assess the efficiency of our newly proposed solution approach. Our approach manages to solve 404 of 440 instances to optimality within the given timelimit, most of them within five minutes. The previous best existing solution approach for the problem only managed to solve 229 of these instances, and its exactness depends on an unproven conjecture. Moreover, our approach is up to two magnitudes faster compared to this best existing solution approach.


title: Noncontact friction: Role of phonon damping and its nonuniversality

abstract: While obtaining theoretical predictions for dissipation during sliding motion is a difficult task, one regime that allows for analytical results is the so-called noncontact regime, where a probe is weakly interacting with the surface over which it moves. Studying this regime for a model crystal, we extend previously obtained analytical results and confirm them quantitatively via particle based computer simulations. Accessing the subtle regime of weak coupling in simulations is possible via use of Green-Kubo relations. The analysis allows to extract and compare the two paradigmatic mechanisms that have been found to lead to dissipation: phonon radiation, prevailing even in a purely elastic solid, and phonon damping, e.g., caused by viscous motion of crystal atoms. While phonon radiation is dominant at large probe-surface distances, phonon damping dominates at small distances. Phonon radiation is furthermore a pairwise additive phenomenon so that the dissipation due to interaction with different parts (areas) of the surface adds up. This additive scaling results from a general one-to-one mapping between the mean probe-surface force and the friction due to phonon radiation, irrespective of the nature of the underlying pair interaction. In contrast, phonon damping is strongly nonadditive, and no such general relation exists. We show that for certain cases, the dissipation can even {\it decrease} with increasing surface area the probe interacts with. The above properties, which are rooted in the spatial correlations of surface fluctuations, are expected to have important consequences when interpreting experimental measurements, as well as scaling with system size.


title: The Influence of Age and Gender Information on the Diagnosis of Diabetic Retinopathy: Based on Neural Networks

abstract: This paper proposes the importance of age and gender information in the diagnosis of diabetic retinopathy. We utilized Deep Residual Neural Networks (ResNet) and Densely Connected Convolutional Networks (DenseNet), which are proven effective on image classification problems and the diagnosis of diabetic retinopathy using the retinal fundus images. We used the ensemble of several classical networks and decentralized the training so that the network was simple and avoided overfitting. To observe whether the age and gender information could help enhance the performance, we added the information before the dense layer and compared the results with the results that did not add age and gender information. We found that the test accuracy of the network with age and gender information was 2.67% higher than that of the network without age and gender information. Meanwhile, compared with gender information, age information had a better help for the results.


title: Specifics of formation tax revenues and ways to improve it in Georgia

abstract: In the research there is reviewed the peculiarities of the formation of tax revenues of the state budget, analysis of the recent past and present periods of tax system in Georgia, there is reviewed the influence of existing factors on the revenues, as well as the role and the place of direct and indirect taxes in the state budget revenues. In addition, the measures of stimulating action on formation of tax revenues and their impact on the state budget revenues are established. At the final stage, there are examples of foreign developed countries, where the tax system is perfectly developed, where various stimulating measures are successfully stimulating and consequently it promotes mobilization of the amount of money required in the state budget. The exchange of foreign experience is very important for Georgia, the existing tax model that is based on foreign experience is greatly successful. For the formation of tax policy, it is necessary to take into consideration all the factors affecting on it, a complex analysis of the tax system and the steps that will be really useful and perspective for our country.


title: Green Software Lab: Towards an Engineering Discipline for Green Software

abstract: This report describes the research goals and results of the Green Software Lab (GSL) research project. This was a project funded by Funda\c{c}\~ao para a Ci\^encia e a Tecnologia (FCT) -- the Portuguese research foundation -- under reference POCI-01-0145-FEDER-016718, that ran from January 2016 till July 2020. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on July 2020. It describes the goals of the project, and the different research tasks presenting the deliverables of each of them. It also presents the management and result dissemination work performed during the project's execution. The document includes also a self assessment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.


title: On Gorenstein Fano Threefolds with an Action of a Two-Dimensional Torus

abstract: We classify the non-toric, $\mathbb Q$-factorial, Gorenstein, log terminal Fano threefolds of Picard number one that admit an effective action of a two-dimensional algebraic torus.


title: Tree-Level Color-Kinematics Duality Implies Loop-Level Color-Kinematics Duality up to Counterterms

abstract: Color-kinematics (CK) duality is a remarkable symmetry of gluon amplitudes that is the key to the double copy which links gauge theory and gravity amplitudes. Here we show that the complete Yang-Mills action itself, including its gauge-fixing and ghost sectors required for quantization, can be recast to manifest CK duality using a series of field redefinitions and gauge choices. Crucially, the resulting loop-level integrands are automatically CK-dual, up to potential Jacobian counterterms required for unitarity. While these counterterms may break CK duality, they exist, are unique and, since the tree-level is unaffected, may be deduced from the action or the integrands. Consequently, CK duality is a symmetry of the action like any other symmetry, and it is anomalous in a controlled and mostly harmless sense. Our results apply to any theory with CK-dual tree-level amplitudes. We also show that two CK duality-manifesting parent actions may be factorized and fused into a consistent quantizable offspring, with the double copy as the prime example. This provides a direct proof of the double copy to all loop orders.


title: Superconductivity in silicon: a review

abstract: Silicon, one of the most abundant elements found on Earth, has been an excellent choice of the semiconductor industry for ages. Despite it's remarkable applications in modern semiconductor-based electronic devices, the potential of cubic silicon in superconducting electronics remained a challenge because even heavily doped silicon crystals do not superconduct under normal conditions. It is apparent that if superconductivity can be introduced in cubic silicon, that will bring a breakthrough in low-dissipation electronic circuitry. Motivated by this, attempts have been made by several research groups to induce superconductivity in silicon through a number of different routes. Some of the other structural phases of silicon like $\beta$-Sn and simple hexagonal are, however, known to display superconductivity. In the present review article, various theoretical and experimental aspects of superconductivity in silicon are discussed. Superconductivity in different phases and different structural forms of silicon are also reviewed. We also highlight the potential of superconducting phases of silicon for technological applications in super-conducting nano-electronics.


title: Simpler is Better: Few-shot Semantic Segmentation with Classifier Weight Transformer

abstract: A few-shot semantic segmentation model is typically composed of a CNN encoder, a CNN decoder and a simple classifier (separating foreground and background pixels). Most existing methods meta-learn all three model components for fast adaptation to a new class. However, given that as few as a single support set image is available, effective model adaption of all three components to the new class is extremely challenging. In this work we propose to simplify the meta-learning task by focusing solely on the simplest component, the classifier, whilst leaving the encoder and decoder to pre-training. We hypothesize that if we pre-train an off-the-shelf segmentation model over a set of diverse training classes with sufficient annotations, the encoder and decoder can capture rich discriminative features applicable for any unseen classes, rendering the subsequent meta-learning stage unnecessary. For the classifier meta-learning, we introduce a Classifier Weight Transformer (CWT) designed to dynamically adapt the supportset trained classifier's weights to each query image in an inductive way. Extensive experiments on two standard benchmarks show that despite its simplicity, our method outperforms the state-of-the-art alternatives, often by a large margin.Code is available on https://github.com/zhiheLu/CWT-for-FSS.


title: Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

abstract: Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge. Probabilistic logical models are a suitable framework to handle uncertain information, and in the last decade many probabilistic logical languages have been proposed, as well as inference and learning systems for them. In the realm of Abductive Logic Programming (ALP), a variety of proof procedures have been defined as well. In this paper, we consider a richer logic language, coping with probabilistic abduction with variables. In particular, we consider an ALP program enriched with integrity constraints `a la IFF, possibly annotated with a probability value. We first present the overall abductive language, and its semantics according to the Distribution Semantics. We then introduce a proof procedure, obtained by extending one previously presented, and prove its soundness and completeness.


title: A statistical approach to knot confinement via persistent homology

abstract: In this paper we study how randomly generated knots occupy a volume of space using topological methods. To this end, we consider the evolution of the first homology of an immersed metric neighbourhood of a knot's embedding for growing radii. Specifically, we extract features from the persistent homology of the Vietoris-Rips complexes built from point clouds associated to knots. Statistical analysis of our data shows the existence of increasing correlations between geometric quantities associated to the embedding and persistent homology based features, as a function of the knots' lengths. We further study the variation of these correlations for different knot types. Finally, this framework also allows us to define a simple notion of deviation from ideal configurations of knots.


title: Performance trade-offs in cyber-physical control applications with multi-connectivity

abstract: Modern communication devices are often equipped with multiple wireless communication interfaces with diverse characteristics. This enables exploiting a form of multi-connectivity known as interface diversity to provide path diversity with multiple communication interfaces. Interface diversity helps to combat the problems suffered by single-interface systems due to error bursts in the link, which are a consequence of temporal correlation in the wireless channel. The length of an error burst is an essential performance indicator for cyber-physical control applications with periodic traffic, as these define the period in which the control link is unavailable. However, the available interfaces must be correctly orchestrated to achieve an adequate trade-off between latency, reliability, and energy consumption. This work investigates how the packet error statistics from different interfaces impacts the overall latency-reliability characteristics and explores mechanisms to derive adequate interface diversity policies. For this, we model the optimization problem as a partially observable Markov Decision Process (POMDP), where the state of each interface is determined by a Gilbert-Elliott model whose parameters are estimated based on experimental measurement traces from LTE and Wi-Fi. Our results show that the POMDP approach provides an all-round adaptable solution, whose performance is only 0.1% below the absolute upper bound, dictated by the optimal policy under the impractical assumption of full observability.


title: 2-minute science: A Science Communication Project for Astrophysics

abstract: Two-minute science (2-minute science) is a science communication project initiated and supported by early-career Greek astrophysicists. With this endeavor, which started in December 2020, we try to bridge the gap between the scientific community and the public. This project is based on the simple idea of writing short articles with an approximate reading time of two minutes. These articles cover several topics and their difficulty scales to cover a broad audience range, from young students to experienced adults. We support the idea of <<ask an expert>> in Astrophysics in Greece, where any reader can pose a question. We offer the appropriate answer either by writing it ourselves or by contacting the field experts from the Greek astronomical society. Furthermore, our previous science communication experience leads us to design educational activities for students and/or adults based on pedagogical means. A successful one was an <<escape-zoom>> titled <<Escape to Other Worlds>>, a digital version of an escape room. Further activities are Astronomy workshops for teenagers, online talks to schools, and our participation in a scientific podcast to trigger the public interest in Astrophysics. We communicate this work through social media, where several thousands of people already follow our work.


title: On the generating functions of pattern-avoiding Motzkin paths

abstract: Using a recursive approach, we show that the generating function for sets of Motzkin paths avoiding a single (not necessarily consecutive) pattern is rational over $x$ and the Catalan generating function $C(x) = \frac{1-\sqrt{1-4x^2}}{2x^2}$, where $x$ keeps track of the length of the path. Moreover, an algorithm is provided for finding the generating function in the more general case of an arbitrary set of patterns. In addition, this algorithm allows us to find a combinatorial specification for pattern-avoiding Motzkin paths, which can be used not only for enumeration, but also for exhaustive and random generation.


title: Absorbing-state phase transition and activated random walks with unbounded capacities

abstract: In this article, we study the existence of an absorbing-state phase transition of an Abelian process that generalises the Activated Random Walk (ARW). Given a vertex transitive $G=(V,E)$, we associate to each site $x \in V$ a capacity $w_x \ge 0$, which describes how many inactive particles $x$ can hold, where $\{w_x\}_{x \in V}$ is a collection of i.i.d random variables. When $G$ is an amenable graph, we prove that if $\mathbb E[w_x]<\infty$, the model goes through an absorbing state phase transition and if $\mathbb E[w_x]=\infty$, the model fixates for all $\lambda>0$. Moreover, in the former case, we provide bounds for the critical density that match the ones available in the classical Activated Random Walk.


title: Identifiable Energy-based Representations: An Application to Estimating Heterogeneous Causal Effects

abstract: Conditional average treatment effects (CATEs) allow us to understand the effect heterogeneity across a large population of individuals. However, typical CATE learners assume all confounding variables are measured in order for the CATE to be identifiable. This requirement can be satisfied by collecting many variables, at the expense of increased sample complexity for estimating CATEs. To combat this, we propose an energy-based model (EBM) that learns a low-dimensional representation of the variables by employing a noise contrastive loss function. With our EBM we introduce a preprocessing step that alleviates the dimensionality curse for any existing learner developed for estimating CATEs. We prove that our EBM keeps the representations partially identifiable up to some universal constant, as well as having universal approximation capability. These properties enable the representations to converge and keep the CATE estimates consistent. Experiments demonstrate the convergence of the representations, as well as show that estimating CATEs on our representations performs better than on the variables or the representations obtained through other dimensionality reduction methods.


title: Moderate deviations of generalized $N$-urn Ehrenfest models

abstract: This paper is a further investigation of the generalized $N$-urn Ehrenfest model introduced in \cite{Xue2020}. A moderate deviation principle from the hydrodynamic limit of the model is derived. The proof of this main result follows a routine procedure introduced in \cite{Kipnis1989}, where a replacement lemma plays the key role. To prove the replacement lemma, the large deviation principle of the model given in \cite{Xue2020} is utilized.


title: The EIHW-GLAM Deep Attentive Multi-model Fusion System for Cough-based COVID-19 Recognition in the DiCOVA 2021 Challenge

abstract: Aiming to automatically detect COVID-19 from cough sounds, we propose a deep attentive multi-model fusion system evaluated on the Track-1 dataset of the DiCOVA 2021 challenge. Three kinds of representations are extracted, including hand-crafted features, image-from-audio-based deep representations, and audio-based deep representations. Afterwards, the best models on the three types of features are fused at both the feature level and the decision level. The experimental results demonstrate that the proposed attention-based fusion at the feature level achieves the best performance (AUC: 77.96%) on the test set, resulting in an 8.05% improvement over the official baseline.