title: Seeds of SEED: A Side-Channel Resilient Cache Skewed by a Linear Function over a Galois Field

abstract: Consider a set-associative cache with $p^n$ sets and $p^n$ ways where $p$ is prime and $n>0$. Furthermore, assume that the cache may be shared among $p^n$ mutually distrusting principals that may use the Prime+Probe side-channel attack against one another; architecturally, these principals occupy separate security domains (for example, separate processes, virtual machines, sandboxes, etc.). This paper shows that there exists a linear skewing of cache sets over the Galois field $G_{p^n}$ that exhibits the following property: each cache set of each security domain intersects every cache set of every other security domain exactly once. Therefore, a random eviction from a single cache set in security domain $A$ may be observed via Prime+Probe in any of security domain $B$'s cache sets. This paper characterizes this linear skewing and describes how it can be implemented efficiently in hardware.


title: An Empirical Study of Accuracy, Fairness, Explainability, Distributional Robustness, and Adversarial Robustness

abstract: To ensure trust in AI models, it is becoming increasingly apparent that evaluation of models must be extended beyond traditional performance metrics, like accuracy, to other dimensions, such as fairness, explainability, adversarial robustness, and distribution shift. We describe an empirical study to evaluate multiple model types on various metrics along these dimensions on several datasets. Our results show that no particular model type performs well on all dimensions, and demonstrate the kinds of trade-offs involved in selecting models evaluated along multiple dimensions.


title: BEST Impact on Sterile Neutrino Hypothesis

abstract: Recently the Baksan Experiment on Sterile Transitions (BEST) has presented results confirming the gallium anomaly -- a lack of electron neutrinos $\nu_e$ at calibrations of SAGE and GALLEX -- at the statistical significance exceeding 5$\,\sigma$. This result is consistent with explanation of the gallium anomaly as electron neutrino oscillations into sterile neutrino, $\nu_s$. Within this explanation the BEST experiment itself provides the strongest evidence for the sterile neutrino among all the previous anomalous results in the neutrino sector. We combine the results of gallium experiments with searches for sterile neutrinos in reactor antineutrino experiments (assuming CPT-conservation in the $3+1$ neutrino sector). While the "gallium" best fit point in the model parameter space (sterile neutrino mass squared $m_{\nu_s}^2\approx 1.25\,$eV$^2$, sterile-electron neutrino mixing $\sin^22\theta\approx 0.34$) is excluded by these searches, a part of the BEST-favored 2$\,\sigma$ region with $m^2_{\nu_s}>5\,$eV$^2$ is consistent with all of them. Remarkably, the regions advertised by anomalous results of the NEUTRINO-4 experiment overlap with those of the BEST experiment: the best fit point of the joint analysis is $\sin^22\theta\approx 0.38$, $m_{\nu_s}^2\approx7.3\,$eV$^2$, the favored region will be explored by the KATRIN experiment. The sterile neutrino explanation of the BEST results would suggest not only the extension of the Standard Model of particle physics, but also either serious modifications of the Standard Cosmological Model and Solar Model, or a specific modification of the sterile sector needed to suppress the sterile neutrino production in the early Universe and in the Sun.


title: The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

abstract: If two conical symplectic resolutions $X\to X_0$ and $X^!\to X_0^!$ are symplectic dual, the cohomology ring $H^*(X)$ and the coordinate ring of $\mathbb{C}^*$-fixed points in $X_0^!$ are expected to be isomorphic as graded algebras. This statement is called Hikita conjecture and it is known that the conjecture holds for some cases. In this paper, we deal with the cohomology of framed moduli spaces over the projective plane and the coordinate ring of $\mathbb{C}^*$- fixed points of $\mathbb{C}^{2n}/((\mathbb{Z}/r\mathbb{Z})\wr S_n) $ and show that these are isomorphic as graded vector spaces.


title: Bursting Bubbles: Feedback from Clustered SNe and the Trade-off Between Turbulence and Outflows

abstract: We present an analytic model for clustered supernovae (SNe) feedback in galaxy disks, incorporating the dynamical evolution of superbubbles formed from spatially overlapping SNe remnants. We propose two realistic outcomes for the evolution of superbubbles in galactic disks: (1) the expansion velocity of the shock front falls below the turbulent velocity dispersion of the ISM in the galaxy disk, whereupon the superbubble stalls and fragments, depositing its momentum entirely within the galaxy disk, or (2) the superbubble grows in size to reach the gas scale height, breaking out of the galaxy disk and driving galactic outflows/fountains. In either case, we find that superbubble breakup/breakout almost always occurs before the last Type-II SN ($\lesssim$40 Myr) in the recently formed star cluster, assuming a standard high-end IMF slope, and scalings between stellar lifetimes and masses. The threshold between these two cases implies a break in the effective strength of feedback in driving turbulence within galaxies, and a resulting change in the scalings of, e.g., star formation rates with gas surface density (the Kennicutt-Schmidt relation) and the star formation efficiency in galaxy disks.


title: Understanding Egocentric Hand-Object Interactions from Hand Pose Estimation

abstract: In this paper, we address the problem of estimating the hand pose from the egocentric view when the hand is interacting with objects. Specifically, we propose a method to label a dataset Ego-Siam which contains the egocentric images pair-wisely. We also use the collected pairwise data to train our encoder-decoder style network which has been proven efficient in. This could bring extra training efficiency and testing accuracy. Our network is lightweight and can be performed with over 30 FPS with an outdated GPU. We demonstrate that our method outperforms Mueller et al. which is the state of the art work dealing with egocentric hand-object interaction problems on the GANerated dataset. To show the ability to preserve the semantic information of our method, we also report the performance of grasp type classification on GUN-71 dataset and outperforms the benchmark by only using the predicted 3-d hand pose.


title: Cloaking strategy for Love waves

abstract: Love waves are antiplane elastic waves which propagate along the surface of a heterogeneous medium. Under time-harmonic regime, they are governed by a scalar equation of the Helmholtz type. We exploit the invariance of this governing equation under an in-plane arbitrary coordinate transformation to design broadband cloaks for surface defects. In particular, we apply transformation elastodynamics to determine the anisotropic, position dependent, mechanical properties of ideal cloaks able to hide triangular and parabolic-shaped defects. Dispersion analysis and time-harmonic numerical simulations are employed to validate the proposed strategy. Next, we utilize layered monoclinic materials, with homogenized properties matching those of ideal cloaks, to design feasible cloaks. The performance of the layered cloaks is validated via time-harmonic numerical simulations which show a significant reduction of the defect-generated scattered fields.


title: Stroke recovery phenotyping through network trajectory approaches and graph neural networks

abstract: Stroke is a leading cause of neurological injury characterized by impairments in multiple neurological domains including cognition, language, sensory and motor functions. Clinical recovery in these domains is tracked using a wide range of measures that may be continuous, ordinal, interval or categorical in nature, which presents challenges for standard multivariate regression approaches. This has hindered stroke researchers' ability to achieve an integrated picture of the complex time-evolving interactions amongst symptoms. Here we use tools from network science and machine learning that are particularly well-suited to extracting underlying patterns in such data, and may assist in prediction of recovery patterns. To demonstrate the utility of this approach, we analyzed data from the NINDS tPA trial using the Trajectory Profile Clustering (TPC) method to identify distinct stroke recovery patterns for 11 different neurological domains at 5 discrete time points. Our analysis identified 3 distinct stroke trajectory profiles that align with clinically relevant stroke syndromes, characterized both by distinct clusters of symptoms, as well as differing degrees of symptom severity. We then validated our approach using graph neural networks to determine how well our model performed predictively for stratifying patients into these trajectory profiles at early vs. later time points post-stroke. We demonstrate that trajectory profile clustering is an effective method for identifying clinically relevant recovery subtypes in multidimensional longitudinal datasets, and for early prediction of symptom progression subtypes in individual patients. This paper is the first work introducing network trajectory approaches for stroke recovery phenotyping, and is aimed at enhancing the translation of such novel computational approaches for practical clinical application.


title: Uncovering spatio-temporal patterns in semiconductor superlattices by efficient data processing tools

abstract: Time periodic patterns in a semiconductor superlattice, relevant to microwave generation, are obtained upon numerical integration of a known set of drift-diffusion equations. The associated spatio-temporal transport mechanisms are uncovered by applying (to the computed data) two recent data processing tools, known as the higher order dynamic mode decomposition and the spatio-temporal Koopman decomposition. Outcomes include a clear identification of the asymptotic self-sustained oscillations of the current density (isolated from the transient dynamics) and an accurate description of the electric field traveling pulse in terms of its dispersion diagram. In addition, a preliminary version of a novel data-driven reduced order model is constructed, which allows for extremely fast online simulations of the system response over a range of different configurations.


title: Evolution of Data Formats in Very-High-Energy Gamma-ray Astronomy

abstract: Most major scientific results produced by ground-based gamma-ray telescopes in the last 30 years have been obtained by expert members of the collaborations operating these instruments. This is due to the proprietary data and software policies adopted by these collaborations. However, the advent of the next generation of telescopes and their operation as observatories open to the astronomical community, along with a generally increasing demand for open science, confront gamma-ray astronomers with the challenge of sharing their data and analysis tools. As a consequence, in the last few years, the development of open-source science tools has progressed in parallel with the endeavour to define a standardised data format for astronomical gamma-ray data. The latter constitutes the main topic of this review. Common data specifications provide equally important benefits to the current and future generation of gamma-ray instruments: they allow the data from different instruments, including legacy data from decommissioned telescopes, to be easily combined and analysed within the same software framework. In addition, standardised data accessible to the public, and analysable with open-source software, grant fully-reproducible results. In this article we provide an overview of the evolution of the data format for gamma-ray astronomical data, focusing on its progression from private and diverse specifications to prototypical open and standardised ones. The latter have already been successfully employed in a number of publications paving the way to the analysis of data from the next generation of gamma-ray instruments, and to an open and reproducible way of conducting gamma-ray astronomy.


title: Topological characterizations of Morse-Smale flows on surfaces and generic non-Morse-Smale flows

abstract: It is known that $C^r$ Morse-Smale vector fields form an open dense subset in the space of vector fields on orientable closed surfaces and are structurally stable for any $r \in \mathbb{Z}_{>0}$. In particular, $C^r$ Morse vector fields (i.e. Morse-Smale vector fields without limit cycles) form an open dense subset in the space of $C^r$ gradient vector fields on orientable closed surfaces and are structurally stable. Therefore generic time evaluations of gradient flows on orientable closed surfaces (e.g. solutions of differential equations) are described by alternating sequences of Morse flows and instantaneous non-Morse gradient flows. To illustrate the generic transitions, we characterize and list all generic non-Morse gradient flows. To construct such characterizations, we characterize isolated singular points of gradient flows on surfaces. In fact, such a singular point is a non-trivial finitely sectored singular point without elliptic sectors. Moreover, considering Morse-Smale flows as "generic gradient flows with limit cycles", we characterize and list all generic non-Morse-Smale flows.


title: Light-shining-through-wall axion detection experiments with a stimulating laser

abstract: The collision of two real photons can result in the emission of axions. We investigate the performance of a modified light-shining-through-wall (LSW) axion search aiming to overcome the large signal suppression for axion masses $m_a\geq 1 \text{eV}$. We propose to utilise a third beam to stimulate the reconversion of axions into a measurable signal. We thereby find that with currently available high-power laser facilities we expect bounds at axion masses between $0.5-6\text{eV}$ reaching $g_{a\gamma\gamma}\geq 10^{-7}\text{GeV}^{-1}$. Combining the use of optical lasers with currently operating x-ray free electron lasers, we extend the mass range to $10-100\text{eV}$.


title: NGC1605a and b: an old binary open cluster in the Galaxy

abstract: This work communicates the discovery of a binary open cluster within the Galaxy. NGC 1605 presents an unusual morphology with a sparse stellar distribution and a double core in close angular proximity. The 2MASS and Gaia-EDR3 field-star decontaminated colour-magnitude diagrams (CMDs) show two distinct stellar populations located at the same heliocentric distance of $\sim2.6$ kpc suggesting that there are two clusters in the region, NGC 1605a and NGC 1605b, with ages of $2$ Gyr and $600$ Myr, respectively. Both Gaia parallax and PM distributions are compact and very similar indicating that they are open clusters (OCs) and share the same kinematics. The large age difference, 1.4 Gyr, points to a formation by tidal capture during a close encounter and the close spatial proximity and similar kinematics suggest an ongoing merger event. There are some prominent tidal debris that appear to trace the clusters' orbits during the close encounter and, unexpectedly, some of them appear to be bound structures, which may suggest that additionaly to the evaporation the merging clusters are being broken apart into smaller structures by the combination of Galactic disk, Perseus arm, and mutual tidal interactions. In this sense, the newly found binary cluster may be a key object on the observational validation of theoretical studies on binary cluster pairs formation by tidal capture as well as in the formation of massive clusters by merging, and tidal disruption of stellar systems.


title: Theoretical study of topological properties of ferromagnetic pyrite CoS$_2$

abstract: Since the discovery of the first topological material 15 years ago, the search for material realizations of novel topological phases has become the driving force of the field. While oftentimes we search for new materials, we forget that well established materials can also display very interesting topological properties. In this work, we revisit CoS$_2$ , a metallic ferromagnetic pyrite that has been extensively studied in the literature due to its magnetic properties. We study the topological features of its electronic band structure and identify Weyl nodes and Nodal lines, as well as a symmetry-protected 4-fold fermion close to the Fermi level. Looking at different surface cleavage planes, we observe both spin polarized Fermi arcs in the majority channel and drumhead states. These findings suggest that CoS$_2$ is a promising platform to study topological phenomena, as well as a good candidate for spintronic applications.


title: Dynamic probabilistic predictable feature analysis for multivariate temporal process monitoring

abstract: Dynamic statistical process monitoring methods have been widely studied and applied in modern industrial processes. These methods aim to extract the most predictable temporal information and develop the corresponding dynamic monitoring schemes. However, measurement noise is widespread in real-world industrial processes, and ignoring its effect will lead to sub-optimal modeling and monitoring performance. In this article, a probabilistic predictable feature analysis (PPFA) is proposed for multivariate time series modeling, and a multi-step dynamic predictive monitoring scheme is developed. The model parameters are estimated with an efficient expectation-maximum algorithm, where the genetic algorithm and Kalman filter are designed and incorporated. Further, a novel dynamic statistical monitoring index, Dynamic Index, is proposed as an important supplement of $\text{T}^2$ and $\text{SPE}$ to detect dynamic anomalies. The effectiveness of the proposed algorithm is demonstrated via its application on the three-phase flow facility and a medium speed coal mill.


title: On the quasi-steady-state assumption in enzyme kinetics: rigorous analysis

abstract: We study, from a purely quantitative point of view, the quasi-steady-state assumption for the fundamental mathematical model of the general enzymatic reaction: we re-establish, on a rigorous basis, certain already known results and we propose a novel approach to the subject, that makes waivable an ambiguous, widely used, practice. In particular, we define the two parts of the assumption in a quantitative fashion, we employ a simple algorithm for the proper scaling of the corresponding problem which naturally provides us with the necessary and sufficient information, and we comment, among other issues, on a dispensable third part of the assumption.


title: Helfrich-Hurault elastic instabilities driven by geometrical frustration

abstract: The Helfrich-Hurault (HH) elastic instability is a well-known mechanism behind patterns that form as a result of strain upon liquid crystal systems with periodic ground states. In the HH model, layered structures undulate and buckle in response to local, geometric incompatibilities, in order to maintain the preferred layer spacing. Classic HH systems include cholesteric liquid crystals under electromagnetic field distortions and smectic liquid crystals under mechanical strains, where both materials are confined between rigid substrates. However, richer phenomena are observed when undulation instabilities occur in the presence of deformable interfaces and variable boundary conditions. Understanding how the HH instability is affected by deformable surfaces is imperative for applying the instability to a broader range of materials. In this review, we re-examine the HH instability and give special focus to how the boundary conditions influence the mechanical response of lamellar systems to geometrical frustration. We use lamellar liquid crystals confined within a spherical shell geometry as our model system. Made possible by the relatively recent advances in microfluidics within the past 15 years, liquid crystal shells are composed entirely of fluid interfaces and have boundary conditions that can be dynamically controlled at will. We examine past and recent work that exemplifies how topological constraints, molecular anchoring conditions, and boundary curvature can trigger the HH instability in liquid crystals with periodic ground states. We then end by identifying similar phenomena across a wide variety of materials, both biological and synthetic. With this review, we aim to highlight that the HH instability is a generic and often overlooked response of periodic materials to geometrical frustration.


title: Pursuit-evasion games on latin square graphs

abstract: We investigate various pursuit-evasion parameters on latin square graphs, including the cop number, metric dimension, and localization number. The cop number of latin square graphs is studied, and for $k$-MOLS$(n),$ bounds for the cop number are given. If $n>(k+1)^2,$ then the cop number is shown to be $k+2.$ Lower and upper bounds are provided for the metric dimension and localization number of latin square graphs. The metric dimension of back-circulant latin squares shows that the lower bound is close to tight. Recent results on covers and partial transversals of latin squares provide the upper bound of $n+O\left(\frac{\log{n}}{\log{\log{n}}}\right)$ on the localization number of a latin square graph of order $n.$


title: Mechanical Properties and Nanostructure of Monolithic Zeolitic Imidazolate Frameworks: A Nanoindentation, Nanospectroscopy and Finite-Element Study

abstract: The synthesis of metal-organic frameworks (MOFs) in a monolithic morphology is a promising way to achieve the transition of this class of materials from academia to industrial applications. The sol-gel process has been widely employed to produce MOF monoliths. It is relatively cheap and simple compared to other techniques (e.g., mechanical densification) and moreover it allows to produce "pure" monoliths, i.e., without the need of using binders or templates that could affect the functional properties of the MOF. Understanding the mechanical properties of these monoliths is crucial for their transit to practical applications. We studied the mechanical behavior of two zeolitic imidazolate frameworks (ZIF-8 and ZIF-71) by means of instrumented nanoindentation and atomic force microscopy (AFM). Tip Force Microscopy (TFM), an extension of AFM, was used to reveal the surface nanostructure of the monoliths. We employed finite-element (FE) simulations alongside the experiments, to establish a suitable constitutive model and determine an improved estimate of the yield stress of ZIF monoliths. NanoFTIR was subsequently used to pinpoint local structural alteration of the framework in the contact area. The combination of TFM, FE simulations, and nanoFTIR enabled us to identify the mechanical deformation mechanisms in monolithic ZIF materials: grain boundaries sliding is dominating at low stresses, then breakage of chemical bonds and a partial failure of the framework occurs, eventually leading to a densification of porous framework at the contact zone. Finally, we measured the fracture toughness using a cube corner indenter to study the resistance of monoliths against cracking failure.


title: Segmentation of Roads in Satellite Images using specially modified U-Net CNNs

abstract: The image classification problem has been deeply investigated by the research community, with computer vision algorithms and with the help of Neural Networks. The aim of this paper is to build an image classifier for satellite images of urban scenes that identifies the portions of the images in which a road is located, separating these portions from the rest. Unlike conventional computer vision algorithms, convolutional neural networks (CNNs) provide accurate and reliable results on this task. Our novel approach uses a sliding window to extract patches out of the whole image, data augmentation for generating more training/testing data and lastly a series of specially modified U-Net CNNs. This proposed technique outperforms all other baselines tested in terms of mean F-score metric.


title: Asymptotic properties of the Boussinesq Equations with Dirichlet Boundary Conditions

abstract: We address the asymptotic properties for the Boussinesq equations with vanishing thermal diffusivity in a bounded domain with no-slip boundary conditions. We show the dissipation of the $L^2$ norm of the velocity and its gradient, convergence of the $L^2$ norm of $Au$, and an $o(1)$-type exponential growth for $\Vert A^{3/2}u\Vert_{L^2}$. We also obtain that in the interior of the domain the gradient of the vorticity is bounded by a polynomial function of time.


title: Joint Information and Mechanism Design for Queues with Heterogeneous Users

abstract: We consider a queue with an unobservable backlog by the incoming users. There is an information designer that observes the queue backlog and makes recommendations to the users arriving at the queue whether to join or not to join the queue. The arriving users have payoff relevant private types. The users, upon arrival, send a message, that is supposed to be their type, to the information designer if they are willing to hear a recommendation. The information designer then creates a recommendation for that specific type of user. The users have to pay a tax in exchange for the information they receive. In this setting, the information designer has two types of commitments. The first commitment is the recommendation policy and the second commitment is the tax function. We combine mechanism design and information design to study a queuing system with heterogeneous users. In this setting, the information designer is a sender of the information in the information design aspect and a receiver in the mechanism design aspect of the model. We formulate an optimization problem that characterizes the solution of the joint design problem. We characterize the tax functions and provide structural results for the recommendation policy of the information designer.


title: Reduced-quaternionic Mathieu functions, time-dependent Moisil-Teodorescu operators, and the imaginary-time wave equation

abstract: We construct a one-parameter family of generalized Mathieu functions, which are reduced quaternion-valued functions of a pair of real variables lying in an ellipse, and which we call $\lambda$-reduced quaternionic Mathieu functions. We prove that the $\lambda$-RQM functions, which are in the kernel of the Moisil-Teodorescu operator $D+\lambda$ ($D$ is the Dirac operator and $\lambda\in\mathbb{R}\setminus\{0\}$), form a complete orthogonal system in the Hilbert space of square-integrable $\lambda$-metamonogenic functions with respect to the $L^2$-norm over confocal ellipses. Further, we introduce the zero-boundary $\lambda$-RQM-functions, which are $\lambda$-RQM functions whose scalar part vanishes on the boundary of the ellipse. The limiting values of the $\lambda$-RQM functions as the eccentricity of the ellipse tends to zero are expressed in terms of Bessel functions of the first kind and form a complete orthogonal system for $\lambda$-metamonogenic functions with respect to the $L^2$-norm on the unit disk. A connection between the $\lambda$-RQM functions and the time-dependent solutions of the imaginary-time wave equation in the elliptical coordinate system is shown.


title: Data Sharing and Compression for Cooperative Networked Control

abstract: Sharing forecasts of network timeseries data, such as cellular or electricity load patterns, can improve independent control applications ranging from traffic scheduling to power generation. Typically, forecasts are designed without knowledge of a downstream controller's task objective, and thus simply optimize for mean prediction error. However, such task-agnostic representations are often too large to stream over a communication network and do not emphasize salient temporal features for cooperative control. This paper presents a solution to learn succinct, highly-compressed forecasts that are co-designed with a modular controller's task objective. Our simulations with real cellular, Internet-of-Things (IoT), and electricity load data show we can improve a model predictive controller's performance by at least $25\%$ while transmitting $80\%$ less data than the competing method. Further, we present theoretical compression results for a networked variant of the classical linear quadratic regulator (LQR) control problem.


title: Active Refinement for Multi-Label Learning: A Pseudo-Label Approach

abstract: The goal of multi-label learning (MLL) is to associate a given instance with its relevant labels from a set of concepts. Previous works of MLL mainly focused on the setting where the concept set is assumed to be fixed, while many real-world applications require introducing new concepts into the set to meet new demands. One common need is to refine the original coarse concepts and split them into finer-grained ones, where the refinement process typically begins with limited labeled data for the finer-grained concepts. To address the need, we formalize the problem into a special weakly supervised MLL problem to not only learn the fine-grained concepts efficiently but also allow interactive queries to strategically collect more informative annotations to further improve the classifier. The key idea within our approach is to learn to assign pseudo-labels to the unlabeled entries, and in turn leverage the pseudo-labels to train the underlying classifier and to inform a better query strategy. Experimental results demonstrate that our pseudo-label approach is able to accurately recover the missing ground truth, boosting the prediction performance significantly over the baseline methods and facilitating a competitive active learning strategy.


title: Adaptive Bayesian Sum of Trees Model for Covariate Dependent Spectral Analysis

abstract: This article introduces a flexible and adaptive nonparametric method for estimating the association between multiple covariates and power spectra of multiple time series. The proposed approach uses a Bayesian sum of trees model to capture complex dependencies and interactions between covariates and the power spectrum, which are often observed in studies of biomedical time series. Local power spectra corresponding to terminal nodes within trees are estimated nonparametrically using Bayesian penalized linear splines. The trees are considered to be random and fit using a Bayesian backfitting Markov chain Monte Carlo (MCMC) algorithm that sequentially considers tree modifications via reversible-jump MCMC techniques. For high-dimensional covariates, a sparsity-inducing Dirichlet hyperprior on tree splitting proportions is considered, which provides sparse estimation of covariate effects and efficient variable selection. By averaging over the posterior distribution of trees, the proposed method can recover both smooth and abrupt changes in the power spectrum across multiple covariates. Empirical performance is evaluated via simulations to demonstrate the proposed method's ability to accurately recover complex relationships and interactions. The proposed methodology is used to study gait maturation in young children by evaluating age-related changes in power spectra of stride interval time series in the presence of other covariates.


title: Mitigation of Adversarial Policy Imitation via Constrained Randomization of Policy (CRoP)

abstract: Deep reinforcement learning (DRL) policies are vulnerable to unauthorized replication attacks, where an adversary exploits imitation learning to reproduce target policies from observed behavior. In this paper, we propose Constrained Randomization of Policy (CRoP) as a mitigation technique against such attacks. CRoP induces the execution of sub-optimal actions at random under performance loss constraints. We present a parametric analysis of CRoP, address the optimality of CRoP, and establish theoretical bounds on the adversarial budget and the expectation of loss. Furthermore, we report the experimental evaluation of CRoP in Atari environments under adversarial imitation, which demonstrate the efficacy and feasibility of our proposed method against policy replication attacks.


title: An Idealised Approach of Geometry and Topology to the Diffusion of Cations in Honeycomb Layered Oxide Frameworks

abstract: Honeycomb layered oxides are a novel class of nanostructured materials comprising alkali or alkaline earth metals intercalated into transition metal slabs. The intricate honeycomb architecture and layered framework endows this family of oxides with a tessellation of features such as exquisite electrochemistry, unique topology and fascinating electromagnetic phenomena. Despite having innumerable functionalities, these materials remain highly underutilized as their underlying atomistic mechanisms are vastly unexplored. Therefore, in a bid to provide a more in-depth perspective, we propose an idealised diffusion model of the charged alkali cations (such as lithium, sodium or potassium) in the two-dimensional (2D) honeycomb layers within the three-dimensional (3D) crystal of honeycomb layered oxide frameworks. This model not only explains the correlation between the excitation of cationic vacancies (by applied electromagnetic fields) and the Gaussian curvature deformation of the 2D surface, but also takes into consideration, the quantum properties of the cations and their inter-layer mixing through quantum tunnelling. Through this work, we offer a novel theoretical framework for the study of 3D layered materials with 2D cationic diffusion currents, as well as providing pedagogical insights into the role of topological phase transitions in these materials in relation to Brownian motion and quantum geometry.


title: Fundamental Rate-Memory Tradeoff for Coded Caching in Presence of User Inactivity

abstract: Coded caching utilizes proper file subpacketization and coded delivery to make full use of the multicast opportunities in content delivery, to alleviate file transfer load in massive content delivery scenarios. Most existing work considers deterministic environments. An important practical topic is to characterize the impact of the uncertainty from user inactivity on coded caching. We consider a one server cache-enabled network under homogeneous file and network settings in presence of user inactivity. Unlike random or probabilistic caching studied in the literature, deterministic coded caching is considered, with the objective to minimize the worst-case backhaul load by optimizing the file subpacketization and the caching strategy. First, a coded caching method is used, where each file is split into the same type of fragments labeled using sets with fixed cardinality, and the optimality of the selected cardinality is proved. Optimal file subpacketization by splitting the file into multiple types of fragments labeled with multiple cardinalities is then discussed. We show that the closed-form optimum turns out to be given by a fixed cardinality -- optimizing for user inactivity only affects file delivery, cache placement is not affected. A decentralized version is also discussed and analyzed, where each user fills its storage independently at random without centralized coordination, and user inactivity is taken into account in file delivery. Simulation results show that the optimization based centralized coded caching scheme provides performance comparable to the ideal scenario assuming full knowledge of user inactivity in the placement phase, while decentralized caching performs slightly worse against user inactivity.


title: Resonance axial-vector mass from experiments on neutrino-hydrogen and neutrino-deuterium scattering

abstract: We analyze all available experimental data on the $\nu_\mu$ and $\overline{\nu}_\mu$ total and differential cross sections of charged-current single pion production through the decay of intermediate nucleon and baryon resonances measured on hydrogen and deuterium targets in the accelerator experiments at ANL, BNL, FNAL, and CERN. These data are used to determine the current "resonance" axial-vector mass of the nucleon and to fine-tune the nonresonance non-interfering background contribution which described within the Rein-Sehgal approach. For this analysis, we revise the phenomenological model and the experimental dataset for the fits, modify the method of likelihood analysis compared to the previous study. The obtained model parameters coming in combination with a revised strategy for the normalization of the BW distributions are slightly different from the values used by default.


title: Supporting Unified Shader Specialization by Co-opting C++ Features

abstract: Modern unified programming models (such as CUDA and SYCL) that combine host (CPU) code and GPU code into the same programming language, same file, and same lexical scope lack adequate support for GPU code specialization, which is a key optimization in real-time graphics. Furthermore, current methods used to implement specialization do not translate to a unified environment. In this paper, we create a unified shader programming environment in C++ that provides first-class support for specialization by co-opting C++'s attribute and virtual function features and reimplementing them with alternate semantics to express the services required. By co-opting existing features, we enable programmers to use familiar C++ programming techniques to write host and GPU code together, while still achieving efficient generated C++ and HLSL code via our source-to-source translator.


title: Ionised Emission and Absorption in a Large Sample of Ultraluminous X-ray Sources

abstract: Most Ultraluminous X-ray sources (ULXs) are thought to be powered by super-Eddington accretion onto stellar-mass compact objects. Accretors in this extreme regime are naturally expected to ionise copious amounts of plasma in their vicinity and launch powerful radiation-driven outflows from their discs. High spectral resolution X-ray observations (with RGS gratings onboard XMM-Newton) of a few ULXs with the best datasets indeed found complex line spectra and confirmed such extreme (0.1-0.3c) winds. However, a search for plasma signatures in a large ULX sample with a rigorous technique has never been performed, thereby preventing us from understanding their statistical properties such as the rate of occurrence, to constrain the outflow geometry and its duty cycle. We developed a fast method for automated line detection in X-ray spectra and applied it to the full RGS ULX archive, rigorously quantifying the statistical significance of any candidate lines. Collecting the 135 most significant features detected in 89 observations of 19 objects, we created the first catalogue of spectral lines detected in soft X-ray ULX spectra. We found that the detected emission lines are concentrated around known rest-frame elemental transitions and thus originate from low-velocity material. The absorption lines instead avoid these transitions, suggesting they were imprinted by blueshifted outflows. Such winds therefore appear common among the ULX population. Additionally, we found that spectrally hard ULXs show fewer line detections than soft ULXs, indicating some difference in their accretion geometry and orientation, possibly causing over-ionisation of plasma by the harder spectral energy distributions of harder ULXs.


title: Zeta functions of projective hypersurfaces with ordinary double points

abstract: We extend the approach Abbott, Kedlaya and Roe to computation of the zeta function of a projective hypersurface with $\tau$ isolated ordinary double points over a finite field $\mathbb{F}_q$ given by the reduction of a homogeneous polynomial $f \in \mathbb{Z}[x_0, \ldots, x_n]$, under the assumption of equisingularity over $\mathbb{Z}_q$. The algorithm is based on the results of Dimca and Saito (over the field $\mathbb{C}$ of complex numbers) on the pole order spectral sequence in the case of ordinary double points. We give some examples of explicit computations for surfaces in $\mathbb{P}^3$.


title: Automatic Estimation of Ulcerative Colitis Severity from Endoscopy Videos using Ordinal Multi-Instance Learning

abstract: Ulcerative colitis (UC) is a chronic inflammatory bowel disease characterized by relapsing inflammation of the large intestine. The severity of UC is often represented by the Mayo Endoscopic Subscore (MES) which quantifies mucosal disease activity from endoscopy videos. In clinical trials, an endoscopy video is assigned an MES based upon the most severe disease activity observed in the video. For this reason, severe inflammation spread throughout the colon will receive the same MES as an otherwise healthy colon with severe inflammation restricted to a small, localized segment. Therefore, the extent of disease activity throughout the large intestine, and overall response to treatment, may not be completely captured by the MES. In this work, we aim to automatically estimate UC severity for each frame in an endoscopy video to provide a higher resolution assessment of disease activity throughout the colon. Because annotating severity at the frame-level is expensive, labor-intensive, and highly subjective, we propose a novel weakly supervised, ordinal classification method to estimate frame severity from video MES labels alone. Using clinical trial data, we first achieved 0.92 and 0.90 AUC for predicting mucosal healing and remission of UC, respectively. Then, for severity estimation, we demonstrate that our models achieve substantial Cohen's Kappa agreement with ground truth MES labels, comparable to the inter-rater agreement of expert clinicians. These findings indicate that our framework could serve as a foundation for novel clinical endpoints, based on a more localized scoring system, to better evaluate UC drug efficacy in clinical trials.


title: Vision-Aided Beam Tracking: Explore the Proper Use of Camera Images with Deep Learning

abstract: We investigate the problem of wireless beam tracking on mmWave bands with the assistance of camera images. In particular, based on the user's beam indices used and camera images taken in the trajectory, we predict the optimal beam indices in the next few time spots. To resolve this problem, we first reformulate the "ViWi" dataset in [1] to get rid of the image repetition problem. Then we develop a deep learning approach and investigate various model components to achieve the best performance. Finally, we explore whether, when, and how to use the image for better beam prediction. To answer this question, we split the dataset into three clusters -- (LOS, light NLOS, serious NLOS)-like -- based on the standard deviation of the beam sequence. With experiments we demonstrate that using the image indeed helps beam tracking especially when the user is in serious NLOS, and the solution relies on carefully-designed dataset for training a model. Generally speaking, including NLOS-like data for training a model does not benefit beam tracking of the user in LOS, but including light NLOS-like data for training a model benefits beam tracking of the user in serious NLOS.


title: Guaranteed Rejection-free Sampling Method Using Past Behaviours for Motion Planning of Autonomous Systems

abstract: The paper presents a novel learning-based sampling strategy that guarantees rejection-free sampling of the free space under both biased and approximately uniform conditions, leveraging multivariate kernel densities. Historical data from past states of a given autonomous system is leveraged to estimate a non-parametric probabilistic description of the domain, which in turn also describes the free space where feasible solutions of the motion planning problem are likely to be found. The tuning parameters of the kernel density estimator, the bandwidth and the kernel, are then used to alter the description of the free space so that no sampled states can fall outside the originally defined space. The proposed method is demonstrated in two real-life case studies: An autonomous surface vessel (2D) and an autonomous drone (3D). Two planning problems are solved, showing that the proposed approximately uniform sampling scheme is capable of guaranteeing rejection-free sampling of the considered workspace. Furthermore, the planning effectiveness of the proposed method is statistically validated using Monte Carlo simulations.


title: Reliable Estimation of KL Divergence using a Discriminator in Reproducing Kernel Hilbert Space

abstract: Estimating Kullback Leibler (KL) divergence from samples of two distributions is essential in many machine learning problems. Variational methods using neural network discriminator have been proposed to achieve this task in a scalable manner. However, we noted that most of these methods using neural network discriminators suffer from high fluctuations (variance) in estimates and instability in training. In this paper, we look at this issue from statistical learning theory and function space complexity perspective to understand why this happens and how to solve it. We argue that the cause of these pathologies is lack of control over the complexity of the neural network discriminator function and could be mitigated by controlling it. To achieve this objective, we 1) present a novel construction of the discriminator in the Reproducing Kernel Hilbert Space (RKHS), 2) theoretically relate the error probability bound of the KL estimates to the complexity of the discriminator in the RKHS space, 3) present a scalable way to control the complexity (RKHS norm) of the discriminator for a reliable estimation of KL divergence, and 4) prove the consistency of the proposed estimator. In three different applications of KL divergence : estimation of KL, estimation of mutual information and Variational Bayes, we show that by controlling the complexity as developed in the theory, we are able to reduce the variance of KL estimates and stabilize the training


title: Machine Learning Assisted Phase-less Millimeter-Wave Beam Alignment in Multipath Channels

abstract: Communication systems at millimeter-wave (mmW) and sub-terahertz frequencies are of increasing interest for future high-data rate networks. One critical challenge faced by phased array systems at these high frequencies is the efficiency of the initial beam alignment, typically using only phase-less power measurements due to high frequency oscillator phase noise. Traditional methods for beam alignment require exhaustive sweeps of all possible beam directions, thus scale communications overhead linearly with antenna array size. For better scaling with the large arrays required at high mmW bands, compressive sensing methods have been proposed as their overhead scales logarithmically with the array size. However, algorithms utilizing machine learning have shown more efficient and more accurate alignment when using real hardware due to array impairments. Additionally, few existing phase-less beam alignment algorithms have been tested over varied secondary path strength in multipath channels. In this work, we introduce a novel, machine learning based algorithm for beam alignment in multipath environments using only phase-less received power measurements. We consider the impacts of phased array sounding beam design and machine learning architectures on beam alignment performance and validate our findings experimentally using 60 GHz radios with 36-element phased arrays. Using experimental data in multipath channels, our proposed algorithm demonstrates an 88\% reduction in beam alignment overhead compared to an exhaustive search and at least a 62\% reduction in overhead compared to existing compressive methods.


title: LR-to-HR Face Hallucination with an Adversarial Progressive Attribute-Induced Network

abstract: Face super-resolution is a challenging and highly ill-posed problem since a low-resolution (LR) face image may correspond to multiple high-resolution (HR) ones during the hallucination process and cause a dramatic identity change for the final super-resolved results. Thus, to address this problem, we propose an end-to-end progressive learning framework incorporating facial attributes and enforcing additional supervision from multi-scale discriminators. By incorporating facial attributes into the learning process and progressively resolving the facial image, the mapping between LR and HR images is constrained more, and this significantly helps to reduce the ambiguity and uncertainty in one-to-many mapping. In addition, we conduct thorough evaluations on the CelebA dataset following the settings of previous works (i.e. super-resolving by a factor of 8x from tiny 16x16 face images.), and the results demonstrate that the proposed approach can yield satisfactory face hallucination images outperforming other state-of-the-art approaches.


title: Emission-line Wings Driven by Lyman Continuum in the Green Pea Analog Mrk 71

abstract: We propose that the origin of faint, broad emission-line wings in the Green Pea (GP) analog Mrk 71 is a clumpy, LyC and/or Ly$\alpha$-driven superwind. Our spatially-resolved analysis of Gemini-N/GMOS-IFU observations shows that these line wings with terminal velocity $>3000~\rm{km~s^{-1}}$ originate from the super star cluster (SSC) Knot A, and propagate to large radii. The object's observed ionization parameter and stellar surface density are close to their theoretical maxima, and radiation pressure dominates over gas pressure. Together with a lack of evidence for supernova feedback, these imply a radiation-dominated environment. We demonstrate that a clumpy, radiation-driven superwind from Knot A is a viable model for generating the extreme velocities, and in particular, that Lyman continuum and/or Ly$\alpha$ opacity must be responsible. We find that the Mrk 71 broad wings are best fitted with power laws, as are those of a representative extreme GP and a luminous blue variable star, albeit with different slopes. This suggests that they may share a common wind-acceleration mechanism. We propose that high-velocity, power-law wings may be a distinctive signature of radiation feedback, and of radiatively-driven winds, in particular.


title: Classifying Tweet Sentiment Using the Hidden State and Attention Matrix of a Fine-tuned BERTweet Model

abstract: This paper introduces a study on tweet sentiment classification. Our task is to classify a tweet as either positive or negative. We approach the problem in two steps, namely embedding and classifying. Our baseline methods include several combinations of traditional embedding methods and classification algorithms. Furthermore, we explore the current state-of-the-art tweet analysis model, BERTweet, and propose a novel approach in which features are engineered from the hidden states and attention matrices of the model, inspired by empirical study of the tweets. Using a multi-layer perceptron trained with a high dropout rate for classification, our proposed approach achieves a validation accuracy of 0.9111.


title: Enantioselective chiral orientation induced by a combination of a long and a short laser pulse

abstract: Enantioselective orientation of chiral molecules excited by a shaped picosecond laser pulse and a delayed femtosecond pulse is considered. Using quantum mechanical simulations, we demonstrate a strong field-free enantioselective orientation along the laser propagation direction. In addition, we use a classical model to reproduce the enantioselective orientation. Moreover, the analysis of the corresponding classical system allows understanding the qualitative features of the induced enantioselective orientation. The strong enantioselective orientation may be used for the separation of chiral enantiomers using inhomogeneous electrostatic fields.


title: Model reduction of convection-dominated partial differential equations via optimization-based implicit feature tracking

abstract: This work introduces a new approach to reduce the computational cost of solving partial differential equations (PDEs) with convection-dominated solutions: model reduction with implicit feature tracking. Traditional model reduction techniques use an affine subspace to reduce the dimensionality of the solution manifold and, as a result, yield limited reduction and require extensive training due to the slowly decaying Kolmogorov $n$-width of convection-dominated problems. The proposed approach circumvents the slowly decaying $n$-width limitation by using a nonlinear approximation manifold systematically defined by composing a low-dimensional affine space with a space of bijections of the underlying domain. Central to the implicit feature tracking approach is a residual minimization problem over the reduced nonlinear manifold that simultaneously determines the reduced coordinates in the affine space and the domain mapping that minimize the residual of the unreduced PDE discretization. The nonlinear trial manifold is constructed by using the proposed residual minimization formulation to determine domain mappings that cause parametrized features to align in a reference domain for a set of training parameters. Because the feature is stationary in the reference domain, i.e., the convective nature of solution removed, the snapshots are effectively compressed to define an affine subspace. The space of domain mappings, originally constructed using high-order finite elements, are also compressed in a way that ensures the boundaries of the original domain are maintained. Several numerical experiments are provided, including transonic and supersonic, inviscid, compressible flows, to demonstrate the potential of the method to yield accurate approximations to convection-dominated problems with limited training.


title: Subdimensional Expansion Using Attention-Based Learning For Multi-Agent Path Finding

abstract: Multi-Agent Path Finding (MAPF) finds conflict-free paths for multiple agents from their respective start to goal locations. MAPF is challenging as the joint configuration space grows exponentially with respect to the number of agents. Among MAPF planners, search-based methods, such as CBS and M*, effectively bypass the curse of dimensionality by employing a dynamically-coupled strategy: agents are planned in a fully decoupled manner at first, where potential conflicts between agents are ignored; and then agents either follow their individual plans or are coupled together for planning to resolve the conflicts between them. In general, the number of conflicts to be resolved decides the run time of these planners and most of the existing work focuses on how to efficiently resolve these conflicts. In this work, we take a different view and aim to reduce the number of conflicts (and thus improve the overall search efficiency) by improving each agent's individual plan. By leveraging a Visual Transformer, we develop a learning-based single-agent planner, which plans for a single agent while paying attention to both the structure of the map and other agents with whom conflicts may happen. We then develop a novel multi-agent planner called LM* by integrating this learning-based single-agent planner with M*. Our results show that for both "seen" and "unseen" maps, in comparison with M*, LM* has fewer conflicts to be resolved and thus, runs faster and enjoys higher success rates. We empirically show that MAPF solutions computed by LM* are near-optimal. Our code is available at https://github.com/lakshayvirmani/learning-assisted-mstar .


title: Time-Distributed Feature Learning in Network Traffic Classification for Internet of Things

abstract: The plethora of Internet of Things (IoT) devices leads to explosive network traffic. The network traffic classification (NTC) is an essential tool to explore behaviours of network flows, and NTC is required for Internet service providers (ISPs) to manage the performance of the IoT network. We propose a novel network data representation, treating the traffic data as a series of images. Thus, the network data is realized as a video stream to employ time-distributed (TD) feature learning. The intra-temporal information within the network statistical data is learned using convolutional neural networks (CNN) and long short-term memory (LSTM), and the inter pseudo-temporal feature among the flows is learned by TD multi-layer perceptron (MLP). We conduct experiments using a large data-set with more number of classes. The experimental result shows that the TD feature learning elevates the network classification performance by 10%.


title: Metric Geometry of Spaces of Persistence Diagrams

abstract: Persistence diagrams are objects that play a central role in topological data analysis. In the present article, we investigate the local and global geometric properties of spaces of persistence diagrams. In order to do this, we construct a family of functors $\mathcal{D}_p$, $1\leq p \leq\infty$, that assign, to each metric pair $(X,A)$, a pointed metric space $\mathcal{D}_p(X,A)$. Moreover, we show that $\mathcal{D}_{\infty}$ is sequentially continuous with respect to the Gromov--Hausdorff convergence of metric pairs, and we prove that $\mathcal{D}_p$ preserves several useful metric properties, such as completeness and separability, for $p \in [1,\infty)$, and geodesicity and non-negative curvature in the sense of Alexandrov, for $p=2$. We also show that the Fr\'echet mean set of a Borel probability measure on $\mathcal{D}_p(X,A)$, $1\leq p \leq\infty$, with finite second moment and compact support is non-empty. As an application of our geometric framework, we prove that the space of Euclidean persistence diagrams, $\mathcal{D}_2(\mathbb{R}^{2n},\Delta_n)$, has infinite covering, Hausdorff, and asymptotic dimensions.


title: Lyapunov exponents in a slow environment

abstract: Motivated by the evolution of a population in a slowly varying random environment, we consider the 1D Anderson model on finite volume, with viscosity $ \kappa > 0 $: $$ \partial_{t} u(t,x) = \kappa \Delta u(t,x) + \xi(t, x) u(t,x), \quad u(0, x) = u_{0}(x), \qquad t > 0, x \in \mathbb{T}. $$ The noise $ \xi $ is chosen constant on time intervals of length $ \tau >0 $ and sampled independently after a time $ \tau $. We prove that the Lyapunov exponent $ \lambda (\tau) $ is positive and near $ \tau= 0 $ follows a power law that depends on the regularity on the driving noise. As $ \tau \to \infty $ the Lyapunov exponent converges to the average top eigenvalue of the associated time-independent Anderson model. The proofs make use of a solid control of the projective component of the solution and build on the Furstenberg--Khasminskii and Bou\'e--Dupuis formulas, as well as on Doob's H-transform and on tools from singular stochastic PDEs.


title: A geometric recipe for twisted superpotentials

abstract: We give a pedagogical introduction to spectral networks and abelianization, as well as their relevance to $\mathcal{N}=2$ supersymmetric field theories in four dimensions. Motivated by a conjecture of Nekrasov-Rosly-Shatashvili, we detail a geometric recipe for computing the effective twisted superpotential for $\mathcal{N}=2$ field theories of class $\mathcal{S}$ as a generating function of the brane of opers, with respect to the spectral coordinates found from abelianization. We present two new examples, the simplest Argyres-Douglas theory and the pure $SU(2)$ gauge theory, while we conjecture the $\epsilon$-expansion of the effective twisted superpotential for the $E_6$ Minahan-Nemeschansky theory.


title: Safety Assurances for Human-Robot Interaction via Confidence-aware Game-theoretic Human Models

abstract: An outstanding challenge with safety methods for human-robot interaction is reducing their conservatism while maintaining robustness to variations in human behavior. In this work, we propose that robots use confidence-aware game-theoretic models of human behavior when assessing the safety of a human-robot interaction. By treating the influence between the human and robot as well as the human's rationality as unobserved latent states, we succinctly infer the degree to which a human is following the game-theoretic interaction model. We leverage this model to restrict the set of feasible human controls during safety verification, enabling the robot to confidently modulate the conservatism of its safety monitor online. Evaluations in simulated human-robot scenarios and ablation studies demonstrate that imbuing safety monitors with confidence-aware game-theoretic models enables both safe and efficient human-robot interaction. Moreover, evaluations with real traffic data show that our safety monitor is less conservative than traditional safety methods in real human driving scenarios.


title: Curved L-infinity algebras and lifts of torsors

abstract: Consider an extension of finite dimensional nilpotent Lie algebras $0 \to \mathfrak{h} \to \tilde{\mathfrak{g}} \to \mathfrak{g} \to 0$ (over a field $k$ of characteristic zero) corresponding to an extension of unipotent algebraic groups $1 \to H \to \tilde{G} \to G \to 1$. For a $G$-torsor $P$ on an algebraic variety $X$ over $k$, we study the problem of lifting $P$ to $\widetilde{G}$-torsor $\widetilde{P}$. Fixing a trivialization of $P$ on open subsets of an affine cover, we give the Cech complex of $\mathfrak{h}$-valued functions the structure of a curved $L_\infty$-algebra and define a curved version of the Deligne-Getzler groupoid. We show that this groupoid is isomorphic the groupoid of cocycle level $\tilde{G}$-lifts of $P$.


title: Theory of light propagation in arbitrary two-dimensional curved space

abstract: As an analog model of general relativity, optics on some two-dimensional (2D) curved surfaces has been increasingly paid attention to in the past decade. Here, in light of Huygens-Fresnel principle, we propose a theoretical frame to study light propagation along arbitrary geodesics on any 2D curved surfaces. This theory not only enables us to solve the enigma of "infinite intensity" existed previously at artificial singularities on surfaces of revolution, but also makes it possible to study light propagation on arbitrary 2D curved surfaces. Based on this theory, we investigate the effects of light propagation on a typical surface of revolution, Flamm's paraboloid, as an example, from which one can understand the behavior of light in the curved geometry of Schwarzschild black holes. Our theory provides a convenient and powerful tool for investigations of radiation in curved space.


title: Sequential Estimation under Multiple Resources: a Bandit Point of View

abstract: The problem of Sequential Estimation under Multiple Resources (SEMR) is defined in a federated setting. SEMR could be considered as the intersection of statistical estimation and bandit theory. In this problem, an agent is confronting with k resources to estimate a parameter $\theta$. The agent should continuously learn the quality of the resources by wisely choosing them and at the end, proposes an estimator based on the collected data. In this paper, we assume that the resources' distributions are Gaussian. The quality of the final estimator is evaluated by its mean squared error. Also, we restrict our class of estimators to unbiased estimators in order to define a meaningful notion of regret. The regret measures the performance of the agent by the variance of the final estimator in comparison to the optimal variance. We propose a lower bound to determine the fundamental limit of the setting even in the case that the distributions are not Gaussian. Also, we offer an order-optimal algorithm to achieve this lower bound.


title: Accelerating Encrypted Computing on Intel GPUs

abstract: Homomorphic Encryption (HE) is an emerging encryption scheme that allows computations to be performed directly on encrypted messages. This property provides promising applications such as privacy-preserving deep learning and cloud computing. Prior works have been proposed to enable practical privacy-preserving applications with architectural-aware optimizations on CPUs, GPUs and FPGAs. However, there is no systematic optimization for the whole HE pipeline on Intel GPUs. In this paper, we present the first-ever SYCL-based GPU backend for Microsoft SEAL APIs. We perform optimizations from instruction level, algorithmic level and application level to accelerate our HE library based on the Cheon, Kim, Kimand Song (CKKS) scheme on Intel GPUs. The performance is validated on two latest Intel GPUs. Experimental results show that our staged optimizations together with optimizations including low-level optimizations and kernel fusion accelerate the Number Theoretic Transform (NTT), a key algorithm for HE, by up to 9.93X compared with the na\"ive GPU baseline. The roofline analysis confirms that our optimized NTT reaches 79.8% and85.7% of the peak performance on two GPU devices. Through the highly optimized NTT and the assembly-level optimization, we obtain 2.32X - 3.05X acceleration for HE evaluation routines. In addition, our all-together systematic optimizations improve the performance of encrypted element-wise polynomial matrix multiplication application by up to 3.10X.


title: Adaptive Approach For Sparse Representations Using The Locally Competitive Algorithm For Audio

abstract: Gammachirp filterbank has been used to approximate the cochlea in sparse coding algorithms. An oriented grid search optimization was applied to adapt the gammachirp's parameters and improve the Matching Pursuit (MP) algorithm's sparsity along with the reconstruction quality. However, this combination of a greedy algorithm with a grid search at each iteration is computationally demanding and not suitable for real-time applications. This paper presents an adaptive approach to optimize the gammachirp's parameters but in the context of the Locally Competitive Algorithm (LCA) that requires much fewer computations than MP. The proposed method consists of taking advantage of the LCA's neural architecture to automatically adapt the gammachirp's filterbank using the backpropagation algorithm. Results demonstrate an improvement in the LCA's performance with our approach in terms of sparsity, reconstruction quality, and convergence time. This approach can yield a significant advantage over existing approaches for real-time applications.


title: The NANOGrav 12.5-year data set: Search for Non-Einsteinian Polarization Modes in theGravitational-Wave Background

abstract: We search NANOGrav's 12.5-year data set for evidence of a gravitational wave background (GWB) with all the spatial correlations allowed by general metric theories of gravity. We find no substantial evidence in favor of the existence of such correlations in our data. We find that scalar-transverse (ST) correlations yield signal-to-noise ratios and Bayes factors that are higher than quadrupolar (tensor transverse, TT) correlations. Specifically, we find ST correlations with a signal-to-noise ratio of 2.8 that are preferred over TT correlations (Hellings and Downs correlations) with Bayesian odds of about 20:1. However, the significance of ST correlations is reduced dramatically when we include modeling of the Solar System ephemeris systematics and/or remove pulsar J0030$+$0451 entirely from consideration. Even taking the nominal signal-to-noise ratios at face value, analyses of simulated data sets show that such values are not extremely unlikely to be observed in cases where only the usual TT modes are present in the GWB. In the absence of a detection of any polarization mode of gravity, we place upper limits on their amplitudes for a spectral index of $\gamma = 5$ and a reference frequency of $f_\text{yr} = 1 \text{yr}^{-1}$. Among the upper limits for eight general families of metric theories of gravity, we find the values of $A^{95\%}_{TT} = (9.7 \pm 0.4)\times 10^{-16}$ and $A^{95\%}_{ST} = (1.4 \pm 0.03)\times 10^{-15}$ for the family of metric spacetime theories that contain both TT and ST modes.


title: BulletTrain: Accelerating Robust Neural Network Training via Boundary Example Mining

abstract: Neural network robustness has become a central topic in machine learning in recent years. Most training algorithms that improve the model's robustness to adversarial and common corruptions also introduce a large computational overhead, requiring as many as ten times the number of forward and backward passes in order to converge. To combat this inefficiency, we propose BulletTrain $-$ a boundary example mining technique to drastically reduce the computational cost of robust training. Our key observation is that only a small fraction of examples are beneficial for improving robustness. BulletTrain dynamically predicts these important examples and optimizes robust training algorithms to focus on the important examples. We apply our technique to several existing robust training algorithms and achieve a 2.1$\times$ speed-up for TRADES and MART on CIFAR-10 and a 1.7$\times$ speed-up for AugMix on CIFAR-10-C and CIFAR-100-C without any reduction in clean and robust accuracy.


title: Multimodal Tip-Enhanced Nonlinear Optical Nano-Imaging of Plasmonic Silver Nanocubes

abstract: Optical field localization at plasmonic tip-sample nanojunctions has enabled high spatial resolution chemical analysis through tip-enhanced linear optical spectroscopies, including Raman scattering and photoluminescence. Here, we illustrate that nonlinear optical processes, including parametric four-wave mixing (4WM), second harmonic/sum-frequency generation (SHG and SFG), and two-photon photoluminescence (TPPL), can be enhanced at plasmonic junctions and spatio-spectrally resolved simultaneously with few-nm spatial resolution under ambient conditions. More importantly, through a detailed analysis of our spectral nano-images, we find that the efficiencies of the local nonlinear signals are determined by sharp tip-sample junction resonances that vary over the few-nanometer length scale because of the corrugated nature of the probe. Namely, plasmon resonances centered at or around the different nonlinear signals are tracked through TPPL, and they are found to selectively enhance nonlinear signals with closely matched optical resonances.


title: Superglass formation in an atomic BEC with competing long-range interactions

abstract: The complex dynamical phases of quantum systems are dictated by atomic interactions that usually evoke an emergent periodic order. Here, we study a quantum many-body system with two competing and substantially different long-range interaction potentials where the dynamical instability towards density order can give way to a superglass phase, i. e., a superfluid disordered amorphous solid, which exhibits local density modulations but no long-range periodic order. We consider a two-dimensional BEC in the Rydberg-dressing regime coupled to an optical standing wave resonator. The dynamic pattern formation in this system is governed by the competition between the two involved interaction potentials: repulsive soft-core interactions arising due to Rydberg dressing and infinite-range sign changing interactions induced by the cavity photons. The superglass phase is found when the two interaction potentials introduce incommensurate length scales. The dynamic formation of this peculiar phase without any externally added disorder is driven by quantum fluctuations and can be attributed to frustration induced by the two competing interaction energies and length scales.


title: Convolutional Neural Network Compression through Generalized Kronecker Product Decomposition

abstract: Modern Convolutional Neural Network (CNN) architectures, despite their superiority in solving various problems, are generally too large to be deployed on resource constrained edge devices. In this paper, we reduce memory usage and floating-point operations required by convolutional layers in CNNs. We compress these layers by generalizing the Kronecker Product Decomposition to apply to multidimensional tensors, leading to the Generalized Kronecker Product Decomposition (GKPD). Our approach yields a plug-and-play module that can be used as a drop-in replacement for any convolutional layer. Experimental results for image classification on CIFAR-10 and ImageNet datasets using ResNet, MobileNetv2 and SeNet architectures substantiate the effectiveness of our proposed approach. We find that GKPD outperforms state-of-the-art decomposition methods including Tensor-Train and Tensor-Ring as well as other relevant compression methods such as pruning and knowledge distillation.


title: Explanation-Aware Experience Replay in Rule-Dense Environments

abstract: Human environments are often regulated by explicit and complex rulesets. Integrating Reinforcement Learning (RL) agents into such environments motivates the development of learning mechanisms that perform well in rule-dense and exception-ridden environments such as autonomous driving on regulated roads. In this paper, we propose a method for organising experience by means of partitioning the experience buffer into clusters labelled on a per-explanation basis. We present discrete and continuous navigation environments compatible with modular rulesets and 9 learning tasks. For environments with explainable rulesets, we convert rule-based explanations into case-based explanations by allocating state-transitions into clusters labelled with explanations. This allows us to sample experiences in a curricular and task-oriented manner, focusing on the rarity, importance, and meaning of events. We label this concept Explanation-Awareness (XA). We perform XA experience replay (XAER) with intra and inter-cluster prioritisation, and introduce XA-compatible versions of DQN, TD3, and SAC. Performance is consistently superior with XA versions of those algorithms, compared to traditional Prioritised Experience Replay baselines, indicating that explanation engineering can be used in lieu of reward engineering for environments with explainable features.


title: Violation of Bell's inequality with quantum-dot single-photon sources

abstract: We investigate the possibility of realizing a loophole-free violation of Bell's inequality using deterministic single-photon sources. We provide a detailed analysis of a scheme to achieve such violations over long distances with immediate extensions to device-independent quantum key distribution. We investigate the effect of key experimental imperfections that are unavoidable in real-world single-photon sources including the finite degree of photon indistinguishability, single-photon purity, and the overall source efficiency. We benchmark the performance requirements to state-of-the-art deterministic single-photon sources based on quantum dots in photonic nanostructures and find that experimental realizations appear to be within reach. We also evaluate the requirements for a post-selected version of the protocol, which relaxes the demanding requirements with respect to the source efficiency.


title: Solar neutrinos and the primordial Sun

abstract: I discuss the possibility that the large-scale segregation of metals that accompanied planet formation might have left an imprint on the composition of the primordial Sun. Motivated in part by recent Borexino measurements of CN solar neutrinos, I stress how the additional linear metallicity dependence of this flux could be exploited to constrain the composition of the solar core. The gas in the core is arguably the earliest preserved sample of the material out of which our solar system formed.


title: Nuclear fission reaction simulations in compact stars

abstract: Type-Ia supernovae (SN Ia) are powerful stellar explosions that provide important distance indicators in cosmology. Recently, we proposed a new SN Ia mechanism that involves a nuclear fission chain-reaction in an isolated white dwarf [PRL 126, 1311010]. Here we perform novel reaction network simulations of the actinide-rich first solids in a cooling white dwarf. The network includes neutron-capture and fission reactions on a range of U and Th isotopes with various possible values for U-235 enrichment. We find, for modest U-235 enrichments, neutron-capture on U-238 and Th-232 can breed additional fissile nuclei so that a significant fraction of all U and Th nuclei may fission during the chain-reaction. The resulting large energy release could ignite thermonuclear carbon burning and possibly trigger a SN Ia.


title: USIS: Unsupervised Semantic Image Synthesis

abstract: Semantic Image Synthesis (SIS) is a subclass of image-to-image translation where a photorealistic image is synthesized from a segmentation mask. SIS has mostly been addressed as a supervised problem. However, state-of-the-art methods depend on a huge amount of labeled data and cannot be applied in an unpaired setting. On the other hand, generic unpaired image-to-image translation frameworks underperform in comparison, because they color-code semantic layouts and feed them to traditional convolutional networks, which then learn correspondences in appearance instead of semantic content. In this initial work, we propose a new Unsupervised paradigm for Semantic Image Synthesis (USIS) as a first step towards closing the performance gap between paired and unpaired settings. Notably, the framework deploys a SPADE generator that learns to output images with visually separable semantic classes using a self-supervised segmentation loss. Furthermore, in order to match the color and texture distribution of real images without losing high-frequency information, we propose to use whole image wavelet-based discrimination. We test our methodology on 3 challenging datasets and demonstrate its ability to generate multimodal photorealistic images with an improved quality in the unpaired setting.


title: Physical and one-dimensional properties of single crystalline La$_{5}$AgPb$_{3}$

abstract: We report here the properties of single crystals of La$_{5}$AgPb$_{3}$, which is a member of the $R_5MX_3$ ($R$ = rare earth, $M$ = transition metal or main group element, $X$ = Pb, Sn, Sb, In, Bi) family of chain-like compounds. Measurements of the electrical resistivity, specific heat and magnetic susceptibility are compared to the results of density functional calculations, finding that La$_{5}$AgPb$_{3}$ is a non-magnetic metal with moderate correlations. The analysis of the electrical resistivity and specific heat measurements highlight the importance of lattice vibrations in the material, while the calculated electron density suggests the presence of localized La and well-hybridized Ag atoms that extend along the c-axis in the La$_{5}$AgPb$_{3}$ structure. The temperature dependence of the magnetic susceptibility is consistent with a possible one-dimensional character of La$_{5}$AgPb$_{3}$, where the strength of correlations is much weaker than in one-dimensional conductors that have been previously reported.


title: Conceptual Data Modeling: Entity-Relationship Models as Thinging Machines

abstract: Data modeling is a process of developing a model to design and develop a data system that supports an organization s various business processes. A conceptual data model represents a technology-independent specification of structure of data to be stored within a database. The model aims at providing richer expressiveness and incorporating a set of semantics to (a) support the design, control, and integrity parts of the data stored in data management structures and (b) coordinate viewing of connections and ideas on a database. The described structure of the data is often represented in an entity-relationship (ER) model, which was one of the first data-modeling techniques and is likely to continue to be a popular way of characterizing entity classes, attributes and relationships. This paper is an attempt to examine the basic ER modeling notions to analyze the concepts to which they refer as well as ways to represent them. In such a mission, we apply a new modeling methodology (thinging machine; TM) to ER in terms of its fundamental building constructs, representation entities, relationships and attributes. The goal of this venture is to further the understanding of data models and enrich their semantics. Three specific contributions to modeling in this context are incorporated: (a) using the TM model s five generic actions to inject processing in the ER structure; (b) relating the single ontological element of TM modeling (i.e., a thing/machine or thimac) to ER entities and relationships; and (c) proposing a high-level integrated, extended ER model that includes structural and time-oriented notions (e.g., events or behavior).


title: Grounding Predicates through Actions

abstract: Symbols representing abstract states such as "dish in dishwasher" or "cup on table" allow robots to reason over long horizons by hiding details unnecessary for high-level planning. Current methods for learning to identify symbolic states in visual data require large amounts of labeled training data, but manually annotating such datasets is prohibitively expensive due to the combinatorial number of predicates in images. We propose a novel method for automatically labeling symbolic states in large-scale video activity datasets by exploiting known pre- and post-conditions of actions. This automatic labeling scheme only requires weak supervision in the form of an action label that describes which action is demonstrated in each video. We use our framework to train predicate classifiers to identify symbolic relationships between objects when prompted with object bounding boxes, and demonstrate that such predicate classifiers can match the performance of those trained with full supervision at a fraction of the labeling cost. We also apply our framework to an existing large-scale human activity dataset, and demonstrate the ability of these predicate classifiers trained on human data to enable closed-loop task planning in the real world.


title: Deep neural networks with controlled variable selection for the identification of putative causal genetic variants

abstract: Deep neural networks (DNN) have been used successfully in many scientific problems for their high prediction accuracy, but their application to genetic studies remains challenging due to their poor interpretability. In this paper, we consider the problem of scalable, robust variable selection in DNN for the identification of putative causal genetic variants in genome sequencing studies. We identified a pronounced randomness in feature selection in DNN due to its stochastic nature, which may hinder interpretability and give rise to misleading results. We propose an interpretable neural network model, stabilized using ensembling, with controlled variable selection for genetic studies. The merit of the proposed method includes: (1) flexible modelling of the non-linear effect of genetic variants to improve statistical power; (2) multiple knockoffs in the input layer to rigorously control false discovery rate; (3) hierarchical layers to substantially reduce the number of weight parameters and activations to improve computational efficiency; (4) de-randomized feature selection to stabilize identified signals. We evaluated the proposed method in extensive simulation studies and applied it to the analysis of Alzheimer disease genetics. We showed that the proposed method, when compared to conventional linear and nonlinear methods, can lead to substantially more discoveries.


title: A Unified Model for the Fan Region and the North Polar Spur: A bundle of filaments in the Local Galaxy

abstract: We present a simple, unified model that can explain two of the brightest, large-scale, diffuse, polarized radio features in the sky, the North Polar Spur (NPS) and the Fan Region, along with several other prominent loops. We suggest that they are long, magnetized, and parallel filamentary structures that surround the Local arm and/or Local Bubble, in which the Sun is embedded. We show this model is consistent with the large number of observational studies on these regions, and is able to resolve an apparent contradiction in the literature that suggests the high latitude portion of the NPS is nearby, while lower latitude portions are more distant. Understanding the contributions of this local emission is critical to developing a complete model of the Galactic magnetic field. These very nearby structures also provide context to help understand similar non-thermal, filamentary structures that are increasingly being observed with modern radio telescopes.


title: Reproducing the UVJ Color Distribution of Star-forming Galaxies at 0.5 < z < 2.5 with a Geometric Model of Dust Attenuation

abstract: We analyze the distribution of rest-frame U-V and V-J colors for star-forming galaxies at 0.5 < z < 2.5. Using stellar population synthesis, stochastic star formation histories, and a simple prescription for the dust attenuation that accounts for the shape and inclination of galaxies, we construct a model for the distribution of galaxy colors. With only two free parameters, this model is able to reproduce the observed galaxy colors as a function of redshift and stellar mass remarkably well. Our analysis suggests that the wide range of dust attenuation values measured for star-forming galaxies at a given redshift and stellar mass is almost entirely due to the effect of inclination; if all galaxies were observed edge-on, they would show very similar dust attenuation. This result has important implications for the interpretation of dust attenuation measurements, the treatment of UV and IR luminosity, and the comparison between numerical simulations and observations.


title: SliceHub: Augmenting Shared 3D Model Repositories with Slicing Results for 3D Printing

abstract: In this paper, we explore how to augment shared 3D model repositories, such as Thingiverse, with slicing results that are readily available to all users. By having print time and material consumption for different print resolution profiles and model scales available in real-time, users are able to explore different slicing configurations efficiently to find the one that best fits their time and material constraints. To prototype this idea, we build a system called SliceHub, which consists of three components: (1) a repository with an evolving database of 3D models, for which we store the print time and material consumption for various print resolution profiles and model scales, (2) a user interface integrated into an existing slicer that allows users to explore the slicing information from the 3D models, and (3) a computational infrastructure to quickly generate new slicing results, either through parallel slicing of multiple print resolution profiles and model scales or through interpolation. We motivate our work with a formative study of the challenges faced by users of existing slicers and provide a technical evaluation of the SliceHub system.


title: BeliefBank: Adding Memory to a Pre-Trained Language Model for a Systematic Notion of Belief

abstract: Although pretrained language models (PTLMs) contain significant amounts of world knowledge, they can still produce inconsistent answers to questions when probed, even after specialized training. As a result, it can be hard to identify what the model actually "believes" about the world, making it susceptible to inconsistent behavior and simple errors. Our goal is to reduce these problems. Our approach is to embed a PTLM in a broader system that also includes an evolving, symbolic memory of beliefs -- a BeliefBank -- that records but then may modify the raw PTLM answers. We describe two mechanisms to improve belief consistency in the overall system. First, a reasoning component -- a weighted MaxSAT solver -- revises beliefs that significantly clash with others. Second, a feedback component issues future queries to the PTLM using known beliefs as context. We show that, in a controlled experimental setting, these two mechanisms result in more consistent beliefs in the overall system, improving both the accuracy and consistency of its answers over time. This is significant as it is a first step towards PTLM-based architectures with a systematic notion of belief, enabling them to construct a more coherent picture of the world, and improve over time without model retraining.


title: Probing conformational dynamics of antibodies with geometric simulations

abstract: This chapter describes the application of constrained geometric simulations for prediction of antibody structural dynamics. We utilize constrained geometric simulations method FRODAN, which is a low computational complexity alternative to Molecular Dynamics (MD) simulations that can rapidly explore flexible motions in protein structures. FRODAN is highly suited for conformational dynamics analysis of large proteins, complexes, intrinsically disordered proteins and dynamics that occurs on longer biologically relevant time scales which are normally inaccessible to classical MD simulations. This approach predicts protein dynamics at an all-atom scale while retaining realistic covalent bonding, maintaining dihedral angles in energetically good conformations while avoiding steric clashes in addition to performing other geometric and stereochemical criteria checks. In this chapter, we apply FRODAN to showcase its applicability for probing functionally relevant dynamics of IgG2a, including large amplitude domain-domain motions and motions of complementarity determining region (CDR) loops. As was suggested in previous experimental studies, our simulations show that antibodies can explore a large range of conformational space.


title: Tiny-CRNN: Streaming Wakeword Detection In A Low Footprint Setting

abstract: In this work, we propose Tiny-CRNN (Tiny Convolutional Recurrent Neural Network) models applied to the problem of wakeword detection, and augment them with scaled dot product attention. We find that, compared to Convolutional Neural Network models, False Accepts in a 250k parameter budget can be reduced by 25% with a 10% reduction in parameter size by using models based on the Tiny-CRNN architecture, and we can get up to 32% reduction in False Accepts at a 50k parameter budget with 75% reduction in parameter size compared to word-level Dense Neural Network models. We discuss solutions to the challenging problem of performing inference on streaming audio with this architecture, as well as differences in start-end index errors and latency in comparison to CNN, DNN, and DNN-HMM models.


title: Decorrelation of participant and spectator angular momenta in heavy-ion collisions

abstract: High-energy heavy-ion collisions contain enormous angular momentum, $|\vec{J}|$, which is $\mathcal{O}(10^3-10^6\hbar)$ in the range of collision energy, $\sqrt{s_\mathrm{NN}}$, spanned experimentally by the Relativistic Heavy Ion Collider (RHIC) and the Large Hadron Collider (LHC). A fraction of $\vec{J}$ is transferred to the overlapping collision region, which is indispensable for measuring observables such as vorticity-driven hadron spin alignment with $\hat{J}$. Experiments estimate the orientation of $\hat{J}$ of the participant nucleons within the collision overlap region, $\hat{J}_\mathrm{part}$, by using that of the forward- and backward-going spectating nucleons $\hat{J}_\mathrm{spec}$. Using two models, we study the decorrelation between $\hat{J}_\mathrm{part}$ and $\hat{J}_\mathrm{spec}$, driven both by angular-momentum conservation and event-by-event fluctuations, as well as by the decorrelation between the orientation of the elliptic overlap region and the $\hat{J}_\mathrm{part}$. $\sqrt{s_\mathrm{NN}}$-dependent decorrelation is observed in both of these cases and is large enough to be an important corrective factor used when experimentally observing phenomena driven by $\vec{J}$.


title: Dr Jekyll and Mr Hyde: the Strange Case of Off-Policy Policy Updates

abstract: The policy gradient theorem states that the policy should only be updated in states that are visited by the current policy, which leads to insufficient planning in the off-policy states, and thus to convergence to suboptimal policies. We tackle this planning issue by extending the policy gradient theory to policy updates with respect to any state density. Under these generalized policy updates, we show convergence to optimality under a necessary and sufficient condition on the updates' state densities, and thereby solve the aforementioned planning issue. We also prove asymptotic convergence rates that significantly improve those in the policy gradient literature. To implement the principles prescribed by our theory, we propose an agent, Dr Jekyll & Mr Hyde (JH), with a double personality: Dr Jekyll purely exploits while Mr Hyde purely explores. JH's independent policies allow to record two separate replay buffers: one on-policy (Dr Jekyll's) and one off-policy (Mr Hyde's), and therefore to update JH's models with a mixture of on-policy and off-policy updates. More than an algorithm, JH defines principles for actor-critic algorithms to satisfy the requirements we identify in our analysis. We extensively test on finite MDPs where JH demonstrates a superior ability to recover from converging to a suboptimal policy without impairing its speed of convergence. We also implement a deep version of the algorithm and test it on a simple problem where it shows promising results.


title: Collaborative Storytelling with Human Actors and AI Narrators

abstract: Large language models can be used for collaborative storytelling. In this work we report on using GPT-3 \cite{brown2020language} to co-narrate stories. The AI system must track plot progression and character arcs while the human actors perform scenes. This event report details how a novel conversational agent was employed as creative partner with a team of professional improvisers to explore long-form spontaneous story narration in front of a live public audience. We introduced novel constraints on our language model to produce longer narrative text and tested the model in rehearsals with a team of professional improvisers. We then field tested the model with two live performances for public audiences as part of a live theatre festival in Europe. We surveyed audience members after each performance as well as performers to evaluate how well the AI performed in its role as narrator. Audiences and performers responded positively to AI narration and indicated preference for AI narration over AI characters within a scene. Performers also responded positively to AI narration and expressed enthusiasm for the creative and meaningful novel narrative directions introduced to the scenes. Our findings support improvisational theatre as a useful test-bed to explore how different language models can collaborate with humans in a variety of social contexts.


title: Targeted Gradient Descent: A Novel Method for Convolutional Neural Networks Fine-tuning and Online-learning

abstract: A convolutional neural network (ConvNet) is usually trained and then tested using images drawn from the same distribution. To generalize a ConvNet to various tasks often requires a complete training dataset that consists of images drawn from different tasks. In most scenarios, it is nearly impossible to collect every possible representative dataset as a priori. The new data may only become available after the ConvNet is deployed in clinical practice. ConvNet, however, may generate artifacts on out-of-distribution testing samples. In this study, we present Targeted Gradient Descent (TGD), a novel fine-tuning method that can extend a pre-trained network to a new task without revisiting data from the previous task while preserving the knowledge acquired from previous training. To a further extent, the proposed method also enables online learning of patient-specific data. The method is built on the idea of reusing a pre-trained ConvNet's redundant kernels to learn new knowledge. We compare the performance of TGD to several commonly used training approaches on the task of Positron emission tomography (PET) image denoising. Results from clinical images show that TGD generated results on par with training-from-scratch while significantly reducing data preparation and network training time. More importantly, it enables online learning on the testing study to enhance the network's generalization capability in real-world applications.


title: Como o Game Design Pode Incentivar o Comportamento T\'oxico em Jogos Online

abstract: Toxic behavior is one of the problems most associated with the gaming community. Reports of hate speech and anti-gaming behavior are common in many online multiplayer games. Many studies address this area, focusing on players and, principally, on the content and its negative impact on the community. However, it is possible that other factors influence the toxicity. In this article, we investigate how game design elements influence toxic behavior, using toxic disinhibition factors as a basis for the analysis. For this, four of the main games of the MOBA genre were analyzed with the support of the MDA Framework and a questionnaire with players. The results show that most players suffered offenses and offended other people in the game, in addition to recognizing MOBA as the genre that generates the most impatience among them. Furthermore, we raise and discuss different elements and mechanics in games that impact the well-being of the community through the individualization of the player, elimination of solidarities, and affirmation of indifference towards toxic behavior. With this, we hope to help game developers and communities to promote integration dynamics.


title: Precision calculation of universal amplitude ratios in $O(N)$ universality classes: Derivative Expansion results at order $\mathcal{O}(\partial^4)$

abstract: In the last few years the derivative expansion of the Non-Perturbative Renormalization Group has proven to be a very efficient tool for the precise computation of critical quantities. In particular, recent progress in the understanding of its convergence properties allowed for an estimate of the error bars as well as the precise computation of many critical quantities. In this work we extend previous studies to the computation of several universal amplitude ratios for the critical regime of $O(N)$ models using the derivative expansion of the Non-Perturbative Renormalization Group at order $\mathcal{O}(\partial^4)$ for three dimensional systems.


title: The MatrixX Solver For Argumentation Frameworks

abstract: MatrixX is a solver for Abstract Argumentation Frameworks. Offensive and defensive properties of an Argumentation Framework are notated in a matrix style. Rows and columns of this matrix are systematically reduced by the solver. This procedure is implemented through the use of hash maps in order to accelerate calculation time. MatrixX works for stable and complete semantics and was designed for the ICCMA 2021 competition.