title: Products of unbounded Bloch functions

abstract: We give new constructions of pair of functions $(f, g)$, analytic in the unit disc, with $g\in H^\infty $ and $f$ an unbounded Bloch function, such that the product $g\cdot f$ is not a Bloch function.


title: Accurate and Scalable Version Identification Using Musically-Motivated Embeddings

abstract: The version identification (VI) task deals with the automatic detection of recordings that correspond to the same underlying musical piece. Despite many efforts, VI is still an open problem, with much room for improvement, specially with regard to combining accuracy and scalability. In this paper, we present MOVE, a musically-motivated method for accurate and scalable version identification. MOVE achieves state-of-the-art performance on two publicly-available benchmark sets by learning scalable embeddings in an Euclidean distance space, using a triplet loss and a hard triplet mining strategy. It improves over previous work by employing an alternative input representation, and introducing a novel technique for temporal content summarization, a standardized latent space, and a data augmentation strategy specifically designed for VI. In addition to the main results, we perform an ablation study to highlight the importance of our design choices, and study the relation between embedding dimensionality and model performance.


title: Moderately Discontinuous Homology

abstract: We introduce a new metric homology theory, Moderately Discontinuous Homology, which captures Lipschitz properties of metric subanalytic germs. The main novelty is to allow "moderately discontinuous" chains, which are specially advantageous for capturing the subtleties of the outer metric phenomena. Our invariant is a finitely generated graded abelian group $MDH^b_\bullet$ for any $b\in [1,\infty]$ and homomorphisms $MDH^b_\bullet\to MDH^{b'}_\bullet$ for any $b\geq b'$. Here $b$ is a "discontinuity rate". The homology groups for the inner or outer metric are proved to be finitely generated and that only finitely many homomorphisms $MDH^b_\bullet\to MDH^{b'}_\bullet$ are essential. For $b=1$ it recovers the homology of the tangent cone for the outer metric and of the Gromov tangent cone for the inner one. In general, for $b=\infty$ the $MD$- homology recovers the homology of the punctured germ. Hence, our invariant interpolates from the germ to its tangent cone. Our homology theory is a bi-Lipschitz subanalitic invariant, is invariant by suitable metric homotopies, and satisfies versions of the relative and Mayer-Vietoris long exact sequences. Moreover, fixed a discontinuity rate $b$ we show that it is functorial for a class of discontinuous Lipschitz maps, whose discontinuities are $b$-moderated; this makes the theory quite flexible. In the complex analytic setting we introduce an enhancement called Framed MD Homology, which takes into account information from fundamental classes. As applications we prove that Moderately Discontinuous Homology characterizes smooth germs among all complex analytic germs, recovers the number of irreducible components of complex analytic germs and the embedded topological type of plane branches. Framed MD Homology recovers the topological type of any plane curve singularity and relative multiplicities of complex analytic germs.


title: Pion exchange interaction in the $\gamma p \to p e^+e^-$ reaction

abstract: The $\rho^0-\omega$ interference has been studied in the dilepton invariant mass distribution spectra in the photonuclear reaction, but that is not done for the gamma-nucleon reaction. Recent past, the $e^+e^-$ invariant mass distribution spectrum in the $\gamma p$ reaction, i.e., $\gamma p \to pe^+e^-$ reaction, was measured at Jefferson Laboratory to look for the $\rho^0 -\omega$ interference in the multi-GeV region. To study the mechanism of this reaction, the differential cross section of the $e^+e^-$ invariant mass distribution is calculated in the quoted energy region. The reaction is assumed to proceed as $\gamma p \to Vp$; $V \to e^+e^-$, where $V$ denotes a vector meson, i.e., either $\rho^0$ or $\omega$ meson. The photoproduction of the vector meson is described by the Vector Meson Dominance (VMD) model which consists of diagonal and off-diagonal processes. The diagonal process is described as $\gamma \to V; ~Vp \to Vp$. The low energy $\omega$ meson photoproduction data is well described by the off-diagonal process which is illustrated as $\gamma \to \rho^0; ~\rho^0 p \to \omega p$. The reaction $\rho^0p \to \omega p$ proceeds due to one pion exchange interaction. The differential cross sections of the $\gamma p \to pe^+e^-$ reaction due to the above processes of VMD model are compared, and the significance of the pion exchange interaction is investigated in the energy region of $\gamma$ beam available at Jefferson Laboratory.


title: Exploring Kernel Functions in the Softmax Layer for Contextual Word Classification

abstract: Prominently used in support vector machines and logistic regressions, kernel functions (kernels) can implicitly map data points into high dimensional spaces and make it easier to learn complex decision boundaries. In this work, by replacing the inner product function in the softmax layer, we explore the use of kernels for contextual word classification. In order to compare the individual kernels, experiments are conducted on standard language modeling and machine translation tasks. We observe a wide range of performances across different kernel settings. Extending the results, we look at the gradient properties, investigate various mixture strategies and examine the disambiguation abilities.


title: Turbulence induces clustering and segregation of non-motile, buoyancy-regulating phytoplankton

abstract: Turbulence plays a major role in shaping marine community structure as it affects organism dispersal and guides fundamental ecological interactions. Below oceanographic mesoscale dynamics, turbulence also impinges on subtle physical-biological coupling at the single cell level, setting a sea of chemical gradients and determining microbial interactions with profound effects on scales much larger than the organisms themselves. It has been only recently that we have started to disentangle details of this coupling for swimming microorganisms. However, for non-motile species, which comprise some of the most abundant phytoplankton groups on Earth, a similar level of mechanistic understanding is still missing. Here, we explore by means of extensive numerical simulations the interplay between buoyancy regulation in non-motile phytoplankton and cellular responses to turbulent mechanical cues. Using a minimal mechano-response model, we show how such a mechanism would contribute to spatial heterogeneity and affect vertical fluxes and trigger community segregation.


title: A note on inhomogeneous percolation on ladder graphs

abstract: Let $\mathbb{G}=\left(\mathbb{V},\mathbb{E}\right)$ be the graph obtained by taking the cartesian product of an infinite and connected graph $G=(V,E)$ and the set of integers $\mathbb{Z}$. We choose a collection $\mathcal{C}$ of finite connected subgraphs of $G$ and consider a model of Bernoulli bond percolation on $\mathbb{G}$ which assigns probability $q$ of being open to each edge whose projection onto $G$ lies in some subgraph of $\mathcal{C}$ and probability $p$ to every other edge. We show that the critical percolation threshold $p_{c}\left(q\right)$ is a continuous function in $\left(0,1\right)$, provided that the graphs in $\mathcal{C}$ are "well-spaced" in $G$ and their vertex sets have uniformly bounded cardinality. This generalizes a recent result due to Szab\'o and Valesin.


title: Chromospheric emission of solar-type stars with asteroseismic ages

abstract: Stellar magnetic activity decays over the main-sequence life of cool stars due to the stellar spin-down driven by magnetic braking. The evolution of chromospheric emission is well-studied for younger stars, but difficulties in determining the ages of older cool stars on the main sequence have complicated such studies for older stars in the past. Here we report on chromospheric Ca II H and K line measurements for 26 main-sequence cool stars with asteroseismic ages older than a gigayear and spectral types F and G. We find that for the G stars and the cooler F-type stars which still have convective envelopes the magnetic activity continues to decrease at stellar ages above one gigayear. Our magnetic activity measurements do not show evidence for a stalling of the magnetic braking mechanism, which has been reported for stellar rotation versus age for G and F type stars. We also find that the measured R'HK indicator value for the cool F stars in our sample is lower than predicted by common age-activity relations that are mainly calibrated on data from young stellar clusters. We conclude that, within individual spectral type bins, chromospheric magnetic activity correlates well with stellar age even for old stars.


title: Magnetic Microphase Inhomogeneity as a Thermodynamic Precursor of Ground State Phase Separation in Weakly Coupled Spin-$\frac{3}{2}$ Chains

abstract: $\gamma$-CoV$_{2}$O$_{6}$ is a quasi one-dimensional spin-$\frac{3}{2}$ magnet that possesses two distinct magnetic orders in the ground state with modulation vectors $k_\mathrm{1}$ = ($\frac{1}{2}$, 0, 0) and $k_\mathrm{2}$ = ($\frac{1}{4}$, 0, -$\frac{1}{4}$), respectively. Here, we use muon spin relaxation and rotation to reveal the thermodynamics of the magnetic phase separation in this compound. In the paramagnetic (PM) region, short-range correlated spin clusters emerge at $T_\mathrm{m}$ $\simeq$ 26 K at the $\it{partial}$ expense of the PM volume. Upon further cooling, we show that these emergent clusters become spatially coherent at $T_\mathrm{{N2}}$ = 7.5 K and eventually form the $k_\mathrm{2}$ order at $T^{\star}$ = 5.6 K, while the remaining PM spins are driven into the $k_\mathrm{1}$ state at $T_\mathrm{{N1}}$ = 6.6 K. These results stress magnetic microphase inhomogeneity as a thermodynamic precursor for the ground state phase separation in weakly coupled spin-$\frac{3}{2}$ chains.


title: AttoSats: ChipSats, other Gram-Scale Spacecraft, and Beyond

abstract: The miniaturization of electronic and mechanical components has allowed for an unprecedented downscaling of spacecraft size and mass. Today, spacecraft with a mass between 1 to 10 grams, AttoSats, have been developed and operated in space. Due to their small size, they introduce a new paradigm in spacecraft design, relying on agile development, rapid iterations, and massive redundancy. However, no systematic survey of the potential advantages and unique mission concepts based on AttoSats exists. This paper explores the potential of AttoSats for future space missions. First, we present the state of the art of AttoSats. Next, we identify unique AttoSat characteristics and map them to future mission capabilities. Finally, we go beyond AttoSats and explore how smart dust and nano-scale spacecraft could allow for even smaller spacecraft in the milligram range: zepto- and yocto spacecraft.


title: Variants of $q$-hypergeometric equation

abstract: We introduce two variants of $q$-hypergeometric equation. We obtain several explicit solutions of variants of $q$-hypergeometric equation. We show that a variant of $q$-hypergeometric equation can be obtained by a restriction of $q$-Appell equation of two variables.


title: Reply to Comment on "A no-go result for the quantum damped harmonic oscillator"

abstract: In a recent paper, \cite{deguchi}, Deguchi and Fujiwara claim that our results in \cite{BGR} are wrong, and compute what they claim is the square integrable vacuum of their annihilation operators. In this brief note, we show that their vacuum is indeed not a vacuum, and we try to explain what is behind their mistake. We also consider a very simple example clarifying the core of the problem.


title: Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

abstract: We consider the problem of bounding mean first passage times for a class of continuous-time Markov chains that captures stochastic interactions between groups of identical agents. The quantitative analysis of such probabilistic population models is notoriously difficult since typically neither state-based numerical approaches nor methods based on stochastic sampling give efficient and accurate results. Here, we propose a technique that extends recently developed methods using semi-definite programming to determine bounds on mean first passage times. We further apply the technique to hybrid models and demonstrate its accuracy and efficiency for some examples from biology.


title: On The automorphism groups of $us$-Cayley graphs

abstract: Let $G$ be a finite abelian group written additively with identity $0$, and $\Omega$ be an inverse closed generating subset of $G$ such that $0\notin \Omega$. We say that $ \Omega $ has the property \lq\lq{}$us$\rq\rq{} (unique summation), whenever for every $0 \neq g\in G$ if there are $s_1,s_2,s_3, s_4 \in \Omega $ such that $s_1+s_2=g=s_3+s_4 $, then we have $\{s_1,s_2 \} = \{s_3,s_4 \}$. We say that a Cayley graph $\Gamma=Cay(G;\Omega)$ is a $us$-$Cayley\ graph$, whenever $G$ is an abelian group and the generating subset $\Omega$ has the property \lq\lq{}$us$\rq\rq{}. In this paper, we show that if $\Gamma=Cay(G;\Omega)$ is a $us$-$Cayley\ graph$, then $Aut(\Gamma)=L(G)\rtimes A$, where $L(G)$ is the left regular representation of $G$ and $A$ is the group of all automorphism groups $\theta$ of the group $G$ such that $\theta(\Omega)=\Omega$. Then, as some applications, we explicitly determine the automorphism groups of some classes of graphs including M\"{o}bius ladders and $k$-ary $n$-cubes.


title: On global dynamics of reaction--diffusion systems at resonance

abstract: In this paper we use the homotopy invariants methods to study the global dynamics of the reaction-diffusion systems that are at resonance at infinity. Considering degrees of the resonance for the nonlinear perturbation we establish Landesman-Lazer type conditions and use them to express the Rybakowski-Conley index of the invariant set consisting of all bounded solutions. Obtained results are applied to study the existence of solutions connecting stationary points for the system of nonlinear heat equations.


title: Constructing SU(N) fractional instantons

abstract: We study self-dual SU(N) gauge field configurations on the 4 torus with twisted boundary conditions, known as fractional instantons. Focusing on the minimum non-zero action case, we generalize the constant field strength solutions discovered by `t Hooft and valid for certain geometries. For the general case, we construct the vector potential and field strength in a power series expansion in a deformation parameter of the metric. The next to leading term is explicitly computed. The methodology is an extension of that used by the author for SU(2) fractional instantons and for vortices in two-dimensional Abelian Higgs models. Obviously, these solutions can also be seen as self-dual configurations in $\mathbb{R}^4$ having a crystal structure, where each node of the crystal carries a topological charge of $1/N$.


title: The spectral dimension of simplicial complexes: a renormalization group theory

abstract: Simplicial complexes are increasingly used to study complex system structure and dynamics including diffusion, synchronization and epidemic spreading. The spectral dimension of the graph Laplacian is known to determine the diffusion properties at long time scales. Using the renormalization group here we calculate the spectral dimension of the graph Laplacian of two classes of non-amenable $d$ dimensional simplicial complexes: the Apollonian networks and the pseudo-fractal networks. We analyse the scaling of the spectral dimension with the topological dimension $d$ for $d\to \infty$ and we point out that randomness such as the one present in Network Geometry with Flavor can diminish the value of the spectral dimension of these structures.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.SI physics.soc-ph stat.ML


title: Eigenvalues of zero-divisor graphs of finite commutative rings

abstract: We investigate eigenvalues of the zero-divisor graph $\Gamma(R)$ of finite commutative rings $R$ and study the interplay between these eigenvalues, the ring-theoretic properties of $R$ and the graph-theoretic properties of $\Gamma(R)$. The graph $\Gamma(R)$ is defined as the graph with vertex set consisting of all non-zero zero-divisors of $R$ and adjacent vertices $x,y$ whenever $xy = 0$. We provide formulas for the nullity of $\Gamma(R)$, i.e. the multiplicity of the eigenvalue 0 of $\Gamma(R)$. Moreover, we precisely determine the spectra of $\Gamma(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ and $\Gamma(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ for a prime number $p$. We introduce a graph product $\times_{\Gamma}$ with the property that $\Gamma(R) \cong \Gamma(R_1) \times_{\Gamma} \ldots \times_{\Gamma} \Gamma(R_r)$ whenever $R \cong R_1 \times \ldots \times R_r.$ With this product, we find relations between the number of vertices of the zero-divisor graph $\Gamma(R)$, the compressed zero-divisor graph, the structure of the ring $R$ and the eigenvalues of $\Gamma(R)$.


title: Gradient versus proper gradient homotopies

abstract: We compare the sets of homotopy classes of gradient and proper gradient vector fields in the plane. Namely, we show that gradient and proper gradient homotopy classifications are essentially different. We provide a complete description of the sets of homotopy classes of gradient maps from $\mathbb{R}^n$ to $\mathbb{R}^n$ and proper gradient maps from $\mathbb{R}^2$ to $\mathbb{R}^2$ with the Brouwer degree greater or equal to zero.


title: Design, Implementation and Evaluation of a Variable Stiffness Transradial Hand Prosthesis

abstract: We present the design, implementation, and experimental evaluation of a low-cost, customizable, easy-to-use transradial hand prosthesis capable of adapting its compliance. Variable stiffness actuation (VSA) of the prosthesis is based on antagonistically arranged tendons coupled to nonlinear springs driven through a Bowden cable-based power transmission. Bowden cable-based antagonistic VSA can, not only regulate the stiffness and the position of the prosthetic hand, but also enables a light-weight and low-cost design, by opportunistic placement of motors, batteries and controllers on any convenient location on the human body, while nonlinear springs are conveniently integrated inside the forearm. The transradial hand prosthesis also features tendon driven underactuated compliant fingers that allow natural adaption of the hand shape to wrap around a wide variety of object geometries, while the modulation of the stiffness of their drive tendons enables the prosthesis to perform various tasks with high dexterity. The compliant fingers of the prosthesis add inherent robustness and flexibility, even under impacts. The control of the variable stiffness transradial hand prosthesis is achieved by an sEMG based natural human-machine interface.


title: Documentation for the GAP code file OrbOrd.txt

abstract: We give a comprehensive description of the functions and variables defined in the authors' GAP code file OrbOrd.txt, which serve mainly to compute (bounds on) the number of $\operatorname{Aut}(S)$-orbits on $S$, or the set or number of element orders in $S$ for nonabelian finite simple groups of Lie type $S$.


title: Tractability properties of the discrepancy in Orlicz norms

abstract: We show that the minimal discrepancy of a point set in the $d$-dimensional unit cube with respect to Orlicz norms can exhibit both polynomial and weak tractability. In particular, we show that the $\psi_\alpha$-norms of exponential Orlicz spaces are polynomially tractable.


title: Optimizing the Kreiss constant

abstract: The Kreiss constant $K(A)$ of a stable matrix $A$ conveys information about the transient behavior of system trajectories in response to initial conditions. We present an efficient way to compute the Kreiss constant $K(A)$, and we show how feedback can be employed to make the Kreiss constant $K(A_{cl})$ in closed loop significantly smaller. This is expected to reduce transients in the closed loop trajectories. The proposed approached is compared to potential competing techniques.


title: Ballistic resonance and thermalization in Fermi-Pasta-Ulam-Tsingou chain at finite temperature

abstract: We study conversion of thermal energy to mechanical energy and vice versa in $\alpha$-Fermi-Pasta-Ulam-Tsingou~(FPUT) chain with spatially sinusoidal profile of initial temperature. We show analytically that coupling between macroscopic dynamics and quasiballistic heat transport gives rise to mechanical vibrations with growing amplitude. This new phenomenon is referred to as "ballistic resonance". At large times, these mechanical vibrations decay monotonically, and therefore the well-known FPUT recurrence paradox occurring at zero temperature is eliminated at finite temperatures.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.mtrl-sci physics.class-ph


title: A BERT-Based Transfer Learning Approach for Hate Speech Detection in Online Social Media

abstract: Generated hateful and toxic content by a portion of users in social media is a rising phenomenon that motivated researchers to dedicate substantial efforts to the challenging direction of hateful content identification. We not only need an efficient automatic hate speech detection model based on advanced machine learning and natural language processing, but also a sufficiently large amount of annotated data to train a model. The lack of a sufficient amount of labelled hate speech data, along with the existing biases, has been the main issue in this domain of research. To address these needs, in this study we introduce a novel transfer learning approach based on an existing pre-trained language model called BERT (Bidirectional Encoder Representations from Transformers). More specifically, we investigate the ability of BERT at capturing hateful context within social media content by using new fine-tuning methods based on transfer learning. To evaluate our proposed approach, we use two publicly available datasets that have been annotated for racism, sexism, hate, or offensive content on Twitter. The results show that our solution obtains considerable performance on these datasets in terms of precision and recall in comparison to existing approaches. Consequently, our model can capture some biases in data annotation and collection process and can potentially lead us to a more accurate model.


title: Correlated functional models with derivative information for modeling MFS data on rock art paintings

abstract: Microfading Spectrometry (MFS) is a method for assessing light sensitivity color (spectral) variations of cultural heritage objects. Each measured point on the surface gives rise to a time-series of stochastic observations that represents color fading over time. Color degradation is expected to be non-decreasing as a function of time and stabilize eventually. These properties can be expressed in terms of the derivatives of the functions. In this work, we propose spatially correlated splines-based time-varying functions and their derivatives for modeling and predicting MFS data collected on the surface of rock art paintings. The correlation among the splines models is modeled using Gaussian process priors over the spline coefficients across time-series. A multivariate covariance function in a Gaussian process allows the use of trichromatic image color variables jointly with spatial locations as inputs to evaluate the correlation among time-series, and demonstrated the colorimetric variables as useful for predicting new color fading time-series. Furthermore, modeling the derivative of the model and its sign demonstrated to be beneficial in terms of both predictive performance and application-specific interpretability.


title: On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices

abstract: We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously


title: Curiosity-Driven Recommendation Strategy for Adaptive Learning via Deep Reinforcement Learning

abstract: The design of recommendations strategies in the adaptive learning system focuses on utilizing currently available information to provide individual-specific learning instructions for learners. As a critical motivate for human behaviors, curiosity is essentially the drive to explore knowledge and seek information. In a psychologically inspired view, we aim to incorporate the element of curiosity for guiding learners to study spontaneously. In this paper, a curiosity-driven recommendation policy is proposed under the reinforcement learning framework, allowing for a both efficient and enjoyable personalized learning mode. Given intrinsic rewards from a well-designed predictive model, we apply the actor-critic method to approximate the policy directly through neural networks. Numeric analyses with a large continuous knowledge state space and concrete learning scenarios are used to further demonstrate the power of the proposed method.


title: The Castro AMR Simulation Code: Current and Future Developments

abstract: We describe recent developments to the Castro astrophysics simulation code, focusing on new features that enable our simulations of X-ray bursts. Two highlights of Castro's ongoing development are the new integration technique to couple hydrodynamics and reactions to high order and GPU offloading. We discuss how these features will help offset some of the computational expense in X-ray burst models.


title: Safe and Private Forward-Trading Platform for Transactive Microgrids

abstract: Transactive microgrids have emerged as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resources and rapid growth in renewable energy generation. Transactive microgrids are tightly coupled cyber and physical systems, which require resilient and robust financial markets where transactions can be submitted and cleared, while ensuring that erroneous or malicious transactions cannot destabilize the grid. In this paper, we introduce TRANSAX, a novel decentralized platform for transactive microgrids. TRANSAX enables participants to trade in an energy futures market, which improves efficiency by finding feasible matches for energy trades, reducing the load on the distribution system operator. TRANSAX provides privacy to participants by anonymizing their trading activity using a distributed mixing service, while also enforcing constraints that limit trading activity based on safety requirements, such as keeping power flow below line capacity. We show that TRANSAX can satisfy the seemingly conflicting requirements of efficiency, safety, and privacy, and we demonstrate its performance using simulation results

categories: cs.CR cs.CY cs.DC cs.MA cs.SY eess.SP eess.SY


title: Assessing Regulatory Risk in Personal Financial Advice Documents: a Pilot Study

abstract: Assessing regulatory compliance of personal financial advice is currently a complex manual process. In Australia, only 5%- 15% of advice documents are audited annually and 75% of these are found to be non-compliant(ASI 2018b). This paper describes a pilot with an Australian government regulation agency where Artificial Intelligence (AI) models based on techniques such natural language processing (NLP), machine learning and deep learning were developed to methodically characterise the regulatory risk status of personal financial advice documents. The solution provides traffic light rating of advice documents for various risk factors enabling comprehensive coverage of documents in the review and allowing rapid identification of documents that are at high risk of non-compliance with government regulations. This pilot serves as a case study of public-private partnership in developing AI systems for government and public sector.


title: A Multivariate Elo-based Learner Model for Adaptive Educational Systems

abstract: The Elo rating system has been recognised as an effective method for modelling students and items within adaptive educational systems. The existing Elo-based models have the limiting assumption that items are only tagged with a single concept and are mainly studied in the context of adaptive testing systems. In this paper, we introduce a multivariate Elo-based learner model that is suitable for the domains where learning items can be tagged with multiple concepts, and investigate its fit in the context of adaptive learning. To evaluate the model, we first compare the predictive performance of the proposed model against the standard Elo-based model using synthetic and public data sets. Our results from this study indicate that our proposed model has superior predictive performance compared to the standard Elo-based model, but the difference is rather small. We then investigate the fit of the proposed multivariate Elo-based model by integrating it into an adaptive learning system which incorporates the principles of open learner models (OLMs). The results from this study suggest that the availability of additional parameters derived from multivariate Elo-based models have two further advantages: guiding adaptive behaviour for the system and providing additional insight for students and instructors.


title: Engineering Reliable Deep Learning Systems

abstract: Recent progress in artificial intelligence (AI) using deep learning techniques has triggered its wide-scale use across a broad range of applications. These systems can already perform tasks such as natural language processing of voice and text, visual recognition, question-answering, recommendations and decision support. However, at the current level of maturity, the use of an AI component in mission-critical or safety-critical applications can have unexpected consequences. Consequently, serious concerns about reliability, repeatability, trust, and maintainability of AI applications remain. As AI becomes pervasive despite its shortcomings, more systematic ways of approaching AI software development and certification are needed. These fundamental aspects establish the need for a discipline on "AI Engineering". This paper presents the current perspective of relevant AI engineering concepts and some key challenges that need to be overcome to make significant progress in this important area.


title: Solidarity should be a core ethical principle of Artificial Intelligence

abstract: Solidarity is one of the fundamental values at the heart of the construction of peaceful societies and present in more than one third of world's constitutions. Still, solidarity is almost never included as a principle in ethical guidelines for the development of AI. Solidarity as an AI principle (1) shares the prosperity created by AI, implementing mechanisms to redistribute the augmentation of productivity for all; and shares the burdens, making sure that AI does not increase inequality and no human is left behind. Solidarity as an AI principle (2) assesses the long term implications before developing and deploying AI systems so no groups of humans become irrelevant because of AI systems. Considering solidarity as a core principle for AI development will provide not just an human-centric but a more humanity-centric approach to AI.


title: Dynamical cluster size heterogeneity

abstract: Only recently the essential role of the percolation critical point has been considered on the dynamical properties of connected regions of aligned spins (domains) after a sudden temperature quench. In equilibrium, it is possible to resolve the contribution to criticality by the thermal and percolative effects (on finite lattices, while in the thermodynamic limit they merge at a single critical temperature) by studying the cluster size heterogeneity, $H_{\scriptstyle\rm eq}(T)$, a measure of how different the domains are in size. We here extend this equilibrium measure and study its temporal evolution, $H(t)$, after driving the system out of equilibrium by a sudden quench in temperature. We show that this single parameter is able to detect and well separate the different time regimes, related to the two time scales in the problem, the short, percolative and the long, coarsening one.


title: Addressing the Sim2Real Gap in Robotic 3D Object Classification

abstract: Object classification with 3D data is an essential component of any scene understanding method. It has gained significant interest in a variety of communities, most notably in robotics and computer graphics. While the advent of deep learning has progressed the field of 3D object classification, most work using this data type are solely evaluated on CAD model datasets. Consequently, current work does not address the discrepancies existing between real and artificial data. In this work, we examine this gap in a robotic context by specifically addressing the problem of classification when transferring from artificial CAD models to real reconstructed objects. This is performed by training on ModelNet (CAD models) and evaluating on ScanNet (reconstructed objects). We show that standard methods do not perform well in this task. We thus introduce a method that carefully samples object parts that are reproducible under various transformations and hence robust. Using graph convolution to classify the composed graph of parts, our method significantly improves upon the baseline.


title: PC-Fairness: A Unified Framework for Measuring Causality-based Fairness

abstract: A recent trend of fair machine learning is to define fairness as causality-based notions which concern the causal connection between protected attributes and decisions. However, one common challenge of all causality-based fairness notions is identifiability, i.e., whether they can be uniquely measured from observational data, which is a critical barrier to applying these notions to real-world situations. In this paper, we develop a framework for measuring different causality-based fairness. We propose a unified definition that covers most of previous causality-based fairness notions, namely the path-specific counterfactual fairness (PC fairness). Based on that, we propose a general method in the form of a constrained optimization problem for bounding the path-specific counterfactual fairness under all unidentifiable situations. Experiments on synthetic and real-world datasets show the correctness and effectiveness of our method.


title: Label-efficient audio classification through multitask learning and self-supervision

abstract: While deep learning has been incredibly successful in modeling tasks with large, carefully curated labeled datasets, its application to problems with limited labeled data remains a challenge. The aim of the present work is to improve the label efficiency of large neural networks operating on audio data through a combination of multitask learning and self-supervised learning on unlabeled data. We trained an end-to-end audio feature extractor based on WaveNet that feeds into simple, yet versatile task-specific neural networks. We describe several easily implemented self-supervised learning tasks that can operate on any large, unlabeled audio corpus. We demonstrate that, in scenarios with limited labeled training data, one can significantly improve the performance of three different supervised classification tasks individually by up to 6% through simultaneous training with these additional self-supervised tasks. We also show that incorporating data augmentation into our multitask setting leads to even further gains in performance.


title: Isogeometric Analysis of the Gray-Scott Reaction-Diffusion Equations for Pattern Formation on Evolving Surfaces and Applications to Human Gyrification

abstract: We propose a numerical scheme based on the principles of Isogeometric Analysis (IgA) for a geometrical pattern formation induced evolution of manifolds. The development is modelled by the use of the Gray-Scott equations for pattern formation in combination with an equation for the displacement of the manifold. The method forms an alternative to the classical finite-element method. Our method is based on partitioning the initially spherical geometry into six patches, which are mapped onto the six faces of a cube. Major advantages of the new formalism are the reconstruction of the manifold based on bicubic spline-functions used for the computation of the concentrations as well as the evolution of the mapping operator. These features give a smooth representation of the manifold which, in turn, may lead to more realistic results. The method successfully reproduces the smooth but complicated geometrical patterns found on the surface of human brains.


title: Forecasting the Success of Television Series using Machine Learning

abstract: Television is an ever-evolving multi billion dollar industry. The success of a television show in an increasingly technological society is a vast multi-variable formula. The art of success is not just something that happens, but is studied, replicated, and applied. Hollywood can be unpredictable regarding success, as many movies and sitcoms that are hyped up and promise to be a hit end up being box office failures and complete disappointments. In current studies, linguistic exploration is being performed on the relationship between Television series and target community of viewers. Having a decision support system that can display sound and predictable results would be needed to build confidence in the investment of a new TV series. The models presented in this study use data to study and determine what makes a sitcom successful. In this paper, we use descriptive and predictive modeling techniques to assess the continuing success of television comedies: The Office, Big Bang Theory, Arrested Development, Scrubs, and South Park. The factors that are tested for statistical significance on episode ratings are character presence, director, and writer. These statistics show that while characters are indeed crucial to the shows themselves, the creation and direction of the shows pose implication upon the ratings and therefore the success of the shows. We use machine learning based forecasting models to accurately predict the success of shows. The models represent a baseline to understanding the success of a television show and how producers can increase the success of current television shows or utilize this data in the creation of future shows. Due to the many factors that go into a series, the empirical analysis in this work shows that there is no one-fits-all model to forecast the rating or success of a television show.


title: Detecting Multiple Speech Disfluencies using a Deep Residual Network with Bidirectional Long Short-Term Memory

abstract: Stuttering is a speech impediment affecting tens of millions of people on an everyday basis. Even with its commonality, there is minimal data and research on the identification and classification of stuttered speech. This paper tackles the problem of detection and classification of different forms of stutter. As opposed to most existing works that identify stutters with language models, our work proposes a model that relies solely on acoustic features, allowing for identification of several variations of stutter disfluencies without the need for speech recognition. Our model uses a deep residual network and bidirectional long short-term memory layers to classify different types of stutters and achieves an average miss rate of 10.03%, outperforming the state-of-the-art by almost 27%


title: Conflict and Cooperation: AI Research and Development in terms of the Economy of Conventions

abstract: Artificial Intelligence (AI) and its relation with societies is increasingly becoming an interesting object of study from the perspective of sociology and other disciplines. Theories such as the Economy of Conventions (EC) are usually applied in the context of interpersonal relations but there is still a clear lack of studies around how this and other theories can shed light on interactions between human an autonomous systems. This work is focused into studying a preliminary step that is a key enabler for the subsequent interaction between machines and humans: how the processes of researching, designing and developing AI related systems reflect different moral registers, represented by conventions within the EC. Having a better understanding of those conventions guiding the advances in AI is considered as the first and required advance to understand the conventions afterwards reflected by those autonomous systems in the interactions with societies. For this purpose, we develop an iterative tool based on active learning to label a data set from the field of AI and Machine Learning (ML) research and present preliminary results of a supervised classifier trained on these conventions. To further demonstrate the feasibility of the approach, the results are contrasted with a classifier trained on software conventions.


title: BUT System Description to VoxCeleb Speaker Recognition Challenge 2019

abstract: In this report, we describe the submission of Brno University of Technology (BUT) team to the VoxCeleb Speaker Recognition Challenge (VoxSRC) 2019. We also provide a brief analysis of different systems on VoxCeleb-1 test sets. Submitted systems for both Fixed and Open conditions are a fusion of 4 Convolutional Neural Network (CNN) topologies. The first and second networks have ResNet34 topology and use two-dimensional CNNs. The last two networks are one-dimensional CNN and are based on the x-vector extraction topology. Some of the networks are fine-tuned using additive margin angular softmax. Kaldi FBanks and Kaldi PLPs were used as features. The difference between Fixed and Open systems lies in the used training data and fusion strategy. The best systems for Fixed and Open conditions achieved 1.42% and 1.26% ERR on the challenge evaluation set respectively.


title: Quantifying urban areas with multi-source data based on percolation theory

abstract: Quantifying urban areas is crucial for addressing associated urban issues such as environmental and sustainable problems. Remote sensing data, especially the nighttime light images, have been widely used to delineate urbanized areas across the world. Meanwhile, some emerging urban data, such as volunteered geographical information (e.g., OpenStreetMap) and social sensing data (e.g., mobile phone and social media), have also shown great potential in revealing urban boundaries and dynamics. However, consistent and robust methods to quantify urban areas from these multi-source data have remained elusive. Here, we propose a percolation-based method to extract urban areas from these multi-source urban data. We derive the optimal urban/non-urban threshold by considering the critical nature of urban systems with the support of the percolation theory. Furthermore, we apply the method with three open-source datasets - population, road, and nighttime light - to 28 countries. We show that the proposed method captures the similar urban characteristics in terms of urban areas from multi-source data, and Zipf's law holds well in most countries. The accuracy of the derived urban areas by different datasets has been validated with the Landsat-based reference data in 10 cities, and the accuracy can be further improved through data fusion ($\kappa=0.69-0.85$, mean $\kappa=0.78$). Our study not only provides an efficient method to quantify urban areas with open-source data, but also deepens the understanding of urban systems and sheds some light on multi-source data fusion in geographical fields.


title: Hamiltonicity of random graphs in the stochastic block model

abstract: We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions.


title: On the Evolution of Fractional Diffusive Waves

abstract: In physics, phenomena of diffusion and wave propagation have great relevance; these physical processes are governed in the simplest cases by partial differential equations of order 1 and 2 in time, respectively. By replacing the time derivatives in the above standard equations with pseudo-differential operators interpreted as derivatives of non integer order (nowadays misnamed as of fractional order) we are lead to generalized processes of diffusion that may be interpreted as slow diffusion and interpolating between diffusion and wave propagation. In mathematical physics we may refer these interpolating processes to as fractional diffusion-wave phenomena. In this work we analyze and simulate both the situations in which the input function is a Dirac delta generalized function and a box function, restricting ourselves to the Cauchy problem. In the firsrst case we get the fundamental solutions (or Green functions) of the problem whereas in the latter case the solutions are obtained by a space convolution of the Green function with the input function. In order to clarify the matter for the non-specialist readers, we briefly recall the basic and essential notions of the fractional calculus (the mathematical theory that regards the integration and differentiation of noninteger order) with a look at the history of this discipline.


title: Online Disinformation and the Role of Wikipedia

abstract: The aim of this study is to find key areas of research that can be useful to fight against disinformation on Wikipedia. To address this problem we perform a literature review trying to answer three main questions: (i) What is disinformation? (ii) What are the most popular mechanisms to spread online disinformation? and (iii) Which are the mechanisms that are currently being used to fight against disinformation?. In all these three questions we take first a general approach, considering studies from different areas such as journalism and communications, sociology, philosophy, information and political sciences. And comparing those studies with the current situation on the Wikipedia ecosystem. We conclude that in order to keep Wikipedia as free as possible from disinformation, it is necessary to help patrollers to early detect disinformation and assess the credibility of external sources. More research is needed to develop tools that use state-of-the-art machine learning techniques to detect potentially dangerous content, empowering patrollers to deal with attacks that are becoming more complex and sophisticated.


title: Extending Deep Knowledge Tracing: Inferring Interpretable Knowledge and Predicting Post-System Performance

abstract: Recent student knowledge modeling algorithms such as Deep Knowledge Tracing (DKT) and Dynamic Key-Value Memory Networks (DKVMN) have been shown to produce accurate predictions of problem correctness within the same learning system. However, these algorithms do not attempt to directly infer student knowledge. In this paper we present an extension to these algorithms to also infer knowledge. We apply this extension to DKT and DKVMN, resulting in knowledge estimates that correlate better with a posttest than knowledge estimates from Bayesian Knowledge Tracing (BKT), an algorithm designed to infer knowledge, and another classic algorithm, Performance Factors Analysis (PFA). We also apply our extension to correctness predictions from BKT and PFA, finding that knowledge estimates produced with it correlate better with the posttest than BKT and PFA's standard knowledge estimates. These findings are significant since the primary aim of education is to prepare students for later experiences outside of the immediate learning activity.


title: The Alon-Tarsi number of planar graphs without cycles of lengths $4$ and $l$

abstract: This paper proves that if $G$ is a planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$, then there exists a matching $M$ such that $AT(G-M)\leq 3$. This implies that every planar graph without 4-cycles and $l$-cycles for some $l\in\{5, 6, 7\}$ is 1-defective 3-paintable.


title: Higher-order discontinuous Galerkin time discretizations the evolutionary Navier--Stokes equations

abstract: Discontinuous Galerkin methods of higher order are applied as temporal discretizations for the transient Navier--Stokes equations. The spatial discretization based on inf-sup stable pairs of finite element spaces is stabilised using a one-level local projection stabilisation method. Optimal error bounds for the velocity with constants independent of the viscosity parameter are obtained for the semi-discrete case. For the fully discrete case, error estimates for both velocity and pressure are given. Numerical results support the theoretical predictions.


title: A catalog of newly identified star clusters in GAIA DR2

abstract: We present the Star cluster Hunting Pipeline (SHiP) which can identify star clusters in GAIA DR2 data, and establish a star cluster catalog for the Galactic disk. A Friend of Friend based cluster finder method is used to identify star clusters using 5-dimensional stellar parameters, $l, b, \varpi, \mu_\alpha\cos\delta$, and $\mu_\delta$. Our new catalog contains 2443 star cluster candidates identified from disk stars located within $|b|=25^\circ$ and with $G<18$ mag. An automatic isochrone fitting scheme is applied to all cluster candidates. With a combination of parameters obtained from isochrone fitting, we classify cluster candidates into three classes (Class 1, 2 and 3). Class 1 clusters are the most probable star cluster candidates with the most stringent criteria. Most of these clusters are nearby (within 4 kpc). Our catalog is cross-matched with three Galactic star cluster catalogs, Kharchenko et al. (2013), Cantat-Gaudin et al. (2018, 2019), and Bica et al. (2019). The proper motion and parallax of matched star clusters are in good agreement with these earlier catalogs. We discover 76 new star cluster candidates that are not listed in these 3 catalogs. The majority of these are clusters older than log(age/yr)=8.0, and are located in the inner disk with $|b|<5^\circ$. The recent discovery of new star clusters suggests that current Galactic star cluster catalogs are still incomplete. Among the Class 1 cluster candidates, we find 56 candidates for star cluster groups. The pipeline, the catalog and the member list containing all candidates star clusters and star cluster groups have been made publicly available.


title: Personalized Context-Aware Multi-Modal Transportation Recommendation

abstract: This study proposes to find the most appropriate transport modes with awareness of user preferences (e.g., costs, times) and trip characteristics (e.g., purpose, distance). The work was based on real-life trips obtained from a map application. Several methods including gradient boosting tree, learning to rank, multinomial logit model, automated machine learning, random forest, and shallow neural network have been tried. For some methods, feature selection and over-sampling techniques were also tried. The results show that the best performing method is a gradient boosting tree model with synthetic minority over-sampling technique (SMOTE). Also, results of the multinomial logit model show that (1) an increase in travel cost would decrease the utility of all the transportation modes; (2) people are less sensitive to the travel distance for the metro mode or a multi-modal option that containing metro, i.e., compared to other modes, people would be more willing to tolerate long-distance metro trips. This indicates that metro lines might be a good candidate for large cities.


title: Entropy production and heat transport in harmonic chains under time dependent periodic drivings

abstract: Using stochastic thermodynamics, the properties of interacting linear chains subject to periodic drivings are investigated. The systems are described by Fokker-Planck-Kramers equation and exact (explicit) solutions are obtained for periodic drivings as functions of the modulation frequency and strength constants. The limit of long chains is analyzed by means of a protocol in which the intermediate temperatures are self-consistently chosen and the entropy production is decomposed as a sum of two individual contributions, one coming from real baths (placed at extremities of lattice) and other from self-consistent baths. The thermal reservoirs lead to a heat flux according to Fourier's law. Explicit expressions for short chains are derived, whose entropy production is written down as a bilinear function of thermodynamic forces and the associated fluxes, from which Onsager coefficients have been evaluated. A comparison between distinct periodic drivings is also performed.


title: A blockchain-orchestrated Federated Learning architecture for healthcare consortia

abstract: We propose a novel architecture for federated learning within healthcare consortia. At the heart of the solution is a unique integration of privacy preserving technologies, built upon native enterprise blockchain components available in the Ethereum ecosystem. We show how the specific characteristics and challenges of healthcare consortia informed our design choices, notably the conception of a new Secure Aggregation protocol assembled with a protected hardware component and an encryption toolkit native to Ethereum. Our architecture also brings in a privacy preserving audit trail that logs events in the network without revealing identities.


title: FontGAN: A Unified Generative Framework for Chinese Character Stylization and De-stylization

abstract: Chinese character synthesis involves two related aspects, i.e., style maintenance and content consistency. Although some methods have achieved remarkable success in synthesizing a character with specified style from standard font, how to map characters to a specified style domain without losing their identifiability remains very challenging. In this paper, we propose a novel model named FontGAN, which integrates the character stylization and de-stylization into a unified framework. In our model, we decouple character images into style representation and content representation, which facilitates more precise control of these two types of variables, thereby improving the quality of the generated results. We also introduce two modules, namely, font consistency module (FCM) and content prior module (CPM). FCM exploits a category guided Kullback-Leibler loss to embedding the style representation into different Gaussian distributions. It constrains the characters of the same font in the training set globally. On the other hand, it enables our model to obtain style variables through sampling in testing phase. CPM provides content prior for the model to guide the content encoding process and alleviates the problem of stroke deficiency during de-stylization. Extensive experimental results on character stylization and de-stylization have demonstrated the effectiveness of our method.


title: Global and Partial Fourier Series for Denjoy-Carleman Classes on the Torus

abstract: In this work, we develop Fourier Analysis for a family of classes of ultradifferentiable functions of Romieu type on the torus, usually known as Denjoy-Carleman classes. Then we are able to apply our results in order to generalize some results whose proofs rely almost exclusively on Fourier Series, such as the Greenfield-Wallach Theorem.


title: Controlled beams of shockfrozen, isolated, biological and artificial nanoparticles

abstract: X-ray free-electron lasers (XFELs) promise the diffractive imaging of single molecules and nanoparticles with atomic spatial resolution. This relies on the averaging of millions of diffraction patterns of identical particles, which should ideally be isolated in the gas phase and preserved in their native structure. Here, we demonstrated that polystyrene nanospheres and Cydia pomonella granulovirus can be transferred into the gas phase, isolated, and very quickly shockfrozen, i.e. cooled to 4~K within microseconds in a helium-buffer-gas cell, much faster than state-of-the-art approaches. Nanoparticle beams emerging from the cell were characterized using particle-localization microscopy with light-sheet illumination, which allowed for the full reconstruction of the particle beams, focused to $<100\:\mu\text{m}$, as well as for the determination of particle flux and number density. The experimental results were quantitatively reproduced and rationalized through particle-trajectory simulations. We propose an optimized setup with cooling rates for few-nanometers particles on nanoseconds timescales. The produced beams of shockfrozen isolated nanoparticles provide a breakthrough in sample delivery, e.g. for diffractive imaging and microscopy or low-temperature nanoscience.


title: Generative Pre-Training for Speech with Autoregressive Predictive Coding

abstract: Learning meaningful and general representations from unannotated speech that are applicable to a wide range of tasks remains challenging. In this paper we propose to use autoregressive predictive coding (APC), a recently proposed self-supervised objective, as a generative pre-training approach for learning meaningful, non-specific, and transferable speech representations. We pre-train APC on large-scale unlabeled data and conduct transfer learning experiments on three speech applications that require different information about speech characteristics to perform well: speech recognition, speech translation, and speaker identification. Extensive experiments show that APC not only outperforms surface features (e.g., log Mel spectrograms) and other popular representation learning methods on all three tasks, but is also effective at reducing downstream labeled data size and model parameters. We also investigate the use of Transformers for modeling APC and find it superior to RNNs.


title: Min-Max-Min Robustness for Combinatorial Problems with Discrete Budgeted Uncertainty

abstract: We consider robust combinatorial optimization problems with cost uncertainty where the decision maker can prepare K solutions beforehand and chooses the best of them once the true cost is revealed. Also known as min-max-min robustness (a special case of K-adaptability), it is a viable alternative to otherwise intractable two-stage problems. The uncertainty set assumed in this paper considers that in any scenario, at most Gamma of the components of the cost vectors will be higher than expected, which corresponds to the extreme points of the budgeted uncertainty set. While the classical min-max problem with budgeted uncertainty is essentially as easy as the underlying deterministic problem, it turns out that the min-max-min problem is NPhard for many easy combinatorial optimization problems, and not approximable in general. We thus present an integer programming formulation for solving the problem through a row-and-column generation algorithm. While exact, this algorithm can only cope with small problems, so we present two additional heuristics leveraging the structure of budgeted uncertainty. We compare our row-and-column generation algorithm and our heuristics on knapsack and shortest path instances previously used in the scientific literature and find that the heuristics obtain good quality solutions in short computational times.


title: Topological invariants of some chemical reaction networks

abstract: Certain toric dynamical systems studied in physical chemistry have associated toric varieties which, when smooth, represent elements in the homotopy groups $M\xi_*B\T$ of a symplectic variant of the $A_\infty$ Baker-Richter spectrum $M\xi$. The noncommutative Hopf algebroid $(M\xi_*,M\xi_*M\xi)$ has interesting connections to the group of formal diffeomorphism of the noncommutative line, conjecturally defining a noncommutative analog Helmholtz free energy for systems of complex symplectic (completely integrable) Hamiltonian toric manifolds


title: Equations of Motion Formulation of a Pendulum Containing N-point Masses

abstract: This paper presents a general formulation of equations of motion of a pendulum with n point mass by use of two different methods. The first one is obtained by using Lagrange Mechanics and mathematical induction(inspection), and the second one is derived by defining a vector. Today, these equations can be obtained by employing numerous programs; however, this study gives a very compact form of these equations that is more efficient than solving Euler-Lagrange Equations for every pendulum with more complex structures than simple or double pendulum. Additionally, we investigate what will happen to our n-point mass system when we take limit as number of point masses goes infinity under well-defined assumptions. We find out that it converges to hanging rope system.


title: Suicidal Ideation Detection: A Review of Machine Learning Methods and Applications

abstract: Suicide is a critical issue in modern society. Early detection and prevention of suicide attempts should be addressed to save people's life. Current suicidal ideation detection methods include clinical methods based on the interaction between social workers or experts and the targeted individuals and machine learning techniques with feature engineering or deep learning for automatic detection based on online social contents. This paper is the first survey that comprehensively introduces and discusses the methods from these categories. Domain-specific applications of suicidal ideation detection are reviewed according to their data sources, i.e., questionnaires, electronic health records, suicide notes, and online user content. Several specific tasks and datasets are introduced and summarized to facilitate further research. Finally, we summarize the limitations of current work and provide an outlook of further research directions.


title: G2G: TTS-Driven Pronunciation Learning for Graphemic Hybrid ASR

abstract: Grapheme-based acoustic modeling has recently been shown to outperform phoneme-based approaches in both hybrid and end-to-end automatic speech recognition (ASR), even on non-phonemic languages like English. However, graphemic ASR still has problems with rare long-tail words that do not follow the standard spelling conventions seen in training, such as entity names. In this work, we present a novel method to train a statistical grapheme-to-grapheme (G2G) model on text-to-speech data that can rewrite an arbitrary character sequence into more phonetically consistent forms. We show that using G2G to provide alternative pronunciations during decoding reduces Word Error Rate by 3% to 11% relative over a strong graphemic baseline and bridges the gap on rare name recognition with an equivalent phonetic setup. Unlike many previously proposed methods, our method does not require any change to the acoustic model training procedure. This work reaffirms the efficacy of grapheme-based modeling and shows that specialized linguistic knowledge, when available, can be leveraged to improve graphemic ASR.


title: Neumann and Poincare problems for Poisson's equations with measurable data

abstract: The research of the Dirichlet problem with arbitrary measurable datafor harmonic functions is due to the famous dissertation of Luzin. The present paper is devoted to various theorems on the existence of nonclassical solutions of the Hilbert and Riemann boundary value problems with arbitrary measurable data for generalized analytic functions by Vekua and the corresponding applications to the Neumann and Poincare problems for generalized harmonic functions. Our approach is based on the geometric (theoretic-functional) interpretation of boundary values in comparison with the classical operator approach in PDE. Here it is proved the existence theorems on solutions of the Hilbert boundary value problem with arbitrary measurable data for generalized analytic functions in arbitrary Jordan domains with rectifiable boundaries in terms of the na\-tu\-ral parameter and angular (nontangential) limits, moreover, to arbitrary Jordan domains in terms of harmonic measure and principal asymptoticvalues. Moreover, it is established the existence theorems on solutions for the appropriate boun\-da\-ry value problems of Hilbert and Riemann with arbitrary measurable data along the Bagemihl--Seidel systems of Jordan arcs terminating at the boundary in arbitrary domains whose boundaries consist of finite collections of rectifiable Jordan curves. On this basis, it is established the corresponding existence theorems for the Poincare boundary value problem on the directional derivatives and, in particular, for the Neumann problem with arbitrary measurable data to the Poisson equations.


title: CycleGAN Voice Conversion of Spectral Envelopes using Adversarial Weights

abstract: This paper tackles GAN optimization and stability issues in the context of voice conversion. First, to simplify the conversion task, we propose to use spectral envelopes as inputs. Second we propose two adversarial weight training paradigms, the generalized weighted GAN and the generator impact GAN, both aim at reducing the impact of the generator on the discriminator, so both can learn more gradually and efficiently during training. Applying an energy constraint to the cycleGAN paradigm considerably improved conversion quality. A subjective experiment conducted on a voice conversion task on the voice conversion challenge 2018 dataset shows first that despite a significantly reduced network complexity, the proposed method achieves state-of-the-art results, and second that the proposed weighted GAN methods outperform a previously proposed one.


title: Self-Similarities and Power-laws in the Time-resolved Spectra of GRB 190114C, GRB 130427A, GRB 160509A, and GRB 160625B

abstract: [Shortened] CONTEXT: [...] AIMS: To identify and verify the BdHNe I properties in the additional sources GRB160509A, GRB160625B and GRB1340427A, and compare and contrast the results with the ones of a BdHN II source GRB180728A. We have also identified in all four sources, following the analysis GRB 130427A in the companion paper, the GeV radiation during and following the UPE phase. Also in all the four sources, we describe the spectral properties of their afterglow emission, including the mass estimate of the $\nu$NS, following the results presented in the companion paper. METHODS: [...] RESULTS: The results of the spectral analysis have validated the common properties in all BdHNe I: the three Episodes as well as the self-similar structures and the associated power-laws in the UPE phase. The profound similarities of the results have made a significant step forward in the taxonomy of GRBs and in evidencing a standard composition of the BdHN I. This opens the opportunity of a vaster inquire of the astrophysical nature of their components in the population synthesis approach: e.g., the BH formation in all BdHN I occurs due to accretion of the SN ejecta in a tight binary system with a neutron star companion which reaches its critical mass, leading to the formation of the BH. The SN-rise in all five BdHNe are compare and contrasted. CONCLUSIONS: The most far reaching discovery of self-similarities and power-laws here extensively confirmed, thanks also to the conclusions presented in the companion papers, leads to the existence of a discrete quantized repetitive polarized emission, both in the GeV and MeV observed by {\it Fermi}-GBM and {\it Fermi}-LAT, on a timescale as short as $10^{-14}$s. These results open new paths in the discovery of fundamental physical laws.


title: Fabrication of a low-cost and high-resolution papercraft smartphone spectrometer

abstract: We demonstrated the fabrication of a low-cost and high-resolution papercraft smartphone spectrometer and characterized its performance by recording spectra from gas discharge lamps. The optical design and a lab-made narrow slit used in the fabrication led to fine images of the slit on the image sensor, resulting in high spectral resolution. The spectral resolution of the fabricated papercraft smartphone spectrometer was measured to be 0.5 nm, which is similar to that of the best smartphone spectrometer reported thus far. Extending the exposure time of the phone's camera revealed the fine structure of a spectrum with high sensitivity. The build cost of the papercraft smartphone spectrometer was less than $3. We demonstrated that the papercraft smartphone spectrometer is a low-cost device that can record spectra with high resolution and high sensitivity.


title: Easy Mobile Meter Reading for Non-Smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches

abstract: Electricity and gas meter reading is a time consuming task, which is done manually in most cases. There are some approaches proposing use of smart meters that report their readings automatically. However, this solution is expensive and requires (1) replacement of the existing meters, even when they are functional and new, and (2) large changes of the whole system dealing with the meter readings. This paper presents results of a project on automation of the meter reading process for the standard (non-smart) meters using computer vision techniques, focusing on the comparison of two computer vision techniques, Google Cloud Vision and AWS Rekognition.


title: Textual Data for Time Series Forecasting

abstract: While ubiquitous, textual sources of information such as company reports, social media posts, etc. are hardly included in prediction algorithms for time series, despite the relevant information they may contain. In this work, openly accessible daily weather reports from France and the United-Kingdom are leveraged to predict time series of national electricity consumption, average temperature and wind-speed with a single pipeline. Two methods of numerical representation of text are considered, namely traditional Term Frequency - Inverse Document Frequency (TF-IDF) as well as our own neural word embedding. Using exclusively text, we are able to predict the aforementioned time series with sufficient accuracy to be used to replace missing data. Furthermore the proposed word embeddings display geometric properties relating to the behavior of the time series and context similarity between words.


title: Is it a Fruit, an Apple or a Granny Smith? Predicting the Basic Level in a Concept Hierarchy

abstract: The "basic level", according to experiments in cognitive psychology, is the level of abstraction in a hierarchy of concepts at which humans perform tasks quicker and with greater accuracy than at other levels. We argue that applications that use concept hierarchies - such as knowledge graphs, ontologies or taxonomies - could significantly improve their user interfaces if they `knew' which concepts are the basic level concepts. This paper examines to what extent the basic level can be learned from data. We test the utility of three types of concept features, that were inspired by the basic level theory: lexical features, structural features and frequency features. We evaluate our approach on WordNet, and create a training set of manually labelled examples that includes concepts from different domains. Our findings include that the basic level concepts can be accurately identified within one domain. Concepts that are difficult to label for humans are also harder to classify automatically. Our experiments provide insight into how classification performance across domains could be improved, which is necessary for identification of basic level concepts on a larger scale.


title: AeGAN: Time-Frequency Speech Denoising via Generative Adversarial Networks

abstract: Automatic speech recognition (ASR) systems are of vital importance nowadays in commonplace tasks such as speech-to-text processing and language translation. This created the need for an ASR system that can operate in realistic crowded environments. Thus, speech enhancement is a valuable building block in ASR systems and other applications such as hearing aids, smartphones and teleconferencing systems. In this paper, a generative adversarial network (GAN) based framework is investigated for the task of speech enhancement, more specifically speech denoising of audio tracks. A new architecture based on CasNet generator and an additional feature-based loss are incorporated to get realistically denoised speech phonetics. Finally, the proposed framework is shown to outperform other learning and traditional model-based speech enhancement approaches.


title: Simultaneous Separation and Transcription of Mixtures with Multiple Polyphonic and Percussive Instruments

abstract: We present a single deep learning architecture that can both separate an audio recording of a musical mixture into constituent single-instrument recordings and transcribe these instruments into a human-readable format at the same time, learning a shared musical representation for both tasks. This novel architecture, which we call Cerberus, builds on the Chimera network for source separation by adding a third "head" for transcription. By training each head with different losses, we are able to jointly learn how to separate and transcribe up to 5 instruments in our experiments with a single network. We show that the two tasks are highly complementary with one another and when learned jointly, lead to Cerberus networks that are better at both separation and transcription and generalize better to unseen mixtures.


title: Trouble with the Curve: Predicting Future MLB Players Using Scouting Reports

abstract: In baseball, a scouting report profiles a player's characteristics and traits, usually intended for use in player valuation. This work presents a first-of-its-kind dataset of almost 10,000 scouting reports for minor league, international, and draft prospects. Compiled from articles posted to MLB.com and Fangraphs.com, each report consists of a written description of the player, numerical grades for several skills, and unique IDs to reference their profiles on popular resources like MLB.com, FanGraphs, and Baseball-Reference. With this dataset, we employ several deep neural networks to predict if minor league players will make the MLB given their scouting report. We open-source this data to share with the community, and present a web application demonstrating language variations in the reports of successful and unsuccessful prospects.


title: Positivity of the CM line bundle for K-stable log Fanos

abstract: We prove the bigness of the Chow-Mumford line bundle associated to a $\mathbb{Q}$-Gorenstein family of log Fano varieties of maximal variation with uniformly K-stable general geometric fibers. This result generalizes a recent theorem of Codogni and Patakfalvi to the logarithmic setting.


title: Beyond the proton drip line: Bayesian analysis of proton-emitting nuclei

abstract: The limits of the nuclear landscape are determined by nuclear binding energies. Beyond the proton drip lines, where the separation energy becomes negative, there is not enough binding energy to prevent protons from escaping the nucleus. Predicting properties of unstable nuclear states in the vast territory of proton emitters poses an appreciable challenge for nuclear theory as it often involves far extrapolations. In addition, significant discrepancies between nuclear models in the proton-rich territory call for quantified predictions. With the help of Bayesian methodology, we mix a family of nuclear mass models corrected with statistical emulators trained on the experimental mass measurements, in the proton-rich region of the nuclear chart. Separation energies were computed within nuclear density functional theory using several Skyrme and Gogny energy density functionals. We also considered mass predictions based on two models used in astrophysical studies. Quantified predictions were obtained for each model using Bayesian Gaussian processes trained on separation-energy residuals and combined via Bayesian model averaging. We obtained a good agreement between averaged predictions of statistically corrected models and experiment. In particular, we quantified model results for one- and two-proton separation energies and derived probabilities of proton emission. This information enabled us to produce a quantified landscape of proton-rich nuclei. The most promising candidates for two-proton decay studies have been identified. The methodology used in this work has broad applications to model-based extrapolations of various nuclear observables. It also provides a reliable uncertainty quantification of theoretical predictions.


title: LUTNet: Learning FPGA Configurations for Highly Efficient Neural Network Inference

abstract: Research has shown that deep neural networks contain significant redundancy, and thus that high classification accuracy can be achieved even when weights and activations are quantized down to binary values. Network binarization on FPGAs greatly increases area efficiency by replacing resource-hungry multipliers with lightweight XNOR gates. However, an FPGA's fundamental building block, the K-LUT, is capable of implementing far more than an XNOR: it can perform any K-input Boolean operation. Inspired by this observation, we propose LUTNet, an end-to-end hardware-software framework for the construction of area-efficient FPGA-based neural network accelerators using the native LUTs as inference operators. We describe the realization of both unrolled and tiled LUTNet architectures, with the latter facilitating smaller, less power-hungry deployment over the former while sacrificing area and energy efficiency along with throughput. For both varieties, we demonstrate that the exploitation of LUT flexibility allows for far heavier pruning than possible in prior works, resulting in significant area savings while achieving comparable accuracy. Against the state-of-the-art binarized neural network implementation, we achieve up to twice the area efficiency for several standard network models when inferencing popular datasets. We also demonstrate that even greater energy efficiency improvements are obtainable.


title: Model selection for deep audio source separation via clustering analysis

abstract: Audio source separation is the process of separating a mixture (e.g. a pop band recording) into isolated sounds from individual sources (e.g. just the lead vocals). Deep learning models are the state-of-the-art in source separation, given that the mixture to be separated is similar to the mixtures the deep model was trained on. This requires the end user to know enough about each model's training to select the correct model for a given audio mixture. In this work, we automate selection of the appropriate model for an audio mixture. We present a confidence measure that does not require ground truth to estimate separation quality, given a deep model and audio mixture. We use this confidence measure to automatically select the model output with the best predicted separation quality. We compare our confidence-based ensemble approach to using individual models with no selection, to an oracle that always selects the best model and to a random model selector. Results show our confidence-based ensemble significantly outperforms the random ensemble over general mixtures and approaches oracle performance for music mixtures.


title: Energies and radii of light nuclei around unitarity

abstract: Light nuclei fall within a regime of universal physics governed by the fact that the two-nucleon scattering lengths are large compared to the typical nuclear interaction range set by one-pion exchange. This places nuclear physics near the so-called unitarity limit in which the scattering lengths are exactly infinite. Effective field theory provides a powerful theoretical framework to capture this separation of scales in a systematic way. It is shown here that the nuclear force can be constructed as a perturbative expansion around the unitarity limit and that this expansion has good convergence properties for both the binding energies of $A=3,4$ nuclei as well as for the radii of these states.


title: Vanishing of all equivariant obstructions and the mapping degree

abstract: Suppose that $n\neq p^k$ and $n\neq 2p^k$ for all $k$ and all primes $p$. We prove that for any Hausdorff compactum $X$ with a free action of the symmetric group $\mathfrak S_n$ there exists an $\mathfrak S_n$-equivariant map $X \to {\mathbb R}^n$ whose image avoids the diagonal $\{(x,x\dots,x)\in {\mathbb R}^n|x\in {\mathbb R}\}$. Previously, the special cases of this statement for certain $X$ were usually proved using the equivartiant obstruction theory. Such calculations are difficult and may become infeasible past the first (primary) obstruction. We take a different approach which allows us to prove the vanishing of all obstructions simultaneously. The essential step in the proof is classifying the possible degrees of $\mathfrak S_n$-equivariant maps from the boundary $\partial\Delta^{n-1}$ of $(n-1)$-simplex to itself. Existence of equivariant maps between spaces is important for many questions arising from discrete mathematics and geometry, such as Kneser's conjecture, the Square Peg conjecture, the Splitting Necklace problem, and the Topological Tverberg conjecture, etc. We demonstrate the utility of our result applying it to one such question, a specific instance of envy-free division problem.


title: Evolutionary dynamics of cooperation in a population with probabilistic corrupt enforcers and violators

abstract: Pro-social punishment is a key driver of harmonious and stable society. However, this institution is vulnerable to corruption since law-violators can avoid sanctioning by paying bribes to corrupt law-enforcers. Consequently, to understand how altruistic behavior survives in a corrupt environment is an open question. To reveal potential explanations here we introduce corrupt enforcers and violators into the public goods game with pool punishment, and assume that punishers, as corrupt enforcers, may select defectors probabilistically to take a bribe from, and meanwhile defectors, as corrupt violators, may select punishers stochastically to be corrupted. By means of mathematical analysis, we aim to study the necessary conditions for the evolution of cooperation in such corrupt environment. We find that cooperation can be maintained in the population in two distinct ways. First, cooperators, defectors, and punishers can coexist by all keeping a steady fraction of the population. Second, these three strategies can form a cyclic dominance that resembles a rock-scissors-paper cycle or a heteroclinic cycle. We theoretically identify conditions when the competing strategies coexist in a stationary way or they dominate each other in a cyclic way. These predictions are confirmed numerically.


title: Factors Contributing to Attitudinal Gains in Introductory Astronomy Courses

abstract: Most students do not enroll in introductory astronomy as part of their major; for many, it is the last science course they will ever take. Thus, it has great potential to shape students' attitudes toward STEM fields for the rest of their life. We therefore argue that it is less important, when assessing the effectiveness of introductory astronomy courses, to explore traditional curricular learning gains than to explore the effects that various course components have on this attitude. We describe the results of our analysis of end-of-semester surveys returned by a total of 749 students in 2014-2015, at 10 institutions that employed at least part of the introductory astronomy lecture and lab curriculum we first implemented at UNC-Chapel Hill in 2009. Surveys were designed to measure each student's attitude, and to probe the correlation of attitude with their utilization of, and satisfaction with, various course components, along with other measures of their academic background and their self-assessed performance in the course. We find that students' attitudes are significantly positively correlated with the grade they expect to receive, and their rating of the course's overall effectiveness. To a lesser degree, we find that students' attitudes are positively correlated with their mathematical background, whether they intend to major or pursue a career in STEM, and their rating of the effectiveness of the instructor. We find that students' attitudes are negatively correlated with the amount of work they perceived the course to involve, and, surprisingly, the size and reputation of their home institution. We also find that, for the subsets of students who were exposed to them, students' attitudes are positively correlated with their perception of the helpfulness of the lecture component of the course, and of telescope-based labs that utilized UNC-CH's Skynet Robotic Telescope Network.


title: Properties of the $\epsilon$-Expansion, Lagrange Inversion and Associahedra and the $O(1)$ Model

abstract: We discuss properties of the $\epsilon$-expansion in $d=4-\epsilon$ dimensions. Using Lagrange inversion we write down an exact expression for the value of the Wilson-Fisher fixed point coupling order by order in $\epsilon$ in terms of the beta function coefficients. The $\epsilon$-expansion is combinatoric in the sense that the Wilson-Fisher fixed point coupling at each order depends on the beta function coefficients via Bell polynomials. Using certain properties of Lagrange inversion we then argue that the $\epsilon$-expansion of the Wilson-Fisher fixed point coupling equally well can be viewed as a geometric expansion which is controlled by the facial structure of associahedra. We then write down an exact expression for the value of anomalous dimensions at the Wilson-Fisher fixed point order by order in $\epsilon$ in terms of the coefficients of the beta function and anomalous dimensions. We finally use our general results to compute the values for the Wilson-fisher fixed point coupling and critical exponents for the scalar $O(1)$ symmetric model to $O(\epsilon^7)$.


title: Loewner-based Data-driven Iterative Structured Control Design

abstract: Stability enforcement remains a challenge in data-driven control paradigms, where no parametrised model of the system is available. For instance, the system's instabilities can be estimated in order to enforce a closed-loop stability constraint on the controller reduction step. In order to avoid this preliminary estimation of instabilities, this paper proposes to embed a closed-loop stability constraint in the design. To that extent, an optimization problem is formulated in order to improve matching between the reference model and the closed-loop while maintaining internal stability. The proposed iterative procedure to solve this problem is illustrated on two numerical examples.


title: Affine Connections in Quantum Gravity and New Scalar Fields

abstract: In this manuscript, we will discuss the construction of covariant derivative operator in quantum gravity. We will find it is more perceptive alternative to use affine connections more general than metric compatible connections in quantum gravity. We will demonstrate this using the canonical quantization procedure. This is valid irrespective of the presence and nature of sources. The conventional Palatini and metric-affine formalisms, where the actions are linear in the scalar curvature with metric and affine connections being the the independent variables, are not much suitable to construct a source-free theory of gravity with general affine connections. This is also valid for many minimally coupled interacting theories where sources only couple with metric by using the Levi-Civita connections exclusively. We will discuss potential formalism of affine connections to introduce affine connections more general than metric compatible connections in gravity. We will also discuss possible extensions of the actions for this purpose. General affine connections introduce new fields in gravity besides metric. In this article, we will consider a simple potential formalism with symmetric affine connections and symmetric Ricci tensor. Corresponding affine connections introduce two massless scalar fields. One of these fields contributes a stress-tensor with opposite sign to the sources of Einstein's equation when we state the equation using the Levi-Civita connections. This means we have a massless scalar field with negative stress-tensor in Einstein's equation. This field brings us beyond strict local Minkowski geometries. These scalar fields can be useful to explain inflation and dark energy.


title: Polynomial Probabilistic Invariants and the Optional Stopping Theorem

abstract: In this paper we present methods for the synthesis of polynomial invariants for probabilistic transition systems. Our approach is based on martingale theory. We construct invariants in the form of polynomials over program variables, which give rise to martingales. These polynomials are program invariants in the sense that their expected value upon termination is the same as their value at the start of the computation. In order to guarantee this we apply the Optional Stopping Theorem. Concretely, we present two approaches. The first is restricted to linear systems. In this case under positive almost sure termination there is a reduction to finding linear invariants for deterministic transition systems. Secondly, by exploiting geometric persistence properties we construct martingale invariants for general polynomial transition system. We have implemented this approach and it works on our examples.


title: Performance evaluation of an integrated photonic convolutional neural network based on delay buffering and wavelength division multiplexing

abstract: Photonic technologies have shown a promising way to build high-speed and high-energy-efficiency neural network accelerators. In previously presented photonic neural networks, architectures are mainly designed for fully-connected layers. When convolutional layers are executed in such neural networks, the large-scale electrooptic modulation array heavily increases the energy dissipation on chip. To increase the energy efficiency, here we show an integrated photonic architecture specifically for convolutional layer calculations. Optical delay lines replace electronics to execute data manipulations on optical chip, reducing the scale of electro-optic modulation array. Consequently, the energy dissipation of these parts is mitigated. Powered by wavelength division multiplexing, the footprint of delay lines is significantly reduced compared with previous art, thus being practical to fabricate. We evaluate the potential performance of the proposed architecture with respect to component flaws in practical fabrications. According to the results, with well-controlled system insertion loss, energy efficiency of the proposed architecture would surpass previously presented works and the state-of-art electronic processors. We anticipate the proposed architecture is beneficial for future fast and energy-efficient convolutional neural network accelerators.


title: High Resolution Finite Volume Method for Kinetic Equations with Poisson Brackets

abstract: Simulation of plasmas in electromagnetic fields requires numerical solution of a kinetic equation that describes the time evolution of the particle distribution function. In this paper we propose a finite volume scheme based on integral relation for Poisson brackets to solve the Liouville equation, the most fundamental kinetic equation. The proposed scheme conserves the number of particles, maintains the total-variation-diminishing (TVD) property, and provides high-quality numerical results. Other types of kinetic equations may be also formulated in terms of Poisson brackets and solved with the proposed method including the transport equations describing the acceleration and propagation of Solar Energetic Particles (SEPs), which is of practical importance, since the high energy SEPs produce radiation hazards. The proposed scheme is demonstrated to be accurate and efficient, which makes it applicable to global simulation systems analyzing space weather.

categories: physics.comp-ph astro-ph.SR physics.plasm-ph physics.space-ph


title: Synchronous locating and imaging behind scattering medium in a large depth based on deep learning

abstract: Scattering medium brings great difficulties to locate and image planar objects especially when the object has a large depth. In this letter, a novel learning-based method is presented to locate and image the object hidden behind a thin scattering diffuser. A multi-task network, named DINet, is constructed to predict the depth and the image of the hidden object from the captured speckle patterns. The provided experiments verify that the proposed method enables to locate the object with a depth mean error less than 0.05 mm, and image the object with an average PSNR above 24 dB, in a large depth ranging from 350 mm to 1150 mm. The constructed DINet can obtain multiple physical information via a single speckle pattern, including both the depth and image. Comparing with the traditional methods, it paves the way to the practical applications requiring large imaging depth of field behind scattering media.


title: Mockingjay: Unsupervised Speech Representation Learning with Deep Bidirectional Transformer Encoders

abstract: We present Mockingjay as a new speech representation learning approach, where bidirectional Transformer encoders are pre-trained on a large amount of unlabeled speech. Previous speech representation methods learn through conditioning on past frames and predicting information about future frames. Whereas Mockingjay is designed to predict the current frame through jointly conditioning on both past and future contexts. The Mockingjay representation improves performance for a wide range of downstream tasks, including phoneme classification, speaker recognition, and sentiment classification on spoken content, while outperforming other approaches. Mockingjay is empirically powerful and can be fine-tuned with downstream models, with only 2 epochs we further improve performance dramatically. In a low resource setting with only 0.1% of labeled data, we outperform the result of Mel-features that uses all 100% labeled data.


title: MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding

abstract: Reinforcement learning is a promising approach to learning control policies for performing complex multi-agent robotics tasks. However, a policy learned in simulation often fails to guarantee even simple safety properties such as obstacle avoidance. To ensure safety, we propose multi-agent model predictive shielding (MAMPS), an algorithm that provably guarantees safety for an arbitrary learned policy. In particular, it operates by using the learned policy as often as possible, but instead uses a backup policy in cases where it cannot guarantee the safety of the learned policy. Using a multi-agent simulation environment, we show how MAMPS can achieve good performance while ensuring safety.


title: Experimental High Energy Physics Summer School For High Schools

abstract: Experimental High Energy Physics Summer School for High Schools, (Liseler \.{I}\c{c}in Deneysel Y\"{u}ksek Enerji Fizi\u{g}i Yaz Okulu - lidyef2018) was held between 9-16 September 2018 at Bo\u{g}azi\c{c}i University, Turkey, with financial support from T\"{U}B\.{I}TAK under the 4004 grant 118B491. Out of nearly 700 (11th and 12th grade) applicants, 30 had been selected from all around Turkey. Students were introduced to the fundamentals of high energy physics and performed experiments that demonstrated the techniques of this field, such as a salad-bowl electrostatic accelerator, and a cloud chamber. Here we report on the planning, implementation and the outcomes of the school that can serve as a template for similar activities in the future.


title: What can bouncing oil droplets tell us about quantum mechanics?

abstract: A recent series of experiments have demonstrated that a classical fluid mechanical system, constituted by an oil droplet bouncing on a vibrating fluid surface, can be induced to display a number of behaviours previously considered to be distinctly quantum. To explain this correspondence it has been suggested that the fluid mechanical system provides a single-particle classical model of de Broglie's idiosyncratic 'double solution' pilot wave theory of quantum mechanics. In this paper we assess the epistemic function of the bouncing oil droplet experiments in relation to quantum mechanics. We find that the bouncing oil droplets are best conceived as an analogue illustration of quantum phenomena, rather than an analogue simulation, and, furthermore, that their epistemic value should be understood in terms of how-possibly explanation, rather than confirmation. Analogue illustration, unlike analogue simulation, is not a form of 'material surrogacy', in which source empirical phenomena in a system of one kind can be understood as 'standing in for' target phenomena in a system of another kind. Rather, analogue illustration leverages a correspondence between certain empirical phenomena displayed by a source system and aspects of the ontology of a target system. On the one hand, this limits the potential inferential power of analogue illustrations, but, on the other, it widens their potential inferential scope. In particular, through analogue illustration we can learn, in the sense of gaining how-possibly understanding, about the putative ontology of a target system via an experiment. As such, the potential scientific value of these extraordinary experiments is undoubtedly a significant one.