title: Snore-GANs: Improving Automatic Snore Sound Classification with Synthesized Data

abstract: One of the frontier issues that severely hamper the development of automatic snore sound classification (ASSC) associates to the lack of sufficient supervised training data. To cope with this problem, we propose a novel data augmentation approach based on semi-supervised conditional Generative Adversarial Networks (scGANs), which aims to automatically learn a mapping strategy from a random noise space to original data distribution. The proposed approach has the capability of well synthesizing 'realistic' high-dimensional data, while requiring no additional annotation process. To handle the mode collapse problem of GANs, we further introduce an ensemble strategy to enhance the diversity of the generated data. The systematic experiments conducted on a widely used Munich-Passau snore sound corpus demonstrate that the scGANs-based systems can remarkably outperform other classic data augmentation systems, and are also competitive to other recently reported systems for ASSC.


title: An innovating Statistical Learning Tool based on Partial Differential Equations, intending livestock Data Assimilation

abstract: The realistic modeling intended to quantify precisely some biological mechanisms is a task requiering a lot of a priori knowledge and generally leading to heavy mathematical models. On the other hand, the structure of the classical Machine Learning algorithms, such as Neural Networks, limits their flexibility and the possibility to take into account the existence of complex underlying phenomena, such as delay, saturation and accumulation. The aim of this paper is to reach a compromise between precision, parsimony and flexibility to design an efficient biomimetic predictive tool extracting knowledge from livestock data. To achieve this, we build a Mathematical Model based on Partial Differential Equations (PDE) embarking the mathematical expression of biological determinants. We made the hypothesis that all the physico-chemical phenomena occurring in animal body can be summarized by the evolution of a global information. Therefore the developed PDE system describes the evolution and the action of an information circulating in an Avatar of the Real Animal. This Avatar outlines the dynamics of the biological reactions of animal body in the framework of a specific problem. Each PDE contains parameters corresponding to biological-like factors which can be learnt from data by the developed Statistical Learning Tool.


title: Attention-Augmented End-to-End Multi-Task Learning for Emotion Prediction from Speech

abstract: Despite the increasing research interest in end-to-end learning systems for speech emotion recognition, conventional systems either suffer from the overfitting due in part to the limited training data, or do not explicitly consider the different contributions of automatically learnt representations for a specific task. In this contribution, we propose a novel end-to-end framework which is enhanced by learning other auxiliary tasks and an attention mechanism. That is, we jointly train an end-to-end network with several different but related emotion prediction tasks, i.e., arousal, valence, and dominance predictions, to extract more robust representations shared among various tasks than traditional systems with the hope that it is able to relieve the overfitting problem. Meanwhile, an attention layer is implemented on top of the layers for each task, with the aim to capture the contribution distribution of different segment parts for each individual task. To evaluate the effectiveness of the proposed system, we conducted a set of experiments on the widely used database IEMOCAP. The empirical results show that the proposed systems significantly outperform corresponding baseline systems.


title: Flat liquid jet as a highly efficient source of terahertz radiation

abstract: Polar liquids are strong absorbers of electromagnetic waves in the terahertz range, therefore, historically such liquids have not been considered as good candidates for terahertz sources. However, flowing liquid medium has explicit advantages, such as a higher damage threshold compared to solid-state sources and more efficient ionization process compared to gases. Here we report systematic study of efficient generation of terahertz radiation in flat liquid jets under sub-picosecond single-color optical excitation. We demonstrate how medium parameters such as molecular density, ionization energy and linear absorption contribute to the terahertz emission from the flat liquid jets. Our simulation and experimental measurements reveal that the terahertz energy has quasi-quadratic dependence on the optical excitation pulse energy. Moreover, the optimal pump pulse duration, which depends on the thickness of the jet is theoretically predicted and experimentally confirmed. The obtained optical-to-terahertz energy conversion efficiency is more than 0.05%. It is comparable to the commonly used optical rectification in most of electro-optical crystals and two-color air filamentation. These results, significantly advancing prior research, can be successfully applied to create a new alternative source of terahertz radiation.


title: Optimal Reinsurance and Investment in a Diffusion Model

abstract: We consider a diffusion approximation to an insurance risk model where an external driver models a stochastic environment. The insurer can buy reinsurance. Moreover, investment in a financial market is possible. The financial market is also driven by the environmental process. Our goal is to maximise terminal expected utility. In particular, we consider the case of SAHARA utility functions. In the case of proportional and excess-of-loss reinsurance, we obtain explicit results.


title: Computing huge Groebner basis like cyclic10 over $\Q$ with Giac

abstract: We present a short description on how to fine-tune the modular algorithm implemented in the Giac computer algebra system to reconstruct huge Groebner basis over $\Q$.The classical cyclic10 benchmark will serve as example.


title: USTCSpeech System for VOiCES from a Distance Challenge 2019

abstract: This document describes the speaker verification systems developed in the Speech lab at the University of Science and Technology of China (USTC) for the VOiCES from a Distance Challenge 2019. We develop the system for the Fixed Condition on two public corpus, VoxCeleb and SITW. The frameworks of our systems are based on the mainstream ivector/PLDA and x-vector/PLDA algorithms.


title: Hochshild's method for describing the Mackenzie obstruction for construction of transitive Lie algebroid

abstract: The technique developed in Hochschild's works "Lie algebra kernels and cohomology " and "Cohomology classes of finite dimensional kernels for Lie algebras " [2],[3] can be applied to the special case of transitive Lie algebroids. Our task is formulated to transfer the Hochschild construction to the case of transitive Lie algebroids and prove a similar theorem.


title: Inhomogeneous Mixed-boundary value problem for one dimensional nonlinear Schr\"{o}dinger equations via factorization techniques

abstract: We consider the inhomogeneous Mixed-boundary value problem for the cubic nonlinear Schr\"{o}dinger equations on the half line. We present sufficient conditions of initial and boundary data which ensure asymptotic behavior of small solutions to equations by using the classical energy method and factorization techniques


title: Train One Get One Free: Partially Supervised Neural Network for Bug Report Duplicate Detection and Clustering

abstract: Tracking user reported bugs requires considerable engineering effort in going through many repetitive reports and assigning them to the correct teams. This paper proposes a neural architecture that can jointly (1) detect if two bug reports are duplicates, and (2) aggregate them into latent topics. Leveraging the assumption that learning the topic of a bug is a sub-task for detecting duplicates, we design a loss function that can jointly perform both tasks but needs supervision for only duplicate classification, achieving topic clustering in an unsupervised fashion. We use a two-step attention module that uses self-attention for topic clustering and conditional attention for duplicate detection. We study the characteristics of two types of real world datasets that have been marked for duplicate bugs by engineers and by non-technical annotators. The results demonstrate that our model not only can outperform state-of-the-art methods for duplicate classification on both cases, but can also learn meaningful latent clusters without additional supervision.


title: Color Refinement, Homomorphisms, and Hypergraphs

abstract: Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only if, for every tree T, the number of homomorphisms Hom(T,G) from T to G is equal to the corresponding number Hom(T,H) from T to H (Dell, Grohe, Rattan 2018). We show how this approach transfers to hypergraphs by introducing a generalization of color refinement. We prove that it does not distinguish two hypergraphs G and H if and only if, for every connected Berge-acyclic hypergraph B, we have Hom(B,G) = Hom(B,H). To this end, we show how homomorphisms of hypergraphs and of a colored variant of their incidence graphs are related to each other. This reduces the above statement to one about vertex-colored graphs.


title: Muon $g-2$ in Split-Family SUSY in light of LHC Run II

abstract: The Split-Family supersymmetry is a model in which the sfermion masses of the first two generations are in $\mathcal{O}(100\text{-}1000)$ GeV while that of the third one is in $\mathcal{O}(10)$TeV. With such a hierarchical spectrum, the deviation of the muon $g-2$ and the observed Higgs boson mass are explained simultaneously. In this paper, we revisit the Split-Family SUSY model in light of the updated LHC constraints. We also study the flavor changing neutral current problems in the model. As we will show, the problems do not lead to stringent constraints when the Cabibbo-Kobayashi-Maskawa matrix is the only source of the flavor mixing. We also study how large flavor mixing in the supersymmetry breaking parameters is allowed.


title: Mesoscopic Origin of Ferroelectric-Ferroelectric Transition in BaTiO3

abstract: Ferroelectric materials are the core of common technologies, such as medical ultrasound, mobile-phone antennae and low-power memory devices. The technological interest in ferroelectrics stems from the existence of switchable mesoscale polarization domains. Hence, understanding the origin of ferroelectric functionality requires realization of the domain dynamics during a ferroelectric transformation. However, domain dynamics characterization at the mesoscale is typically too slow with respect to the abrupt ferroic transition. Using scanning probe microscopy with 15-mK thermal-, and deep-submicron spatial-resolution, we realized the domain dynamics during an orthorhombic-to-tetragonal transition in the seminal ferroelectric BaTiO3. We show that the transition comprises four distinguishable mechanisms. The dominant mechanism is a step-by-step progression of a tetragonal-domain wavefront into the orthorhombic phase. This progression is accompanied by ripple-like surface irregularities. Small island domains that remained orthorhombic diffuse then slowly after the wavefront progression. Finally, the resultant tetragonal domains equilibrate by coalescing in a constant-speed. These observations, which are accompanied by quantitative data, bridge between existing macroscopic and microscopic models regarding the nature of ferroelectric transitions, showing the mesoscale origin of ferroelectricity.


title: Epitaxial TiOx Surface in Ferroelectric BaTiO3: Native Structure and Dynamic Patterning at the Atomic Scale

abstract: Surfaces and interfaces of ferroelectric oxides exhibit enhanced functionality, and therefore serve as a platform for novel nano and quantum technologies. Experimental and theoretical challenges associated with examining the subtle electro-chemo-mechanical balance at metal-oxide surfaces have hindered the understanding and control of their structure and behavior. Here, we combine advanced electron-microscopy and first-principles thermodynamics methods to reveal the atomic-scale chemical and crystallographic structure of the surface of the seminal ferroelectric BaTiO3. We show that the surface is composed of a native < 2-nm thick TiOx rock-salt layer in epitaxial registry with the BaTiO3. Using electron-beam irradiation, we successfully patterned artificially TiOx sites with sub-nanometer resolution, by inducing Ba escape. Therefore, our work offers electro-chemo-mechanical insights into ferroelectric surface behavior in addition to a method for scalable high-resolution beam-induced chemical lithography for selectively driving surface phase transitions, and thereby functionalizing metal-oxide surfaces.


title: From Variational to Deterministic Autoencoders

abstract: Variational Autoencoders (VAEs) provide a theoretically-backed and popular framework for deep generative models. However, learning a VAE from data poses still unanswered theoretical questions and considerable practical challenges. In this work, we propose an alternative framework for generative modeling that is simpler, easier to train, and deterministic, yet has many of the advantages of VAEs. We observe that sampling a stochastic encoder in a Gaussian VAE can be interpreted as simply injecting noise into the input of a deterministic decoder. We investigate how substituting this kind of stochasticity, with other explicit and implicit regularization schemes, can lead to an equally smooth and meaningful latent space without forcing it to conform to an arbitrarily chosen prior. To retrieve a generative mechanism to sample new data, we introduce an ex-post density estimation step that can be readily applied also to existing VAEs, improving their sample quality. We show, in a rigorous empirical study, that the proposed regularized deterministic autoencoders are able to generate samples that are comparable to, or better than, those of VAEs and more powerful alternatives when applied to images as well as to structured data such as molecules. \footnote{An implementation is available at: \url{https://github.com/ParthaEth/Regularized_autoencoders-RAE-}}


title: Worlds in Migration

abstract: In this paper we discuss an alternative track for migration that can explain the existence of Hot Jupiters observed in close orbits around their stars based on a novel interpretation of established work. We also discuss the population of sub-Earth rogue planets that would be created via this migration method, which would be on the order of 2 to 40 billion, many of which would still be present in the Galaxy and potentially detectable.


title: Equivalence of ensembles, condensation and glassy dynamics in the Bose-Hubbard Hamiltonian

abstract: We study mathematically the equilibrium properties of the Bose-Hubbard Hamiltonian in the limit of a vanishing hopping amplitude. This system conserves the energy and the number of particles. We establish the equivalence between the microcanonical and the grand-canonical ensembles for all allowed values of the density of particles $\rho$ and density of energy $\varepsilon$. Moreover, given $\rho$, we show that the system undergoes a transition as $\varepsilon$ increases, from a usual positive temperature state to the infinite temperature state where a macroscopic excess of energy condensates on a single site. Analogous results have been obtained by S. Chatterjee (2017) for a closely related model. We introduce here a different method to tackle this problem, hoping that it reflects more directly the basic understanding stemming from statistical mechanics. We discuss also how, and in which sense, the condensation of energy leads to a glassy dynamics.


title: Watt-level green random laser at 532 nm by SHG of a Yb-doped fiber laser

abstract: We have developed a Watt-level random laser at 532 nm. The laser is based on a 1064 nm random distributed ytterbium-gain assisted fiber laser seed with a 0.35 nm line-width 900mW polarized output power. A study for the optimal length of the random distributed mirror was carried out. An ytterbium-doped fiber master oscillator power amplifier architecture is used to amplify the random seeder laser without additional spectral broadening up to 20 W. By using a periodically poled lithium niobate (PPLN) crystal in a single pass configuration we generate in excess of 1 W random laser at 532 nm by second harmonic generation with an efficiency of 9 %. The green random laser exhibits an instability <1 %, optical signal to noise ratio >70 dB, 0.1 nm linewidth and excellent beam quality.


title: The origin of stellar populations in the Galactic bulge from chemical abundances

abstract: In this work, we study the formation and chemical evolution of the Galactic bulge with particular focus on the abundance pattern ([Mg/Fe] vs. [Fe/H]), metallicity and age distribution functions. We consider detailed chemical evolution models for the Galactic bulge and inner disc, with the aim of shedding light on the connection between these components and the origin of bulge stars. In particular, we first present a model assuming a fast and intense star formation, with the majority of bulge stars forming on a timescale less than 1 Gyr. Then we analyze the possibility of two distinct stellar populations in the bulge, as suggested by Gaia-ESO and APOGEE data. These two populations, one metal poor and the other metal rich, can have had two different origins: i) the metal rich formed after a stop of roughly 250 Myr in the star formation rate of the bulge, or ii) the metal rich population is made of stars formed in the inner disc and brought into the bulge by the early secular evolution of the bar. We also examine the case of multiple star bursts in the bulge with consequent formation of multiple populations, as suggested by studies of microlensed stars. After comparing model results and observations, we suggest that the most likely scenario is that there are two main stellar populations, both made mainly by old stars (> 10 Gyr), with the metal rich and younger one formed from inner thin disc stars, in agreement with kinematical arguments. However, on the basis of dynamical simulations, we cannot completely exclude that the second population formed after a stop in the star formation during the bulge evolution, so that all the stars formed in situ.


title: An Alternating Direction Algorithm for Hybrid Precoding and Combining in Millimeter Wave MIMO Systems

abstract: Millimeter-wave (mmWave) technology is one of the most promising candidates for future wireless communication systems as it can offer large underutilized bandwidths and eases the implementation of large antenna arrays which are required to help overcome the severe signal attenuation that occurs at these frequencies. To reduce the high cost and power consumption of a fully digital mmWave precoder and combiner, hybrid analog/digital designs based on analog phase shifters are often adopted. In this work we derive an iterative algorithm for the hybrid precoding and combining design for spatial multiplexing in mmWave massive multiple-input multiple-output (MIMO) systems. To cope with the difficulty of handling the hardware constraint imposed by the analog phase shifters we use the alternating direction method of the multipliers (ADMM) to split the hybrid design problem into a sequence of smaller subproblems. This results in an iterative algorithm where the design of the analog precoder/combiner consists of a closed form solution followed by a simple projection over the set of matrices with equal magnitude elements. It is initially developed for the fully-connected structure and then extended to the partially-connected architecture which allows simpler hardware implementation. Furthermore, to cope with the more likely wideband scenarios where the channel is frequency selective, we also extend the algorithm to an orthogonal frequency division multiplexing (OFDM) based mmWave system. Simulation results in different scenarios show that the proposed design algorithms are capable of achieving performances close to the optimal fully digital solution and can work with a broad range of configuration of antennas, RF chains and data streams.


title: Polariton Exchange Interactions in Multichannel Optical Networks

abstract: We examine the dynamics of Rydberg polaritons with dipolar interactions that propagate in multiple spatial modes. The dipolar excitation exchange between different Rydberg states mediates an effective exchange between polaritons that enables photons to hop across different spatial channels. Remarkably, the efficiency of this photon exchange process can increase with the channel distance and becomes optimal at a finite rail separation. Based on this mechanism, we design a simple photonic network that realizes a two photon quantum gate with a robust $\pi$-phase, protected by the symmetries of the underlying photon interaction and the geometry of the network. These capabilities expand the scope of Rydberg electromagnetically induced transparency towards multidimensional geometries for nonlinear optical networks and explorations of photonic many-body physics.


title: Frequency Domain Equalization for Single and Multiuser Generalized Spatial Modulation Systems in Time Dispersive Channels

abstract: In this letter, a low-complexity iterative detector with frequency domain equalization is proposed for generalized spatial modulation (GSM) aided single carrier (SC) transmissions operating in frequency selective channels. The detector comprises three main separate tasks namely, multiple-input multiple-output (MIMO) equalization, active antenna detection and symbol wise demodulation. This approach makes the detector suitable for a broad range of MIMO configurations, which includes single-user and multiuser scenarios, as well as arbitrary signal constellations. Simulation results show that the receiver can cope with the intersymbol interference induced by severe time dispersive channels and operate in difficult underdetermined scenarios where the total number of transmitter antennas is substantially larger than the number of receiver antennas.


title: Green's functions of Nambu-Goldstone modes and Higgs modes in superconductors

abstract: We examine fundamental properties of Green's functions of Nambu-Goldstone and Higgs modes in superconductors with multiple order parameters. Nambu-Goldstone and Higgs modes are determined once the symmetry of the system and that of the order parameters are specified. Multiple Nambu-Goldstone modes and Higgs modes exist when we have multiple order parameters. The Nambu-Goldstone Green function $D(\omega,{\bf q})$ has the form $1/(gN(0))^2\cdot (2\Delta)^2/(\omega^2-c_s^2{\bf q}^2)$ with the coupling constant $g$ and $c_s=v_F/\sqrt{3}$ for small $\omega$ and ${\bf q}$, with a pole at $\omega=0$ and ${\bf q}=0$ indicating the existence of a massless mode. It is shown, based on the Ward-Takahashi identity, that the massless mode remains massless in the presence of intraband scattering due to nonmagnetic and magnetic impurities. The pole of $D(\omega,{\bf q})$, however, disappears as $\omega$ increases as large as $2\Delta$: $\omega\sim 2\Delta$. The Green function $H(\omega,{\bf q})$ of the Higgs mode is given by $H(\omega,{\bf q})\propto (2\Delta)^2/((2\Delta)^2-\frac{1}{3}\omega^2+\frac{1}{3}c_s^2{\bf q}^2)$ for small $\omega$ and ${\bf q}$. $H(\omega,{\bf q})$ is proportional to $1/(gN(0))^2\cdot \Delta/\sqrt{ (2\Delta)^2+c_s^2{\bf q}^2-\omega^2}$ for $\omega\sim 2\Delta$ and $\omega < \omega({\bf q})$. This behavior is similar to that of the $\sigma$-particle Green function in the Gross-Neveu model. That is, the Higgs Green function $H(\omega, {\bf q})$ has the same singularity as the Green function of the $\sigma$ boson of the Gross-Neveu model. The constant part of the action for the Higgs modes is important since it determines the coherence length of a superconductor. There is the case that it has a large eigenvalue, indicating that the large upper critical field $H_{c2}$ may be realized in a superconductor with multiple order parameters.


title: On asymptotic behaviour of Dirichlet inverse

abstract: Let $f(n)$ be an arithmetic function with $f(1)\neq0$ and let $f^{-1}(n)$ be its reciprocal with respect to the Dirichlet convolution. We study the asymptotic behaviour of $|f^{-1}(n)|$ with regard to the asymptotic behaviour of $|f(n)|$ assuming that the latter one grows or decays with at most polynomial or exponential speed. As a by-product, we obtain simple but constructive upper bounds for the number of ordered factorizations of $n$ into $k$ factors.


title: Coupled quasimonopoles in chiral magnets

abstract: Magnetic singularities, also known as magnetic monopoles or Bloch points, represent intriguingphenomena in nanomagnetism. We show that a pair of coupled Bloch points may appear as alocalized, stable state in cubic chiral magnets. Detailed analysis is presented of the stability of suchobjects in the interior of crystals and in geometrically confined systems.


title: Resolving the temporal evolution of line broadening in quantum emitters

abstract: Light emission from solid-state quantum emitters is inherently prone to environmental decoherence, which results in an inhomogeneous line broadening and in the deterioration of photon indistinguishability. Here we employ photon correlation Fourier spectroscopy (PCFS) to study the temporal evolution of such a broadening for the biexciton and exciton emission in resonantly driven GaAs quantum dots. Differently from previous experiments, the time scales we probe range from a few nanoseconds to milliseconds and, simultaneously, the spectral resolution we achieve can be as small as 2 $\mu$eV. We find pronounced differences in the temporal evolution of the two lines, which we attribute to differences in their homogeneous linewidth and sensitivity to charge noise. We then analyze the effect of irradiation with additional white light, which reduces blinking at the cost of enhanced charge noise. Due to its robustness against experimental imperfections and its high temporal resolution and bandwidth, PCFS outperforms established spectroscopy techniques, such as Michelson interferometry. We discuss its practical implementation, its limitations, and the possibility to use it to estimate the indistinguishability of consecutively emitted single photons for applications in quantum communication and photonic-based quantum information processing.


title: Pauli semigroups and unistochastic quantum channels

abstract: We adopt the perspective of similarity equivalence, in gate set tomography called the gauge, to analyze various properties of quantum operations belonging to a semigroup, $\Phi= e^{{\cal L}t}$,and therefore given through the Lindblad operator. We first observe that the non unital part of the channel decouples from the time evolution. Focusing on unital operations we restrict our attention to the single-qubit case, showing that the semigroup embedded inside the tetrahedron of Pauli channels is bounded by the surface composed of product probability vectors and includes the identity map together with the maximally depolarizing channel. Consequently, every member of the Pauli semigroup is unitarily equivalent to a unistochastic map, describing a coupling with one-qubit environment initially in the maximally mixed state, determined by a unitary matrix of order four.


title: Multiplication method for factoring natural numbers

abstract: We offer multiplication method for factoring big natural numbers which extends the group of the Fermat's and Lehman's factorization algorithms and has run-time complexity $O(n^{1/3})$. This paper is argued the finiteness of proposed algorithm depending on the value of the factorizable number n. We provide here comparative tests results of related algorithms on a large amount of computational checks. We describe identified advantages of the proposed algorithm over others. The possibilities of algorithm optimization for reducing the complexity of factorization are also shown here.


title: Non-Relativistic M2-Brane

abstract: We propose an action for non-relativistic M2-brane in eleven dimensional M-brane Newton-Cartan background. We find its Hamiltonian formulation and we focus on its dimensional reduction to ten dimensions that leads to non-relativistic D2-brane or to non-relativistic string. We also discuss T-duality properties of non-relativistic D2-brane.


title: Energy-Efficient Distributed Processing in Vehicular Cloud Architecture

abstract: Facilitating the revolution for smarter cities, vehicles are getting smarter and equipped with more resources to go beyond transportation functionality. On-Board Units (OBU) are efficient computers inside vehicles that serve safety and non-safety based applications. However, much of these resources are underutilised. On the other hand, more users are relying now on cloud computing which is becoming costly and energy consuming. In this paper, we develop a Mixed Integer linear Programming (MILP) model that optimizes the allocation of processing demands in an architecture that encompasses the vehicles, edge and cloud computing with the objective of minimizing power consumption. The results show power savings of 70%-90% compared to conventional clouds for small demands. For medium and large demand sizes, the results show 20%-30% power saving as the cloud was used partially due to capacity limitations on the vehicular and edge nodes.


title: A framework for fake review detection in online consumer electronics retailers

abstract: The impact of online reviews on businesses has grown significantly during last years, being crucial to determine business success in a wide array of sectors, ranging from restaurants, hotels to e-commerce. Unfortunately, some users use unethical means to improve their online reputation by writing fake reviews of their businesses or competitors. Previous research has addressed fake review detection in a number of domains, such as product or business reviews in restaurants and hotels. However, in spite of its economical interest, the domain of consumer electronics businesses has not yet been thoroughly studied. This article proposes a feature framework for detecting fake reviews that has been evaluated in the consumer electronics domain. The contributions are fourfold: (i) Construction of a dataset for classifying fake reviews in the consumer electronics domain in four different cities based on scraping techniques; (ii) definition of a feature framework for fake review detection; (iii) development of a fake review classification method based on the proposed framework and (iv) evaluation and analysis of the results for each of the cities under study. We have reached an 82% F-Score on the classification task and the Ada Boost classifier has been proven to be the best one by statistical means according to the Friedman test.


title: Frowning Frodo, Wincing Leia, and a Seriously Great Friendship: Learning to Classify Emotional Relationships of Fictional Characters

abstract: The development of a fictional plot is centered around characters who closely interact with each other forming dynamic social networks. In literature analysis, such networks have mostly been analyzed without particular relation types or focusing on roles which the characters take with respect to each other. We argue that an important aspect for the analysis of stories and their development is the emotion between characters. In this paper, we combine these aspects into a unified framework to classify emotional relationships of fictional characters. We formalize it as a new task and describe the annotation of a corpus, based on fan-fiction short stories. The extraction pipeline which we propose consists of character identification (which we treat as given by an oracle here) and the relation classification. For the latter, we provide results using several approaches previously proposed for relation identification with neural methods. The best result of 0.45 F1 is achieved with a GRU with character position indicators on the task of predicting undirected emotion relations in the associated social network graph.


title: The dispersion method and dimensional regularization applied to the decay $H \to Z \gamma$

abstract: We have calculated the $W$-loop contribution to the amplitude of the decay $H \to Z \gamma$ in the unitary gauge through the dispersion method and in the $R_\xi$ gauge using dimensional regularization (DimReg). We show that the results of the calculations with DimReg and the dispersion method, adopting the boundary condition at the limit $M_W \to 0$ defined by the Goldstone boson equivalence theorem (GBET), completely coincide. This implies that the dispersion method obeying the GBET is compatible with DimReg. The advantage of the applied dispersion method is that we work with finite quantities and no regularization is required.


title: Wall's continued-fraction characterization of Hausdorff moment sequences: A conceptual proof

abstract: I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences.


title: Optimizing T gates in Clifford+T circuit as $\pi/4$ rotations around Paulis

abstract: In this work, we introduce a new circuit optimization technique to reduce the number of T gates in Clifford+T circuits by treating T gates conjugated by Clifford gates as $\frac{\pi}{4}$-rotations around Pauli operators. The tested benchmarks shows up to $71.43\%$ and an average $42.67\%$ reduction in T-count, both surpass the best performance reported. The worst case complexity of our algorithm is $O(nk^2)$ where $n$ is the number of qubits and $k$ is the number of T gates in the original Clifford+T circuit.


title: Towards Knowledge-Based Personalized Product Description Generation in E-commerce

abstract: Quality product descriptions are critical for providing competitive customer experience in an e-commerce platform. An accurate and attractive description not only helps customers make an informed decision but also improves the likelihood of purchase. However, crafting a successful product description is tedious and highly time-consuming. Due to its importance, automating the product description generation has attracted considerable interests from both research and industrial communities. Existing methods mainly use templates or statistical methods, and their performance could be rather limited. In this paper, we explore a new way to generate the personalized product description by combining the power of neural networks and knowledge base. Specifically, we propose a KnOwledge Based pErsonalized (or KOBE) product description generation model in the context of e-commerce. In KOBE, we extend the encoder-decoder framework, the Transformer, to a sequence modeling formulation using self-attention. In order to make the description both informative and personalized, KOBE considers a variety of important factors during text generation, including product aspects, user categories, and knowledge base, etc. Experiments on real-world datasets demonstrate that the proposed method out-performs the baseline on various metrics. KOBE can achieve an improvement of 9.7% over state-of-the-arts in terms of BLEU. We also present several case studies as the anecdotal evidence to further prove the effectiveness of the proposed approach. The framework has been deployed in Taobao, the largest online e-commerce platform in China.


title: Market Manipulation as a Security Problem

abstract: Order matching systems form the backbone of modern equity exchanges, used by millions of investors daily. Thus, their operation is strictly controlled through numerous regulatory directives to ensure that markets are fair and transparent. Despite these efforts, market manipulation remains an open problem. In this work, we focus on a class of market manipulation techniques that exploit technical details and glitches in the operation of the exchanges (i.e., mechanical arbitrage). Such techniques are used by predatory traders with deep knowledge of the exchange's structure to gain an advantage over the other market participants. We argue that technical solutions to the problem of mechanical arbitrage have the potential to significantly thwart these practices. Our work provides the first overview of the threat landscape, models fair markets and their security assumptions, and discusses various mitigation measures.


title: Model-based geometrical optimisation and in vivo validation of a spatially selective multielectrode cuff array for vagus nerve neuromodulation

abstract: Background. Neuromodulation by electrical stimulation of the human cervical vagus nerve may be limited by adverse side effects due to stimulation of off-target organs. It may be possible to overcome this by spatially selective stimulation of peripheral nerves. Preliminary studies have shown this is possible using a cylindrical multielectrode human-sized nerve cuff in vagus nerve selective neuromodulation. New method. The model-based optimisation method for multi-electrode geometric design is presented. The method was applied for vagus nerve cuff array and suggested two rings of 14 electrodes, 3 mm apart, with 0.4 mm electrode width and separation and length 0.5-3 mm, with stimulation through a pair in the same radial position on the two rings. The electrodes were fabricated using PDMS-embedded stainless steel foil and PEDOT: pTS coating. Results. In the cervical vagus nerve in anaesthetised sheep, it was possible to selectively reduce the respiratory breath rate (RBR) by 85 +/- 5% without affecting heart rate, or selectively reduce heart rate (HR) by 20 +/- 7% without affecting respiratory rate. The cardiac- and pulmonary-specific sites on the nerve cross-sectional perimeter were localised with a radial separation of 105 +/- 5 degrees (P < 0.01, N = 24 in 12 sheep). Conclusions. Results suggest organotopic or function-specific organisation of neural fibres in the cervical vagus nerve. The optimised electrode array demonstrated selective electrical neuromodulation without adverse side effects. It may be possible to translate this to improved treatment by electrical autonomic neuromodulation for currently intractable conditions.


title: Soliton dynamics for the 1D NLKG equation with symmetry and in the absence of internal modes

abstract: We consider the dynamics of even solutions of the one-dimensional nonlinear Klein-Gordon equation $\partial_t^2 \phi - \partial_x^2 \phi + \phi - |\phi|^{2\alpha} \phi =0$ for $\alpha>1$, in the vicinity of the unstable soliton $Q$. Our main result is that stability in the energy space $H^1(\mathbb R)\times L^2(\mathbb R)$ implies asymptotic stability in a local energy norm. In particular, there exists a Lipschitz graph of initial data leading to stable and asymptotically stable trajectories. The condition $\alpha>1$ corresponds to cases where the linearized operator around $Q$ has no resonance and no internal mode. Recall that the case $\alpha>2$ is treated in Krieger-Nakanishi-Schlag using Strichartz and other local dispersive estimates. Since these tools are not available for low power nonlinearities, our approach is based on virial type estimates and the particular structure of the linearized operator observed in Chang-Gustafson-Nakanishi-Tsai.


title: Prediction of Two-Dimensional Monochalcogenides: MoS and WS

abstract: Using density functional theory, we explore the possibility of two monolayer monochalcogenides, namely, MoS and WS (buckled and puckered). Our results on cohesive energy and phonon dispersion predict that the buckled structures of both MoS and WS are stable. On the other hand, while the puckered structure of WS clearly shows a dynamical instability, the same for MoS may have a stable configuration. Charge analyses predict ionic-like bonding in these systems. Density of states and band structure reveal a non-magnetic metallic nature for MoS in the stable configurations. However, for the buckled WS, our study predicts a non-magnetic semi-metallic nature. Further, semi-metal to indirect semiconductor transition has been observed for tensile strain of 5%, 6% and 8%.


title: Putative spin-nematic phase in BaCdVO(PO$_{4}$)$_{2}$

abstract: We report neutron scattering and AC magnetic susceptibility measurements of the 2D spin-1/2 frustrated magnet BaCdVO(PO$_{4}$)$_{2}$. At temperatures well below $T_{\sf N}\approx 1K$, we show that only 34 % of the spin moment orders in an up-up-down-down strip structure. Dominant magnetic diffuse scattering and comparison to published $\mu$sr measurements indicates that the remaining 66 % is fluctuating. This demonstrates the presence of strong frustration, associated with competing ferromagnetic and antiferromagnetic interactions, and points to a subtle ordering mechanism driven by magnon interactions. On applying magnetic field, we find that at $T=0.1$ K the magnetic order vanishes at 3.8 T, whereas magnetic saturation is reached only above 4.5 T. We argue that the putative high-field phase is a realization of the long-sought bond-spin-nematic state.


title: Black and gray solitons in holographic superfluids at zero temperature

abstract: We construct gray soliton configurations, which move at constant speeds, in holographic superfluids for the first time. Since there should be no dissipation for a moving soliton to exist, we use the simplest holographic superfluid model at zero temperature, considering both the standard and alternative quantizations. For comparison purpose, we first investigate black solitons in the zero temperature holographic superfluids, which are static configurations. Then we focus on the numerical construction of gray solitons under both quantizations, which interpolate between the (static) black solitons and sound waves (moving at the speed of sound). Interestingly, under the standard quantization, a peculiar oscillation of the soliton configurations is observed, very much resembling the Friedel oscillation in fermionic superfluids at the BCS regime. Some implications and other aspects of the soliton configurations are also discussed.


title: The Heider balance and the looking-glass self

abstract: We consider the dynamics of interpersonal relations which leads to balanced states in a fully connected network. Here this approach is applied to directed networks with asymmetric relations, and it is generalized to include self-evaluation of actors, according to the 'looking-glass self' theory. A new index of self-acceptance is proposed: the relation of an actor to him/herself is positive, if the majority of his/her positive relations to others are reciprocated. Sets of stable configurations of relations are obtained under the dynamics, where the self-evaluation of some actors is negative. Within each set all configurations have the same structure.


title: Trapping charge carriers in low-dimensional Dirac materials

abstract: We consider the problem of confining the famously elusive Dirac-like quasiparticles, as found in some recently discovered low-dimensional systems. After briefly surveying the existing theoretical proposals for creating bound states in Dirac materials, we study relativistic excitations with a position-dependent mass term. With the aid of an exactly-solvable model, we show how bound states begin to emerge after a critical condition on the size of the mass term is met. We also reveal some exotic properties of the unusual confinement discovered, including an elegant chevron structure of the bound state energies as a function of the size of the mass.


title: Distributed Ledger Technology for Smart Mobility: Variable Delay Models

abstract: Recently, Directed Acyclic Graph (DAG) based Distributed Ledgers have been proposed for various applications in the smart mobility domain [1]. While many application studies have been described in the literature, an open problem in the DLT community concerns the lack of mathematical models describing their behaviour, and their validation. Building on a previous work in [1], we present, in this paper, a fluid based approximation for the IOTA Foundation DAG based DLT that incorporates varying transaction delays. This extension, namely the inclusion of varying delays, is important for feedback control applications (such as transactive control [2]). Extensive simulations are presented to illustrate the efficacy of our approach.


title: Deep, spatially coherent Occupancy Maps based on Radar Measurements

abstract: One essential step to realize modern driver assistance technology is the accurate knowledge about the location of static objects in the environment. In this work, we use artificial neural networks to predict the occupation state of a whole scene in an end-to-end manner. This stands in contrast to the traditional approach of accumulating each detection's influence on the occupancy state and allows to learn spatial priors which can be used to interpolate the environment's occupancy state. We show that these priors make our method suitable to predict dense occupancy estimations from sparse, highly uncertain inputs, as given by automotive radars, even for complex urban scenarios. Furthermore, we demonstrate that these estimations can be used for large-scale mapping applications.


title: Automatic Failure Explanation in CPS Models

abstract: Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious task left to the experience and domain knowledge of the designer. \n In this paper, we propose CPSDebug, a novel approach that by combining testing, specification mining, and failure analysis, can automatically explain failures in Simulink/Stateflow models. We evaluate CPSDebug on two case studies, involving two use scenarios and several classes of faults, demonstrating the potential value of our approach.


title: Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"

abstract: The helping Lemma 7 in [Maslowski and Wijsen, ICDT, 2014] is false. The lemma is used in (and only in) the proof of Theorem 3 of that same paper. In this corrigendum, we provide a new proof for the latter theorem.


title: Trustworthy Experimentation Under Telemetry Loss

abstract: Failure to accurately measure the outcomes of an experiment can lead to bias and incorrect conclusions. Online controlled experiments (aka AB tests) are increasingly being used to make decisions to improve websites as well as mobile and desktop applications. We argue that loss of telemetry data (during upload or post-processing) can skew the results of experiments, leading to loss of statistical power and inaccurate or erroneous conclusions. By systematically investigating the causes of telemetry loss, we argue that it is not practical to entirely eliminate it. Consequently, experimentation systems need to be robust to its effects. Furthermore, we note that it is nontrivial to measure the absolute level of telemetry loss in an experimentation system. In this paper, we take a top-down approach towards solving this problem. We motivate the impact of loss qualitatively using experiments in real applications deployed at scale, and formalize the problem by presenting a theoretical breakdown of the bias introduced by loss. Based on this foundation, we present a general framework for quantitatively evaluating the impact of telemetry loss, and present two solutions to measure the absolute levels of loss. This framework is used by well-known applications at Microsoft, with millions of users and billions of sessions. These general principles can be adopted by any application to improve the overall trustworthiness of experimentation and data-driven decision making.


title: Rotating charged AdS solutions in quadratic $f(T)$ gravity

abstract: We present a class of asymptotically anti-de Sitter charged rotating black hole solutions in $f(T)$ gravity in $N$-dimensions, where $f(T)=T+\alpha T^{2}$. These solutions are nontrivial extensions of the solutions presented in \cite{Lemos:1994xp} and \cite{Awad:2002cz} in the context of general relativity. They are characterized by cylindrical, toroidal or flat horizons, depending on global identifications. The static charged black hole configurations obtained in \cite{Awad:2017tyz} are recovered as special cases when the rotation parameters vanish. Similar to \cite{Awad:2017tyz} the static black holes solutions have two different electric multipole terms in the potential with related moments. Furthermore, these solutions have milder singularities compared to their general relativity counterparts. Using the conserved charges expressions obtained in \cite{Ulhoa:2013gca} and \cite{Maluf:2008ug} we calculate the total mass/energy and the angular momentum of these solutions.


title: Real-Time Remote Estimation with Hybrid ARQ in Wireless Networked Control

abstract: Real-time remote estimation is critical for mission-critical applications including industrial automation, smart grid and tactile Internet. In this paper, we propose a hybrid automatic repeat request (HARQ)-based real-time remote estimation framework for linear time-invariant (LTI) dynamic systems. Considering the estimation quality of such a system, there is a fundamental tradeoff between the reliability and freshness of the sensor's measurement transmission. We formulate a new problem to optimize the sensor's online transmission control policy for static and Markov fading channels, which depends on both the current estimation quality of the remote estimator and the current number of retransmissions of the sensor, so as to minimize the long-term remote estimation mean squared error (MSE). This problem is non-trivial. In particular, it is challenging to derive the condition in terms of the communication channel quality and the LTI system parameters, to ensure a bounded long-term estimation MSE. We derive an elegant sufficient condition of the existence of a stationary and deterministic optimal policy that stabilizes the remote estimation system and minimizes the MSE. Also, we prove that the optimal policy has a switching structure, and accordingly derive a low-complexity suboptimal policy. Numerical results show that the proposed optimal policy significantly improves the performance of the remote estimation system compared to the conventional non-HARQ policy.


title: Shape Robust Text Detection with Progressive Scale Expansion Network

abstract: Scene text detection has witnessed rapid progress especially with the recent development of convolutional neural networks. However, there still exists two challenges which prevent the algorithm into industry applications. On the one hand, most of the state-of-art algorithms require quadrangle bounding box which is in-accurate to locate the texts with arbitrary shape. On the other hand, two text instances which are close to each other may lead to a false detection which covers both instances. Traditionally, the segmentation-based approach can relieve the first problem but usually fail to solve the second challenge. To address these two challenges, in this paper, we propose a novel Progressive Scale Expansion Network (PSENet), which can precisely detect text instances with arbitrary shapes. More specifically, PSENet generates the different scale of kernels for each text instance, and gradually expands the minimal scale kernel to the text instance with the complete shape. Due to the fact that there are large geometrical margins among the minimal scale kernels, our method is effective to split the close text instances, making it easier to use segmentation-based methods to detect arbitrary-shaped text instances. Extensive experiments on CTW1500, Total-Text, ICDAR 2015 and ICDAR 2017 MLT validate the effectiveness of PSENet. Notably, on CTW1500, a dataset full of long curve texts, PSENet achieves a F-measure of 74.3% at 27 FPS, and our best F-measure (82.2%) outperforms state-of-art algorithms by 6.6%. The code will be released in the future.


title: On split regular BiHom-Leibniz superalgebras

abstract: The goal of this paper is to study the structure of split regular BiHom-Leiniz superalgebras, which is a natural generalization of split regular Hom-Leiniz algebras and split regular BiHom-Lie superalgebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular BiHom-Leiniz superalgebras $\mathfrak{L}$ is of the form $\mathfrak{L}=U+\sum_{\a}I_\a$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_{\a}$, a well described ideal of $\mathfrak{L}$, satisfying $[I_\a, I_\b]= 0$ if $[\a]\neq [\b]$. In the case of $\mathfrak{L}$ being of maximal length, the simplicity of $\mathfrak{L}$ is also characterized in terms of connections of roots.


title: Barrlund's distance function and quasiconformal maps

abstract: Answering a question about triangle inequality suggested by R. Li, A. Barrlund introduced a distance function which is a metric on a subdomain of ${\mathbb R}^n\,.$ We study this Barrlund metric and give sharp bounds for it in terms of other metrics of current interest. We also prove sharp distortion results for the Barrlund metric under quasiconformal maps.


title: DNA: Deeply-supervised Nonlinear Aggregation for Salient Object Detection

abstract: Recent progress on salient object detection mainly aims at exploiting how to effectively integrate multi-scale convolutional features in convolutional neural networks (CNNs). Many popular methods impose deep supervision to perform side-output predictions that are linearly aggregated for final saliency prediction. In this paper, we theoretically and experimentally demonstrate that linear aggregation of side-output predictions is suboptimal, and it only makes limited use of the side-output information obtained by deep supervision. To solve this problem, we propose Deeply-supervised Nonlinear Aggregation (DNA) for better leveraging the complementary information of various side-outputs. Compared with existing methods, it i) aggregates side-output features rather than predictions, and ii) adopts nonlinear instead of linear transformations. Experiments demonstrate that DNA can successfully break through the bottleneck of current linear approaches. Specifically, the proposed saliency detector, a modified U-Net architecture with DNA, performs favorably against state-of-the-art methods on various datasets and evaluation metrics without bells and whistles.


title: 2-regular Digraphs of the Lovelock Lagrangian

abstract: The manuscripts tabulates arc lists of the 1, 1, 3, 8, 25, 85, 397 ... unlabeled 2-regular digraphs on n=0, 1, 2, ..., 9 nodes, including disconnected graphs, graphs with multiarcs and/or graphs with loops. Each of these graphs represents one term of the Lagrangian of Lovelock's type -- a contraction of a product of n Riemann tensors -- once the 2 covariant and 2 contravariant indices of a tensor are associated with the in-edges and out-edges of a node.


title: Item Listing Optimization for E-commerce Websites based on Diversity

abstract: For e-commerce websites, deciding the manner in which items are listed on webpages is an important issue because it can dramatically affect item sales. One of the simplest strategies of listing items to improve the overall sales is to do so in a descending order of sales or sales numbers. However, in lists generated using this strategy, items with high similarity are often placed consecutively. In other words, the generated item list might be biased toward a specific preference. Therefore, this study employs penalties for items with high similarity being placed next to each other in the list and transforms the item listing problem to a quadratic assignment problem (QAP). The QAP is well-known as an NP-hard problem that cannot be solved in polynomial time. To solve the QAP, we employ quantum annealing (QA), which exploits the quantum tunneling effect to efficiently solve an optimization problem. In addition, we propose a problem decomposition method based on the structure of the item listing problem because the quantum annealer we use (i.e., D-Wave 2000Q) has a limited number of quantum bits. Our experimental results indicate that we can create an item list that considers both sales and diversity. In addition, we observe that using the problem decomposition method based on a problem structure can lead to a better solution with the quantum annealer in comparison with the existing problem decomposition method.


title: Thermal stability of a special class of black hole solutions in F(R) gravity

abstract: In this paper, we work on the topological Lifshitz-like black hole solutions of a special class of vacuum $F(R)-$gravity that are static and spherically symmetric. We investigate geometric and thermodynamic properties of the solutions with due respect to the validity of the first law of thermodynamics. We examine the van der Waals like behavior for asymptotically AdS solutions with spherical horizon by studying the $P-v$, $G-T$ and $C_{Q,P}-r_{+}$ diagrams and find a consistent result. We also investigate the same behavior for hyperbolic horizon and interestingly find that the system under study can experience a phase transition with negative temperature.


title: Dynamic mode decomposition for multiscale nonlinear physics

abstract: We present a data-driven method for separating complex, multiscale systems into their constituent time-scale components using a recursive implementation of dynamic mode decomposition (DMD). Local linear models are built from windowed subsets of the data, and dominant time scales are discovered using spectral clustering on their eigenvalues. This approach produces time series data for each identified component, which sum to a faithful reconstruction of the input signal. It differs from most other methods in the field of multiresolution analysis (MRA) in that it 1) accounts for spatial and temporal coherencies simultaneously, making it more robust to scale overlap between components, and 2) yields a closed-form expression for local dynamics at each scale, which can be used for short-term prediction of any or all components. Our technique is an extension of multi-resolution dynamic mode decomposition (mrDMD), generalized to treat a broader variety of multiscale systems and more faithfully reconstruct their isolated components. In this paper we present an overview of our algorithm and its results on two example physical systems, and briefly discuss some advantages and potential forecasting applications for the technique.


title: Thermodynamic studies of Different Type of Black Holes: General Uncertainty Principle Approach

abstract: We present an investigation on thermodynamics of two different types of black holes viz. Kiselev black hole (asymptotically flat) and Taub-NUT (non-asymptotically flat) black hole. We compute the thermodynamic variables like black hole's Hawking temperature, entropy at the black hole's event horizon. Further we derive the heat capacity and examine it to study the thermal stability of the black holes. We also calculate the rate of emission assuming the black holes radiate energy in terms of photons by tunneling. We represent all the parameters including the rate of emission of the black holes graphically and interpret them physically. We depict a comparative study of thermodynamics between the afroesaid types of black holes. Here we find the existence of a transition of phase. Finally, we obtain the quantum-corrected thermodynamics on the basis of general uncertainty principle and it is seen from the quantum-corrected entropy that it contains the logarithmic term. We offer comparative studies on joint effect of generalised uncertainty principle parameter $\alpha$ along with the concerned black holes' parameters on the thermodynamics.


title: COFFEE -- An MPI-parallelized Python package for the numerical evolution of differential equations

abstract: COFFEE (ConFormal Field Equation Evolver) is a Python package primarily developed to numerically evolve systems of partial differential equations over time using the method of lines. It includes a variety of time integrators and finite differencing stencils with the summation-by-parts property, as well as pseudo-spectral functionality for angular derivatives of spin-weighted functions. Some additional capabilities include being MPI-parallelisable on a variety of different geometries, HDF data output and post processing scripts to visualize data, and an actions class that allows users to create code for analysis after each timestep.


title: Online Multi-target regression trees with stacked leaf models

abstract: One of the current challenges in machine learning is how to deal with data coming at increasing rates in data streams. New predictive learning strategies are needed to cope with the high throughput data and concept drift. One of the data stream mining tasks where new learning strategies are needed is multi-target regression, due to its applicability in a high number of real world problems. While reliable and effective learning strategies have been proposed for batch multi-target regression, few have been proposed for multi-target online learning in data streams. Besides, most of the existing solutions do not consider the occurrence of inter-target correlations when making predictions. In this work, we propose a novel online learning strategy for multi-target regression in data streams. The proposed strategy extends existing online decision tree learning algorithm to explore inter-target dependencies while making predictions. For such, the proposed strategy, called Stacked Single-target Hoeffding Tree (SST-HT), uses the inter-target dependencies as an additional information source to enhance predictive accuracy. Throughout an extensive experimental setup, we evaluate our proposal against state-of-the-art decision tree-based algorithms for online multi-target regression. According to the experimental results, SST-HT presents superior predictive accuracy, with a small increase in the processing time and memory requirements.


title: Measurement of ultrashort vector pulses from polarization gates by in-line, single-channel spectral interferometry

abstract: The growing use of ultrashort laser pulses exhibiting time-varying polarization (vector pulses) demands simple and robust characterization techniques capable to perform measurements in a broad range of experimental and environmental conditions. Here we present in-line, single-channel setup based on spectral interferometry to characterize ultrashort vector pulses. The use of a bulk interferometer based on birefringence is key for the stability and sensitivity of the technique, thus being simple and highly robust. The technique is used to measure vector pulses corresponding to polarization gates, which are used in many applications. Those results are validated by simulations. The technique here presented has a number of potential applications in nonlinear effects (e.g. transient birefringence and nonlinear phenomena with vector pulses).


title: Pointwise Bounds and Blow-up for Systems of Nonlinear Fractional Parabolic Inequalities

abstract: We investigate nonnegative solutions $u(x,t)$ and $v(x,t)$ of the nonlinear system of inequalities \[0\leq(\partial_t -\Delta)^\alpha u\leq v^\lambda\] \[ 0\leq (\partial_t -\Delta)^\beta v\leq u^\sigma\] in $\mathbb{R}^n \times\mathbb{R}$, $n\geq 1$, satisfying the initial conditions \[ u=v=0\quad\text{ in }\mathbb{R}^n \times(-\infty,0) \] where $\lambda,\sigma,\alpha$, and $\beta$ are positive constants. Specifically, using the definition of the fractional heat operator $(\partial_t-\Delta)^\alpha$ given in \cite{T}, we obtain, when they exist, optimal pointwise upper bounds on $\mathbb{R}^n \times(0,\infty)$ for nonnegative solutions $u$ and $v$ of this initial value problem with particular emphasis on these bounds as $t\to0^+$ and as $t\to\infty$.


title: Escape, bound and capture geodesics in local static coordinates in Schwarzschild spacetime

abstract: The classical geodesics of timelike particles in Schwarzschild spacetime is analyzed according to the particle starting radius $r$, velocity $v$ and angle $\alpha$ against the radial outward direction in the reference system of an local static observer. The region of escape, bound and capture orbits in the parameter space of $(r,~v,~\alpha)$ are solved using the three cases of the effective potential. It is found that generally for radius smaller than $4M$ or velocity larger than $c/\sqrt{2}$ there will be no bound orbits. While for fixed radius larger than $4M$ (or velocity smaller than $c/\sqrt{2}$), as velocity (or radius) increase from zero (or $2M$), the particle is always captured until a critical value $v_{\mathrm{crit1}}$ (or $r_{\mathrm{crit1}}$) when the bound orbit start to appear around $\alpha=\pi/2$ between a double-napped cone structure. As the velocity (or radius) increases to another critical value $v_{\mathrm{crit2}}$ (or $r_{\mathrm{crit2}}$) then the bound directions and escape directions in the outward cone become escape directions, leaving only the inward cone separating the capture and bound directions. The angle of this cone will increase to its asymptotic value as velocity (or radius) increases to its asymptotic value. The implication of these results in shadow of black holes formed by massive particles, in black hole accretion and in spacecraft navigation is briefly discussed.


title: Network Structure Effects in Reservoir Computers

abstract: A reservoir computer is a complex nonlinear dynamical system that has been shown to be useful for solving certain problems, such as prediction of chaotic signals, speech recognition or control of robotic systems. Typically a reservoir computer is constructed by connecting a large number of nonlinear nodes in a network, driving the nodes with an input signal and using the node outputs to fit a training signal. In this work, we set up reservoirs where the edges (or connections) between all the network nodes are either +1 or 0, and proceed to alter the network structure by flipping some of these edges from +1 to -1. We use this simple network because it turns out to be easy to characterize; we may use the fraction of edges flipped as a measure of how much we have altered the network. In some cases, the network can be rearranged in a finite number of ways without changing its structure; these rearrangements are symmetries of the network, and the number of symmetries is also useful for characterizing the network. We find that changing the number of edges flipped in the network changes the rank of the covariance of a matrix consisting of the time series from the different nodes in the network, and speculate that this rank is important for understanding the reservoir computer performance.


title: Consistency and Asymptotic Normality of Stochastic Block Models Estimators from Sampled Data

abstract: Statistical analysis of network is an active research area and the literature counts a lot of papers concerned with network models and statistical analysis of networks. However, very few papers deal with missing data in network analysis and we reckon that, in practice, networks are often observed with missing values. In this paper we focus on the Stochastic Block Model with valued edges and consider a MCAR setting by assuming that every dyad (pair of nodes) is sampled identically and independently of the others with probability $\rho > 0$. We prove that maximum likelihood estimators and its variational approximations are consistent and asymptotically normal in the presence of missing data as soon as the sampling probability $\rho$ satisfies $\rho\gg\log(n)/n$.


title: Cross-Subject Transfer Learning in Human Activity Recognition Systems using Generative Adversarial Networks

abstract: Application of intelligent systems especially in smart homes and health-related topics has been drawing more attention in the last decades. Training Human Activity Recognition (HAR) models -- as a major module -- requires a fair amount of labeled data. Despite training with large datasets, most of the existing models will face a dramatic performance drop when they are tested against unseen data from new users. Moreover, recording enough data for each new user is unviable due to the limitations and challenges of working with human users. Transfer learning techniques aim to transfer the knowledge which has been learned from the source domain (subject) to the target domain in order to decrease the models' performance loss in the target domain. This paper presents a novel method of adversarial knowledge transfer named SA-GAN stands for Subject Adaptor GAN which utilizes Generative Adversarial Network framework to perform cross-subject transfer learning in the domain of wearable sensor-based Human Activity Recognition. SA-GAN outperformed other state-of-the-art methods in more than 66% of experiments and showed the second best performance in the remaining 25% of experiments. In some cases, it reached up to 90% of the accuracy which can be obtained by supervised training over the same domain data.


title: Generalized Fock space and contextuality

abstract: This paper is devoted to linear space representations of contextual probabilities - in generalized Fock space. This gives the possibility to use the calculus of creation and annihilation operators to express probabilistic dynamics in the Fock space (in particular, the wide class of classical kinetic equations). In this way we reproduce the Doi-Peliti formalism. The context-dependence of probabilities can be quantified with the aid of the generalized formula of total probability - by the magnitude of the interference term.


title: Survival probability for a class of multitype subcritical branching processes in random environment

abstract: We study the asymptotic behaviour of the survival probability of a multi-type branching processes in random environment. The class of processes we consider corresponds, in the one-dimensional situation, to the intermediately subcritical case. We show under rather general assumptions on the form of the offspring generating functions of particles that the probability of survival up to generation $n$ of the process initiated at moment zero by a single particle of any type is of order $\lambda ^{n}n^{-1/2}$ for large $n,$ where $\lambda \in (0,1)$ is a constant specified by the Lyapunov exponent of the mean matrices of the process.


title: Interpretation of the resonant drag instability of dust settling in protoplanetary disc

abstract: The recently discovered resonant drag instability of dust settling in protoplanetary disc is considered as the mode coupling of subsonic gas-dust mixture perturbations. This mode coupling is coalescence of two modes with nearly equal phase velocities: the first mode is inertial wave having positive energy, while the second mode is a settling dust wave (SDW) having negative energy as measured in the frame of gas environment being at rest in vertical hydrostatic equilibrium. SDW is a trivial mode produced by the bulk settling of dust, which transports perturbations of dust density. The phase velocity of SDW is equal to the bulk settling velocity times the cosine of the angle formed by the wave vector and the rotation axis. In this way, the bulk settling of dust makes possible the coupling of SDW with the inertial wave and the onset of the instability. In accordance with the concept of the mode coupling, the instability growth rate is proportional to the square root of the dispersion equation coupling term, which itself contains the small mass fraction of dust in gas-dust mixture, the squared radial wavenumber of the modes, and the squared bulk settling velocity. Thus, the higher is the bulk settling velocity, the heavier clumps of dust can be aggregated by the instability of the same rate.


title: Asymmetric Deep Semantic Quantization for Image Retrieval

abstract: Due to its fast retrieval and storage efficiency capabilities, hashing has been widely used in nearest neighbor retrieval tasks. By using deep learning based techniques, hashing can outperform non-learning based hashing technique in many applications. However, we argue that the current deep learning based hashing methods ignore some critical problems (e.g., the learned hash codes are not discriminative due to the hashing methods being unable to discover rich semantic information and the training strategy having difficulty optimizing the discrete binary codes). In this paper, we propose a novel image hashing method, termed as \textbf{\underline{A}}symmetric \textbf{\underline{D}}eep \textbf{\underline{S}}emantic \textbf{\underline{Q}}uantization (\textbf{ADSQ}). \textbf{ADSQ} is implemented using three stream frameworks, which consist of one \emph{LabelNet} and two \emph{ImgNets}. The \emph{LabelNet} leverages the power of three fully-connected layers, which are used to capture rich semantic information between image pairs. For the two \emph{ImgNets}, they each adopt the same convolutional neural network structure, but with different weights (i.e., asymmetric convolutional neural networks). The two \emph{ImgNets} are used to generate discriminative compact hash codes. Specifically, the function of the \emph{LabelNet} is to capture rich semantic information that is used to guide the two \emph{ImgNets} in minimizing the gap between the real-continuous features and the discrete binary codes. Furthermore, \textbf{ADSQ} can utilize the most critical semantic information to guide the feature learning process and consider the consistency of the common semantic space and Hamming space. Experimental results on three benchmarks (i.e., CIFAR-10, NUS-WIDE, and ImageNet) demonstrate that the proposed \textbf{ADSQ} can outperforms current state-of-the-art methods.


title: Stochastic efficiency of thermodiffusion: an extended local equilibrium approach

abstract: The recently established connection between stochastic thermodynamics and fluctuating hydrodynamics is applied to a study of efficiencies in the coupled transport of heat and matter on a small scale. A stochastic model for a mesoscopic cell connected to two macroscopic reservoirs of heat and particles is developed, based on fluctuating hydrodynamics. Within this approach, the fluctuating separation and thermodynamic efficiencies are defined. The conditions required to observe bimodal distributions of these efficiencies are determined, and the evolution of these distributions is investigated in the large-size and in the long-time limits. The results obtained are not restricted to thermodiffusion and can be generalized to systems where efficiency is defined as a ratio of stochastic state variables or dissipation rates.


title: Crowd Sourced Data Analysis: Mapping of Programming Concepts to Syntactical Patterns

abstract: Since programming concepts do not match their syntactic representations, code search is a very tedious task. For instance in Java or C, array doesn't match [], so using "array" as a query, one cannot find what they are looking for. Often developers have to search code whether to understand any code, or to reuse some part of that code, or just to read it, without natural language searching, developers have to often scroll back and forth or use variable names as their queries. In our work, we have used Stackoverflow (SO) question and answers to make a mapping of programming concepts with their respective natural language keywords, and then tag these natural language terms to every line of code, which can further we used in searching using natural language keywords.


title: Global Schauder estimates for the $p$-Laplace system

abstract: An optimal first-order global regularity theory, in spaces of functions defined in terms of oscillations, is established for solutions to Dirichlet problems for the $p$-Laplace equation and system, with right-hand side in divergence form. The exact mutual dependence among the regularity of the solution, of the datum on the right-hand side, and of the boundary of the domain in these spaces is exhibited. A comprehensive formulation of our results is given in terms of Campanato seminorms. New regularity results in customary function spaces, such as H\"older, $\mathrm{BMO}$ and $\mathrm{VMO}$ spaces, follow as a consequence. Importantly, the conclusions are new even in the linear case when $p=2$, and hence the differential operator is the plain Laplacian. Yet in this classical linear setting, our contribution completes and augments the celebrated Schauder theory in H\"older spaces, and complements the Jerison-Kenig gradient theory in Lebesgue spaces with a parallel in the oscillation spaces realm. The sharpness of our results is demonstrated by apropos examples.


title: A Stochastic Model Predictive Control Approach for Driver-Aided Intersection Crossing With Uncertain Driver Time Delay

abstract: We investigate the problem of coordinating human-driven vehicles in road intersections without any traffic lights or signs by issuing speed advices. The vehicles in the intersection are assumed to move along an a priori known path and to be connected via vehicle-to-vehicle communication. The challenge arises with the uncertain driver reaction to a speed advice, especially in terms of the driver reaction time delay, as it might lead to unstable system dynamics. For this control problem, a distributed stochastic model predictive control concept is designed which accounts for driver uncertainties. By optimizing over scenarios, which are sequences of independent and identically distributed samples of the uncertainty over the prediction horizon, we can give probabilistic guarantees on constraint satisfaction. Simulation results demonstrate that the scenario-based approach is able to avoid collisions in spite of uncertainty while the non-stochastic baseline controller is not.


title: Quantum Simulation of the Fermion-Boson Composite Quasi-Particles with a Driven Qubit-Magnon Hybrid Quantum System

abstract: We experimentally demonstrate strong coupling between the ferromagnetic magnons in a small yttrium-iron-garnet (YIG) sphere and the drive-field-induced dressed states of a superconducting qubit, which gives rise to the double dressing of the superconducting qubit. The YIG sphere and the superconducting qubit are embedded in a microwave cavity and the effective coupling between them is mediated by the virtual cavity photons. The theoretical results fit the experimental observations well in a wide region of the drive-field power resonantly applied to the superconducting qubit and reveal that the driven qubit-magnon hybrid quantum system can be harnessed to emulate a particle-hole-symmetric pair coupled to a bosonic mode. This hybrid quantum system offers a novel platform for quantum simulation of the composite quasi-particles consisting of fermions and bosons.


title: A note on Kostka numbers

abstract: We give an elementary proof of a well-known result on Kostka numbers, following a question from Mark Wildon on MathOverflow. Namely, we show that given partitions $\lambda,\mu,\nu$ of $n$ with $\mu\trianglerighteq\nu$, we have $K_{\lambda\nu}\geqslant K_{\lambda\mu}$.


title: Displacement Autocorrelation Functions for Strong Anomalous Diffusion: A Scaling Form, Universal Behavior, and Corrections to Scaling

abstract: Strong anomalous diffusion is characterized by asymptotic power-law growth of the moments of displacement, with exponents that do not depend linearly on the order of the moment. The exponents concerning small-order moments are dominated by random motion, while higher-order exponents grow by faster trajectories, such as ballistic excursions or "light fronts". Often such a situation is characterized by two linear dependencies of the exponents on their order. Here, we introduce a simple exactly solvable model, the Fly-and-Die (FnD) model, that sheds light on this behavior and on the consequences of light fronts on displacement autocorrelation functions in transport processes. We present analytical expressions for the moments and derive a scaling form that expresses the long-time asymptotics of the autocorrelation function $\langle x(t_1)\,x(t_2)\rangle$ in terms of the dimensionless time difference $(t_2-t_1)/t_1$. The scaling form provides a faithful collapse of numerical data for vastly different systems. This is demonstrated here for the Lorentz gas with infinite horizon, polygonal billiards with finite and infinite horizon, the L\'evy-Lorentz gas, the Slicer Map, and L\'evy walks. Our analysis also captures the system-specific corrections to scaling.


title: Field trial of a finite-key quantum key distribution system in the Florence metropolitan area

abstract: In-field demonstrations in real-world scenarios boost the development of a rising technology towards its integration in existing infrastructures. Although quantum key distribution (QKD) devices are already adopted outside the laboratories, current field implementations still suffer from high costs and low performances, preventing this emerging technology from a large-scale deployment in telecommunication networks. Here we present a simple, practical and efficient QKD scheme with finite-key analysis, performed over a 21 dB-losses fiber link installed in the metropolitan area of Florence (Italy). Coexistence of quantum and weak classical communication is also demonstrated by transmitting an optical synchronization signal through the same fiber link.


title: Metal-Organic Framework Breathing in Electric Field: A Theoretical Study

abstract: In this manuscript, we study the electrically induced breathing of Metal-Organic Framework (MOF) within a 2D lattice model. The Helmholtz free energy of the MOF in electric field consists of two parts: the electrostatic energy of the dielectric body in the external electric field and elastic energy of the framework. The first contribution is calculated from the first principles of statistical mechanics with an account of MOF symmetry. By minimizing the obtained free energy and solving the resulting system of equations, we obtain the local electric field and the parameter of the unit cell (angle $\alpha$). The paper also studies the cross-section area of the unit cell and the polarization as functions of the external electric field. We obtain the hysteresis in the region of the structural transition of the framework. Our results are in qualitative agreement with the literature data of the molecular dynamics (MD) simulation of MIL-53(Cr).


title: Large lower bounds for the betti numbers of graded modules with low regularity

abstract: Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the sum of the betti numbers of $M$ is at least $\beta_0(M)(2^c + 2^{c-1})$. In addition, if $c \geq 9$ then for each $1\leq i\leq \lceil c/2\rceil$, we show $\beta_i(M)\geq 2\beta_0(M){c \choose i}$.


title: Models with symmetry-breaking phase transitions triggered by dumbbell-shaped equipotential surfaces

abstract: In some recent papers some sufficiency conditions for the occurrence of a $\mathbb{Z}_2$-symmetry breaking phase transition ($\mathbb{Z}_2$-SBPT) have been showed starting from geometric-topological concepts of potential energy landscapes. In particular, a $\mathbb{Z}_2$-SBPT can be triggered by double-well potentials, or in an equivalent way, by dumbbell-shaped equipotential surfaces. In this paper we introduce two models with a $\mathbb{Z}_2$-SBPT which, due to their essential feature, show in the clearest way the generating-mechanism of a $\mathbb{Z}_2$-SBPT above mentioned. These models, despite they cannot be considered physical models, have all the features of such models with the same kind of SBPT. At the end of the paper, the $\phi^4$ model is revisited in the light of this approach. In particular, the landscape of one of the model introduced here is turned out to be equivalent to that of the mean-field $\phi^4$ model in a simplified version.


title: BootKeeper: Validating Software Integrity Properties on Boot Firmware Images

abstract: Boot firmware, like UEFI-compliant firmware, has been the target of numerous attacks, giving the attacker control over the entire system while being undetected. The measured boot mechanism of a computer platform ensures its integrity by using cryptographic measurements to detect such attacks. This is typically performed by relying on a Trusted Platform Module (TPM). Recent work, however, shows that vendors do not respect the specifications that have been devised to ensure the integrity of the firmware's loading process. As a result, attackers may bypass such measurement mechanisms and successfully load a modified firmware image while remaining unnoticed. In this paper we introduce BootKeeper, a static analysis approach verifying a set of key security properties on boot firmware images before deployment, to ensure the integrity of the measured boot process. We evaluate BootKeeper against several attacks on common boot firmware implementations and demonstrate its applicability.


title: The distances to star-clusters hosting Red Supergiants: $\chi$ Per, NGC 7419, and Westerlund 1

abstract: Galactic, young massive star clusters are approximately coeval aggregates of stars, close enough to resolve the individual stars, massive enough to have produced large numbers of massive stars, and young enough for these stars to be in a pre-supernova state. As such these objects represent powerful natural laboratories in which to study the evolution of massive stars. To be used in this way, it is crucial that accurate and precise distances are known, since this affects both the inferred luminosities of the cluster members and the age estimate for the cluster itself. Here we present distance estimates for three star clusters rich in Red Supergiants ($\chi$ Per, NGC 7419 and Westerlund 1) based on their average astrometric parallaxes $\bar{\pi}$ in Gaia Data Release 2, where the measurement of $\bar{\pi}$ is obtained from a proper-motion screened sample of spectroscopically-confirmed cluster members. We determine distances of $d=2.25^{+0.16}_{-0.14}$kpc, $d=3.00^{+0.35}_{-0.29}$kpc, and $d=3.87^{+0.95}_{-0.64}$kpc for the three clusters respectively. We find that the dominant source of error is that in Gaia's zero-point parallax offset $\pi_{\rm ZP}$, and we argue that more precise distances cannot be determined without an improved characterization of this quantity.


title: Maxwell electrodynamics modified by a CPT-odd dimension-five higher-derivative term

abstract: In this paper, we consider an electrodynamics of higher derivatives coupled to a Lorentz-violating background tensor. Specifically, we are interested in a dimension-five term of the CPT-odd sector of the nonminimal Standard-Model Extension. By a particular choice of the operator $\hat{k}_{AF}$, we obtain a higher-derivative version of the Carroll-Field-Jackiw (CFJ) term, $\frac{1}{2}\epsilon^{\kappa\lambda\mu\nu}A_{\lambda}D_{\kappa}\square F_{\mu\nu}$, with a Lorentz-violating background vector $D_{\kappa}$. This modification is subject to being investigated. We calculate the propagator of the theory and from its poles, we analyze the dispersion relations of the isotropic and anisotropic sectors. We verify that classical causality is valid for all parameter choices, but that unitarity of the theory is generally not assured. The latter is found to break down for certain configurations of the background field and momentum. In an analog way, we also study a dimension-five anisotropic higher-derivative CFJ term, which is written as $\epsilon^{\kappa\lambda\mu\nu}A_{\lambda}T_{\kappa}(T\cdot\partial)^{2}F_{\mu\nu}$ and is directly linked to the photon sector of Myers-Pospelov theory. Within the second model, purely timelike and spacelike $T_{\kappa}$ are considered. For the timelike choice, one mode is causal, whereas the other is noncausal. Unitarity is conserved, in general, as long as the energy stays real - even for the noncausal mode. For the spacelike scenario, causality is violated when the propagation direction lies within certain regimes. However, there are particular configurations preserving unitarity and strong numerical indications exist that unitarity is guaranteed for all purely spacelike configurations. The results improve our understanding of nonminimal CPT-odd extensions of the electromagnetic sector.


title: A Local Approach to Forward Model Learning: Results on the Game of Life Game

abstract: This paper investigates the effect of learning a forward model on the performance of a statistical forward planning agent. We transform Conway's Game of Life simulation into a single-player game where the objective can be either to preserve as much life as possible or to extinguish all life as quickly as possible. In order to learn the forward model of the game, we formulate the problem in a novel way that learns the local cell transition function by creating a set of supervised training data and predicting the next state of each cell in the grid based on its current state and immediate neighbours. Using this method we are able to harvest sufficient data to learn perfect forward models by observing only a few complete state transitions, using either a look-up table, a decision tree or a neural network. In contrast, learning the complete state transition function is a much harder task and our initial efforts to do this using deep convolutional auto-encoders were less successful. We also investigate the effects of imperfect learned models on prediction errors and game-playing performance, and show that even models with significant errors can provide good performance.


title: Exploring Micro-Services for Enhancing Internet QoS

abstract: With the enhancements in the field of software-defined networking and virtualization technologies, novel networking paradigms such as network function virtualization (NFV) and the Internet of things (IoT) are rapidly gaining ground. Development of IoT as well as 5G networks and explosion in online services has resulted in an exponential growth of devices connected to the network. As a result, application service providers (ASPs) and Internet service providers (ISPs) are being confronted with the unprecedented challenge of accommodating increasing service and traffic demands from the geographically distributed users. To tackle this problem, many ASPs and ISPs, such as Netflix, Facebook, AT&T and others are increasingly adopting micro-services (MS) application architecture. Despite the success of MS in the industry, there is no specific standard or research work for service providers as guidelines, especially from the perspective of basic micro-service operations. In this work, we aim to bridge this gap between industry and academia and discuss different micro-service deployment, discovery and communication options for service providers as a means to forming complete service chains. In addition, we address the problem of scheduling micro-services across multiple clouds, including micro-clouds. We consider different user-level SLAs, such as latency and cost, while scheduling such services. We aim to reduce overall turnaround time as well as costs for the deployment of complete end-to-end service. In this work, we present a novel affinity-based fair weighted scheduling heuristic to solve this problem. We also compare the results of proposed solution with standard greedy scheduling algorithms presented in the literature and observe significant improvements.


title: Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving

abstract: The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy grounding is an alternative approach that interleaves grounding with solving and thus uses space more efficiently. The limited view on the search space in lazy grounding poses unique challenges, however, and can have adverse effects on solving performance. In this paper we present a novel characterization of degrees of laziness in grounding for ASP, i.e. of compromises between lazily grounding as little as possible and the traditional full grounding upfront. We investigate how these degrees of laziness compare to each other formally as well as, by means of an experimental analysis using a number of benchmarks, in terms of their effects on solving performance. Our contributions are the introduction of a range of novel lazy grounding strategies, a formal account on their relationships and their correctness, and an investigation of their effects on solving performance. Experiments show that our approach performs significantly better than state-of-the-art lazy grounding in many cases.


title: The importance of the classical channel in the impurity transport of optimized stellarators

abstract: In toroidal magnetic confinement devices, such as tokamaks and stellarators, neoclassical transport is usually an order of magnitude larger than its classical counterpart. However, when a high-collisionality species is present in a stellarator optimized for low Pfirsch-Schl\"uter current, its classical transport can be comparable to the neoclassical transport. In this letter, we compare neoclassical and classical fluxes and transport coefficients calculated for Wendelstein 7-X (W7-X) and Large Helical Device (LHD) cases. In W7-X, we find that the classical transport of a collisional impurity is comparable to the neoclassical transport for all radii, while it is negligible in the LHD cases, except in the vicinity of radii where the neoclassical transport changes sign. In the LHD case, electrostatic potential variations on the flux-surface significantly enhance the neoclassical impurity transport, while the classical transport is largely insensitive to this effect in the cases studied.


title: Nearly Frobenius theory and semisimplicity of bimodules

abstract: In the first part of this article we prove that one of the conditions required in the original definition of nearly Frobenius algebra, the coassociativity, is redundant. Also, we determine the Frobenius dimension of the product and tensor product of two nearly Frobenius algebras from the Frobenius dimension of each of them. We apply these results to semisimple algebras. In the second part we introduce the notion of normalized nearly Frobenius algebra. We prove a series of equivalences: the concept of normalized nearly Frobenius algebra is equivalent to the concept of separable algebra, equivalent to the fact that the algebra is projective as a bimodule on itself and, finally, equivalent to the category of bimodules is semisimple. Also, we relate these concepts with the property of semisimplicity of the category of modules over the algebra.


title: Real-Time Observation of Self-Interstitial Reactions on an Atomically Smooth Silicon Surface

abstract: Self-diffusion and impurity diffusion both play crucial roles in the fabrication of semiconductor nanostructures with high surface-to-volume ratios. However, experimental studies of bulk-surface reactions of point defects in semiconductors are strongly hampered by extremely low concentrations and difficulties in the visualization of single point defects in the crystal lattice. Herein we report the first real-time experimental observation of the self-interstitial reactions on a large atomically smooth silicon surface. We show that non-equilibrium self-interstitials generated in silicon bulk during gold diffusion in the temperature range 860-1000^oC are annihilated at the (111) surface, producing the net mass flux of silicon from the bulk to the surface. The kinetics of the two-dimensional islands formed by self-interstitials are dominated by the reactions at the atomic step edges. The activation energy for the interaction of self-interstitials with the surface and energy barrier for gold penetration into the silicon bulk through the surface are estimated. These results demonstrating that surface morphology can be profoundly affected by surface-bulk reactions should have important implications for the development of nanoscale fabrication techniques.


title: Evaluating Built-in ECC of FPGA on-chip Memories for the Mitigation of Undervolting Faults

abstract: Voltage underscaling below the nominal level is an effective solution for improving energy efficiency in digital circuits, e.g., Field Programmable Gate Arrays (FPGAs). However, further undervolting below a safe voltage level and without accompanying frequency scaling leads to timing related faults, potentially undermining the energy savings. Through experimental voltage underscaling studies on commercial FPGAs, we observed that the rate of these faults exponentially increases for on-chip memories, or Block RAMs (BRAMs). To mitigate these faults, we evaluated the efficiency of the built-in Error-Correction Code (ECC) and observed that more than 90% of the faults are correctable and further 7% are detectable (but not correctable). This efficiency is the result of the single-bit type of these faults, which are then effectively covered by the Single-Error Correction and Double-Error Detection (SECDED) design of the built-in ECC. Finally, motivated by the above experimental observations, we evaluated an FPGA-based Neural Network (NN) accelerator under low-voltage operations, while built-in ECC is leveraged to mitigate undervolting faults and thus, prevent NN significant accuracy loss. In consequence, we achieve 40% of the BRAM power saving through undervolting below the minimum safe voltage level, with a negligible NN accuracy loss, thanks to the substantial fault coverage by the built-in ECC.