title: A deep learning approach to identify unhealthy advertisements in street view images

abstract: While outdoor advertisements are common features within towns and cities, they may reinforce social inequalities in health. Vulnerable populations in deprived areas may have greater exposure to fast food, gambling and alcohol advertisements encouraging their consumption. Understanding who is exposed and evaluating potential policy restrictions requires a substantial manual data collection effort. To address this problem we develop a deep learning workflow to automatically extract and classify unhealthy advertisements from street-level images. We introduce the Liverpool 360 Street View (LIV360SV) dataset for evaluating our workflow. The dataset contains 25,349, 360 degree, street-level images collected via cycling with a GoPro Fusion camera, recorded Jan 14th - 18th 2020. 10,106 advertisements were identified and classified as food (1335), alcohol (217), gambling (149) and other (8405) (e.g., cars and broadband). We find evidence of social inequalities with a larger proportion of food advertisements located within deprived areas and those frequented by students. Our project presents a novel implementation for the incidental classification of street view images for identifying unhealthy advertisements, providing a means through which to identify areas that can benefit from tougher advertisement restriction policies for tackling social inequalities.


title: Concept Bottleneck Models

abstract: We seek to learn models that we can interact with using high-level concepts: if the model did not think there was a bone spur in the x-ray, would it still predict severe arthritis? State-of-the-art models today do not typically support the manipulation of concepts like "the existence of bone spurs", as they are trained end-to-end to go directly from raw input (e.g., pixels) to output (e.g., arthritis severity). We revisit the classic idea of first predicting concepts that are provided at training time, and then using these concepts to predict the label. By construction, we can intervene on these concept bottleneck models by editing their predicted concept values and propagating these changes to the final prediction. On x-ray grading and bird identification, concept bottleneck models achieve competitive accuracy with standard end-to-end models, while enabling interpretation in terms of high-level clinical concepts ("bone spurs") or bird attributes ("wing color"). These models also allow for richer human-model interaction: accuracy improves significantly if we can correct model mistakes on concepts at test time.


title: Quantifying the hydrodynamic limit of Vlasov-type equations with alignment and nonlocal forces

abstract: In this paper, we quantify the asymptotic limit of collective behavior kinetic equations arising in mathematical biology modeled by Vlasov-type equations with nonlocal interaction forces and alignment. More precisely, we investigate the hydrodynamic limit of a kinetic Cucker--Smale flocking model with confinement, nonlocal interaction, and local alignment forces, linear damping and diffusion in velocity. We first discuss the hydrodynamic limit of our main equation under strong local alignment and diffusion regime, and we rigorously derive the isothermal Euler equations with nonlocal forces. We also analyze the hydrodynamic limit corresponding to strong local alignment without diffusion. In this case, the limiting system is pressureless Euler-type equations. Our analysis includes the Coulombian interaction potential for both cases and explicit estimates on the distance towards the limiting hydrodynamic equations. The relative entropy method is the crucial technology in our main results, however, for the case without diffusion, we combine a modulated macroscopic kinetic energy with the bounded Lipschitz distance to deal with the nonlocality in the interaction forces. For the sake of completeness, the existence of weak and strong solutions to the kinetic and fluid equations are also established.


title: Weakness Analysis of Cyberspace Configuration Based on Reinforcement Learning

abstract: In this work, we present a learning-based approach to analysis cyberspace configuration. Unlike prior methods, our approach has the ability to learn from past experience and improve over time. In particular, as we train over a greater number of agents as attackers, our method becomes better at rapidly finding attack paths for previously hidden paths, especially in multiple domain cyberspace. To achieve these results, we pose finding attack paths as a Reinforcement Learning (RL) problem and train an agent to find multiple domain attack paths. To enable our RL policy to find more hidden attack paths, we ground representation introduction an multiple domain action select module in RL. By designing a simulated cyberspace experimental environment to verify our method. Our objective is to find more hidden attack paths, to analysis the weakness of cyberspace configuration. The experimental results show that our method can find more hidden multiple domain attack paths than existing baselines methods.


title: New Function Spaces Associated to Representations of Nilpotent Lie Groups and Generalized Time-Frequency Analysis

abstract: We study function spaces that are related to square-integrable, irreducible, unitary representations of several low-dimensional nilpotent Lie groups. These are new examples of coorbit theory and yield new families of function spaces on $\mathbb{R}^d $. The concrete realization of the representation suggests that these function spaces are useful for generalized time-frequency analysis or phase-space analysis.


title: Intertwined Magnetic Sub-Lattices in the Double Perovskite Compound LaSrNiReO6

abstract: We report a muon spin rotation ($\mu^{+}$SR) study of the magnetic properties of the double perovskite compound LaSrNiReO$_{6}$. Using the unique length and time scales of the $\mu^{+}$SR technique, we successfully clarify the magnetic ground state of LaSrNiReO$_{6}$, which was previously deemed as a spin glass state. Instead, our $\mu^{+}$SR results point towards a long-range dynamically ordered ground state below $T_{\rm C}= 23$ K, for which a static limit is foreseen at $T=0$. Furthermore, between 23 K$<T\leq$300 K, three different magnetic phases are identified: a dense ($23$ K$<T\leq75$ K), a dilute ($75$ K$<T\leq250$ K), and a paramagnetic ($T>250$ K) state. Our results reveal how two separate, yet intertwined magnetic lattices interact within the unique double perovskite structure and the importance of using complementary experimental techniques to obtain a complete understanding of the microscopic magnetic properties of complex materials.


title: Stochastic gradient descent for linear least squares problems with partially observed data

abstract: We propose a novel stochastic gradient descent method for solving linear least squares problems with partially observed data. Our method uses submatrices indexed by a randomly selected pair of row and column index sets to update the iterate at each step. Theoretical convergence guarantees in the mean square sense are provided. Numerical experiments are reported to demonstrate the theoretical findings.


title: Federated Learning of User Authentication Models

abstract: Machine learning-based User Authentication (UA) models have been widely deployed in smart devices. UA models are trained to map input data of different users to highly separable embedding vectors, which are then used to accept or reject new inputs at test time. Training UA models requires having direct access to the raw inputs and embedding vectors of users, both of which are privacy-sensitive information. In this paper, we propose Federated User Authentication (FedUA), a framework for privacy-preserving training of UA models. FedUA adopts federated learning framework to enable a group of users to jointly train a model without sharing the raw inputs. It also allows users to generate their embeddings as random binary vectors, so that, unlike the existing approach of constructing the spread out embeddings by the server, the embedding vectors are kept private as well. We show our method is privacy-preserving, scalable with number of users, and allows new users to be added to training without changing the output layer. Our experimental results on the VoxCeleb dataset for speaker verification shows our method reliably rejects data of unseen users at very high true positive rates.


title: Incorporating social opinion in the evolution of an epidemic spread

abstract: Attempts to control the epidemic spread of COVID19 in the different countries often involve imposing restrictions to the mobility of citizens. Recent examples demonstrate that the effectiveness of these policies strongly depends on the willingness of the population to adhere them. And this is a parameter that it is difficult to measure and control. We demonstrate in this manuscript a systematic way to check the mood of a society and a way to incorporate it into dynamical models of epidemic propagation. We exemplify the process considering the case of Spain although the results and methodology can be directly extrapolated to other countries.


title: Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard

abstract: It is well-know that deciding consistency for normal answer set programs (ASP) is NP-complete, thus, as hard as the satisfaction problem for classical propositional logic (SAT). The best algorithms to solve these problems take exponential time in the worst case. The exponential time hypothesis (ETH) implies that this result is tight for SAT, that is, SAT cannot be solved in subexponential time. This immediately establishes that the result is also tight for the consistency problem for ASP. However, accounting for the treewidth of the problem, the consistency problem for ASP is slightly harder than SAT: while SAT can be solved by an algorithm that runs in exponential time in the treewidth k, it was recently shown that ASP requires exponential time in k \cdot log(k). This extra cost is due checking that there are no self-supported true atoms due to positive cycles in the program. In this paper, we refine the above result and show that the consistency problem for ASP can be solved in exponential time in k \cdot log({\lambda}) where {\lambda} is the minimum between the treewidth and the size of the largest strongly-connected component in the positive dependency graph of the program. We provide a dynamic programming algorithm that solves the problem and a treewidth-aware reduction from ASP to SAT that adhere to the above limit.


title: Logic of computational semi-effects and categorical gluing for equivariant functors

abstract: In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following steps. Firstly, we perform proof-theoretic reconstruction of Moggi's computational metalanguage and obtain a type theory with a modal type $\rhd$ as a refinement. Through the proposition-as-type paradigm, its logic can be seen as a decomposition of lax logic via Benton's adjoint calculus. This calculus models as a programming language a weaker version of effects, which we call \emph{semi-effects}. Secondly, we give its semantics using actegories and equivariant functors. Compared to previous studies of effects and actegories, our approach is more general in that models are directly given by equivariant functors, which include Freyd categories (hence strong monads) as a special case. Thirdly, we show that categorical gluing along equivariant functors is possible and derive logical predicates for $\rhd$-modality. We also show that this gluing, under a natural assumption, gives rise to logical predicates that coincide with those derived by Katsumata's categorical $\top\top$-lifting for Moggi's metalanguage.


title: Physics of Laser-Wakefield Accelerators (LWFA)

abstract: Intense ultrashort laser pulses propagating through an underdense plasma are able to drive relativistic plasma waves, creating accelerating structures with extreme gradients. These structures represent a new type of compact sources for generating ultrarelativistic, ultrashort electron beams. This chapter covers the theoretical background behind the process of LWFA. Starting from the basic description of electromagnetic waves and their interaction with particles, the main aspects of the LWFA are presented. These include the excitation of plasma waves, description of the acceleration phase and injection mechanisms. These considerations are concluded by a discussion of the fundamental limits on the energy gain and scaling laws.


title: Non-local approximation of the Griffith functional

abstract: An approximation, in the sense of $\Gamma$-convergence and in any dimension $d\geq1$, of Griffith-type functionals, with $p-$growth ($p>1$) in the symmetrized gradient, is provided by means of a sequence of non-local integral functionals depending on the average of the symmetrized gradients on small balls.


title: Formation of compact galaxies in the Extreme-Horizon simulation

abstract: We present the Extreme-Horizon (EH) cosmological simulation: EH models galaxy formation with stellar and AGN feedback and uses a very high resolution in the intergalactic and circumgalactic medium. The high resolution in low-density regions results in smaller-size massive galaxies at redshift $z=2$, in better agreement with observations compared to other simulations. This results from the improved modeling of cold gas flows accreting onto galaxies. Besides, the EH simulation forms a population of particularly compact galaxies with stellar masses of $10^{10-11}$\,M$_\sun$ that are reminiscent of observed ultracompact galaxies at $z\simeq2$. These objects form mainly through repeated major mergers of low-mass progenitors, independently of baryonic feedback mechanisms. This formation process can be missed in simulations using a too low resolution in low-density intergalactic regions.


title: A Gersten complex on real schemes

abstract: We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the exceptional inverse image functor $f^!$. The hypercohomology of this complex coincides with hypercohomology of the sheafified Gersten-Witt complex, which in some cases can be related to topological or semialgebraic Borel-Moore homology.


title: DISCO PAL: Diachronic Spanish Sonnet Corpus with Psychological and Affective Labels

abstract: Nowadays, there are many applications of text mining over corpora from different languages. However, most of them are based on texts in prose, lacking applications that work with poetry texts. An example of an application of text mining in poetry is the usage of features derived from their individual words in order to capture the lexical, sublexical and interlexical meaning, and infer the General Affective Meaning (GAM) of the text. However, even though this proposal has been proved as useful for poetry in some languages, there is a lack of studies for both Spanish poetry and for highly-structured poetic compositions such as sonnets. This article presents a study over an annotated corpus of Spanish sonnets, in order to analyse if it is possible to build features from their individual words for predicting their GAM. The purpose of this is to model sonnets at an affective level. The article also analyses the relationship between the GAM of the sonnets and the content itself. For this, we consider the content from a psychological perspective, identifying with tags when a sonnet is related to a specific term. Then, we study how GAM changes according to each of those psychological terms. The corpus used contains 274 Spanish sonnets from authors of different centuries, from 15th to 19th. This corpus was annotated by different domain experts. The experts annotated the poems with affective and lexico-semantic features, as well as with domain concepts that belong to psychology. Thanks to this, the corpus of sonnets can be used in different applications, such as poetry recommender systems, personality text mining studies of the authors, or the usage of poetry for therapeutic purposes.


title: SNR G39.2-0.3, an Hadronic Cosmic Rays Accelerator

abstract: Recent results obtained with gamma-ray satellites have established supernova remnants as accelerators of GeV hadronic cosmic rays. In such processes, CRs accelerated in SNR shocks interact with particles from gas clouds in their surrounding. In particular, the rich medium in which core-collapse SNRs explode provides a large target density to boost hadronic gamma-rays. SNR G39.2-0.3 is one of the brightest SNR in infrared wavelengths, and its broad multiwavelength coverage allows detailed modelling of its radiation from radio to high energies. We reanalyzed the Fermi-LAT data on this region and compare it with new radio observations from the MWISP survey. The modelling of the spectral energy distribution from radio to GeV energies favors a hadronic origin of the gamma-ray emission and constrains the SNR magnetic field to be at least ~100 uG. Despite the large magnetic field, the present acceleration of protons seems to be limited to ~10 GeV, which points to a drastic slow down of the shock velocity due to the dense wall traced by the CO observations, surrounding the remnant. Further investigation of the gamma-ray spectral shape points to a dynamically old remnant subjected to severe escape of CRs and a decrease of acceleration efficiency. The low-energy peak of the gamma-ray spectrum also suggests that that the composition of accelerated particles might be enriched by heavy nuclei which is certainly expected for a core-collapse SNR. Alternatively, the contribution of the compressed pre-existing Galactic cosmic rays is discussed, which is, however, found to not likely be the dominant process for gamma-ray production.


title: Phase shifted $\mathcal{PT}$-symmetric periodic structures

abstract: We report the spectral features of a phase-shifted parity and time ($\mathcal{PT}$)-symmetric fiber Bragg grating (PPTFBG) and demonstrate its functionality as a demultiplexer in the unbroken $\mathcal{PT}$-symmetric regime. The length of the proposed system is of the order of millimeters and the lasing spectra in the broken $\mathcal{PT}$-symmetric regime can be easily tuned in terms of intensity, bandwidth and wavelength by varying the magnitude of the phase shift in the middle of the structure. Surprisingly, the multi-modal lasing spectra are suppressed by virtue of judiciously selected phase and the gain-loss value. Also, it is possible to obtain sidelobe-less spectra in the broken $\mathcal{PT}$-symmetric regime, without a need for an apodization profile, which is a traditional way to tame the unwanted sidelobes. The system is found to show narrow band single-mode lasing behavior for a wide range of phase shift values for given values of gain and loss. Moreover, we report the intensity tunable reflection and transmission characteristics in the unbroken regime via variation in gain and loss. At the exceptional point, the system shows unidirectional wave transport phenomenon independent of the presence of phase shift in the middle of the grating. For the right light incidence direction, the system exhibits zero reflection wavelengths within the stopband at the exceptional point. We also investigate the role of multiple phase shifts placed at fixed locations along the length of the FBG and the variations in the spectra when the phase shift and gain-loss values are tuned. In the broken $\mathcal{PT}$-symmetric regime, the presence of multiple phase shifts aids in controlling the number of reflectivity peaks besides controlling their magnitude.


title: Principal Word Vectors

abstract: We generalize principal component analysis for embedding words into a vector space. The generalization is made in two major levels. The first is to generalize the concept of the corpus as a counting process which is defined by three key elements vocabulary set, feature (annotation) set, and context. This generalization enables the principal word embedding method to generate word vectors with regard to different types of contexts and different types of annotations provided for a corpus. The second is to generalize the transformation step used in most of the word embedding methods. To this end, we define two levels of transformations. The first is a quadratic transformation, which accounts for different types of weighting over the vocabulary units and contextual features. Second is an adaptive non-linear transformation, which reshapes the data distribution to be meaningful to principal component analysis. The effect of these generalizations on the word vectors is intrinsically studied with regard to the spread and the discriminability of the word vectors. We also provide an extrinsic evaluation of the contribution of the principal word vectors on a word similarity benchmark and the task of dependency parsing. Our experiments are finalized by a comparison between the principal word vectors and other sets of word vectors generated with popular word embedding methods. The results obtained from our intrinsic evaluation metrics show that the spread and the discriminability of the principal word vectors are higher than that of other word embedding methods. The results obtained from the extrinsic evaluation metrics show that the principal word vectors are better than some of the word embedding methods and on par with popular methods of word embedding.


title: Maximum-and-Concatenation Networks

abstract: While successful in many fields, deep neural networks (DNNs) still suffer from some open problems such as bad local minima and unsatisfactory generalization performance. In this work, we propose a novel architecture called Maximum-and-Concatenation Networks (MCN) to try eliminating bad local minima and improving generalization ability as well. Remarkably, we prove that MCN has a very nice property; that is, \emph{every local minimum of an $(l+1)$-layer MCN can be better than, at least as good as, the global minima of the network consisting of its first $l$ layers}. In other words, by increasing the network depth, MCN can autonomously improve its local minima's goodness, what is more, \emph{it is easy to plug MCN into an existing deep model to make it also have this property}. Finally, under mild conditions, we show that MCN can approximate certain continuous functions arbitrarily well with \emph{high efficiency}; that is, the covering number of MCN is much smaller than most existing DNNs such as deep ReLU. Based on this, we further provide a tight generalization bound to guarantee the inference ability of MCN when dealing with testing samples.


title: Capturing scattered discriminative information using a deep architecture in acoustic scene classification

abstract: Frequently misclassified pairs of classes that share many common acoustic properties exist in acoustic scene classification (ASC). To distinguish such pairs of classes, trivial details scattered throughout the data could be vital clues. However, these details are less noticeable and are easily removed using conventional non-linear activations (e.g. ReLU). Furthermore, making design choices to emphasize trivial details can easily lead to overfitting if the system is not sufficiently generalized. In this study, based on the analysis of the ASC task's characteristics, we investigate various methods to capture discriminative information and simultaneously mitigate the overfitting problem. We adopt a max feature map method to replace conventional non-linear activations in a deep neural network, and therefore, we apply an element-wise comparison between different filters of a convolution layer's output. Two data augment methods and two deep architecture modules are further explored to reduce overfitting and sustain the system's discriminative power. Various experiments are conducted using the detection and classification of acoustic scenes and events 2020 task1-a dataset to validate the proposed methods. Our results show that the proposed system consistently outperforms the baseline, where the single best performing system has an accuracy of 70.4% compared to 65.1% of the baseline.


title: Frequency domain measurements of thermal properties using 3omega-Scanning Thermal Microscope in a vacuum environment

abstract: Material thermal properties characterization at nanoscales remains a challenge even if progresses were done in developing specific characterization techniques like the Scanning Thermal Microscopy (SThM). In the present work, we propose a detailed procedure based on the combined use of a SThM probe characterization and its Finite Element Modeling (FEM) to recover in-operando 3omega measurements achieved under high vacuum. This approach is based on a two-step methodology: (i) a fine description of the probe s electrical and frequency behaviors in out of contact mode to determine intrinsic parameters of the SThM tip, (b) a minimization of the free parameter of our model, i.e. the contact thermal resistance, by comparing 3omega measurements to our simulations of the probe operating in contact mode. Such an approach allows us to accurately measure thermal interface resistances of the probe as a function of the strength applied between the tip and the surface for three different materials (silicon, silica and gold). In addition, FEM modeling provides insights about the 3omega-SThM technique sensitivity, as a function of probe / sample interface resistance to measure material thermal conductivity, paving the way to quantitative SThM measurements.


title: Initial-boundary problem for degenerate high order equations with fractional derivative

abstract: The mixed problem for a degenerate high order equation with a fractional derivative in a rectangular domain is considered in the article. The existence of a solution and its uniqueness are shown by the spectral method.


title: An upgraded interpolator of the radial basis functions network for spectral calculation based on empirical stellar spectral library

abstract: Stellar population synthesis is an important method in the galaxy and star-cluster studies. In the stellar population synthesis models, stellar spectral library is necessary for the integrated spectra of the stellar population. Usually, the stellar spectral library is used to the transformation between the stellar atmospheric parameters and the stellar spectrum. The empirical stellar spectral library has irreplaceable advantages than the theoretical library. However, for the empirical spectral library, the distribution of stars is irregularly in the stellar atmospheric parameter space, this makes the traditional interpolator difficult to get the accurate results. In this work, we will provide an improved radial basis function interpolator which is used to obtain the interpolated stellar spectra based on the empirical stellar spectral library. For this interpolator, we use the relation between the standard variance {\sigma} in the Gaussian radial basis function and the density distribution of stars in the stellar atmospheric parameter space to give the prior constraint on this {\sigma}. Moreover, we also consider the anisotropic radius basis function by the advantage of the local dispersion of stars in the stellar atmospheric parameter space. Furthermore, we use the empirical stellar spectral library MILES to test this interpolator. On the whole, the interpolator has a good performance except for the edge of the low-temperature region. At last, we compare this interpolator with the work in Cheng et al. (2018), the interpolation result shows an obvious improvement. Users can use this interpolator to get the interpolated spectra based on the stellar spectral library quickly and easily.


title: An extension theorem from connected sets and homogenization of non-local functionals

abstract: We study the asymptotic behaviour of convolution-type functionals defined on general periodic domains by proving an extension theorem


title: Photoinduced $\eta$-pairing at finite temperatures

abstract: We numerically prove photoinduced $\eta$-pairing in a half-filled fermionic Hubbard chain at both zero and finite temperature. The result, obtained by combining the matrix-product-state based infinite time-evolving block decimation technique and the purification method, applies to the thermodynamic limit. Exciting the Mott insulator by a laser electric field docked on via the Peierls phase, we track the time-evolution of the correlated many-body system and determine the optimal parameter set for which the nonlocal part of the $\eta$-pair correlation function becomes dominant during the laser pump at zero and low temperatures. These correlations vanish at higher temperatures and long times after pulse irradiation. In the high laser frequency strong Coulomb coupling regime we observe a remnant enhancement of the Brillouin-zone boundary pair-correlation function also at high temperatures, if the Hubbard interaction is about a multiple of the laser frequency, which can be attributed to an enhanced double occupancy in the virtual Floquet state.


title: IALE: Imitating Active Learner Ensembles

abstract: Active learning (AL) prioritizes the labeling of the most informative data samples. However, the performance of AL heuristics depends on the structure of the underlying classifier model and the data. We propose an imitation learning scheme that imitates the selection of the best expert heuristic at each stage of the AL cycle in a batch-mode pool-based setting. We use DAGGER to train the policy on a dataset and later apply it to datasets from similar domains. With multiple AL heuristics as experts, the policy is able to reflect the choices of the best AL heuristics given the current state of the AL process. Our experiment on well-known datasets show that we both outperform state of the art imitation learners and heuristics.


title: Non-Relativistic Formation of Scalar Clumps as a Candidate for Dark Matter

abstract: We propose a new mechanism for the formation of dark matter clumps in the radiation era. We assume that a light scalar field is decoupled from matter and oscillates harmonically around its vacuum expectation value. We include self-interactions and consider the nonrelativistic regime. The scalar dynamics are described by a fluid approach where the fluid pressure depends on both quantum and self-interaction effects. When the squared speed of sound of the scalar fluid becomes negative, an instability arises and the fluctuations of the scalar energy-density field start growing. They eventually become nonlinear and clumps form. Subsequently, the clumps aggregate and reach a universal regime. Afterwards, they play the role of cold dark matter. We apply this mechanism first to a model with a negative quartic term stabilised by a positive self-interaction of order six, and then to axion monodromy, where a subdominant cosine potential corrects a mass term. In the first case, the squared speed of sound becomes negative when the quartic term dominates, leading to a tachyonic instability. For axion monodromy, the instability starts very slowly after the squared speed of sound first becomes negative and then oscillates around zero. Initially the density perturbations perform acoustic oscillations due to the quantum pressure. Eventually, they start growing exponentially due to a parametric resonance. In both scenarios, the scalar-field clumps span a wide range of scales and masses, running from the size of atoms to that of galactic molecular clouds, and from $10^{-3} \, {\rm gram}$ to thousands of solar masses. Because of finite-size effects, both from the source and the lens, these dark matter clumps are far beyond the reach of microlensing observations.


title: Attention Neural Network for Trash Detection on Water Channels

abstract: Rivers and canals flowing through cities are often used illegally for dumping the trash. This contaminates freshwater channels as well as causes blockage in sewerage resulting in urban flooding. When this contaminated water reaches agricultural fields, it results in degradation of soil and poses critical environmental as well as economic threats. The dumped trash is often found floating on the water surface. The trash could be disfigured, partially submerged, decomposed into smaller pieces, clumped together with other objects which obscure its shape and creates a challenging detection problem. This paper proposes a method for the detection of visible trash floating on the water surface of the canals in urban areas. We also provide a large dataset, first of its kind, trash in water channels that contains object-level annotations. A novel attention layer is proposed that improves the detection of smaller objects. Towards the end of this paper, we provide a detailed comparison of our method with state-of-the-art object detectors and show that our method significantly improves the detection of smaller objects. The dataset will be made publicly available.


title: Task-Agnostic Exploration via Policy Gradient of a Non-Parametric State Entropy Estimate

abstract: In a reward-free environment, what is a suitable intrinsic objective for an agent to pursue so that it can learn an optimal task-agnostic exploration policy? In this paper, we argue that the entropy of the state distribution induced by finite-horizon trajectories is a sensible target. Especially, we present a novel and practical policy-search algorithm, Maximum Entropy POLicy optimization (MEPOL), to learn a policy that maximizes a non-parametric, $k$-nearest neighbors estimate of the state distribution entropy. In contrast to known methods, MEPOL is completely model-free as it requires neither to estimate the state distribution of any policy nor to model transition dynamics. Then, we empirically show that MEPOL allows learning a maximum-entropy exploration policy in high-dimensional, continuous-control domains, and how this policy facilitates learning a variety of meaningful reward-based tasks downstream.


title: Probabilistic Value Selection for Space Efficient Model

abstract: An alternative to current mainstream preprocessing methods is proposed: Value Selection (VS). Unlike the existing methods such as feature selection that removes features and instance selection that eliminates instances, value selection eliminates the values (with respect to each feature) in the dataset with two purposes: reducing the model size and preserving its accuracy. Two probabilistic methods based on information theory's metric are proposed: PVS and P + VS. Extensive experiments on the benchmark datasets with various sizes are elaborated. Those results are compared with the existing preprocessing methods such as feature selection, feature transformation, and instance selection methods. Experiment results show that value selection can achieve the balance between accuracy and model size reduction.


title: The Twisted Derivation Problem for Group Rings

abstract: We study $(\sigma,\tau)$-derivations of a group ring $RG$ where $G$ is a group with center having finite index in $G$ and $R$ is a semiprime ring with $1$ such that either $R$ has no torsion elements or that if $R$ has $p$-torsion elements, then $p$ does not divide the order of $G$ and let $\sigma,\tau$ be $R$-linear endomorphisms of $RG$ fixing the center of $RG$ pointwise. We generalize Main Theorem $1.1$ of \cite{Chau-19} and prove that there is a ring $T\supset R$ such that $\mathcal{Z}(T)\supset\mathcal{Z}(R)$ and that for the natural extensions of $\sigma, \tau$ to $TG$ we get $H^1(TG,{}_\sigma TG_\tau)=0$, where ${}_\sigma TG_\tau$ is the twisted $TG-TG$-bimodule. We provide applications of the above result and Main Theorem $1.1$ of \cite{Chau-19} to integral group rings of finite groups and connect twisted derivations of integral group rings to other important problems in the field such as the Isomorphism Problem and the Zassenhaus Conjectures. We also give an example of a group $G$ which is both locally finite and nilpotent and such that for every field $F$, there exists an $F$-linear $\sigma$-derivation of $FG$ which is not $\sigma$-inner.


title: Scattered subspaces and related codes

abstract: After a seminal paper by Shekeey (2016), a connection between maximum $h$-scattered $\mathbb{F}_q$-subspaces of $V(r,q^n)$ and maximum rank distance (MRD) codes has been established in the extremal cases $h=1$ and $h=r-1$. In this paper, we propose a connection for any $h\in\{1,\ldots,r-1\}$, extending and unifying all the previously known ones. As a consequence, we obtain examples of non-square MRD codes which are not equivalent to generalized Gabidulin or twisted Gabidulin codes. Up to equivalence, we classify MRD codes having the same parameters as the ones in our connection. Also, we determine the weight distribution of codes related to the geometric counterpart of maximum $h$-scattered subspaces.


title: ESA-ReID: Entropy-Based Semantic Feature Alignment for Person re-ID

abstract: Person re-identification (re-ID) is a challenging task in real-world. Besides the typical application in surveillance system, re-ID also has significant values to improve the recall rate of people identification in content video (TV or Movies). However, the occlusion, shot angle variations and complicated background make it far away from application, especially in content video. In this paper we propose an entropy based semantic feature alignment model, which takes advantages of the detailed information of the human semantic feature. Considering the uncertainty of semantic segmentation, we introduce a semantic alignment with an entropy-based mask which can reduce the negative effects of mask segmentation errors. We construct a new re-ID dataset based on content videos with many cases of occlusion and body part missing, which will be released in future. Extensive studies on both existing datasets and the new dataset demonstrate the superior performance of the proposed model.


title: Learning to Switch CNNs with Model Agnostic Meta Learning for Fine Precision Visual Servoing

abstract: Convolutional Neural Networks (CNNs) have been successfully applied for relative camera pose estimation from labeled image-pair data, without requiring any hand-engineered features, camera intrinsic parameters or depth information. The trained CNN can be utilized for performing pose based visual servo control (PBVS). One of the ways to improve the quality of visual servo output is to improve the accuracy of the CNN for estimating the relative pose estimation. With a given state-of-the-art CNN for relative pose regression, how can we achieve an improved performance for visual servo control? In this paper, we explore switching of CNNs to improve the precision of visual servo control. The idea of switching a CNN is due to the fact that the dataset for training a relative camera pose regressor for visual servo control must contain variations in relative pose ranging from a very small scale to eventually a larger scale. We found that, training two different instances of the CNN, one for large-scale-displacements (LSD) and another for small-scale-displacements (SSD) and switching them during the visual servo execution yields better results than training a single CNN with the combined LSD+SSD data. However, it causes extra storage overhead and switching decision is taken by a manually set threshold which may not be optimal for all the scenes. To eliminate these drawbacks, we propose an efficient switching strategy based on model agnostic meta learning (MAML) algorithm. In this, a single model is trained to learn parameters which are simultaneously good for multiple tasks, namely a binary classification for switching decision, a 6DOF pose regression for LSD data and also a 6DOF pose regression for SSD data. The proposed approach performs far better than the naive approach, while storage and run-time overheads are almost negligible.


title: JGR-P2O: Joint Graph Reasoning based Pixel-to-Offset Prediction Network for 3D Hand Pose Estimation from a Single Depth Image

abstract: State-of-the-art single depth image-based 3D hand pose estimation methods are based on dense predictions, including voxel-to-voxel predictions, point-to-point regression, and pixel-wise estimations. Despite the good performance, those methods have a few issues in nature, such as the poor trade-off between accuracy and efficiency, and plain feature representation learning with local convolutions. In this paper, a novel pixel-wise prediction-based method is proposed to address the above issues. The key ideas are two-fold: a) explicitly modeling the dependencies among joints and the relations between the pixels and the joints for better local feature representation learning; b) unifying the dense pixel-wise offset predictions and direct joint regression for end-to-end training. Specifically, we first propose a graph convolutional network (GCN) based joint graph reasoning module to model the complex dependencies among joints and augment the representation capability of each pixel. Then we densely estimate all pixels' offsets to joints in both image plane and depth space and calculate the joints' positions by a weighted average over all pixels' predictions, totally discarding the complex postprocessing operations. The proposed model is implemented with an efficient 2D fully convolutional network (FCN) backbone and has only about 1.4M parameters. Extensive experiments on multiple 3D hand pose estimation benchmarks demonstrate that the proposed method achieves new state-of-the-art accuracy while running very efficiently with around a speed of 110fps on a single NVIDIA 1080Ti GPU.


title: Bounded complexes of permutation modules

abstract: Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the collection, then $C^*$ is contractible. A consequence is that if $G$ is any finite group whose Sylow $p$-subgroups are not cyclic or quaternion, and if $C^*$ is a bounded exact complex such that each $C^i$ is direct sum of one dimensional modules and projective modules, then $C^*$ is contractible.


title: Lattice compression increases the activation barrier for phase segregation in mixed-halide perovskites

abstract: The bandgap tunability of mixed-halide perovskites makes them promising candidates for light emitting diodes and tandem solar cells. However, illuminating mixed-halide perovskites results in the formation of segregated phases enriched in a single-halide. This segregation occurs through ion migration, which is also observed in single-halide compositions, and whose control is thus essential to enhance the lifetime and stability. Using pressure-dependent transient absorption spectroscopy, we find that the formation rates of both iodide- and bromide-rich phases in MAPb(BrxI1-x)3 reduce by two orders of magnitude on increasing the pressure to 0.3 GPa. We explain this reduction from a compression-induced increase of the activation energy for halide migration, which is supported by first-principle calculations. A similar mechanism occurs when the unit cell volume is reduced by incorporating a smaller cation. These findings reveal that stability with respect to halide segregation can be achieved either physically through compressive stress or chemically through compositional engineering.


title: Learning to Reweight with Deep Interactions

abstract: Recently, the concept of teaching has been introduced into machine learning, in which a teacher model is used to guide the training of a student model (which will be used in real tasks) through data selection, loss function design, etc. Learning to reweight, which is a specific kind of teaching that reweights training data using a teacher model, receives much attention due to its simplicity and effectiveness. In existing learning to reweight works, the teacher model only utilizes shallow/surface information such as training iteration number and loss/accuracy of the student model from training/validation sets, but ignores the internal states of the student model, which limits the potential of learning to reweight. In this work, we propose an improved data reweighting algorithm, in which the student model provides its internal states to the teacher model, and the teacher model returns adaptive weights of training samples to enhance the training of the student model. The teacher model is jointly trained with the student model using meta gradients propagated from a validation set. Experiments on image classification with clean/noisy labels and neural machine translation empirically demonstrate that our algorithm makes significant improvement over previous methods.


title: Classical, semiclassical and quantum signatures of quantum phase transitions in a (pseudo) relativistic many-body system

abstract: We identify a (pseudo) relativistic spin-dependent analogue of the celebrated quantum phase transition driven by the formation of a bright soliton in attractive one-dimensional bosonic gases. In this new scenario, due to the simultaneous existence of the linear dispersion and the bosonic nature of the system, special care must be taken with the choice of energy region where the transition takes place. Still, due to a crucial adiabatic separation of scales, and identified through extensive numerical diagonalization, a suitable effective model describing the transition is found. The corresponding mean-field analysis based on this effective model provides accurate predictions for the location of the quantum phase transition when compared against extensive numerical simulations. Furthermore, we numerically investigate the dynamical exponents characterizing the approach from its finite-size precursors to the sharp quantum phase transition in the thermodynamic limit.


title: Maximum Entropy Regularization and Chinese Text Recognition

abstract: Chinese text recognition is more challenging than Latin text due to the large amount of fine-grained Chinese characters and the great imbalance over classes, which causes a serious overfitting problem. We propose to apply Maximum Entropy Regularization to regularize the training process, which is to simply add a negative entropy term to the canonical cross-entropy loss without any additional parameters and modification of a model. We theoretically give the convergence probability distribution and analyze how the regularization influence the learning process. Experiments on Chinese character recognition, Chinese text line recognition and fine-grained image classification achieve consistent improvement, proving that the regularization is beneficial to generalization and robustness of a recognition model.


title: Quantification of Coulomb Interactions in layered Lithium and Sodium Battery Cathode Materials

abstract: Despite the importance of the electron correlation in the first-principles description of the Li-ion cathode materials, the Coulomb interaction parameter, U is often treated as an ad hoc value. In practice, one usually relies on empirical ways of parametric treatment of U to optimally match the experimentally observed physical properties such as band gap or reaction energy. Here, using constrained random phase approximation (cRPA) method, we self-consistently evaluate the Coulomb U and Hund J values for representative layered cathode materials including not only Li compounds but also Na compounds; LiCoO2, LiNiO2, LiMnO2, NaCoO2, NaNiO2, and NaMnO2. We found that the Coulomb interaction parameters for Li and Na compounds and their polymorphs with different layer stackings do not deviate much, which shows the dominant role of local environment rather than of global structural features. We have analyzed the origin of variable Coulomb parameters, which is mainly due to the competition between the localization and screening. We provided cRPA Coulomb parameters for battery cathode materials and validate the values by observing systematic improvement in describing the experimentally observed average intercalation voltage and lattice parameters. These results can be applied for the first-principles calculations as well as model-based simulations for the theoretical investigation of cathode systems.


title: The TESS light curve of the eccentric eclipsing binary 1SWASP J011351.29+314909.7 -- no evidence for a very hot M-dwarf companion

abstract: A 2014 study of the eclipsing binary star 1SWASPJ011351.29+314909.7 (J0113+31) reported an unexpectedly high effective temperature for the M-dwarf companion to the 0.95-M$_{\odot}$ primary star. The effective temperature inferred from the secondary eclipse depth was $\sim$600 K higher than the value predicted from stellar models. Such an anomalous result questions our understanding of low-mass stars and might indicate a significant uncertainty when inferring properties of exoplanets orbiting them. We seek to measure the effective temperature of the M-dwarf companion using the light curve of J0113+31 recently observed by the Transiting Exoplanet Survey Satellite (TESS). We use the pycheops modelling software to fit a combined transit and eclipse model to the TESS light curve. To calculate the secondary effective temperature, we compare the best-fit eclipse depth to the predicted eclipse depths from theoretical stellar models. We determined the effective temperature of the M dwarf to be ${\rm T}_{\rm eff,2}$ = 3208 $\pm$ 43 K, assuming $\log g_2$ = 5, [Fe/H] = $-0.4$ and no alpha-element enhancement. Varying these assumptions changes ${\rm T}_{\rm eff,2}$ by less than 100 K. These results do not support a large anomaly between observed and theoretical low-mass star temperatures.


title: On the best Ulam constant of a higher order linear difference equation

abstract: In a Banach space $X$ the linear difference equation with constant coefficients $x_{n+p} = a_1x_{n+p-1} +\ldots + a_px_n,$ is Ulam stable if and only if the roots $r_k,$ $1\leq k\leq p,$ of its characteristic equation do not belong to the unit circle. If $|r_k| > 1,$ $1\leq k\leq p,$ we prove that the best Ulam constant of this equation is $ \frac{1}{|V|}\sum\limits_{s=1}^{\infty}|\frac{V_1}{r_1^s}-\frac{V_2}{r_2^s}+\ldots +\frac{(-1)^{p+1}V_p}{r_p^s}|,$ where $ V = V (r_1, r_2, \ldots, r_p)$ and $V_k =V (r_1,\ldots, r_{k-1}, r_{k+1},\ldots, r_p),$ $1\leq k\leq p,$ are Vadermonde determinants.


title: Inertial Measurements for Motion Compensation in Weight-bearing Cone-beam CT of the Knee

abstract: Involuntary motion during weight-bearing cone-beam computed tomography (CT) scans of the knee causes artifacts in the reconstructed volumes making them unusable for clinical diagnosis. Currently, image-based or marker-based methods are applied to correct for this motion, but often require long execution or preparation times. We propose to attach an inertial measurement unit (IMU) containing an accelerometer and a gyroscope to the leg of the subject in order to measure the motion during the scan and correct for it. To validate this approach, we present a simulation study using real motion measured with an optical 3D tracking system. With this motion, an XCAT numerical knee phantom is non-rigidly deformed during a simulated CT scan creating motion corrupted projections. A biomechanical model is animated with the same tracked motion in order to generate measurements of an IMU placed below the knee. In our proposed multi-stage algorithm, these signals are transformed to the global coordinate system of the CT scan and applied for motion compensation during reconstruction. Our proposed approach can effectively reduce motion artifacts in the reconstructed volumes. Compared to the motion corrupted case, the average structural similarity index and root mean squared error with respect to the no-motion case improved by 13-21% and 68-70%, respectively. These results are qualitatively and quantitatively on par with a state-of-the-art marker-based method we compared our approach to. The presented study shows the feasibility of this novel approach, and yields promising results towards a purely IMU-based motion compensation in C-arm CT.


title: Constraining the growth rate by combining multiple future surveys

abstract: The growth rate of large-scale structure provides a powerful consistency test of the standard cosmological model and a probe of possible deviations from general relativity. We use a Fisher analysis to forecast constraints on the growth rate from a combination of next-generation spectroscopic surveys. In the overlap survey volumes, we use a multi-tracer analysis to significantly reduce the effect of cosmic variance. The non-overlap individual survey volumes are included in the Fisher analysis in order to utilise the entire volume. We use the observed angular power spectrum, which naturally includes all wide-angle and lensing effects and circumvents the need for an Alcock-Paczynski correction. Cross correlations between redshift bins are included by using a novel technique to avoid computation of the sub-dominant contributions. Marginalising over the standard cosmological parameters, as well as the clustering bias in each redshift bin, we find that the precision on $\gamma$ improves on the best single-tracer precision by up to $\sim$50\%.


title: The autonomous hidden camera crew

abstract: Reality TV shows that follow people in their day-to-day lives are not a new concept. However, the traditional methods used in the industry require a lot of manual labour and need the presence of at least one physical camera man. Because of this, the subjects tend to behave differently when they are aware of being recorded. This paper will present an approach to follow people in their day-to-day lives, for long periods of time (months to years), while being as unobtrusive as possible. To do this, we use unmanned cinematographically-aware cameras hidden in people's houses. Our contribution in this paper is twofold: First, we create a system to limit the amount of recorded data by intelligently controlling a video switch matrix, in combination with a multi-channel recorder. Second, we create a virtual camera man by controlling a PTZ camera to automatically make cinematographically pleasing shots. Throughout this paper, we worked closely with a real camera crew. This enabled us to compare the results of our system to the work of trained professionals.


title: Identifying genuine quantum teleportation

abstract: Quantum teleportation is a method for utilizing quantum measurements and the maximally entangled Einstein-Podolsky-Rosen (EPR) pair to transmit an unknown quantum state. It is well known that all entangled states demonstrate so-called "nonclassical teleportation" that cannot be simulated by the seminal classical measure-prepare strategy. Herein, we propose a new benchmark which reveals that not all nonclassical teleportations are truly quantum-mechanical. Rather, there exists a more robust classical-teleportation model, which includes the measure-prepare mimicry as a special case, that can describe certain nonclassical teleportations. Invalidating such a general classical model indicates genuine quantum teleportation wherein both the pair state and the measurement are truly quantum-mechanical. We prove that EPR steering empowers genuine quantum teleportations, rather than entanglement. The new benchmark can be readily used in practical experiments for ensuring that genuine quantum teleportation is implemented. The results presented herein provide strict criteria for implementing quantum-information processing where genuine quantum teleportation is indispensable.


title: Rigid analytic Stein algebraic groups are affine

abstract: Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group over $K$ is affine if and only if the associated $K$-analytic space is Stein; that is, rigid analytic embeddings of it in an affine space may always be chosen to be given by algebraic functions. Arguably curiously, the corresponding statement over the complex numbers is false.


title: Multi-task Regularization Based on Infrequent Classes for Audio Captioning

abstract: Audio captioning is a multi-modal task, focusing on using natural language for describing the contents of general audio. Most audio captioning methods are based on deep neural networks, employing an encoder-decoder scheme and a dataset with audio clips and corresponding natural language descriptions (i.e. captions). A significant challenge for audio captioning is the distribution of words in the captions: some words are very frequent but acoustically non-informative, i.e. the function words (e.g. "a", "the"), and other words are infrequent but informative, i.e. the content words (e.g. adjectives, nouns). In this paper we propose two methods to mitigate this class imbalance problem. First, in an autoencoder setting for audio captioning, we weigh each word's contribution to the training loss inversely proportional to its number of occurrences in the whole dataset. Secondly, in addition to multi-class, word-level audio captioning task, we define a multi-label side task based on clip-level content word detection by training a separate decoder. We use the loss from the second task to regularize the jointly trained encoder for the audio captioning task. We evaluate our method using Clotho, a recently published, wide-scale audio captioning dataset, and our results show an increase of 37\% relative improvement with SPIDEr metric over the baseline method.


title: Upper bounds for the ground state energy of the Laplacian with zero magnetic field on planar domains

abstract: We obtain upper bounds for the first eigenvalue of the magnetic Laplacian associated to a closed potential $1$-form (hence, with zero magnetic field) acting on complex functions of a planar domain $\Omega$, with magnetic Neumann boundary conditions. It is well-known that the first eigenvalue is positive whenever the potential admits at least one non-integral flux. By gauge invariance the lowest eigenvalue is simply zero if the domain is simply connected; then, we obtain an upper bound of the ground state energy depending only on the ratio between the number of holes and the area; modulo a numerical constant the upper bound is sharp and we show that in fact equality is attained (modulo a constant) for Aharonov-Bohm-type operators acting on domains punctured at a maximal $\epsilon$-net. In the last part we show that the upper bound can be refined, provided that one can transform the given domain in a simply connected one by performing a number of cuts with sufficiently small total length; we thus obtain an upper bound of the lowest eigenvalue by the ratio between the number of holes and the area, multiplied by a Cheeger-type constant, which tends to zero when the domain is metrically close to a simply connected one.


title: Untapped Potential of Data Augmentation: A Domain Generalization Viewpoint

abstract: Data augmentation is a popular pre-processing trick to improve generalization accuracy. It is believed that by processing augmented inputs in tandem with the original ones, the model learns a more robust set of features which are shared between the original and augmented counterparts. However, we show that is not the case even for the best augmentation technique. In this work, we take a Domain Generalization viewpoint of augmentation based methods. This new perspective allowed for probing overfitting and delineating avenues for improvement. Our exploration with the state-of-art augmentation method provides evidence that the learned representations are not as robust even towards distortions used during training. This suggests evidence for the untapped potential of augmented examples.


title: Automation Strategies for Unconstrained Crossword Puzzle Generation

abstract: An unconstrained crossword puzzle is a generalization of the constrained crossword problem. In this problem, only the word vocabulary, and optionally the grid dimensions are known. Hence, it not only requires the algorithm to determine the word locations, but it also needs to come up with the grid geometry. This paper discusses algorithmic strategies for automatic crossword puzzle generation in such an unconstrained setting. The strategies proposed cover the tasks of selection of words from a given vocabulary, selection of grid sizes, grid resizing and adjustments, metrics for word fitting, back-tracking techniques, and also clue generation. The strategies have been formulated based on a study of the effect of word sequence permutation order on grid fitting. An end-to-end algorithm that combines these strategies is presented, and its performance is analyzed. The techniques have been found to be successful in quickly producing well-packed puzzles of even large sizes. Finally, a few example puzzles generated by our algorithm are also provided.


title: Bound states of two-photon Rabi model at the collapse point

abstract: This paper presents a proof of the existence of novel bound states of the two-photon quantum Rabi model at the collapse point. The two-photon Rabi model is interesting not only for its important role on non-linear light-matter interaction, but also for the exhibition of many-energy-levels degenerating process called the "spectral collapse". The squeezing property of the two-photon annihilation and creation operators is the origin for this phenomenon which is well studied without the energy-slitting term $\omega_0$. However, many numerical studies have pointed out that with the presence of $\omega_0$ , some low-level isolated states exist while other high energy states collapse to $E=-\frac{\omega}{2}$, which known as incomplete spectral collapse. From the eigenvalue equation in real space, pair of second order differential equations, which are similarly to the Schrodinger equation, are derived at the collapse point. These differential equations provide explanation to the existence of isolated bound states below $E=-\frac{\omega}{2}$ with the presence of the spin slitting $\omega_0$ and better numerical method to generate those bound states.


title: Perturbed Operators on Banach Spaces

abstract: Let X be a Banach Space over K=R or C, and let f:=F+C be a weakly coercive operator from X onto X, where F is a C^1-operator, and C a C^1 compact operator. Sufficient conditions are provided to assert that the perturbed operator f is a C^1-diffeomorphism. Three corollaries are given. The first one, when F is a linear homeomorphism. The second one, when F is a k-contractive perturbation of the identity. The third one, when X is a Hilbert space and F a particular linear operator. The proof of our results is based on properties of Fredholm operators, as well as on local and global inverse mapping theorems, and the Banach fixed point theorem. As an application two examples are given


title: Building Robust Industrial Applicable Object Detection Models Using Transfer Learning and Single Pass Deep Learning Architectures

abstract: The uprising trend of deep learning in computer vision and artificial intelligence can simply not be ignored. On the most diverse tasks, from recognition and detection to segmentation, deep learning is able to obtain state-of-the-art results, reaching top notch performance. In this paper we explore how deep convolutional neural networks dedicated to the task of object detection can improve our industrial-oriented object detection pipelines, using state-of-the-art open source deep learning frameworks, like Darknet. By using a deep learning architecture that integrates region proposals, classification and probability estimation in a single run, we aim at obtaining real-time performance. We focus on reducing the needed amount of training data drastically by exploring transfer learning, while still maintaining a high average precision. Furthermore we apply these algorithms to two industrially relevant applications, one being the detection of promotion boards in eye tracking data and the other detecting and recognizing packages of warehouse products for augmented advertisements.


title: Magnetic Lattices for Orthosymplectic Quivers

abstract: For any gauge theory, there may be a subgroup of the gauge group which acts trivially on the matter content. While many physical observables are not sensitive to this fact, the identification of the precise gauge group becomes crucial when the magnetic spectrum of the theory is considered. This question is addressed in the context of Coulomb branches for $3$d $\mathcal{N}=4$ quiver gauge theories, which are moduli spaces of dressed monopole operators. Since monopole operators are characterized by their magnetic charge, the identification of the gauge group is imperative for the determination of the magnetic lattice. It is well-known that the gauge group of unframed unitary quivers is the product of all unitary nodes in the quiver modded out by the diagonal $\mathrm{U}(1)$ acting trivially on the matter representation. This reasoning generalises to the notion that a choice of gauge group associated to a quiver is given by the product of the individual nodes quotiented by any subgroup that acts trivially on the matter content. For unframed (unitary-) orthosymplectic quivers composed of $\mathrm{SO}(\textrm{even})$, $\mathrm{USp}$, and possibly $\mathrm{U}$ gauge nodes, the maximal subgroup acting trivially is a diagonal $\mathbb{Z}_2$. For unframed unitary quivers with a single $\mathrm{SU}(N)$ node it is $\mathbb{Z}_N$. We use this notion to compute the Coulomb branch Hilbert series of many unitary-orthosymplectic quivers. Examples include nilpotent orbit closures of the exceptional E-type algebras and magnetic quivers that arise from brane physics. This includes Higgs branches of theories with 8 supercharges in dimensions $4$, $5$, and $6$. A crucial ingredient in the calculation of exact refined Hilbert series is the alternative construction of unframed magnetic quivers from resolved Slodowy slices, whose Hilbert series can be derived from Hall-Littlewood polynomials.


title: On a conjecture of Seneta

abstract: In this short note we prove that $h_\beta(x) = \beta \int_0^x y^{\beta-1} \overline F(y) \mathrm{d} y$ is regularly varying with index $\rho \in [0,\beta)$ if and only if $V_\beta (x) = \int_{[0,x]} y^\beta \mathrm{d} F(y)$ is regularly varying with the same index. This implies an extended version of a recent conjecture by Seneta.


title: Dual Boson Diagrammatic Monte Carlo Approach Applied to the Extended Hubbard Model

abstract: In this work we introduce the Dual Boson Diagrammatic Monte Carlo technique for strongly interacting electronic systems. This method combines the strength of dynamical mean-filed theory for non-perturbative description of local correlations with the systematic account of non-local corrections in the Dual Boson theory by the diagrammatic Monte Carlo approach. It allows us to get a numerically exact solution of the dual boson theory at the two-particle local vertex level for the extended Hubbard model. We show that it can be efficiently applied to description of single particle observables in a wide range of interaction strengths. We compare our exact results for the self-energy with the ladder Dual Boson approach and determine a physical regime, where description of collective electronic effects requires more accurate consideration beyond the ladder approximation. Additionally, we find that the order-by-order analysis of the perturbative diagrammatic series for the single-particle Green's function allows to estimate the transition point to the charge density wave phase.


title: Multi-Granularity Modularized Network for Abstract Visual Reasoning

abstract: Abstract visual reasoning connects mental abilities to the physical world, which is a crucial factor in cognitive development. Most toddlers display sensitivity to this skill, but it is not easy for machines. Aimed at it, we focus on the Raven Progressive Matrices Test, designed to measure cognitive reasoning. Recent work designed some black-boxes to solve it in an end-to-end fashion, but they are incredibly complicated and difficult to explain. Inspired by cognitive studies, we propose a Multi-Granularity Modularized Network (MMoN) to bridge the gap between the processing of raw sensory information and symbolic reasoning. Specifically, it learns modularized reasoning functions to model the semantic rule from the visual grounding in a neuro-symbolic and semi-supervision way. To comprehensively evaluate MMoN, our experiments are conducted on the dataset of both seen and unseen reasoning rules. The result shows that MMoN is well suited for abstract visual reasoning and also explainable on the generalization test.


title: Automated analysis of eye-tracker-based human-human interaction studies

abstract: Mobile eye-tracking systems have been available for about a decade now and are becoming increasingly popular in different fields of application, including marketing, sociology, usability studies and linguistics. While the user-friendliness and ergonomics of the hardware are developing at a rapid pace, the software for the analysis of mobile eye-tracking data in some points still lacks robustness and functionality. With this paper, we investigate which state-of-the-art computer vision algorithms may be used to automate the post-analysis of mobile eye-tracking data. For the case study in this paper, we focus on mobile eye-tracker recordings made during human-human face-to-face interactions. We compared two recent publicly available frameworks (YOLOv2 and OpenPose) to relate the gaze location generated by the eye-tracker to the head and hands visible in the scene camera data. In this paper we will show that the use of this single-pipeline framework provides robust results, which are both more accurate and faster than previous work in the field. Moreover, our approach does not rely on manual interventions during this process.


title: A metric for gravitational collapse of dust around a Schwarzschild black hole

abstract: We consider the problem of gravitational collapse of a fluid under the effect of a Schwarzschild black hole (e.g. a primordial one) that suddenly forms inside the fluid. We assume the fluid initially be a uniform dust. Starting from this configuration we obtain a class of metrics under some assumptions. We find that the metric we obtain includes the dust collapse as a subcase. After discussing some basic properties of the solution, we discuss the case of dust collapse in more detail. We find that the radial and tangential pressures outside the horizon may take positive or negative values depending on the values of the parameters.


title: The Road Not Taken: Re-thinking the Feasibility of Voice Calling Over Tor

abstract: Anonymous VoIP calls over the Internet holds great significance for privacy-conscious users, whistle-blowers and political activists alike. Prior research deems popular anonymization systems like Tor unsuitable for providing requisite performance guarantees that real-time applications like VoIP need. Their claims are backed by studies that may no longer be valid due to constant advancements in Tor. Moreover, we believe that these studies lacked the requisite diversity and comprehensiveness. Thus, conclusions from these studies led them to propose novel and tailored solutions. However, no such system is available for immediate use. Additionally, operating such new systems would incur significant costs for recruiting users and volunteered relays, to provide the necessary anonymity guarantees. It thus becomes imperative that the exact performance of VoIP over Tor be quantified and analyzed so that the potential performance bottlenecks can be amended. We thus conducted an extensive empirical study across various in-lab and real-world scenarios to shed light on VoIP performance over Tor. In over 0.5 million measurements spanning 12 months, across seven countries and covering about 6650 Tor relays, we observed that Tor supports good voice quality (Perceptual Evaluation of Speech Quality (PESQ) >3 and oneway delay <400ms) in more than 85% of cases. Further analysis indicates that in general for most Tor relays, the contentions due to cross-traffic were low enough to support VoIP calls, that are anyways transmitted at low rates (<120 Kbps). Our findings are supported by concordant measurements using iperf that show more than the adequate available bandwidth for most cases. Data published by the Tor Metrics also corroborates the same. Hence, unlike prior efforts, our research reveals that Tor is suitable for supporting anonymous VoIP calls.


title: Resource Aware Multifidelity Active Learning for Efficient Optimization

abstract: Traditional methods for black box optimization require a considerable number of evaluations which can be time consuming, unpractical, and often unfeasible for many engineering applications that rely on accurate representations and expensive models to evaluate. Bayesian Optimization (BO) methods search for the global optimum by progressively (actively) learning a surrogate model of the objective function along the search path. Bayesian optimization can be accelerated through multifidelity approaches which leverage multiple black-box approximations of the objective functions that can be computationally cheaper to evaluate, but still provide relevant information to the search task. Further computational benefits are offered by the availability of parallel and distributed computing architectures whose optimal usage is an open opportunity within the context of active learning. This paper introduces the Resource Aware Active Learning (RAAL) strategy, a multifidelity Bayesian scheme to accelerate the optimization of black box functions. At each optimization step, the RAAL procedure computes the set of best sample locations and the associated fidelity sources that maximize the information gain to acquire during the parallel/distributed evaluation of the objective function, while accounting for the limited computational budget. The scheme is demonstrated for a variety of benchmark problems and results are discussed for both single fidelity and multifidelity settings. In particular we observe that the RAAL strategy optimally seeds multiple points at each iteration allowing for a major speed up of the optimization task.


title: Weak tracking in nonautonomous chaotic systems

abstract: Previous studies have shown that rate-induced transitions can occur in pullback attractors of systems subject to "parameter shifts" between two asymptotically steady values of a system parameter. For cases where the attractors limit to equilibrium or periodic orbit in past and future limits of such an nonautonomous systems, these can occur as the parameter change passes through a critical rate. Such rate-induced transitions for attractors that limit to chaotic attractors in past or future limits has been less examined. In this paper, we identify a new phenomenon is associated with more complex attractors in the future limit: weak tracking, where a pullback attractor of the system limits to a proper subset of an attractor of the future limit system. We demonstrate weak tracking in a nonautonomous R\"ossler system, and argue there are infinitely many critical rates at each of which the pullback attracting solution of the system tracks an embedded unstable periodic orbit of the future chaotic attractor. We also state some necessary conditions that are needed for weak tracking.


title: Training Restricted Boltzmann Machines with Binary Synapses using the Bayesian Learning Rule

abstract: Restricted Boltzmann machines (RBMs) with low-precision synapses are much appealing with high energy efficiency. However, training RBMs with binary synapses is challenging due to the discrete nature of synapses. Recently Huang proposed one efficient method to train RBMs with binary synapses by using a combination of gradient ascent and the message passing algorithm under the variational inference framework. However, additional heuristic clipping operation is needed. In this technical note, inspired from Huang's work , we propose one alternative optimization method using the Bayesian learning rule, which is one natural gradient variational inference method. As opposed to Huang's method, we update the natural parameters of the variational symmetric Bernoulli distribution rather than the expectation parameters. Since the natural parameters take values in the entire real domain, no additional clipping is needed. Interestingly, the algorithm in \cite{huang2019data} could be viewed as one first-order approximation of the proposed algorithm, which justifies its efficacy with heuristic clipping.


title: How URLLC can Benefit from NOMA-based Retransmissions

abstract: Among the new types of connectivity unleashed by the emerging 5G wireless systems, Ultra-Reliable Low Latency Communication (URLLC) is perhaps the most innovative, yet challenging one. Ultra-reliability requires high levels of diversity, however, the reactive approach based on packet retransmission in HARQ protocols should be applied carefully to conform to the stringent latency constraints. The main premise of this paper is that the NOMA principle can be used to achieve highly efficient retransmissions by allowing concurrent use of wireless resources in the uplink. We introduce a comprehensive solution that accommodates multiple intermittently active users, each with its own HARQ process. The performance is investigated under two different assumptions about the Channel State Information (CSI) availability: statistical and instantaneous. The results show that NOMA can indeed lead to highly efficient system operation compared to the case in which all HARQ processes are run orthogonally.


title: How low can you go? Privacy-preserving people detection with an omni-directional camera

abstract: In this work, we use a ceiling-mounted omni-directional camera to detect people in a room. This can be used as a sensor to measure the occupancy of meeting rooms and count the amount of flex-desk working spaces available. If these devices can be integrated in an embedded low-power sensor, it would form an ideal extension of automated room reservation systems in office environments. The main challenge we target here is ensuring the privacy of the people filmed. The approach we propose is going to extremely low image resolutions, such that it is impossible to recognise people or read potentially confidential documents. Therefore, we retrained a single-shot low-resolution person detection network with automatically generated ground truth. In this paper, we prove the functionality of this approach and explore how low we can go in resolution, to determine the optimal trade-off between recognition accuracy and privacy preservation. Because of the low resolution, the result is a lightweight network that can potentially be deployed on embedded hardware. Such embedded implementation enables the development of a decentralised smart camera which only outputs the required meta-data (i.e. the number of persons in the meeting room).


title: Rheology of protein-stabilised emulsion gels envisioned as composite networks. 1 -- Comparison of pure droplet gels and protein gels

abstract: Protein-stabilised emulsion gels can be studied in the theoretical framework of colloidal gels, because both protein assemblies and droplets may be considered as soft colloids. These particles differ in their nature, size and softness, and these differences may have an influence on the rheological properties of the gels they form. Pure gels made of milk proteins (sodium caseinate), or of sub-micron protein-stabilised droplets, were prepared by slow acidification of suspensions at various concentrations. Their microstructure was characterised, their viscoelasticity, both in the linear and non-linear regime, and their frequency dependence were measured, and the behaviour of the two types of gels was compared. Protein gels and droplet gels were found to have broadly similar microstructure and rheological properties when compared at fixed volume fraction, a parameter derived from the study of the viscosity of the suspensions formed by proteins and by droplets. The viscoelasticity displayed a power law behaviour in concentration, as did the storage modulus in frequency. Additionally, strain hardening was found to occur at low concentration. These behaviours differed slightly between protein gels and droplet gels, showing that some specific properties of the primary colloidal particles play a role in the development of the rheological properties of the gels.


title: Competing orders in a frustrated Heisenberg model on the Fisher lattice

abstract: We investigate the Heisenberg model on a decorated square (Fisher) lattice in the presence of first-neighbor $J_{1}$, second-neighbor $J_{2}$, and third-neighbor $J_{3}$ exchange couplings, with antiferromagnetic $J_{1}$. The classical ground-state phase diagram obtained within a Luttinger-Tisza framework is spanned by two antiferromagnetically ordered phases, and an infinitely degenerate antiferromagnetic chain phase. Employing classical Monte Carlo simulations we show that thermal fluctuations fail to lift the degeneracy of the antiferromagnetic chain phase. Interestingly, the spin-wave spectrum of the N\'eel state displays three Dirac nodal loops out of which two are symmetry protected while for the antiferromagnetic chain phase we find symmetry-protected Dirac lines. Furthermore, we investigate the spin $S=\frac{1}{2}$ limit employing a bond operator formalism which captures the singlet-triplet dynamics, and find a rich ground-state phase diagram host to a variety of valence bond solid orders in addition to antiferromagnetically ordered phases.


title: EOS: a Parallel, Self-Adaptive, Multi-Population Evolutionary Algorithm for Constrained Global Optimization

abstract: This paper presents the main characteristics of the evolutionary optimization code named EOS, Evolutionary Optimization at Sapienza, and its successful application to challenging, real-world space trajectory optimization problems. EOS is a global optimization algorithm for constrained and unconstrained problems of real-valued variables. It implements a number of improvements to the well-known Differential Evolution (DE) algorithm, namely, a self-adaptation of the control parameters, an epidemic mechanism, a clustering technique, an $\varepsilon$-constrained method to deal with nonlinear constraints, and a synchronous island-model to handle multiple populations in parallel. The results reported prove that EOSis capable of achieving increased performance compared to state-of-the-art single-population self-adaptive DE algorithms when applied to high-dimensional or highly-constrained space trajectory optimization problems.


title: An Imaging Refractometer for Density Fluctuation Measurements in High Energy Density Plasmas

abstract: We report on a recently developed laser-probing diagnostic which allows direct measurements of ray-deflection angles in one axis, whilst retaining imaging capabilities in the other axis. This allows us to measure the spectrum of angular deflections from a laser beam which passes though a turbulent high-energy-density plasma. This spectrum contains information about the density fluctuations within the plasma, which deflect the probing laser over a range of angles. %The principle of this diagnostic is described, along with our specific experimental realisation. We create synthetic diagnostics using ray-tracing to compare this new diagnostic with standard shadowgraphy and schlieren imaging approaches, which demonstrates the enhanced sensitivity of this new diagnostic over standard techniques. We present experimental data from turbulence behind a reverse shock in a plasma and demonstrate that this technique can measure angular deflections between 0.06 and 34 mrad, corresponding to a dynamic range of over 500.


title: Pansu-Wulff shapes in $\mathbb{H}^1$

abstract: We consider an asymmetric left-invariant norm $||\cdot ||_K$ in the first Heisenberg group $\mathbb{H}^1$ induced by a convex body $K\subset\mathbb{R}^2$ containing the origin in its interior. Associated to $\|\cdot\|_K$ there is a perimeter functional, that coincides with the classical sub-Riemannian perimeter in case $K$ is the closed unit disk centered at the origin of $\mathbb{R}^2$. Under the assumption that $K$ has $C^2$ boundary with strictly positive geodesic curvature we compute the first variation formula of perimeter for sets with $C^2$ boundary. The localization of the variational formula in the non-singular part of the boundary, composed of the points where the tangent plane is not horizontal, allows us to define a mean curvature function $H_K$ out of the singular set. In the case of non-vanishing mean curvature, the condition that $H_K$ be constant implies that the non-singular portion of the boundary is foliated by horizontal liftings of translations of $\partial K$ dilated by a factor of $1/H_K$. Based on this we can defined a sphere $\mathbb{S}_K$ with constant mean curvature $1$ by considering the union of all horizontal liftings of $\partial K$ starting from $(0,0,0)$ until they meet again in a point of the vertical axis. We give some geometric properties of this sphere and, moreover, we prove that, up to non-homogeneous dilations and left-translations, they are the only solutions of the sub-Finsler isoperimetric problem in a restricted class of sets.


title: End-to-end Learned Image Compression with Fixed Point Weight Quantization

abstract: Learned image compression (LIC) has reached the traditional hand-crafted methods such as JPEG2000 and BPG in terms of the coding gain. However, the large model size of the network prohibits the usage of LIC on resource-limited embedded systems. This paper presents a LIC with 8-bit fixed-point weights. First, we quantize the weights in groups and propose a non-linear memory-free codebook. Second, we explore the optimal grouping and quantization scheme. Finally, we develop a novel weight clipping fine tuning scheme. Experimental results illustrate that the coding loss caused by the quantization is small, while around 75% model size can be reduced compared with the 32-bit floating-point anchor. As far as we know, this is the first work to explore and evaluate the LIC fully with fixed-point weights, and our proposed quantized LIC is able to outperform BPG in terms of MS-SSIM.


title: Kerr Analogue of Kinnersley's Field of an Arbitrarily Accelerating Point Mass

abstract: We construct the field of an arbitrarily accelerating and rotating point mass which specializes to the Kerr solution when the acceleration vanishes and specializes to Kinnersley's arbitrarily accelerating point mass when the rotation vanishes.


title: Greedy Transition-Based Dependency Parsing with Discrete and Continuous Supertag Features

abstract: We study the effect of rich supertag features in greedy transition-based dependency parsing. While previous studies have shown that sparse boolean features representing the 1-best supertag of a word can improve parsing accuracy, we show that we can get further improvements by adding a continuous vector representation of the entire supertag distribution for a word. In this way, we achieve the best results for greedy transition-based parsing with supertag features with $88.6\%$ LAS and $90.9\%$ UASon the English Penn Treebank converted to Stanford Dependencies.


title: Not only Look, but also Listen: Learning Multimodal Violence Detection under Weak Supervision

abstract: Violence detection has been studied in computer vision for years. However, previous work are either superficial, e.g., classification of short-clips, and the single scenario, or undersupplied, e.g., the single modality, and hand-crafted features based multimodality. To address this problem, in this work we first release a large-scale and multi-scene dataset named XD-Violence with a total duration of 217 hours, containing 4754 untrimmed videos with audio signals and weak labels. Then we propose a neural network containing three parallel branches to capture different relations among video snippets and integrate features, where holistic branch captures long-range dependencies using similarity prior, localized branch captures local positional relation using proximity prior, and score branch dynamically captures the closeness of predicted score. Besides, our method also includes an approximator to meet the needs of online detection. Our method outperforms other state-of-the-art methods on our released dataset and other existing benchmark. Moreover, extensive experimental results also show the positive effect of multimodal (audio-visual) input and modeling relationships. The code and dataset will be released in https://roc-ng.github.io/XD-Violence/.


title: Data loci in algebraic optimization

abstract: In this article we provide examples, methods and algorithms to determine conditions on the parameters of certain type of parametric optimization problems, such that among the resulting local minima and maxima there is at least one which satisfies given polynomial conditions (for example it is singular or symmetric).


title: $q$-Poincar\'e inequalities on Carnot Groups with filiform type Lie algebra

abstract: In this paper, we prove (global) $q$-Poincar\'e inequalities for probability measures on nilpotent Lie groups with filiform Lie algebra of any length. The probability measures under consideration have a density with respect to the Haar measure given as a function of a suitable homogeneous norm.


title: Pollen13K: A Large Scale Microscope Pollen Grain Image Dataset

abstract: Pollen grain classification has a remarkable role in many fields from medicine to biology and agronomy. Indeed, automatic pollen grain classification is an important task for all related applications and areas. This work presents the first large-scale pollen grain image dataset, including more than 13 thousands objects. After an introduction to the problem of pollen grain classification and its motivations, the paper focuses on the employed data acquisition steps, which include aerobiological sampling, microscope image acquisition, object detection, segmentation and labelling. Furthermore, a baseline experimental assessment for the task of pollen classification on the built dataset, together with discussion on the achieved results, is presented.


title: Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System

abstract: We present an experimental system strongly inspired by miniKanren, implemented on top of the tactics mechanism of the HOL~Light theorem prover. Our tool is at the same time a mechanism for enabling the logic programming style for reasoning and computing in a theorem prover, and a framework for writing logic programs that produce solutions endowed with a formal proof of correctness.


title: The lifespan of classical solutions for the inviscid Surface Quasi-geostrophic equation

abstract: We consider classical solutions of the inviscid Surface Quasi-geostrophic equation that are a small perturbation $\epsilon$ from a radial stationary solution $\theta=|x|$. We use a modified energy method to prove the existence time of classical solutions from $\frac{1}{\epsilon}$ to a time scale of $\frac{1}{\epsilon^4}$. Moreover, by perturbing in a suitable direction we construct global smooth solutions, via bifurcation, that rotate uniformly in time and space.


title: Green Lighting ML: Confidentiality, Integrity, and Availability of Machine Learning Systems in Deployment

abstract: Security and ethics are both core to ensuring that a machine learning system can be trusted. In production machine learning, there is generally a hand-off from those who build a model to those who deploy a model. In this hand-off, the engineers responsible for model deployment are often not privy to the details of the model and thus, the potential vulnerabilities associated with its usage, exposure, or compromise. Techniques such as model theft, model inversion, or model misuse may not be considered in model deployment, and so it is incumbent upon data scientists and machine learning engineers to understand these potential risks so they can communicate them to the engineers deploying and hosting their models. This is an open problem in the machine learning community and in order to help alleviate this issue, automated systems for validating privacy and security of models need to be developed, which will help to lower the burden of implementing these hand-offs and increasing the ubiquity of their adoption.


title: Experimental implementation of leakage elimination operators

abstract: Decoherence-induced leakage errors can potentially damage physical or logical qubits by coupling them to other system levels. Here we report the first experimental implementation of Leakage Elimination Operators (LEOs) that aims to reduce this undermining, and that can be applied alongside universal quantum computing. Using IBM's cloud quantum computer, we have studied three potentially applicable examples of subspaces in two- and three-qubit Hilbert spaces and found that the LEOs significantly suppress leakage.


title: Investigation of H Sorption and Corrosion Properties of Sm2MnxNi7-x (0<x<0.5) Intermetallic Compounds Forming Reversible Hydrides

abstract: Intermetallic compounds are key materials for energy transition as they form reversible hydrides that can be used for solid state hydrogen storage or as anodes in batteries. ABy compounds (A = Rare Earth (RE); B = transition metal; 2 < y < 5) are good candidates to fulfill the required properties for practical applications. They can be described as stacking of AB5 and AB2 sub-units along the c crystallographic axis. The latter sub-unit brings a larger capacity, while the former one provides a better cycling stability. However, ABy binaries do not show good enough properties for applications. Upon hydrogenation, they exhibit multiplateau behavior and poor reversibility, attributed to H induced amorphization. These drawbacks can be overcome by chemical substitutions on the A and/or the B sites leading to stabilized reversible hydrides. The present work focuses on the pseudo-binary Sm2MnxNi7-x system (0 <= x < 0.5). The structural, thermodynamic and corrosion properties are analyzed and interpreted by means of X-ray diffraction, chemical analysis, scanning electron microscopy, thermogravimetric analysis and magnetic measurements. Unexpected cell parameter variations are reported and interpreted regarding possible formation of structural defects and uneven Mn distribution within the Ni sublattice. Reversible capacity is improved for x > 0.3 leading to larger and flatter isotherm curves, allowing for reversible capacity >1.4 wt %. Regarding corrosion, the binary compound corrodes in alkaline medium to form rare earth hydroxide and nanoporous nickel. As for the Mn-substituted compounds, a new corrosion product is formed in addition to those above mentioned, as manganese initiates a sacrificial anode mechanism taking place at the early corrosion stage.


title: Application of LEAN Principles to Improve Business Processes: a Case Study in Latvian IT Company

abstract: The research deals with application of the LEAN principles to business processes of a typical IT company. The paper discusses LEAN principles amplifying advantages and shortcomings of their application. The authors suggest use of the LEAN principles as a tool to identify improvement potential for IT company's business processes and work-flow efficiency. During a case study the implementation of LEAN principles has been exemplified in business processes of a particular Latvian IT company. The obtained results and conclusions can be used for meaningful and successful application of LEAN principles and methods in projects of other IT companies.


title: Open Data Quality Evaluation: A Comparative Analysis of Open Data in Latvia

abstract: Nowadays open data is entering the mainstream - it is free available for every stakeholder and is often used in business decision-making. It is important to be sure data is trustable and error-free as its quality problems can lead to huge losses. The research discusses how (open) data quality could be assessed. It also covers main points which should be considered developing a data quality management solution. One specific approach is applied to several Latvian open data sets. The research provides a step-by-step open data sets analysis guide and summarizes its results. It is also shown there could exist differences in data quality depending on data supplier (centralized and decentralized data releases) and, unfortunately, trustable data supplier cannot guarantee data quality problems absence. There are also underlined common data quality problems detected not only in Latvian open data but also in open data of 3 European countries.


title: Cycle Extendability of Hamiltonian Strongly Chordal Graphs

abstract: In 1990, Hendry conjectured that all Hamiltonian chordal graphs are cycle extendable. After a series of papers confirming the conjecture for a number of graph classes, the conjecture is yet refuted by Lafond and Seamone in 2015. Given that their counterexamples are not strongly chordal graphs and they are all only $2$-connected, Lafond and Seamone asked the following two questions: (1) Are Hamiltonian strongly chordal graphs cycle extendable? (2) Is there an integer $k$ such that all $k$-connected Hamiltonian chordal graphs are cycle extendable? Later, a conjecture stronger than Hendry's is proposed. In this paper, we resolve all these questions in the negative. On the positive side, we add to the list of cycle extendable graphs two more graph classes, namely, Hamiltonian $4$-\textsc{fan}-free chordal graphs where every induced $K_5 - e$ has true twins, and Hamiltonian $\{4\textsc{-fan}, \overline{A} \}$-free chordal graphs.


title: Splitting schemes for a Lagrange multiplier formulation of FSI with immersed thin-walled structure: stability and convergence analysis

abstract: The numerical approximation of incompressible fluid-structure interaction problems with Lagrange multiplier is generally based on strongly coupled schemes. This delivers unconditional stability but at the expense of solving a computationally demanding coupled system at each time-step. For the case of the coupling with immersed thin-walled solids, we introduce a class of semi-implicit coupling schemes which avoids strongly coupling without compromising stability and accuracy. A priori energy and error estimates are derived. The theoretical results are illustrated through numerical experiments in an academic benchmark.