title: System parameters of three short period cataclysmic variable stars

abstract: Using photometric ULTRACAM observations of three new short period cataclysmic variables, we model the primary eclipse lightcurves to extract the orbital separation, masses, and radii of their component stars. We find donor masses of 0.060 +/- 0.008 solar masses, 0.042 +/- 0.001 solar masses, and 0.042 +/- 0.004 solar masses, two being very low-mass sub-stellar donors, and one within 2 sigma of the hydrogen burning limit. All three of the new systems lie close to the modified, "optimal" model evolutionary sequence of Knigge et al. (2011). We briefly re-evaluate the long-standing discrepancy between observed donor mass and radius data, and theoretical CV evolutionary tracks. By looking at the difference in the observed period at each mass and the period predicted by the Knigge et al. (2011) evolutionary sequence, we qualitatively examine the form of excess angular momentum loss that is missing from the models below the period gap. We show indications that the excess angular momentum loss missing from CV models grows in importance relative to gravitational losses as the period decreases. Detailed CV evolutionary models are necessary to draw more quantitative conclusions in the future.


title: On Hard and Soft Decision Decoding of BCH Codes

abstract: The binary primitive BCH codes are cyclic and are constructed by choosing a subset of the cyclotomic cosets. Which subset is chosen determines the dimension, the minimum distance and the weight distribution of the BCH code. We construct possible BCH codes and determine their coderate, true minimum distance and the non-equivalent codes. A particular choice of cyclotomic cosets gives BCH codes which are, extended by one bit, equivalent to Reed-Muller codes, which is a known result from the sixties. We show that BCH codes have possibly better parameters than Reed-Muller codes, which are related in recent publications to polar codes. We study the decoding performance of these different BCH codes using information set decoding based on minimal weight codewords of the dual code. We show that information set decoding is possible even in case of a channel without reliability information since the decoding algorithm inherently calculates reliability information. Different BCH codes of the same rate are compared and different decoding performances and complexity are observed. Some examples of hard decision decoding of BCH codes have the same decoding performance as maximum likelihood decoding. All presented decoding methods can possibly be extended to include reliability information of a Gaussian channel for soft decision decoding. We show simulation results for soft decision list information set decoding and compare the performance to other methods.


title: CLSRIL-23: Cross Lingual Speech Representations for Indic Languages

abstract: We present a CLSRIL-23, a self supervised learning based audio pre-trained model which learns cross lingual speech representations from raw audio across 23 Indic languages. It is built on top of wav2vec 2.0 which is solved by training a contrastive task over masked latent speech representations and jointly learns the quantization of latents shared across all languages. We compare the language wise loss during pretraining to compare effects of monolingual and multilingual pretraining. Performance on some downstream fine-tuning tasks for speech recognition is also compared and our experiments show that multilingual pretraining outperforms monolingual training, in terms of learning speech representations which encodes phonetic similarity of languages and also in terms of performance on down stream tasks. A decrease of 5% is observed in WER and 9.5% in CER when a multilingual pretrained model is used for finetuning in Hindi. All the code models are also open sourced. CLSRIL-23 is a model trained on $23$ languages and almost 10,000 hours of audio data to facilitate research in speech recognition for Indic languages. We hope that new state of the art systems will be created using the self supervised approach, especially for low resources Indic languages.


title: Local Search for Weighted Tree Augmentation and Steiner Tree

abstract: We present a technique that allows for improving on some relative greedy procedures by well-chosen (non-oblivious) local search algorithms. Relative greedy procedures are a particular type of greedy algorithm that start with a simple, though weak, solution, and iteratively replace parts of this starting solution by stronger components. Some well-known applications of relative greedy algorithms include approximation algorithms for Steiner Tree and, more recently, for connectivity augmentation problems. The main application of our technique leads to a $(1.5+\epsilon)$-approximation for Weighted Tree Augmentation, improving on a recent relative greedy based method with approximation factor $1+\ln 2 + \epsilon\approx 1.69$. Furthermore, we show how our local search technique can be applied to Steiner Tree, leading to an alternative way to obtain the currently best known approximation factor of $\ln 4 + \epsilon$. Contrary to prior methods, our approach is purely combinatorial without the need to solve an LP. Nevertheless, the solution value can still be bounded in terms of the well-known hypergraphic LP, leading to an alternative, and arguably simpler, technique to bound its integrality gap by $\ln 4$.


title: Two-Sided Matching Meets Fair Division

abstract: We introduce a new model for two-sided matching which allows us to borrow popular fairness notions from the fair division literature such as envy-freeness up to one good and maximin share guarantee. In our model, each agent is matched to multiple agents on the other side over whom she has additive preferences. We demand fairness for each side separately, giving rise to notions such as double envy-freeness up to one match (DEF1) and double maximin share guarantee (DMMS). We show that (a slight strengthening of) DEF1 cannot always be achieved, but in the special case where both sides have identical preferences, the round-robin algorithm with a carefully designed agent ordering achieves it. In contrast, DMMS cannot be achieved even when both sides have identical preferences.


title: Lossless, Scalable Implicit Likelihood Inference for Cosmological Fields

abstract: We present a comparison of simulation-based inference to full, field-based analytical inference in cosmological data analysis. To do so, we explore parameter inference for two cases where the information content is calculable analytically: Gaussian random fields whose covariance depends on parameters through the power spectrum; and correlated lognormal fields with cosmological power spectra. We compare two inference techniques: i) explicit field-level inference using the known likelihood and ii) implicit likelihood inference with maximally informative summary statistics compressed via Information Maximising Neural Networks (IMNNs). We find that a) summaries obtained from convolutional neural network compression do not lose information and therefore saturate the known field information content, both for the Gaussian covariance and the lognormal cases, b) simulation-based inference using these maximally informative nonlinear summaries recovers nearly losslessly the exact posteriors of field-level inference, bypassing the need to evaluate expensive likelihoods or invert covariance matrices, and c) even for this simple example, implicit, simulation-based likelihood incurs a much smaller computational cost than inference with an explicit likelihood. This work uses a new IMNNs implementation in $\texttt{Jax}$ that can take advantage of fully-differentiable simulation and inference pipeline. We also demonstrate that a single retraining of the IMNN summaries effectively achieves the theoretically maximal information, enhancing the robustness to the choice of fiducial model where the IMNN is trained.


title: Design and Implementation of an IoT Based LPG and CO Gases Monitoring System

abstract: Nowadays use of liquefied petroleum gas (LPG) has increased. LPG is an asphyxiating, volatile and highly flammable gas. In a LPG leak situation, potential health accidents are increased either by inhalation or by combustion of the gas. On the other hand, carbon monoxide (CO) is a toxic gas that comes mainly from combustion in car engines. Breathing CO-polluted air can cause dizziness, fainting, breathing problems, and sometimes death. To prevent health accidents, including explosions, in open or closed environments, remote and real-time monitoring of the concentration levels of CO and LPG gases has become a necessity. The aim of this work is to demonstrate the use of Internet of Things (IoT) techniques to design and build a telemetry system to monitor in real-time the concentration of GLP and CO gases in the surrounding air. To implement this work, as central hardware there is a microcontroller, CO and PLG sensors on the electronic station. Besides, Amazon Web Services (AWS) was used as an IoT platform and data storage in the cloud. The main result was a telematics system to monitor in real time the concentrations of both GLP and CO gases, whose data is accessible from any device with internet access through a website. Field tests have been successful and have shown that the proposed system is an efficient and low-cost option.


title: A Method for Detecting Abnormal Data of Network Nodes Based on Convolutional Neural Network

abstract: Abnormal data detection is an important step to ensure the accuracy and reliability of node data in wireless sensor networks. In this paper, a data classification method based on convolutional neural network is proposed to solve the problem of data anomaly detection in wireless sensor networks. First, Normal data and abnormal data generated after injection fault are normalized and mapped to gray image as input data of the convolutional neural network. Then, based on the classical convolution neural network, three new convolutional neural network models are designed by designing the parameters of the convolutional layer and the fully connected layer. This model solves the problem that the performance of traditional detection algorithm is easily affected by relevant threshold through self-learning data characteristics of convolution layer. The experimental results show that this method has better detection performance and higher reliability.


title: Requisitos para um r\'adio digital interativo no Brasil e Am\'erica Latina

abstract: This article discusses the feasibility and requirements for using Ginga as the middleware of a Digital Radio System. Ginga was adopted by Brazil and several other countries in Latin America as the standard for interactivity in Digital TV (ISDB-T International). In this article the two digital radio standards being considered for adoption by Brazil are briefly presented, a discussion about the requirements for broadcast radio interactivity is presented, and finally a prototype of a Ginga interactive application for digital radio that was transmitted and received over the air using a digital radio standard is detailed.


title: Machine Learning-Based Analysis of Free-Text Keystroke Dynamics

abstract: The development of active and passive biometric authentication and identification technology plays an increasingly important role in cybersecurity. Keystroke dynamics can be used to analyze the way that a user types based on various keyboard input. Previous work has shown that user authentication and classification can be achieved based on keystroke dynamics. In this research, we consider the problem of user classification based on keystroke dynamics features collected from free-text. We implement and analyze a novel a deep learning model that combines a convolutional neural network (CNN) and a gated recurrent unit (GRU). We optimize the resulting model and consider several relevant related problems. Our model is competitive with the best results obtained in previous comparable research.


title: PC-MLP: Model-based Reinforcement Learning with Policy Cover Guided Exploration

abstract: Model-based Reinforcement Learning (RL) is a popular learning paradigm due to its potential sample efficiency compared to model-free RL. However, existing empirical model-based RL approaches lack the ability to explore. This work studies a computationally and statistically efficient model-based algorithm for both Kernelized Nonlinear Regulators (KNR) and linear Markov Decision Processes (MDPs). For both models, our algorithm guarantees polynomial sample complexity and only uses access to a planning oracle. Experimentally, we first demonstrate the flexibility and efficacy of our algorithm on a set of exploration challenging control tasks where existing empirical model-based RL approaches completely fail. We then show that our approach retains excellent performance even in common dense reward control benchmarks that do not require heavy exploration. Finally, we demonstrate that our method can also perform reward-free exploration efficiently. Our code can be found at https://github.com/yudasong/PCMLP.


title: Studying of final states in p-Au and p-Pb collisions

abstract: In the framework of PYTHIA8.2 program we considered p-Pb and p-Au heavy ion collisions at the energy of 5.02 TeV and 8 TeV. The advantage of this program is in the combining of several nucleon-nucleon collisions into one heavy ion collision, based on phenomenological treatment of a hadron as a vortex line in a color superconducting medium, the consistent treatment of the central rapidity region with improvements of Glauber-like model where diffractive excitation processes are taken into account. We have considered the influence of impact parameter correlations on the production cross sections of p-Pb and p-Au processes to estimate the influence of hard and soft subprocesses on basic hadronic final-state properties in proton-ion collisions. Using these characteristics based on semi-hard multiparton interaction model we received the transverse momentum and rapidity distributions of K-meson and Lambda baryon at the energy of 5.02 TeV and 8.14 TeV.


title: Assign Hysteresis Parameter For Ericsson BTS Power Saving Algorithm Using Unsupervised Learning

abstract: Gaza Strip suffers from a chronic electricity deficit that affects all industries including the telecommunication field, so there is a need to optimize and reduce power consumption of the telecommunication equipment. In this paper we propose a new model that helps GSM radio frequency engineers to choose the optimal value of hysteresis parameter for Ericsson BTS power saving algorithm which aims to switch OFF unused frequency channels, our model is based on unsupervised machine learning clustering K-means algorithm. By using our model with BTS power saving algorithm we reduce number of active TRX by 20.9%.


title: High-level Decisions from a Safe Maneuver Catalog with Reinforcement Learning for Safe and Cooperative Automated Merging

abstract: Reinforcement learning (RL) has recently been used for solving challenging decision-making problems in the context of automated driving. However, one of the main drawbacks of the presented RL-based policies is the lack of safety guarantees, since they strive to reduce the expected number of collisions but still tolerate them. In this paper, we propose an efficient RL-based decision-making pipeline for safe and cooperative automated driving in merging scenarios. The RL agent is able to predict the current situation and provide high-level decisions, specifying the operation mode of the low level planner which is responsible for safety. In order to learn a more generic policy, we propose a scalable RL architecture for the merging scenario that is not sensitive to changes in the environment configurations. According to our experiments, the proposed RL agent can efficiently identify cooperative drivers from their vehicle state history and generate interactive maneuvers, resulting in faster and more comfortable automated driving. At the same time, thanks to the safety constraints inside the planner, all of the maneuvers are collision free and safe.


title: Piezoelectricity in hafnia

abstract: Because of its compatibility with semiconductor-based technologies, hafnia (HfO$_{2}$) is today's most promising ferroelectric material for applications in electronics. Yet, knowledge on the ferroic and electromechanical response properties of this all-important compound is still lacking. Interestingly, HfO$_2$ has recently been predicted to display a negative longitudinal piezoelectric effect, which sets it apart form classic ferroelectrics (e.g., perovskite oxides like PbTiO$_3$) and is reminiscent of the behavior of some organic compounds. The present work corroborates this behavior, by first-principles calculations and an experimental investigation of HfO$_2$ thin films using piezoresponse force microscopy. Further,the simulations show how the chemical coordination of the active oxygen atoms is responsible for the negative longitudinal piezoelectric effect. Building on these insights, it is predicted that, by controlling the environment of such active oxygens (e.g., by means of an epitaxial strain), it is possible to change the sign of the piezoelectric response of the material.


title: From forbidden configurations to a classification of some axial algebras of Monster type

abstract: Ivanov introduced the shape of a Majorana algebra as a record of the $2$-generated subalgebras arising in that algebra. As a broad generalisation of this concept and to free it from the ambient algebra, we introduce the concept of an axet and shapes on an axet. A shape can be viewed as an algebra version of a group amalgam. Just like an amalgam, a shape leads to a unique algebra completion which may be non-trivial or it may collapse. Then for a natural family of shapes of generalised Monster type we classify all completion algebras and discover that a great majority of them collapse, confirming the observations made in an earlier paper.


title: Cheatsheets for Authentication and Key Agreements in 2G, 3G, 4G, and 5G

abstract: Authentication and Key Agreement (AKA) is a type of security protocol, used in 3GPP mobile networks, that provides two security capabilities. The first capability, called authentication, is to cryptographically assert that a mobile phone or a network is indeed who it claims to be, and the second capability, called key agreement, is to put necessary cryptographic keys in place for protection of traffic between the mobile phone and the network. Jointly, these two capabilities lay the foundation of secure 3GPP mobile networks. From 2G-5G, there are eight main versions of AKA, details of which are spread over and embedded deep in multiple technical specifications. It is getting increasingly difficult to quickly check a certain property of a certain AKA, let alone grasp the full picture of all AKAs. Therefore, I have prepared cheatsheets for all AKA versions and listed their main properties. I hope these will benefit university students, security researchers, and 3GPP standardization community. I welcome any corrections and feedback.


title: Strong solutions to McKean-Vlasov SDEs with coefficients of Nemytskii-type

abstract: We study a large class of McKean-Vlasov SDEs with drift and diffusion coefficient depending on the density of the solution's time marginal laws in a Nemytskii-type of way. A McKean-Vlasov SDE of this kind arises from the study of the associated nonlinear FPKE, for which is known that there exists a bounded Sobolev-regular Schwartz-distributional solution u. Via the superposition principle, it is already known that there exists a weak solution to the McKean-Vlasov SDE with time marginal densities u. We show that there exists a strong solution the McKean-Vlasov SDE, which is unique among weak solutions with time marginal densities u. The main tool is a restricted Yamada-Watanabe theorem for SDEs, which is obtained by an observation in the proof of the classic Yamada-Watanabe theorem.


title: The theorem on the magnetic field of rotating charged bodies

abstract: The method of retarded potentials is used to derive the Biot-Savart law, taking into account the correction that describes the chaotic motion of charged particles in rectilinear currents. Then this method is used for circular currents and the following theorem is proved: The magnetic field on the rotation axis of an axisymmetric charged body or charge distribution has only one component directed along the rotation axis, and the magnetic field is expressed through the surface integral, which does not require integration over the azimuthal angle . In the general case, for arbitrary charge distribution and for any location of the rotation axis, the magnetic field is expressed through the volume integral, in which the integrand does not depend on the angle . The obtained simple formulas in cylindrical and spherical coordinates allow us to quickly find the external and central magnetic field of rotating bodies on the rotation axis.


title: A Tauberian Approach to an Analog of Weyl's law for the Kohn Laplacian on Compact Heisenberg Manifolds

abstract: Let $M= \Gamma \setminus \mathbb{H}_d$ be a compact quotient of the $d$-dimensional Heisenberg group $\mathbb{H}_d$ by a lattice subgroup $\Gamma$. We show that the eigenvalue counting function $N(\lambda)$ for any fixed element of a family of second order differential operators $\left\{\mathcal{L}_\alpha\right\}$ on $M$ has asymptotic behavior $N\left(\lambda\right) \sim C_{d,\alpha} \operatorname{vol}\left(M\right) \lambda^{d + 1}$, where $C_{d,\alpha}$ is a constant that only depends on the dimension $d$ and the parameter $\alpha$. As a consequence, we obtain an analog of Weyl's law (both on functions and forms) for the Kohn Laplacian on $M$. Our main tools are Folland's description of the spectrum of $\mathcal{L}_{\alpha}$ and Karamata's Tauberian theorem.


title: Optimal Scoring Rule Design under Partial Knowledge

abstract: This paper studies the design of optimal proper scoring rules when the principal has partial knowledge of an agent's signal distribution. Recent work characterizes the proper scoring rules that maximize the increase of an agent's payoff when the agent chooses to access a costly signal to refine a posterior belief from her prior prediction, under the assumption that the agent's signal distribution is fully known to the principal. In our setting, the principal only knows about a set of distributions where the agent's signal distribution belongs. We formulate the scoring rule design problem as a max-min optimization that maximizes the worst-case increase in payoff across the set of distributions. We propose an efficient algorithm to compute an optimal scoring rule when the set of distributions is finite, and devise a fully polynomial-time approximation scheme that accommodates various infinite sets of distributions. We further remark that widely used scoring rules, such as the quadratic and log rules, as well as previously identified optimal scoring rules under full knowledge, can be far from optimal in our partial knowledge settings.


title: Universal dynamics of a turbulent superfluid Bose gas

abstract: We study the emergence of universal scaling in the time-evolving momentum distribution of a harmonically trapped three-dimensional Bose-Einstein condensate, parametrically driven to a turbulent state. We demonstrate that the out-of-equilibrium dynamics post excitation is described by a single function due to nearby non-thermal fixed points. The observed behavior connects the dynamics of a quantum turbulent state to several far-from-equilibrium phenomena. We present a controllable protocol to explore universality in such systems, obtaining scaling exponents that can serve as reference for future theoretical investigations. Our experimental results thus offer a promising route to investigate the complex dynamics of the quantum turbulent regime under a novel perspective.


title: Polyhedral approximation of metric surfaces and applications to uniformization

abstract: We prove that any length metric space homeomorphic to a 2-manifold with boundary, also called a length surface, is the Gromov-Hausdorff limit of polyhedral surfaces with controlled geometry. As an application, using the classical uniformization theorem for Riemann surfaces and a limiting argument, we establish a general "one-sided" quasiconformal uniformization theorem for length surfaces with locally finite Hausdorff 2-measure. Our approach yields a new proof of the Bonk-Kleiner theorem characterizing Ahlfors 2-regular quasispheres.


title: Untrained DNN for Channel Estimation of RIS-Assisted Multi-User OFDM System with Hardware Impairments

abstract: Reconfigurable intelligent surface (RIS) is an emerging technology for improving performance in fifth-generation (5G) and beyond networks. Practically channel estimation of RIS-assisted systems is challenging due to the passive nature of the RIS. The purpose of this paper is to introduce a deep learning-based, low complexity channel estimator for the RIS-assisted multi-user single-input-multiple-output (SIMO) orthogonal frequency division multiplexing (OFDM) system with hardware impairments. We propose an untrained deep neural network (DNN) based on the deep image prior (DIP) network to denoise the effective channel of the system obtained from the conventional pilot-based least-square (LS) estimation and acquire a more accurate estimation. We have shown that our proposed method has high performance in terms of accuracy and low complexity compared to conventional methods. Further, we have shown that the proposed estimator is robust to interference caused by the hardware impairments at the transceiver and RIS.


title: Causality constraints in Quadratic Gravity

abstract: Classifying consistent effective field theories for the gravitational interaction has recently been the subject of intense research. Demanding the absence of causality violation in high energy graviton scattering processes has led to a hierarchy of constraints on higher derivative terms in the Lagrangian. Most of these constraints have relied on analysis that is performed in general relativistic backgrounds, as opposed to a generic solution to the equations of motion which are perturbed by higher curvature operators. Hence, these constraints are necessary but may not be sufficient to ensure that the theory is consistent. In this context, we explore the so-called CEMZ causality constraints on Quadratic Gravity in a space of shock wave solutions beyond GR. We show that the Shapiro time delay experienced by a graviton is polarization-independent and positive, regardless of the strength of the gravitational couplings. Our analysis shows that as far as the causality constraints are concerned, albeit inequivalent to General Relativity due to additional propagating modes, Quadratic Gravity is causal as per as the diagnostic proposed by CEMZ.


title: Multiclass Permanent Magnets Superstructure for Indoor Localization using Artificial Intelligence

abstract: Smartphones have become a popular tool for indoor localization and position estimation of users. Existing solutions mainly employ Wi-Fi, RFID, and magnetic sensing techniques to track movements in crowded venues. These are highly sensitive to magnetic clutters and depend on local ambient magnetic fields, which frequently degrades their performance. Also, these techniques often require pre-known mapping surveys of the area, or the presence of active beacons, which are not always available. We embed small-volume and large-moment magnets in pre-known locations and arrange them in specific geometric constellations that create magnetic superstructure patterns of supervised magnetic signatures. These signatures constitute an unambiguous magnetic environment with respect to the moving sensor carrier. The localization algorithm learns the unique patterns of the scattered magnets during training and detects them from the ongoing streaming of data during localization. Our contribution is twofold. First, we deploy passive permanent magnets that do not require a power supply, in contrast to active magnetic transmitters. Second, we perform localization based on smartphone motion rather than on static positioning of the magnetometer. In our previous study, we considered a single superstructure pattern. Here, we present an extended version of that algorithm for multi-superstructure localization, which covers a broader localization area of the user. Experimental results demonstrate localization accuracy of 95% with a mean localization error of less than 1m using artificial intelligence.


title: Vector-like quarks decaying into singly and doubly charged bosons at LHC

abstract: We investigate the production of vector-like quarks with charge $5/3$ at the LHC and their subsequent decays into new singly or doubly charged bosons plus a heavy quark (top or bottom). In particular, we explore final states with same-sign di-leptons (electron or muon pairs), with the leptons coming from the decay of the new bosons and, in the case of production of singly charged bosons, from top quarks as well. These processes are predicted by classes of models based on extensions of the gauge group of the Standard Model, such as the 331 Model, where the electroweak symmetry is described by $SU(3)_L\times U(1)_X$, $X$ being a new abelian charge. For this purpose, a CMS search for vector-like partners with charge 5/3 decaying into $Wt$ is recast to obtain model-independent bounds and projected reaches at future luminosity stages of the LHC. The results are then interpreted as mass bounds for the new particles predicted in the 331 Model and as a constrain on the scale of its spontaneous symmetry breaking. The complete set of model-independent results are provided as recast efficiencies, to allow for reinterpretation in different scenarios.


title: Non-Markovian SIR epidemic spreading model

abstract: We introduce non-Markovian SIR epidemic spreading model inspired by the characteristics of the COVID-19, by considering discrete- and continuous-time versions. The incubation period, delayed infectiousness and the distribution of the recovery period are modeled with general functions. By taking corresponding choice of these functions, it is shown that the model reduces to the classical Markovian case. The epidemic threshold is analytically determined for arbitrary functions of infectivity and recovery and verified numerically. The relevance of the model is shown by modeling the first wave of the epidemic in Italy, in the spring, 2020.


title: Subrepresentations in the homology of finite covers of graphs

abstract: Let $p \colon Y \to X$ be a finite, regular cover of finite graphs with associated deck group $G$, and consider the first homology $H_1(Y;\mathbb{C})$ of the cover as a $G$-representation. The main contribution of this article is to broaden the correspondence and dictionary between the representation theory of the deck group $G$ on the one hand, and topological properties of homology classes in $H_1(Y;\mathbb{C})$ on the other hand. We do so by studying certain subrepresentations in the $G$-representation $H_1(Y;\mathbb{C})$. The homology class of a lift of a primitive element in $\pi_1(X)$ spans an induced subrepresentation in $H_1(Y;\mathbb{C})$, and we show that this property is never sufficient to characterize such homology classes if $G$ is Abelian. We study $H_1^{\textrm{comm}}(Y;\mathbb{C}) \leq H_1(Y;\mathbb{C})$ -- the subrepresentation spanned by homology classes of lifts of commutators of primitive elements in $\pi_1(X)$. Concretely, we prove that the span of such a homology class is isomorphic to the quotient of two induced representations. Furthermore, we construct examples of finite covers with $H_1^{\textrm{comm}}(Y;\mathbb{C}) \neq \ker(p_*)$.


title: Real-time Electron Solvation Induced by Bursts of Laser-accelerated Protons in Liquid Water

abstract: Understanding the mechanisms of proton energy deposition in matter and subsequent damage formation is fundamental to radiation science. Here we exploit the picosecond (10^-12 s) resolution of laser-driven accelerators to track ultra-fast solvation dynamics for electrons due to proton radiolysis in liquid water (H2O). Comparing these results with modelling that assumes initial conditions similar to those found in photolysis reveals that solvation time due to protons is extended by > 20 ps. Supported by magneto-hydrodynamic theory this indicates a highly dynamic phase in the immediate aftermath of the proton interaction that is not accounted for in current models.


title: Wordcraft: a Human-AI Collaborative Editor for Story Writing

abstract: As neural language models grow in effectiveness, they are increasingly being applied in real-world settings. However these applications tend to be limited in the modes of interaction they support. In this extended abstract, we propose Wordcraft, an AI-assisted editor for story writing in which a writer and a dialog system collaborate to write a story. Our novel interface uses few-shot learning and the natural affordances of conversation to support a variety of interactions. Our editor provides a sandbox for writers to probe the boundaries of transformer-based language models and paves the way for future human-in-the-loop training pipelines and novel evaluation methods.


title: High carbon stock mapping at large scale with optical satellite imagery and spaceborne LIDAR

abstract: The increasing demand for commodities is leading to changes in land use worldwide. In the tropics, deforestation, which causes high carbon emissions and threatens biodiversity, is often linked to agricultural expansion. While the need for deforestation-free global supply chains is widely recognized, making progress in practice remains a challenge. Here, we propose an automated approach that aims to support conservation and sustainable land use planning decisions by mapping tropical landscapes at large scale and high spatial resolution following the High Carbon Stock (HCS) approach. A deep learning approach is developed that estimates canopy height for each 10 m Sentinel-2 pixel by learning from sparse GEDI LIDAR reference data, achieving an overall RMSE of 6.3 m. We show that these wall-to-wall maps of canopy top height are predictive for classifying HCS forests and degraded areas with an overall accuracy of 86 % and produce a first high carbon stock map for Indonesia, Malaysia, and the Philippines.


title: Hierarchical graph neural nets can capture long-range interactions

abstract: Graph neural networks (GNNs) based on message passing between neighboring nodes are known to be insufficient for capturing long-range interactions in graphs. In this project we study hierarchical message passing models that leverage a multi-resolution representation of a given graph. This facilitates learning of features that span large receptive fields without loss of local information, an aspect not studied in preceding work on hierarchical GNNs. We introduce Hierarchical Graph Net (HGNet), which for any two connected nodes guarantees existence of message-passing paths of at most logarithmic length w.r.t. the input graph size. Yet, under mild assumptions, its internal hierarchy maintains asymptotic size equivalent to that of the input graph. We observe that our HGNet outperforms conventional stacking of GCN layers particularly in molecular property prediction benchmarks. Finally, we propose two benchmarking tasks designed to elucidate capability of GNNs to leverage long-range interactions in graphs.


title: A note on asymptotic density

abstract: It is proved that $P(\omega)/\triangle_d$, where $\triangle_d$ is the ideal of sets of asymptotic density zero, is universal in the sense of embeddings.


title: The Sonora Brown Dwarf Atmosphere and Evolution Models I. Model Description and Application to Cloudless Atmospheres in Rainout Chemical Equilibrium

abstract: We present a new generation of substellar atmosphere and evolution models, appropriate for application to studies of L, T, and Y-type brown dwarfs and self-luminous extrasolar planets. The atmosphere models describe the expected temperature-pressure profiles and emergent spectra of atmospheres in radiative-convective equilibrium with effective temperatures and gravities within the ranges $200\le T_{\rm eff}\le2400\,\rm K$ and $2.5\le \log g \le 5.5$. These ranges encompass masses from about 0.5 to 85 Jupiter masses for a set of metallicities ($[{\rm M/H}] = -0.5$ to $+0.5$), C/O ratios (from 0.5 to 1.5 times that of solar), and ages. The evolution tables describe the cooling of these substellar objects through time. These models expand the diversity of model atmospheres currently available, notably to cooler effective temperatures and greater ranges in C/O. Notable improvements from past such models include updated opacities and atmospheric chemistry. Here we describe our modeling approach and present our initial tranche of models for cloudless, chemical equilibrium atmospheres. We compare the modeled spectra, photometry, and evolution to various datasets.


title: A Deep Search for Five Molecules in the 49 Ceti Debris Disk

abstract: Surprisingly strong CO emission has been observed from more than a dozen debris disks around nearby main-sequence stars. The origin of this CO is unclear, in particular whether it is left over from the protoplanetary disk phase or is second-generation material released from collisions between icy bodies like debris dust. The primary unexplored avenue for distinguishing the origin of the material is understanding its molecular composition. Here we present a deep search for five molecules (CN, HCN, HCO+, SiO, and CH3OH) in the debris disk around 49 Ceti. We take advantage of the high sensitivity of the Atacama Large Millimeter/submillimeter Array (ALMA) at Band 7 to integrate for 3.2 hours at modest spatial (1") and spectral (0.8 km/s) resolution. Our search yields stringent upper limits on the flux of all surveyed molecular lines, which imply abundances relative to CO that are orders of magnitude lower than those observed in protoplanetary disks and Solar System comets, and also those predicted in outgassing models of second-generation material. However, if CI shielding is responsible for extending the lifetime of any CO produced in second-generation collisions, as proposed by Kral et al. (2018), then the line ratios do not reflect true ice phase chemical abundances, but rather imply that CO is shielded by its own photodissociation product, CI, but other molecules are rapidly photodissociated by the stellar and interstellar radiation field.


title: FastSHAP: Real-Time Shapley Value Estimation

abstract: Shapley values are widely used to explain black-box models, but they are costly to calculate because they require many model evaluations. We introduce FastSHAP, a method for estimating Shapley values in a single forward pass using a learned explainer model. FastSHAP amortizes the cost of explaining many inputs via a learning approach inspired by the Shapley value's weighted least squares characterization, and it can be trained using standard stochastic gradient optimization. We compare FastSHAP to existing estimation approaches, revealing that it generates high-quality explanations with orders of magnitude speedup.


title: StyleFusion: A Generative Model for Disentangling Spatial Segments

abstract: We present StyleFusion, a new mapping architecture for StyleGAN, which takes as input a number of latent codes and fuses them into a single style code. Inserting the resulting style code into a pre-trained StyleGAN generator results in a single harmonized image in which each semantic region is controlled by one of the input latent codes. Effectively, StyleFusion yields a disentangled representation of the image, providing fine-grained control over each region of the generated image. Moreover, to help facilitate global control over the generated image, a special input latent code is incorporated into the fused representation. StyleFusion operates in a hierarchical manner, where each level is tasked with learning to disentangle a pair of image regions (e.g., the car body and wheels). The resulting learned disentanglement allows one to modify both local, fine-grained semantics (e.g., facial features) as well as more global features (e.g., pose and background), providing improved flexibility in the synthesis process. As a natural extension, StyleFusion enables one to perform semantically-aware cross-image mixing of regions that are not necessarily aligned. Finally, we demonstrate how StyleFusion can be paired with existing editing techniques to more faithfully constrain the edit to the user's region of interest.


title: Convolutional Neural Bandit for Visual-aware Recommendation

abstract: Online recommendation/advertising is ubiquitous in web business. Image displaying is considered as one of the most commonly used formats to interact with customers. Contextual multi-armed bandit has shown success in the application of advertising to solve the exploration-exploitation dilemma existing in the recommendation procedure. Inspired by the visual-aware recommendation, in this paper, we propose a contextual bandit algorithm, where the convolutional neural network (CNN) is utilized to learn the reward function along with an upper confidence bound (UCB) for exploration. We also prove a near-optimal regret bound $\tilde{\mathcal{O}}(\sqrt{T})$ when the network is over-parameterized, and establish strong connections with convolutional neural tangent kernel (CNTK). Finally, we evaluate the empirical performance of the proposed algorithm and show that it outperforms other state-of-the-art UCB-based bandit algorithms on real-world image data sets.


title: The $\pi f_0(500)$ decay of the $a_1(1260)$

abstract: We evaluate the $a_1(1260) \to \pi \sigma (f_0(500))$ decay width from the perspective that the $a_1(1260)$ resonance is dynamically generated from the pseudoscalar-vector interaction and the $\sigma$ arises from the pseudoscalar-pseudoscalar interaction. A triangle mechanism with $a_1(1260) \to \rho \pi$ followed by $\rho \to \pi \pi$ and a fusion of two pions within the loop to produce the $\sigma$ provides the mechanism for this decay under these assumptions for the nature of the two resonances. We obtain widths of the order of $13-22$ MeV. Present experimental results differ substantially from each other, suggesting that extra efforts should be devoted to the precise extraction of this important partial decay width, which should provide valuable information on the nature of the axial vector and scalar meson resonances and help clarify the role of the $\pi\sigma$ channel in recent lattice QCD calculations of the $a_1$.


title: EPTAS for stable allocations in matching games

abstract: Gale-Shapley introduced a matching problem between two sets of agents where each agent on one side has a preference over the agents of the other side and proved algorithmically the existence of a pairwise stable matching (i.e. no uncoupled pair can be better off by matching). Shapley-Shubik, Demange-Gale, and many others extended the model by allowing monetary transfers. In this paper, we study an extension where matched couples obtain their payoffs as the outcome of a strategic game and more particularly a solution concept that combines Gale-Shapley pairwise stability with a constrained Nash equilibrium notion (no player can increase its payoff by playing a different strategy without violating the participation constraint of the partner). Whenever all couples play zero-sum matrix games, strictly competitive bi-matrix games, or infinitely repeated bi-matrix games, we can prove that a modification of some algorithms in the literature converge to an $\varepsilon$-stable allocation in at most $O(\frac{1}{\varepsilon})$ steps where each step is polynomial (linear with respect to the number of players and polynomial of degree at most 5 with respect to the number of pure actions per player).


title: Reliability Analysis of Slotted Aloha with Capture for an OWC-based IoT system

abstract: In this article, we consider a random access scheme for an indoor Internet of Things (IoT) framework that uses optical wireless communication (OWC). We focus on a Slotted ALOHA (SA)-based solution where a number of OWC IoT users contend to send data to a central OWC receiver. In any given slot, and for a randomly selected active user, we consider the reliability of decoding the user's data packet at the receiver. This is done by deriving the signal-to-noise-and-interference-ratio (SINR) statistics from a randomly chosen user and evaluating the probability that the user's SINR is below a given threshold. By placing our analysis in the context of an indoor OWC IoT uplink setup, and employing the standard OWC channel model, we investigate the trade-offs between the reliability and the OWC system parameters such as the cell area or the transmitter's semi-angle. We obtain valuable insights into the design of an SA-based random access solution for a typical indoor OWC cell.


title: MXDAG: A Hybrid Abstraction for Cluster Applications

abstract: Distributed applications, such as database queries and distributed training, consist of both compute and network tasks. DAG-based abstraction primarily targets compute tasks and has no explicit network-level scheduling. In contrast, Coflow abstraction collectively schedules network flows among compute tasks but lacks the end-to-end view of the application DAG. Because of the dependencies and interactions between these two types of tasks, it is sub-optimal to only consider one of them. We argue that co-scheduling of both compute and network tasks can help applications towards the globally optimal end-to-end performance. However, none of the existing abstractions can provide fine-grained information for co-scheduling. We propose MXDAG, an abstraction to treat both compute and network tasks explicitly. It can capture the dependencies and interactions of both compute and network tasks leading to improved application performance.


title: Multi-label Chaining with Imprecise Probabilities

abstract: We present two different strategies to extend the classical multi-label chaining approach to handle imprecise probability estimates. These estimates use convex sets of distributions (or credal sets) in order to describe our uncertainty rather than a precise one. The main reasons one could have for using such estimations are (1) to make cautious predictions (or no decision at all) when a high uncertainty is detected in the chaining and (2) to make better precise predictions by avoiding biases caused in early decisions in the chaining. We adapt both strategies to the case of the naive credal classifier, showing that this adaptations are computationally efficient. Our experimental results on missing labels, which investigate how reliable these predictions are in both approaches, indicate that our approaches produce relevant cautiousness on those hard-to-predict instances where the precise models fail.


title: Islands in charged linear dilaton black holes

abstract: We investigate the Page curve for a non-standard black hole which is asymptotically non-flat/AdS/dS. For this purpose, we apply the island prescription to the charged linear dilaton black holes and analyze, in detail, the entanglement entropy of Hawking radiation for both the non-extremal case and the extremal case. In the non-extremal case, we find the Page curve consistent with the unitarity principle: at early times the entanglement entropy grows linearly in time without the island and at late times it is saturated double of the Bekenstein-Hawking entropy in the presence of the island. We observe the Page time is universal for all different models studied by our method: $t_{\text{Page}}=\frac{3}{ \pi c}\frac{S_{\text{BH}}}{T_H}.$ For the extremal case, the island prescription provides the well defined entanglement entropy only with the island, which can not be obtained from the continuous limit of the non-extremal case. This implies that the Page curve may not be reproduced for the extremal case and further investigation is needed.


title: AutoBERT-Zero: Evolving BERT Backbone from Scratch

abstract: Transformer-based pre-trained language models like BERT and its variants have recently achieved promising performance in various natural language processing (NLP) tasks. However, the conventional paradigm constructs the backbone by purely stacking the manually designed global self-attention layers, introducing inductive bias and thus leads to sub-optimal. In this work, we make the first attempt to automatically discover novel pre-trained language model (PLM) backbone on a flexible search space containing the most fundamental operations from scratch. Specifically, we propose a well-designed search space which (i) contains primitive math operations in the intra-layer level to explore novel attention structures, and (ii) leverages convolution blocks to be the supplementary for attentions in the inter-layer level to better learn local dependency. To enhance the efficiency for finding promising architectures, we propose an Operation-Priority Neural Architecture Search (OP-NAS) algorithm, which optimizes both the search algorithm and evaluation of candidate models. Specifically, we propose Operation-Priority (OP) evolution strategy to facilitate model search via balancing exploration and exploitation. Furthermore, we design a Bi-branch Weight-Sharing (BIWS) training strategy for fast model evaluation. Extensive experiments show that the searched architecture (named AutoBERT-Zero) significantly outperforms BERT and its variants of different model capacities in various downstream tasks, proving the architecture's transfer and scaling abilities. Remarkably, AutoBERT-Zero-base outperforms RoBERTa-base (using much more data) and BERT-large (with much larger model size) by 2.4 and 1.4 higher score on GLUE test set.


title: Personalizing User Engagement Dynamics in a Non-Verbal Communication Game for Cerebral Palsy

abstract: Children and adults with cerebral palsy (CP) can have involuntary upper limb movements as a consequence of the symptoms that characterize their motor disability, leading to difficulties in communicating with caretakers and peers. We describe how a socially assistive robot may help individuals with CP to practice non-verbal communicative gestures using an active orthosis in a one-on-one number-guessing game. We performed a user study and data collection with participants with CP; we found that participants preferred an embodied robot over a screen-based agent, and we used the participant data to train personalized models of participant engagement dynamics that can be used to select personalized robot actions. Our work highlights the benefit of personalized models in the engagement of users with CP with a socially assistive robot and offers design insights for future work in this area.


title: The Effect of Continuum Elimination in Identifying Circumstellar Dust around Mira

abstract: Asymptotic Giant Branch (AGB) stars are major contributors of cosmic dust to the universe. Typically, dust around AGB stars is investigated via radiative transfer (RT) modeling, or via simple deconstruction of observed spectra. However, methodologies applied vary. Using archival spectroscopic, photometric, and temporal data for the archetypal dusty star, Mira, we identify its circumstellar silicate dust grains. This is achieved by matching the positions and widths of observed spectral features with laboratory data. To do this comparison properly, it is necessary to account for the continuum emission. Here we investigate various ways in which a continuum is eliminated from observational spectra and how it affects the interpretation of spectral features. We find that while the precise continuum shapes and temperatures do not have a critical impact on the positions and shapes of dust spectral features, it is important to eliminate continua in a specific way. It is important to understand what contributes to the spectrum in order to remove the continuum in a way that allows comparison with laboratory spectra of candidate dust species. Our methodologies are applicable to optically thin systems, like that of Mira. Higher optical depths will require RT modeling, which cannot include many different potential astrominerals because there is a lack of complex refractive indices. Finally, we found that the classic silicate feature exhibited by Mira is not consistent with a real amorphous silicate alone but may be best explained with a small alumina contribution to match the observed FWHM of the 10 micron feature.


title: Structural complexity in Prussian blue analogues

abstract: We survey the most important kinds of structural complexity in Prussian blue analogues, their implications for materials function, and how they might be controlled through judicious choice of composition. We focus on six particular aspects: octahedral tilts, A-site `slides', Jahn--Teller distortions, A-site species and occupancy, hexacyanometallate vacancies, and framework hydration. The promising K-ion cathode material K$_x$Mn[Fe(CN)$_6$]$_y$ serves as a recurrent example that illustrates many of these different types of complexity. Our article concludes with a discussion of how the interplay of various distortion mechanisms might be exploited to optimise the performance of this and other related systems, so as to aid in the design of next-generation PBA materials.


title: Adversarial Attacks on Multi-task Visual Perception for Autonomous Driving

abstract: Deep neural networks (DNNs) have accomplished impressive success in various applications, including autonomous driving perception tasks, in recent years. On the other hand, current deep neural networks are easily fooled by adversarial attacks. This vulnerability raises significant concerns, particularly in safety-critical applications. As a result, research into attacking and defending DNNs has gained much coverage. In this work, detailed adversarial attacks are applied on a diverse multi-task visual perception deep network across distance estimation, semantic segmentation, motion detection, and object detection. The experiments consider both white and black box attacks for targeted and un-targeted cases, while attacking a task and inspecting the effect on all the others, in addition to inspecting the effect of applying a simple defense method. We conclude this paper by comparing and discussing the experimental results, proposing insights and future work. The visualizations of the attacks are available at https://youtu.be/6AixN90budY.


title: Decompositions of even hypercubes into cycles whose length is a power of two

abstract: If $n$ is even, the $n$-dimensional hypercube can be decomposed into edge-disjoint cycles of length $2^i$ for every value of $i$ from $2$ to $n$.


title: Data vs classifiers, who wins?

abstract: The experiments covered by Machine Learning (ML) must consider two important aspects to assess the performance of a model: datasets and algorithms. Robust benchmarks are needed to evaluate the best classifiers. For this, one can adopt gold standard benchmarks available in public repositories. However, it is common not to consider the complexity of the dataset when evaluating. This work proposes a new assessment methodology based on the combination of Item Response Theory (IRT) and Glicko-2, a rating system mechanism generally adopted to assess the strength of players (e.g., chess). For each dataset in a benchmark, the IRT is used to estimate the ability of classifiers, where good classifiers have good predictions for the most difficult test instances. Tournaments are then run for each pair of classifiers so that Glicko-2 updates performance information such as rating value, rating deviation and volatility for each classifier. A case study was conducted hereby which adopted the OpenML-CC18 benchmark as the collection of datasets and pool of various classification algorithms for evaluation. Not all datasets were observed to be really useful for evaluating algorithms, where only 10% were considered really difficult. Furthermore, the existence of a subset containing only 50% of the original amount of OpenML-CC18 was verified, which is equally useful for algorithm evaluation. Regarding the algorithms, the methodology proposed herein identified the Random Forest as the algorithm with the best innate ability.


title: GI-NNet \& RGI-NNet: Development of Robotic Grasp Pose Models, Trainable with Large as well as Limited Labelled Training Datasets, under supervised and semi supervised paradigms

abstract: Our way of grasping objects is challenging for efficient, intelligent and optimal grasp by COBOTs. To streamline the process, here we use deep learning techniques to help robots learn to generate and execute appropriate grasps quickly. We developed a Generative Inception Neural Network (GI-NNet) model, capable of generating antipodal robotic grasps on seen as well as unseen objects. It is trained on Cornell Grasping Dataset (CGD) and attained 98.87% grasp pose accuracy for detecting both regular and irregular shaped objects from RGB-Depth (RGB-D) images while requiring only one third of the network trainable parameters as compared to the existing approaches. However, to attain this level of performance the model requires the entire 90% of the available labelled data of CGD keeping only 10% labelled data for testing which makes it vulnerable to poor generalization. Furthermore, getting sufficient and quality labelled dataset is becoming increasingly difficult keeping in pace with the requirement of gigantic networks. To address these issues, we attach our model as a decoder with a semi-supervised learning based architecture known as Vector Quantized Variational Auto Encoder (VQVAE), which works efficiently when trained both with the available labelled and unlabelled data. The proposed model, which we name as Representation based GI-NNet (RGI-NNet), has been trained with various splits of label data on CGD with as minimum as 10% labelled dataset together with latent embedding generated from VQVAE up to 50% labelled data with latent embedding obtained from VQVAE. The performance level, in terms of grasp pose accuracy of RGI-NNet, varies between 92.13% to 95.6% which is far better than several existing models trained with only labelled dataset. For the performance verification of both GI-NNet and RGI-NNet models, we use Anukul (Baxter) hardware cobot.


title: Next-item Recommendations in Short Sessions

abstract: The changing preferences of users towards items trigger the emergence of session-based recommender systems (SBRSs), which aim to model the dynamic preferences of users for next-item recommendations. However, most of the existing studies on SBRSs are based on long sessions only for recommendations, ignoring short sessions, though short sessions, in fact, account for a large proportion in most of the real-world datasets. As a result, the applicability of existing SBRSs solutions is greatly reduced. In a short session, quite limited contextual information is available, making the next-item recommendation very challenging. To this end, in this paper, inspired by the success of few-shot learning (FSL) in effectively learning a model with limited instances, we formulate the next-item recommendation as an FSL problem. Accordingly, following the basic idea of a representative approach for FSL, i.e., meta-learning, we devise an effective SBRS called INter-SEssion collaborative Recommender netTwork (INSERT) for next-item recommendations in short sessions. With the carefully devised local module and global module, INSERT is able to learn an optimal preference representation of the current user in a given short session. In particular, in the global module, a similar session retrieval network (SSRN) is designed to find out the sessions similar to the current short session from the historical sessions of both the current user and other users, respectively. The obtained similar sessions are then utilized to complement and optimize the preference representation learned from the current short session by the local module for more accurate next-item recommendations in this short session. Extensive experiments conducted on two real-world datasets demonstrate the superiority of our proposed INSERT over the state-of-the-art SBRSs when making next-item recommendations in short sessions.


title: Dynamic Equations of Motion for Inextensible Beams and Plates

abstract: The large deflections of cantilevered beams and plates are modeled and discussed. Traditional nonlinear elastic models (e.g., that of von Karman) employ elastic restoring forces based on the effect of stretching on bending, and these are less applicable to cantilevers. Recent experimental work indicates that elastic cantilevers are subject to nonlinear inertial and stiffness effects. We review a recently established (quasilinear and nonlocal) cantilevered beam model, and consider some natural extensions to two dimensions -- namely, inextensible plates. Our principal configuration is that of a thin, isotropic, homogeneous rectangular plate, clamped on one edge and free on the remaining three. We proceed through the geometric and elastic modeling to obtain equations of motion via Hamilton's principle for the appropriately specified energies. We enforce {\em effective} inextensibility constraints through Lagrange multipliers. Multiple plate analogs of the established 1D model are obtained, based on various assumptions. For each plate model, we present the modeling hypotheses and the resulting equations of motion. It total, we present three distinct nonlinear partial differential equation models, and, additionally, describe a class of ``higher order" models. Each model has particular advantages and drawbacks for both mathematical and engineering analyses. We conclude with an in depth discussion and comparison of the various systems and some analytical problems.


title: Shifts: A Dataset of Real Distributional Shift Across Multiple Large-Scale Tasks

abstract: There has been significant research done on developing methods for improving robustness to distributional shift and uncertainty estimation. In contrast, only limited work has examined developing standard datasets and benchmarks for assessing these approaches. Additionally, most work on uncertainty estimation and robustness has developed new techniques based on small-scale regression or image classification tasks. However, many tasks of practical interest have different modalities, such as tabular data, audio, text, or sensor data, which offer significant challenges involving regression and discrete or continuous structured prediction. Thus, given the current state of the field, a standardized large-scale dataset of tasks across a range of modalities affected by distributional shifts is necessary. This will enable researchers to meaningfully evaluate the plethora of recently developed uncertainty quantification methods, as well as assessment criteria and state-of-the-art baselines. In this work, we propose the Shifts Dataset for evaluation of uncertainty estimates and robustness to distributional shift. The dataset, which has been collected from industrial sources and services, is composed of three tasks, with each corresponding to a particular data modality: tabular weather prediction, machine translation, and self-driving car (SDC) vehicle motion prediction. All of these data modalities and tasks are affected by real, "in-the-wild" distributional shifts and pose interesting challenges with respect to uncertainty estimation. In this work we provide a description of the dataset and baseline results for all tasks.


title: Latent Modes of Nonlinear Flows -- a Koopman Theory Analysis

abstract: Extracting the latent underlying structures of complex nonlinear local and nonlocal flows is essential for their analysis and modeling. In this work, we attempt to provide a consistent framework through Koopman theory and its related popular discrete approximation -- dynamic mode decomposition (DMD). We investigate the conditions to perform appropriate linearization, dimensionality reduction, and representation of flows in a highly general setting. The essential elements of this framework are Koopman Eigenfunction (KEF), for which existence conditions are formulated. This is done by viewing the dynamic as a curve in state-space. These conditions lay the foundations for system reconstruction, global controllability, and observability for nonlinear dynamics. We examine the limitations of DMD through the analysis of Koopman theory and propose a new mode decomposition technique based on the typical time profile of the dynamics. An overcomplete dictionary of decay profiles is used to sparsely approximate the flow. This analysis is also valid in the full continuous setting of Koopman theory, which is based on variational calculus. We demonstrate applications of this analysis, such as finding KEFs and their multiplicities, dynamics reconstruction, and global linearization.


title: Probing the profile of bulk matter in p+Pb collisions via directed flow of heavy quarks

abstract: The asymmetric initial geometry in p+Pb collisions provide an opportunity to probe the initial matter distribution in these collisions. Using A Multi-Phase Transport (AMPT) model, we have studied the production of light and heavy quark particles in p+Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV. The pseudo-rapidity density (dN/d$\eta$) and elliptic flow ($v_{2}$) of light-quark particles from AMPT reasonably agrees with the measurements by ALICE. We predicted the directed flow of light and heavy quarks in p+Pb collisions. The $v_{1}$ of both light and heavy-quark mesons show a non-trivial $p_{T}$ dependence in p- and Pb-going directions. When integrated over the transverse momentum range 0 $ < p_{T} < $5 GeV/c, the magnitude of heavy quark directed flow ($v_{1}$) is found to be 15 times larger than the light quark species in the Pb-going direction while the same in the p-going direction are comparable. The light and heavy quarks $v_{1}$ may offer the possibility to probe the initial matter density as well as the collective dynamics in p+Pb collisions


title: On the Complexity of SPEs in Parity Games

abstract: We study the complexity of problems related to subgame-perfect equilibria (SPEs) in infinite duration non zero-sum multiplayer games played on finite graphs with parity objectives. We present new complexity results that close gaps in the literature. Our techniques are based on a recent characterization of SPEs in prefix-independent games that is grounded on the notions of requirements and negotiation, and according to which the plays supported by SPEs are exactly the plays consistent with the requirement that is the least fixed point of the negotiation function. The new results are as follows. First, checking that a given requirement is a fixed point of the negotiation function is an NP-complete problem. Second, we show that the SPE constrained existence problem is NP-complete, this problem was previously known to be ExpTime-easy and NP-hard. Third, the SPE constrained existence problem is fixed-parameter tractable when the number of players and of colors are parameters. Fourth, deciding whether some requirement is the least fixed point of the negotiation function is complete for the second level of the Boolean hierarchy. Finally, the SPE-verification problem -- that is, the problem of deciding whether there exists a play supported by a SPE that satisfies some LTL formula -- is PSpace-complete, this problem was known to be ExpTime-easy and PSpace-hard.


title: Bridging Nano and Micro-scale X-ray Tomography for Battery Research by Leveraging Artificial Intelligence

abstract: X-ray Computed Tomography (X-ray CT) is a well-known non-destructive imaging technique where contrast originates from the materials' absorption coefficients. Novel battery characterization studies on increasingly challenging samples have been enabled by the rapid development of both synchrotron and laboratory-scale imaging systems as well as innovative analysis techniques. Furthermore, the recent development of laboratory nano-scale CT (NanoCT) systems has pushed the limits of battery material imaging towards voxel sizes previously achievable only using synchrotron facilities. Such systems are now able to reach spatial resolutions down to 50 nm. Given the non-destructive nature of CT, in-situ and operando studies have emerged as powerful methods to quantify morphological parameters, such as tortuosity factor, porosity, surface area, and volume expansion during battery operation or cycling. Combined with powerful Artificial Intelligence (AI)/Machine Learning (ML) analysis techniques, extracted 3D tomograms and battery-specific morphological parameters enable the development of predictive physics-based models that can provide valuable insights for battery engineering. These models can predict the impact of the electrode microstructure on cell performances or analyze the influence of material heterogeneities on electrochemical responses. In this work, we review the increasing role of X-ray CT experimentation in the battery field, discuss the incorporation of AI/ML in analysis, and provide a perspective on how the combination of multi-scale CT imaging techniques can expand the development of predictive multiscale battery behavioral models.


title: Rule-based Evaluation and Optimal Control for Autonomous Driving

abstract: We develop optimal control strategies for autonomous vehicles (AVs) that are required to meet complex specifications imposed as rules of the road (ROTR) and locally specific cultural expectations of reasonable driving behavior. We formulate these specifications as rules, and specify their priorities by constructing a priority structure, called \underline{T}otal \underline{OR}der over e\underline{Q}uivalence classes (TORQ). We propose a recursive framework, in which the satisfaction of the rules in the priority structure are iteratively relaxed in reverse order of priority. Central to this framework is an optimal control problem, where convergence to desired states is achieved using Control Lyapunov Functions (CLFs) and clearance with other road users is enforced through Control Barrier Functions (CBFs). We present offline and online approaches to this problem. In the latter, the AV has limited sensing range that affects the activation of the rules, and the control is generated using a receding horizon (Model Predictive Control, MPC) approach. We also show how the offline method can be used for after-the-fact (offline) pass/fail evaluation of trajectories - a given trajectory is rejected if we can find a controller producing a trajectory that leads to less violation of the rule priority structure. We present case studies with multiple driving scenarios to demonstrate the effectiveness of the algorithms, and to compare the offline and online versions of our proposed framework.


title: Using a template engine as a computer algebra tool

abstract: In research problems that involve the use of numerical methods for solving systems of ordinary differential equations (ODEs), it is often required to select the most efficient method for a particular problem. To solve a Cauchy problem for a system of ODEs, Runge-Kutta methods (explicit or implicit ones, with or without step-size control, etc.) are employed. In that case, it is required to search through many implementations of the numerical method and select coefficients or other parameters of its numerical scheme. This paper proposes a library and scripts for automated generation of routine functions in the Julia programming language for a set of numerical schemes of Runge-Kutta methods. For symbolic manipulations, we use a template substitution tool. The proposed approach to automated generation of program code allows us to use a single template for editing, instead of modifying each individual function to be compared. On the one hand, this provides universality in the implementation of a numerical scheme and, on the other hand, makes it possible to minimize the number of errors in the process of modifying the compared implementations of the numerical method. We consider Runge-Kutta methods without step-size control, embedded methods with step-size control, and Rosenbrock methods with step-size control. The program codes for the numerical schemes, which are generated automatically using the proposed library, are tested by numerical solution of several well-known problems.


title: Implementing efficient selective quantum process tomography of superconducting quantum gates on the IBM quantum processor

abstract: The experimental implementation of selective quantum process tomography (SQPT) involves computing individual elements of the process matrix with the help of a special set of states called quantum 2-design states. However, the number of experimental settings required to prepare input states from quantum 2-design states to selectively and precisely compute a desired element of the process matrix is still high, and hence constructing the corresponding unitary operations in the lab is a daunting task. In order to reduce the experimental complexity, we mathematically reformulated the standard SQPT problem, which we term the modified SQPT (MSQPT) method. We designed the generalized quantum circuit to prepare the required set of input states and formulated an efficient measurement strategy aimed at minimizing the experimental cost of SQPT. We experimentally demonstrated the MSQPT protocol on the IBM QX2 cloud quantum processor and selectively characterized various two- and three-qubit quantum gates.


title: Non existence and strong ill-posedness in $C^k$ and Sobolev spaces for SQG

abstract: We construct solutions in $\mathbb{R}^2$ with finite energy of the surface quasi-geostrophic equations (SQG) that initially are in $C^k$ ($k\geq 2$) but that are not in $C^{k}$ for $t>0$. We prove a similar result also for $H^{s}$ in the range $s\in(\frac32,2)$. Moreover, we prove strong ill-posedness in the critical space $H^{2}$.


title: Amodal segmentation just like doing a jigsaw

abstract: Amodal segmentation is a new direction of instance segmentation while considering the segmentation of the visible and occluded parts of the instance. The existing state-of-the-art method uses multi-task branches to predict the amodal part and the visible part separately and subtract the visible part from the amodal part to obtain the occluded part. However, the amodal part contains visible information. Therefore, the separated prediction method will generate duplicate information. Different from this method, we propose a method of amodal segmentation based on the idea of the jigsaw. The method uses multi-task branches to predict the two naturally decoupled parts of visible and occluded, which is like getting two matching jigsaw pieces. Then put the two jigsaw pieces together to get the amodal part. This makes each branch focus on the modeling of the object. And we believe that there are certain rules in the occlusion relationship in the real world. This is a kind of occlusion context information. This jigsaw method can better model the occlusion relationship and use the occlusion context information, which is important for amodal segmentation. Experiments on two widely used amodally annotated datasets prove that our method exceeds existing state-of-the-art methods. The source code of this work will be made public soon.


title: Measurement of undulator section wakefield at the SXFEL test facility

abstract: In free electron laser facilities, almost every kind of device will generate wakefield when an electron beam passes through it. Most of the wakefields are undesired and have a negative effect on the electron beam, which means a decrease of FEL performance. As for the SXFEL test facility, the sophisticated layout and the cumulative effect of such a long undulator section lead to an obvious wakefield, which is strong enough that can not be ignored. Based on two deflecting cavities at the entrance and the exit of the undulator section with corresponding profile monitors, we measured the wakefield of the undulator section. In this paper, we give the theoretical and simulation results of resistive wall wakefields which agree well with each other. In addition, the experimental and the simulation results of the overall undulator wakefield are given showing small difference. In order to explore the impact of this wakefield on FEL lasing, we give the simulation results of FEL with and without wakefield for comparison. There is almost no impact on 44 nm FEL in stage-1 of cascaded EEHG-HGHG mode, while the impact on 8.8 nm FEL in stage-2 becomes critical decreasing the pulse energy and peak power by 42% and 27% and broadening the bandwidth.


title: Trade-Based LDPC Codes

abstract: LDPC codes based on multiple-edge protographs potentially have larger minimum distances compared to their counterparts, single-edge protographs. However, considering different features of their Tanner graph, such as short cycles, girth and other graphical structures, is harder than for Tanner graphs from single-edge protographs. In this paper, we provide a novel approach to construct the parity-check matrix of an LDPC code which is based on trades obtained from block designs. We employ our method to construct two important categories of LDPC codes; quasi-cyclic (QC) LDPC and spatially-coupled LDPC (SC-LDPC) codes. We use those trade-based matrices to define base matrices of multiple-edge protographs. The construction of exponent matrices corresponding to these base matrices has less complexity compared to the ones proposed in the literature. We prove that these base matrices result in QC-LDPC codes with smaller lower bounds on the lifting degree than existing ones. There are three categories of SC-LDPC codes: periodic, time-invariant and time-varying. Constructing the parity-check matrix of the third one is more difficult because of the time dependency in the parity-check matrix. We use a trade-based matrix to obtain the parity-check matrix of a time-varying SC-LDPC code in which each downwards row displacement of the trade-based matrix yields syndrome matrices of a particular time. Combining the different row shifts the whole parity-check matrix is obtained. Our proposed method to construct parity-check and base matrices from trade designs is applicable to any type of super-simple directed block designs. We apply our technique to directed designs with smallest defining sets containing at least half of the blocks. To demonstrate the significance of our contribution, we provide a number of numerical and simulation results.


title: Only Train Once: A One-Shot Neural Network Training And Pruning Framework

abstract: Structured pruning is a commonly used technique in deploying deep neural networks (DNNs) onto resource-constrained devices. However, the existing pruning methods are usually heuristic, task-specified, and require an extra fine-tuning procedure. To overcome these limitations, we propose a framework that compresses DNNs into slimmer architectures with competitive performances and significant FLOPs reductions by Only-Train-Once (OTO). OTO contains two keys: (i) we partition the parameters of DNNs into zero-invariant groups, enabling us to prune zero groups without affecting the output; and (ii) to promote zero groups, we then formulate a structured-sparsity optimization problem and propose a novel optimization algorithm, Half-Space Stochastic Projected Gradient (HSPG), to solve it, which outperforms the standard proximal methods on group sparsity exploration and maintains comparable convergence. To demonstrate the effectiveness of OTO, we train and compress full models simultaneously from scratch without fine-tuning for inference speedup and parameter reduction, and achieve state-of-the-art results on VGG16 for CIFAR10, ResNet50 for CIFAR10 and Bert for SQuAD and competitive result on ResNet50 for ImageNet. The source code is available at https://github.com/tianyic/only_train_once.


title: A modular U-Net for automated segmentation of X-ray tomography images in composite materials

abstract: X-ray Computed Tomography (XCT) techniques have evolved to a point that high-resolution data can be acquired so fast that classic segmentation methods are prohibitively cumbersome, demanding automated data pipelines capable of dealing with non-trivial 3D images. Deep learning has demonstrated success in many image processing tasks, including material science applications, showing a promising alternative for a humanfree segmentation pipeline. In this paper a modular interpretation of UNet (Modular U-Net) is proposed and trained to segment 3D tomography images of a three-phased glass fiber-reinforced Polyamide 66. We compare 2D and 3D versions of our model, finding that the former is slightly better than the latter. We observe that human-comparable results can be achievied even with only 10 annotated layers and using a shallow U-Net yields better results than a deeper one. As a consequence, Neural Network (NN) show indeed a promising venue to automate XCT data processing pipelines needing no human, adhoc intervention.


title: Refinement of quantum Markov states on trees

abstract: In the present paper, we propose a refinement for the notion of quantum Markov states (QMS) on trees. A structure theorem for QMS on general trees is proved. We notice that any restriction of QMS in the sense of Ref. \cite{AccFid03} is not necessarily to be a QMS. It turns out that localized QMS has the mentioned property which is called \textit{sub-Markov states}, this allows us to characterize translation invariant QMS on regular trees.


title: Consistent higher order $\sigma(\mathcal{G} \,\mathcal{G}\rightarrow h)$, $\Gamma(h \rightarrow \mathcal{G} \,\mathcal{G})$ and $\Gamma(h \rightarrow \gamma \gamma)$ in geoSMEFT

abstract: We report consistent results for $\Gamma(h \rightarrow \gamma \gamma)$, $\sigma(\mathcal{G} \,\mathcal{G}\rightarrow h)$ and $\Gamma(h \rightarrow \mathcal{G} \,\mathcal{G})$ in the Standard Model Effective Field Theory (SMEFT) perturbing the SM by corrections $\mathcal{O}(\bar{v}_T^2/16 \pi^2 \Lambda^2)$ in the Background Field Method (BFM) approach to gauge fixing, and to $\mathcal{O}(\bar{v}_T^4/\Lambda^4)$ using the geometric formulation of the SMEFT. We combine and modify recent results in the literature into a complete set of consistent results, uniforming conventions, and simultaneously complete the one loop results for these processes in the BFM. We emphasise calculational scheme dependence present across these processes, and how the operator and loop expansions are not independent beyond leading order. We illustrate several cross checks of consistency in the results.


title: Objective Metrics to Evaluate Residual-Echo Suppression During Double-Talk

abstract: Human subjective evaluation is optimal to assess speech quality for human perception. The recently introduced deep noise suppression mean opinion score (DNSMOS) metric was shown to estimate human ratings with great accuracy. The signal-to-distortion ratio (SDR) metric is widely used to evaluate residual-echo suppression (RES) systems by estimating speech quality during double-talk. However, since the SDR is affected by both speech distortion and residual-echo presence, it does not correlate well with human ratings according to the DNSMOS. To address that, we introduce two objective metrics to separately quantify the desired-speech maintained level (DSML) and residual-echo suppression level (RESL) during double-talk. These metrics are evaluated using a deep learning-based RES-system with a tunable design parameter. Using 280 hours of real and simulated recordings, we show that the DSML and RESL correlate well with the DNSMOS with high generalization to various setups. Also, we empirically investigate the relation between tuning the RES-system design parameter and the DSML-RESL tradeoff it creates and offer a practical design scheme for dynamic system requirements.


title: On the Realization of WIMPflation

abstract: We consider models for inflation with a stable inflaton. Reheating is achieved through scattering processes such as $\phi \phi \to h h$, where $h$ is the Standard Model Higgs boson. We consider the reheating process in detail and show that for a relatively large coupling (needed for the late annihilations of the inflaton during freeze-out), reheating is almost instantaneous leading to a relatively high reheating temperature. The process $\phi \phi \leftrightarrow h h$ brings the inflaton back into equilibrium, leading to a well studied scalar singlet dark matter candidate and Higgs portal model. We argue that such models can be derived from no-scale supergravity.


title: The Length of the Longest Sequence of Consecutive FS-double Squares in a word

abstract: A square is a concatenation of two identical words, and a word $w$ is said to have a square $yy$ if $w$ can be written as $xyyz$ for some words $x$ and $z$. It is known that the ratio of the number of distinct squares in a word to its length is less than two and any location of a word could begin with at most two rightmost distinct squares. A square whose first location starts with the last occurrence of two distinct squares is an FS-double square. We explore and identify the conditions to generate a sequence of locations in a word that starts with FS-double squares. We first find the structure of the smallest word that begins with two consecutive FS-double squares and obtain its properties that enable to extend the sequence of FS-double squares. It is proved that the length of the longest sequence of consecutive FS-double squares in a word of length $n$ is at most $\frac{n}{7}$. We show that the squares in the longest sequence of consecutive FS-double squares are conjugates.


title: Homological regularities and concavities

abstract: This paper concerns homological notions of regularity for noncommutative algebras. Properties of an algebra $A$ are reflected in the regularities of certain (complexes of) $A$-modules. We study the classical Tor-regularity and Castelnuovo-Mumford regularity, which were generalized from the commutative setting to the noncommutative setting by J{\o}rgensen and Dong-Wu. We also introduce two new numerical homological invariants: concavity and Artin-Schelter regularity. Artin-Schelter regular algebras occupy a central position in noncommutative algebra and noncommutative algebraic geometry, and we use these invariants to establish criteria which can be used to determine whether a noetherian connected graded algebra is Artin-Schelter regular.


title: A comparison of nonlinear extensions to the ensemble Kalman filter: Gaussian Anamorphosis and Two-Step Ensemble Filters

abstract: Ensemble Kalman filters are based on a Gaussian assumption, which can limit their performance in some non-Gaussian settings. This paper reviews two nonlinear, non-Gaussian extensions of the Ensemble Kalman Filter: Gaussian anamorphosis (GA) methods and two-step updates, of which the rank histogram filter (RHF) is a prototypical example. GA-EnKF methods apply univariate transforms to the state and observation variables to make their distribution more Gaussian before applying an EnKF. The two-step methods use a scalar Bayesian update for the first step, followed by linear regression for the second step. The connection of the two-step framework to the full Bayesian problem is made, which opens the door to more advanced two-step methods in the full Bayesian setting. A new method for the first part of the two-step framework is proposed, with a similar form to the RHF but a different motivation, called the `improved RHF' (iRHF). A suite of experiments with the Lorenz-`96 model demonstrate situations where the GA-EnKF methods are similar to EnKF, and where they outperform EnKF. The experiments also strongly support the accuracy of the RHF and iRHF filters for nonlinear and non-Gaussian observations; these methods uniformly beat the EnKF and GA-EnKF methods in the experiments reported here. The new iRHF method is only more accurate than RHF at small ensemble sizes in the experiments reported here.


title: Colossal orbital-Edelstein effect in non-centrosymmetric superconductors

abstract: In superconductors that lack inversion symmetry, the flow of supercurrent can induce a non-vanishing magnetization, a phenomenon which is at the heart of non-dissipative magneto-electric effects, also known as Edelstein effects. For electrons carrying spin and orbital moments a question of fundamental relevance deals with the orbital nature of magneto-electric effects in conventional spin-singlet superconductors with Rashba coupling. Remarkably, we find that the supercurrent-induced orbital magnetization is more than one order of magnitude greater than that due to the spin, giving rise to a colossal magneto-electric effect. The induced orbital magnetization is shown to be sign tunable, with the sign change occurring for the Fermi level lying in proximity of avoiding crossing points in the Brillouin zone and in the presence of superconducting phase inhomogeneities, yielding domains with opposite orbital moment orientation. The orbital-dominated magneto-electric phenomena, hence, have clear-cut marks for detection both in the bulk and at the edge of the system and are expected to be a general feature of multi-orbital superconductors without inversion symmetry breaking.


title: A Survey of Perception-Based Visualization Studies by Task

abstract: Knowledge of human perception has long been incorporated into visualizations to enhance their quality and effectiveness. The last decade, in particular, has shown an increase in perception-based visualization research studies. With all of this recent progress, the visualization community lacks a comprehensive guide to contextualize their results. In this report, we provide a systematic and comprehensive review of research studies on perception related to visualization. This survey reviews perception-focused visualization studies since 1980 and summarizes their research developments focusing on low-level tasks, further breaking techniques down by visual encoding and visualization type. In particular, we focus on how perception is used to evaluate the effectiveness of visualizations, to help readers understand and apply the principles of perception of their visualization designs through a task-optimized approach. We concluded our report with a summary of the weaknesses and open research questions in the area.


title: NPASA: An algorithm for nonlinear programming -- Local Convergence

abstract: In this paper, we provide local convergence analysis for the two phase Nonlinear Polyhedral Active Set Algorithm (NPASA) designed to solve nonlinear programs. In particular, we establish local quadratic convergence of the primal iterates and global error estimator for NPASA under reasonable assumptions. Additionally, under the same set of assumptions we prove that only phase two of NPASA is executed after finitely many iterations. This paper is companion to a paper that provides motivation and global convergence analysis for NPASA.


title: NPASA: An algorithm for nonlinear programming -- Motivation and Global Convergence

abstract: In this paper, we present a two phase method for solving nonlinear programming problems called Nonlinear Polyhedral Active Set Algorithm (NPASA) that has global and local convergence guarantees under reasonable assumptions. The first phase consists of an augmented Lagrangian method to ensure global convergence while the second phase is designed to promote fast local convergence by performing a balanced reduction of two error estimators for nonlinear programs. After presenting error estimators for nonlinear programs and our algorithm NPASA, we establish global convergence properties for NPASA. Local quadratic convergence of NPASA is established in a companion paper.


title: Newton-LESS: Sparsification without Trade-offs for the Sketched Newton Update

abstract: In second-order optimization, a potential bottleneck can be computing the Hessian matrix of the optimized function at every iteration. Randomized sketching has emerged as a powerful technique for constructing estimates of the Hessian which can be used to perform approximate Newton steps. This involves multiplication by a random sketching matrix, which introduces a trade-off between the computational cost of sketching and the convergence rate of the optimization algorithm. A theoretically desirable but practically much too expensive choice is to use a dense Gaussian sketching matrix, which produces unbiased estimates of the exact Newton step and which offers strong problem-independent convergence guarantees. We show that the Gaussian sketching matrix can be drastically sparsified, significantly reducing the computational cost of sketching, without substantially affecting its convergence properties. This approach, called Newton-LESS, is based on a recently introduced sketching technique: LEverage Score Sparsified (LESS) embeddings. We prove that Newton-LESS enjoys nearly the same problem-independent local convergence rate as Gaussian embeddings, not just up to constant factors but even down to lower order terms, for a large class of optimization tasks. In particular, this leads to a new state-of-the-art convergence result for an iterative least squares solver. Finally, we extend LESS embeddings to include uniformly sparsified random sign matrices which can be implemented efficiently and which perform well in numerical experiments.


title: Asteroid Diameters and Albedos from NEOWISE Reactivation Mission Years Six and Seven

abstract: We present diameters and albedos computed for the near-Earth and Main Belt asteroids observed by the Near-Earth Object Wide-field Infrared Survey Explorer (NEOWISE) spacecraft during the sixth and seventh years of its Reactivation mission. These diameters and albedos are calculated from fitting thermal models to NEOWISE observations of $199$ NEOs and $5851$ MBAs detected during the sixth year of the survey, and $175$ NEOs and $5861$ MBAs from the seventh year. Comparisons of the near-Earth object diameters derived from Reactivation data with those derived from the WISE cryogenic mission data show a $\sim30\%$ relative uncertainty. This larger uncertainty compared to data from the cryogenic mission is due to the need to assume a beaming parameter for the fits to the shorter wavelength data that the Reactivation mission is limited to. We also present an analysis of the orbital parameters of the Main Belt asteroids that have been discovered by NEOWISE during Reactivation, finding that these objects tend to be on orbits that result in their perihelia being far from the ecliptic, and thus missed by other surveys. To date, the NEOWISE Reactivation survey has provided thermal fits of $1415$ unique NEOs. Including the mission phases before spacecraft hibernation increases the count of unique NEOs characterized to $1845$ from WISE's launch to the present.


title: Characteristics and Challenges of Low-Code Development: The Practitioners' Perspective

abstract: Background: In recent years, Low-code development (LCD) is growing rapidly, and Gartner and Forrester have predicted that the use of LCD is very promising. Giant companies, such as Microsoft, Mendix, and Outsystems have also launched their LCD platforms. Aim: In this work, we explored two popular online developer communities, Stack Overflow (SO) and Reddit, to provide insights on the characteristics and challenges of LCD from a practitioners' perspective. Method: We used two LCD related terms to search the relevant posts in SO and extracted 73 posts. Meanwhile, we explored three LCD related subreddits from Reddit and collected 228 posts. We extracted data from these posts and applied the Constant Comparison method to analyze the descriptions, benefits, and limitations and challenges of LCD. For platforms and programming languages used in LCD, implementation units in LCD, supporting technologies of LCD, types of applications developed by LCD, and domains that use LCD, we used descriptive statistics to analyze and present the results. Results: Our findings show that: (1) LCD may provide a graphical user interface for users to drag and drop with little or even no code; (2) the equipment of out-of-the-box units (e.g., APIs and components) in LCD platforms makes them easy to learn and use as well as speeds up the development; (3) LCD is particularly favored in the domains that have the need for automated processes and workflows; and (4) practitioners have conflicting views on the advantages and disadvantages of LCD. Conclusions: Our findings suggest that researchers should clearly define the terms when they refer to LCD, and developers should consider whether the characteristics of LCD are appropriate for their projects.


title: Personalized and Reliable Decision Sets: Enhancing Interpretability in Clinical Decision Support Systems

abstract: In this study, we present a novel clinical decision support system and discuss its interpretability-related properties. It combines a decision set of rules with a machine learning scheme to offer global and local interpretability. More specifically, machine learning is used to predict the likelihood of each of those rules to be correct for a particular patient, which may also contribute to better predictive performances. Moreover, the reliability analysis of individual predictions is also addressed, contributing to further personalized interpretability. The combination of these several elements may be crucial to obtain the clinical stakeholders' trust, leading to a better assessment of patients' conditions and improvement of the physicians' decision-making.