title: Explainable Analysis of Deep Learning Methods for SAR Image Classification

abstract: Deep learning methods exhibit outstanding performance in synthetic aperture radar (SAR) image interpretation tasks. However, these are black box models that limit the comprehension of their predictions. Therefore, to meet this challenge, we have utilized explainable artificial intelligence (XAI) methods for the SAR image classification task. Specifically, we trained state-of-the-art convolutional neural networks for each polarization format on OpenSARUrban dataset and then investigate eight explanation methods to analyze the predictions of the CNN classifiers of SAR images. These XAI methods are also evaluated qualitatively and quantitatively which shows that Occlusion achieves the most reliable interpretation performance in terms of Max-Sensitivity but with a low-resolution explanation heatmap. The explanation results provide some insights into the internal mechanism of black-box decisions for SAR image classification.


title: A crowdsourcing approach to video quality assessment

abstract: The gold standard for measuring video quality is the subjective test, and the most prevalent is the ITU-T Rec. P.910, a lab-based subjective standard in use for the past two decades. However, in practice using ITU-T Rec. P.910 is slow, expensive, and requires a lab, which all create barriers to usage. As a result, most research papers that need to measure video quality don't use ITU-T Rec. P.910 but rather metrics that are not well correlated to subjective opinion. We provide an open-source extension of ITU-T Rec. P.910 based on crowdsourcing principles which address the speed, usage cost, and barrier to usage issues. We implement Absolute Category Rating (ACR), ACR with hidden reference (ACR-HR), Degradation Category Rating (DCR), and Comparison Category Rating (CCR). It includes rater, environment, hardware, and network qualifications, as well as gold and trapping questions to ensure quality. We have validated that the implementation is both accurate and highly reproducible compared to existing ITU-T Rec. P.910 lab studies.


title: Search for periodic emission of five gamma-ray pulsars at the frequency of 111 MHz

abstract: The search for pulsar (periodic) emission of five gamma-ray pulsars was carried out using the summed power spectra and the summed periodograms. No harmonics corresponding to the known pulsar periods were found. The upper estimations of the integral flux density of the pulsars J0357+3205 (<0.5 mJy), J0554+3107 (<0.5 mJy), J1958+2846 (<0.5 mJy), J2021+4026 (<0.4 mJy), and J2055+2539 (<0.55 mJy) is obtained.


title: Upside Risk Effect on Reliability of Microgrids Considering Demand Response Program and COVID-19: An Investigation on Health System and Power System Interactions

abstract: COVID-19 has a vast impact on the power systems considering the customers demand and human resources. During this situation, the utilization of microgrids (MGs) may help the power systems balance the generation and consumption of power, which leads to customer satisfaction. In this paper, the optimal power scheduling of energy sources in an islanded MG by considering the upside risk (UR) is proposed for the very first time. The intended islanded MG consists of various sources such as wind turbine (WT), photovoltaic (PV), diesel generator (DGR), and battery. The goals of this work are minimizing the energy not supplied (ENS) in islanded mode considering the COVID-19s effect and implementing the demand response program (DRP). The difference between target ENS and actual ENS when actual ENS is less than the target is defined as UR. The results indicate that the UR related to the ENS of the islanded MG decreases significantly by slightly increasing the ENS. Moreover, COVID-19 decreases the ENS considerably and has a bigger effect than the DRP.


title: Sign Bit is Enough: A Learning Synchronization Framework for Multi-hop All-reduce with Ultimate Compression

abstract: Traditional one-bit compressed stochastic gradient descent can not be directly employed in multi-hop all-reduce, a widely adopted distributed training paradigm in network-intensive high-performance computing systems such as public clouds. According to our theoretical findings, due to the cascading compression, the training process has considerable deterioration on the convergence performance. To overcome this limitation, we implement a sign-bit compression-based learning synchronization framework, Marsit. It prevents cascading compression via an elaborate bit-wise operation for unbiased sign aggregation and its specific global compensation mechanism for mitigating compression deviation. The proposed framework retains the same theoretical convergence rate as non-compression mechanisms. Experimental results demonstrate that Marsit reduces up to 35% training time while preserving the same accuracy as training without compression.


title: Pyramidal Attention for Saliency Detection

abstract: Salient object detection (SOD) extracts meaningful contents from an input image. RGB-based SOD methods lack the complementary depth clues; hence, providing limited performance for complex scenarios. Similarly, RGB-D models process RGB and depth inputs, but the depth data availability during testing may hinder the model's practical applicability. This paper exploits only RGB images, estimates depth from RGB, and leverages the intermediate depth features. We employ a pyramidal attention structure to extract multi-level convolutional-transformer features to process initial stage representations and further enhance the subsequent ones. At each stage, the backbone transformer model produces global receptive fields and computing in parallel to attain fine-grained global predictions refined by our residual convolutional attention decoder for optimal saliency prediction. We report significantly improved performance against 21 and 40 state-of-the-art SOD methods on eight RGB and RGB-D datasets, respectively. Consequently, we present a new SOD perspective of generating RGB-D SOD without acquiring depth data during training and testing and assist RGB methods with depth clues for improved performance. The code and trained models are available at https://github.com/tanveer-hussain/EfficientSOD2


title: Octave-spanning 1 emission across the visible spectrum from single crystalline 1,3,5,7-tetrakis-($p$-methoxyphenyl)adamantane

abstract: Sustainable efficient light emitter based solely on elements-of-hope are needed to replace current compounds based on less-abundant materials. Functionalized diamondoids are a potential solution for this challenge as they offer efficient, octave-spanning emission across the visible spectrum in their single-crystalline form. Its large quantum efficiency increases towards higher-than-ambient temperatures to beyond 7 %. The stability beyond 200 {\deg}C renders such functionalized diamondoids as sustainable phosphors for LED applications. Detailed structural and theoretical investigations suggest a crucial role of exciton states accompanied by structural modifications (self-trapped excitons) in the emission process.


title: An Exploratory Study of Attestation Mechanisms for Trusted Execution Environments

abstract: Attestation is a fundamental building block to establish trust over software systems. When used in conjunction with trusted execution environments, it guarantees that genuine code is executed even when facing strong attackers, paving the way for adoption in several sensitive application domains. This paper reviews existing remote attestation principles and compares the functionalities of current trusted execution environments as Intel SGX, Arm TrustZone and AMD SEV, as well as emerging RISC-V solutions.


title: Approximating Constraint Manifolds Using Generative Models for Sampling-Based Constrained Motion Planning

abstract: Sampling-based motion planning under task constraints is challenging because the null-measure constraint manifold in the configuration space makes rejection sampling extremely inefficient, if not impossible. This paper presents a learning-based sampling strategy for constrained motion planning problems. We investigate the use of two well-known deep generative models, the Conditional Variational Autoencoder (CVAE) and the Conditional Generative Adversarial Net (CGAN), to generate constraint-satisfying sample configurations. Instead of precomputed graphs, we use generative models conditioned on constraint parameters for approximating the constraint manifold. This approach allows for the efficient drawing of constraint-satisfying samples online without any need for modification of available sampling-based motion planning algorithms. We evaluate the efficiency of these two generative models in terms of their sampling accuracy and coverage of sampling distribution. Simulations and experiments are also conducted for different constraint tasks on two robotic platforms.


title: Background Shielding by Dense Samples in Low-Level Gamma Spectrometry

abstract: In low activity gamma spectrometric measurements of large, dense samples, the bulk sample material shields the HPGe crystal from external background sources. If not accounted for in studies that utilise background-subtraction methods, this effect may result in systematic errors in the sample activity and detection limit estimation. We introduce a Monte Carlo based method to minimise the impact of this effect on sample gamma spectra. It is validated using simulated detector backgrounds and applied to a measurement of low-activity Gd$_2$(SO$_4$)$_3 \cdot$8H$_2$O. One main prerequisite for the correct application of this method is to know in advance the nuclides which contribute to the detector background spectrum and their spatial distribution. With a thorough understanding of the detector backgrounds, the method improves the accuracy of sensitive low-background measurements of low-activity samples. Even without knowing the background sources and their distribution, conservative results may still be presented that account for the potential systematic errors introduced by this background shielding effect.


title: A general framework for nonlocal Neumann problems

abstract: Within the framework of Hilbert spaces, we solve nonlocal problems in bounded domains with prescribed conditions on the complement of the domain. Our main focus is on the inhomogeneous Neumann problem in a rather general setting. We also study the transition from complement value problems to local boundary value problems. Several results are new even for the fractional Laplace operator. The setting also covers relevant models in the framework of peridynamics.


title: Structure of optimal control for planetary landing with control and state constraints

abstract: This paper studies a vertical powered descent problem in the context of planetary landing, considering glide-slope and thrust pointing constraints and minimizing any final cost. In a first time, it proves the Max-Min-Max or Max-Singular-Max form of the optimal control using the Pontryagin Maximum Principle, and it extends this result to a problem formulation considering the effect of an atmosphere. It also shows that the singular structure does not appear in generic cases. In a second time, it theoretically analyzes the optimal trajectory for a more specific problem formulation to show that there can be at most one contact or boundary interval with the state constraint on each Max or Min arc.


title: Synchronization and stability analysis of an exponentially diverging solution in a mathematical model of asymmetrically interacting agents

abstract: This study deals with an existing mathematical model of asymmetrically interacting agents. We analyze the following two previously unfocused features of the model: (i) synchronization of growth rates and (ii) initial value dependence of damped oscillation. By applying the techniques of variable transformation and time-scale separation, we perform the stability analysis of a diverging solution. We find that (i) all growth rates synchronize to the same value that is as small as the smallest growth rate and (ii) oscillatory dynamics appear if the initial value of the slowest-growing agent is sufficiently small. Furthermore, our analytical method proposes a way to apply stability analysis to an exponentially diverging solution, which we believe is also a contribution of this study. Although the employed model is originally proposed as a model of infectious disease, we do not discuss its biological relevance but merely focus on the technical aspects.


title: Scaling Limits of Controlled Branching Processes

abstract: In this paper, a special sequence of controlled branching processes is considered. We provide a simple set of sufficient conditions for the weak convergence of such processes to a weak solution to a kind of continuous branching processes with dependent immigration.


title: A new avenue for Bayesian inference with INLA

abstract: Integrated Nested Laplace Approximations (INLA) has been a successful approximate Bayesian inference framework since its proposal by Rue et al. (2009). The increased computational efficiency and accuracy when compared with sampling-based methods for Bayesian inference like MCMC methods, are some contributors to its success. Ongoing research in the INLA methodology and implementation thereof in the R package R-INLA, ensures continued relevance for practitioners and improved performance and applicability of INLA. The era of big data and some recent research developments, presents an opportunity to reformulate some aspects of the classic INLA formulation, to achieve even faster inference, improved numerical stability and scalability. The improvement is especially noticeable for data-rich models. We demonstrate the efficiency gains with various examples of data-rich models, like Cox's proportional hazards model, an item-response theory model, a spatial model including prediction, and a 3-dimensional model for fMRI data.


title: Pion parton distribution functions with the nonrelativistic constituent quark model

abstract: We calculate the valence quark distribution functions of the $\pi$ meson using the non-relativistic chiral constituent quark model. The $\pi$ wave function is obtained by solving the two-body Schr\"odinger equation within the framework of constituent quark model. We transform the $\pi$ wave function from the rest frame to the light cone or infinite momentum frame based on the Lorentz boost. The valence quark distributions at the initial evolution scale are obtained. The QCD evolution are given with the DGLAP equations with parton-parton recombination corrections. With tuning the valence up (down) quark mass to 70 MeV, the calculated valence up quark distributions at $Q^2=20$ GeV$^2$ are in good agreement with the E615 experimental data. The structure functions $\rm{F}_2^\pi(x,Q^2)$ of pion are also calculated which consist with the H1 experimental data. The proposed mechanisms here could be also used to study other hadrons.


title: Environment Imitation: Data-Driven Environment Model Generation Using Imitation Learning for Efficient CPS Goal Verification

abstract: Cyber-Physical Systems (CPS) continuously interact with their physical environments through software controllers that observe the environments and determine actions. Engineers can verify to what extent the CPS under analysis can achieve given goals by analyzing its Field Operational Test (FOT) logs. However, it is challenging to repeat many FOTs to obtain statistically significant results due to its cost and risk in practice. To address this challenge, simulation-based verification can be a good alternative for efficient CPS goal verification, but it requires an accurate virtual environment model that can replace the real environment that interacts with the CPS in a closed loop. This paper proposes a novel data-driven approach that automatically generates the virtual environment model from a small amount of FOT logs. We formally define the environment model generation problem and solve it using Imitation Learning (IL) algorithms. In addition, we propose three specific use cases of our approach in the evolutionary CPS development. To validate our approach, we conduct a case study using a simplified autonomous vehicle with a lane-keeping system. The case study results show that our approach can generate accurate virtual environment models for CPS goal verification at a low cost through simulations.


title: 9 $\times$ 4 = 6 $\times$ 6: Understanding the quantum solution to the Euler's problem of 36 officers

abstract: The famous combinatorial problem of Euler concerns an arrangement of $36$ officers from six different regiments in a $6 \times 6$ square array. Each regiment consists of six officers each belonging to one of six ranks. The problem, originating from Saint Petersburg, requires that each row and each column of the array contains only one officer of a given rank and given regiment. Euler observed that such a configuration does not exist. In recent work, we constructed a solution to a quantum version of this problem assuming that the officers correspond to quantum states and can be entangled. In this paper, we explain the solution which is based on a partition of 36 officers into nine groups, each with four elements. The corresponding quantum states are locally equivalent to maximally entangled two-qubit states, hence each officer is entangled with at most three out of his $35$ colleagues. The entire quantum combinatorial design involves $9$ Bell bases in nine complementary $4$-dimensional subspaces.


title: Multiple measurements of gravitational waves acting as standard probes: model-independent constraints on the cosmic curvature with DECIGO

abstract: Although the spatial curvature has been precisely determined via the cosmic microwave background (CMB) observation by Planck satellite, it still suffers from the well-known cosmic curvature tension. As a standard siren, gravitational waves (GWs) from binary neutron star mergers provide a direct way to measure the luminosity distance. In addition, the accelerating expansion of the universe may cause an additional phase shift in the gravitational waveform, which allows us to measure the acceleration parameter. This measurement provides an important opportunity to determine the curvature parameter $\Omega_k$ in the GW domain based on the combination of two different observables for the same objects at high redshifts. In this study, we investigate how such an idea could be implemented with future generation of space-based DECi-hertz Interferometer Gravitational-wave Observatory (DECIGO) in the framework of two model-independent methods. Our results show that DECIGO could provide a reliable and stringent constraint on the cosmic curvature at a precision of $\Delta\Omega_k$=0.12, which is comparable to existing results based on different electromagnetic data. Our constraints are more stringent than the traditional electromagnetic method from the Pantheon SNe Ia sample, which shows no evidence for the deviation from the flat universe at $z\sim 2.3$. More importantly, with our model-independent method, such a second-generation space-based GW detector would also be able to explore the possible evolution $\Omega_k$ with redshifts, through direct measurements of cosmic curvature at different redshifts ($z\sim 5$). Such a model-independent $\Omega_k$ reconstruction to the distance past can become a milestone in gravitational-wave cosmology.


title: Signaling oscillations: molecular mechanisms and functional roles

abstract: Mounting evidence shows that oscillatory activity is widespread in cell signaling. Here we review some of this recent evidence, focusing on both the molecular mechanisms that potentially underlie such dynamical behavior, and the potential advantages that signaling oscillations might have in cell function. The biological processes considered include tissue maintenance, embryonic development and wound healing. With the aid of mathematical modeling, we show that a common principle, namely delayed negative feedback, underpins this wide variety of phenomena.


title: A Novel Approach for Cancellation of Non-Aligned Inter Spreading Factor Interference in LoRa Systems

abstract: Long Range (LoRa) has become a key enabler technology for low power wide area networks. However, due to its ALOHA-based medium access scheme, LoRa has to cope with collisions that limit the capacity and network scalability. Collisions between randomly overlapped signals modulated with different spreading factors (SFs) result in inter-SF interference, which increases the packet loss likelihood when signal-to-interference ratio (SIR) is low. This issue cannot be resolved by channel coding since the probability of error distance is not concentrated around the adjacent symbol. In this paper, we analytically model this interference, and propose an interference cancellation method based on the idea of segmentation of the received signal. This scheme has three steps. First, the SF of the interference signal is identified, then the equivalent data symbol and complex amplitude of the interference are estimated. Finally, the estimated interference signal is subtracted from the received signal before demodulation. Unlike conventional serial interference cancellation (SIC), this scheme can directly estimate and reconstruct the non-aligned inter-SF interference without synchronization. Simulation results show that the proposed method can significantly reduce the symbol error rate (SER) under low SIR compared with the conventional demodulation. Moreover, it also shows high robustness to fractional sample timing offset (STO) and carrier frequency offset (CFO) of interference. The presented results clearly show the effectiveness of the proposed method in terms of the SER performance.


title: Additional evidence for a pulsar wind nebula in the heart of SN 1987A from multi-epoch X-ray data and MHD modeling

abstract: Since the day of its explosion, supernova (SN) 1987A has been closely monitored to study its evolution and to detect its central compact relic. In fact, the formation of a neutron star is strongly supported by the detection of neutrinos from the SN. However, besides the detection in the Atacama Large Millimeter/submillimeter Array (ALMA) data of a feature that is compatible with the emission arising from a proto-pulsar wind nebula (PWN), the only hint for the existence of such elusive compact object is provided by the detection of hard emission in NuSTAR data up to ~ 20 keV. We report on the simultaneous analysis of multi-epoch observations of SN 1987A performed with Chandra, XMM-Newton and NuSTAR. We also compare the observations with a state-of-the-art 3D magnetohydrodynamic (MHD) simulation of SN 1987A. A heavily absorbed power-law, consistent with the emission from a PWN embedded in the heart of SN 1987A, is needed to properly describe the high-energy part of the observed spectra. The spectral parameters of the best-fit power-law are in agreement with the previous estimate, and exclude diffusive shock acceleration as a possible mechanism responsible for the observed non-thermal emission. The information extracted from our analysis are used to infer the physical characteristics of the pulsar and the broad-band emission of its nebula, in agreement with the ALMA data. Analysis of the synthetic spectra also show that, in the near future, the main contribution to Fe K emission line will originate in the outermost shocked ejecta of SN 1987A.


title: Genus-five hyperelliptic or trigonal curves with many rational points in characteristic three

abstract: The number $N_9(5)$, the maximal number of $\mathbb{F}_9$-rational points on curves over $\mathbb{F}_9$ of genus $5$ is unknown, but it is known that $32 \le N_9(5)\le 35$. In this paper, we enumerate hyperelliptic curves and trigonal curves over $\mathbb{F}_3$ which have many $\mathbb{F}_9$-rational points (and $\mathbb{F}_3$-rational points), especially the maximal number of $\mathbb{F}_9$-rational points of those curves is $30$. Kudo-Harashita studied the nonhyperelliptic and nontrigonal case,where they found a new example of curves (over $\mathbb{F}_3$) of genus five which attains $32$ and proved that there is no example attaining more than $32$, among sextic plane curves with mild singularities. We conclude from the main results in this paper that we need to search sextic models (i.e., nonhyperelliptic and nontrigonal) with bad singularities, in order to find a genus-five curve over $\mathbb{F}_3$ with at least $33$ $\mathbb{F}_9$-rational points.


title: YOLO-Pose: Enhancing YOLO for Multi Person Pose Estimation Using Object Keypoint Similarity Loss

abstract: We introduce YOLO-pose, a novel heatmap-free approach for joint detection, and 2D multi-person pose estimation in an image based on the popular YOLO object detection framework. Existing heatmap based two-stage approaches are sub-optimal as they are not end-to-end trainable and training relies on a surrogate L1 loss that is not equivalent to maximizing the evaluation metric, i.e. Object Keypoint Similarity (OKS). Our framework allows us to train the model end-to-end and optimize the OKS metric itself. The proposed model learns to jointly detect bounding boxes for multiple persons and their corresponding 2D poses in a single forward pass and thus bringing in the best of both top-down and bottom-up approaches. Proposed approach doesn't require the postprocessing of bottom-up approaches to group detected keypoints into a skeleton as each bounding box has an associated pose, resulting in an inherent grouping of the keypoints. Unlike top-down approaches, multiple forward passes are done away with since all persons are localized along with their pose in a single inference. YOLO-pose achieves new state-of-the-art results on COCO validation (90.2% AP50) and test-dev set (90.3% AP50), surpassing all existing bottom-up approaches in a single forward pass without flip test, multi-scale testing, or any other test time augmentation. All experiments and results reported in this paper are without any test time augmentation, unlike traditional approaches that use flip-test and multi-scale testing to boost performance. Our training codes will be made publicly available at https://github.com/TexasInstruments/edgeai-yolov5 and https://github.com/TexasInstruments/edgeai-yolox


title: Constraining deviations from spherical symmetry using $ \gamma $-metric

abstract: The $ \gamma $-spacetime metric is a static and axially symmetric vacuum solution of the Einstein equation. This spacetime represents a naked singularity and it has an extra parameter $ \gamma $ which signifies deviations from spherical symmetry. In this work, we study the possibility of constraining the deformation parameter with astrophysical observations. We start with gravitational lensing in the weak and strong-field limit and calculate the respective deflection angles to show that only strong-field lensing observations will be able to constrain $ \gamma $ independently. Later we study two other classical tests of gravity: Shapiro time delay and precession of perihelion. We show that, out of these two experiments, the deformation parameter affects the observables only in perihelion shift.


title: Tuning the coexistence regime of incomplete and tubular skyrmions in ferro/ferri/ferromagnetic trilayers

abstract: The development of skyrmionic devices requires a suitable tuning of material parameters in order to stabilize skyrmions and control their density. It has been demonstrated recently that different skyrmion types can be simultaneously stabilized at room temperature in heterostructures involving ferromagnets, ferrimagnets and heavy metals, offering a new platform of coding binary information in the type of skyrmion instead of the presence/absence of skyrmions. Here, we tune the energy landscape of the two skyrmion types in such heterostructures by engineering the geometrical and material parameters of the individual layers. We find that a fine adjustment of the ferromagnetic layer thickness and thus its magnetic anisotropy, allows the trilayer system to support either one of the skyrmion types or the coexistence of both and with varying densities.


title: Uplifting Interviews in Social Science with Individual Data Visualization: the case of Music Listening

abstract: Collecting accurate and fine-grain information about the music people like, dislike and actually listen to has long been a challenge for sociologists. As millions of people now use online music streaming services, research can build upon the individual listening history data that are collected by these platforms. Individual interviews in particular can benefit from such data, by allowing the interviewers to immerse themselves in the musical universe of consenting respondents, and thus ask them contextualized questions and get more precise answers. Designing a visual exploration tool allowing such an immersion is however difficult, because of the volume and heterogeneity of the listening data, the unequal "visual literacy" of the prospective users, or the interviewers' potential lack of knowledge of the music listened to by the respondents. In this case study we discuss the design and evaluation of such a tool. Designed with social scientists, its purpose is to help them in preparing and conducting semi-structured interviews that address various aspects of the listening experience. It was evaluated during thirty interviews with consenting users of a streaming platform in France.


title: Assessment of the second-order statically screened exchange correction to the random phase approximation for correlation energies

abstract: With increasing inter-electronic distance, the screening of the electron-electron interaction by the presence of other electrons becomes the dominant source of electron correlation. This effect is described by the random phase approximation (RPA) which is therefore a promising method for the calculation of weak interactions. The success of the RPA relies on the cancellation of errors, which can be traced back to the violation of the crossing symmetry of the 4-point vertex, leading to strongly overestimated total correlation energies. By addition of second-order screened exchange (SOSEX) to the correlation energy, this issue is substantially reduced. In the adiabatic connection (AC) SOSEX formalism, one of the two electron-electron interaction lines in the second-order exchange term is dynamically screened (SOSEX($W$,$v_c$)). A related SOSEX expression in which both electron-electron interaction lines are statically screened (SOSEX($W(0)$,$W(0)$)) is obtained from the $G3W2$ contribution to the electronic self-energy. In contrast to SOSEX($W$,$v_c$), the evaluation of this correlation energy expression does not require an expensive numerical frequency integration and is therefore advantageous from a computational perspective. We compare the accuracy of the statically screened variant to RPA and RPA+SOSEX($W$,$v_c$) for a wide range of chemical reactions. While both methods fail for barrier heights, SOSEX($W(0)$,$W(0)$) agrees very well with SOSEX($W$,$v_c$) for charged excitations and non-covalent interactions where they lead to major improvements over RPA.


title: Electronic structure and magnetism of the Hund insulator CrI3

abstract: CrI3 is a two-dimensional ferromagnetic van der Waals material with a charge gap of 1.1-1.2 eV. In this study, the electronic structure and magnetism of CrI3 are investigated by using density functional theory and dynamical mean-field theory. Our calculations successfully reproduce a charge gap of 1.1 eV in the paramagnetic state when a Hund coupling JH = 0.7 eV is included with an on-site Hubbard U = 5 eV. In contrast, with a large U value of 8 eV and negligible Hund coupling JH, CrI3 is predicted to be a moderately correlated metal in the paramagnetic state. We conclude that CrI3 is a Mott-Hund insulator due to the half-filled configuration of the Cr 3d t2g orbitals. The Cr 3d eg orbitals are occupied by approximately one electron, which leads to strong valence fluctuations so that the Cr 3d orbitals cannot be described by a single state. Moreover, at finite temperature, the calculated ordered static magnetic moment in the ferromagnetic state is significantly larger in the R3 phase than in the C2/m phase. This observation indicates that the structural phase transition from the C2/m phase to the R3 phase with decreasing temperature is driven by ferromagnetic spin fluctuations.


title: Learning to Generalize to More: Continuous Semantic Augmentation for Neural Machine Translation

abstract: The principal task in supervised neural machine translation (NMT) is to learn to generate target sentences conditioned on the source inputs from a set of parallel sentence pairs, and thus produce a model capable of generalizing to unseen instances. However, it is commonly observed that the generalization performance of the model is highly influenced by the amount of parallel data used in training. Although data augmentation is widely used to enrich the training data, conventional methods with discrete manipulations fail to generate diverse and faithful training samples. In this paper, we present a novel data augmentation paradigm termed Continuous Semantic Augmentation (CsaNMT), which augments each training instance with an adjacency semantic region that could cover adequate variants of literal expression under the same meaning. We conduct extensive experiments on both rich-resource and low-resource settings involving various language pairs, including WMT14 English-{German,French}, NIST Chinese-English and multiple low-resource IWSLT translation tasks. The provided empirical evidences show that CsaNMT sets a new level of performance among existing augmentation techniques, improving on the state-of-the-art by a large margin. The core codes are contained in Appendix E.


title: Transient obscuration event captured in NGC 3227 III. Photoionization modeling of the X-ray obscuration event in 2019

abstract: A growing number of transient X-ray obscuration events in type I AGN suggest that our line-of-sight to the central engine is not always free. Multiple X-ray obscuration events have been reported in the nearby Seyfert 1.5 galaxy NGC 3227 from 2000 to 2016. In late 2019, another X-ray obscuration event was identified with Swift. Two coordinated target-of-opportunity observations with XMM-Newton, NuSTAR, and HST/COS were triggered in Nov. and Dec. 2019 to study this obscuration event. For each observation, we analyze the time-averaged X-ray spectra. We perform photoionization modeling with the SPEX code, which allows us to constrain the intrinsic continuum simultaneously with various photoionized absorption and emission components. Similar to previous transient X-ray obscuration events in NGC 3227, the one caught in late 2019 is short-lived (less than five months). If the obscurer has only one photoionized component, the two X-ray observations in late 2019 cannot be explained by the same obscurer that responds to the varying ionizing continuum. Due to the unknown geometry of the obscurer, its number density and distance to the black hole cannot be well constrained. The inferred distance covers at least two orders of magnitude, from the BLR to the dusty torus. Unlike some other X-ray obscuration events in Seyfert galaxies like NGC 5548 and NGC 3783, no prominent blueshifted broad absorption troughs were found in the 2019 HST/COS spectra of NGC 3227 when compared with archival UV spectra. This might be explained if the X-ray obscurer does not intercept our line of sight to (a significant portion of) the UV emitting region. It is not straightforward to understand the variety of the observational differences in the X-ray obscuration events observed so far. Future observations with high-quality data are needed to unveil the nature of the X-ray obscuration events. [shortend for arXiv]


title: Unbinned Angular Analysis of $B\to D^*(D\pi)\ell \nu_\ell$ and $C_{V_R}$

abstract: A sensitivity study of the unbinned angular analysis of the $B\to D^*(D\pi)\ell \nu_\ell$ decay is presented. In the analysis, it is shown that the Wilson coefficient of the right-handed vector current, $C_{V_R}$, can be measured to precision of 2-4$\%$ using either the full set of normalised angular observables or the forward-backward asymmetry $A_{FB}$ of the charged lepton in 10 $w$ bins. Such angular measurements are independent of the $V_{cb}$ puzzle.


title: deep-significance - Easy and Meaningful Statistical Significance Testing in the Age of Neural Networks

abstract: A lot of Machine Learning (ML) and Deep Learning (DL) research is of an empirical nature. Nevertheless, statistical significance testing (SST) is still not widely used. This endangers true progress, as seeming improvements over a baseline might be statistical flukes, leading follow-up research astray while wasting human and computational resources. Here, we provide an easy-to-use package containing different significance tests and utility functions specifically tailored towards research needs and usability.


title: Preliminary Results of a Survey on the Use of Self-Adaptation in Industry

abstract: Self-adaptation equips a software system with a feedback loop that automates tasks that otherwise need to be performed by operators. Such feedback loops have found their way to a variety of practical applications, one typical example is an elastic cloud. Yet, the state of the practice in self-adaptation is currently not clear. To get insights into the use of self-adaptation in practice, we are running a large-scale survey with industry. This paper reports preliminary results based on survey data that we obtained from 113 practitioners spread over 16 countries, 62 of them work with concrete self-adaptive systems. We highlight the main insights obtained so far: motivations for self-adaptation, concrete use cases, and difficulties encountered when applying self-adaptation in practice. We conclude the paper with outlining our plans for the remainder of the study.


title: Boundary-induced singularity in strongly-correlated quantum systems at finite temperature

abstract: Exploring the bulk-boundary correspondences and the boundary-induced phenomena in the strongly-correlated quantum systems belongs to the most fundamental topics of condensed matter physics. In this work, we study the bulk-boundary competition in a simulative Hamiltonian, with which the thermodynamic properties of the infinite-size translationally-invariant system can be optimally mimicked. The simulative Hamiltonian is constructed by introducing local interactions on the boundaries, coined as the entanglement-bath Hamiltonian (EBH) that is analogous to the heat bath. The terms within the EBH are variationally determined by a thermal tensor network method, with coefficients varying with the temperature of the infinite-size system. By treating the temperature as an adjustable hyper-parameter of the EBH, we identify a discontinuity point of the coefficients, dubbed as the ``boundary quench point'' (BQP), whose physical implication is to distinguish the point, below which the thermal fluctuations from the boundaries to the bulk become insignificant. Fruitful phenomena are revealed when considering the simulative Hamiltonian, with the EBH featuring its own hyper-parameter, under the canonical ensembles at different temperatures. Specifically, a discontinuity in bulk entropy at the BQP is observed. The exotic entropic distribution, the relations between the symmetries of Hamiltonian and BQP, and the impacts from the entanglement-bath dimension are also explored. Our results show that such a singularity differs from those in the conventional thermodynamic phase transition points that normally fall into the Landau-Ginzburg paradigm. Our work provides the opportunities on exploring the exotic phenomena induced by the competition between the bulk and boundaries.


title: Interpretable Vertebral Fracture Quantification via Anchor-Free Landmarks Localization

abstract: Vertebral body compression fractures are early signs of osteoporosis. Though these fractures are visible on Computed Tomography (CT) images, they are frequently missed by radiologists in clinical settings. Prior research on automatic methods of vertebral fracture classification proves its reliable quality; however, existing methods provide hard-to-interpret outputs and sometimes fail to process cases with severe abnormalities such as highly pathological vertebrae or scoliosis. We propose a new two-step algorithm to localize the vertebral column in 3D CT images and then detect individual vertebrae and quantify fractures in 2D simultaneously. We train neural networks for both steps using a simple 6-keypoints based annotation scheme, which corresponds precisely to the current clinical recommendation. Our algorithm has no exclusion criteria, processes 3D CT in 2 seconds on a single GPU, and provides an interpretable and verifiable output. The method approaches expert-level performance and demonstrates state-of-the-art results in vertebrae 3D localization (the average error is 1 mm), vertebrae 2D detection (precision and recall are 0.99), and fracture identification (ROC AUC at the patient level is up to 0.96). Our anchor-free vertebra detection network shows excellent generalizability on a new domain by achieving ROC AUC 0.95, sensitivity 0.85, specificity 0.9 on a challenging VerSe dataset with many unseen vertebra types.


title: Configurational temperature in active matter. I. Lines of invariant physics in the phase diagram of the Ornstein-Uhlenbeck model

abstract: This paper shows that the configurational temperature of liquid-state theory, $\Tc$, defines an energy scale, which can be used for adjusting model parameters of active Ornstein-Uhlenbeck particle (AOUP) models in order to achieve approximately invariant structure and dynamics upon a density change. The required parameter changes are calculated from the variation of a single configuration's $\Tc$ for a uniform scaling of all particle coordinates. The resulting equations are justified theoretically for models involving a potential-energy function with hidden scale invariance. The validity of the procedure is illustrated by computer simulations of the Kob-Andersen binary Lennard-Jones AOUP model, demonstrating lines of approximate reduced-unit invariance of the radial distribution function and time-dependent mean-square displacement.


title: On allocations that give intersecting groups their fair share

abstract: We consider item allocation to individual agents who have additive valuations, in settings in which there are protected groups, and the allocation needs to give each protected group its "fair" share of the total welfare. Informally, within each protected group we consider the total welfare that the allocation gives the members of the group, and compare it to the maximum possible welfare that an allocation can give to the group members. An allocation is fair towards the group if the ratio between these two values is no worse then the relative size of the group. For divisible items, our formal definition of fairness is based on the proportional share, whereas for indivisible items, it is based on the anyprice share. We present examples in which there are no fair allocations, and even not allocations that approximate the fairness requirement within a constant multiplicative factor. We then attempt to identify sufficient conditions for fair or approximately fair allocations to exist. For example, for indivisible items, when agents have identical valuations and the family of protected groups is laminar, we show that if the items are chores, then an allocation that satisfies every fairness requirement within a multiplicative factor no worse than two exists and can be found efficiently, whereas if the items are goods, no constant approximation can be guaranteed.


title: Justice in interaction design: preventing manipulation in interfaces

abstract: Designers incorporate values in the design process that raise risks for vulnerable groups. Persuasion in user interfaces can quickly turn into manipulation and become potentially harmful for those groups in the realm of intellectual disabilities, class, or health, requiring proactive responsibility approaches in design. Here we introduce the Capability Sensitive Design Approach and explain how it can be used proactively to inform designers' decisions when it comes to evaluating justice in their designs preventing the risk of manipulation.


title: Stream-based Active Learning with Verification Latency in Non-stationary Environments

abstract: Data stream classification is an important problem in the field of machine learning. Due to the non-stationary nature of the data where the underlying distribution changes over time (concept drift), the model needs to continuously adapt to new data statistics. Stream-based Active Learning (AL) approaches address this problem by interactively querying a human expert to provide new data labels for the most recent samples, within a limited budget. Existing AL strategies assume that labels are immediately available, while in a real-world scenario the expert requires time to provide a queried label (verification latency), and by the time the requested labels arrive they may not be relevant anymore. In this article, we investigate the influence of finite, time-variable, and unknown verification delay, in the presence of concept drift on AL approaches. We propose PRopagate (PR), a latency independent utility estimator which also predicts the requested, but not yet known, labels. Furthermore, we propose a drift-dependent dynamic budget strategy, which uses a variable distribution of the labelling budget over time, after a detected drift. Thorough experimental evaluation, with both synthetic and real-world non-stationary datasets, and different settings of verification latency and budget are conducted and analyzed. We empirically show that the proposed method consistently outperforms the state-of-the-art. Additionally, we demonstrate that with variable budget allocation in time, it is possible to boost the performance of AL strategies, without increasing the overall labeling budget.


title: Self-organised quantum dots in marginally twisted MoSe$_2$/WSe$_2$ and MoS$_2$/WS$_2$ bilayers

abstract: Moir\'e superlattices in twistronic heterostructures are a powerful tool for materials engineering. In marginally twisted (small misalignment angle, $\theta$) bilayers of nearly lattice-matched two-dimensional (2D) crystals moir\'e patterns take the form of domains of commensurate stacking, separated by a network of domain walls (NoDW) with strain hot spots at the NoDW nodes. Here, we show that, for type-II transition metal dichalcogenide bilayers MoX$_2$/WX$_2$ (X=S, Se), the hydrostatic strain component in these hot spots creates quantum dots for electrons and holes. We investigate the electron/hole states bound by such objects, discussing their manifestations via the intralayer intraband infrared transitions. The electron/hole confinement, which is strongest for $\theta<0.5^{\circ}$, leads to a red-shift of their recombination line producing single photon emitters (SPE) broadly tuneable around 1\,eV by misalignment angle. These self-organised dots can form in bilayers with both aligned and inverted MoX$_2$ and WX$_2$ unit cells, emitting photons with different polarizations. We also find that the hot spots of strain reduce the intralayer MoX$_2$ A-exciton energy, enabling selective population of the quantum dot states.


title: Orbital-resolved Observation of Singlet Fission

abstract: Singlet fission may boost photovoltaic efficiency [by transforming a singlet exciton into two triplet excitons and thereby doubling the number of excited charge carriers. The primary step of singlet fission is the ultrafast creation of the correlated triplet pair. While several mechanisms have been proposed to explain this step, none has emerged as a consensus. The challenge lies in tracking the transient excitonic states. Here we use time- and angle-resolved photoemission spectroscopy to observe the primary step of singlet fission in crystalline pentacene. Our results suggest a charge-transfer mediated mechanism with a hybridization of Frenkel and charge-transfer states in the lowest bright singlet exciton. We gained intimate knowledge about the localization and the orbital character of the exciton wave functions recorded in momentum maps. This allowed us to directly compare the localization of singlet and bitriplet excitons and decompose energetically overlapping states based on their orbital character. Orbital- and localization- resolved many-body dynamics promise deep insights into the mechanics governing molecular systems and topological materials.


title: The Vision of Self-Evolving Computing Systems

abstract: Computing systems are omnipresent; their sustainability has become crucial for our society. A key aspect of this sustainability is the ability of computing systems to cope with the continuous change they face, ranging from dynamic operating conditions, to changing goals, and technological progress. While we are able to engineer smart computing systems that autonomously deal with various types of changes, handling unanticipated changes requires system evolution, which remains in essence a human-centered process. This will eventually become unmanageable. To break through the status quo, we put forward an arguable opinion for the vision of self-evolving computing systems that are equipped with an evolutionary engine enabling them to evolve autonomously. Specifically, when a self-evolving computing system detects conditions outside its operational domain, such as an anomaly or a new goal, it activates an evolutionary engine that runs online experiments to determine how the system needs to evolve to deal with the changes, thereby evolving its architecture. During this process the engine can integrate new computing elements that are provided by computing warehouses. These computing elements provide specifications and procedures enabling their automatic integration. We motivate the need for self-evolving computing systems in light of the state of the art, outline a conceptual architecture of self-evolving computing systems, and illustrate the architecture for a future smart city mobility system that needs to evolve continuously with changing conditions. To conclude, we highlight key research challenges to realize the vision of self-evolving computing systems.


title: Exhaustive Survey of Rickrolling in Academic Literature

abstract: Rickrolling is an Internet cultural phenomenon born in the mid 2000s. Originally confined to Internet fora, it has spread to other channels and media. In this paper, we hypothesize that rickrolling has reached the formal academic world. We design and conduct a systematic experiment to survey rickrolling in the academic literature. As of March 2022, there are 23 academic documents intentionally rickrolling the reader. Rickrolling happens in footnotes, code listings, references. We believe that rickrolling in academia proves inspiration and facetiousness, which is healthy for good science. This original research suggests areas of improvement for academic search engines and calls for more investigations about academic pranks and humor.


title: How Gender Debiasing Affects Internal Model Representations, and Why It Matters

abstract: Common studies of gender bias in NLP focus either on extrinsic bias measured by model performance on a downstream task or on intrinsic bias found in models' internal representations. However, the relationship between extrinsic and intrinsic bias is relatively unknown. In this work, we illuminate this relationship by measuring both quantities together: we debias a model during downstream fine-tuning, which reduces extrinsic bias, and measure the effect on intrinsic bias, which is operationalized as bias extractability with information-theoretic probing. Through experiments on two tasks and multiple bias metrics, we show that our intrinsic bias metric is a better indicator of debiasing than (a contextual adaptation of) the standard WEAT metric, and can also expose cases of superficial debiasing. Our framework provides a comprehensive perspective on bias in NLP models, which can be applied to deploy NLP systems in a more informed manner. Our code and model checkpoints are publicly available.


title: Deep Vehicle Detection in Satellite Video

abstract: This work presents a deep learning approach for vehicle detection in satellite video. Vehicle detection is perhaps impossible in single EO satellite images due to the tininess of vehicles (4-10 pixel) and their similarity to the background. Instead, we consider satellite video which overcomes the lack of spatial information by temporal consistency of vehicle movement. A new spatiotemporal model of a compact $3 \times 3$ convolutional, neural network is proposed which neglects pooling layers and uses leaky ReLUs. Then we use a reformulation of the output heatmap including Non-Maximum-Suppression (NMS) for the final segmentation. Empirical results on two new annotated satellite videos reconfirm the applicability of this approach for vehicle detection. They more importantly indicate that pre-training on WAMI data and then fine-tuning on few annotated video frames for a new video is sufficient. In our experiment only five annotated images yield a $F_1$ score of 0.81 on a new video showing more complex traffic patterns than the Las Vegas video. Our best result on Las Vegas is a $F_1$ score of 0.87 which makes the proposed approach a leading method for this benchmark.


title: Realistic Video Sequences for Subjective QoE Analysis

abstract: Multimedia streaming over the Internet (live and on demand) is the cornerstone of modern Internet carrying more than 60% of all traffic. With such high demand, delivering outstanding user experience is a crucial and challenging task. To evaluate user QoE many researchers deploy subjective quality assessments where participants watch and rate videos artificially infused with various temporal and spatial impairments. To aid current efforts in bridging the gap between the mapping of objective video QoE metrics to user experience, we developed DashReStreamer, an open-source framework for re-creating adaptively streamed video in real networks. DashReStreamer utilises a log created by a HAS algorithm run in an uncontrolled environment (i.e., wired or wireless networks), encoding visual changes and stall events in one video file. These videos are applicable for subjective QoE evaluation mimicking realistic network conditions. To supplement DashReStreamer, we re-create 234 realistic video clips, based on video logs collected from real mobile and wireless networks. In addition our dataset contains both video logs with all decisions made by the HASalgorithm and network bandwidth profile illustrating throughput distribution. We believe this dataset and framework will permit other researchers in their pursuit for the final frontier in understanding the impact of video QoE dynamics.


title: A derivative-free approach to mixed integer constrained multiobjective nonsmooth optimization

abstract: In this work, we consider multiobjective optimization problems with both bound constraints on the variables and general nonlinear constraints, where objective and constraint function values can only be obtained by querying a black box. Furthermore, we consider the case where a subset of the variables can only take integer values. We propose a new linesearch-based solution method and show that it converges to a set of stationary points for the problem. For what concerns the continuous variables, we employ a strategy for the estimation of the Pareto frontier recently proposed in the literature and which takes advantage of dense sequences of search directions. The subset of variables that must assume discrete values are dealt with using primitive directions appropriately modified to take into account the presence of more than one objective functions. Numerical results obtained with the proposed method on a set of test problems and comparison with other solution methods show the viability and efficiency of the proposed approach.


title: Double spending prevention of digital Euros using a web-of-trust

abstract: In order to provide more security on double-spending, we have implemented a system allowing for a web-of-trust. In this paper, we explore different approaches taken against double-spending and implement our own version to avoid this within TrustChain as part of the ecosystem of EuroToken, the digital version of the euro. We have used the EVA protocol as a means to transfer data between users, building on the existing functionality of transferring money between users. This allows the sender of EuroTokens to leave recommendations of users based on their previous interactions with other users. This dissemination of trust through the network allows users to make more trustworthy decisions. Although this provides an upgrade in terms of usability, the mathematical details of our implementation can be explored further in other research.


title: Self-Guided Learning to Denoise for Robust Recommendation

abstract: The ubiquity of implicit feedback makes them the default choice to build modern recommender systems. Generally speaking, observed interactions are considered as positive samples, while unobserved interactions are considered as negative ones. However, implicit feedback is inherently noisy because of the ubiquitous presence of noisy-positive and noisy-negative interactions. Recently, some studies have noticed the importance of denoising implicit feedback for recommendations, and enhanced the robustness of recommendation models to some extent. Nonetheless, they typically fail to (1) capture the hard yet clean interactions for learning comprehensive user preference, and (2) provide a universal denoising solution that can be applied to various kinds of recommendation models. In this paper, we thoroughly investigate the memorization effect of recommendation models, and propose a new denoising paradigm, i.e., Self-Guided Denoising Learning (SGDL), which is able to collect memorized interactions at the early stage of the training (i.e., "noise-resistant" period), and leverage those data as denoising signals to guide the following training (i.e., "noise-sensitive" period) of the model in a meta-learning manner. Besides, our method can automatically switch its learning phase at the memorization point from memorization to self-guided learning, and select clean and informative memorized data via a novel adaptive denoising scheduler to improve the robustness. We incorporate SGDL with four representative recommendation models (i.e., NeuMF, CDAE, NGCF and LightGCN) and different loss functions (i.e., binary cross-entropy and BPR loss). The experimental results on three benchmark datasets demonstrate the effectiveness of SGDL over the state-of-the-art denoising methods like T-CE, IR, DeCA, and even state-of-the-art robust graph-based methods like SGCN and SGL.


title: MARF: Multiscale Adaptive-switch Random Forest for Leg Detection with 2D Laser Scanners

abstract: For the 2D laser-based tasks, e.g., people detection and people tracking, leg detection is usually the first step. Thus, it carries great weight in determining the performance of people detection and people tracking. However, many leg detectors ignore the inevitable noise and the multiscale characteristics of the laser scan, which makes them sensitive to the unreliable features of point cloud and further degrades the performance of the leg detector. In this paper, we propose a multiscale adaptive-switch Random Forest (MARF) to overcome these two challenges. Firstly, the adaptive-switch decision tree is designed to use noisesensitive features to conduct weighted classification and noiseinvariant features to conduct binary classification, which makes our detector perform more robust to noise. Secondly, considering the multiscale property that the sparsity of the 2D point cloud is proportional to the length of laser beams, we design a multiscale random forest structure to detect legs at different distances. Moreover, the proposed approach allows us to discover a sparser human leg from point clouds than others. Consequently, our method shows an improved performance compared to other state-of-the-art leg detectors on the challenging Moving Legs dataset and retains the whole pipeline at a speed of 60+ FPS on lowcomputational laptops. Moreover, we further apply the proposed MARF to the people detection and tracking system, achieving a considerable gain in all metrics.


title: Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

abstract: We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most classical separable Banach spaces. We prove that the infinite-dimensional separable Hilbert space is characterized as the unique separable infinite-dimensional Banach space whose isometry class is closed, and also as the unique separable infinite-dimensional Banach space whose isomorphism class is $F_\sigma$. For $p\in\left[1,2\right)\cup\left(2,\infty\right)$, we show that the isometry classes of $L_p[0,1]$ and $\ell_p$ are $G_\delta$-complete sets and $F_{\sigma\delta}$-complete sets, respectively. Then we show that the isometry class of $c_0$ is an $F_{\sigma\delta}$-complete set. Additionally, we compute the complexities of many other natural classes of separable Banach spaces; for instance, the class of separable $\mathcal{L}_{p,\lambda+}$-spaces, for $p,\lambda\geq 1$, is shown to be a $G_\delta$-set, the class of superreflexive spaces is shown to be an $F_{\sigma\delta}$-set, and the class of spaces with local $\Pi$-basis structure is shown to be a $\boldsymbol{\Sigma}^0_6$-set. The paper is concluded with many open problems and suggestions for a future research.


title: GloCAL: Glocalized Curriculum-Aided Learning of Multiple Tasks with Application to Robotic Grasping

abstract: The domain of robotics is challenging to apply deep reinforcement learning due to the need for large amounts of data and for ensuring safety during learning. Curriculum learning has shown good performance in terms of sample- efficient deep learning. In this paper, we propose an algorithm (named GloCAL) that creates a curriculum for an agent to learn multiple discrete tasks, based on clustering tasks according to their evaluation scores. From the highest-performing cluster, a global task representative of the cluster is identified for learning a global policy that transfers to subsequently formed new clusters, while the remaining tasks in the cluster are learned as local policies. The efficacy and efficiency of our GloCAL algorithm are compared with other approaches in the domain of grasp learning for 49 objects with varied object complexity and grasp difficulty from the EGAD! dataset. The results show that GloCAL is able to learn to grasp 100% of the objects, whereas other approaches achieve at most 86% despite being given 1.5 times longer training time.


title: Relativistic Tight-Binding Model for Hexagonal Lattice: Application to Graphene

abstract: A non-perturbative relativistic tight-binding (TB) approximation method applicable to crystalline material immersed in a magnetic field was developed in 2015. To apply this method to any material in the magnetic field, the electronic structure of the material in absence of a magnetic field must be calculated. In this study, we present the relativistic TB approximation method for graphene in a zero magnetic field. The Hamiltonian and overlap matrix is constructed considering the nearest neighbouring atomic interactions between the $s$ and $p$ valence orbitals, where the relativistic hopping and overlap integrals are calculated using the relativistic version of the Slater-Koster table. The method of constructing the Hamiltonian and overlap matrix and the resulting energy-band structure of graphene in the first Brillouin zone is presented in this paper. It is found that there is an appearance of a small band-gap at the $\textbf{K}$ points (also known as the spin-orbit gap) due to the relativistic effect, whose magnitude is $25$ $\mu$eV.


title: Modeling Indirect Illumination for Inverse Rendering

abstract: Recent advances in implicit neural representations and differentiable rendering make it possible to simultaneously recover the geometry and materials of an object from multi-view RGB images captured under unknown static illumination. Despite the promising results achieved, indirect illumination is rarely modeled in previous methods, as it requires expensive recursive path tracing which makes the inverse rendering computationally intractable. In this paper, we propose a novel approach to efficiently recovering spatially-varying indirect illumination. The key insight is that indirect illumination can be conveniently derived from the neural radiance field learned from input images instead of being estimated jointly with direct illumination and materials. By properly modeling the indirect illumination and visibility of direct illumination, interreflection- and shadow-free albedo can be recovered. The experiments on both synthetic and real data demonstrate the superior performance of our approach compared to previous work and its capability to synthesize realistic renderings under novel viewpoints and illumination. Our code and data are available at https://zju3dv.github.io/invrender/.


title: Magma-valued metric spaces

abstract: In this paper, first we introduce dense unital magmas and magma-valued metric spaces. The density property of the ordered unital magmas, monoids, and hemirings helps us to generalize a couple of classical results related to the convergence and Cauchy property of sequences and series. For example, we prove that the Cauchy Condensation Test holds for Cauchy complete fields. We also introduce hemiring-valued pseudonormed rings which are a generalization of pseudonormed rings and valuation domains. Then, we prove that finite-dimensional algebras over hemiring-valued pseudonormed fields can be pseudonormed which is a generalization of a result by Albert.


title: Thermodynamically consistent concurrent material and structure optimization of elastoplastic multiphase hierarchical systems

abstract: The concept of concurrent material and structure optimization aims at alleviating the computational discovery of optimum microstructure configurations in multiphase hierarchical systems, whose macroscale behavior is governed by their microstructure composition that can evolve over multiple length scales from a few micrometers to centimeters. It is based on the split of the multiscale optimization problem into two nested sub-problems, one at the macroscale (structure) and the other at the microscales (material). In this paper, we establish a novel formulation of concurrent material and structure optimization for multiphase hierarchical systems with elastoplastic constituents at the material scales. Exploiting the thermomechanical foundations of elastoplasticity, we reformulate the material optimization problem based on the maximum plastic dissipation principle such that it assumes the format of an elastoplastic constitutive law and can be efficiently solved via modified return mapping algorithms. We integrate continuum micromechanics based estimates of the stiffness and the yield criterion into the formulation, which opens the door to a computationally feasible treatment of the material optimization problem. To demonstrate the accuracy and robustness of our framework, we define new benchmark tests with several material scales that, for the first time, become computationally feasible. We argue that our formulation naturally extends to multiscale optimization under further path-dependent effects such as viscoplasticity or multiscale fracture and damage.


title: Construction of polynomial algebras from intermediate Casimir invariants of Lie algebras

abstract: We propose a systematic procedure to construct polynomial algebras from intermediate Casimir invariants arising from (semisimple or non-semisimple) Lie algebras $\mathfrak{g}$. In this approach, we deal with explicit polynomials in the enveloping algebra of $\mathfrak{g} \oplus \mathfrak{g} \oplus \mathfrak{g}$. We present explicit examples to show how these Lie algebras can display different behaviours and can lead to Abelian algebras, quadratic algebras or more complex structures involving higher order nested commutators. Within this framework, we also demonstrate how virtual copies of the Levi factor of a Levi decomposable Lie algebra can be used as a tool to construct "copies" of polynomial algebras. Different schemes to obtain polynomial algebras associated to algebraic Hamiltonians have been proposed in the literature, among them the use of commutants of various type. The present approach is different and relies on the construction of intermediate Casimir invariants in the enveloping algebra $\mathcal{U}(\mathfrak{g} \oplus \mathfrak{g} \oplus \mathfrak{g})$.


title: Embedding bordered Riemann surfaces in strongly pseudoconvex domains

abstract: We show that every bordered Riemann surface, $M$, with smooth boundary $bM$ admits a proper holomorphic map $M\to \Omega$ into any bounded strongly pseudoconvex domain $\Omega$ in $\mathbb C^n$, $n>1$, extending to a smooth map $f:\overline M\to\overline \Omega$ which can be chosen an immersion if $n\ge 3$ and an embedding if $n\ge 4$. Furthermore, $f$ can be chosen to approximate a given holomorphic map $\overline M\to \Omega$ on compacts in $M$ and interpolate it at finitely many given points in $M$.


title: On restricted completions of chordal and trivially perfect graphs

abstract: Let $G$ be a graph having a vertex $v$ such that $H = G - v$ is a trivially perfect graph. We give a polynomial-time algorithm for the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a trivially perfect graph. This is a slight variation of the well-studied {\sc Edge Completion}, also known as {\sc Minimum Fill-In}, problem. We also show that if $H$ is a chordal graph, then the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a chordal graph is \NP-complete.


title: Surface Similarity Parameter: A New Machine Learning Loss Metric for Oscillatory Spatio-Temporal Data

abstract: Supervised machine learning approaches require the formulation of a loss functional to be minimized in the training phase. Sequential data are ubiquitous across many fields of research, and are often treated with Euclidean distance-based loss functions that were designed for tabular data. For smooth oscillatory data, those conventional approaches lack the ability to penalize amplitude, frequency and phase prediction errors at the same time, and tend to be biased towards amplitude errors. We introduce the surface similarity parameter (SSP) as a novel loss function that is especially useful for training machine learning models on smooth oscillatory sequences. Our extensive experiments on chaotic spatio-temporal dynamics systems indicate that the SSP is beneficial for shaping gradients, thereby accelerating the training process, reducing the final prediction error, increasing weight initialization robustness, and implementing a stronger regularization effect compared to using classical loss functions. The results indicate the potential of the novel loss metric particularly for highly complex and chaotic data, such as data stemming from the nonlinear two-dimensional Kuramoto-Sivashinsky equation and the linear propagation of dispersive surface gravity waves in fluids.


title: Second-harmonic generation from singular metasurfaces

abstract: We present a theoretical study of second-harmonic generation from a singular metasurface. The singular metasurfaces strongly interact with the incident light, where the large field enhancement forms an intense surface polarization that generates the second-harmonic field. By using transformation optics, the calculation of nonlinear optical response is converted from the metasurface frame to that of a simple slab geometry, largely reducing the complexity of the problem. In addition, the singular metasurface exhibits a weak dependence on the incident angle of light, which can be potentially used as an all-angle device for harmonic generations. Finally, we study the symmetry dependence of second-harmonic generation in the far field for the singular metasurface and show how to enhance the conversion efficiency under normal incidence by breaking the surface inversion symmetry.


title: N-body simulations, halo mass functions, and halo density profile in $f(T)$ gravity

abstract: We perform N-body simulations for $f(T)$ gravity using the ME-Gadget code, in order to investigate for the first time the structure formation process in detail. Focusing on the power-law model, and considering the model-parameter to be consistent within 1$\sigma$ with all other cosmological datasets (such as SNIa, BAO, CMB, CC), we show that there are clear observational differences between $\Lambda$CDM cosmology and $f(T)$ gravity, due to the modifications brought about the latter in the Hubble function evolution and the effective $Newton\prime s$ constant. We extract the matter density distribution, matter power spectrum, counts-in-cells, halo mass function and excess surface density (ESD) around low density positions (LDPs) at present time. Concerning the matter power spectrum we find a difference from $\Lambda$CDM scenario, which is attributed to about 2/3 to the different expansion and to about 1/3 to the effective gravitational constant. Additionally, we find a difference in the cells, which is significantly larger than the Poisson error, which may be distinguishable with weak-lensing reconstructed mass maps. Moreover, we show that there are different massive halos with mass $M>10^{14}M_{\odot}/h$, which may be distinguishable with statistical measurements of cluster number counting, and we find that the ESD around LDPs is mildly different. In conclusion, high-lighting possible smoking guns, we show that large scale structure can indeed lead us to distinguish General Relativity and $\Lambda$CDM cosmology from $f(T)$ gravity.


title: OmniPD: One-Step Person Detection in Top-View Omnidirectional Indoor Scenes

abstract: We propose a one-step person detector for topview omnidirectional indoor scenes based on convolutional neural networks (CNNs). While state of the art person detectors reach competitive results on perspective images, missing CNN architectures as well as training data that follows the distortion of omnidirectional images makes current approaches not applicable to our data. The method predicts bounding boxes of multiple persons directly in omnidirectional images without perspective transformation, which reduces overhead of pre- and post-processing and enables real-time performance. The basic idea is to utilize transfer learning to fine-tune CNNs trained on perspective images with data augmentation techniques for detection in omnidirectional images. We fine-tune two variants of Single Shot MultiBox detectors (SSDs). The first one uses Mobilenet v1 FPN as feature extractor (moSSD). The second one uses ResNet50 v1 FPN (resSSD). Both models are pre-trained on Microsoft Common Objects in Context (COCO) dataset. We fine-tune both models on PASCAL VOC07 and VOC12 datasets, specifically on class person. Random 90-degree rotation and random vertical flipping are used for data augmentation in addition to the methods proposed by original SSD. We reach an average precision (AP) of 67.3 % with moSSD and 74.9 % with resSSD onthe evaluation dataset. To enhance the fine-tuning process, we add a subset of HDA Person dataset and a subset of PIROPOdatabase and reduce the number of perspective images to PASCAL VOC07. The AP rises to 83.2 % for moSSD and 86.3 % for resSSD, respectively. The average inference speed is 28 ms per image for moSSD and 38 ms per image for resSSD using Nvidia Quadro P6000. Our method is applicable to other CNN-based object detectors and can potentially generalize for detecting other objects in omnidirectional images.


title: Enumeration of three quadrant walks with small steps and walks on other M-quadrant cones

abstract: We address the enumeration of walks with small steps confined to a two-dimensional cone, for example the quarter plane, three-quarter plane or the slit plane. In the quarter plane case, the solutions for unweighted step-sets are already well understood, in the sense that it is known precisely for which cases the generating function is algebraic, D-finite or D-algebraic, and exact integral expressions are known in all cases. We derive similar results in a much more general setting: we enumerate walks on an $M$-quadrant cone for any positive integer $M$, with weighted steps starting at any point. The main breakthrough in this work is the derivation of an analytic functional equation which characterises the generating function of these walks, which is analogous to one now used widely for quarter-plane walks. In the case $M=3$, which corresponds to walks avoiding a quadrant, we provide exact integral-expression solutions for walks with weighted small steps which determine the generating function ${\sf C}(x,y;t)$ counting these walks. Moreover, for each step-set and starting point of the walk we determine whether the generating function ${\sf C}(x,y;t)$ is algebraic, D-finite or D-algebraic as a function of $x$ and $y$. In fact we provide results of this type for any $M$-quadrant cone, showing that this nature is the same for any odd $M$. For $M$ even we find that the generating functions counting these walks are D-finite in $x$ and $y$, and algebraic if and only if the starting point of the walk is on the same axis as the boundaries of the cone.


title: Learning Probability Distributions in Macroeconomics and Finance

abstract: We propose a deep learning approach to probabilistic forecasting of macroeconomic and financial time series. Being able to learn complex patterns from a data rich environment, our approach is useful for a decision making that depends on uncertainty of large number of economic outcomes. Specifically, it is informative to agents facing asymmetric dependence of their loss on outcomes from possibly non-Gaussian and non-linear variables. We show the usefulness of the proposed approach on the two distinct datasets where a machine learns the pattern from data. First, we construct macroeconomic fan charts that reflect information from high-dimensional data set. Second, we illustrate gains in prediction of stock return distributions which are heavy tailed, asymmetric and suffer from low signal-to-noise ratio.


title: Ensuring accurate stain reproduction in deep generative networks for virtual immunohistochemistry

abstract: Immunohistochemistry is a valuable diagnostic tool for cancer pathology. However, it requires specialist labs and equipment, is time-intensive, and is difficult to reproduce. Consequently, a long term aim is to provide a digital method of recreating physical immunohistochemical stains. Generative Adversarial Networks have become exceedingly advanced at mapping one image type to another and have shown promise at inferring immunostains from haematoxylin and eosin. However, they have a substantial weakness when used with pathology images as they can fabricate structures that are not present in the original data. CycleGANs can mitigate invented tissue structures in pathology image mapping but have a related disposition to generate areas of inaccurate staining. In this paper, we describe a modification to the loss function of a CycleGAN to improve its mapping ability for pathology images by enforcing realistic stain replication while retaining tissue structure. Our approach improves upon others by considering structure and staining during model training. We evaluated our network using the Fr\'echet Inception distance, coupled with a new technique that we propose to appraise the accuracy of virtual immunohistochemistry. This assesses the overlap between each stain component in the inferred and ground truth images through colour deconvolution, thresholding and the Sorensen-Dice coefficient. Our modified loss function resulted in a Dice coefficient for the virtual stain of 0.78 compared with the real AE1/AE3 slide. This was superior to the unaltered CycleGAN's score of 0.74. Additionally, our loss function improved the Fr\'echet Inception distance for the reconstruction to 74.54 from 76.47. We, therefore, describe an advance in virtual restaining that can extend to other immunostains and tumour types and deliver reproducible, fast and readily accessible immunohistochemistry worldwide.


title: An Energy Aware Clustering Scheme for 5G-enabled Edge Computing based IoMT Framework

abstract: In recent years, 5G network systems start to offer communication infrastructure for Internet of Things (IoT) applications, especially for health care service pro-viders. In smart health care systems, edge computing enabled Internet of Medical Things (IoMT) is an innovative technology to provide online health care monitor-ing facility to patients. Here, energy consumption, along with extending the lifespan of biosensor network, is a key concern. In this contribution, a Chicken Swarm Optimization algorithm, based on Energy Efficient Multi-objective clus-tering scheme is applied in the context of IoMT system. An effective fitness func-tion is designed for cluster head selection., using multiple objectives, such as re-sidual energy, queuing delay, communication cost, link quality and node centrali-ty. Simulated outcomes of the proposed scheme are compared with the existing schemes in terms of parameters such as cluster formation time, energy consump-tion, network lifetime, throughput and propagation delay.


title: (Fractional) Online Stochastic Matching via Fine-Grained Offline Statistics

abstract: Motivated by display advertising on the internet, the online stochastic matching problem is proposed by Feldman, Mehta, Mirrokni, and Muthukrishnan (FOCS 2009). Consider a stochastic bipartite graph with offline vertices on one side and with i.i.d. online vertices on the other side. The algorithm knows the offline vertices and the distribution of the online vertices in advance. Upon the arrival of each online vertex, its type is realized and the algorithm immediately and irrevocably decides how to match it. In the vertex-weighted version of the problem, each offline vertex is associated with a weight and the goal is to maximize the total weight of the matching. In this paper, we generalize the model to allow non-identical online vertices and focus on the fractional version of the vertex-weighted stochastic matching. We design fractional algorithms that are $0.718$-competitive and $0.731$-competitive for non i.i.d. arrivals and i.i.d. arrivals respectively. We also prove that no fractional algorithm can achieve a competitive ratio better than $0.75$ for non i.i.d. arrivals. Furthermore, we round our fractional algorithms by applying the recently developed multiway online correlated selection by Gao et al. (FOCS 2021) and achieve $0.666$-competitive and $0.704$-competitive integral algorithms for non i.i.d. arrivals and i.i.d. arrivals. Our results for non i.i.d. arrivals are the first algorithms beating the $1-1/e \approx 0.632$ barrier of the classical adversarial setting. Our $0.704$-competitive integral algorithm for i.i.d. arrivals slightly improves the state-of-the-art $0.701$-competitive ratio by Huang and Shu (STOC 2021).


title: Non-intrusive implementation of Multiscale Finite Element Methods: an illustrative example

abstract: Multiscale Finite Element Methods (MsFEM) are finite element type approaches dedicated to multiscale problems. They first compute local, oscillatory, problem-dependent basis functions which generate a specific discretization space, and next perform a Galerkin approximation of the problem on that space. We investigate here how these approaches can be implemented in a non-intrusive way, in order to facilitate their dissemination within industrial codes or non academic environments.


title: On the Shannon capacity of sums and products of graphs

abstract: Let $\Theta(G)$ denote the Shannon capacity of a graph $G$. We give an elementary proof of the equivalence, for any graphs $G$ and $H$, of the inequalities $\Theta(G\sqcup H)>\Theta(G)+\Theta(H)$ and $\Theta(G\boxtimes H)>\Theta(G)\Theta(H)$. This was shown independently by Wigderson and Zuiddam [2022] using Kadison-Dubois duality and the Axiom of choice.


title: Sivers function of sea quarks in the light-cone model

abstract: We calculate the Sivers function of $\bar{u}$ and $\bar{d}$ quarks using the overlap representation within the light-cone formalism. The light-cone wave functions of the proton is obtained in terms of the $|\bar{q} q B\rangle$ Fock states motivated by the meson-baryon fluctuation model. We consider the final-state interaction at the level of one gluon exchange. In a simplified scenario, the Sivers function of $\bar{u}$ and $\bar{d}$ can be expressed as the convolution of the Sivers function of the pion inside the proton and the unpolarized distribution of $\bar{q}$ inside the pion. The model parameters are fixed by fitting the unpolarized sea quark distributions to the known parameterizations. We present the numerical results for $f_1^{\perp \bar{u}/p}(x,\boldsymbol{k}_T^2)$ and $f_1^{\perp \bar{d}/p}(x,\boldsymbol{k}_T^2)$. The first transverse moment of the sea quark Sivers functions in our model are find to be negative and the magnitude is about 0.004 at most.


title: Special flow equation and GKP-Witten relation

abstract: We develop a framework for the reconstruction of the bulk theory dual to conformal field theory (CFT) without any assumption by means of a flow equation. To this end we investigate a minimal extension of the free flow equation and find that at a special parametrization the conformal transformation for a normalized smeared operator exactly becomes the isometry of anti-de Sitter space (AdS). By employing this special flow equation to O$(N)$ vector models, we explicitly show that the AdS geometry as well as the scalar field satisfying the GKP-Witten relation concurrently emerge in this framework.


title: A consistent approach to the path integral formalism of quantum mechanics based on the maximum length uncertainty

abstract: We have developed a proper path integral formalism consistent with the deformed version of the quantum mechanics which contains a maximum observable length scale at the order of the Cosmological particle horizon, existing in cosmology. First, we have presented the modifications to the classical mechanics which shows non-minimal effects on the equation of motion of a particle. Next, we have provided representation of the deformed quantum mechanical algebra. With this algebra in hand, we have calculated the general form of the path integral propagator in this deformed background. Finally, as a most simple case, we have built up the explicit form of the free particle propagator. The modifications to the free particle propagator shows some non-trivial effects in this case, which can have some important significance.


title: A New Refinement-Free Preconditioner for the Symmetric Formulation in Electroencephalography

abstract: Widely employed for the accurate solution of the electroencephalography forward problem, the symmetric formulation gives rise to a first kind, ill-conditioned operator ill-suited for complex modelling scenarios. This work presents a novel preconditioning strategy based on an accurate spectral analysis of the operators involved which, differently from other Calder\'on-based approaches, does not necessitate the barycentric refinement of the primal mesh (i.e., no dual matrix is required). The discretization of the new formulation gives rise to a well-conditioned, symmetric, positive-definite system matrix, which can be efficiently solved via fast iterative techniques. Numerical results for both canonical and realistic head models validate the effectiveness of the proposed formulation.


title: Flexible LED Index Modulation for MIMO Optical Wireless Communications

abstract: The limited bandwidth of optical wireless communication (OWC) front-end devices motivates the use of multiple-input-multiple-output (MIMO) techniques to enhance data rates. It is known that very high multiplexing gains could be achieved by spatial multiplexing (SMX) in exchange for exhaustive detection complexity. Alternatively, in spatial modulation (SM), a single light emitting diode (LED) is activated per time instance where information is carried by both the signal and the LED index. Since only an LED is active, both transmitter (TX) and receiver (RX) complexity reduces significantly while retaining the information transmission in the spatial domain. However, significant spectral efficiency losses occur in SM compared to SMX. In this paper, we propose a technique which adopts the advantages of both systems. Accordingly, the proposed flexible LED index modulation (FLIM) technique harnesses the inactive state of the LEDs as a transmit symbol. Therefore, the number of active LEDs changes in each transmission, unlike conventional techniques. Moreover, the system complexity is reduced by employing a linear minimum mean squared error (MMSE) equalizer and an angle perturbed receiver at the RX. Numerical results show that FLIM outperforms the reference systems by at least 6 dB in the low and medium/high spectral efficiency regions.


title: Semi-Supervised Training to Improve Player and Ball Detection in Soccer

abstract: Accurate player and ball detection has become increasingly important in recent years for sport analytics. As most state-of-the-art methods rely on training deep learning networks in a supervised fashion, they require huge amounts of annotated data, which are rarely available. In this paper, we present a novel generic semi-supervised method to train a network based on a labeled image dataset by leveraging a large unlabeled dataset of soccer broadcast videos. More precisely, we design a teacher-student approach in which the teacher produces surrogate annotations on the unlabeled data to be used later for training a student which has the same architecture as the teacher. Furthermore, we introduce three training loss parametrizations that allow the student to doubt the predictions of the teacher during training depending on the proposal confidence score. We show that including unlabeled data in the training process allows to substantially improve the performances of the detection network trained only on the labeled data. Finally, we provide a thorough performance study including different proportions of labeled and unlabeled data, and establish the first benchmark on the new SoccerNet-v3 detection task, with an mAP of 52.3%. Our code is available at https://github.com/rvandeghen/SST .


title: AlphaFold2 can predict single-mutation effects

abstract: AlphaFold2 (AF) is a promising tool, but is it accurate enough to predict single mutation effects? Here, we report that the localized structural deformation between protein pairs differing by only 1-3 mutations -- as measured by the effective strain -- is correlated across \num{3901} experimental and AF-predicted structures. Furthermore, analysis of ${\sim} 11000$ proteins shows that the local structural change correlates with various phenotypic changes. These findings suggest that AF can predict the range and magnitude of single-mutation effects on average, and we propose a method to improve precision of AF predictions and to indicate when predictions are unreliable.


title: Opacity of the highly ionized lanthanides and the effect on the early kilonova

abstract: We investigate the effect of the presence of lanthanides (Z = 57- 71) on the kilonova at t~hours after the neutron star merger for the first time. For this purpose, we calculate the atomic structures and the opacities for selected lanthanides: Nd (Z = 60), Sm (Z = 62), and Eu (Z = 63). We consider the ionization degree up to tenth (XI), applicable for the ejecta at t ~ a few hours after the merger, when the temperature is T ~ 10^5 K. We find that the opacities for the highly ionized lanthanides are exceptionally high, reaching k_exp~1000 cm^2/g for Eu, due to the highly dense energy levels. Using the new opacity, we perform radiative transfer simulations to show that the early light curves become fainter by a (maximum) factor of four, in comparison to lanthanide-free ejecta at t~0.1 day. However, the period at which the light curves are affected is relatively brief due to the rapid time evolution of the opacity in the outermost layer of the ejecta. We predict that for a source at a distance of ~100 Mpc, UV brightness for lanthanide-rich ejecta shows a drop to ~21-22 mag at t~0.1 day and the UV peaks around t~0.2 day with a magnitude of ~19 mag. Future detection of such a kilonova by the existing UV satellite like Swift or the upcoming UV satellite ULTRASAT will provide useful constraints on the abundance in the outer ejecta and the corresponding nucleosynthesis conditions in the neutron star mergers.


title: An Identity-Preserved Framework for Human Motion Transfer

abstract: Human motion transfer (HMT) aims to generate a video clip for the target subject by imitating the source subject's motion. Although previous methods have achieved good results in synthesizing good-quality videos, they lose sight of individualized motion information from the source and target motions, which is significant for the realism of the motion in the generated video. To address this problem, we propose a novel identity-preserved HMT network, termed \textit{IDPres}. This network is a skeleton-based approach that uniquely incorporates the target's individualized motion and skeleton information to augment identity representations. This integration significantly enhances the realism of movements in the generated videos. Our method focuses on the fine-grained disentanglement and synthesis of motion. To improve the representation learning capability in latent space and facilitate the training of \textit{IDPres}, we introduce three training schemes. These schemes enable \textit{IDPres} to concurrently disentangle different representations and accurately control them, ensuring the synthesis of ideal motions. To evaluate the proportion of individualized motion information in the generated video, we are the first to introduce a new quantitative metric called Identity Score (\textit{ID-Score}), motivated by the success of gait recognition methods in capturing identity information. Moreover, we collect an identity-motion paired dataset, $Dancer101$, consisting of solo-dance videos of 101 subjects from the public domain, providing a benchmark to prompt the development of HMT methods. Extensive experiments demonstrate that the proposed \textit{IDPres} method surpasses existing state-of-the-art techniques in terms of reconstruction accuracy, realistic motion, and identity preservation.


title: ULF: Unsupervised Labeling Function Correction using Cross-Validation for Weak Supervision

abstract: A cost-effective alternative to manual data labeling is weak supervision (WS), where data samples are automatically annotated using a predefined set of labeling functions (LFs), rule-based mechanisms that generate artificial labels for the associated classes. In this work, we investigate noise reduction techniques for WS based on the principle of k-fold cross-validation. We introduce a new algorithm ULF for Unsupervised Labeling Function correction, which denoises WS data by leveraging models trained on all but some LFs to identify and correct biases specific to the held-out LFs. Specifically, ULF refines the allocation of LFs to classes by re-estimating this assignment on highly reliable cross-validated samples. Evaluation on multiple datasets confirms ULF's effectiveness in enhancing WS learning without the need for manual labeling.


title: A Unified Programming Model for Heterogeneous Computing with CPU and Accelerator Technologies

abstract: This paper consists of three parts. The first part provides a unified programming model for heterogeneous computing with CPU and accelerator (like GPU, FPGA, Google TPU, Atos QPU, and more) technologies. To some extent, this new programming model makes programming across CPUs and accelerators turn into usual programming tasks with common programming languages, and relieves complexity of programming across CPUs and accelerators. It can be achieved by extending file managements in common programming languages, such as C/C++, Fortran, Python, MPI, etc., to cover accelerators as I/O devices. In the second part, we show that all types of computer systems can be reduced to the simplest type of computer system, a single-core CPU computer system with I/O devices, by the unified programming model. Thereby, the unified programming model can truly build the programming of various computer systems on one API (i.e. file managements of common programming languages), and can make programming for various computer systems easier. In third part, we present a new approach to coupled applications computing (like multidisciplinary simulations) by the unified programming model. The unified programming model makes coupled applications computing more natural and easier since it only relies on its own power to couple multiple applications through MPI.


title: Finitistic dimensions over commutative DG-rings

abstract: In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq \mathrm{dim}(\mathrm{H}^0 (A)) - \inf(M)$. We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds $\mathrm{dim}(\mathrm{H}^0 (A)) - \mathrm{amp}(A) \leq \mathsf{FPD}(A) \leq \mathrm{dim}(\mathrm{H}^0(A))$. Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.