title: Multi-Location Program Repair Strategies Learned from Past Successful Experience

abstract: Automated program repair (APR) has great potential to reduce the effort and time-consumption in software maintenance and becomes a hot topic in software engineering recently with many approaches being proposed. Multi-location program repair has always been a challenge in this field since its complexity in logic and structure. While some approaches do not claim to have the features for solving multi-location bugs, they generate correct patches for these defects in practice. In this paper, we first make an observation on multi-location bugs in Defects4J and divide them into two categories (i.e., similar and relevant multi-location bugs) based on the repair actions in their patches. We then summarize the situation of multi-location bugs in Defects4J fixed by current tools. We analyze the twenty-two patches generated by current tools and propose two feasible strategies for fixing multi-location bugs, illustrating them through two detailed case studies. At last, the experimental results prove the feasibility of our methods with the repair of two bugs that have never been fixed before. By learning from successful experience in the past, this paper points out possible ways ahead for multi-location program repair.


title: Machine Translation between Vietnamese and English: an Empirical Study

abstract: Machine translation is shifting to an end-to-end approach based on deep neural networks. The state of the art achieves impressive results for popular language pairs such as English - French or English - Chinese. However for English - Vietnamese the shortage of parallel corpora and expensive hyper-parameter search present practical challenges to neural-based approaches. This paper highlights our efforts on improving English-Vietnamese translations in two directions: (1) Building the largest open Vietnamese - English corpus to date, and (2) Extensive experiments with the latest neural models to achieve the highest BLEU scores. Our experiments provide practical examples of effectively employing different neural machine translation models with low-resource language pairs.


title: Relative Importance Sampling For Off-Policy Actor-Critic in Deep Reinforcement Learning

abstract: Off-policy learning is more unstable compared to on-policy learning in reinforcement learning (RL). One reason for the instability of off-policy learning is a discrepancy between the target ($\pi$) and behavior (b) policy distributions. The discrepancy between $\pi$ and b distributions can be alleviated by employing a smooth variant of the importance sampling (IS), such as the relative importance sampling (RIS). RIS has parameter $\beta\in[0, 1]$ which controls smoothness. To cope with instability, we present the first relative importance sampling-off-policy actor-critic (RIS-Off-PAC) model-free algorithms in RL. In our method, the network yields a target policy (the actor), a value function (the critic) assessing the current policy ($\pi$) using samples drawn from behavior policy. We use action value generated from the behavior policy in reward function to train our algorithm rather than from the target policy. We also use deep neural networks to train both actor and critic. We evaluated our algorithm on a number of Open AI Gym benchmark problems and demonstrate better or comparable performance to several state-of-the-art RL baselines.


title: Riemann-Hilbert approach for multi-soliton solutions of a fifth-order nonlinear Schrodinger equation

abstract: A fifth-order nonlinear Schrodinger equation which describes one-dimensional anisotropic Heisenberg ferromagnetic spin chain is under exploration in this paper. Starting from the spectral analysis of the Lax pair, a Riemann-Hilbert problem is set up. After solving the obtained Riemann-Hilbert problem with reflectionless case, we systematically derive multisoliton solutions for the fifth-order nonlinear Schrodinger equation. In addition, the localized structures and dynamic behaviors of one- and two-soliton solutions are shown vividly via a few plots.


title: Charge-spin response and collective excitations in Weyl semimetals

abstract: Weyl semimetals are characterized by unconventional electromagnetic response. We present analytical expressions for all components of the frequency- and wave-vector-dependent charge-spin linear-response tensor of Weyl fermions. The spin-momentum locking of the Weyl Hamiltonian leads to a coupling between charge and longitudinal spin fluctuations, while transverse spin fluctuations remain decoupled from the charge. A real Weyl semimetal with multiple Weyl nodes can show this charge-spin coupling in equilibrium if its crystal symmetry is sufficiently low. All Weyl semimetals are expected to show this coupling if they are driven into a non-equilibrium stationary state with different occupations of Weyl nodes, for example by exploiting the chiral anomaly. Based on the response tensor, we investigate the low-energy collective excitations of interacting Weyl fermions. For a local Hubbard interaction, the charge-spin coupling leads to a dramatic change of the zero-sound dispersion: its velocity becomes independent of the interaction strength and the chemical potential and is given solely by the Fermi velocity. In the presence of long-range Coulomb interactions, the coupling transforms the plasmon modes into spin plasmons. For real Weyl semimetals with multiple Weyl nodes, the collective modes are strongly affected by the presence of parallel static electric and magnetic fields, due to the chiral anomaly. In particular, the zero-sound frequency at fixed momentum and the spin content of the spin plasmons go through cusp singularities as the chemical potential of one of the Weyl cones is tuned through the Weyl node. We discuss possible experiments that could provide smoking-gun evidence for Weyl physics.


title: Gamma factors for Asai representations of ${\rm GL}_2$

abstract: Let $E$ be a quadratic semisimple extension of a local field $F$ of characteristic zero. We determine explicit relation between gamma factors for Asai representations of $R_{E/F}{\rm GL}_{2/E}$ defined by the Weil-Deligne representations and local zeta integrals. When $E = F\times F$, the results were due to Henniart and Jacquet. We completed the theory in this article based on explicit calculation.


title: Defining integer valued functions in rings of continuous definable functions over a topological field

abstract: Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ Km let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and on the structure K, in particular when K is o-minimal or P-minimal, or an expansion of a local field, we prove that the ring of integers Z is interpretable in C(X). If K is o-minimal and X is definably connected of pure dimension 2, then C(X) defines the subring Z. If K is P-minimal and X has no isolated points, then there is a discrete ring Z contained in K and naturally isomorphic to Z, such that the ring of functions f $\in$ C(X) which take values in Z is definable in C(X).


title: Shorten Spatial-spectral RNN with Parallel-GRU for Hyperspectral Image Classification

abstract: Convolutional neural networks (CNNs) attained a good performance in hyperspectral sensing image (HSI) classification, but CNNs consider spectra as orderless vectors. Therefore, considering the spectra as sequences, recurrent neural networks (RNNs) have been applied in HSI classification, for RNNs is skilled at dealing with sequential data. However, for a long-sequence task, RNNs is difficult for training and not as effective as we expected. Besides, spatial contextual features are not considered in RNNs. In this study, we propose a Shorten Spatial-spectral RNN with Parallel-GRU (St-SS-pGRU) for HSI classification. A shorten RNN is more efficient and easier for training than band-by-band RNN. By combining converlusion layer, the St-SSpGRU model considers not only spectral but also spatial feature, which results in a better performance. An architecture named parallel-GRU is also proposed and applied in St-SS-pGRU. With this architecture, the model gets a better performance and is more robust.


title: Effect of Coulomb interaction on the two-dimensional electronic structure of the van der Waals ferromagnet Cr$_2$Ge$_2$Te$_6$

abstract: In order to investigate the electronic properties of the semiconducting van der Waals ferromagnet Cr$_2$Ge$_2$Te$_6$ (CGT), where ferromagnetic layers are bonded through van der Waals forces, we have performed angle-resolved photoemission spectroscopy (ARPES) measurements and density-functional-theory (DFT+U) calculations. The valence-band maximum at the {\Gamma} point is located $\sim$ 0.2 eV below the Fermi level, consistent with the semiconducting property of CGT. Comparison of the experimental density of states with the DFT calculation has suggested that Coulomb interaction between the Cr 3d electrons U$_{\rm eff}$ $\sim$ 1.1 eV. The DFT+U calculation indicates that magnetic coupling between Cr atoms within the layer is ferromagnetic if Coulomb U $_{\rm eff}$ is smaller than 3.0 eV and that the inter-layer coupling is ferromagnetic below U$_{\rm eff}$ $\sim$ 1.0 eV. We therefore conclude that, for U$_{\rm eff}$ deduced by the experiment, the intra-layer Cr-Cr coupling is ferromagnetic and the inter-layer coupling is near the boundary between ferromagnetic and antiferromagnetic, which means experimentally deduced U$_{\rm eff}$ is consistent with theoretical ferromagnetic condition.


title: Destabilization of local minima in analog spin systems by correction of amplitude heterogeneity

abstract: The relaxation of binary spins to analog values has been the subject of much debate in the field of statistical physics, neural networks, and more recently quantum computing, notably because the benefits of using an analog state for finding lower energy spin configurations are usually offset by the negative impact of the improper mapping of the energy function that results from the relaxation. We show that it is possible to destabilize trapping sets of analog states that correspond to local minima of the binary spin Hamiltonian by extending the phase space to include error signals that correct amplitude inhomogeneity of the analog spin states and controlling the divergence of their velocity. Performance of the proposed analog spin system in finding lower energy states is competitive against state-of-the-art heuristics.


title: Almost-unsupervised Speech Recognition with Close-to-zero Resource Based on Phonetic Structures Learned from Very Small Unpaired Speech and Text Data

abstract: Producing a large amount of annotated speech data for training ASR systems remains difficult for more than 95% of languages all over the world which are low-resourced. However, we note human babies start to learn the language by the sounds of a small number of exemplar words without hearing a large amount of data. We initiate some preliminary work in this direction in this paper. Audio Word2Vec is used to obtain embeddings of spoken words which carry phonetic information extracted from the signals. An autoencoder is used to generate embeddings of text words based on the articulatory features for the phoneme sequences. Both sets of embeddings for spoken and text words describe similar phonetic structures among words in their respective latent spaces. A mapping relation from the audio embeddings to text embeddings actually gives the word-level ASR. This can be learned by aligning a small number of spoken words and the corresponding text words in the embedding spaces. In the initial experiments only 200 annotated spoken words and one hour of speech data without annotation gave a word accuracy of 27.5%, which is low but a good starting point.


title: THz-TDS time-trace analysis for the extraction of material and metamaterial parameters

abstract: We report on a method and an associated open source software, Fit@TDS, working on an average personal computer. The method is based on the fitting of a time-trace data of a terahertz time-domain-spectroscopy system enabling the retrieval of the refractive index of a dielectric sample and the resonance parameters of a metasurface (quality factor, absorption losses, etc.). The software includes commonly used methods where the refractive index is extracted from frequency domain data. However, these methods are limited, for instance in case of a high noise level or when an absorption peak saturates the absorption spectrum bringing the signal to the noise level. Our software allows to use a new method where the refractive indices are directly fitted from the time-trace. The idea is to model a material or a metamaterial through parametric physical models (Drude-Lorentz model and time-domain coupled mode theory) and to implement the subsequent refractive index in the propagation model to simulate the time-trace. Then, an optimization algorithm is used to retrieve the parameters of the model corresponding to the studied material/metamaterial. In this paper, we explain the method and test it on fictitious samples to probe the feasibility and reliability of the proposed model. Finally, we used Fit@TDS on real samples of high resistivity silicon, lactose and gold metasurface on quartz to show the capacity of our method


title: Nonlinear Prediction of Multidimensional Signals via Deep Regression with Applications to Image Coding

abstract: Deep convolutional neural networks (DCNN) have enjoyed great successes in many signal processing applications because they can learn complex, non-linear causal relationships from input to output. In this light, DCNNs are well suited for the task of sequential prediction of multidimensional signals, such as images, and have the potential of improving the performance of traditional linear predictors. In this research we investigate how far DCNNs can push the envelop in terms of prediction precision. We propose, in a case study, a two-stage deep regression DCNN framework for nonlinear prediction of two-dimensional image signals. In the first-stage regression, the proposed deep prediction network (PredNet) takes the causal context as input and emits a prediction of the present pixel. Three PredNets are trained with the regression objectives of minimizing $\ell_1$, $\ell_2$ and $\ell_\infty$ norms of prediction residuals, respectively. The second-stage regression combines the outputs of the three PredNets to generate an even more precise and robust prediction. The proposed deep regression model is applied to lossless predictive image coding, and it outperforms the state-of-the-art linear predictors by appreciable margin.


title: Strong Isospin Breaking in the Decay Constants of Heavy-Light Mesons from Local-Duality QCD Sum Rules

abstract: We explore, by a rather peculiar limit of QCD sum rules subject to a Borel transformation (realized by allowing the related Borel mass parameter to approach infinity), how the small difference of the masses of up and down quark translates into the leptonic decay constants of pseudoscalar or vector heavy-light mesons. For the charmed and bottom mesons, we find that the decay constants of their lowest-lying charged and neutral representatives should differ by an amount of the order of 1 MeV.


title: Dispersion relation of the collective excitations in a resonantly driven polariton fluid

abstract: Exciton-polaritons in semiconductor microcavities constitute the archetypal realization of a quantum fluid of light. Under coherent optical drive, remarkable effects such as superfluidity, dark solitons or the nucleation of hydrodynamic vortices have been observed. These phenomena can be all understood as a specific manifestation of collective excitations forming on top of the polariton condensate. In this work, we performed a Brillouin scattering experiment to measure their dispersion relation $\omega(\mathbf{k})$ directly. The result, such as a speed of sound which is apparently twice too low, cannot be explained upon considering the polariton condensate alone. In a combined theoretical and experimental analysis, we demonstrate that the presence of a reservoir of long-lived excitons interacting with polaritons has a dramatic influence on the nature and characteristic of the quantum fluid, and that it explains our measurement quantitatively. This work clarifies the role of such a reservoir in the different polariton hydrodynamics phenomena occurring under resonant optical drive. It also provides an unambiguous tool to determine the condensate-to-reservoir fraction in the quantum fluid, and sets an accurate framework to approach novel ideas for polariton-based quantum-optical applications.


title: Flux compensation for SQUID-detected Magnetic Resonance Force Microscopy

abstract: One of the major challenges in performing SQUID-detected Magnetic Resonance Force Microscopy (MRFM) at milliKelvin temperatures is the crosstalk between the radiofrequency (RF) pulses used for the spin manipulation and the SQUID-based detection mechanism. Here we present an approach based on balancing the flux crosstalk using an on-chip feedback coil coupled to the SQUID. This approach does not require any additional components near the location of the sample, and can therefore be applied to any SQUID-based detection scheme to cancel predictable RF interference. We demonstrate the effectiveness of our approach by showing that we can almost completely negate flux crosstalk with an amplitude of up to several $\Phi_0$. This technical achievement allows for complicated magnetic resonance protocols to be performed at temperatures below 50 mK.


title: Optimal control of a rate-independent system constrained to parametrized balanced viscosity solutions

abstract: We analyze an optimal control problem governed by a rate-independent system in an abstract infinite-dimensional setting. The rate-independent system is characterized by a nonconvex stored energy functional, which depends on time via a time-dependent external loading, and by a convex dissipation potential, which is assumed to be bounded and positively homogeneous of degree one. The optimal control problem uses the external load as control variable and is constrained to normalized parametrized balanced viscosity solutions (BV solutions) of the rate-independent system. Solutions of this type appear as vanishing viscosity limits of viscously regularized versions of the original rate-independent system. Since BV solutions in general are not unique, as a main ingredient for the existence of optimal solutions we prove the compactness of solution sets for BV solutions.


title: Architectural exploration of heterogeneous memory systems

abstract: Heterogeneous systems appear as a viable design alternative for the dark silicon era. In this paradigm, a processor chip includes several different technological alternatives for implementing a certain logical block (e.g., core, on-chip memories) which cannot be used at the same time due to power constraints. The programmer and compiler are then responsible for selecting which of the alternatives should be used for maximizing performance and/or energy efficiency for a given application. This paper presents an initial approach for the exploration of different technological alternatives for the implementation of on-chip memories. It hinges on a linear programming-based model for theoretically comparing the performance offered by the available alternatives, namely SRAM and STT-RAM scratchpads or caches. Experimental results using a cycle-accurate simulation tool confirm that this is a viable model for implementation into production compilers.


title: Rain Removal in Traffic Surveillance: Does it Matter?

abstract: Varying weather conditions, including rainfall and snowfall, are generally regarded as a challenge for computer vision algorithms. One proposed solution to the challenges induced by rain and snowfall is to artificially remove the rain from images or video using rain removal algorithms. It is the promise of these algorithms that the rain-removed image frames will improve the performance of subsequent segmentation and tracking algorithms. However, rain removal algorithms are typically evaluated on their ability to remove synthetic rain on a small subset of images. Currently, their behavior is unknown on real-world videos when integrated with a typical computer vision pipeline. In this paper, we review the existing rain removal algorithms and propose a new dataset that consists of 22 traffic surveillance sequences under a broad variety of weather conditions that all include either rain or snowfall. We propose a new evaluation protocol that evaluates the rain removal algorithms on their ability to improve the performance of subsequent segmentation, instance segmentation, and feature tracking algorithms under rain and snow. If successful, the de-rained frames of a rain removal algorithm should improve segmentation performance and increase the number of accurately tracked features. The results show that a recent single-frame-based rain removal algorithm increases the segmentation performance by 19.7% on our proposed dataset, but it eventually decreases the feature tracking performance and showed mixed results with recent instance segmentation methods. However, the best video-based rain removal algorithm improves the feature tracking accuracy by 7.72%.


title: Neural Nearest Neighbors Networks

abstract: Non-local methods exploiting the self-similarity of natural signals have been well studied, for example in image analysis and restoration. Existing approaches, however, rely on k-nearest neighbors (KNN) matching in a fixed feature space. The main hurdle in optimizing this feature space w.r.t. application performance is the non-differentiability of the KNN selection rule. To overcome this, we propose a continuous deterministic relaxation of KNN selection that maintains differentiability w.r.t. pairwise distances, but retains the original KNN as the limit of a temperature parameter approaching zero. To exploit our relaxation, we propose the neural nearest neighbors block (N3 block), a novel non-local processing layer that leverages the principle of self-similarity and can be used as building block in modern neural network architectures. We show its effectiveness for the set reasoning task of correspondence classification as well as for image restoration, including image denoising and single image super-resolution, where we outperform strong convolutional neural network (CNN) baselines and recent non-local models that rely on KNN selection in hand-chosen features spaces.


title: Improved Network Robustness with Adversary Critic

abstract: Ideally, what confuses neural network should be confusing to humans. However, recent experiments have shown that small, imperceptible perturbations can change the network prediction. To address this gap in perception, we propose a novel approach for learning robust classifier. Our main idea is: adversarial examples for the robust classifier should be indistinguishable from the regular data of the adversarial target. We formulate a problem of learning robust classifier in the framework of Generative Adversarial Networks (GAN), where the adversarial attack on classifier acts as a generator, and the critic network learns to distinguish between regular and adversarial images. The classifier cost is augmented with the objective that its adversarial examples should confuse the adversary critic. To improve the stability of the adversarial mapping, we introduce adversarial cycle-consistency constraint which ensures that the adversarial mapping of the adversarial examples is close to the original. In the experiments, we show the effectiveness of our defense. Our method surpasses in terms of robustness networks trained with adversarial training. Additionally, we verify in the experiments with human annotators on MTurk that adversarial examples are indeed visually confusing. Codes for the project are available at https://github.com/aam-at/adversary_critic.


title: Whittaker modules for the super-Virasoro algebras

abstract: In this paper, we define and study Whittaker modules for the super-Viraoro algebras, including the Neveu-Schwarz algebra and the Ramond algebra. We classify the simple Whittaker modules and obtain necessary and sufficient conditions for irreducibility of these modules.


title: Low-and high-frequency Stoneley waves, reflection and transmission at a Cauchy/relaxed micromorphic interface

abstract: In this paper we study the reflective properties of a 2D interface separating a homogeneous solid from a band-gap metamaterial by modeling it as an interface between a classical Cauchy continuum and a relaxed micromorphic medium. We show that the proposed model is able to predict the onset of Stoneley interface waves at the considered interface both at low and high-frequency regimes. More precisely, critical angles for the incident wave can be identified, beyond which classical Stoneley waves, as well as microstructure-related Stoneley waves appear. We show that this onset of Stoneley waves, both at low and high frequencies, strongly depends on the relative mechanical properties of the two media. We suggest that a suitable tailoring of the relative stiffnesses of the two media can be used to conceive 'smart interfaces' giving rise to wide frequency bounds where total reflection or total transmission may occur.


title: Exploring Neural Methods for Parsing Discourse Representation Structures

abstract: Neural methods have had several recent successes in semantic parsing, though they have yet to face the challenge of producing meaning representations based on formal semantics. We present a sequence-to-sequence neural semantic parser that is able to produce Discourse Representation Structures (DRSs) for English sentences with high accuracy, outperforming traditional DRS parsers. To facilitate the learning of the output, we represent DRSs as a sequence of flat clauses and introduce a method to verify that produced DRSs are well-formed and interpretable. We compare models using characters and words as input and see (somewhat surprisingly) that the former performs better than the latter. We show that eliminating variable names from the output using De Bruijn-indices increases parser performance. Adding silver training data boosts performance even further.


title: On spinodal decomposition in alnico---a transmission electron microscopy and atom probe tomography study

abstract: Alnico is a prime example of a finely tuned nanostructure whose magnetic properties are intimately connected to magnetic annealing (MA) during spinodal transformation and subsequent lower temperature annealing (draw) cycles. Using a combination of transmission electron microscopy and atom probe tomography, we show how these critical processing steps affect the local composition and nanostructure evolution with impact on magnetic properties. The nearly 2-fold increase of intrinsic coercivity ($H_\text{ci}$) during the draw cycle is not adequately explained by chemical refinement of the spinodal phases. Instead, increased Fe-Co phase ($\alpha_1$) isolation, development of Cu-rich spheres/rods/blades and additional $\alpha_1$ rod precipitation that occurs during the MA and draw, likely play a key role in $H_\text{ci}$ enhancement. Chemical ordering of the Al-Ni-phase ($\alpha_2$) and formation of Ni-rich ($\alpha_3$) may also contribute. Unraveling of the subtle effect of these nano-scaled features is crucial to understanding on how to improve shape anisotropy in alnico magnets.


title: Deep-diving of Atlantic salmon ($\textit{Salmo salar}$) during their marine feeding migrations

abstract: Data from seven data storage tags recovered from Atlantic salmon marked as smolts were analyzed for depth movements and patterns of deep diving during the marine migration. The salmon mostly stayed at the surface and showed diurnal activity especially from autumn until spring. During the first months at sea the salmon stayed at shallower depths (< 100 m). The salmon took short deep dives (> 100 m), that were rare or absent during the first summer at sea but increased in frequency and duration especially in late winter. The maximum depth of the dives varied from 419 to 1187 m. Most of dives were short, (< 5 hours) but could last up to 33 hours. The duration of dives increased in late winter until spring and the overall depth and maximum depth per dive increased exponentially over time. The initiation of the dives was more common in evenings and at night, suggesting nocturnal diving. We hypothesized that deep diving is related to feeding of salmon as mesopelagic fish can be important food for salmon during winter.


title: DSKG: A Deep Sequential Model for Knowledge Graph Completion

abstract: Knowledge graph (KG) completion aims to fill the missing facts in a KG, where a fact is represented as a triple in the form of $(subject, relation, object)$. Current KG completion models compel two-thirds of a triple provided (e.g., $subject$ and $relation$) to predict the remaining one. In this paper, we propose a new model, which uses a KG-specific multi-layer recurrent neural network (RNN) to model triples in a KG as sequences. It outperformed several state-of-the-art KG completion models on the conventional entity prediction task for many evaluation metrics, based on two benchmark datasets and a more difficult dataset. Furthermore, our model is enabled by the sequential characteristic and thus capable of predicting the whole triples only given one entity. Our experiments demonstrated that our model achieved promising performance on this new triple prediction task.


title: Noninteracting fermions in a trap and random matrix theory

abstract: We review recent advances in the theory of trapped fermions using techniques borrowed from random matrix theory (RMT) and, more generally, from the theory of determinantal point processes. In the presence of a trap, and in the limit of a large number of fermions $N \gg 1$, the spatial density exhibits an edge, beyond which it vanishes. While the spatial correlations far from the edge, i.e. close to the center of the trap, are well described by standard many-body techniques, such as the local density approximation (LDA), these methods fail to describe the fluctuations close to the edge of the Fermi gas, where the density is very small and the fluctuations are thus enhanced. It turns out that RMT and determinantal point processes offer a powerful toolbox to study these edge properties in great detail. Here we discuss the principal edge universality classes, that have been recently identified using these modern tools. In dimension $d=1$ and at zero temperature $T=0$, these universality classes are in one-to-one correspondence with the standard universality classes found in the classical unitary random matrix ensembles: soft edge (described by the "Airy kernel") and hard edge (described by the "Bessel kernel") universality classes. We further discuss extensions of these results to higher dimensions $d\geq 2$ and to finite temperature. Finally, we discuss correlations in the phase space, i.e., in the space of positions and momenta, characterized by the so called Wigner function.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas math-ph math.MP math.PR


title: Learning-based predictive control for linear systems: a unitary approach

abstract: A comprehensive approach addressing identification and control for learningbased Model Predictive Control (MPC) for linear systems is presented. The design technique yields a data-driven MPC law, based on a dataset collected from the working plant. The method is indirect, i.e. it relies on a model learning phase and a model-based control design one, devised in an integrated manner. In the model learning phase, a twofold outcome is achieved: first, different optimal p-steps ahead prediction models are obtained, to be used in the MPC cost function; secondly, a perturbed state-space model is derived, to be used for robust constraint satisfaction. Resorting to Set Membership techniques, a characterization of the bounded model uncertainties is obtained, which is a key feature for a successful application of the robust control algorithm. In the control design phase, a robust MPC law is proposed, able to track piece-wise constant reference signals, with guaranteed recursive feasibility and convergence properties. The controller embeds multistep predictors in the cost function, it ensures robust constraints satisfaction thanks to the learnt uncertainty model, and it can deal with possibly unfeasible reference values. The proposed approach is finally tested in a numerical example.


title: One-Step $G$-Unimprovable Numbers

abstract: The infinitude is established of the set ${\bf U_1}$ of positive integers $N>5$ such that $G(N)\le \min(G(N/q), G(Np))$ where $q, p$ are primes, $q\ | N$ and $G(N):=\frac{\sigma(N)}{N\log \log N}$ stands for Gronwall number, $\sigma(N)$ being the sum of all divisors of $N$. The constructive algorithm is proposed which successively calculates the elements of ${\bf U_1}$, the least of them $N_1^*=2^5\cdot 3^3 \cdot 5^2 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \cdot 23 =160\ 626\ 866\ 400, \ G(N_1^*)=1.7374\dots$ Some interesting properties of these numbers are studied which may occur useful for the proof of Ramanujan-Robin inequality.


title: Hot embossing of Au- and Pb- based alloys for X ray grating fabrication

abstract: Grating-based X-ray phase-contrast interferometry has a high application impact in material science and medicine for imaging of weakly absorbing (low Z) materials and soft tissues. For the absorbing gratings, casting of highly x-ray absorbing metals, such as Au and Pb alloys, has proven to be a viable way to generate large area periodic high aspect ratio microstructures. In this paper, we review the grating fabrication strategy with a special focus on a novel approach of casting low temperature melting alloys (Au-Sn and Pbbased alloy) into Si grating templates using hot embossing. The process, similar to nanoimprint lithography, requires particular adjusting efforts of process parameters as a function of the metal alloy and the grating feature size. The transition between solid and liquid state depends on the alloy phase diagram, the applied pressure can damage the high aspect ratio Si lamellas and the microstructure of the solid metal can affect the grating structure. We demonstrate that metal casting by hot embossing can be used to fabricate gratings on large area (up to 70x70 mm2) with aspect ratio up to 50:1 and pitch in the range of 1-20 {\mu}m.


title: Stylolites: A review

abstract: Stylolites are ubiquitous geo-patterns observed in rocks in the upper crust, from geological reservoirs in sedimentary rocks to deformation zones, in folds, faults, and shear zones. These rough surfaces play a major role in the dissolution of rocks around stressed contacts, the transport of dissolved material and the precipitation in surrounding pores. Consequently, they play an active role in the evolution of rock microstructures and rheological properties in the Earth's crust. They are observed individually or in networks, in proximity to fractures and joints, and in numerous geological settings. This review article deals with their geometrical and compositional characteristics and the factors leading to their genesis. The main questions this review focuses on are the following: How do they form? How can they be used to measure strain and formation stress? How do they control fluid flow in the upper crust? Geometrically, stylolites have fractal roughness, with fractal geometrical properties exhibiting typically three scaling regimes: a self-affine scaling with Hurst exponent 1.1+/-0.1 at small scale (up to tens or hundreds of microns), another one with Hurst exponent around 0.5 to 0.6 at intermediate scale (up to millimeters or centimeters), and in the case of sedimentary stylolites, a flat scaling at large scale. More complicated anisotropic scaling (scaling laws depending of the direction of the profile considered) is found in the case of tectonic stylolites. We report models based on first principles from physical chemistry and statistical physics, including a mechanical component for the free-energy associated with stress concentrations, and a precise tracking of the influence of grain-scale heterogeneities and disorder on the resulting (micro)structures. Experimental efforts to reproduce stylolites in the laboratory are also reviewed. We show that although micrometer-size stylolite teeth are obtained in laboratory experiments, teeth deforming numerous grains have not yet been obtained experimentally, which is understandable given the very long formation time of such geometries. Finally, the applications of stylolites as strain and stress markers, to determine paleostress magnitude are reviewed. We show that the scalings in stylolite heights and the crossover scale between these scalings can be used to determine the stress magnitude (its scalar value) perpendicular to the stylolite surface during the stylolite formation, and that the stress anisotropy in the stylolite plane can be determined for the case of tectonic stylolites. We also show that the crossover between medium (millimetric) scales and large (pluricentimetric) scales, in the case of sedimentary stylolites, provides a good marker for the total amount of dissolution, which is still valid even when the largest teeth start to dissolve -- which leads to the loss of information, since the total deformation is not anymore recorded in a single marker structure. We discuss the impact of the stylolites on the evolution of the transport properties of the hosting rock, and show that they promote a permeability increase parallel to the stylolites, whereas their effect on the permeability transverse to the stylolite can be negligible, or may reduce the permeability, depending on the development of the stylolite. Highlights: Stylolite formation depends on rock composition and structure, stress and fluids. Stylolite geometry, fractal and self-affine properties, network structure, are investigated. The experiments and physics-based numerical models for their formation are reviewed. Stylolites can be used as markers of strain, paleostress orientation and magnitude. Stylolites impact transport properties, as function of maturity and flow direction.


title: A nearly optimal algorithm to decompose binary forms

abstract: Symmetric tensor decomposition is an important problem with applications in several areas for example signal processing, statistics, data analysis and computational neuroscience. It is equivalent to Waring's problem for homogeneous polynomials, that is to write a homogeneous polynomial in n variables of degree D as a sum of D-th powers of linear forms, using the minimal number of summands. This minimal number is called the rank of the polynomial/tensor. We focus on decomposing binary forms, a problem that corresponds to the decomposition of symmetric tensors of dimension 2 and order D. Under this formulation, the problem finds its roots in invariant theory where the decompositions are known as canonical forms. In this context many different algorithms were proposed. We introduce a superfast algorithm that improves the previous approaches with results from structured linear algebra. It achieves a softly linear arithmetic complexity bound. To the best of our knowledge, the previously known algorithms have at least quadratic complexity bounds. Our algorithm computes a symbolic decomposition in $O(M(D) log(D))$ arithmetic operations, where $M(D)$ is the complexity of multiplying two polynomials of degree D. It is deterministic when the decomposition is unique. When the decomposition is not unique, our algorithm is randomized. We present a Monte Carlo version of it and we show how to modify it to a Las Vegas one, within the same complexity. From the symbolic decomposition, we approximate the terms of the decomposition with an error of $2^{--$\epsilon$}$ , in $O(D log^2(D) (log^2(D) + log($\epsilon$)))$ arithmetic operations. We use results from Kaltofen and Yagati (1989) to bound the size of the representation of the coefficients involved in the decomposition and we bound the algebraic degree of the problem by min(rank, D -- rank + 1). We show that this bound can be tight. When the input polynomial has integer coefficients, our algorithm performs, up to poly-logarithmic factors, $O\_{bit} (D{\ell} + D^4 + D^3 $\tau$)$ bit operations, where $$\tau$$ is the maximum bitsize of the coefficients and $2^{--{\ell}}$ is the relative error of the terms in the decomposition.


title: Key Stakeholders' Value Propositions for Feature Selection in Software-intensive Products: An Industrial Case Study

abstract: Numerous software companies are adopting value-based decision making. However, what does value mean for key stakeholders making decisions? How do different stakeholder groups understand value? Without an explicit understanding of what value means, decisions are subject to ambiguity and vagueness, which are likely to bias them. This case study provides an in-depth analysis of key stakeholders' value propositions when selecting features for a large telecommunications company's software-intensive product. Stakeholders' value propositions were elicited via interviews, which were analyzed using Grounded Theory coding techniques (open and selective coding). Thirty-six value propositions were identified and classified into six dimensions: customer value, market competitiveness, economic value/profitability, cost efficiency, technology & architecture, and company strategy. Our results show that although propositions in the customer value dimension were those mentioned the most, the concept of value for feature selection encompasses a wide range of value propositions. Moreover, stakeholder groups focused on different and complementary value dimensions, calling to the importance of involving all key stakeholders in the decision making process. Although our results are particularly relevant to companies similar to the one described herein, they aim to generate a learning process on value-based feature selection for practitioners and researchers in general.


title: Inverse Quadratic Optimal Control for Discrete-Time Linear Systems

abstract: In this paper, we consider the inverse optimal control problem for the discrete-time linear quadratic regulator, over finite-time horizons. Given observations of the optimal trajectories, and optimal control inputs, to a linear time-invariant system, the goal is to infer the parameters that define the quadratic cost function. The well-posedness of the inverse optimal control problem is first justified. In the noiseless case, when these observations are exact, we analyze the identifiability of the problem and provide sufficient conditions for uniqueness of the solution. In the noisy case, when the observations are corrupted by additive zero-mean noise, we formulate the problem as an optimization problem and prove the statistical consistency of the problem later. The performance of the proposed method is illustrated through numerical examples.


title: Homotopic distance between maps

abstract: We show that both Lusternik-Schnirelmann category and topological complexity are particular cases of a more general notion, that we call homotopic distance between two maps. As a consequence, several properties of those invariants can be proved in a unified way and new results arise.


title: New data on $0^+$ states in $^{158}$Gd

abstract: Excited states in the deformed nucleus $^{158}$Gd have been studied in the (p,t) reaction by using the Munich Tandem and Q3D spectrograph. 30 new excited 0$^+$ states (three tentative) have been assigned up to the 4.3 MeV excitation energy. The total number of 34 excited 0$^+$ states (four tentatively assigned) in a deformed nucleus, close to a complete level scheme, offers a new opportunity to test nuclear models and obtain more information on the structure of these special states.


title: Third-order phase transition: random matrices and screened Coulomb gas with hard walls

abstract: Consider the free energy of a $d$-dimensional gas in canonical equilibrium under pairwise repulsive interaction and global confinement, in presence of a volume constraint. When the volume of the gas is forced away from its typical value, the system undergoes a phase transition of the third order separating two phases (pulled and pushed). We prove this result i) for the eigenvalues of one-cut, off-critical random matrices (log-gas in dimension $d=1$) with hard walls; ii) in arbitrary dimension $d\geq1$ for a gas with Yukawa interaction (aka screened Coulomb gas) in a generic confining potential. The latter class includes systems with Coulomb (long range) and delta (zero range) repulsion as limiting cases. In both cases, we obtain an exact formula for the free energy of the constrained gas which explicitly exhibits a jump in the third derivative, and we identify the 'electrostatic pressure' as the order parameter of the transition. Part of these results were announced in [F. D. Cunden, P. Facchi, M. Ligab\`o and P. Vivo, J. Phys. A: Math. Theor. 51, 35LT01 (2018)].


title: Subword Encoding in Lattice LSTM for Chinese Word Segmentation

abstract: We investigate a lattice LSTM network for Chinese word segmentation (CWS) to utilize words or subwords. It integrates the character sequence features with all subsequences information matched from a lexicon. The matched subsequences serve as information shortcut tunnels which link their start and end characters directly. Gated units are used to control the contribution of multiple input links. Through formula derivation and comparison, we show that the lattice LSTM is an extension of the standard LSTM with the ability to take multiple inputs. Previous lattice LSTM model takes word embeddings as the lexicon input, we prove that subword encoding can give the comparable performance and has the benefit of not relying on any external segmentor. The contribution of lattice LSTM comes from both lexicon and pretrained embeddings information, we find that the lexicon information contributes more than the pretrained embeddings information through controlled experiments. Our experiments show that the lattice structure with subword encoding gives competitive or better results with previous state-of-the-art methods on four segmentation benchmarks. Detailed analyses are conducted to compare the performance of word encoding and subword encoding in lattice LSTM. We also investigate the performance of lattice LSTM structure under different circumstances and when this model works or fails.


title: Propagating Spectropolarimetric Disturbances in a Large Sunspot

abstract: We present results derived from the analysis of spectropolarimetric measurements of active region AR12546, which represents one of the largest sunspots to have emerged onto the solar surface over the last $20$ years. The region was observed with full-Stokes scans of the Fe I 617.3 nm and Ca II 854.2 nm lines with the Interferometric BIdimensional Spectrometer (IBIS) instrument at the Dunn Solar Telescope over an uncommon, extremely long time interval exceeding three hours. Clear circular polarization (CP) oscillations localized at the umbra-penumbra boundary of the observed region were detected. Furthermore, the multi-height data allowed us to detect the downward propagation of both CP and intensity disturbances at $2.5-3$~mHz, which was identified by a phase delay between these two quantities. These results are interpreted as a propagating magneto-hydrodynamic surface mode in the observed sunspot.


title: VAPOR: a Value-Centric Blockchain that is Scale-out, Decentralized, and Flexible by Design

abstract: Blockchains is a special type of distributed systems that operates in unsafe networks. In most blockchains, all nodes should reach consensus on all state transitions with Byzantine fault tolerant algorithms, which creates bottlenecks in performance. In this paper, we propose a new type of blockchains, namely Value-Centric Blockchains (VCBs), in which the states are specified as values (or more comprehensively, coins) with owners and the state transition records are then specified as proofs of the ownerships of individual values. We then formalize the "rational" assumptions that have been used in most blockchains. We further propose a VCB, VAPOR, that guarantees secure value transfers if all nodes are rational and keep the proofs of the values they owned, which is merely parts of the whole state transition record. As a result, we show that VAPOR enjoys significant benefits in throughput, decentralization, and flexibility without compromising security.


title: Signal Formation in THGEM-like Detectors

abstract: Numerical simulations were used to study signal formation in a Thick Gaseous Electron Multiplier (THGEM) and in THGEM -based Thick-WELL (THWELL) and Resistive-Plate WELL (RPWELL) detectors. The signal shapes were simulated in mixtures of Argon and Neon with $5\%$ Methane under irradiation with soft x-rays and muons. Anode-induced raw signals were convoluted with the response functions of charge-sensitive and current-sensitive pre-amplifiers. The simulation toolkit was validated by the good agreement reached between the simulated and measured response, with different pre-amplifiers. It indicates that our simulations framework provides valid insight into the inherent complex dynamical processes of the various detectors.


title: Waveform generation for text-to-speech synthesis using pitch-synchronous multi-scale generative adversarial networks

abstract: The state-of-the-art in text-to-speech synthesis has recently improved considerably due to novel neural waveform generation methods, such as WaveNet. However, these methods suffer from their slow sequential inference process, while their parallel versions are difficult to train and even more expensive computationally. Meanwhile, generative adversarial networks (GANs) have achieved impressive results in image generation and are making their way into audio applications; parallel inference is among their lucrative properties. By adopting recent advances in GAN training techniques, this investigation studies waveform generation for TTS in two domains (speech signal and glottal excitation). Listening test results show that while direct waveform generation with GAN is still far behind WaveNet, a GAN-based glottal excitation model can achieve quality and voice similarity on par with a WaveNet vocoder.


title: The Hausdorff dimension function of the family of conformal iterated function systems of generalized complex continued fractions

abstract: We consider the family of CIFSs of generalized complex continued fractions with a complex parameter space. This is a new interesting example to which we can apply a general theory of infinite CIFSs and analytic families of infinite CIFSs. We show that the Hausdorff dimension function of the family of the CIFSs of generalized complex continued fractions is continuous in the parameter space and is real-analytic and subharmonic in the interior of the parameter space. As a corollary of these results, we also show that the Hausdorff dimension function has a maximum point and the maximum point belongs to the boundary of the parameter space.


title: Improving the query complexity of quantum spatial search in two dimensions

abstract: The question of whether quantum spatial search in two dimensions can be made optimal has long been an open problem. We report progress towards its resolution by showing that the oracle complexity for target location can be made optimal, by increasing the number of calls to the walk operator that incorporates the graph structure by a logarithmic factor. Our algorithm does not require amplitude amplification. An important ingredient of our algorithm is the implementation of multi-step quantum walks by graph powering, using a coin space of walk-length dependent dimension, which may be of independent interest. Finally, we demonstrate how to implement quantum walks arising from powers of symmetric Markov chains using our methods.


title: Topological classification under nonmagnetic and magnetic point group symmetry: Application of real-space Atiyah-Hirzebruch spectral sequence to higher-order topology

abstract: We classify time-reversal breaking (class A) spinful topological crystalline insulators with crystallographic non-magnetic (32 types) and magnetic (58 types) point groups. The classification includes all possible magnetic topological crystalline insulators protected by point group symmetry. Whereas the classification of topological insulators is known to be given by the $K$-theory in the momentum space, computation of the $K$-theory has been a difficult task in the presence of complicated crystallographic symmetry. Here we consider the $K$-homology in the real space for this problem, instead of the $K$-theory in the momentum space, both of which give the same topological classification. We apply the Atiyah-Hirzebruch spectral sequence (AHSS) for computation of the $K$-homology, which is a mathematical tool for generalized (co)homology. In the real space picture, the AHSS naturally gives the classification of higher-order topological insulators at the same time. By solving the group extension problem in the AHSS on the basis of physical arguments, we completely determine possible topological phases including higher-order ones for each point group. Relationships among different higher-order topological phases are argued in terms of the AHSS in the $K$-homology. We find that in some nonmagnetic and magnetic point groups, a stack of two $\mathbb{Z}_2$ second-order topological insulators can be smoothly deformed into non-trivial fourth-order topological insulators, which implies non-trivial group extensions in the AHSS.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el hep-th


title: Collider Searches for Long-Lived Particles Beyond the Standard Model

abstract: Experimental tests of the Standard Model of particle physics (SM) find excellent agreement with its predictions. Since the original formation of the SM, experiments have provided little guidance regarding the explanations of phenomena outside the SM, such as the baryon asymmetry and dark matter. Nor have we understood the aesthetic and theoretical problems of the SM, despite years of searching for physics beyond the Standard Model (BSM) at particle colliders. Some BSM particles can be produced at colliders yet evade being discovered, if the reconstruction and analysis procedures not matched to characteristics of the particle. An example is particles with large lifetimes. As interest in searches for such long-lived particles (LLPs) grows rapidly, a review of the topic is presented in this article. The broad range of theoretical motivations for LLPs and the experimental strategies and methods employed to search for them are described. Results from decades of LLP searches are reviewed, as are opportunities for the next generation of searches at both existing and future experiments.


title: Low temperature properties of whispering gallery modes in isotopically pure silicon 28

abstract: Whispering Gallery (WG) mode resonators have been machined from a boule of single-crystal isotopically pure silicon-28. Before machining, the as-grown rod was measured in a cavity, with the best Bragg confined modes exhibiting microwave $Q$-factors on the order of a million for frequencies between 10 and 15 GHz. After machining the rod into smaller cylindrical WG mode resonators, the frequencies of the fundamental mode families were used to determine the relative permittivity of the material to be $11.488\pm0.024$ near 4 K, with the precision limited only by the dimensional accuracy of the resonator. However, the Q-factors were degraded by the machining to below $4\times10^4$. Raman spectroscopy was used to optimize post-machining surface treatments to restore high $Q$-factors. This is an enabling step for the use of such resonators for hybrid quantum systems and frequency conversion applications, as silicon-28 also has very low phonon losses, can host very narrow linewidth spin ensembles and is a material commonly used in optical applications.


title: On the Aubin property of solution maps to parameterized variational systems with implicit constraints

abstract: In the paper a new sufficient condition for the Aubin property to a class of parameterized variational systems is derived. In these systems the constraints depend both on the parameter as well as on the decision variable itself and they include, e.g., parameter-dependent quasi-variational inequalities and implicit complementarity problems. The result is based on a general condition ensuring the Aubin property of implicitly defined multifunctions which employs the recently introduced notion of the directional limiting coderivative. Our final condition can be verified, however, without an explicit computation of these coderivatives. The procedure is illustrated by an example.


title: Structure and evolution of magnetohydrodynamic solitary waves with Hall and finite Larmor radius effects

abstract: Nonlinear and low-frequency solitary waves are investigated in the framework of the one-dimensional Hall-magnetohydrodynamic model with finite Larmor effects and a double adiabatic model for plasma pressures. The organization of these localized structures in terms of the propagation angle with respect to the ambient magnetic field $\theta$ and the propagation velocity $C$ is discussed. There are three types of regions in the $\theta-C$ plane that correspond to domains where either solitary waves cannot exist, are organized in branches, or have a continuous spectrum. A numerical method valid for the two latter cases, that rigorously proves the existence of the waves, is presented and used to locate many waves, including bright and dark structures. Some of them belong to parametric domains where solitary waves were not found in previous works. The stability of the structures has been investigated by first performing a linear analysis of the background plasma state and second by means of numerical simulations. They show that the cores of some waves can be robust but, for the parameters considered in the analysis, the tails are unstable. The substitution of the double adiabatic model by evolution equations for the plasma pressures appears to suppress the instability in some cases and to allow the propagation of the solitary waves during long times.


title: On the Hochschild cohomologies of associative conformal algebras with a finite faithful representation

abstract: Associative conformal algebras of conformal endomorphisms are of essential importance for the study of finite representations of conformal Lie algebras (Lie vertex algebras). We describe all semisimple algebras of conformal endomorphisms which have the trivial second Hochschild cohomology group with coefficients in every conformal bimodule. As a consequence, we state a complete solution of the radical splitting problem in the class of associative conformal algebras with a finite faithful representation.


title: Detection of a quasi-periodic oscillation in gamma-ray light curve of the high redshift blazar B2 1520+31

abstract: We detected a possible quasi-periodic oscillation (QPO) of ~ 71 days in the 0.1 -- 300 GeV gamma-ray Fermi-LAT light curve of the high redshift flat spectrum radio quasar B2 1520+31. We identify and confirm that quasi-period by Lomb Scargle periodogram (LSP), and weighted wavelet z-transform (WWZ) analyses. Using this QPO period, and assuming it originates from accretion-disc fluctuations at the innermost stable circular orbit, we estimate the central supermassive black hole mass to range between ~ 5.4 * 10$^{9}$ M$_{\odot}$ for a non-rotating black hole and ~ 6.0 * 10$^{10}$ M$_{\odot}$ for a maximally rotating black hole. We briefly discuss other possible radio-loud active galactic nuclei emission models capable of producing a gamma-ray QPO of such a period in a blazar.


title: Planck scale black hole dark matter from Higgs inflation

abstract: We study the production of primordial black hole (PBH) dark matter in the case when the Standard Model Higgs coupled non-minimally to gravity is the inflaton. PBHs can be produced if the Higgs potential has a near-critical point due to quantum corrections. In this case the slow-roll approximation may be broken, so we calculate the power spectrum numerically. We consider both the metric and the Palatini formulation of general relativity. Combining observational constraints on PBHs and on the CMB spectrum we find that PBHs can constitute all of the dark matter only if they evaporate early and leave behind Planck mass relics. This requires the potential to have a shallow local minimum, not just a critical point. The initial PBH mass is then below $10^6$ g, and predictions for the CMB observables are the same as in tree-level Higgs inflation, $n_s=0.96$ and $r=5\times10^{-3}$ (metric) or $r=4\times 10^{-8} \dots 2 \times 10^{-7}$ (Palatini).


title: Strong consistency of the AIC, BIC, $C_p$ and KOO methods in high-dimensional multivariate linear regression

abstract: Variable selection is essential for improving inference and interpretation in multivariate linear regression. Although a number of alternative regressor selection criteria have been suggested, the most prominent and widely used are the Akaike information criterion (AIC), Bayesian information criterion (BIC), Mallow's $C_p$, and their modifications. However, for high-dimensional data, experience has shown that the performance of these classical criteria is not always satisfactory. In the present article, we begin by presenting the necessary and sufficient conditions (NSC) for the strong consistency of the high-dimensional AIC, BIC, and $C_p$, based on which we can identify some reasons for their poor performance. Specifically, we show that under certain mild high-dimensional conditions, if the BIC is strongly consistent, then the AIC is strongly consistent, but not vice versa. This result contradicts the classical understanding. In addition, we consider some NSC for the strong consistency of the high-dimensional kick-one-out (KOO) methods introduced by Zhao et al. (1986) and Nishii et al. (1988). Furthermore, we propose two general methods based on the KOO methods and prove their strong consistency. The proposed general methods remove the penalties while simultaneously reducing the conditions for the dimensions and sizes of the regressors. A simulation study supports our consistency conclusions and shows that the convergence rates of the two proposed general KOO methods are much faster than those of the original methods.


title: About strong string stability of a vehicle chain with time-headway control

abstract: This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles, i.e. how input disturbances affect the distributed system for very long chains. There exist variants of string stability, like avoiding that a local disturbance gets amplified along the chain, or more strongly ensuring that the output vector's p-norm remains bounded for any bounded vector of input disturbances independently of the string length. They are all impossible to achieve with any linear controller if the vehicles only use relative information of few vehicles in front. Previous work has shown that adding absolute velocity into the controller, allows to at least avoid amplification of a local disturbance. In this paper, we consider the stronger definitions of string stability, under this same relaxation of using absolute velocity in the controller. We prove that the influence from input vector to output vector cannot be bounded independently of chain length in the most popular 2-norm sense, with any bounded stabilizing linear controller; while a proportional derivative (PD) controller can guarantee it in the practically relevant infinity-norm sense. Moreover, we identify the disturbance acting on the leader as the main issue for string stability.


title: Adaptive Transfer Learning in Deep Neural Networks: Wind Power Prediction using Knowledge Transfer from Region to Region and Between Different Task Domains

abstract: Transfer Learning (TL) in Deep Neural Networks is gaining importance because in most of the applications, the labeling of data is costly and time-consuming. Additionally, TL also provides an effective weight initialization strategy for Deep Neural Networks . This paper introduces the idea of Adaptive Transfer Learning in Deep Neural Networks (ATL-DNN) for wind power prediction. Specifically, we show in case of wind power prediction that adaptive TL of Deep Neural Networks system can be adaptively modified as regards training on a different wind farm is concerned. The proposed ATL-DNN technique is tested for short-term wind power prediction, where continuously arriving information has to be exploited. Adaptive TL not only helps in providing good weight initialization, but is also helpful to utilize the incoming data for effective learning. Additionally, the proposed ATL-DNN technique is shown to transfer knowledge between different task domains (wind power to wind speed prediction) and from one region to another region. The simulation results show that the proposed ATL-DNN technique achieves average values of 0.0637,0.0986, and 0.0984 for the Mean-Absolute-Error, Root-Mean-Squared-Error, and Standard-Deviation-Error, respectively.


title: On the Morita Reduced Versions of Skew Group Algebras of Path Algebras

abstract: Let R be the skew group algebra of a finite group acting on the path algebra of a quiver. This article develops both theoretical and practical methods to do computations in the Morita reduced algebra associated to R. Reiten and Riedtmann proved that there exists an idempotent e of R such that the algebra eRe is both Morita equivalent to R and isomorphic to the path algebra of some quiver which was described by Demonet. This article gives explicit formulas for the decomposition of any element of eRe as a linear combination of paths in the quiver described by Demonet. This is done by expressing appropriate compositions and pairings in a suitable monoidal category which takes into account the representation theory of the finite group.


title: Deep Learning as Feature Encoding for Emotion Recognition

abstract: Deep learning is popular as an end-to-end framework extracting the prominent features and performing the classification also. In this paper, we extensively investigate deep networks as an alternate to feature encoding technique of low level descriptors for emotion recognition on the benchmark EmoDB dataset. Fusion performance with such obtained encoded features with other available features is also investigated. Highest performance to date in the literature is observed.


title: The Airbus Air Traffic Control speech recognition 2018 challenge: towards ATC automatic transcription and call sign detection

abstract: In this paper, we describe the outcomes of the challenge organized and run by Airbus and partners in 2018. The challenge consisted of two tasks applied to Air Traffic Control (ATC) speech in English: 1) automatic speech-to-text transcription, 2) call sign detection (CSD). The registered participants were provided with 40 hours of speech along with manual transcriptions. Twenty-two teams submitted predictions on a five hour evaluation set. ATC speech processing is challenging for several reasons: high speech rate, foreign-accented speech with a great diversity of accents, noisy communication channels. The best ranked team achieved a 7.62% Word Error Rate and a 82.41% CSD F1-score. Transcribing pilots' speech was found to be twice as harder as controllers' speech. Remaining issues towards solving ATC ASR are also discussed.


title: On the spectral characterization of mixed extensions of $P_3$

abstract: A mixed extension of a graph $G$ is a graph $H$ obtained from $G$ by replacing each vertex of $G$ by a clique or a coclique, whilst two vertices in $H$ corresponding to distinct vertices $x$ and $y$ of $G$ are adjacent whenever $x$ and $y$ are adjacent in $G$. If $G$ is the path $P_3$, then $H$ has at most three adjacency eigenvalues unequal to $0$ and $-1$. Recently, the first author classified the graphs with the mentioned eigenvalue property. Using this classification we investigate mixed extension of $P_3$ on being determined by the adjacency spectrum. We present several cospectral families, and with the help of a computer we find all graphs on at most $25$ vertices that are cospectral with a mixed extension of $P_3$.


title: About string stability of a vehicle chain with unidirectional controller

abstract: This paper deals with the problem of string stability in a chain of acceleration-controlled vehicles. It is known that string stability cannot be achieved, with any linear controller, when the vehicles' control inputs are based on relative distances to a fixed number of predecessors. We extend the set of impossible settings by including elements like dynamic sensor parts and local inter-vehicular communication, as in cooperative adaptive cruise control. It is also known that a weaker form of string stability is achievable by adding absolute velocity measurements (e.g. "time-headway" policy). We show that a stronger property can also be achieved, provided steady-state control gain is infinite e.g. by using integral control.


title: SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode

abstract: The paper describes a member of the Symbiotic toolbox called sbt-instrumentation, which is a tool for configurable instrumentation of LLVM bitcode. The tool enables a user to specify patterns of instructions and to define functions whose calls will be inserted before or after instructions that match the patterns. Moreover, the tool offers additional functionality. First, the instrumentation can be divided into phases in order to pass information acquired in an earlier phase to the later phases. Second, it can utilize results of some external static analysis by connecting it as a plugin. The sbt-instrumentation tool has been developed as the part of Symbiotic responsible for inserting memory safety checks. However, its configurability opens the way to use it for many various purposes.


title: Unconventional Flatband Line States in Photonic Lieb Lattices

abstract: Flatband systems typically host "compact localized states"(CLS) due to destructive interference and macroscopic degeneracy of Bloch wave functions associated with a dispersionless energy band. Using a photonic Lieb lattice(LL), we show that conventional localized flatband states are inherently incomplete, with the missing modes manifested as extended line states which form non-contractible loops winding around the entire lattice. Experimentally, we develop a continuous-wave laser writing technique to establish a finite-sized photonic LL with specially-tailored boundaries, thereby directly observe the unusually extended flatband line states.Such unconventional line states cannot be expressed as a linear combination of the previously observed CLS but rather arise from the nontrivial real-space topology.The robustness of the line states to imperfect excitation conditions is discussed, and their potential applications are illustrated.


title: Dynamic Type Inference for Gradual Hindley--Milner Typing

abstract: Garcia and Cimini study a type inference problem for the ITGL, an implicitly and gradually typed language with let-polymorphism, and develop a sound and complete inference algorithm for it. Soundness and completeness mean that, if the algorithm succeeds, the input term can be translated to a well-typed term of an explicitly typed blame calculus by cast insertion and vice versa. However, in general, there are many possible translations depending on how type variables that were left undecided by static type inference are instantiated with concrete static types. Worse, the translated terms may behave differently---some evaluate to values but others raise blame. In this paper, we propose and formalize a new blame calculus $\lambda^{\textsf{DTI}}_{\textsf{B}}$ that avoids such divergence as an intermediate language for the ITGL. A main idea is to allow a term to contain type variables (that have not been instantiated during static type inference) and defer instantiation of these type variables to run time. We introduce dynamic type inference (DTI) into the semantics of $\lambda^{\textsf{DTI}}_{\textsf{B}}$ so that type variables are instantiated along reduction. The DTI-based semantics not only avoids the divergence described above but also is sound and complete with respect to the semantics of fully instantiated terms in the following sense: if the evaluation of a term succeeds (i.e., terminates with a value) in the DTI-based semantics, then there is a fully instantiated version of the term that also succeeds in the explicitly typed blame calculus and vice versa. Finally, we prove the gradual guarantee, which is an important correctness criterion of a gradually typed language, for the ITGL.


title: Towards End-to-end Automatic Code-Switching Speech Recognition

abstract: Speech recognition in mixed language has difficulties to adapt end-to-end framework due to the lack of data and overlapping phone sets, for example in words such as "one" in English and "w\`an" in Chinese. We propose a CTC-based end-to-end automatic speech recognition model for intra-sentential English-Mandarin code-switching. The model is trained by joint training on monolingual datasets, and fine-tuning with the mixed-language corpus. During the decoding process, we apply a beam search and combine CTC predictions and language model score. The proposed method is effective in leveraging monolingual corpus and detecting language transitions and it improves the CER by 5%.


title: Collectively enhanced thermalization via multiqubit collisions

abstract: We investigate the evolution of a target qubit caused by its multiple random collisions with $N$-qubit clusters. Depending on the cluster state, the evolution of the target qubit may correspond to its effective interaction with a thermal bath, a coherent (laser) drive, or a squeezed bath. In cases where the target qubit relaxes to a thermal state its dynamics can exhibit a quantum advantage, whereby the target-qubit temperature can be scaled up proportionally to $N^2$ and the thermalization time can be shortened by a similar factor, provided the appropriate coherence in the cluster is prepared by non-thermal means. We dub these effects quantum super-thermalization due to its analogies to super-radiance. Experimental realizations of these effects are suggested.


title: A construction of singular overlapping asymmetric self-similar measures

abstract: In [8] we found a class of overlapping asymmetric self-similar measures on the real line, which are generically absolutely continuous with respect to the Lebesgue measure. Here we construct exceptional measures in this class being singular.


title: Lyapunov exponents, holomorphic flat bundles and de Rham moduli space

abstract: We consider Lyapunov exponents for flat bundles over hyperbolic curves defined via parallel transport over the geodesic flow. We refine a lower bound obtained by Eskin, Kontsevich, Moeller and Zorich showing that the sum of the first k exponents is greater or equal than the sum of the degree of any rank k holomorphic subbundle of the flat bundle and the asymptotic degree of its equivariant developing map. We also show that this inequality is an equality if the base curve is compact. We moreover relate the asymptotic degree to the dynamical degree defined by Daniel and Deroin. We then use the previous results to study properties of Lyapunov exponents on variations of Hodge structures and on Shatz strata of the de Rham moduli space. In particular we show that the top Lyapunov exponent function is unbounded on the maximal Shatz stratum, the oper locus. In the final part of the work we specialize to the rank two case, generalizing a result of Deroin and Dujardin about Lyapunov exponents of holonomies of projective structures.


title: An investigation on the skewness patterns and fractal nature of research productivity distributions at field and discipline level

abstract: The paper provides an empirical examination of how research productivity distributions differ across scientific fields and disciplines. Productivity is measured using the FSS indicator, which embeds both quantity and impact of output. The population studied consists of over 31,000 scientists in 180 fields (10 aggregate disciplines) of a national research system. The Characteristic Scores and Scale technique is used to investigate the distribution patterns for the different fields and disciplines. Research productivity distributions are found to be asymmetrical at the field level, although the degree of skewness varies substantially among the fields within the aggregate disciplines. We also examine whether the field productivity distributions show a fractal nature, which reveals an exception more than a rule. Differently, for the disciplines, the partitions of the distributions show skewed patterns that are highly similar.


title: Computing the volume of the convex hull of the graph of a trilinear monomial using mixed volumes

abstract: Speakman and Lee (2017) gave a formula for the volume of the convex hull of the graph of a trilinear monomial, $y=x_1x_2x_3$, over a box in the nonnegative orthant, in terms of the upper and lower bounds on the variables. This was done in the context of using volume as a measure for comparing alternative convexifications to guide the implementation of spatial branch-and-bound for mixed integer nonlinear optimization problems. Here, we introduce an alternative method for computing this volume, making use of the rich theory of mixed volumes. This new method may lead to a natural approach for considering extensions of the problem.


title: The effect of multidisciplinary collaborations on research diversification

abstract: This work verifies whether research diversification by a scientist is in some measure related to their collaboration with multidisciplinary teams. The analysis considers the publications achieved by 5300 Italian academics in the sciences over the period 2004-2008. The findings show that a scientist's outputs resulting from research diversification are more often than not the result of collaborations with multidisciplinary teams. The effect becomes more pronounced with larger and particularly with more diversified teams. This phenomenon is observed both at the overall level and for the disciplinary macro-areas.


title: An architecture of open-source tools to combine textual information extraction, faceted search and information visualisation

abstract: This article presents our steps to integrate complex and partly unstructured medical data into a clinical research database with subsequent decision support. Our main application is an integrated faceted search tool, accompanied by the visualisation of results of automatic information extraction from textual documents. We describe the details of our technical architecture (open-source tools), to be replicated at other universities, research institutes, or hospitals. Our exemplary use cases are nephrology and mammography. The software was first developed in the nephrology domain and then adapted to the mammography use case. We report on these case studies, illustrating how the application can be used by a clinician and which questions can be answered. We show that our architecture and the employed software modules are suitable for both areas of application with a limited amount of adaptations. For example, in nephrology we try to answer questions about the temporal characteristics of event sequences to gain significant insight from the data for cohort selection. We present a versatile time-line tool that enables the user to explore relations between a multitude of diagnosis and laboratory values.


title: Smoothness of stabilisers in generic characteristic

abstract: Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an algebraically closed field of characteristic $p\geq p_0$, the centraliser in $G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily separated we show similarly that for any closed subscheme $Y \subseteq X$ there is a $p_1$ depending on $Y$ such that when $k$ has characteristic $p \geq p_1$ the normaliser of $Y$ in $G_k$ is smooth. We prove these results using the Lefschetz principle together with careful application of Gr\"obner basis techniques, and using a suitable notion of the complexity of an action. We apply our results to demonstrate that the Kostant-Kirillov-Souriau theorem holds for Lie algebras of algebraic groups in large positive characteristics. In particular, every such Lie algebra decomposes as a disjoint union of symplectic varieties, each of which is a coadjoint orbit.


title: Who benefits from a country's scientific research?

abstract: When a publication is cited it generates a benefit. Through the country affiliations of the citing authors, it is possible to work upwards, tracing the countries that benefit from results produced in a national research system. In this work we take the knowledge flow from Italy as an example. We develop a methodology for examination of how the knowledge flows vary across fields, in each beneficiary country. We also measure the field comparative advantage of countries in benefiting from Italian research. The results from this method can inform bilateral research collaboration policies.


title: Spreading of Memes on Multiplex Networks

abstract: A model for the spreading of online information or "memes" on multiplex networks is introduced and analyzed using branching-process methods. The model generalizes that of [Gleeson et al., Phys.Rev. X., 2016] in two ways. First, even for a monoplex (single-layer) network, the model is defined for any specific network defined by its adjacency matrix, instead of being restricted to an ensemble of random networks. Second, a multiplex version of the model is introduced to capture the behaviour of users who post information from one social media platform to another. In both cases the branching process analysis demonstrates that the dynamical system is, in the limit of low innovation, poised near a critical point, which is known to lead to heavy-tailed distributions of meme popularity similar to those observed in empirical data.


title: On the Cauchy problem for the wave equation with data on the boundary

abstract: We consider the Cauchy problem for the wave equation in $\Omega\times{\mathbb R}$ with data given on some part of the boundary $\partial\Omega\times{\mathbb R}$. We provide a reconstruction algorithm for this problem based on analytic expressions. Our result is applicable to the problem of determining nonstationary wave field arising in geophysics, photoacoustic tomography, tsunami wave source recovery.


title: A proof of the first Kac-Weisfeiler conjecture in large characteristics

abstract: In 1971, Kac and Weisfeiler made two influential conjectures describing the dimensions of simple modules of a restricted Lie algebra $\mathfrak{g}$. The first predicts the maximal dimension of simple $\mathfrak{g}$-modules and in this paper we apply the Lefschetz principle and classical techniques from Lie theory to prove this conjecture for all restricted Lie subalgebras of $\mathfrak{gl}_n(k)$ whenever $k$ is an algebraically closed field of characteristic $p \gg n$. As a consequence we deduce that the conjecture holds for the the Lie algebra of a group scheme when specialised to an algebraically closed field of almost any characteristic. In the appendix to this paper, written by Akaki Tikaradze, a short proof of the first Kac--Weisfeiler conjecture is given for the Lie algebra of group scheme over a finitely generated ring $R \subseteq \mathbb{C}$, after base change to a field of large positive characteristic.


title: The effects of gender, age and academic rank on research diversification

abstract: In this work we analyze the combined effects of gender, age and academic rank on the propensity of individual scholars to diversify their scientific activity. The aspect of research diversification is measured along three main dimensions, namely its extent and intensity and the cognitive relatedness of the fields of diversification. We apply two regression models to the dataset of scientific output of all Italian professors in the sciences over the period 2004-2008. The aim is to understand how personal and organizational traits can influence individual behaviors in terms of research diversification. Among other considerations, our findings urge caution in identifying research diversification as a co-determinant of the gender productivity gap between males and females.


title: The relationship among research productivity, research collaboration, and their determinants

abstract: This work provides an in-depth analysis of the relation between the different types of collaboration and research productivity, showing how both are influenced by some personal and organizational variables. By applying different cross-lagged panel models, we are able to analyze the relationship among research productivity, collaboration and their determinants. In particular, we show that only collaboration at intramural and domestic level has a positive effect on research productivity. Differently, all the forms of collaboration are positively affected by research productivity. The results can favor the reexamination of the theories related to these issues, and inform policies that would be more suited to their management.


title: On tit for tat: Franceschini and Maisano versus ANVUR regarding the Italian research assessment exercise VQR 2011-2014

abstract: The response by Benedetto, Checchi, Graziosi & Malgarini (2017) (hereafter "BCG&M"), past and current members of the Italian Agency for Evaluation of University and Research Systems (ANVUR), to Franceschini and Maisano's ("F&M") article (2017), inevitably draws us into the debate. BCG&M in fact complain "that almost all criticisms to the evaluation procedures adopted in the two Italian research assessments VQR 2004-2010 and 2011-2014 limit themselves to criticize the procedures without proposing anything new and more apt to the scope". Since it is us who raised most criticisms in the literature, we welcome this opportunity to retrace our vainly "constructive" recommendations, made with the hope of contributing to assessments of the Italian research system more in line with the state of the art in scientometrics. We see it as equally interesting to confront the problem of the failure of knowledge transfer from R&D (scholars) to engineering and production (ANVUR's practitioners) in the Italian VQRs. We will provide a few notes to help the reader understand the context for this failure. We hope that these, together with our more specific comments, will also assist in communicating the reasons for the level of scientometric competence expressed in BCG&M's heated response to F&M's criticism.


title: Large deviations for interacting particle systems: joint mean-field and small-noise limit

abstract: We consider a system of stochastic interacting particles in $\mathbb{R}^d$ and we describe large deviations asymptotics in a joint mean-field and small-noise limit. Precisely, a large deviations principle (LDP) is established for the empirical measure and the stochastic current, as the number of particles tends to infinity and the noise vanishes, simultaneously. We give a direct proof of the LDP using tilting and subsequently exploiting the link between entropy and large deviations. To this aim we employ consistency of suitable deterministic control problems associated to the stochastic dynamics.


title: Do interdisciplinary research teams deliver higher gains to science?

abstract: The present paper takes its place in the stream of studies that analyze the effect of interdisciplinarity on the impact of research output. Unlike previous studies, in this study the interdisciplinarity of the publications is not inferred through their citing or cited references, but rather by identifying the authors' designated fields of research. For this we draw on the scientific classification of Italian academics, and their publications as indexed in the WoS over a five-year period (2004-2008). We divide the publications in three subsets on the basis the nature of co-authorship: those papers coauthored with academics from different fields, which show high intensity of inter-field collaboration ("specific" collaboration, occurring in 110 pairings of fields); those papers coauthored with academics who are simply from different "non-specific" fields; and finally co-authorships within a single field. We then compare the citations of the papers and the impact factor of the publishing journals between the three subsets. The results show significant differences, generally in favor of the interdisciplinary authorships, in only one third (or slightly more) of the cases. The analysis provides the value of the median differences for each pair of publication subsets.


title: Relaxation and hysteresis near Shapiro resonances in a driven spinor condensate

abstract: We study the coherent and dissipative aspects of a driven spin-1 Bose-Einstein condensate (BEC) when the Zeeman energy is modulated around a static bias value. Resonances appear when the bias energy matches an integer number of modulation quanta. They constitute the atomic counterpart of Shapiro resonances observed in microwave-driven superconducting Josephson junctions. The population dynamics near each resonance corresponds to slow and non-linear secular oscillations on top of a rapid `micromotion'. At long times and in a narrow window of modulation frequencies around each resonance, we observe a relaxation to asymptotic states that are unstable without drive. These stationary states correspond to phase-locked solutions of the Josephson equations generalized to include dissipation, and are analogous to the stationary states of driven superconducting junctions. We find that dissipation is essential to understand this long-time behavior, and we propose a phenomenological model to explain quantitatively the experimental results. Finally, we demonstrate hysteresis in the asymptotic state of the driven spinor BEC when sweeping the modulation frequency across a Shapiro resonance.


title: Triples of Orthogonal Latin and Youden Rectangles For Small Orders

abstract: We have performed a complete enumeration of non-isotopic triples of mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$. Here we will present a census of such triples, classified by various properties, including the order of the autotopism group of the triple. As part of this we have also achieved the first enumeration of pairwise orthogonal triples of Youden rectangles. We have also studied orthogonal triples of $k \times 8$ rectangles which are formed by extending mutually orthogonal triples with non-trivial autotopisms one row at a time, and requiring that the autotopism group is non-trivial in each step. This class includes a triple coming from the projective plane of order 8. Here we find a remarkably symmetrical pair of triples of $4 \times 8$ rectangles, formed by juxtaposing two selected copies of complete sets of MOLS of order 4.


title: Neuromorphic hardware as a self-organizing computing system

abstract: This paper presents the self-organized neuromorphic architecture named SOMA. The objective is to study neural-based self-organization in computing systems and to prove the feasibility of a self-organizing hardware structure. Considering that these properties emerge from large scale and fully connected neural maps, we will focus on the definition of a self-organizing hardware architecture based on digital spiking neurons that offer hardware efficiency. From a biological point of view, this corresponds to a combination of the so-called synaptic and structural plasticities. We intend to define computational models able to simultaneously self-organize at both computation and communication levels, and we want these models to be hardware-compliant, fault tolerant and scalable by means of a neuro-cellular structure.


title: Detection of orbital motions near the last stable circular orbit of the massive black hole SgrA*

abstract: We report the detection of continuous positional and polarization changes of the compact source SgrA* in high states ('flares') of its variable near- infrared emission with the near-infrared GRAVITY-Very Large Telescope Interferometer (VLTI) beam-combining instrument. In three prominent bright flares, the position centroids exhibit clockwise looped motion on the sky, on scales of typically 150 micro-arcseconds over a few tens of minutes, corresponding to about 30% the speed of light. At the same time, the flares exhibit continuous rotation of the polarization angle, with about the same 45(+/-15)-minute period as that of the centroid motions. Modelling with relativistic ray tracing shows that these findings are all consistent with a near face-on, circular orbit of a compact polarized 'hot spot' of infrared synchrotron emission at approximately six to ten times the gravitational radius of a black hole of 4 million solar masses. This corresponds to the region just outside the innermost, stable, prograde circular orbit (ISCO) of a Schwarzschild-Kerr black hole, or near the retrograde ISCO of a highly spun-up Kerr hole. The polarization signature is consistent with orbital motion in a strong poloidal magnetic field.


title: SubSpectralNet - Using Sub-Spectrogram based Convolutional Neural Networks for Acoustic Scene Classification

abstract: Acoustic Scene Classification (ASC) is one of the core research problems in the field of Computational Sound Scene Analysis. In this work, we present SubSpectralNet, a novel model which captures discriminative features by incorporating frequency band-level differences to model soundscapes. Using mel-spectrograms, we propose the idea of using band-wise crops of the input time-frequency representations and train a convolutional neural network (CNN) on the same. We also propose a modification in the training method for more efficient learning of the CNN models. We first give a motivation for using sub-spectrograms by giving intuitive and statistical analyses and finally we develop a sub-spectrogram based CNN architecture for ASC. The system is evaluated on the public ASC development dataset provided for the "Detection and Classification of Acoustic Scenes and Events" (DCASE) 2018 Challenge. Our best model achieves an improvement of +14% in terms of classification accuracy with respect to the DCASE 2018 baseline system. Code and figures are available at https://github.com/ssrp/SubSpectralNet


title: Substrate induced proximity effect in superconducting niobium nanofilms

abstract: Structural and superconducting properties of high quality Niobium nanofilms with different thicknesses are investigated on silicon oxide and sapphire substrates. The role played by the different substrates and the superconducting properties of the Nb films are discussed based on the defectivity of the films and on the presence of an interfacial oxide layer between the Nb film and the substrate. The X-ray absorption spectroscopy is employed to uncover the structure of the interfacial layer. We show that this interfacial layer leads to a strong proximity effect, specially in films deposited on a SiO$_2$ substrate, altering the superconducting properties of the Nb films. Our results establish that the critical temperature is determined by an interplay between quantum-size effects, due to the reduction of the Nb film thicknesses, and proximity effects.


title: The Responsibility Quantification (ResQu) Model of Human Interaction with Automation

abstract: Intelligent systems and advanced automation are involved in information collection and evaluation, in decision-making and in the implementation of chosen actions. In such systems, human responsibility becomes equivocal. Understanding human casual responsibility is particularly important when intelligent autonomous systems can harm people, as with autonomous vehicles or, most notably, with autonomous weapon systems (AWS). Using Information Theory, we develop a responsibility quantification (ResQu) model of human involvement in intelligent automated systems and demonstrate its applications on decisions regarding AWS. The analysis reveals that human comparative responsibility to outcomes is often low, even when major functions are allocated to the human. Thus, broadly stated policies of keeping humans in the loop and having meaningful human control are misleading and cannot truly direct decisions on how to involve humans in intelligent systems and advanced automation. The current model is an initial step in the complex goal to create a comprehensive responsibility model, that will enable quantification of human causal responsibility. It assumes stationarity, full knowledge regarding the characteristic of the human and automation and ignores temporal aspects. Despite these limitations, it can aid in the analysis of systems designs alternatives and policy decisions regarding human responsibility in intelligent systems and advanced automation.


title: On the entropy of plasmas described with regularized $\kappa$-distributions

abstract: In classical thermodynamics the entropy is an extensive quantity, i.e.\ the sum of the entropies of two subsystems in equilibrium with each other is equal to the entropy of the full system consisting of the two subsystems. The extensitivity of entropy has been questioned in the context of a theoretical foundation for the so-called $\kappa$-distributions, which describe plasma constituents with power-law velocity distributions. We demonstrate here, by employing the recently introduced {\it regularized $\kappa$-distributions}, that entropy can be defined as an extensive quantity even for such power-law-like distributions that truncate exponentially.