title: Towards Image-based Automatic Meter Reading in Unconstrained Scenarios: A Robust and Efficient Approach

abstract: Existing approaches for image-based Automatic Meter Reading (AMR) have been evaluated on images captured in well-controlled scenarios. However, real-world meter reading presents unconstrained scenarios that are way more challenging due to dirt, various lighting conditions, scale variations, in-plane and out-of-plane rotations, among other factors. In this work, we present an end-to-end approach for AMR focusing on unconstrained scenarios. Our main contribution is the insertion of a new stage in the AMR pipeline, called corner detection and counter classification, which enables the counter region to be rectified -- as well as the rejection of illegible/faulty meters -- prior to the recognition stage. We also introduce a publicly available dataset, called Copel-AMR, that contains 12,500 meter images acquired in the field by the service company's employees themselves, including 2,500 images of faulty meters or cases where the reading is illegible due to occlusions. Experimental evaluation demonstrates that the proposed system, which has three networks operating in a cascaded mode, outperforms all baselines in terms of recognition rate while still being quite efficient. Moreover, as very few reading errors are tolerated in real-world applications, we show that our AMR system achieves impressive recognition rates (i.e., > 99%) when rejecting readings made with lower confidence values.


title: Connecting Distributed Pockets of EnergyFlexibility through Federated Computations:Limitations and Possibilities

abstract: Electric grids are traditionally operated as multi-entity systems with each entity managing a geographical region. Interest and demand for decarbonization and energy democratization is resulting in growing penetration of controllable energy resources. In turn, this process is increasing the number of grid entities. The paradigm shift is also fueled by increased adoption of intelligent sensors and actuators equipped with advanced processing and computing capabilities. While collaboration among power grid entities (agents) reduces energy cost and increases overall reliability, achieving effective collaboration is challenging. The main challenges stem from the heterogeneity of system agents and their collected information. Furthermore, the scale of data collection is constantly increasing and many grid entities have strict privacy requirements. Another challenge is the energy industry's common practice of keeping data in silos. Federated computation is an approach well suited to addressing these issues that are increasingly important for multi-agent energy systems. Through federated computation, agents collaboratively solve learning and optimization problems while respecting each agent's privacy and overcoming barriers of cross-device and cross-organization data isolation. In this paper, we first establish the need for federated computations to achieve energy optimization goals of the future power grid. We discuss practical challenges of performing multi-agent data processing in general. Then we address challenges that arise specifically for orchestrating operation of connected distributed energy resources in the Internet of Things. We conclude this paper by presenting a novel federated computation framework that addresses some of these issues, and we share examples of two initial field test setups in research demonstrations and commercial building applications with Grid Fruit LLC.


title: Topological aspects of $4$D Abelian lattice gauge theories with the $\theta$ parameter

abstract: We study a four-dimensional $U(1)$ gauge theory with the $\theta$ angle, which was originally proposed by Cardy and Rabinovici. It is known that the model has the rich phase diagram thanks to the presence of both electrically and magnetically charged particles. We discuss the topological nature of the oblique confinement phase of the model at $\theta=\pi$, and show how its appearance can be consistent with the anomaly constraint. We also construct the $SL(2,\mathbb{Z})$ self-dual theory out of the Cardy-Rabinovici model by gauging a part of its one-form symmetry. This self-duality has a mixed 't Hooft anomaly with gravity, and its implications on the phase diagram is uncovered. As the model shares the same global symmetry and 't Hooft anomaly with those of $SU(N)$ Yang-Mills theory, studying its topological aspects would provide us more hints to explore possible dynamics of non-Abelian gauge theories with nonzero $\theta$ angles.


title: The Impact of Outflows driven by Active Galactic Nuclei on Metals in and around Galaxies

abstract: Metals in the hot gaseous halos of galaxies encode the history of star formation as well as the feedback processes that eject metals from the galaxies. X-ray observations suggest that massive galaxies have extended distributions of metals in their gas halos. We present predictions for the metal properties of massive galaxies and their gaseous halos from recent high resolution zoom-in simulations that include mechanical and radiation driven feedback from Active Galactic Nuclei (AGN). In these simulations, AGN launch high-velocity outflows, mimicking observed broad absorption line winds. By comparing two sets of simulations with and without AGN feedback, we show that our prescription for AGN feedback is capable of driving winds and enriching halo gas `inside-out' by spreading centrally enriched metals to the outskirts of galaxies, into the halo and beyond. The metal (iron) profiles of halos simulated with AGN feedback have a flatter slope than those without AGN feedback, consistent with recent X-ray observations. The predicted gas iron abundance of group scale galaxies simulated with AGN feedback is $Z_{\rm Fe} = 0.23$ $Z_{\rm Fe,\odot}$ at $0.5 r_{500}$, which is 2.5 times higher than that in simulations without AGN feedback. In these simulations, AGN winds are also important for the metal enrichment of the intergalactic medium, as the vast majority of metals ejected from the galaxy by AGN-driven winds end up beyond the halo virial radius.


title: Fink, a new generation of broker for the LSST community

abstract: Fink is a broker designed to enable science with large time-domain alert streams such as the one from the upcoming Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). It exhibits traditional astronomy broker features such as automatised ingestion, annotation, selection and redistribution of promising alerts for transient science. It is also designed to go beyond traditional broker features by providing real-time transient classification which is continuously improved by using state-of-the-art Deep Learning and Adaptive Learning techniques. These evolving added values will enable more accurate scientific output from LSST photometric data for diverse science cases while also leading to a higher incidence of new discoveries which shall accompany the evolution of the survey. In this paper we introduce Fink, its science motivation, architecture and current status including first science verification cases using the Zwicky Transient Facility alert stream.


title: Extremal Pattern-Avoiding Words

abstract: Recently, Grytczuk, Kordulewski, and Niewiadomski defined an extremal word over an alphabet $\mathbb{A}$ to be a word with the property that inserting any letter from $\mathbb{A}$ at any position in the word yields a given pattern. In this paper, we determine the number of extremal $XY_1XY_2X\dots XY_tX$-avoiding words on a $k$-letter alphabet. We also derive a lower bound on the shortest possible length of an extremal square-free word on a $k$-letter alphabet that grows exponentially in $k$.


title: Security, Privacy and Ethical Concerns of IoT Implementations in Hospitality Domain

abstract: The Internet of Things (IoT) has been on the rise in the last decade as it finds applications in various domains. Hospitality is one of the pioneer sectors that has adopted this technology to create novel services such as smart hotel rooms, personalized services etc. Hotels, restaurants, theme parks, and cruise ships are some specific application areas to improve customer satisfaction by creating an intense interactive environment and data collection with the use of appropriate sensors and actuators. However, applying IoT solutions in the hospitality environment has some unique challenges such as easy physical access to devices. In addition, due to the very nature of these domains, the customers are at the epicenter of these IoT technologies that result in a massive amount of data collection from them. Such data and its management along with business purposes also raises new concerns regarding privacy and ethical considerations. Therefore, this paper surveys and analyzes security, privacy and ethical issues regarding the utilization of IoT devices by focusing on the hospitality industry specifically. We explore some exemplary uses, cases, potential problems and solutions in order to contribute to better understanding and guiding the business operators in this sector.


title: A characterisation of Morita algebras in terms of covers

abstract: A pair $(A, P)$ is called a cover of $\operatorname{End}_A(P)^{op}$ if the Schur functor $\operatorname{Hom}_A(P, -)$ is fully faithful on the full subcategory of projective $A$-modules, for a given projective $A$-module $P$. By definition, Morita algebras are the covers of self-injective algebras and then $P$ is a faithful projective-injective module. Conversely, we show that $A$ is a Morita algebra and $\operatorname{End}_A(P)^{op}$ is self-injective whenever $(A, P)$ is a cover of $\operatorname{End}_A(P)^{op}$ for a faithful projective-injective module $P$.


title: Resilient In-Season Crop Type Classification in Multispectral Satellite Observations using Growth Stage Normalization

abstract: Crop type classification using satellite observations is an important tool for providing insights about planted area and enabling estimates of crop condition and yield, especially within the growing season when uncertainties around these quantities are highest. As the climate changes and extreme weather events become more frequent, these methods must be resilient to changes in domain shifts that may occur, for example, due to shifts in planting timelines. In this work, we present an approach for within-season crop type classification using moderate spatial resolution (30 m) satellite data that addresses domain shift related to planting timelines by normalizing inputs by crop growth stage. We use a neural network leveraging both convolutional and recurrent layers to predict if a pixel contains corn, soybeans, or another crop or land cover type. We evaluated this method for the 2019 growing season in the midwestern US, during which planting was delayed by as much as 1-2 months due to extreme weather that caused record flooding. We show that our approach using growth stage-normalized time series outperforms fixed-date time series, and achieves overall classification accuracy of 85.4% prior to harvest (September-November) and 82.8% by mid-season (July-September).


title: Federated Learning for Computational Pathology on Gigapixel Whole Slide Images

abstract: Deep Learning-based computational pathology algorithms have demonstrated profound ability to excel in a wide array of tasks that range from characterization of well known morphological phenotypes to predicting non-human-identifiable features from histology such as molecular alterations. However, the development of robust, adaptable, and accurate deep learning-based models often rely on the collection and time-costly curation large high-quality annotated training data that should ideally come from diverse sources and patient populations to cater for the heterogeneity that exists in such datasets. Multi-centric and collaborative integration of medical data across multiple institutions can naturally help overcome this challenge and boost the model performance but is limited by privacy concerns amongst other difficulties that may arise in the complex data sharing process as models scale towards using hundreds of thousands of gigapixel whole slide images. In this paper, we introduce privacy-preserving federated learning for gigapixel whole slide images in computational pathology using weakly-supervised attention multiple instance learning and differential privacy. We evaluated our approach on two different diagnostic problems using thousands of histology whole slide images with only slide-level labels. Additionally, we present a weakly-supervised learning framework for survival prediction and patient stratification from whole slide images and demonstrate its effectiveness in a federated setting. Our results show that using federated learning, we can effectively develop accurate weakly supervised deep learning models from distributed data silos without direct data sharing and its associated complexities, while also preserving differential privacy using randomized noise generation.


title: Adaptive Meta-Learning for Identification of Rover-Terrain Dynamics

abstract: Rovers require knowledge of terrain to plan trajectories that maximize safety and efficiency. Terrain type classification relies on input from human operators or machine learning-based image classification algorithms. However, high level terrain classification is typically not sufficient to prevent incidents such as rovers becoming unexpectedly stuck in a sand trap; in these situations, online rover-terrain interaction data can be leveraged to accurately predict future dynamics and prevent further damage to the rover. This paper presents a meta-learning-based approach to adapt probabilistic predictions of rover dynamics by augmenting a nominal model affine in parameters with a Bayesian regression algorithm (P-ALPaCA). A regularization scheme is introduced to encourage orthogonality of nominal and learned features, leading to interpretable probabilistic estimates of terrain parameters in varying terrain conditions.


title: physiCal: A physical approach to the marginalization of LIGO calibration uncertainties

abstract: The data from ground based gravitational-wave detectors such as Advanced LIGO and Virgo must be calibrated to convert the digital output of photodetectors into a relative displacement of the test masses in the detectors, producing the quantity of interest for inference of astrophysical gravitational wave sources. Both statistical uncertainties and systematic errors are associated with the calibration process, which would in turn affect the analysis of detected sources, if not accounted for. Currently, source characterization algorithms either entirely neglect the possibility of calibration uncertainties or account for them in a way that does not use knowledge of the calibration process itself. We present physiCal, a new approach to account for calibration errors during the source characterization step, which directly uses all the information available about the instrument calibration process. Rather than modeling the overall detector's response function, we consider the individual components that contribute to the response. We implement this method and apply it to the compact binaries detected by LIGO and Virgo during the second observation run, as well as to simulated binary neutron stars for which the sky position and distance are known exactly. We find that the physiCal model performs as well as the method currently used within the LIGO-Virgo collaboration, but additionally it enables improving the measurement of specific components of the instrument control through astrophysical calibration.


title: Gravitational-wave astronomy with a physical calibration model

abstract: We carry out astrophysical inference for compact binary merger events in LIGO-Virgo's first gravitational-wave transient catalog (GWTC-1) using a physically motivated calibration model. We demonstrate that importance sampling can be used to reduce the cost of what would otherwise be a computationally challenging analysis. We show that including the physical estimate for the calibration error distribution has negligible impact on the inference of parameters for the events in GWTC-1. Studying a simulated signal with matched filter signal-to-noise ratio $\text{SNR}=200$, we project that a calibration error estimate typical of GWTC-1 is likely to be negligible for the current generation of gravitational-wave detectors. We argue that other sources of systematic error---from waveforms, prior distributions, and noise modelling---are likely to be more important. Finally, using the events in GWTC-1 as standard sirens, we infer an astrophysically-informed improvement on the estimate of the calibration error in the LIGO interferometers.


title: Dark Patterns and the Legal Requirements of Consent Banners: An Interaction Criticism Perspective

abstract: User engagement with data privacy and security through consent banners has become a ubiquitous part of interacting with internet services. While previous work has addressed consent banners from either interaction design, legal, and ethics-focused perspectives, little research addresses the connections among multiple disciplinary approaches, including tensions and opportunities that transcend disciplinary boundaries. In this paper, we draw together perspectives and commentary from HCI, design, privacy and data protection, and legal research communities, using the language and strategies of "dark patterns" to perform an interaction criticism reading of three different types of consent banners. Our analysis builds upon designer, interface, user, and social context lenses to raise tensions and synergies that arise together in complex, contingent, and conflicting ways in the act of designing consent banners. We conclude with opportunities for transdisciplinary dialogue across legal, ethical, computer science, and interactive systems scholarship to translate matters of ethical concern into public policy.


title: SSMBA: Self-Supervised Manifold Based Data Augmentation for Improving Out-of-Domain Robustness

abstract: Models that perform well on a training domain often fail to generalize to out-of-domain (OOD) examples. Data augmentation is a common method used to prevent overfitting and improve OOD generalization. However, in natural language, it is difficult to generate new examples that stay on the underlying data manifold. We introduce SSMBA, a data augmentation method for generating synthetic training examples by using a pair of corruption and reconstruction functions to move randomly on a data manifold. We investigate the use of SSMBA in the natural language domain, leveraging the manifold assumption to reconstruct corrupted text with masked language models. In experiments on robustness benchmarks across 3 tasks and 9 datasets, SSMBA consistently outperforms existing data augmentation methods and baseline models on both in-domain and OOD data, achieving gains of 0.8% accuracy on OOD Amazon reviews, 1.8% accuracy on OOD MNLI, and 1.4 BLEU on in-domain IWSLT14 German-English.


title: Zeros of Jacobi and Ultraspherical polynomials

abstract: Suppose $\{P_{n}^{(\alpha, \beta)}(x)\}_{n=0}^\infty $ is a sequence of Jacobi polynomials with $ \alpha, \beta >-1.$ We discuss special cases of a question raised by Alan Sokal at OPSFA in 2019, namely, whether the zeros of $ P_{n}^{(\alpha,\beta)}(x)$ and $ P_{n+k}^{(\alpha + t, \beta + s )}(x)$ are interlacing if $s,t >0$ and $ k \in \mathbb{N}.$ We consider two cases of this question for Jacobi polynomials of consecutive degree and prove that the zeros of $ P_{n}^{(\alpha,\beta)}(x)$ and $ P_{n+1}^{(\alpha, \beta + 1 )}(x),$ $ \alpha > -1, \beta > 0, $ $ n \in \mathbb{N},$ are partially, but in general not fully, interlacing depending on the values of $\alpha, \beta$ and $n.$ A similar result holds for the extent to which interlacing holds between the zeros of $ P_{n}^{(\alpha,\beta)}(x)$ and $ P_{n+1}^{(\alpha + 1, \beta + 1 )}(x),$ $ \alpha >-1, \beta > -1.$ It is known that the zeros of the equal degree Jacobi polynomials $ P_{n}^{(\alpha,\beta)}(x)$ and $ P_{n}^{(\alpha - t, \beta + s )}(x)$ are interlacing for $ \alpha -t > -1, \beta > -1, $ $0 \leq t,s \leq 2.$ We prove that partial, but in general not full, interlacing of zeros holds between the zeros of $ P_{n}^{(\alpha,\beta)}(x)$ and $ P_{n}^{(\alpha + 1, \beta + 1 )}(x),$ when $ \alpha > -1, \beta > -1.$ We provide numerical examples that confirm that the results we prove cannot be strengthened in general. The symmetric case $\alpha = \beta = \lambda -1/2$ of the Jacobi polynomials is also considered. We prove that the zeros of the ultraspherical polynomials $ C_{n}^{(\lambda)}(x)$ and $ C_{n + 1}^{(\lambda +1)}(x),$ $ \lambda > -1/2$ are partially, but in general not fully, interlacing. The interlacing of the zeros of the equal degree ultraspherical polynomials $ C_{n}^{(\lambda)}(x)$ and $ C_{n}^{(\lambda +3)}(x),$ $ \lambda > -1/2,$ is also discussed.


title: Integral Klein bottle surgeries and Heegaard Floer homology

abstract: We study which closed, connected, orientable three-manifolds $X$ containing a Klein bottle arise as integral Dehn surgery along a knot in $S^3$. Such $X$ are presentable as a gluing of the twisted $I$-bundle over the Klein bottle to a knot manifold, and we use a variety of Heegaard Floer type invariants to generate surgery obstructions. Suppose that $X$ is $8$-surgery along a genus two knot, and arises by gluing the twisted $I$-bundle over the Klein bottle to an $S^3$ knot complement. We show that $X$ is an L-space, it must be the dihedral manifold $\left(-1; \tfrac{1}{2}, \tfrac{1}{2}, \tfrac{2}{5}\right)$, and the surgery knot must be $K=T(2,5)$.


title: Topological Descendants of Multicritical EuTl2

abstract: The past decades have witnessed a transformation in characterizing condensed matter systems with topology. Aided by a refined understanding of topological band structures with crystalline symmetries that has emerged recently, many electronic phases have been identified and a plethora of materials have been predicted to host novel properties and functionalities. A key underlying question, also with respect to future application, is to what extent the related physical features can be manipulated, especially in the context of magnetic order. Here we describe a paradigmatic semimetal that simultaneously incorporates multiple, and sometimes conflicting topology which guarantees gaplessness and leads to an exceptionally rich family of descendent phases on lowering symmetry. We predict that this multicritical phase is realized in EuTl2. Starting from the parent semimetallic state, which already separates two topological insulating regimes, the interplay of inherent magnetism and strain allows for an exceptionally rich phase diagram of topological descendant states.


title: Evolutionary Architecture Search for Graph Neural Networks

abstract: Automated machine learning (AutoML) has seen a resurgence in interest with the boom of deep learning over the past decade. In particular, Neural Architecture Search (NAS) has seen significant attention throughout the AutoML research community, and has pushed forward the state-of-the-art in a number of neural models to address grid-like data such as texts and images. However, very litter work has been done about Graph Neural Networks (GNN) learning on unstructured network data. Given the huge number of choices and combinations of components such as aggregator and activation function, determining the suitable GNN structure for a specific problem normally necessitates tremendous expert knowledge and laborious trails. In addition, the slight variation of hyper parameters such as learning rate and dropout rate could dramatically hurt the learning capacity of GNN. In this paper, we propose a novel AutoML framework through the evolution of individual models in a large GNN architecture space involving both neural structures and learning parameters. Instead of optimizing only the model structures with fixed parameter settings as existing work, an alternating evolution process is performed between GNN structures and learning parameters to dynamically find the best fit of each other. To the best of our knowledge, this is the first work to introduce and evaluate evolutionary architecture search for GNN models. Experiments and validations demonstrate that evolutionary NAS is capable of matching existing state-of-the-art reinforcement learning approaches for both the semi-supervised transductive and inductive node representation learning and classification.


title: Using Inaudible Audio and Voice Assistants to Transmit Sensitive Data over Telephony

abstract: New security and privacy concerns arise due to the growing popularity of voice assistant (VA) deployments in home and enterprise networks. A number of past research results have demonstrated how malicious actors can use hidden commands to get VAs to perform certain operations even when a person may be in their vicinity. However, such work has not explored how compromised computers that are close to VAs can leverage the phone channel to exfiltrate data with the help of VAs. After characterizing the communication channel that is set up by commanding a VA to make a call to a phone number, we demonstrate how malware can encode data into audio and send it via the phone channel. Such an attack, which can be crafted remotely, at scale and at low cost, can be used to bypass network defenses that may be deployed against leakage of sensitive data. We use Dual-Tone Multi-Frequency tones to encode arbitrary binary data into audio that can be played over computer speakers and sent through a VA mediated phone channel to a remote system. We show that modest amounts of data can be transmitted with high accuracy with a short phone call lasting a few minutes. This can be done while making the audio nearly inaudible for most people by modulating it with a carrier with frequencies that are near the higher end of the human hearing range. Several factors influence the data transfer rate, including the distance between the computer and the VA, the ambient noise that may be present and the frequency of modulating carrier. With the help of a prototype built by us, we experimentally assess the impact of these factors on data transfer rates and transmission accuracy. Our results show that voice assistants in the vicinity of computers can pose new threats to data stored on such computers. These threats are not addressed by traditional host and network defenses. We briefly discuss possible mitigation ways.


title: Coupling between structural relaxation and diffusion in glass-forming liquids under pressure variation

abstract: We theoretically investigate structural relaxation and activated diffusion of glass-forming liquids at different pressures using both the Elastically Collective Nonlinear Langevin Equation (ECNLE) theory and molecular dynamics (MD) simulation. An external pressure restricts local motions of a single molecule within its cage and triggers the slowing down of cooperative mobility. While the ECNLE theory and simulation generally predict a monotonic increase of the glass transition temperature and dynamic fragility with pressure, the simulation indicates a decrease of fragility as pressure above 1000 bar. The structural relaxation time is found to be linearly coupled with the inverse diffusion constant. Remarkably, this coupling is independent of compression. Theoretical calculations agree quantitatively well with simulations and are also consistent with prior works.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Millimeter Wave Position Location using Multipath Differentiation for 3GPP using Field Measurements

abstract: 3GPP air interface standards support meter-level position location of a user in a cellular network. With wider bandwidths and narrow antenna beamwidths available at mmWave frequencies, cellular networks now have the potential to provide sub-meter position location for each user. In this work, we provide an overview of 3GPP position location techniques that are designed for line-of-sight propagation. We discuss additional measurements required in the 3GPP standard that enable multipath-based non-line-of-sight position location. Further, we validate the concepts in this paper by using field data to test a map-based position location algorithm in an indoor office environment which has dimensions of 35 m by 65.5 m. We demonstrate how the fusion of angle of arrival and time of flight information in concert with a 3-D map of the office provides a mean accuracy of 5.72 cm at 28 GHz and 6.29 cm at 140 GHz, over 23 receiver distances ranging from 4.2 m to 32.3 m, using a single base station in line-of-sight and non-line-of-sight. We also conduct a theoretical analysis of the typical error experienced in the map-based position location algorithm and show that the complexity of the map-based algorithm is low enough to allow real-time implementation.


title: Superstripes and quasicrystals in bosonic systems with hard-soft corona interactions

abstract: The search for spontaneous pattern formation in equilibrium phases with genuine quantum properties is a leading direction of current research. In this work we investigate the effect of quantum fluctuations - zero point motion and exchange interactions - on the phases of an ensemble of bosonic particles with isotropic hard-soft corona interactions. We perform extensive path-integral Monte Carlo simulations to determine their ground state properties. A rich phase diagram, parametrized by the density of particles and the interaction strength of the soft-corona potential, reveals supersolid stripes, kagome and triangular crystals in the low-density regime. In the high-density limit we observe patterns with 12-fold rotational symmetry compatible with periodic approximants of quasicrystalline phases. We characterize these quantum phases by computing the superfluid density and the bond-orientational order parameter. Finally, we highlight the qualitative and quantitative differences of our findings with the classical equilibrium phases for the same parameter regimes.


title: On stable exponential cosmological solutions with two factor spaces in $(1+ m + 2)$-dimensional EGB model with $\Lambda$-term

abstract: A $(m+ 3)$-dimensional Einstein-Gauss-Bonnet gravitational model including the Gauss-Bonnet term and the cosmological term $\Lambda$ is considered. Exact solutions with exponential time dependence of two scale factors, governed by two Hubble-like parameters $H >0$ and $h \neq H$, corresponding to factor spaces of dimensions $m >2$ and $l = 2$, respectively, are found. Under certain restrictions on $x = h/H $, the stability of the solutions in a class of cosmological solutions with diagonal metrics is proved. A subclass of solutions with small enough variation of the effective gravitational constant $G$ is considered and the stability of all solutions from this subclass is shown.


title: The Persian Dependency Treebank Made Universal

abstract: We describe an automatic method for converting the Persian Dependency Treebank (Rasooli et al, 2013) to Universal Dependencies. This treebank contains 29107 sentences. Our experiments along with manual linguistic analysis show that our data is more compatible with Universal Dependencies than the Uppsala Persian Universal Dependency Treebank (Seraji et al., 2016), and is larger in size and more diverse in vocabulary. Our data brings in a labeled attachment F-score of 85.2 in supervised parsing. Our delexicalized Persian-to-English parser transfer experiments show that a parsing model trained on our data is ~2% absolutely more accurate than that of Seraji et al. (2016) in terms of labeled attachment score.


title: Interlacing of zeros of Laguerre polynomials of equal and consecutive degree

abstract: We investigate interlacing properties of zeros of Laguerre polynomials $ L_{n}^{(\alpha)}(x)$ and $ L_{n+1}^{(\alpha +k)}(x),$ $ \alpha > -1, $ where $ n \in \mathbb{N}$ and $ k \in {\{ 1,2 }\}$. We prove that, in general, the zeros of these polynomials interlace partially and not fully. The sharp $t-$interval within which the zeros of two equal degree Laguerre polynomials $ L_n^{(\alpha)}(x)$ and $ L_n^{(\alpha +t)}(x)$ are interlacing for every $n \in \mathbb{N}$ and each $ \alpha > -1$ is $ 0 < t \leq 2,$ \cite{DrMu2}, and the sharp $t-$interval within which the zeros of two consecutive degree Laguerre polynomials $ L_n^{(\alpha)}(x)$ and $ L_{n-1}^{(\alpha +t)}(x)$ are interlacing for every $n \in \mathbb{N}$ and each $ \alpha > -1$ is $ 0 \leq t \leq 2,$ \cite{DrMu1}. We derive conditions on $n \in \mathbb{N}$ and $\alpha,$ $ \alpha > -1$ that determine the partial or full interlacing of the zeros of $ L_n^{(\alpha)}(x)$ and the zeros of $ L_n^{(\alpha + 2 + k)}(x),$ $ k \in {\{ 1,2 }\}$. We also prove that partial interlacing holds between the zeros of $ L_n^{(\alpha)}(x)$ and $ L_{n-1}^{(\alpha + 2 +k )}(x)$ when $ k \in {\{ 1,2 }\},$ $n \in \mathbb{N}$ and $ \alpha > -1$. Numerical illustrations of interlacing and its breakdown are provided.


title: Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

abstract: Recursively defined linked data structures embedded in a pointer-based heap and their properties are naturally expressed in pure first-order logic with least fixpoint definitions (FO+lfp) with background theories. Such logics, unlike pure first-order logic, do not admit even complete procedures. In this paper, we undertake a novel approach for synthesizing inductive hypotheses to prove validity in this logic. The idea is to utilize several kinds of finite first-order models as counterexamples that capture the non-provability and invalidity of formulas to guide the search for inductive hypotheses. We implement our procedures and evaluate them extensively over theorems involving heap data structures that require inductive proofs and demonstrate the effectiveness of our methodology.


title: Spin density wave order in interacting type-I and type-II Weyl semimetals

abstract: Weyl semimetals, featuring massless linearly dispersing chiral fermions in three dimensions, provide an excellent platform for studying the interplay of electronic interactions and topology, and exploring new correlated states of matter. Here, we examine the effect of a local repulsive interaction on an inversion-symmetry breaking Weyl semimetal model, using cluster dynamical mean field theory and variational cluster approximation methods. Our analysis reveals a continuous transition from the gapless Weyl semimetal phase to a gapped spin density wave ordered phase at a critical value of the interaction, which is determined by the band structure parameters. Further, we introduce a finite tilt in the linear dispersion and examine the corresponding behavior for a type-II Weyl semimetal model, where the critical interaction strength is found to be significantly diminished, indicating a greater susceptibility towards interactions. The behavior of different physical quantities, such as the double occupancy, the spectral function and the Berry curvature associated with the Weyl nodes are obtained in both the semimetallic and the magnetically ordered states. Finally, we provide an interaction-induced phase diagram for the Weyl semimetal model, as a function of the tilt parameter.


title: Almost-normality of Isbell-Mr\'owka spaces

abstract: We explore almost-normality in Isbell-Mr\'owka spaces and some related concepts. We use forcing to provide an example of an almost-normal not normal almost disjoint family, explore the concept of semi-normality in Isbell-Mr\'owka spaces, define the concept of strongly $(\aleph_0, <\mathfrak c)$-separated almost disjoint families and prove the generic existence of completely separable strongly $(\aleph_0, <\mathfrak c)$-almost disjoint families assuming $\mathfrak s=\mathfrak c$ and $\mathfrak b=\mathfrak c$. We also provide an example of a Tychonoff almost-normal not normal pseudocompact space which is not countably compact, answering a question from P. Szeptycki and S. Garcia-Balan.


title: Sensitivity of BPA SAR Image Formation to Initial Position, Velocity, and Attitude Navigation Errors

abstract: The Back-Projection Algorithm (BPA) is a time domain matched filtering technique to form synthetic aperture radar (SAR) images. To produce high quality BPA images, precise navigation data for the radar platform must be known. Any error in position, velocity, or attitude results in improperly formed images corrupted by shifting, blurring, and distortion. This paper develops analytical expressions that characterize the relationship between navigation errors and image formation errors. These analytical expressions are verified via simulated image formation and real data image formation.


title: Parity-time symmetric systems with memory

abstract: Classical open systems with balanced gain and loss, i.e. parity-time ($\mathcal{PT}$) symmetric systems, have attracted tremendous attention over the past decade. Their exotic properties arise from exceptional point (EP) degeneracies of non-Hermitian Hamiltonians that govern their dynamics. In recent years, increasingly sophisticated models of $\mathcal{PT}$-symmetric systems with time-periodic (Floquet) driving, time-periodic gain and loss, and time-delayed coupling have been investigated, and such systems have been realized across numerous platforms comprising optics, acoustics, mechanical oscillators, optomechanics, and electrical circuits. Here, we introduce a $\mathcal{PT}$-symmetric (balanced gain and loss) system with memory, and investigate its dynamics analytically and numerically. Our model consists of two coupled $LC$ oscillators with positive and negative resistance, respectively. We introduce memory by replacing either the resistor with a memristor, or the coupling inductor with a meminductor, and investigate the circuit energy dynamics as characterized by $\mathcal{PT}$-symmetric or $\mathcal{PT}$-symmetry broken phases. Due to the resulting nonlinearity, we find that energy dynamics depend on the sign and strength of initial voltages and currents, as well as the distribution of initial circuit energy across its different components. Surprisingly, at strong inputs, the system exhibits self-organized Floquet dynamics, including $\mathcal{PT}$-symmetry broken phase at vanishingly small dissipation strength. Our results indicate that $\mathcal{PT}$-symmetric systems with memory show a rich landscape.


title: Self-calibration of Networks of Gravitational Wave Detectors

abstract: As LIGO and Virgo are upgraded, improving calibration systems to keep pace with the anticipated signal-to-noise enhancements will be challenging. We explore here a calibration method that uses astronomical signals, namely inspiral signals from compact-object binaries, and we show that it can in principle enable calibration at the sub-1\% accuracy levels needed for future gravitational wave science. We show how ensembles of these transient events can be used to measure the calibration errors of individual detectors in a network of three or more comparably sensitive instruments. As with telescopes, relative calibration of gravitational-wave detectors using detected events is easier to achieve than absolute calibration, which in principle would still need to be done with a hardware method for at least one detector at one frequency. Our proposed method uses the so-called null streams, the signal-free linear combinations of the outputs of the detectors that exist in any network with three or more differently oriented detectors. Signals do not appear in the null stream if the signal amplitude in the detector output is faithful to that of the real signal. Frequency-dependent calibration errors and relative calibration and timing errors between detectors leave a residual in the null stream. The amount of residual from each detector depends on the source direction. We adapt the method of matched filtering to the problem of extracting the calibration error of each detector from this residual. This requires combining linearly the filter outputs of a sufficient number of detected signals, and in principle it can achieve any desired accuracy in a long enough observation run. We anticipate that A+ detector networks, expected in 5 years, could employ this method to check anticipated hardware calibration accuracies.


title: Fibonacci polynomials

abstract: The Fibonacci polynomials $\big\{F_n(x)\big\}_{n\ge 0}$ have been studied in multiple ways. In this paper we study them by means of the theory of Heaps of Viennot. In this setting our polynomials form a basis $\big\{P_n(x)\big\}_{n\ge 0}$ with $P_n(x)$ monic of degree $n$. This given, we are forced to set $P_n(x)=F_{n+1}(x)$. The Heaps setting extends the Flajolet view of the classical theory of orthogonal polynomials given by a three term recursion. Thus with Heaps most of the identities for our $P_n(x)'s$ can be derived by combinatorial arguments. Using the present setting we derive a variety of new identities. We must mention that the theory of Heaps is presented here without restrictions. This is much more than needed to deal with the Fibonacci polynomials. We do this to convey a flavor of the power of Heaps. In the lecture notes there is a chapter dedicated to Heaps where most of its contents are dedicated to applications of the theory.


title: DISPATCH: Design Space Exploration of Cyber-Physical Systems

abstract: Design of cyber-physical systems (CPSs) is a challenging task that involves searching over a large search space of various CPS configurations and possible values of components composing the system. Hence, there is a need for sample-efficient CPS design space exploration to select the system architecture and component values that meet the target system requirements. We address this challenge by formulating CPS design as a multi-objective optimization problem and propose DISPATCH, a two-step methodology for sample-efficient search over the design space. First, we use a genetic algorithm to search over discrete choices of system component values for architecture search and component selection or only component selection and terminate the algorithm even before meeting the system requirements, thus yielding a coarse design. In the second step, we use an inverse design to search over a continuous space to fine-tune the component values and meet the diverse set of system requirements. We use a neural network as a surrogate function for the inverse design of the system. The neural network, converted into a mixed-integer linear program, is used for active learning to sample component values efficiently in a continuous search space. We illustrate the efficacy of DISPATCH on electrical circuit benchmarks: two-stage and three-stage transimpedence amplifiers. Simulation results show that the proposed methodology improves sample efficiency by 5-14x compared to a prior synthesis method that relies on reinforcement learning. It also synthesizes circuits with the best performance (highest bandwidth/lowest area) compared to designs synthesized using reinforcement learning, Bayesian optimization, or humans.


title: A crucial test of the phantom closed cosmological model

abstract: We suggest a crucial direct-observational test for measuring distinction between the standard $\Lambda$CDM model and recently proposed phantom dark energy positive curvature cosmological model. The test is based on the fundamental distance--flux--redshift relation for general Friedmann models. It does not depend on the CMBR data, on the large-scale structure growth models, and also on the value of the Hubble constant $H_0$. Our crucial test can be performed by future gamma-ray burst observations with THESEUS space mission and by using gravitational-wave standard siren observations with modern advanced LIGO--Virgo and also forthcoming LISA detectors.


title: Thermodynamic Constraints on the Dark Sector

abstract: In this paper, we present a unified scheme based on the fluid description of the dark sector of the universe. The scheme captures models with interaction between dark energy and dark matter, being the core of generalization the time-varying equation-of-state parameter $\omega(a)$ and the time-dependent interactions through the interaction function $\epsilon(a)$, where $a$ is the scale factor. Furthermore, we propose thermodynamics constraints on this generalized class of models using the laws of thermodynamics which are combined with observational data. In order to test the observational viability of the unified model, we perform a Bayesian analysis using cosmic chronometers, type Ia supernovae, cosmic microwave background, and angular baryon acoustic oscillation measurements.


title: A Faster Interior Point Method for Semidefinite Programming

abstract: Semidefinite programs (SDPs) are a fundamental class of optimization problems with important recent applications in approximation algorithms, quantum complexity, robust learning, algorithmic rounding, and adversarial deep learning. This paper presents a faster interior point method to solve generic SDPs with variable size $n \times n$ and $m$ constraints in time \begin{align*} \widetilde{O}(\sqrt{n}( mn^2 + m^\omega + n^\omega) \log(1 / \epsilon) ), \end{align*} where $\omega$ is the exponent of matrix multiplication and $\epsilon$ is the relative accuracy. In the predominant case of $m \geq n$, our runtime outperforms that of the previous fastest SDP solver, which is based on the cutting plane method of Jiang, Lee, Song, and Wong [JLSW20]. Our algorithm's runtime can be naturally interpreted as follows: $\widetilde{O}(\sqrt{n} \log (1/\epsilon))$ is the number of iterations needed for our interior point method, $mn^2$ is the input size, and $m^\omega + n^\omega$ is the time to invert the Hessian and slack matrix in each iteration. These constitute natural barriers to further improving the runtime of interior point methods for solving generic SDPs.


title: Wigner's friend and the quasi-ideal clock

abstract: In 1962, Eugene P. Wigner introduced a thought experiment that highlighted the incompatibility in quantum theory between unitary evolution and wave function reduction in a measurement. This work resulted in a class of thought experiments often called Wigner's Friend Scenarios, which have been providing insights over many frameworks and interpretations of quantum theory. Recently, a no-go theorem obtained by Daniela Frauchiger and Renato Renner brought attention back to the Wigner's Friend and its potential of putting theories to test. Many answers to this result pointed out how timing in the thought experiment could be yielding a paradox. In this work, we ask what would happen if the isolated friend in a Wigner's Friend Scenario did not share a time reference frame with the outer observer, and time should be tracked by a quantum clock. For this purpose, we recollect concepts provided by the theory of quantum reference frames and the quantum resource theory of asymmetry, to learn how to internalize time in this scenario, and introduce a model for a feasible quantum clock proposed by Mischa P. Woods, Ralph Silva and Jonathan Oppenheim, called the quasi-ideal clock. Our results have shown that no decoherent behavior comes from this approach, and the disagreement between the superobserver and its friend persists even for an imprecise clock on Wigner's side. However, the gaussian spread of this clock model can control what observables do not raise a paradox, indicating the relevance of deepening this analysis.


title: Influence of spin and orbital fluctuations on Mott-Hubbard exciton dynamics in LaVO${}_{3}$ Thin Films

abstract: Recent optical conductivity measurements reveal the presence of Hubbard excitons in certain Mott insulators. In light of these results, it is important to revisit the dynamics of these materials to account for excitonic correlations. We investigate time-resolved excitation and relaxation dynamics as a function of temperature in perovskite-type LaVO${}_{3}$ thin films using ultrafast optical pump-probe spectroscopy. LaVO${}_{3}$ undergoes a series of phase transitions at roughly the same critical temperature $T_C\cong 140\ K$, including a second-order magnetic phase transition (PM $\xrightarrow{}$ AFM) and a first-order structural phase transition, accompanied by \textit{C}-type spin order (SO) and \textit{G}-type orbital order (OO). Ultrafast optical pump-probe spectroscopy at 1.6 eV monitors changes in the spectral weight of the Hubbard exciton resonance which serves as a sensitive reporter of spin and orbital fluctuation dynamics. We observe dramatic slowing down of the spin, and orbital dynamics in the vicinity of $T_C\cong 140$ K, reminiscent of a second-order phase transition, despite the (weakly) first-order nature of the transition. We emphasize that since it is spectral weight changes that are probed, the measured dynamics are not reflective of conventional exciton generation and recombination, but are related to the dynamics of Hubbard exciton formation in the presence of a fluctuating many-body environment.


title: Stability results for symmetric jump processes on metric measure spaces with atoms. Long version

abstract: Consider a symmetric Markovian jump process $\{X_t\}$ on a metric measure space $(M, d, \mu)$. Chen, Kumagai, and Wang recently showed that two-sided heat kernel estimates and the parabolic Harnack inequality are both stable under bounded perturbations of the jumping measure, assuming $(M, d, \mu)$ satisfies the volume-doubling and reverse-volume-doubling conditions. These results do not apply if $(M, d, \mu)$ is a graph (or more generally, if $M$ contains any atoms $x$ such that $\mu(x)>0$) because it is impossible for reverse-volume-doubling to hold on a space with atoms. We generalize the results of Chen, Kumagai, and Wang to a larger class of metric measure spaces, including all infinite graphs with volume-doubling. Our main tool is the construction of an "auxiliary space" that smooths out the atoms. We show that many properties transfer from $(M, d, \mu)$ to the auxiliary space, and vice versa, including heat kernel estimates, the parabolic Harnack inequality, and their stable characterizations.


title: Survey of explainable machine learning with visual and granular methods beyond quasi-explanations

abstract: This paper surveys visual methods of explainability of Machine Learning (ML) with focus on moving from quasi-explanations that dominate in ML to domain-specific explanation supported by granular visuals. ML interpretation is fundamentally a human activity and visual methods are more readily interpretable. While efficient visual representations of high-dimensional data exist, the loss of interpretable information, occlusion, and clutter continue to be a challenge, which lead to quasi-explanations. We start with the motivation and the different definitions of explainability. The paper focuses on a clear distinction between quasi-explanations and domain specific explanations, and between explainable and an actually explained ML model that are critically important for the explainability domain. We discuss foundations of interpretability, overview visual interpretability and present several types of methods to visualize the ML models. Next, we present methods of visual discovery of ML models, with the focus on interpretable models, based on the recently introduced concept of General Line Coordinates (GLC). These methods take the critical step of creating visual explanations that are not merely quasi-explanations but are also domain specific visual explanations while these methods themselves are domain-agnostic. The paper includes results on theoretical limits to preserve n-D distances in lower dimensions, based on the Johnson-Lindenstrauss lemma, point-to-point and point-to-graph GLC approaches, and real-world case studies. The paper also covers traditional visual methods for understanding ML models, which include deep learning and time series models. We show that many of these methods are quasi-explanations and need further enhancement to become domain specific explanations. We conclude with outlining open problems and current research frontiers.


title: Magneto-Elastic Coupling to Coherent Acoustic Phonon Modes in Ferrimagnetic Insulator GdTiO$_3$

abstract: In this work we investigate single crystal GdTiO$_{3}$, a promising candidate material for Floquet engineering and magnetic control, using ultrafast optical pump-probe reflectivity and magneto-optical Kerr spectroscopy. GdTiO${}_{3}$ is a Mott-Hubbard insulator with a ferrimagnetic and orbitally ordered ground state (\textit{T${}_{C}$} = 32 K). We observe multiple signatures of the magnetic phase transition in the photoinduced reflectivity signal, in response to above band-gap 660 nm excitation. Magnetic dynamics measured via Kerr spectroscopy reveal optical perturbation of the ferrimagnetic order on spin-lattice coupling timescales, highlighting the competition between the Gd${}^{3+}$ and Ti${}^{3+}$ magnetic sub-lattices. Furthermore, a strong coherent oscillation is present in the reflection and Kerr dynamics, attributable to an acoustic strain wave launched by the pump pulse. The amplitude of this acoustic mode is highly dependent on the magnetic order of the system, growing sharply in magnitude at \textit{T${}_{C}$}, indicative of strong magneto-elastic coupling. The driving mechanism, involving strain-induced modification of the magnetic exchange interaction, implies an indirect method of coupling light to the magnetic degrees of freedom and emphasizes the potential of GdTiO${}_{3}$ as a tunable quantum material.


title: Development of a High Throughput Cloud-Based Data Pipeline for 21 cm Cosmology

abstract: We present a case study of a cloud-based computational workflow for processing large astronomical data sets from the Murchison Widefield Array (MWA) cosmology experiment. Cloud computing is well-suited to large-scale, episodic computation because it offers extreme scalability in a pay-for-use model. This facilitates fast turnaround times for testing computationally expensive analysis techniques. We describe how we have used the Amazon Web Services (AWS) cloud platform to efficiently and economically test and implement our data analysis pipeline. We discuss the challenges of working with the AWS spot market, which reduces costs at the expense of longer processing turnaround times, and we explore this tradeoff with a Monte Carlo simulation.


title: Entropy, Computing and Rationality

abstract: Making decisions freely presupposes that there is some indeterminacy in the environment and in the decision making engine. The former is reflected on the behavioral changes due to communicating: few changes indicate rigid environments; productive changes manifest a moderate indeterminacy, but a large communicating effort with few productive changes characterize a chaotic environment. Hence, communicating, effective decision making and productive behavioral changes are related. The entropy measures the indeterminacy of the environment, and there is an entropy range in which communicating supports effective decision making. This conjecture is referred to here as the The Potential Productivity of Decisions. The computing engine that is causal to decision making should also have some indeterminacy. However, computations performed by standard Turing Machines are predetermined. To overcome this limitation an entropic mode of computing that is called here Relational-Indeterminate is presented. Its implementation in a table format has been used to model an associative memory. The present theory and experiment suggest the Entropy Trade-off: There is an entropy range in which computing is effective but if the entropy is too low computations are too rigid and if it is too high computations are unfeasible. The entropy trade-off of computing engines corresponds to the potential productivity of decisions of the environment. The theory is referred to an Interaction-Oriented Cognitive Architecture. Memory, perception, action and thought involve a level of indeterminacy and decision making may be free in such degree. The overall theory supports an ecological view of rationality. The entropy of the brain has been measured in neuroscience studies and the present theory supports that the brain is an entropic machine. The paper is concluded with a number of predictions that may be tested empirically.


title: Fully printed, all-carbon, recyclable electronics

abstract: The rapid growth of electronic waste must be curtailed to prevent accumulation of environmentally and biologically toxic materials, which are essential to traditional electronics. The recent proliferation of transient electronics has focused predominantly on biocompatibility, and studies reporting material recapture have only demonstrated reuse of conducting materials. Meanwhile, the ideal solution to the electronic waste epidemic-recapture and reuse of all materials-has been largely neglected. Here we show complete recyclability of all materials in printed, all-carbon electronics using paper substrates, semiconducting carbon nanotubes, conducting graphene, and insulating crystalline nanocellulose. The addition of mobile ions to the dielectric produced significant improvements in switching speed, subthreshold swing, and among the highest on-current for printed transistors. These devices evinced superlative stability over 6 months, after which they are shown to be controllably decomposed for complete recycling of materials and re-printing of devices with similar performance to baseline devices. The printing of all-carbon, recyclable electronics presents a new path toward green electronics with potential to mitigate the environmental impact of electronic waste. We anticipate all-carbon, recyclable electronics to be a watershed, facilitating internet-of-everything applications, such as ubiquitous sensors for continuous monitoring of diseases or environmental conditions, while preserving carbon neutrality in the device lifecycle.


title: Improving Maximal Safe Brain Tumor Resection with Photoacoustic Remote Sensing Microscopy

abstract: Malignant brain tumors are among the deadliest neoplasms with the lowest survival rates of any cancer type. In considering surgical tumor resection, suboptimal extent of resection is linked to poor clinical outcomes and lower overall survival rates. Currently available tools for intraoperative histopathological assessment require an average of 20 minutes processing and are of limited diagnostic quality for guiding surgeries. Consequently, there is an unaddressed need for a rapid imaging technique to guide maximal resection of brain tumors. Working towards this goal, presented here is an all optical non-contact label-free reflection mode photoacoustic remote sensing (PARS) microscope. By using a tunable excitation laser, PARS takes advantage of the endogenous optical absorption peaks of DNA and cytoplasm to achieve virtual contrast analogous to standard hematoxylin and eosin (H and E) staining. In conjunction, a fast 266 nm excitation is used to generate large grossing scans and rapidly assess small fields in real-time with hematoxylin-like contrast. Images obtained using this technique show comparable quality and contrast to the current standard for histopathological assessment of brain tissues. Using the proposed method, rapid, high-throughput, histological-like imaging was achieved in unstained brain tissues, indicating PARS utility for intraoperative guidance to improve extent of surgical resection.


title: Electronic properties of Bi$_{2}$Se$_{3}$ dopped by $3d$ transition metal (Mn, Fe, Co, or Ni) ions

abstract: Topological insulators are characterized by the existence of band inversion and the possibility of the realization of surface states. Doping with a magnetic atom, which is a source of the time-reversal symmetry breaking, can lead to realization of novel magneto-electronic properties of the system. In this paper, we study effects of substitution by the transition metal ions (Mn, Fe, Co and Ni) into Bi$_{2}$Se$_{3}$ on its electric properties. Using the ab inito supercell technique, we investigate the density of states and the projected band structure. Under such substitution the shift of the Fermi level is observed. We find the existence of nearly dispersionless bands around the Fermi level associated with substituted atoms, especially, in the case of the Co and Ni. Additionally, we discuss the modification of the electron localization function as well as charge and spin redistribution in the system. Our study shows a strong influence of the transition metal--Se bond on local modifications of the physical properties. The results are also discussed in the context of the interplay between energy levels of the magnetic impurities and topological surface states.


title: Designing AI Learning Experiences for K-12: Emerging Works, Future Opportunities and a Design Framework

abstract: Artificial intelligence (AI) literacy is a rapidly growing research area and a critical addition to K-12 education. However, support for designing tools and curriculum to teach K-12 AI literacy is still limited. There is a need for additional interdisciplinary human-computer interaction and education research investigating (1) how general AI literacy is currently implemented in learning experiences and (2) what additional guidelines are required to teach AI literacy in specifically K-12 learning contexts. In this paper, we analyze a collection of K-12 AI and education literature to show how core competencies of AI literacy are applied successfully and organize them into an educator-friendly chart to enable educators to efficiently find appropriate resources for their classrooms. We also identify future opportunities and K-12 specific design guidelines, which we synthesized into a conceptual framework to support researchers, designers, and educators in creating K-12 AI learning experiences.


title: An Empirical Study on Neural Keyphrase Generation

abstract: Recent years have seen a flourishing of neural keyphrase generation (KPG) works, including the release of several large-scale datasets and a host of new models to tackle them. Model performance on KPG tasks has increased significantly with evolving deep learning research. However, there lacks a comprehensive comparison among different model designs, and a thorough investigation on related factors that may affect a KPG system's generalization performance. In this empirical study, we aim to fill this gap by providing extensive experimental results and analyzing the most crucial factors impacting the generalizability of KPG models. We hope this study can help clarify some of the uncertainties surrounding the KPG task and facilitate future research on this topic.


title: REPORT: Investigation on Curvilinear Anisotropy via Isogeometric Analysis (IGA)

abstract: The advent of multi-material additive manufacturing and automated composite manufacturing has enabled the design of structures featuring complex curvilinear anisotropy. To take advantage of the new design space, efficient computational approaches are quintessential. In this study, we explored a new NURBS-based Isogeometric Analysis (IGA) framework for the simulation of curvilinear fiber composites and we compared it to standard Finite Element Analysis (FEA). A plate featuring a semi-circular notch under tensile loading with different fiber configurations served as a case study. We showed that, thanks to the exact geometric representation and the enriched continuity between elements, NURBS-based IGA outperforms classical FEA in terms of computational efficiency, time-consumption, and estimation quality of field variables for same number of degrees-of-freedom. To further demonstrate the use of the IGA framework, we performed optimization studies aimed at identifying the fiber paths minimizing stress concentration and Tsai-Wu failure index. The model showed that curvilinear anisotropy can be effectively harnessed to reduce the stress concentration of up to 82 % compared to unidirectional composites without affecting the overall plate stiffness significantly.


title: Event Reconstruction in a Liquid Xenon Time Projection Chamber with an Optically-Open Field Cage

abstract: nEXO is a proposed tonne-scale neutrinoless double beta decay ($0\nu\beta\beta$) experiment using liquid ${}^{136}Xe$ (LXe) in a Time Projection Chamber (TPC) to read out ionization and scintillation signals. Between the field cage and the LXe vessel, a layer of LXe ("skin" LXe) is present, where no ionization signal is collected. Only scintillation photons are detected, owing to the lack of optical barrier around the field cage. In this work, we show that the light originating in the skin LXe region can be used to improve background discrimination by 5% over previous published estimates. This improvement comes from two elements. First, a fraction of the $\gamma$-ray background is removed by identifying light from interactions with an energy deposition in the skin LXe. Second, background from ${}^{222}Rn$ dissolved in the skin LXe can be efficiently rejected by tagging the $\alpha$ decay in the ${}^{214}Bi-{}^{214}Po$ chain in the skin LXe.


title: Hundreds of new periodic signals detected in the first year of $\it{TESS}$ with the ${\tt weirddetector}$

abstract: We apply the ${\tt weirddetector}$, a nonparametric signal detection algorithm based on phase dispersion minimization, in a search for low duty-cycle periodic signals in the Transiting Exoplanet Survey Satellite (${\it TESS}$) photometry. Our approach, in contrast to commonly used model-based approaches specifically for flagging transits, eclipsing binaries, or other similarly periodic events, makes minimal assumptions about the shape of a periodic signal, with the goal of finding "weird" signals of unexpected or arbitrary shape. In total, 248,301 ${\it TESS}$ sources from the first-year Southern sky survey are run through the ${\tt weirddetector}$, of which we manually inspect the top 21,500 for periodicity. To minimize false-positives, we here only report on the upper decile in terms of signal score, a sample for which we obtain 97% recall of ${\it TESS}$ eclipsing binaries and 62% of the TOIs. In our sample, we find 377 previously unreported periodic signals, for which we make a first-pass assignment that 26 are ultra-short periods ($<0.3$ d), 313 are likely eclipsing binaries, 28 appear planet-like, and 10 are miscellaneous signals.


title: Scalable Adversarial Attack on Graph Neural Networks with Alternating Direction Method of Multipliers

abstract: Graph neural networks (GNNs) have achieved high performance in analyzing graph-structured data and have been widely deployed in safety-critical areas, such as finance and autonomous driving. However, only a few works have explored GNNs' robustness to adversarial attacks, and their designs are usually limited by the scale of input datasets (i.e., focusing on small graphs with only thousands of nodes). In this work, we propose, SAG, the first scalable adversarial attack method with Alternating Direction Method of Multipliers (ADMM). We first decouple the large-scale graph into several smaller graph partitions and cast the original problem into several subproblems. Then, we propose to solve these subproblems using projected gradient descent on both the graph topology and the node features that lead to considerably lower memory consumption compared to the conventional attack methods. Rigorous experiments further demonstrate that SAG can significantly reduce the computation and memory overhead compared with the state-of-the-art approach, making SAG applicable towards graphs with large size of nodes and edges.


title: Standard and inverse site percolation of straight rigid rods on triangular lattices: Isotropic and nematic deposition/removal

abstract: Numerical simulations and finite-size scaling analysis have been carried out to study standard and inverse percolation of straight rigid rods on triangular lattices. In the case of standard (inverse) percolation, the lattice is initially empty(occupied) and linear $k$-mers ($k$ linear consecutive sites) are randomly and sequentially deposited on(removed from) the lattice, considering an isotropic and nematic scheme. The study is conducted by following the behavior of four critical concentrations with the size $k$, determined for a wide range of $k$ : $(i)$[$(ii)$] standard isotropic[nematic] percolation threshold $\theta_{c,k}$[$\vartheta_{c,k}$], and $(iii)$[$(iv)$] inverse isotropic[nematic] percolation threshold $\theta^i_{c,k}$[$\vartheta^i_{c,k}$]. The obtained results indicate that: $(1)$ $\theta_{c,k}$[$\theta^i_{c,k}$] exhibits a non-monotonous dependence with $k$. It decreases[increases], goes through a minimum[maximum] around $k = 11$, then increases and asymptotically converges towards a definite value for large $k$ $\theta_{c,k \rightarrow \infty}=0.500(2)$[$\theta^i_{c,k \rightarrow \infty}=0.500(1)$]; $(2)$ $\vartheta_{c,k}$[$\vartheta^i_{c,k}$] rapidly increases[decreases] and asymptotically converges towards a definite value for infinitely long $k$-mers $\vartheta_{c,k \rightarrow \infty}=0.5334(6)$[$\vartheta^i_{c,k \rightarrow \infty}=0.4666(6)$]; $(3)$ for both models, the curves of standard and inverse percolation thresholds are symmetric with respect to $\theta = 0.5$. Thus, a complementary property is found $\theta_{c,k} + \theta^i_{c,k} = 1$ (and $\vartheta_{c,k} + \vartheta^i_{c,k} = 1$), which has not been observed in other regular lattices. This condition is analytically validated by using exact enumeration of configurations for small systems; and $(4)$ in all cases, the model presents percolation transition for the whole range of $k$.


title: Uncertainty-aware Attention Graph Neural Network for Defending Adversarial Attacks

abstract: With the increasing popularity of graph-based learning, graph neural networks (GNNs) emerge as the essential tool for gaining insights from graphs. However, unlike the conventional CNNs that have been extensively explored and exhaustively tested, people are still worrying about the GNNs' robustness under the critical settings, such as financial services. The main reason is that existing GNNs usually serve as a black-box in predicting and do not provide the uncertainty on the predictions. On the other side, the recent advancement of Bayesian deep learning on CNNs has demonstrated its success of quantifying and explaining such uncertainties to fortify CNN models. Motivated by these observations, we propose UAG, the first systematic solution to defend adversarial attacks on GNNs through identifying and exploiting hierarchical uncertainties in GNNs. UAG develops a Bayesian Uncertainty Technique (BUT) to explicitly capture uncertainties in GNNs and further employs an Uncertainty-aware Attention Technique (UAT) to defend adversarial attacks on GNNs. Intensive experiments show that our proposed defense approach outperforms the state-of-the-art solutions by a significant margin.


title: Splitting a Hybrid ASP Program

abstract: Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set Programming (ASP) that allows ASP-like rules to interact with outside sources. The Splitting Set Theorem is an important and extensively used result for ASP. The paper introduces the Splitting Set Theorem for Hybrid ASP, which is for Hybrid ASP the equivalent of the Splitting Set Theorem, and shows how it can be applied to simplify computing answer sets for Hybrid ASP programs most relevant for practical applications.


title: Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

abstract: We investigate the use of Answer Set Programming to solve variations of gossip problems, by modeling them as epistemic planning problems.


title: Justifications for Goal-Directed Constraint Answer Set Programming

abstract: Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable terms the advice given. Answer Set Programming has a rich semantics that makes it possible to very concisely express complex knowledge. However, justifying why an answer is a consequence from an ASP program may be non-trivial -- even more so when the user is an expert in a given domain, but not necessarily knowledgeable in ASP. Most ASP systems generate answers using SAT-solving procedures on ground rules that do not match how humans perceive reasoning. We propose using s(CASP), a query-driven, top-down execution model for predicate ASP with constraints to generate justification trees of (constrained) answer sets. The operational semantics of s(CASP) relies on backward chaining, which is intuitive to follow and lends itself to generating explanations that are easier to translate into natural language. We show how s(CASP) provides minimal justifications for, among others, relevant examples proposed in the literature, both as search trees but, more importantly, as explanations in natural language. We validate our design with real ASP applications and evaluate the cost of generating s(CASP) justification trees.


title: SQuARE: Semantics-based Question Answering and Reasoning Engine

abstract: Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) and from its early days, it has received significant attention through question answering (QA) tasks. We introduce a general semantics-based framework for natural language QA and also describe the SQuARE system, an application of this framework. The framework is based on the denotational semantics approach widely used in programming language research. In our framework, valuation function maps syntax tree of the text to its commonsense meaning represented using basic knowledge primitives (the semantic algebra) coded using answer set programming (ASP). We illustrate an application of this framework by using VerbNet primitives as our semantic algebra and a novel algorithm based on partial tree matching that generates an answer set program that represents the knowledge in the text. A question posed against that text is converted into an ASP query using the same framework and executed using the s(CASP) goal-directed ASP system. Our approach is based purely on (commonsense) reasoning. SQuARE achieves 100% accuracy on all the five datasets of bAbI QA tasks that we have tested. The significance of our work is that, unlike other machine learning based approaches, ours is based on "understanding" the text and does not require any training. SQuARE can also generate an explanation for an answer while maintaining high accuracy.


title: Automated Aggregator -- Rewriting with the Counting Aggregate

abstract: Answer set programming is a leading declarative constraint programming paradigm with wide use for complex knowledge-intensive applications. Modern answer set programming languages support many equivalent ways to model constraints and specifications in a program. However, so far answer set programming has failed to develop systematic methodologies for building representations that would uniformly lend well to automated processing. This suggests that encoding selection, in the same way as algorithm selection and portfolio solving, may be a viable direction for improving performance of answer-set solving. The necessary precondition is automating the process of generating possible alternative encodings. Here we present an automated rewriting system, the Automated Aggregator or AAgg, that given a non-ground logic program, produces a family of equivalent programs with complementary performance when run under modern answer set programming solvers. We demonstrate this behavior through experimental analysis and propose the system's use in automated answer set programming solver selection tools.


title: Deriving Theorems in Implicational Linear Logic, Declaratively

abstract: The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for linearity the proof terms associated by our Prolog-based theorem prover for Implicational Intuitionistic Logic. This works, but using for each formula a PSPACE-complete algorithm limits it to very small formulas. We take a few walks back and forth over the bridge between proof terms and theorems, provided by the Curry-Howard isomorphism, and derive step-by-step an efficient algorithm requiring a low polynomial effort per generated theorem. The resulting Prolog program runs in O(N) space for terms of size N and generates in a few hours 7,566,084,686 theorems in the implicational fragment of Linear Intuitionistic Logic together with their proof terms in normal form. As applications, we generate datasets for correctness and scalability testing of linear logic theorem provers and training data for neural networks working on theorem proving challenges. The results in the paper, organized as a literate Prolog program, are fully replicable. Keywords: combinatorial generation of provable formulas of a given size, intuitionistic and linear logic theorem provers, theorems of the implicational fragment of propositional linear intuitionistic logic, Curry-Howard isomorphism, efficient generation of linear lambda terms in normal form, Prolog programs for lambda term generation and theorem proving.


title: A System for Explainable Answer Set Programming

abstract: We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of xclingo is a markup language written as ASP comment lines, so the programs annotated in this way can still be accepted by a standard ASP solver. xclingo translates the annotations into additional predicates and rules and uses the ASP solver clingo to obtain the extension of those auxiliary predicates. This information is used afterwards to construct derivation trees containing textual explanations. The language allows selecting which atoms to explain and, in its turn, which atoms or rules to include in those explanations. We illustrate the basic features through a diagnosis problem from the literature.


title: Tabling Optimization for Contextual Abduction

abstract: Tabling for contextual abduction in logic programming has been introduced as a means to store previously obtained abductive solutions in one context to be reused in another context. This paper identifies a number of issues in the existing implementations of tabling in contextual abduction and aims to mitigate the issues. We propose a new program transformation for integrity constraints to deal with their proper application for filtering solutions while also reducing the table memory usage. We further optimize the table memory usage by selectively picking predicates to table and by pragmatically simplifying the representation of the problem. The evaluation of our proposed approach, on both artificial and real world problems, shows that they improve the scalability of tabled abduction compared to previous implementations.


title: Burden of Persuasion in Argumentation

abstract: This paper provides a formal model for the burden of persuasion in dialogues, and in particular, in legal proceedings. The model shows how an allocation of the burden of persuasion may induce single outcomes in dialectical contexts in which, without such an allocation, the status of conflicting arguments would remain undecided. Our approach is based on a two-stage labelling. The first-stage labelling determines what arguments are accepted, rejected or undecided, regardless of the allocation of burden. The second-stage labelling revises the dialectical status of first-stage undecided arguments, according to burdens of persuasion. The labelling is finally extended in such a way as to obtain a complete labelling. Our model combines two ideas that have emerged in the debate on the burden of persuasion: the idea that the burden of persuasion determines the solution of conflicts between arguments, and the idea that its satisfaction depends on the dialectical status of the arguments concerned. Our approach also addresses inversions of the burden of persuasion, namely, cases in which the burden of persuasion over an argument does not extend to its subarguments.


title: Continuous Reasoning for Managing Next-Gen Distributed Applications

abstract: Continuous reasoning has proven effective in incrementally analysing changes in application codebases within Continuous Integration/Continuous Deployment (CI/CD) software release pipelines. In this article, we present a novel declarative continuous reasoning approach to support the management of multi-service applications over the Cloud-IoT continuum, in particular when infrastructure variations impede meeting application's hardware, software, IoT or network QoS requirements. We show how such an approach brings considerable speed-ups compared to non-incremental reasoning.


title: Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

abstract: Paraconsistent logics constitute an important class of formalisms dealing with non-trivial reasoning from inconsistent premisses. In this paper, we introduce uniform axiomatisations for a family of nonmonotonic paraconsistent logics based on minimal inconsistency in terms of sequent-type proof systems. The latter are prominent and widely-used forms of calculi well-suited for analysing proof search. In particular, we provide sequent-type calculi for Priest's three-valued minimally inconsistent logic of paradox, and for four-valued paraconsistent inference relations due to Arieli and Avron. Our calculi follow the sequent method first introduced in the context of nonmonotonic reasoning by Bonatti and Olivetti, whose distinguishing feature is the use of a so-called rejection calculus for axiomatising invalid formulas. In fact, we present a general method to obtain sequent systems for any many-valued logic based on minimal inconsistency, yielding the calculi for the logics of Priest and of Arieli and Avron as special instances.


title: Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

abstract: Algebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between linear algebraic computation and symbolic computation in order to perform logical inference in large scale knowledge bases. This paper proposes further improvement by using sparse matrices to embed logic programs in vector spaces. We show its great power of computation in reaching the fixpoint of the immediate consequence operator from the initial vector. In particular, performance for computing the least models of definite programs is dramatically improved in this way. We also apply the method to the computation of stable models of normal programs, in which the guesses are associated with initial matrices, and verify its effect when there are small numbers of negation. These results show good enhancement in terms of performance for computing consequences of programs and depict the potential power of tensorized logic programs.


title: LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

abstract: Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving. While these solvers have shown to be very successful in many practical applications, their strength is limited by their underlying proof system, resolution. In this paper, we present a new tool LP2PB that translates ASP programs into pseudo-Boolean theories, for which solvers based on the (stronger) cutting plane proof system exist. We evaluate our tool, and the potential of cutting-plane-based solving for ASP on traditional ASP benchmarks as well as benchmarks from pseudo-Boolean solving. Our results are mixed: overall, traditional ASP solvers still outperform our translational approach, but several benchmark families are identified where the balance shifts the other way, thereby suggesting that further investigation into a stronger proof system for ASP is valuable.


title: Dynamic Multi-Agent Path Finding based on Conflict Resolution using Answer Set Programming

abstract: We study a dynamic version of multi-agent path finding problem (called D-MAPF) where existing agents may leave and new agents may join the team at different times. We introduce a new method to solve D-MAPF based on conflict-resolution. The idea is, when a set of new agents joins the team and there are conflicts, instead of replanning for the whole team, to replan only for a minimal subset of agents whose plans conflict with each other. We utilize answer set programming as part of our method for planning, replanning and identifying minimal set of conflicts.


title: An application of Answer Set Programming in Distributed Architectures: ASP Microservices

abstract: We propose an approach to the definition of microservices with an Answer Set Programming (ASP) `core', where microservices are a successful abstraction for designing distributed applications as suites of independently deployable interacting components. Such ASP-based components might be employed in distributed architectures related to Cloud Computing or to the Internet of Things (IoT).


title: Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns

abstract: The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on architectural solutions, called safety patterns, such as safety monitors, voters, and watchdogs. The goal of these patterns is to control (identified) faults that can trigger hazards. Safety patterns can control such faults by e.g., increasing the redundancy of the system. Currently, the reasoning of which pattern to use at which part of the target system to control which hazard is documented mostly in textual form or by means of models, such as GSN-models, with limited support for automation. This paper proposes the use of logic programming engines for the automated reasoning about system safety. We propose a domain-specific language for embedded system safety and specify as disjunctive logic programs reasoning principles used by safety engineers to deploy safety patterns, e.g., when to use safety monitors, or watchdogs. Our machinery enables two types of automated safety reasoning: (1) identification of which hazards can be controlled and which ones cannot be controlled by the existing safety patterns; and (2) automated recommendation of which patterns could be used at which place of the system to control potential hazards. Finally, we apply our machinery to two examples taken from the automotive domain: an adaptive cruise control system and a battery management system.


title: A Machine Learning guided Rewriting Approach for ASP Logic Programs

abstract: Answer Set Programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some advanced expertise is required, in general, for designing an ASP encoding that can be efficiently evaluated by an actual ASP system. A common way for trying to reduce the burden of manually tweaking an ASP program consists in automatically rewriting the input encoding according to suitable techniques, for producing alternative, yet semantically equivalent, ASP programs. However, rewriting does not always grant benefits in terms of performance; hence, proper means are needed for predicting their effects with this respect. In this paper we describe an approach based on Machine Learning (ML) to automatically decide whether to rewrite. In particular, given an ASP program and a set of input facts, our approach chooses whether and how to rewrite input rules based on a set of features measuring their structural properties and domain information. To this end, a Multilayer Perceptrons model has then been trained to guide the ASP grounder I-DLV on rewriting input rules. We report and discuss the results of an experimental evaluation over a prototypical implementation.


title: Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information

abstract: Problems affecting the transport of people or goods are plentiful in industry and commerce and they also appear to be at the origin of much more complex problems. In recent years, the logistics and transport sector keeps growing supported by technological progress, i.e. companies to be competitive are resorting to innovative technologies aimed at efficiency and effectiveness. This is why companies are increasingly using technologies such as Artificial Intelligence (AI), Blockchain and Internet of Things (IoT). Artificial intelligence, in particular, is often used to solve optimization problems in order to provide users with the most efficient ways to exploit available resources. In this work we present an overview of our current research activities concerning the development of new algorithms, based on CLP techniques, for route planning problems exploiting the geometric information intrinsically present in many of them or in some of their variants. The research so far has focused in particular on the Euclidean Traveling Salesperson Problem (Euclidean TSP) with the aim to exploit the results obtained also to other problems of the same category, such as the Euclidean Vehicle Routing Problem (Euclidean VRP), in the future.


title: Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions

abstract: In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional-logic programming language Curry. Our goal is the synthesis of the inverse of any given function in Curry itself. The setting of a functional-logic language especially allows the inversion of non-injective functions. In general, inverse computation is a non-trivial problem in lazy programming languages due to their non-strict semantics. We are so far able to directly derive the inverse function for a limited class of functions, namely those consisting of rules that do not involve both extra variables and non-linear right-hand sides. Because the synthesized definitions are based on standard code, known optimizations techniques can be applied to them. For all other functions we can still provide an inverse function by using non-strict unification.


title: A Low-Level Index for Distributed Logic Programming

abstract: A distributed logic programming language with support for meta-programming and stream processing offers a variety of interesting research problems, such as: How can a versatile and stable data structure for the indexing of a large number of expressions be implemented with simple low-level data structures? Can low-level programming help to reduce the number of occur checks in Robinson's unification algorithm? This article gives the answers.


title: Extending Answer Set Programs with Neural Networks

abstract: The integration of low-level perception with high-level reasoning is one of the oldest problems in Artificial Intelligence. Recently, several proposals were made to implement the reasoning process in complex neural network architectures. While these works aim at extending neural networks with the capability of reasoning, a natural question that we consider is: can we extend answer set programs with neural networks to allow complex and high-level reasoning on neural network outputs? As a preliminary result, we propose NeurASP -- a simple extension of answer set programs by embracing neural networks where neural network outputs are treated as probability distributions over atomic facts in answer set programs. We show that NeurASP can not only improve the perception accuracy of a pre-trained neural network, but also help to train a neural network better by giving restrictions through logic rules. However, training with NeurASP would take much more time than pure neural network training due to the internal use of a symbolic reasoning engine. For future work, we plan to investigate the potential ways to solve the scalability issue of NeurASP. One potential way is to embed logic programs directly in neural networks. On this route, we plan to first design a SAT solver using neural networks, then extend such a solver to allow logic programs.


title: Ab-initio no-core shell model study of $^{10-14}$B isotopes with realistic NN interactions

abstract: We report a comprehensive study of $^{10-14}$B isotopes within the \textit{ab-initio} no-core shell model (NCSM) using realistic nucleon-nucleon (\textit{NN}) interactions. In particular, we have applied the inside non-local outside Yukawa (INOY) interaction to study energy spectra, electromagnetic properties and point-proton radii of the boron isotopes. The NCSM results with the charge-dependent Bonn 2000 (CDB2K), the chiral next-to-next-to-next-to-leading order (N$^3$LO) and optimized next-to-next-to-leading order (N$^2$LO$_{opt}$) interactions are also reported. We have reached basis sizes up to $N_{\mbox{max}}$ = 10 for $^{10}$B, $N_{\mbox{max}}$ = 8 for $^{11,12,13}$B and $N_{\mbox{max}}$ = 6 for $^{14}$B with m-scheme dimensions up to 1.7 billion. We also compare the NCSM calculations with the phenomenological YSOX interaction using the shell model to test the predictive power of the \textit{ab-initio} nuclear theory. Overall, our NCSM results are consistent with the available experimental data. The experimental ground state spin $3^{+}$ of $^{10}$B has been reproduced using the INOY \textit{NN} interaction. Typically, the 3\textit{N} interaction is required to correctly reproduce the aforementioned state.


title: On Spectral Peak Energy of Swift Gamma-Ray Bursts

abstract: Owing to narrow energy band of \textit{Swift}/BAT, several urgent issues are required to pay more attentions but unsolved so far. We systematically study the properties of a refined sample of 283 \textit{Swift}/BAT gamma-ray bursts with well-measured spectral peak energy ($E_{\text p}$) at a high confidence level larger than 3$\sigma$. It is interestingly found that duration ($T_{90}$) distribution of \textit{Swift} bursts still exhibits an evident bimodality with a more reliable boundary of $T_{90}\simeq$1.06 s instead of 2 s for previously contaminated samples including bursts without well-peaked spectra, which is very close to $\sim$1.27 s and $\sim$0.8 s suggested by some authors for Fermi/GBM and \textit{Swift}/BAT catalogs, respectively. The \textit{Swift}/BAT short and long bursts have comparable mean $E_{\text p}$ values of $87^{+112}_{-49}$ and $85^{+101}_{-46}$ keV in each, similar to what found for both types of BATSE bursts, which manifests the traditional short-hard/long-soft scheme may not be tenable for the certain energy window of a detector. In statistics, we also investigate the consistency of distinct methods for the $E_{\text p}$ estimates and find that Bayesian approach and BAND function can always give consistent evaluations. In contrast, the frequently-used cut-off power-law model matches two other methods for lower $E_{\text p}$ and will overestimate the $E_{\text p}$ more than 70\% as $E_{\text p}>$100 keV. Peak energies of X-ray flashes, X-ray rich bursts and classical gamma-ray bursts could have an evolutionary consequence from thermal-dominated to non-thermal-dominated radiation mechanisms. Finally, we find that the $E_{\text p}$ and the observed fluence ($S_{\gamma}$) in the observer frame are correlated as $E_p\simeq [S_{\gamma}/(10^{-5} erg\ cm^{-2})]^{0.28}\times 117.5^{+44.7}_{-32.4}$ keV proposed to be an useful indicator of GRB peak energies.


title: ALICE: Active Learning with Contrastive Natural Language Explanations

abstract: Training a supervised neural network classifier typically requires many annotated training samples. Collecting and annotating a large number of data points are costly and sometimes even infeasible. Traditional annotation process uses a low-bandwidth human-machine communication interface: classification labels, each of which only provides several bits of information. We propose Active Learning with Contrastive Explanations (ALICE), an expert-in-the-loop training framework that utilizes contrastive natural language explanations to improve data efficiency in learning. ALICE learns to first use active learning to select the most informative pairs of label classes to elicit contrastive natural language explanations from experts. Then it extracts knowledge from these explanations using a semantic parser. Finally, it incorporates the extracted knowledge through dynamically changing the learning model's structure. We applied ALICE in two visual recognition tasks, bird species classification and social relationship classification. We found by incorporating contrastive explanations, our models outperform baseline models that are trained with 40-100% more training data. We found that adding 1 explanation leads to similar performance gain as adding 13-30 labeled training data points.


title: Fail-Safe Controller Architectures for Quadcopter with Motor Failures

abstract: A fail-safe algorithm in case of motor failure was developed, simulated, and tested. For practical fail-safe flight, the quadcopter may fly with only three or two opposing propellers. Altitude for two-propeller architecture was maintained by a PID controller that is independent from the inner and outer controllers. A PID controller on propeller force deviations from equilibrium was augmented to the inner controller of the three-propeller architecture. Both architectures used LQR for the inner attitude controller and a damped second order outer controller that zeroes the error along the horizontal coordinates. The restrictiveness, stability, robustness, and symmetry of these architectures were investigated with respect to their output limits, initial conditions, and controller frequencies. Although the three-propeller architecture allows for distribution of propeller forces, the two-propeller architecture is more efficient, robust, and stable. The two-propeller architecture is also robust to model uncertainties. It was shown that higher yaw rate leads to greater stability when operating in fail-safe mode.