title: The Fleming-Viot Process with McKean-Vlasov Dynamics

abstract: The Fleming-Viot particle system consists of $N$ identical particles diffusing in a domain $U \subset \mathbb{R}^d$. Whenever a particle hits the boundary $\partial U$, that particle jumps onto another particle in the interior. It is known that this system provides a particle representation for both the Quasi-Stationary Distribution (QSD) and the distribution conditioned on survival for a given diffusion killed at the boundary of its domain. We extend these results to the case of McKean-Vlasov dynamics. We prove that the law conditioned on survival of a given McKean-Vlasov process killed on the boundary of its domain may be obtained from the hydrodynamic limit of the corresponding Fleming-Viot particle system. We then show that if the target killed McKean-Vlasov process converges to a QSD as $t \rightarrow \infty$, such a QSD may be obtained from the stationary distributions of the corresponding $N$-particle Fleming-Viot system as $N\rightarrow\infty$.


title: Automatic differentiation for coupled cluster methods

abstract: Automatic differentiation is a tool for numerically calculating derivatives of a given function up to machine precision. This tool is useful for quantum chemistry methods, which require the calculation of gradients either for the minimization of the energy with respect to wave function parameters or for the calculation of molecular responses to external perturbations. Herein, we apply automatic differentiation to the coupled cluster with doubles method, in which the wave function parameters are obtained by minimizing the energy Lagrangian. The benefit of this approach is that the l amplitudes can be obtained without implementation of the usual L-equations, thereby reducing the coding effort by approximately a factor of two. We also show that the excitation energies at the coupled cluster level can be ontained with only a few lines of the code using automatic differentiation. We further apply automatic differentiation to the multicomponent coupled cluster with doubles method, which treats more than one type of particle, such as electrons and protons, quantum mechanically. This approach will be especially useful for prototyping, debugging, and testing multicomponent quantum chemistry methods because reference and benchmark data are limited in this emerging field.


title: The causal effect of a timeout at stopping an opposing run in the NBA

abstract: In the summer of 2017, the National Basketball Association reduced the number of total timeouts, along with other rule changes, to regulate the flow of the game. With these rule changes, it becomes increasingly important for coaches to effectively manage their timeouts. Understanding the utility of a timeout under various game scenarios, e.g., during an opposing team's run, is of the utmost importance. There are two schools of thought when the opposition is on a run: (1) call a timeout and allow your team to rest and regroup, or (2) save a timeout and hope your team can make corrections during play. This paper investigates the credence of these tenets using the Rubin causal model framework to quantify the causal effect of a timeout in the presence of an opposing team's run. Too often overlooked, we carefully consider the stable unit-treatment-value assumption (SUTVA) in this context and use SUTVA to motivate our definition of units. To measure the effect of a timeout, we introduce a novel, interpretable outcome based on the score difference to describe broad changes in the scoring dynamics. This outcome is well-suited for situations where the quantity of interest fluctuates frequently, a commonality in many sports analytics applications. We conclude from our analysis that while comebacks frequently occur after a run, it is slightly disadvantageous to call a timeout during a run by the opposing team and further demonstrate that the magnitude of this effect varies by franchise.


title: NOMA-Based Cooperative Relaying with Receive Diversity in Nakagami-m Fading Channels

abstract: Non-orthogonal multiple access (NOMA) is being widely considered as a potential candidate to enhance the spectrum utilization in beyond fifth-generation (B5G) communications. In this paper, we derive closed-form expressions for the ergodic rate and outage probability of a multiple-antenna-assisted NOMA-based cooperative relaying system (CRS-NOMA). We present the performance analysis of the system for two different receive diversity schemes - selection combining (SC) and maximal-ratio combining (MRC), in Nakagami-m fading. We also evaluate the asymptotic behavior of the CRS-NOMA to determine the slope of the ergodic rate and diversity order. Our results show that in contrast to the existing CRS-NOMA systems, the CRS-NOMA with receive diversity outperforms its orthogonal multiple access (OMA) based counterpart even in the low-SNR regime, by achieving higher ergodic rate. Diversity analysis confirms that the CRS-NOMA achieves full diversity order using both SC and MRC schemes, and this diversity order depends on both the shape parameter m and the number of receive antennas. We also discuss the problem of optimal power allocation for the minimization of the outage probability of the system, and subsequently use this optimal value to obtain the ergodic rate. An excellent match is observed between the numerical and the analytical results, confirming the correctness of the derived analytical expressions.


title: Sequential Topological Representations for Predictive Models of Deformable Objects

abstract: Deformable objects present a formidable challenge for robotic manipulation due to the lack of canonical low-dimensional representations and the difficulty of capturing, predicting, and controlling such objects. We construct compact topological representations to capture the state of highly deformable objects that are topologically nontrivial. We develop an approach that tracks the evolution of this topological state through time. Under several mild assumptions, we prove that the topology of the scene and its evolution can be recovered from point clouds representing the scene. Our further contribution is a method to learn predictive models that take a sequence of past point cloud observations as input and predict a sequence of topological states, conditioned on target/future control actions. Our experiments with highly deformable objects in simulation show that the proposed multistep predictive models yield more precise results than those obtained from computational topology libraries. These models can leverage patterns inferred across various objects and offer fast multistep predictions suitable for real-time applications.


title: Alone or With Others? Understanding Eating Episodes of College Students with Mobile Sensing

abstract: Understanding food consumption patterns and contexts using mobile sensing is fundamental to build mobile health applications that require minimal user interaction to generate mobile food diaries. Many available mobile food diaries, both commercial and in research, heavily rely on self-reports, and this dependency limits the long term adoption of these apps by people. The social context of eating (alone, with friends, with family, with a partner, etc.) is an important self-reported feature that influences aspects such as food type, psychological state while eating, and the amount of food, according to prior research in nutrition and behavioral sciences. In this work, we use two datasets regarding the everyday eating behavior of college students in two countries, namely Switzerland (N_ch=122) and Mexico (N_mx=84), to examine the relation between the social context of eating and passive sensing data from wearables and smartphones. Moreover, we design a classification task, namely inferring eating-alone vs. eating-with-others episodes using passive sensing data and time of eating, obtaining accuracies between 77% and 81%. We believe that this is a first step towards understanding more complex social contexts related to food consumption using mobile sensing.


title: Proximu$: Efficiently Scaling DNN Inference in Multi-core CPUs through Near-Cache Compute

abstract: Deep Neural Network (DNN) inference is emerging as the fundamental bedrock for a multitude of utilities and services. CPUs continue to scale up their raw compute capabilities for DNN inference along with mature high performance libraries to extract optimal performance. While general purpose CPUs offer unique attractive advantages for DNN inference at both datacenter and edge, they have primarily evolved to optimize single thread performance. For highly parallel, throughput-oriented DNN inference, this results in inefficiencies in both power and performance, impacting both raw performance scaling and overall performance/watt. We present Proximu$\$$, where we systematically tackle the root inefficiencies in power and performance scaling for CPU DNN inference. Performance scales efficiently by distributing light-weight tensor compute near all caches in a multi-level cache hierarchy. This maximizes the cumulative utilization of the existing bandwidth resources in the system and minimizes movement of data. Power is drastically reduced through simple ISA extensions that encode the structured, loop-y workload behavior. This enables a bulk offload of pre-decoded work, with loop unrolling in the light-weight near-cache units, effectively bypassing the power-hungry stages of the wide Out-of-Order (OOO) CPU pipeline. Across a number of DNN models, Proximu$\$$ achieves a 2.3x increase in convolution performance/watt with a 2x to 3.94x scaling in raw performance. Similarly, Proximu$\$$ achieves a 1.8x increase in inner-product performance/watt with 2.8x scaling in performance. With no changes to the programming model, no increase in cache capacity or bandwidth and minimal additional hardware, Proximu$\$$ enables unprecedented CPU efficiency gains while achieving similar performance to state-of-the-art Domain Specific Accelerators (DSA) for DNN inference in this AI era.


title: Mechanical Search on Shelves using Lateral Access X-RAY

abstract: Efficiently finding an occluded object with lateral access arises in many contexts such as warehouses, retail, healthcare, shipping, and homes. We introduce LAX-RAY (Lateral Access maXimal Reduction of occupancY support Area), a system to automate the mechanical search for occluded objects on shelves. For such lateral access environments, LAX-RAY couples a perception pipeline predicting a target object occupancy support distribution with a mechanical search policy that sequentially selects occluding objects to push to the side to reveal the target as efficiently as possible. Within the context of extruded polygonal objects and a stationary target with a known aspect ratio, we explore three lateral access search policies: Distribution Area Reduction (DAR), Distribution Entropy Reduction (DER), and Distribution Entropy Reduction over Multiple Time Steps (DER-MT) utilizing the support distribution and prior information. We evaluate these policies using the First-Order Shelf Simulator (FOSS) in which we simulate 800 random shelf environments of varying difficulty, and in a physical shelf environment with a Fetch robot and an embedded PrimeSense RGBD Camera. Average simulation results of 87.3% success rate demonstrate better performance of DER-MT with 2 prediction steps. When deployed on the robot, results show a success rate of at least 80% for all policies, suggesting that LAX-RAY can efficiently reveal the target object in reality. Both results show significantly better performance of the three proposed policies compared to a baseline policy with uniform probability distribution assumption in non-trivial cases, showing the importance of distribution prediction. Code, videos, and supplementary material can be found at https://sites.google.com/berkeley.edu/lax-ray.


title: Distinguished waves and slopes in genus two

abstract: If R is a nonseparating simple closed curve on the boundary of a genus two handlebody H and H[R] has incompressible boundary, then there exists a unique arc omega in bdry(H), meeting R only in its endpoints, such that, omega is isotopic in bdry(H), keeping its endpoints on R, to a nontrivial wave based at R in each Heegaard diagram of R on bdry(H) which has no cut-vertex. Then surgery on R along its "distinguished-wave" omega yields a pair of simple closed curves, say m_1 and m_2, in bdry(H), each representing an "omega-determined-slope" m on bdry(H[R]), that depends only on R and H. A few consequences: 1) Only Dehn filling of H[R] at slope m can yield S^3, (S^1 X S^2) # L(p,q), or S^1 X S^2. So H[R] embeds in at most one of S^3, (S^1 X S^2) # L(p,q), or S^1 X S^2. And, if such an embedding exists, it is unique. 2) Theta curves arising from unknotting tunnels of tunnel-number-one knots in S^3, S^1 X S^2, or (S^1 X S^2) # L(p,q), have canonical component knots. 3) One can recognize (1,1) tunnels of (1,1) knots in S^3 or S^1 X S^2. 4) Algorithms for recognizing genus two Heegaard diagrams of S^3, S^1 X S^2, or (S^1 X S^2) # L(p,q) that use waves can be streamlined. 5) Efficient procedures for computing the depth of an unknotting tunnel of a knot in S^3, S^1 X S^2, or (S^1 X S^2) # L(p,q) exist. Finally, if H[R_1] is homeomorphic to H[R_2], but (H,R_1) and (H,R_2) are not homeomorphic, then the omega-determined slopes on bdry(H[R_1]) and bdry(H[R_2]) may differ. However, computation suggests that, if 'R' is a set of simple closed curves on bdry(H) such that R_1 in 'R' and R_2 in 'R' means H[R_1] is homeomorphic to H[R_2], then at most two distinct slopes appear as omega-determined slopes for curves in 'R', and that, if such distinct omega-determined slopes exist, they are never more than distance one apart.


title: Ultra Short Period Planets in K2 III: Neighbors are Common with 13 New Multi-Planet Systems and 10 Newly Validated Planets in Campaigns 0-8, 10

abstract: Using the EVEREST photometry pipeline, we have identified 74 candidate ultra-short-period planets (orbital period P<1 d) in the first half of the K2 data (Campaigns 0-8 and 10). Of these, 33 candidates have not previously been reported. A systematic search for additional transiting planets found 13 new multi-planet systems, doubling the number known and representing a third (32%) of USPs. We also identified 30 companions, which have periods from 1.4 to 31 days (median 5.5 d). A third (36 of 104) of the candidate USPs and companions have been statistically validated or confirmed, 10 for the first time, including 7 USPs. Almost all candidates, and all validated planets, are small (radii Rp<=3 R_E) with a median radius of R_p=1.1 R_E; the validated and confirmed candidates have radii between 0.4 R_E and 2.4 R_E and periods from P=0.18 to 0.96 d. The lack of candidate (a) ultra-hot-Jupiters (R_p>10 R_E) and (b) short-period desert (3<=Rp<=10 R_E) planets suggests that both populations are rare, although our survey may have missed some of the very deepest transits. These results also provide strong evidence that we have not reached a lower limit on the distribution of planetary radius values for planets at close proximity to a star, and suggest that additional improvements in photometry techniques would yield yet more ultra-short-period planets. The large fraction of USPs in known multi-planet systems supports origins models that involve dynamical interactions with exterior planets coupled to tidal decay of the USP orbits.


title: Design of a Time-to-Digital Converter ASIC and a mini-DAQ system for the Phase-2 Upgrade of the ATLAS Monitored Drift Tube detector

abstract: We present the second prototype of a time-to-digital (TDC) ASIC for the upgrade of the ATLAS Monitored Drift Tube (MDT) detector for High-Luminosity LHC operations. Compared to the first prototype, triple modular redundancy has been implemented for the configuration and flow control logic. The total power consumption is increased by less than 10 mW while achieving the same time resolution and channel uniformity. A mini-DAQ system has been built to verify the front-end electronics chain with the new prototype together with other ASICs and boards in triggered mode. Cosmic ray tests with a small-diameter MDT chamber indicate that the configuration and data transmission of the readout electronics perform well. It is expected that this prototype design will be used in the final production.


title: Nonlocal scalar field in an external potential: WKB approximation

abstract: We consider a nonlocal theory of a scalar massive field in a flat spacetime background in the presence of an external potential and construct WKB solutions for this theory. We use a model in which the kinetic part of the scalar field action is modified by changing $\Box$ to $\Box f(\Box)$ operator. We discuss conditions when the corresponding form factor $f$ is chosen so that the theory does not contain new unphysical degrees of freedom. We applied the obtained WKB solutions for study energy levels of the field trapped by a one-dimensional potential and the probability of the barrier penetration. This allows us to illustrate how the effects of the nonlocality change the known results obtained for the local field theory.


title: Optics studies of a Muon Accumulator Ring based on FFA cells

abstract: The production of an intense, high energy and low emittance muon beam is interesting for a possible muon collider. The Low EMittance Muon Accelerator (LEMMA) team at the Istituto Nazionale di Fisica Nucleare (INFN), in Italy, is studying the production of a 22.5 GeV low emittance muon beam from a high energy positron beam at twice the muon energy impinging on a fixed thin target. The LEMMA scheme proposes to perform the muon accumulation from multiple ($10^2$ to $10^3$) positron bunches to increase the population of a single muon bunch that is recirculated through the target using two small accumulator rings, one per muon species. The three beams ($\mu^+$ and $\mu^-$ at 22.5 GeV and $e^+$ at twice the muon energy) share the same phase space at the target on every positron bunch interaction, producing new muons inside the preserved beam emittance. We study the requirements and optics design of the accumulator to recirculate the muons over the target using a Fixed Field Alternating Gradient (FFA) arc. As a result, we achieve a compact 230 m long accumulator with two Interaction Points, energy acceptance of $\pm5$ %, low twiss beta function at the target $\beta^*_\mu=20$ cm, and a drift space 2$L^*$ of 20 cm enough to accommodate 1 % of a radiation length $X_0$ for several material options. These optics parameters are obtained with magnets similar to those foreseen for new colliders like FCC or CLIC, and could be extended further with new magnet designs. The current muon accumulation results will serve as input for beam combination studies.


title: Flexible idempotents in nonassociative algebras

abstract: ``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras.


title: Superconductivity and charge density wave order in the 2D Holstein model

abstract: The Holstein Hamiltonian describes fermions hopping on a lattice and interacting locally with dispersionless phonon degrees of freedom. In the low density limit, dressed quasiparticles, polarons and bipolarons, propagate with an effective mass. At higher densities, pairs can condense into a low temperature superconducting phase and, at or near commensurate filling on a bipartite lattice, to charge density wave (CDW) order. CDW formation breaks a discrete symmetry and hence occurs via a second order (Ising) transition, and therefore at a finite $T_{\rm cdw}$ in two dimensions. Quantum Monte Carlo calculations have determined $T_{\rm cdw}$ for a variety of geometries, including square, honeycomb, and Lieb lattices. The superconducting transition, on the other hand, in $d=2$ is in the Kosterlitz-Thouless (KT) universality class, and is much less well characterized. In this paper we determine $T_{\rm sc}$ for the square lattice, for several values of the density $\rho$ and phonon frequency $\omega_0$. We find that quasi-long range order sets in at $T_{\rm sc} \lesssim t/20$, where $t$ is the near neighbor hopping amplitude, consistent with previous rough estimates from simulations which only extrapolated to the temperatures we reach from considerably higher $T$. We also show evidence for a discontinuous evolution of the density as the CDW transition is approached at half-filling.


title: Evaluating Feedback Strategies for Virtual Human Trainers

abstract: In this paper we address feedback strategies for an autonomous virtual trainer. First, a pilot study was conducted to identify and specify feedback strategies for assisting participants in performing a given task. The task involved sorting virtual cubes according to areas of countries displayed on them. Two feedback strategies were specified. The first provides correctness feedback by fully correcting user responses at each stage of the task, and the second provides suggestive feedback by only notifying if and how a response can be corrected. Both strategies were implemented in a virtual training system and empirically evaluated. The correctness feedback strategy was preferred by the participants, was more effective time-wise, and was more effective in improving task performance skills. The overall system was also rated comparable to hypothetically performing the same task with real interactions.


title: DeepClimGAN: A High-Resolution Climate Data Generator

abstract: Earth system models (ESMs), which simulate the physics and chemistry of the global atmosphere, land, and ocean, are often used to generate future projections of climate change scenarios. These models are far too computationally intensive to run repeatedly, but limited sets of runs are insufficient for some important applications, like adequately sampling distribution tails to characterize extreme events. As a compromise, emulators are substantially less expensive but may not have all of the complexity of an ESM. Here we demonstrate the use of a conditional generative adversarial network (GAN) to act as an ESM emulator. In doing so, we gain the ability to produce daily weather data that is consistent with what ESM might output over any chosen scenario. In particular, the GAN is aimed at representing a joint probability distribution over space, time, and climate variables, enabling the study of correlated extreme events, such as floods, droughts, or heatwaves.


title: An Estimator for Matching Size in Low Arboricity Graphs with Two Applications

abstract: In this paper, we present a new simple degree-based estimator for the size of maximum matching in bounded arboricity graphs. When the arboricity of the graph is bounded by $\alpha$, the estimator gives a $\alpha+2$ factor approximation of the matching size. For planar graphs, we show the estimator does better and returns a $3.5$ approximation of the matching size. Using this estimator, we get new results for approximating the matching size of planar graphs in the streaming and distributed models of computation. In particular, in the vertex-arrival streams, we get a randomized $O(\frac{\sqrt{n}}{\epsilon^2}\log n)$ space algorithm for approximating the matching size within $(3.5+\epsilon)$ factor in a planar graph on $n$ vertices. Similarly, we get a simultaneous protocol in the vertex-partition model for approximating the matching size within $(3.5+\epsilon)$ factor using $O(\frac{n^{2/3}}{\epsilon^2}\log n)$ communication from each player. In comparison with the previous estimators, the estimator in this paper does not need to know the arboricity of the input graph and improves the approximation factor for the case of planar graphs.


title: The Buildings Gallery: visualising buildings

abstract: Buildings are beautiful mathematical objects tying a variety of subjects in algebra and geometry together in a very direct sense. They form a natural bridge to visualising more complex principles in group theory. As such they provide an opportunity to talk about the inner workings of mathematics to a broader audience, but the visualisations could also serve as a didactic tool in teaching group and building theory, and we believe they can even inspire future research. We present an algorithmic method to visualise these geometric objects. The main accomplishment is the use of existing theory to produce three dimensional, interactive models of buildings associated to groups with a $BN$-pair. The final product, an interactive web application called The Buildings Gallery, can be found at https://buildings.gallery \citep{Bekker2020}.


title: Spinning S-matrix Bootstrap in 4d

abstract: We review unitarity and crossing constraints on scattering amplitudes for particles with spin in four dimensional quantum field theories. As an application we study two to two scattering of neutral spin 1/2 fermions in detail. Assuming Mandelstam analyticity of its scattering amplitude, we use the numerical S-matrix bootstrap method to estimate various non-perturbative bounds on quartic and cubic (Yukawa) couplings.


title: Mono and Multi-objective Models for the Emergency Medical Service in the City of Belo Horizonte, Brazil

abstract: This work presents the facility location problem for maximum coverage in an emergency medical service called SAMU-BH, located in Belo Horizonte, Minas Gerais, Brazil. The purpose of the proposed model is to find the best locations for its ambulances in order to provide faster in-site assistance whenever necessary. First, it develops a mono-objective model to maximize the coverage rate, defined as the number of calls attended before a target time. Based on the Facility Location and Equipment Emplacement Technique (FLEET) model, a novel mathematical model is proposed, called FLEET-IC, which can work with independent coverages. Secondly, it proposes a multi-objective model to increase total coverage while reducing the number of installed bases. The results show that the mono-objective model's application increases the coverage rate up to 48%, considering the busy fraction factor and up to 26% without it. It also analyzes the effect on the coverage rate of the inclusion of additional ambulances.


title: Natural-gradient learning for spiking neurons

abstract: In many normative theories of synaptic plasticity, weight updates implicitly depend on the chosen parametrization of the weights. This problem relates, for example, to neuronal morphology: synapses which are functionally equivalent in terms of their impact on somatic firing can differ substantially in spine size due to their different positions along the dendritic tree. Classical theories based on Euclidean gradient descent can easily lead to inconsistencies due to such parametrization dependence. The issues are solved in the framework of Riemannian geometry, in which we propose that plasticity instead follows natural gradient descent. Under this hypothesis, we derive a synaptic learning rule for spiking neurons that couples functional efficiency with the explanation of several well-documented biological phenomena such as dendritic democracy, multiplicative scaling and heterosynaptic plasticity. We therefore suggest that in its search for functional synaptic plasticity, evolution might have come up with its own version of natural gradient descent.


title: Cost- and QoS-Efficient Serverless Cloud Computing

abstract: Cloud-based serverless computing systems, either public or privately provisioned, aim to provide the illusion of infinite resources and abstract users from details of the allocation decisions. With the goal of providing a low cost and a high QoS, the serverless computing paradigm offers opportunities that can be harnessed to attain the goals. Specifically, our strategy in this dissertation is to avoid redundant computing, in cases where independent task requests are similar to each other and for tasks that are pointless to process. We explore two main approaches to (A) reuse part of computation needed to process the services and (B) proactively pruning tasks with a low chance of success to improve the overall QoS of the system. For the first approach, we propose a mechanism to identify various types of "mergeable" tasks, which can benefit from computational reuse if they are executed together as a group. To evaluate the task merging configurations extensively, we quantify the resource-saving magnitude and then leveraging the experimental data to create a resource-saving predictor. We investigate multiple tasks merging approaches that suit different workload scenarios to determine when it is appropriate to aggregate tasks and how to allocate them so that the QoS of other tasks is minimally affected. For the second approach, we developed the mechanisms to skip tasks whose chance of completing on time is not worth pursuing by drop or defer them. We determined the minimum chance of success thresholds for tasks to pass to get scheduled and executed. We dynamically adjust such thresholds based on multiple characteristics of the arriving workload and the system's conditions. We employed approximate computing to reduce the pruning mechanism's computational overheads and ensure that the mechanism can be used practically.


title: Using Machine Learning and Natural Language Processing Techniques to Analyze and Support Moderation of Student Book Discussions

abstract: The increasing adoption of technology to augment or even replace traditional face-to-face learning has led to the development of a myriad of tools and platforms aimed at engaging the students and facilitating the teacher's ability to present new information. The IMapBook project aims at improving the literacy and reading comprehension skills of elementary school-aged children by presenting them with interactive e-books and letting them take part in moderated book discussions. This study aims to develop and illustrate a machine learning-based approach to message classification that could be used to automatically notify the discussion moderator of a possible need for an intervention and also to collect other useful information about the ongoing discussion. We aim to predict whether a message posted in the discussion is relevant to the discussed book, whether the message is a statement, a question, or an answer, and in which broad category it can be classified. We incrementally enrich our used feature subsets and compare them using standard classification algorithms as well as the novel Feature stacking method. We use standard classification performance metrics as well as the Bayesian correlated t-test to show that the use of described methods in discussion moderation is feasible. Moving forward, we seek to attain better performance by focusing on extracting more of the significant information found in the strong temporal interdependence of the messages.


title: A Use of Even Activation Functions in Neural Networks

abstract: Despite broad interest in applying deep learning techniques to scientific discovery, learning interpretable formulas that accurately describe scientific data is very challenging because of the vast landscape of possible functions and the "black box" nature of deep neural networks. The key to success is to effectively integrate existing knowledge or hypotheses about the underlying structure of the data into the architecture of deep learning models to guide machine learning. Currently, such integration is commonly done through customization of the loss functions. Here we propose an alternative approach to integrate existing knowledge or hypotheses of data structure by constructing custom activation functions that reflect this structure. Specifically, we study a common case when the multivariate target function $f$ to be learned from the data is partially exchangeable, \emph{i.e.} $f(u,v,w)=f(v,u,w)$ for $u,v\in \mathbb{R}^d$. For instance, these conditions are satisfied for the classification of images that is invariant under left-right flipping. Through theoretical proof and experimental verification, we show that using an even activation function in one of the fully connected layers improves neural network performance. In our experimental 9-dimensional regression problems, replacing one of the non-symmetric activation functions with the designated "Seagull" activation function $\log(1+x^2)$ results in substantial improvement in network performance. Surprisingly, even activation functions are seldom used in neural networks. Our results suggest that customized activation functions have great potential in neural networks.


title: A new formulation of the semigroup of orientation-preserving and orientation-reversing mappings

abstract: We characterize the respective semigroups of mappings that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all mappings that preserve intersections of chords on the corresponding circle.


title: Multi-task Language Modeling for Improving Speech Recognition of Rare Words

abstract: End-to-end automatic speech recognition (ASR) systems are increasingly popular due to their relative architectural simplicity and competitive performance. However, even though the average accuracy of these systems may be high, the performance on rare content words often lags behind hybrid ASR systems. To address this problem, second-pass rescoring is often applied leveraging upon language modeling. In this paper, we propose a second-pass system with multi-task learning, utilizing semantic targets (such as intent and slot prediction) to improve speech recognition performance. We show that our rescoring model trained with these additional tasks outperforms the baseline rescoring model, trained with only the language modeling task, by 1.4% on a general test and by 2.6% on a rare word test set in terms of word-error-rate relative (WERR). Our best ASR system with multi-task LM shows 4.6% WERR deduction compared with RNN Transducer only ASR baseline for rare words recognition.


title: Automated Floorplanning for Partially Reconfigurable Designs on Heterogenrous FPGAs

abstract: Floorplanning problem has been extensively explored for homogeneous FPGAs. Most modern FPGAs consist of heterogeneous resources in the form of configurable logic blocks, DSP blocks, BRAMs and more. Very little work has been done for heterogeneous FPGAs. In addition, features like partial reconfigurability allow on-the-fly changes to the executable design that can result in enhanced performance and very efficient utilization of resources. In this paper, we have designed a floorplanner for Partially Reconfigurable (PR) designs in FPGA that smartly decides one of the three proposed resource allocation schemes to floorplan a particular type of reconfigurable region. We also propose a White Space Detection algorithm for efficient management of white space inside an FPGA in order to reduce the area and the wire length. The floorplanner is demonstrated on Xilinx Virtex 5 and Artix 7 FPGA architectures and can be easily integrated with existing vendor-supplied Place and Route tools. The main objective of the floorplanner is to reduce the wire length, minimize wasted resources and the area. The performance of our floorplanner is evaluated using MCNC benchmarks. We have compared our proposed floorplanner with other previously published results reported in the literature. We observe a substantial improvement in the overall wire length as well as the execution time. Also, the floorplanner was integrated with vendor supplied place and route tools (Xilinx Vivado) to automate the floorplanning flow. The automation process was tested on a partially reconfigurable median filter used in image processing applications.


title: Improving epidemic testing and containment strategies using machine learning

abstract: Containment of epidemic outbreaks entails great societal and economic costs. Cost-effective containment strategies rely on efficiently identifying infected individuals, making the best possible use of the available testing resources. Therefore, quickly identifying the optimal testing strategy is of critical importance. Here, we demonstrate that machine learning can be used to identify which individuals are most beneficial to test, automatically and dynamically adapting the testing strategy to the characteristics of the disease outbreak. Specifically, we simulate an outbreak using the archetypal susceptible-infectious-recovered (SIR) model and we use data about the first confirmed cases to train a neural network that learns to make predictions about the rest of the population. Using these prediction, we manage to contain the outbreak more effectively and more quickly than with standard approaches. Furthermore, we demonstrate how this method can be used also when there is a possibility of reinfection (SIRS model) to efficiently eradicate an endemic disease.


title: Another look at Zagier's formula for multiple zeta values involving Hoffman elements

abstract: In this paper, we give an elementary account into Zagier's formula for multiple zeta values involving Hoffman elements. Our approach allows us to obtain direct proof in a special case via rational zeta series involving the coefficient $\zeta(2n)$. This formula plays an important role in proving Hoffman's conjecture which asserts that every multiple zeta value of weight $k$ can be expressed as a $\mathbb{Q}$-linear combinations of multiple zeta values of the same weight involving $2$'s and $3$'s. Also, using a similar hypergeometric argument via rational zeta series, we produce a new Zagier-type formula for the multiple special Hurwitz zeta values.


title: Explainable-by-design Semi-Supervised Representation Learning for COVID-19 Diagnosis from CT Imaging

abstract: Our motivating application is a real-world problem: COVID-19 classification from CT imaging, for which we present an explainable Deep Learning approach based on a semi-supervised classification pipeline that employs variational autoencoders to extract efficient feature embedding. We have optimized the architecture of two different networks for CT images: (i) a novel conditional variational autoencoder (CVAE) with a specific architecture that integrates the class labels inside the encoder layers and uses side information with shared attention layers for the encoder, which make the most of the contextual clues for representation learning, and (ii) a downstream convolutional neural network for supervised classification using the encoder structure of the CVAE. With the explainable classification results, the proposed diagnosis system is very effective for COVID-19 classification. Based on the promising results obtained qualitatively and quantitatively, we envisage a wide deployment of our developed technique in large-scale clinical studies.Code is available at https://git.etrovub.be/AVSP/ct-based-covid-19-diagnostic-tool.git.


title: Gravitational effects on oscillon lifetimes

abstract: Many scalar field theories with attractive self-interactions support exceptionally long-lived, spatially localized and time-periodic field configurations called oscillons. A detailed study of their longevity is important for understanding their applications in cosmology. In this paper, we study gravitational effects on the decay rate and lifetime of dense oscillons, where self-interactions are more or at least equally important compared with gravitational interactions. As examples, we consider the $\alpha$-attractor T-model of inflation and the axion monodromy model, where the potentials become flatter than quadratic at large field values beyond some characteristic field distance $F$ from the minimum. For oscillons with field amplitudes of $\mathcal{O}(F)$ and for $F\ll 0.1 M_\mathrm{pl}$, we find that their evolution is almost identical to cases where gravity is ignored. For $F\sim 0.1 M_\mathrm{pl}$, however, including gravitational interactions reduces the lifetime slightly.


title: Siamese Tracking with Lingual Object Constraints

abstract: Classically, visual object tracking involves following a target object throughout a given video, and it provides us the motion trajectory of the object. However, for many practical applications, this output is often insufficient since additional semantic information is required to act on the video material. Example applications of this are surveillance and target-specific video summarization, where the target needs to be monitored with respect to certain predefined constraints, e.g., 'when standing near a yellow car'. This paper explores, tracking visual objects subjected to additional lingual constraints. Differently from Li et al., we impose additional lingual constraints upon tracking, which enables new applications of tracking. Whereas in their work the goal is to improve and extend upon tracking itself. To perform benchmarks and experiments, we contribute two datasets: c-MOT16 and c-LaSOT, curated through appending additional constraints to the frames of the original LaSOT and MOT16 datasets. We also experiment with two deep models SiamCT-DFG and SiamCT-CA, obtained through extending a recent state-of-the-art Siamese tracking method and adding modules inspired from the fields of natural language processing and visual question answering. Through experimental results, we show that the proposed model SiamCT-CA can significantly outperform its counterparts. Furthermore, our method enables the selective compression of videos, based on the validity of the constraint.


title: From Pixels to Legs: Hierarchical Learning of Quadruped Locomotion

abstract: Legged robots navigating crowded scenes and complex terrains in the real world are required to execute dynamic leg movements while processing visual input for obstacle avoidance and path planning. We show that a quadruped robot can acquire both of these skills by means of hierarchical reinforcement learning (HRL). By virtue of their hierarchical structure, our policies learn to implicitly break down this joint problem by concurrently learning High Level (HL) and Low Level (LL) neural network policies. These two levels are connected by a low dimensional hidden layer, which we call latent command. HL receives a first-person camera view, whereas LL receives the latent command from HL and the robot's on-board sensors to control its actuators. We train policies to walk in two different environments: a curved cliff and a maze. We show that hierarchical policies can concurrently learn to locomote and navigate in these environments, and show they are more efficient than non-hierarchical neural network policies. This architecture also allows for knowledge reuse across tasks. LL networks trained on one task can be transferred to a new task in a new environment. Finally HL, which processes camera images, can be evaluated at much lower and varying frequencies compared to LL, thus reducing computation times and bandwidth requirements.


title: RACH in Self-Powered NB-IoT Networks: Energy Availability and Performance Evaluation

abstract: NarrowBand-Internet of Things (NB-IoT) is a new 3GPP radio access technology designed to provide better coverage for a massive number of low-throughput low-cost devices in delay-tolerant applications with low power consumption. To provide reliable connections with extended coverage, a repetition transmission scheme is introduced to NB-IoT during both Random Access CHannel (RACH) procedure and data transmission procedure. To avoid the difficulty in replacing the battery for IoT devices, the energy harvesting is considered as a promising solution to support energy sustainability in the NB-IoT network. In this work, we analyze RACH success probability in a self-powered NB-IoT network taking into account the repeated preamble transmissions and collisions, where each IoT device with data is active when its battery energy is sufficient to support the transmission. We model the temporal dynamics of the energy level as a birth-death process, derive the energy availability of each IoT device, and examine its dependence on the energy storage capacity and the repetition value. We show that in certain scenarios, the energy availability remains unchanged despite randomness in the energy harvesting. We also derive the exact expression for the RACH success probability of a {randomly chosen} IoT device under the derived energy availability, which is validated under different repetition values via simulations. We show that the repetition scheme can efficiently improve the RACH success probability in a light traffic scenario, but only slightly improves that performance with very inefficient channel resource utilization in a heavy traffic scenario.


title: Rotation-Only Bundle Adjustment

abstract: We propose a novel method for estimating the global rotations of the cameras independently of their positions and the scene structure. When two calibrated cameras observe five or more of the same points, their relative rotation can be recovered independently of the translation. We extend this idea to multiple views, thereby decoupling the rotation estimation from the translation and structure estimation. Our approach provides several benefits such as complete immunity to inaccurate translations and structure, and the accuracy improvement when used with rotation averaging. We perform extensive evaluations on both synthetic and real datasets, demonstrating consistent and significant gains in accuracy when used with the state-of-the-art rotation averaging method.


title: Data-aided Sensing for Gaussian Process Regression in IoT Systems

abstract: In this paper, for efficient data collection with limited bandwidth, data-aided sensing is applied to Gaussian process regression that is used to learn data sets collected from sensors in Internet-of-Things systems. We focus on the interpolation of sensors' measurements from a small number of measurements uploaded by a fraction of sensors using Gaussian process regression with data-aided sensing. Thanks to active sensor selection, it is shown that Gaussian process regression with data-aided sensing can provide a good estimate of a complete data set compared to that with random selection. With multichannel ALOHA, data-aided sensing is generalized for distributed selective uploading when sensors can have feedback of predictions of their measurements so that each sensor can decide whether or not it uploads by comparing its measurement with the predicted one. Numerical results show that modified multichannel ALOHA with predictions can help improve the performance of Gaussian process regression with data-aided sensing compared to conventional multichannel ALOHA with equal uploading probability.


title: Novel technique for the study of pile-up events in cryogenic bolometers

abstract: Precise characterization of detector time resolution is of crucial importance for next-generation cryogenic-bolometer experiments searching for neutrinoless double-beta decay, such as CUPID, in order to reject background due to pile-up of two-neutrino double-beta decay events. In this paper, we describe a technique developed to study the pile-up rejection capability of cryogenic bolometers. Our approach, which consists of producing controlled pile-up events with a programmable waveform generator, has the benefit that we can reliably and reproducibly control the time separation and relative energy of the individual components of the generated pile-up events. The resulting data allow us to optimize and benchmark analysis strategies to discriminate between individual and pile-up pulses. We describe a test of this technique performed with a small array of detectors at the Laboratori Nazionali del Gran Sasso, in Italy; we obtain a 90% rejection efficiency against pulser-generated pile-up events with rise time of ~15ms down to time separation between the individual events of about 2ms.


title: A search for c-Wieferich primes

abstract: Let $q$ be a power of a prime number $p$, $\mathbb F_q$ be a finite field with $q$ elements and $\mathcal{G}$ be a subgroup of $(\mathbb F_q,+)$ of order $p$. We give an existence criterion and an algorithm for computing maximally $\mathcal{G}$-fixed c-Wieferich primes in $\mathbb F_q[T]$. Using the criterion, we study how c-Wieferich primes behave in $\mathbb F_q[T]$ extensions.


title: End-to-End Framework for Efficient Deep Learning Using Metasurfaces Optics

abstract: Deep learning using Convolutional Neural Networks (CNNs) has been shown to significantly out-performed many conventional vision algorithms. Despite efforts to increase the CNN efficiency both algorithmically and with specialized hardware, deep learning remains difficult to deploy in resource-constrained environments. In this paper, we propose an end-to-end framework to explore optically compute the CNNs in free-space, much like a computational camera. Compared to existing free-space optics-based approaches which are limited to processing single-channel (i.e., grayscale) inputs, we propose the first general approach, based on nanoscale meta-surface optics, that can process RGB data directly from the natural scenes. Our system achieves up to an order of magnitude energy saving, simplifies the sensor design, all the while sacrificing little network accuracy.


title: Electron vortex beams in non-uniform magnetic fields

abstract: We consider the quantum theory of paraxial non-relativistic electron beams in non-uniform magnetic fields, such as the Glaser field. We find the wave function of an electron from such a beam and show that it is a joint eigenstate of two ($z$-dependent) commuting gauge-independent operators. This generalized Laguerre-Gaussian vortex beam has a phase that is shown to consist of two parts, each being proportional to the eigenvalue of one of the two conserved operators and each having different symmetries. We also describe the dynamics of the angular momentum and cross-sectional area of any mode and how a varying magnetic field can split a mode into a superposition of modes. By a suitable change in frame of reference all of our analysis also applies to an electron in a quantum Hall system with a time-dependent magnetic field.


title: RISE-SLAM: A Resource-aware Inverse Schmidt Estimator for SLAM

abstract: In this paper, we present the RISE-SLAM algorithm for performing visual-inertial simultaneous localization and mapping (SLAM), while improving estimation consistency. Specifically, in order to achieve real-time operation, existing approaches often assume previously-estimated states to be perfectly known, which leads to inconsistent estimates. Instead, based on the idea of the Schmidt-Kalman filter, which has processing cost linear in the size of the state vector but quadratic memory requirements, we derive a new consistent approximate method in the information domain, which has linear memory requirements and adjustable (constant to linear) processing cost. In particular, this method, the resource-aware inverse Schmidt estimator (RISE), allows trading estimation accuracy for computational efficiency. Furthermore, and in order to better address the requirements of a SLAM system during an exploration vs. a relocalization phase, we employ different configurations of RISE (in terms of the number and order of states updated) to maximize accuracy while preserving efficiency. Lastly, we evaluate the proposed RISE-SLAM algorithm on publicly-available datasets and demonstrate its superiority, both in terms of accuracy and efficiency, as compared to alternative visual-inertial SLAM systems.


title: HistoGAN: Controlling Colors of GAN-Generated and Real Images via Color Histograms

abstract: While generative adversarial networks (GANs) can successfully produce high-quality images, they can be challenging to control. Simplifying GAN-based image generation is critical for their adoption in graphic design and artistic work. This goal has led to significant interest in methods that can intuitively control the appearance of images generated by GANs. In this paper, we present HistoGAN, a color histogram-based method for controlling GAN-generated images' colors. We focus on color histograms as they provide an intuitive way to describe image color while remaining decoupled from domain-specific semantics. Specifically, we introduce an effective modification of the recent StyleGAN architecture to control the colors of GAN-generated images specified by a target color histogram feature. We then describe how to expand HistoGAN to recolor real images. For image recoloring, we jointly train an encoder network along with HistoGAN. The recoloring model, ReHistoGAN, is an unsupervised approach trained to encourage the network to keep the original image's content while changing the colors based on the given target histogram. We show that this histogram-based approach offers a better way to control GAN-generated and real images' colors while producing more compelling results compared to existing alternative strategies.


title: Detecting hidden signs of diabetes in external eye photographs

abstract: Diabetes-related retinal conditions can be detected by examining the posterior of the eye. By contrast, examining the anterior of the eye can reveal conditions affecting the front of the eye, such as changes to the eyelids, cornea, or crystalline lens. In this work, we studied whether external photographs of the front of the eye can reveal insights into both diabetic retinal diseases and blood glucose control. We developed a deep learning system (DLS) using external eye photographs of 145,832 patients with diabetes from 301 diabetic retinopathy (DR) screening sites in one US state, and evaluated the DLS on three validation sets containing images from 198 sites in 18 other US states. In validation set A (n=27,415 patients, all undilated), the DLS detected poor blood glucose control (HbA1c > 9%) with an area under receiver operating characteristic curve (AUC) of 70.2; moderate-or-worse DR with an AUC of 75.3; diabetic macular edema with an AUC of 78.0; and vision-threatening DR with an AUC of 79.4. For all 4 prediction tasks, the DLS's AUC was higher (p<0.001) than using available self-reported baseline characteristics (age, sex, race/ethnicity, years with diabetes). In terms of positive predictive value, the predicted top 5% of patients had a 67% chance of having HbA1c > 9%, and a 20% chance of having vision threatening diabetic retinopathy. The results generalized to dilated pupils (validation set B, 5,058 patients) and to a different screening service (validation set C, 10,402 patients). Our results indicate that external eye photographs contain information useful for healthcare providers managing patients with diabetes, and may help prioritize patients for in-person screening. Further work is needed to validate these findings on different devices and patient populations (those without diabetes) to evaluate its utility for remote diagnosis and management.


title: HD 63021: Chromospheric Activity and Mass Transfer in a Close Binary

abstract: Prompted by X-ray detections from multiple surveys, we investigated the A-type star HD 63021 and found that it is a double-lined spectroscopic binary with highly variable emission associated with the primary star. Analysis of our multi-epoch spectroscopic observations, the majority of which were carried out on small aperture telescopes, indicates a very short orbital period of just $2.9$ days, and a mass ratio M$_2$/M$_1$ of $0.23$. The A1 V star is a slow rotator, with a rotational speed of $\sim34$ km/s. Assuming its mass is $2.3$ M$_{\odot}$, the present-day secondary is an evolved star of $\sim0.5$ M$_{\odot}$ that nearly fills its Roche lobe. This secondary star rotates comparatively rapidly at $\sim44$ km/s, and we see evidence that it is chromospherically active. Analysis of a photometric lightcurve from TESS reveals two strong periods, one at the orbital period for the system and another at half the orbital period. These findings suggest that HD 63021 is a close binary system undergoing mass transfer from the secondary star onto the primary star -- in all ways like an Algol eclipsing binary system, except without the eclipse. We discuss the system's mass transfer, which is not steady but seems to run in fits and bursts, and infer the system's basic physical properties from an orbital parameter study, the Roche lobe geometry, and its extant X-ray emission.


title: Learnable Gabor modulated complex-valued networks for orientation robustness

abstract: Robustness to transformation is desirable in many computer vision tasks, given that input data often exhibits pose variance. While translation invariance and equivariance is a documented phenomenon of CNNs, sensitivity to other transformations is typically encouraged through data augmentation. We investigate the modulation of complex valued convolutional weights with learned Gabor filters to enable orientation robustness. The resulting network can generate orientation dependent features free of interpolation with a single set of learnable rotation-governing parameters. By choosing to either retain or pool orientation channels, the choice of equivariance versus invariance can be directly controlled. Moreover, we introduce rotational weight-tying through a proposed cyclic Gabor convolution, further enabling generalisation over rotations. We combine these innovations into Learnable Gabor Convolutional Networks (LGCNs), that are parameter-efficient and offer increased model complexity. We demonstrate their rotation invariance and equivariance on MNIST, BSD and a dataset of simulated and real astronomical images of Galactic cirri.


title: Large Scale Multimodal Classification Using an Ensemble of Transformer Models and Co-Attention

abstract: Accurate and efficient product classification is significant for E-commerce applications, as it enables various downstream tasks such as recommendation, retrieval, and pricing. Items often contain textual and visual information, and utilizing both modalities usually outperforms classification utilizing either mode alone. In this paper we describe our methodology and results for the SIGIR eCom Rakuten Data Challenge. We employ a dual attention technique to model image-text relationships using pretrained language and image embeddings. While dual attention has been widely used for Visual Question Answering(VQA) tasks, ours is the first attempt to apply the concept for multimodal classification.


title: Accurate and Rapid Diagnosis of COVID-19 Pneumonia with Batch Effect Removal of Chest CT-Scans and Interpretable Artificial Intelligence

abstract: COVID-19 is a virus with high transmission rate that demands rapid identification of the infected patients to reduce the spread of the disease. The current gold-standard test, Reverse-Transcription Polymerase Chain Reaction (RT-PCR), has a high rate of false negatives. Diagnosing from CT-scan images as a more accurate alternative has the challenge of distinguishing COVID-19 from other pneumonia diseases. Artificial intelligence can help radiologists and physicians to accelerate the process of diagnosis, increase its accuracy, and measure the severity of the disease. We designed a new interpretable deep neural network to distinguish healthy people, patients with COVID-19, and patients with other pneumonia diseases from axial lung CT-scan images. Our model also detects the infected areas and calculates the percentage of the infected lung volume. We first preprocessed the images to eliminate the batch effects of different devices, and then adopted a weakly supervised method to train the model without having any tags for the infected parts. We trained and evaluated the model on a large dataset of 3359 samples from 6 different medical centers. The model reached sensitivities of 97.75% and 98.15%, and specificities of 87% and 81.03% in separating healthy people from the diseased and COVID-19 from other diseases, respectively. It also demonstrated similar performance for 1435 samples from 6 different medical centers which proves its generalizability. The performance of the model on a large diverse dataset, its generalizability, and interpretability makes it suitable to be used as a reliable diagnostic system.


title: The Radio Luminosity-Risetime Function of Core-Collapse Supernovae

abstract: We assemble a large set of 2-10 GHz radio flux density measurements and upper limits of 294 different supernovae (SNe), from the literature and our own and archival data. Only 31% of the SNe were detected. We characterize the SN lightcurves near the peak using a two-parameter model, with $t_{\rm pk}$ being the time to rise to a peak and $L_{\rm pk}$ the spectral luminosity at that peak. Over all SNe in our sample at $D<100$ Mpc, we find that $t_{\rm pk} = 10^{1.7\pm0.9}$ d, and that $L_{\rm pk} = 10^{25.5\pm1.6}$ erg s$^{-1}$ Hz$^{-1}$, and therefore that generally, 50% of SNe will have $L_{\rm pk} < 10^{25.5}$ erg s$^{-1}$ Hz$^{-1}$. These $L_{\rm pk}$ values are ~30 times lower than those for only detected SNe. Types I b/c and II (excluding IIn's) have similar mean values of $L_{\rm pk}$ but the former have a wider range, whereas Type IIn SNe have ~10 times higher values with $L_{\rm pk} = 10^{26.5\pm1.1}$ erg s$^{-1}$ Hz$^{-1}$. As for $t_{\rm pk}$, Type I b/c have $t_{\rm pk}$ of only $10^{1.1\pm0.5}$ d while Type II have $t_{\rm pk} = 10^{1.6\pm1.0}$ and Type IIn the longest timescales with $t_{\rm pk} = 10^{3.1\pm0.7}$ d. We also estimate the distribution of progenitor mass-loss rates, $\dot M$, and find the mean and standard deviation of log$_{10}(\dot M/$Msol) yr$^{-1}$ are $-5.4\pm1.2$ (assuming $v_{\rm wind}=1000$ km s$^{-1}$) for Type I~b/c SNe, and $-6.9\pm1.4$ (assuming $v_{\rm wind} = 10$ km s$^{-1}$ for Type II SNe excluding Type IIn.


title: Remediation of bentazone contaminated water by Trametes versicolor: characterization, identification of transformation products, and implementation in a trickle-bed reactor under non-sterile conditions

abstract: Bentazone, an herbicide widely applied in rice and cereal crops, is widespread in the aquatic environment. This study evaluated the capacity of Trametes versicolor to remove bentazone from water. The fungus was able to completely remove bentazone after three days at Erlenmeyer-scale incubation. Both laccase and cytochrome P450 enzymatic systems were involved in bentazone degradation. A total of 19 transformation products (TPs) were identified to be formed during the process. The reactions involved in their formation included hydroxylations, oxidations, methylations, N-nitrosation, and dimerization. A laccase mediated radical mechanism was proposed for TP formation. In light of the results obtained at the Erlenmeyer scale, a trickle-bed reactor with T. versicolor immobilized on pine wood chips was set up to evaluate its stability during bentazone removal under non-sterile conditions. After 30 days of sequencing batch operation, an average bentazone removal of 48 % was obtained, with a considerable contribution of adsorption onto the lignocellulosic support material. Bacterial contamination, which is the bottleneck in the implementation of fungal bioreactors, was successfully addressed by this particular system according to its maintained performance. This research is a pioneering step forward to the implementation of fungal bioremediation on a real scale.


title: Analysis and Estimation of Networked SIR & SEIR Models with Transportation Networks

abstract: In this paper we present the discrete-time networked SIR and SEIR models and present assumptions under which they are well defined. We analyze the limiting behavior of the models and present necessary and sufficient conditions for estimating the spreading parameters from data. We illustrate these results via simulation.


title: Remaining Useful Life Estimation Under Uncertainty with Causal GraphNets

abstract: In this work, a novel approach for the construction and training of time series models is presented that deals with the problem of learning on large time series with non-equispaced observations, which at the same time may possess features of interest that span multiple scales. The proposed method is appropriate for constructing predictive models for non-stationary stochastic time series.The efficacy of the method is demonstrated on a simulated stochastic degradation dataset and on a real-world accelerated life testing dataset for ball-bearings. The proposed method, which is based on GraphNets, implicitly learns a model that describes the evolution of the system at the level of a state-vector rather than of a raw observation. The proposed approach is compared to a recurrent network with a temporal convolutional feature extractor head (RNN-tCNN) which forms a known viable alternative for the problem context considered. Finally, by taking advantage of recent advances in the computation of reparametrization gradients for learning probability distributions, a simple yet effective technique for representing prediction uncertainty as a Gamma distribution over remaining useful life predictions is employed.


title: Class-B cable-driving SQUID amplifier

abstract: We suggest a SQUID amplifier configuration with improved power efficiency, for applications where cooling budgets are limited, in particular superconducting detector array readouts in space observatories. The suggested two-SQUID configuration keeps one SQUID in a zero-voltage state during a half-cycle of the input while the other SQUID generates voltage. For the other half-cycle the roles of the SQUIDs are reversed. The circuit is an electrostatic dual of a transistor-based amplifier operating in class-B. A proof-of principle demonstration at T = 4.2 K is presented.


title: Open Quasispecies Systems: New Approach to Evolutionary Adaptation

abstract: Consider a mathematical model of evolutionary adaptation of fitness landscape and mutation matrix as a reaction to population changes. As a basis, we use an open quasispecies model, which is modified to include explicit death flow. We assume that evolutionary parameters of mutation and selection processes vary in a way to maximize the mean fitness of the system. From this standpoint, Fisher's theorem of natural selection is being rethought and discussed. Another assumption is that system dynamics has two significant timescales. According to our central hypothesis, major evolutionary transitions happen in the steady-state of the corresponding dynamical system, so the evolutionary time is much slower than the one of internal dynamics. For the specific cases of quasispecies systems, we show how our premises form the fitness landscape adaptation process.


title: Learnable and Instance-Robust Predictions for Online Matching, Flows and Load Balancing

abstract: We propose a new model for augmenting algorithms with predictions by requiring that they are formally learnable and instance robust. Learnability ensures that predictions can be efficiently constructed from a reasonable amount of past data. Instance robustness ensures that the prediction is robust to modest changes in the problem input, where the measure of the change may be problem specific. Instance robustness insists on a smooth degradation in performance as a function of the change. Ideally, the performance is never worse than worst-case bounds. This also allows predictions to be objectively compared. We design online algorithms with predictions for a network flow allocation problem and restricted assignment makespan minimization. For both problems, two key properties are established: high quality predictions can be learned from a small sample of prior instances and these predictions are robust to errors that smoothly degrade as the underlying problem instance changes.


title: The Bloom Clock for Causality Testing

abstract: Testing for causality between events in distributed executions is a fundamental problem. Vector clocks solve this problem but do not scale well. The probabilistic Bloom clock can determine causality between events with lower space, time, and message-space overhead than vector clock; however, predictions suffer from false positives. We give the protocol for the Bloom clock based on Counting Bloom filters and study its properties including the probabilities of a positive outcome and a false positive. We show the results of extensive experiments to determine how these above probabilities vary as a function of the Bloom timestamps of the two events being tested, and to determine the accuracy, precision, and false positive rate of a slice of the execution containing events in the temporal proximity of each other. Based on these experiments, we make recommendations for the setting of the Bloom clock parameters. We postulate the causality spread hypothesis from the application's perspective to indicate whether Bloom clocks will be suitable for correct predictions with high confidence. The Bloom clock design can serve as a viable space-, time-, and message-space-efficient alternative to vector clocks if false positives can be tolerated by an application.


title: Path Design and Resource Management for NOMA enhanced Indoor Intelligent Robots

abstract: A communication enabled indoor intelligent robots (IRs) service framework is proposed, where non-orthogonal multiple access (NOMA) technique is adopted to enable highly reliable communications. In cooperation with the ultramodern indoor channel model recently proposed by the International Telecommunication Union (ITU), the Lego modeling method is proposed, which can deterministically describe the indoor layout and channel state in order to construct the radio map. The investigated radio map is invoked as a virtual environment to train the reinforcement learning agent, which can save training time and hardware costs. Build on the proposed communication model, motions of IRs who need to reach designated mission destinations and their corresponding down-link power allocation policy are jointly optimized to maximize the mission efficiency and communication reliability of IRs. In an effort to solve this optimization problem, a novel reinforcement learning approach named deep transfer deterministic policy gradient (DT-DPG) algorithm is proposed. Our simulation results demonstrate that 1) With the aid of NOMA techniques, the communication reliability of IRs is effectively improved; 2) The radio map is qualified to be a virtual training environment, and its statistical channel state information improves training efficiency by about 30%; 3) The proposed DT-DPG algorithm is superior to the conventional deep deterministic policy gradient (DDPG) algorithm in terms of optimization performance, training time, and anti-local optimum ability.


title: Stability of Discontinuous Galerkin Spectral Element Schemes for Wave Propagation when the Coefficient Matrices have Jumps

abstract: We use the behavior of the $L_{2}$ norm of the solutions of linear hyperbolic equations with discontinuous coefficient matrices as a surrogate to infer stability of discontinuous Galerkin spectral element methods (DGSEM). Although the $L_{2}$ norm is not bounded by the initial data for homogeneous and dissipative boundary conditions for such systems, the $L_{2}$ norm is easier to work with than a norm that discounts growth due to the discontinuities. We show that the DGSEM with an upwind numerical flux that satisfies the Rankine-Hugoniot (or conservation) condition has the same energy bound as the partial differential equation does in the $L_{2}$ norm, plus an added dissipation that depends on how much the approximate solution fails to satisfy the Rankine-Hugoniot jump.


title: Idempotents and the points of the topos of M-sets

abstract: The aim of this paper is to study the points and localising subcategories of the topos of $M$-sets, for a finite monoid $M$. We show that the points of this topos can be fully classified using the idempotents of $M$. We introduce a topology on the iso-classes of these points, which differs from the classical topology introduced in SGA4. Likewise, the localised subcategories of the topos $M$-sets correspond to the set of all two-sided idempotent Ideals of $M$.


title: Multi-band light curve analysis of the 40.5-minute period eclipsing double-degenerate binary SDSS J082239.54$+$304857.19

abstract: We present the Apache Point Observatory BG40 broadband and simultaneous Gemini $r$-band and $i$-band high-speed follow-up photometry observations and analysis of the 40.5 minute period eclipsing detached double-degenerate binary SDSS J082239.54$+$304857.19. Our APO data spans over 318 days and includes 13 primary eclipses, from which we precisely measure the system's orbital period and improve the time of mid-eclipse measurement. We fit the light curves for each filter individually and show that this system contains a low-mass DA white dwarf with radius $R_A=0.031\pm0.006~{\rm R_\odot}$ and a $R_B=0.013\pm0.005~{\rm R_\odot}$ companion at an inclination of $i=87.7\pm0.2^\circ$. We use the best-fitting eclipsing light curve model to estimate the temperature of the secondary star as $T_{\rm eff}=5200\pm100~{\rm K}$. Finally, while we do not record significant offsets to the expected time of mid-eclipse caused by the emission of gravitational waves with our 1-year baseline, we show that a $3\sigma$ significant measurement of the orbital decay due to gravitational waves will be possible in 2023, at which point the eclipse will occur about $8$ seconds earlier than expected.


title: Validity and Reliability of the Scale Internet Users' Information Privacy Concern (IUIPC) [Extended Version]

abstract: Internet Users' Information Privacy Concerns (IUIPC-10) is one of the most endorsed privacy concern scales. It is widely used in the evaluation of human factors of PETs and the investigation of the privacy paradox. Even though its predecessor Concern For Information Privacy (CFIP) has been evaluated independently and the instrument itself seen some scrutiny, we are still missing a dedicated confirmation of IUIPC-10, itself. We aim at closing this gap by systematically analyzing IUIPC's construct validity and reliability. We obtained three mutually independent samples with a total of $N = 1031$ participants. We conducted a confirmatory factor analysis (CFA) on our main sample. Having found weaknesses, we established further factor analyses to assert the dimensionality of IUIPC-10. We proposed a respecified instrument IUIPC-8 with improved psychometric properties. Finally, we validated our findings on a validation sample. While we could confirm the overall three-dimensionality of IUIPC-10, we found that IUIPC-10 consistently failed construct validity and reliability evaluations, calling into question the unidimensionality of its sub-scales Awareness and Control. Our respecified scale IUIPC-8 offers a statistically significantly better model and outperforms IUIPC-10's construct validity and reliability. The disconfirming evidence on the construct validity raises doubts how well IUIPC-10 measures the latent variable information privacy concern. The sub-par reliability could yield spurious and erratic results as well as attenuate relations with other latent variables, such as behavior. Thereby, the instrument could confound studies of human factors of PETs or the privacy paradox, in general.


title: Federated Semi-Supervised Learning for COVID Region Segmentation in Chest CT using Multi-National Data from China, Italy, Japan

abstract: The recent outbreak of COVID-19 has led to urgent needs for reliable diagnosis and management of SARS-CoV-2 infection. As a complimentary tool, chest CT has been shown to be able to reveal visual patterns characteristic for COVID-19, which has definite value at several stages during the disease course. To facilitate CT analysis, recent efforts have focused on computer-aided characterization and diagnosis, which has shown promising results. However, domain shift of data across clinical data centers poses a serious challenge when deploying learning-based models. In this work, we attempt to find a solution for this challenge via federated and semi-supervised learning. A multi-national database consisting of 1704 scans from three countries is adopted to study the performance gap, when training a model with one dataset and applying it to another. Expert radiologists manually delineated 945 scans for COVID-19 findings. In handling the variability in both the data and annotations, a novel federated semi-supervised learning technique is proposed to fully utilize all available data (with or without annotations). Federated learning avoids the need for sensitive data-sharing, which makes it favorable for institutions and nations with strict regulatory policy on data privacy. Moreover, semi-supervision potentially reduces the annotation burden under a distributed setting. The proposed framework is shown to be effective compared to fully supervised scenarios with conventional data sharing instead of model weight sharing.


title: Multimodal dynamics modeling for off-road autonomous vehicles

abstract: Dynamics modeling in outdoor and unstructured environments is difficult because different elements in the environment interact with the robot in ways that can be hard to predict. Leveraging multiple sensors to perceive maximal information about the robot's environment is thus crucial when building a model to perform predictions about the robot's dynamics with the goal of doing motion planning. We design a model capable of long-horizon motion predictions, leveraging vision, lidar and proprioception, which is robust to arbitrarily missing modalities at test time. We demonstrate in simulation that our model is able to leverage vision to predict traction changes. We then test our model using a real-world challenging dataset of a robot navigating through a forest, performing predictions in trajectories unseen during training. We try different modality combinations at test time and show that, while our model performs best when all modalities are present, it is still able to perform better than the baseline even when receiving only raw vision input and no proprioception, as well as when only receiving proprioception. Overall, our study demonstrates the importance of leveraging multiple sensors when doing dynamics modeling in outdoor conditions.


title: Deep-Learning based Multiuser Detection for NOMA

abstract: In this paper, we study an application of deep learning to uplink multiuser detection (MUD) for non-orthogonal multiple access (NOMA) scheme based on Welch bound equality spread multiple access (WSMA). Several non-cooperating users, each with its own preassigned NOMA signature sequence (SS), transmit over the same resource. These SSs have low correlation among them and aid in the user separation at the receiver during MUD. Several subtasks such as equalizing, combining, slicing, signal reconstruction and interference cancellation are involved in MUD. The neural network (NN) considered in this paper replaces these well-defined receiver blocks with a single black box, i.e., the NN provides a one-shot approximation for these modules. We consider two different supervised feed-forward NN implementations, namely, a deep NN and a 2D-Convolutional NN, for MUD. Performance of these two NNs is compared with the conventional receivers. Simulation results show that by proper selection of the NN parameters, it is possible for the black box approximation to provide faster and better performance, compared to conventional MUD schemes, and it achieves almost the same symbol error rate as the ultimate one obtained by the complex maximum likelihood-based detectors.


title: Scaling silicon-based quantum computing using CMOS technology: State-of-the-art, Challenges and Perspectives

abstract: Complementary metal-oxide semiconductor (CMOS) technology has radically reshaped the world by taking humanity to the digital age. Cramming more transistors into the same physical space has enabled an exponential increase in computational performance, a strategy that has been recently hampered by the increasing complexity and cost of miniaturization. To continue achieving significant gains in computing performance, new computing paradigms, such as quantum computing, must be developed. However, finding the optimal physical system to process quantum information, and scale it up to the large number of qubits necessary to build a general-purpose quantum computer, remains a significant challenge. Recent breakthroughs in nanodevice engineering have shown that qubits can now be manufactured in a similar fashion to silicon field-effect transistors, opening an opportunity to leverage the know-how of the CMOS industry to address the scaling challenge. In this article, we focus on the analysis of the scaling prospects of quantum computing systems based on CMOS technology.


title: Machine Learning enables Ultra-Compact Integrated Photonics through Silicon-Nanopattern Digital Metamaterials

abstract: In this work, we demonstrate three ultra-compact integrated-photonics devices, which are designed via a machine-learning algorithm coupled with finite-difference time-domain (FDTD) modeling. Through digitizing the design domain into "binary pixels" these digital metamaterials are readily manufacturable as well. By showing a variety of devices (beamsplitters and waveguide bends), we showcase the generality of our approach. With an area footprint smaller than ${\lambda_0}^2$, our designs are amongst the smallest reported to-date. Our method combines machine learning with digital metamaterials to enable ultra-compact, manufacturable devices, which could power a new "Photonics Moore's Law."


title: Boolean algebras, Morita invariance, and the algebraic K-theory of Lawvere theories

abstract: The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we fully address the question of how Morita equivalence classes of Lawvere theories interact with algebraic K-theory. On the one hand, we show that the higher algebraic K-theory is invariant under passage to matrix theories. On the other hand, we show that the higher algebraic K-theory is not fully Morita invariant because of the behavior of idempotents in non-additive contexts: We compute the K-theory of all Lawvere theories Morita equivalent to the theory of Boolean algebras.


title: Self-Similar Magnetohydrodynamics

abstract: For the solution of the full set of magnetohydrodynamics (MHD) equations in the presence of gravity due to a central point-mass, a self-similar theory for a general polytrope has already suggested a set of exact time-dependent solutions by analytical methods for a, (gamma = 4\over3) polytrope, since (gamma = 4/3) is the simplest to treat. In the present paper while going for a complete set of self-similar solutions, we find that (gamma = 4/3) is the only physically-possible polytrope and that then, pressure is independent of the scalar function A, and depends on angle and time only. We also obtain a specific form of time-dependence for the self-similar variable.


title: Learning Translation Invariance in CNNs

abstract: When seeing a new object, humans can immediately recognize it across different retinal locations: we say that the internal object representation is invariant to translation. It is commonly believed that Convolutional Neural Networks (CNNs) are architecturally invariant to translation thanks to the convolution and/or pooling operations they are endowed with. In fact, several works have found that these networks systematically fail to recognise new objects on untrained locations. In this work we show how, even though CNNs are not 'architecturally invariant' to translation, they can indeed 'learn' to be invariant to translation. We verified that this can be achieved by pretraining on ImageNet, and we found that it is also possible with much simpler datasets in which the items are fully translated across the input canvas. We investigated how this pretraining affected the internal network representations, finding that the invariance was almost always acquired, even though it was some times disrupted by further training due to catastrophic forgetting/interference. These experiments show how pretraining a network on an environment with the right 'latent' characteristics (a more naturalistic environment) can result in the network learning deep perceptual rules which would dramatically improve subsequent generalization.


title: Multi-regime analysis for computer vision-based traffic surveillance using a change-point detection algorithm

abstract: As a result of significant advances in deep learning, computer vision technology has been widely adopted in the field of traffic surveillance. Nonetheless, it is difficult to find a universal model that can measure traffic parameters irrespective of ambient conditions such as times of the day, weather, or shadows. These conditions vary recurrently, but the exact points of change are inconsistent and unpredictable. Thus, the application of a multi-regime method would be problematic, even when separate sets of model parameters are prepared in advance. In the present study we devised a robust approach that facilitates multi-regime analysis. This approach employs an online parametric algorithm to determine the change-points for ambient conditions. An autoencoder was used to reduce the dimensions of input images, and reduced feature vectors were used to implement the online change-point algorithm. Seven separate periods were tagged with typical times in a given day. Multi-regime analysis was then performed so that the traffic density could be separately measured for each period. To train and test models for vehicle counting, 1,100 video images were randomly chosen for each period and labeled with traffic counts. The measurement accuracy of multi-regime analysis was much higher than that of an integrated model trained on all data.


title: Patch-based field-of-view matching in multi-modal images for electroporation-based ablations

abstract: Various multi-modal imaging sensors are currently involved at different steps of an interventional therapeutic work-flow. Cone beam computed tomography (CBCT), computed tomography (CT) or Magnetic Resonance (MR) images thereby provides complementary functional and/or structural information of the targeted region and organs at risk. Merging this information relies on a correct spatial alignment of the observed anatomy between the acquired images. This can be achieved by the means of multi-modal deformable image registration (DIR), demonstrated to be capable of estimating dense and elastic deformations between images acquired by multiple imaging devices. However, due to the typically different field-of-view (FOV) sampled across the various imaging modalities, such algorithms may severely fail in finding a satisfactory solution. In the current study we propose a new fast method to align the FOV in multi-modal 3D medical images. To this end, a patch-based approach is introduced and combined with a state-of-the-art multi-modal image similarity metric in order to cope with multi-modal medical images. The occurrence of estimated patch shifts is computed for each spatial direction and the shift value with maximum occurrence is selected and used to adjust the image field-of-view. We show that a regional registration approach using voxel patches provides a good structural compromise between the voxel-wise and "global shifts" approaches. The method was thereby beneficial for CT to CBCT and MRI to CBCT registration tasks, especially when highly different image FOVs are involved. Besides, the benefit of the method for CT to CBCT and MRI to CBCT image registration is analyzed, including the impact of artifacts generated by percutaneous needle insertions. Additionally, the computational needs are demonstrated to be compatible with clinical constraints in the practical case of on-line procedures.


title: Multimodal Pretraining for Dense Video Captioning

abstract: Learning specific hands-on skills such as cooking, car maintenance, and home repairs increasingly happens via instructional videos. The user experience with such videos is known to be improved by meta-information such as time-stamped annotations for the main steps involved. Generating such annotations automatically is challenging, and we describe here two relevant contributions. First, we construct and release a new dense video captioning dataset, Video Timeline Tags (ViTT), featuring a variety of instructional videos together with time-stamped annotations. Second, we explore several multimodal sequence-to-sequence pretraining strategies that leverage large unsupervised datasets of videos and caption-like texts. We pretrain and subsequently finetune dense video captioning models using both YouCook2 and ViTT. We show that such models generalize well and are robust over a wide variety of instructional videos.


title: A robust solution of a statistical inverse problem in multiscale computational mechanics using an artificial neural network

abstract: This work addresses the inverse identification of apparent elastic properties of random heterogeneous materials using machine learning based on artificial neural networks. The proposed neural network-based identification method requires the construction of a database from which an artificial neural network can be trained to learn the nonlinear relationship between the hyperparameters of a prior stochastic model of the random compliance field and some relevant quantities of interest of an ad hoc multiscale computational model. An initial database made up with input and target data is first generated from the computational model, from which a processed database is deduced by conditioning the input data with respect to the target data using the nonparametric statistics. Two-and three-layer feedforward artificial neural networks are then trained from each of the initial and processed databases to construct an algebraic representation of the nonlinear mapping between the hyperparameters (network outputs) and the quantities of interest (network inputs). The performances of the trained artificial neural networks are analyzed in terms of mean squared error, linear regression fit and probability distribution between network outputs and targets for both databases. An ad hoc probabilistic model of the input random vector is finally proposed in order to take into account uncertainties on the network input and to perform a robustness analysis of the network output with respect to the input uncertainties level. The capability of the proposed neural network-based identification method to efficiently solve the underlying statistical inverse problem is illustrated through two numerical examples developed within the framework of 2D plane stress linear elasticity, namely a first validation example on synthetic data obtained through computational simulations and a second application example on real experimental data obtained through a physical experiment monitored by digital image correlation on a real heterogeneous biological material (beef cortical bone).

categories: cs.LG eess.SP physics.class-ph physics.data-an stat.ML


title: The Chunks and Tasks Matrix Library 2.0

abstract: We present a C++ header-only parallel sparse matrix library, based on sparse quadtree representation of matrices using the Chunks and Tasks programming model. The library implements a number of sparse matrix algorithms for distributed memory parallelization that are able to dynamically exploit data locality to avoid movement of data. This is demonstrated for the example of block-sparse matrix-matrix multiplication applied to three sequences of matrices with different nonzero structure, using the CHT-MPI 2.0 runtime library implementation of the Chunks and Tasks model. The runtime library succeeds to dynamically load balance the calculation regardless of the sparsity structure.


title: The Reads-From Equivalence for the TSO and PSO Memory Models

abstract: The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consistency verification of concurrent executions. Consistency verification under a reads-from map allows to compute the reads-from (RF) equivalence between concurrent traces, with direct applications to areas such as Stateless Model Checking (SMC). The RF equivalence was recently shown to be coarser than the standard Mazurkiewicz equivalence, leading to impressive scalability improvements for SMC under SC (sequential consistency). However, for the relaxed memory models of TSO and PSO (total/partial store order), the algorithmic problem of deciding the RF equivalence, as well as its impact on SMC, has been elusive. In this work we solve the problem of consistency verification for the TSO and PSO memory models given a reads-from map, denoted VTSO-rf and VPSO-rf, respectively. For an execution of $n$ events over $k$ threads and $d$ variables, we establish novel bounds that scale as $n^{k+1}$ for TSO and as $n^{k+1}\cdot \min(n^{k^2}, 2^{k\cdot d})$ for PSO. Based on our solution to these problems, we develop an SMC algorithm under TSO and PSO that uses the RF equivalence. The algorithm is exploration-optimal, in the sense that it is guaranteed to explore each class of the RF partitioning exactly once, and spends polynomial time per class when $k$ is bounded. We implement all our algorithms in the SMC tool Nidhugg, and perform a large number of experiments over benchmarks from existing literature. Our experimental results show that our algorithms for VTSO-rf and VPSO-rf provide significant scalability improvements over standard alternatives. When used for SMC, the RF partitioning is often much coarser than the standard Shasha-Snir partitioning for TSO/PSO, which yields a significant speedup in the model checking task.


title: Development and evaluation of the use of a virtual health filter survey in a private primary education system in Baja California Mexico during the SARS-CoV-2 contingency (COVID-19)

abstract: This work reports on the design, implementation and evaluation of a survey used as a remote sanitary filter, which was applied in the Adventist Educational System of Baja California. During the SARS-CoV-2 sanitary contingency. This with the intention of acquiring information safely and in real time. Allowing to safeguard the integrity of the educational community as a whole. Accessible and easily distributed digital resources were used in order to meet the necessary requirements of distribution, acquisition and management of the information. These were adapted to the previously established communication dynamic of the educational system. The use of the survey as a sanitary filter allowed to acquire relevant health information from the student community and facilitated decision-making regarding class attendance by their tutors.These in consideration to the conditions established by educational and health authorities. Despite the short time during the design and implementation, the communication of the educational system allowed the effective distribution, application and monitoring of the digital survey. Similar strategies can be used in the follow-up during the reactivation after lockdown and to analyze social components that may be involved in these scenarios


title: Boosting Contrastive Self-Supervised Learning with False Negative Cancellation

abstract: Self-supervised representation learning has made significant leaps fueled by progress in contrastive learning, which seeks to learn transformations that embed positive input pairs nearby, while pushing negative pairs far apart. While positive pairs can be generated reliably (e.g., as different views of the same image), it is difficult to accurately establish negative pairs, defined as samples from different images regardless of their semantic content or visual features. A fundamental problem in contrastive learning is mitigating the effects of false negatives. Contrasting false negatives induces two critical issues in representation learning: discarding semantic information and slow convergence. In this paper, we propose novel approaches to identify false negatives, as well as two strategies to mitigate their effect, i.e. false negative elimination and attraction, while systematically performing rigorous evaluations to study this problem in detail. Our method exhibits consistent improvements over existing contrastive learning-based methods. Without labels, we identify false negatives with 40% accuracy among 1000 semantic classes on ImageNet, and achieve 5.8% absolute improvement in top-1 accuracy over the previous state-of-the-art when finetuning with 1% labels. Our code is available at https://github.com/google-research/fnc.


title: CAT: Change-focused Android GUI Testing

abstract: Android Apps are frequently updated, every couple of weeks, to keep up with changing user, hardware and business demands. Correctness of App updates is checked through extensive testing. Recent research has proposed tools for automated GUI event generation in Android Apps. These techniques, however, are not efficient at checking App updates as the generated GUI events do not prioritise updates, and instead explore other App behaviours. We address this need in this paper with CAT (Change-focused Android GUI Testing). For App updates, at the source code or GUI level, CAT performs change impact analysis to identify GUI elements affected by the update. CAT then generates length-3 GUI event sequences to interact with these GUI elements. Our empirical evaluations using 21 publicly available open source Android Apps demonstrated that CAT is able to automatically identify GUI elements affected by App updates, generate and execute length-3 GUI event sequences focusing on change-affected GUI elements. Comparison with two popular GUI event generation tools, DroidBot and DroidMate, revealed that CAT was more effective at interacting with the change-affected GUI elements. Finally, CAT was able to detect previously unknown change-related bugs in two Apps.