title: Security Patterns: A Systematic Mapping Study

abstract: Security patterns are a means to encapsulate and communicate proven security solutions. They are well-established approaches for introducing security into the software development process. Our objective is to explore the research efforts on security patterns and discuss the current state of the art. This study will serve as a guideline for researchers, practitioners, and teachers interested in this field. We have conducted a systematic mapping study of relevant literature from 1997 until the end of 2017 and identified 403 relevant papers, 274 of which were selected for analysis based on quality criteria. This study derives a customized research strategy from established systematic approaches in the literature. We have utilized an exhaustive 3-tier search strategy to ensure a high degree of completeness during the study collection and used a test set to evaluate our search. The first 3 research questions address the demographics of security pattern research such as topic classification, trends, and distribution between academia and industry, along with prominent researchers and venues. The next 9 research questions focus on more in-depth analyses such as pattern presentation notations and classification criteria, pattern evaluation techniques, and pattern usage environments. The results and discussions of this study have significant implications for researchers, practitioners, and teachers in software engineering and information security.


title: Finsler connection in moving frame formalism

abstract: In our previous work, we have defined a nonlinear connection of Finsler manifold which preserves the Finsler metric $L=L(x,dx)$. To make the method easier and more useful in applications, moving frame (vielbein) $\theta^a={e^a}_\mu dx^\mu$ formalism for the nonlinear connection is newly considered. We derive formulae to calculate the Finsler connection in the specific case that the Finsler metric depends not on coordinates $x^\mu$, but only on moving frame $\theta^a$: $L=L(\theta)$.


title: Geometric and spectral characterization of Zoll manifolds, invariant measures and quantum limits

abstract: We provide new geometric and spectral characterizations for a Riemannian manifold to be a Zoll manifold, i.e., all geodesics of which are periodic. We analyze relationships with invariant measures and quantum limits.


title: Measuring precise radial velocities and cross-correlation function line-profile variations using a Skew Normal density

abstract: Stellar activity is one of the primary limitations to the detection of low-mass exoplanets using the radial-velocity (RV) technique. We propose to estimate the variations in shape of the CCF by fitting a Skew Normal (SN) density which, unlike the commonly employed Normal density, includes a skewness parameter to capture the asymmetry of the CCF induced by stellar activity and the convective blueshift. The performances of the proposed method are compared to the commonly employed Normal density using both simulations and real observations, with different levels of activity and signal-to-noise ratio. When considering real observations, the correlation between the RV and the asymmetry of the CCF and between the RV and the width of the CCF are stronger when using the parameters estimated with the SN density rather than the ones obtained with the commonly employed Normal density. Using the proposed SN approach, the uncertainties estimated on the RV defined as the median of the SN are on average 10% smaller than the uncertainties calculated on the mean of the Normal. The uncertainties estimated on the asymmetry parameter of the SN are on average 15% smaller than the uncertainties measured on the Bisector Inverse Slope Span (BIS SPAN), which is the commonly used parameter to evaluate the asymmetry of the CCF. We also propose a new model to account for stellar activity when fitting a planetary signal to RV data. Based on simple simulations, we were able to demonstrate that this new model improves the planetary detection limits by 12% compared to the model commonly used to account for stellar activity. The SN density is a better model than the Normal density for characterizing the CCF since the correlations used to probe stellar activity are stronger and the uncertainties of the RV estimate and the asymmetry of the CCF are both smaller.


title: Markov chain Monte Carlo Methods For Lattice Gaussian Sampling:Convergence Analysis and Enhancement

abstract: Sampling from lattice Gaussian distribution has emerged as an important problem in coding, decoding and cryptography. In this paper, the classic Gibbs algorithm from Markov chain Monte Carlo (MCMC) methods is demonstrated to be geometrically ergodic for lattice Gaussian sampling, which means the Markov chain arising from it converges exponentially fast to the stationary distribution. Meanwhile, the exponential convergence rate of Markov chain is also derived through the spectral radius of forward operator. Then, a comprehensive analysis regarding to the convergence rate is carried out and two sampling schemes are proposed to further enhance the convergence performance. The first one, referred to as Metropolis-within-Gibbs (MWG) algorithm, improves the convergence by refining the state space of the univariate sampling. On the other hand, the blocked strategy of Gibbs algorithm, which performs the sampling over multivariate at each Markov move, is also shown to yield a better convergence rate than the traditional univariate sampling. In order to perform blocked sampling efficiently, Gibbs-Klein (GK) algorithm is proposed, which samples block by block using Klein's algorithm. Furthermore, the validity of GK algorithm is demonstrated by showing its ergodicity. Simulation results based on MIMO detections are presented to confirm the convergence gain brought by the proposed Gibbs sampling schemes.


title: Magnetic and mechanical effects of Mn substitutions in AlFe2B2

abstract: The mechanical and magnetic properties of the newly discovered MAB-phase class of materials based upon AlFe2B2 were investigated. The samples were synthesised from stoichiometric amounts of all constituent elements. X-ray diffraction shows that the main phase is orthorhombic with an elongated b-axis, similar to AlFe2B2. The low hardness and visual inspection of the samples after deformation indicate that these compounds are deformed via a delamination process. When substituting iron in AlFe2B2 with manganese, the magnetism in the system goes from being ferro- to antiferromagnetic via a disordered ferrimagnetic phase exhibited by AlFeMnB2. Density functional theory calculations indicate a weakening of the magnetic interactions among the transitions metal ions as iron is substituted by manganese in AlFe2B2. The Mn-Mn exchange interactions in AlMn2 B2 are found to be very small.


title: Completeness and Consistency Analysis for Evolving Knowledge Bases

abstract: Assessing the quality of an evolving knowledge base is a challenging task as it often requires to identify correct quality assessment procedures. Since data is often derived from autonomous, and increasingly large data sources, it is impractical to manually curate the data, and challenging to continuously and automatically assess their quality. In this paper, we explore two main areas of quality assessment related to evolving knowledge bases: (i) identification of completeness issues using knowledge base evolution analysis, and (ii) identification of consistency issues based on integrity constraints, such as minimum and maximum cardinality, and range constraints. For completeness analysis, we use data profiling information from consecutive knowledge base releases to estimate completeness measures that allow predicting quality issues. Then, we perform consistency checks to validate the results of the completeness analysis using integrity constraints and learning models. The approach has been tested both quantitatively and qualitatively by using a subset of datasets from both DBpedia and 3cixty knowledge bases. The performance of the approach is evaluated using precision, recall, and F1 score. From completeness analysis, we observe a 94% precision for the English DBpedia KB and 95% precision for the 3cixty Nice KB. We also assessed the performance of our consistency analysis by using five learning models over three sub-tasks, namely minimum cardinality, maximum cardinality, and range constraint. We observed that the best performing model in our experimental setup is the Random Forest, reaching an F1 score greater than 90% for minimum and maximum cardinality and 84% for range constraints.


title: Breaking crystalline symmetry of epitaxial SnTe films by strain

abstract: SnTe belongs to the recently discovered class of topological crystalline insulators. Here we study the formation of line defects which break crystalline symmetry by strain in thin SnTe films. Strained SnTe(111) films are grown by molecular beam epitaxy on lattice- and thermal expansion coefficient-mismatched CdTe. To analyze the structural properties of the SnTe films we applied {\em in-situ} reflection high energy electron diffraction, x-ray reflectometry, high resolution x-ray diffraction, reciprocal space mapping, and scanning tunneling microscopy. This comprehensive analytical approach reveals a twinned structure, tensile strain, bilayer surface steps and dislocation line defects forming a highly ordered dislocation network for thick films with local strains up to 31\% breaking the translational crystal symmetry.


title: Wavelet variance scale-dependence as a dynamics discriminating tool in high-frequency urban wind speed time series

abstract: High frequency wind time series measured at different heights from the ground (from 1.5 to 25.5 meters) in an urban area were investigated by using the variance of the coefficients of their wavelet transform. Two ranges of scales were identified, sensitive to two different dynamical behavior of the wind speed: the lower anemometers show higher wavelet variance at smaller scales, while the higher ones are characterized by higher wavelet variance at larger scales. Due to the relationship between wavelet scale and frequency, the results suggest the existence of two frequency ranges, where the wind speed variability change according to the position of the anemometer from the ground. This study contributes to better understanding of the high frequency wind speed in urban areas and to a better knowledge of the underlying mechanism governing the wind fluctuations at different heights from the ground in particular in urban area.


title: High-speed photometry of the eclipsing polar UZ Fornacis

abstract: We present 33 new mid-eclipse times spanning approximately eight years of the eclipsing polar UZ Fornacis. We have used our new observations to test the two-planet model previously proposed to explain the variations in its eclipse times measured over the past $\sim$35 years. We find that the proposed model does indeed follow the general trend of the new eclipse times, however, there are significant departures. In order to accommodate the new eclipse times, the two-planet model requires that one or both of the planets require highly eccentric orbits, that is, $e \geq$ 0.4. Such multiple planet orbits are considered to be unstable. Whilst our new observations are consistent with two cyclic variations as previously predicted, significant residuals remain. We conclude that either additional cyclic terms, possibly associated with more planets, or other mechanisms, such as the Applegate mechanism are contributing to the eclipse time variations. Further long-term monitoring is required.


title: Skew-Symmetric Tensor Decomposition

abstract: We introduce the ``skew apolarity lemma'' and we use it to give algorithms for the skew-symmetric rank and the decompositions of tensors in {$\bigwedge^dV_{\mathbb{C}}$ with $d\leq 3$ and $\dim V_{\mathbb{C}} \leq 8$}. New algorithms to compute the rank and a minimal decomposition of a tritensor are also presented.


title: Numerical Simulation of Coronal Waves Interacting with Coronal Holes: II. Dependence on Alfv\'en Speed Inside the Coronal Hole

abstract: We used our newly developed magnetohydrodynamic (MHD) code to perform 2.5D simulations of a fast-mode MHD wave interacting with coronal holes (CH) of varying Alfv\'en speed which result from assuming different CH densities. We find that this interaction leads to effects like reflection, transmission, stationary fronts at the CH boundary and the formation of a density depletion that moves in the opposite direction to the incoming wave. We compare these effects with regard to the different CH densities and present a comprehensive analysis of morphology and kinematics of the associated secondary waves. We find that the density value inside the CH influences the phase speed as well as the amplitude values of density and magnetic field for all different secondary waves. Moreover, we observe a correlation between the CH density and the peak values of the stationary fronts at the CH boundary. The findings of reflection and transmission on the one hand and the formation of stationary fronts caused by the interaction of MHD waves with CHs on the other hand, strongly support the theory that large scale disturbances in the corona are fast-mode MHD waves.


title: Study of J/$\psi$ azimuthal anisotropy at forward rapidity in Pb-Pb collisions at $\sqrt{{\textit s}_{\rm NN}}$ = 5.02 TeV

abstract: The second ($v_2$) and third ($v_3$) flow harmonic coefficients of J/$\psi$ mesons are measured at forward rapidity (2.5 $<$ $y$ $<$ 4.0) in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV with the ALICE detector at the LHC. Results are obtained with the scalar product method and reported as a function of transverse momentum, $p_{\rm{T}}$, for various collision centralities. A positive value of J/$\psi$ $v_3$ is observed with 3.7$\sigma$ significance. The measurements, compared to those of prompt D$^0$ mesons and charged particles at mid-rapidity, indicate an ordering with $v_{\rm n}$(J/$\psi$) $<v_{\rm n}$(D$^0$) $<v_{\rm n}$(h$^\pm$) (n = 2, 3) at low and intermediate $p_{\rm{T}}$ up to 6 GeV/$c$ and a convergence with $v_2$(J/$\psi$) $\approx v_2$(D$^0$) $\approx v_2$(h$^\pm$) at high $p_{\rm{T}}$ above 6-8 GeV/$c$. In semi-central collisions (5-40% and 10-50% centrality intervals) at intermediate $p_{\rm{T}}$ between 2 and 6 GeV/$c$, the ratio $v_3/v_2$ of J/$\psi$ mesons is found to be significantly lower (4.6$\sigma$) with respect to that of charged particles. In addition, the comparison to the prompt D$^0$-meson ratio in the same $p_{\rm{T}}$ interval suggests an ordering similar to that of the $v_2$ and $v_3$ coefficients. The J/$\psi$ $v_2$ coefficient is further studied using the Event Shape Engineering technique. The obtained results are found to be compatible with the expected variations of the eccentricity of the initial-state geometry.


title: Document Structure Measure for Hypernym discovery

abstract: Hypernym discovery is the problem of finding terms that have is-a relationship with a given term. We introduce a new context type, and a relatedness measure to differentiate hypernyms from other types of semantic relationships. Our Document Structure measure is based on hierarchical position of terms in a document, and their presence or otherwise in definition text. This measure quantifies the document structure using multiple attributes, and classes of weighted distance functions.


title: Unveiling the outstanding oxygen mass transport properties of Mn-rich perovskites in grain boundary-dominated La0.8Sr0.2(Mn1-xCox)0.85O3-d nanostructures

abstract: Ion transport in solid-state devices is of great interest for current and future energy and information technologies. A superior enhancement of several orders of magnitude of the oxygen diffusivity has been recently reported for grain boundaries in lanthanum strontium manganites. However, the significance and extent of this unique phenomenon is not yet established. Here, we fabricate a thin film continuous composition map of the La0.8Sr0.2(Mn1-xCox)0.85O3-d family revealing a substantial enhancement of the grain boundary oxygen mass transport properties for the entire range of compositions. Through isotope-exchange depth profiling coupled to secondary ion mass spectroscopy, we show that this excellent performance is not directly linked to the bulk of the material but to the intrinsic nature of the grain boundary. In particular, the great increase of the oxygen diffusion in Mn-rich compositions unveils an unprecedented catalytic performance in the field of Mixed Ionic Electronic Conductors. These results present grain boundaries engineering as a novel strategy for designing highly performing materials for solid state ionics based devices.


title: Non-periodic continued fractions for quadratic irrationalities

abstract: A well known theorem of Lagrange states that the simple continued fraction of a real number $\alpha$ is periodic if and only if $\alpha$ is a quadratic irrational. We examine non-periodic and non-simple continued fractions formed by two interlacing geometric series and show that in certain cases they converge to quadratic irrationalities. This phenomenon is connected with certain sequences of polynomials whose properties we examine further.


title: On existence and nonexistence of nonnegative solutions to seminlinear differential equation on Riemannian manifolds

abstract: In this paper, we give a clear cut relation between the the volume growth $V(r)$ and the existence of nonnegative solutions to parabolic semilinear problem \begin{align}\tag{*}\label{*} \left\{ \begin{array}{ll} \Delta u - \partial_t u + u^p = 0, \\ {u(x,0)= {u_0(x)}}, \end{array} \right. \end{align} on a large class of Riemannian manifolds. We prove that for parameter $p>1$, if \begin{align*} \int^{+\infty} \frac{t}{V(t)^{p-1}} dt = \infty \end{align*} then (\ref{*}) has no nonnegative solution. If \begin{align*} \int^{+\infty} \frac{t}{V(t)^{p-1}} dt < \infty \end{align*} then (\ref{*}) has positive solutions for small $u_0$.


title: Untangling cosmic magnetic fields: Faraday tomography at metre wavelengths with LOFAR

abstract: The technique of Faraday tomography is a key tool for the study of magnetised plasmas in the new era of broadband radio polarisation observations. In particular, observations at metre-wavelengths provide significantly better Faraday depth accuracies compared to traditional cm-wavelength observations. However, the effect of Faraday depolarisation makes the polarised signal very challenging to detect at metre wavelengths (MHz frequencies). In this work, Faraday tomography is used to characterise the Faraday rotation properties of polarised sources found in data from the LOFAR Two-Metre Sky Survey (LoTSS). Of the 76 extragalactic polarised sources analysed here, we find that all host a radio-loud AGN. The majority of the sources ($\sim$64%) are large FRII radio galaxies with a median projected linear size of 710 kpc and median radio luminosity at 144 MHz of $4\times10^{26}$ W Hz$^{-1}$ (with $\sim$13% of all sources having a linear size $>1$ Mpc). In several cases, both hotspots are detected in polarisation at an angular resolution of $\sim$20". One such case allowed a study of intergalactic magnetic fields on scales of 3.4 Mpc. Other detected source types include an FRI radio galaxy and at least 8 blazars. Most sources display simple Faraday spectra, however, we highlight one blazar that displays a complex Faraday spectrum, with two close peaks in the Faraday dispersion function.


title: Giant superconducting proximity effect on spintronic anisotropy

abstract: We investigate theoretically the interplay of proximity effects due to the presence of a superconductor and normal ferromagnetic leads on the formation of the spintronic quadrupolar exchange field in a large-spin molecule. We show that the spintronic anisotropy can be enhanced by a few orders of magnitude, and tuned by changing the strength of coupling to the superconductor. Especially large anisotropy is generated in the vicinity of the charge parity changing transition of the molecule. We also provide predictions of measurable spectral properties being the hallmarks of these phenomena.


title: Multiples of long period small element continued fractions to short period large elements continued fractions

abstract: We construct a class of quadratic irrationals having continued fractions of period $n\geq2$ with "small" partial quotients for which certain integer multiples have continued fractions of period $1$, $2$ or $4$ with "large" partial quotients. We then show that numbers in the period of the new continued fraction are simple functions of the numbers in the periods of the original continued fraction. We give generalizations of some of the continued fractions and show that polynomials arising from the generalizations are related to Chebyshev and Fibonacci polynomials. We then show that some of these polynomials have a hyperbolic root distribution.


title: Numerical Simulation of Coronal Waves Interacting with Coronal Holes: III. Dependence on Initial Amplitude of the Incoming Wave

abstract: We performed 2.5D magnetohydrodynamic (MHD) simulations showing the propagation of fast-mode MHD waves of different initial amplitudes and their interaction with a coronal hole (CH), using our newly developed numerical code. We find that this interaction results in, first, the formation of reflected, traversing and transmitted waves (collectively, secondary waves) and, second, in the appearance of stationary features at the CH boundary. Moreover, we observe a density depletion that is moving in the opposite direction to the incoming wave. We find a correlation between the initial amplitude of the incoming wave and the amplitudes of the secondary waves as well as the peak values of the stationary features. Additionally, we compare the phase speed of the secondary waves and the lifetime of the stationary features to observations. Both effects obtained in the simulation, the evolution of secondary waves, as well as the formation of stationary fronts at the CH boundary, strongly support the theory that coronal waves are fast-mode MHD waves.


title: SuperIso Relic new extensions for direct and indirect detection

abstract: SuperIso Relic is a public computing program for the calculation of flavour observables and relic density in supersymmetry (MSSM and NMSSM). We present new extensions of the code dedicated to the calculation of dark matter direct and indirect detection constraints from the latest experimental results. Contrary to most of the existing programs, this new version allows the user to consider straightforwardly the uncertainties related to nuclear form factors, dark matter density and velocity, as well as cosmic-ray propagation through the galactic medium. The user thus finds a direct way to calculate "conservative", "standard" or "stringent" constraints according to the chosen set of uncertainties. Some examplified results showing the impact of such uncertainties are also presented.


title: Convection-driven kinematic dynamos with a self-consistent shear flow

abstract: It is widely accepted that astrophysical magnetic fields are generated by dynamo action. In many cases these fields exhibit organisation on a scale larger than that of the underlying turbulent flow (e.g., the eleven-year solar cycle). The mechanism for the generation of so-called large scale fields remains an open problem. In cases where the magnetic Reynolds number ($Rm$) is small, dynamo-generated fields are coherent but at (the astrophysically relevant) high $Rm$, the fields are overwhelmed by small scale fluctuating field. Recently Tobias and Cattaneo (2013) have shown that an imposed large scale shear flow can suppress the small scale fluctuations and allow the large scale temporal behaviour to emerge. Shear is also believed to modify the electromotive force by introducing correlations between the flow and the field. However in previous models at high $Rm$ the shear is often artificially imposed or driven by an arbitrary body force. Here we consider a simple kinematic model of a convective dynamo in which shear is self consistently driven by the presence of a horizontal temperature gradient (resulting in a thermal wind) and a rotation vector that is oblique to gravity. By considering a $2.5$-dimensional system, we are able to reach high $Rm$ so that the dynamo approaches the asymptotic regime where the growth rate becomes approximately independent of $Rm$. We find the flows studied here to be excellent small-scale dynamos, but with very little systematic behaviour evident at large $Rm$. We attribute this to being unable to self-consistently generate flows with both large (net) helicity and strong shear in this setup.


title: Isovector scalar $a_0(980)$ and $a_0(1450)$ resonances in the $B\rightarrow \psi (K\bar{K},\pi\eta) $ decays

abstract: We present an analysis of two isovector scalar resonant contributions to the $B$ decays into charmonia plus $K\bar K$ or $\pi\eta$ pair in the perturbative QCD approach. The Flatt\'{e} model for the $a_0(980)$ resonance and the Breit Wigner formula for the $a_0(1450)$ resonance are adopted to parametrize the timelike form factors in the dimeson distribution amplitudes, which capture the important final state interactions in these processes. The predicted distribution in the $K^+K^-$ invariant mass as well as its integrated branching ratio for the $a_0(980)$ resonance in the $B^0\rightarrow J/\psi K^+K^-$ mode agree well with the current available experimental data. The obtained branching ratio of the quasi-two-body decay $B^0\rightarrow J/\psi a_0(980)(\rightarrow \pi^0\eta)$ can reach the order of $10^{-6}$, letting the corresponding measurement appear feasible. For the $a_0(1450)$ component, our results could be tested by further experiments in the LHCb and Belle II. We also discuss some theoretical uncertainties in detail in our calculation.


title: Neural separation of observed and unobserved distributions

abstract: Separating mixed distributions is a long standing challenge for machine learning and signal processing. Most current methods either rely on making strong assumptions on the source distributions or rely on having training samples of each source in the mixture. In this work, we introduce a new method---Neural Egg Separation---to tackle the scenario of extracting a signal from an unobserved distribution additively mixed with a signal from an observed distribution. Our method iteratively learns to separate the known distribution from progressively finer estimates of the unknown distribution. In some settings, Neural Egg Separation is initialization sensitive, we therefore introduce Latent Mixture Masking which ensures a good initialization. Extensive experiments on audio and image separation tasks show that our method outperforms current methods that use the same level of supervision, and often achieves similar performance to full supervision.


title: Towards Secure and Efficient Payment Channels

abstract: Micropayment channels are the most prominent solution to the limitation on transaction throughput in current blockchain systems. However, in practice channels are risky because participants have to be online constantly to avoid fraud, and inefficient because participants have to open multiple channels and lock funds in them. To address the security issue, we propose a novel mechanism that involves watchtowers incentivized to watch the channels and reveal a fraud. Our protocol does not require participants to be online constantly watching the blockchain. The protocol is secure, incentive compatible and lightweight in communication. Furthermore, we present an adaptation of our protocol implementable on the Lightning protocol. Towards efficiency, we examine specific topological structures in the blockchain transaction graph and generalize the construction of channels to enable topologies better suited to specific real-world needs. In these cases, our construction reduces the required amount of signatures for a transaction and the total amount of locked funds in the system.


title: Dynamically switching the surface electronic and electrostatic properties of indium tin oxide electrodes with photochromic monolayers

abstract: The chemical modification of electrodes with organic materials is a common approach to tune the electronic and electrostatic landscape between interlayers in optoelectronic devices, thus facilitating charge injection at the electrode/semiconductor interfaces and improving their performance. The use of photochromic molecules for the surface modification allows dynamic control of the electronic and electrostatic properties of the electrode and thereby enables additional functionalities in such devices. Here, we show that the electronic properties of a transparent indium tin oxide (ITO) electrode are reversibly and dynamically modified by depositing organic photochromic switches (diarylethenes) in the form of self-assembled monolayers (SAMs). By combining a range of surface characterization and density functional theory calculations, we present a detailed picture of the SAM binding onto ITO, the packing density of molecules, their orientation, as well as the work function modification of the ITO surface due to the SAM deposition. Upon illumination with ultraviolet and green light, we observe a reversible shift of the frontier occupied levels by 0.7 eV, and concomitantly a reversible work function change of ca. 60 meV. Our results prove the viability of dynamic switching of the electronic properties of the electrode with external light stimuli, which could be used to fabricate ITO-based photo-switchable optoelectronic devices.


title: Dynamic Load Balancing Techniques for Particulate Flow Simulations

abstract: Parallel multiphysics simulations often suffer from load imbalances originating from the applied coupling of algorithms with spatially and temporally varying workloads. It is thus desirable to minimize these imbalances to reduce the time to solution and to better utilize the available hardware resources. Taking particulate flows as an illustrating example application, we present and evaluate load balancing techniques that tackle this challenging task. This involves a load estimation step in which the currently generated workload is predicted. We describe in detail how such a workload estimator can be developed. In a second step, load distribution strategies like space-filling curves or graph partitioning are applied to dynamically distribute the load among the available processes. To compare and analyze their performance, we employ these techniques to a benchmark scenario and observe a reduction of the load imbalances by almost a factor of four. This results in a decrease of the overall runtime by 14% for space-filling curves.


title: Superfluidity and coherence in uniform dipolar binary Bose mixtures

abstract: We investigate the superfluidity and the coherence in dipolar binary Bose mixtures using the hydrodynamic approach. Useful analytical formulas for the excitations spectrum, the correlation function, the static structure factor, and the superfluid fraction are derived. We find that in the case of highly imbalanced mixture, the superfluidity can occur in the dilute component only at extremely low temperatures. The behavior of the first-order correlation function for both dipolar and nondipolar Bose mixtures is deeply analyzed. Then we face the two-dimensional case which encodes a non-trivial physics due to the roton modes.


title: Nanonionics and interfaces for energy and information technologies

abstract: There is a growing interest in the development of functional metal oxides with mixed ionic electronic conduction for their application in different strategic fields. In particular, ionic transport-related phenomena are of primary importance in energy transformation and storage devices, such as solid oxides fuel cells (SOFC) or batteries. Traditionally, the main issue that hindered a wide spread of solid state electrochemical devices is the slow ionic conduction and the reduced number of families of materials with pure ionic conductivity able to play the role of the electrolyte. This is due to the low mobility of the ionic charge carriers and their mechanical and coulombic interactions with their host crystal structures. For relatively big and charged ions, e.g. O2- or Na+, the low ionic conductivity imposes operating at high temperatures, which is incompatible with some applications such as portable electronics.


title: Radial averaging operator acting on Bergman and Lebesgue spaces

abstract: It is shown that the radial averaging operator $$ T_\omega(f)(z)=\frac{\int_{|z|}^1f\left(s\frac{z}{|z|}\right)\omega(s)\,ds}{\widehat{\omega}(z)},\quad \widehat{\omega}(z)=\int_{|z|}^1\omega(s)\,ds, $$ induced by a radial weight $\omega$ on the unit disc $\mathbb{D}$, is bounded from the weighted Bergman space $A^p_\nu$, where $0<p<\infty$ and the radial weight $\nu$ satisfies $\widehat{\nu}(r)\leq C\widehat{\nu}\left(\frac{1+r}{2}\right)$ for all $0\leq r<1$, to $L^p_\nu$ if and only if the self-improving condition $\sup_{0\leq r<1}\frac{\widehat{\omega}(r)^p}{\int_{r}^1 s\nu(s)\,ds}\int_0^r\frac{t\nu(t)}{\widehat{\omega}(t)^p}\,dt<\infty$ is satisfied. Further, two characterizations of the weak type inequality $$ \eta \left(\left\{ z\in\mathbb{D} : |T_\omega(f)(z)|\geq\lambda\right\}\right)\lesssim\lambda^{-p} \| f\|_{L^p_\nu}^p,\quad \lambda>0, $$ are established for arbitrary radial weights $\omega$, $\nu$ and $\eta$. Moreover, differences and interrelationships between the cases $A^p_\nu\to L^p_\nu$, $L^p_\nu\to L^p_\nu$ and $L^p_\nu\to L^{p,\infty}_\nu$ are analyzed.


title: Towards to Analysis in $\mathbb{R}^{pq}$

abstract: We are looking for a possible development of analysis in indefinite space $\mathbb{R}^{pq}$ from their group of Moebius automorphisms. [This is historic submission of the paper published in 1996]


title: One-dimensional discrete aggregation-fragmentation model

abstract: We study here one-dimensional model of aggregation and fragmentation of clusters of particles obeying the stochastic discrete-time kinetics of the generalized Totally Asymmetric Simple Exclusion Process (gTASEP) on open chains. Isolated particles and the first particle of a cluster of particles hop one site forward with probability $p$; when the first particle of a cluster hops, the remaining particles of the same cluster may hop with a modified probability $p_m$, modelling a special kinematic interaction between neighboring particles, or remain in place with probability $1-p_m$. The model contains as special cases the TASEP with parallel update ($p_m =0$) and with sequential backward-ordered update ($p_m =p$). These cases have been exactly solved for the stationary states and their properties thoroughly studied. The limiting case of $p_m =1$, which corresponds to irreversible aggregation, has been recently studied too. Its phase diagram in the plane of injection ($\alpha$) and ejection ($\beta$) probabilities was found to have a different topology. Here we focus on the stationary properties of the gTASEP in the generic case of attraction $p<p_m<1$ when aggregation-fragmentation of clusters occurs. We find that the topology of the phase diagram at $p_m =1$ changes sharply to the one corresponding to $p_m =p$ as soon as $p_m$ becomes less than $1$. Then a maximum current phase appears in the square domain $\alpha_c(p,p_m)\le\alpha\le 1$ and $\beta_c(p,p_m) \le \beta \le 1$, where $\alpha_c(p,p_m)= \beta_c(p,p_m)\equiv \sigma_c(p,p_m)$ are parameter-dependent injection/ejection critical values. The properties of the phase transitions between the three stationary phases at $p< p_m <1$ are assessed by computer simulations and random walk theory.


title: Improving Landmark Recognition using Saliency detection and Feature classification

abstract: Image Landmark Recognition has been one of the most sought-after classification challenges in the field of vision and perception. After so many years of generic classification of buildings and monuments from images, people are now focussing upon fine-grained problems - recognizing the category of each building or monument. We proposed an ensemble network for the purpose of classification of Indian Landmark Images. To this end, our method gives robust classification by ensembling the predictions from Graph-Based Visual Saliency (GBVS) network alongwith supervised feature-based classification algorithms such as kNN and Random Forest. The final architecture is an adaptive learning of all the mentioned networks. The proposed network produces a reliable score to eliminate false category cases. Evaluation of our model was done on a new dataset, which involves challenges such as landmark clutter, variable scaling, partial occlusion, etc.


title: Spin and orbital ordering in bilayer Sr$_3$Cr$_2$O$_7$

abstract: Using maximally localized Wannier functions obtained from DFT calculations, we derive an effective Hubbard Hamiltonian for a bilayer of Sr$_3$Cr$_2$O$_7$, the $n=2$ member of the Ruddlesden-Popper Sr$_{n+1}$Cr$_n$O$_{3n+1}$ system. The model consists of effective $t_{2g}$ orbitals of Cr in two square lattices, one above the other. The model is further reduced at low energies and two electrons per site, to an effective Kugel-Khomskii Hamiltonian that describes interacting spins 1 and pseudospins 1/2 at each site describing spin and orbitals degrees of freedom respectively. We solve this Hamiltonian at zero temperature using pseudospin bond operators and spin waves. Our results confirm a previous experimental and theoretical study that proposes spin ordering antiferromagnetic in the planes and ferromagnetic between planes, while pseudospins form vertical singlets, although the interplane separation is larger than the nearest-neighbor distance in the plane. We explain the physics behind this rather unexpected behavior.


title: The observation resolution -- a neglected aspect with critical influence on movement-based foraging indices

abstract: Movement-based indices such as moves per minute (MPM) and proportion time moving (PTM) are common methodologies to quantify foraging behaviour. Hundreds of studies have reported these indices without specifying the temporal resolution of their original data, despite the likelihood that the minimal stop and move durations can affect MPM and PTM estimates. Our goal was to empirically determine the sensitivity of these foraging indices to changes in the temporal resolution of the observation. We used a high speed camera to record movement sequences of 20 Acanthodactylus boskianus lizards. We gradually decreased the data resolution by ignoring short stops and either ignoring, elongating or leaving short moves unchanged. We then used the manipulated data to calculate the foraging indices at different temporal resolutions. We found that movement-based indices are very sensitive to the observation resolution, so that realistic variation in the minimal duration of stops and moves could lead to 68 percent and 48 percent difference in MPM and PTM estimates, respectively. When using the highest resolution, our estimate of MPM was an order of magnitude higher than all prior reported values for lizards. Also, the distribution of stop durations was well described by a single heavy tailed distribution above 0.35 seconds. This suggests that for A. boskianus there is no reason to ignore short stops above this threshold. Our results raise major concerns regarding the use of already published movement based indices, and enable us to recommend how new foraging data should be collected.


title: Domain-Invariant Adversarial Learning for Unsupervised Domain Adaption

abstract: Unsupervised domain adaption aims to learn a powerful classifier for the target domain given a labeled source data set and an unlabeled target data set. To alleviate the effect of `domain shift', the major challenge in domain adaptation, studies have attempted to align the distributions of the two domains. Recent research has suggested that generative adversarial network (GAN) has the capability of implicitly capturing data distribution. In this paper, we thus propose a simple but effective model for unsupervised domain adaption leveraging adversarial learning. The same encoder is shared between the source and target domains which is expected to extract domain-invariant representations with the help of an adversarial discriminator. With the labeled source data, we introduce the center loss to increase the discriminative power of feature learned. We further align the conditional distribution of the two domains to enforce the discrimination of the features in the target domain. Unlike previous studies where the source features are extracted with a fixed pre-trained encoder, our method jointly learns feature representations of two domains. Moreover, by sharing the encoder, the model does not need to know the source of images during testing and hence is more widely applicable. We evaluate the proposed method on several unsupervised domain adaption benchmarks and achieve superior or comparable performance to state-of-the-art results.


title: Practical methods for graph two-sample testing

abstract: Hypothesis testing for graphs has been an important tool in applied research fields for more than two decades, and still remains a challenging problem as one often needs to draw inference from few replicates of large graphs. Recent studies in statistics and learning theory have provided some theoretical insights about such high-dimensional graph testing problems, but the practicality of the developed theoretical methods remains an open question. In this paper, we consider the problem of two-sample testing of large graphs. We demonstrate the practical merits and limitations of existing theoretical tests and their bootstrapped variants. We also propose two new tests based on asymptotic distributions. We show that these tests are computationally less expensive and, in some cases, more reliable than the existing methods.


title: Spin excitation spectra of the two dimensional $S=1/2$ Heisenberg model with a checkerboard structure

abstract: We study the spin excitation spectra of the two-dimensional spin-$1/2$ Heisenberg model with a checkerboard structures using stochastic analytic continuation of the imaginary-time correlation function obtained from a quantum Monte Carlo simulation. The checkerboard models have two different antiferromagnetic nearest-neighbor interactions $J_{1}$ and $J_{2}$, and the tuning parameter $g$ is defined as $J_{2}/J_{1}$. The dynamic spin structure factors are systematically calculated in all phases of the models as well as at the critical points. To give a full understanding of the dynamic spectra, spin wave theory is employed to explain some features of numerical results, especially for the low-energy part. When $g$ is close to $1$, the features of the spin excitation spectra of each checkerboard model are roughly the same as those of the original square lattice antiferromagnetic Heisenberg model, and the high-energy continuum among them is discussed. In contrast to the other checkerboard structures investigated in this paper, the $3\times 3$ checkerboard model has distinctive excitation features, such as a gap between a low-energy gapless branch and a gapped high-energy part that exists when $g$ is small. The gapless branch in this case can be regarded as a spin wave in N$\mathrm{\acute{e}}$el order formed by a "block spin" in each $3\times 3$ plaquette with an effective exchange interaction originating from renormalization. One unexpected finding is that the continuum also appears in this low-energy branch.


title: Groupoid models for the C*-algebra of labelled spaces

abstract: We define a groupoid from a labelled space and show that it is isomorphic to the tight groupoid arising from an inverse semigroup associated with the labelled space. We then define a local homeomorphism on the tight spectrum that is a generalization of the shift map for graphs, and show that the defined groupoid is isomorphic to the Renault-Deaconu groupoid for this local homeomorphism. Finally, we show that the C*-algebra of this groupoid is isomorphic to the C*-algebra of the labelled space as introduced by Bates and Pask.


title: Projection Convolutional Neural Networks for 1-bit CNNs via Discrete Back Propagation

abstract: The advancement of deep convolutional neural networks (DCNNs) has driven significant improvement in the accuracy of recognition systems for many computer vision tasks. However, their practical applications are often restricted in resource-constrained environments. In this paper, we introduce projection convolutional neural networks (PCNNs) with a discrete back propagation via projection (DBPP) to improve the performance of binarized neural networks (BNNs). The contributions of our paper include: 1) for the first time, the projection function is exploited to efficiently solve the discrete back propagation problem, which leads to a new highly compressed CNNs (termed PCNNs); 2) by exploiting multiple projections, we learn a set of diverse quantized kernels that compress the full-precision kernels in a more efficient way than those proposed previously; 3) PCNNs achieve the best classification performance compared to other state-of-the-art BNNs on the ImageNet and CIFAR datasets.


title: Determination of hexadecapole ($\beta_{4}$) deformation of the light-mass nucleus $^{24}$Mg using quasi-elastic measurement

abstract: Quasi-elastic scattering measurements have been performed using $^{16}$O and $^{24}$Mg projectiles off $^{90}$Zr at energies around the Coulomb barrier. Experimental data have been analyzed in the framework of coupled channels (CC) calculations using the code CCFULL. The quasi-elastic scattering excitation function and derived barrier distribution for $^{16}$O + $^{90}$Zr reaction are well reproduced by the CC calculations using the vibrational coupling strengths for $^{90}$Zr reported in the literature. Using these vibrational coupling strengths, a Bayesian analysis is carried out for $^{24}$Mg + $^{90}$Zr reaction. The $\beta_{2}$ and $\beta_{4}$ values for $^{24}$Mg are determined to be $+0.43 \pm 0.02$ and $ - 0.11 \pm 0.02$, respectively. The $\beta_{2}$ parameter determined in the present work is in good agreement with results obtained using inelastic scattering probes. The hexadecapole deformation of $^{24}$Mg has been measured very precisely for the first time. Present results establish that quasi-elastic scattering could provide a useful probe to determine the ground state deformation of atomic nuclei.


title: Optimal lower bounds on hitting probabilities for stochastic heat equations in spatial dimension $k \geq 1$

abstract: We establish a sharp estimate on the negative moments of the smallest eigenvalue of the Malliavin matrix $\gamma_Z$ of $Z := (u(s, y), u(t, x) - u(s, y))$, where $u$ is the solution to system of $d$ non-linear stochastic heat equations in spatial dimension $k \geq 1$. We also obtain the optimal exponents for the $L^p$-modulus of continuity of the increments of the solution and of its Malliavin derivatives. These lead to optimal lower bounds on hitting probabilities of the process $\{u(t, x): (t, x) \in [0, \infty[ \times \mathbb{R}\}$ in the non-Gaussian case in terms of Newtonian capacity, and improve a result in Dalang, Khoshnevisan and Nualart [\textit{Stoch PDE: Anal Comp} \textbf{1} (2013) 94--151].


title: Non-Local Video Denoising by CNN

abstract: Non-local patch based methods were until recently state-of-the-art for image denoising but are now outperformed by CNNs. Yet they are still the state-of-the-art for video denoising, as video redundancy is a key factor to attain high denoising performance. The problem is that CNN architectures are hardly compatible with the search for self-similarities. In this work we propose a new and efficient way to feed video self-similarities to a CNN. The non-locality is incorporated into the network via a first non-trainable layer which finds for each patch in the input image its most similar patches in a search region. The central values of these patches are then gathered in a feature vector which is assigned to each image pixel. This information is presented to a CNN which is trained to predict the clean image. We apply the proposed architecture to image and video denoising. For the latter patches are searched for in a 3D spatio-temporal volume. The proposed architecture achieves state-of-the-art results. To the best of our knowledge, this is the first successful application of a CNN to video denoising.


title: A Decentralized Event-Based Approach for Robust Model Predictive Control

abstract: In this paper, we propose an event-based sampling policy to implement a constraint-tightening, robust MPC method. The proposed policy enjoys a computationally tractable design and is applicable to perturbed, linear time-invariant systems with polytopic constraints. In particular, the triggering mechanism is suitable for plants with no centralized sensory node as the triggering mechanism can be evaluated locally at each individual sensor. From a geometrical viewpoint, the mechanism is a sequence of hyper-rectangles surrounding the optimal state trajectory such that robust recursive feasibility and robust stability are guaranteed. The design of the triggering mechanism is cast as a constrained parametric-in-set optimization problem with the volume of the set as the objective function. Re-parameterized in terms of the set vertices, we show that the problem admits a finite tractable convex program reformulation and a linear program relaxation. Several numerical examples are presented to demonstrate the effectiveness and limitations of the theoretical results.


title: Primordial gravitational waves in Horndeski gravity

abstract: We investigate the propagation of primordial gravitational waves within the context of the Horndeski theories, for this, we present a generalized transfer function quantifying the sub-horizon evolution of gravitational waves modes after they enter the horizon. We compare the theoretical prediction of the modified primordial gravitational waves spectral density with the aLIGO, Einstein telescope, LISA, gLISA and DECIGO sensitivity curves. Assuming reasonable and different values for the free parameters of the theory (in agreement with the event GW170817 and stability conditions of the theory), we note that the gravitational waves amplitude can vary significantly in comparison with general relativity. We find that in some cases the gravitational primordial spectrum can cross the sensitivity curves for DECIGO detector with the maximum frequency sensitivity to the theoretical predictions around 0.05 - 0.30 Hz. From our results, it is clear that the future generations of space based interferometers can bring new perspectives to probing modifications in general relativity.


title: Borel and volume classes for dense representations of discrete groups

abstract: We show that the bounded Borel class of any dense representation $\rho: G\to \PSL_n\bC$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the $3$-dimensional hyperbolic volume class. Using tools from the theory of Kleinian groups, we show that the volume class of a dense representation $\rho: G\to \PSL_2\bC$ is uniformly separated in semi-norm from any other representation $\rho': G\to \G$ for which there is a subgroup $H\le G$ on which $\rho$ is still dense but $\rho'$ is discrete or indiscrete but stabilizes a point, line, or plane in $\bH^3\cup \partial \bH^3$. We exhibit a family of dense representations of a non-abelian free group on two letters and a family of discontinuous dense representations of $\PSL_2\bR$, whose volume classes are linearly independent and satisfy some additional properties; the cardinality of these families is that of the continuum. We explain how the strategy employed may be used to produce non-trivial volume classes in higher dimensions, contingent on the existence of a family of hyperbolic manifolds with certain topological and geometric properties.


title: A microcanonical entropy correcting finite-size effects in small systems

abstract: In a recent paper [Franzosi, Physica A {\bf 494}, 302 (2018)], we have suggested to use of the surface entropy, namely the logarithm of the area of a hypersurface of constant energy in the phase space, as an expression for the thermodynamic microcanonical entropy, in place of the standard definition usually known as Boltzmann entropy. In the present manuscript, we have tested the surface entropy on the Fermi-Pasta-Ulam model for which we have computed the caloric equations that derive from both the Boltzmann entropy and the surface entropy. The results achieved clearly show that in the case of the Boltzmann entropy there is a strong dependence of the caloric equation from the system size, whereas in the case of the surface entropy there is no such dependence. We infer that the issues that one encounters when the Boltzmann entropy is used in the statistical description of small systems could be a clue of a deeper defect of this entropy that derives from its basic definition. Furthermore, we show that the surface entropy is well founded from a mathematical point of view, and we show that it is the only admissible entropy definition, for an isolated and finite system with a given energy, which is consistent with the postulate of equal a-priori probability.


title: Arbitrary many walkers meet infinitely often in a subballistic random environment

abstract: We consider $d$ independent walkers in the same random environment in $\mathbb{Z}$. Our assumption on the law of the environment is such that a single walker is transient to the right but subballistic. We show that - no matter what $d$ is - the $d$ walkers meet infinitely often, i.e. there are almost surely infinitely many times for which all the random walkers are at the same location.


title: Dark matter and the early Universe

abstract: Big-Bang nucleosynthesis (BBN) represents one of the earliest phenomena that can lead to observational constraints on the early Universe properties. It is well-known that many important mechanisms and phase transitions occurred before BBN. We discuss the possibility of gaining insight into the primordial Universe through studies of dark matter in cosmology, astroparticle physics and colliders. For this purpose, we assume that dark matter is a thermal relic, and show that combining collider searches with dark matter observables can lead to strong constraints on the period of freeze-out before BBN.


title: Status of the (p)MSSM Higgs sector

abstract: We present some highlights on the complementaries of the Higgs and SUSY searches at the LHC, using the 8 and 13 TeV results. In particular, we discuss the constraints that can be obtained on the MSSM parameters by the determination of the Higgs boson mass and couplings. In addition, we investigate the interplay with heavy Higgs searches, and evaluate how higher LHC luminosities and a future linear collider can help probing the pMSSM Higgs sector and reconstructing the underlying parameters.


title: Model-blind Video Denoising Via Frame-to-frame Training

abstract: Modeling the processing chain that has produced a video is a difficult reverse engineering task, even when the camera is available. This makes model based video processing a still more complex task. In this paper we propose a fully blind video denoising method, with two versions off-line and on-line. This is achieved by fine-tuning a pre-trained AWGN denoising network to the video with a novel frame-to-frame training strategy. Our denoiser can be used without knowledge of the origin of the video or burst and the post processing steps applied from the camera sensor. The on-line process only requires a couple of frames before achieving visually-pleasing results for a wide range of perturbations. It nonetheless reaches state of the art performance for standard Gaussian noise, and can be used off-line with still better performance.


title: High-order stroboscopic averaging methods for highly oscillatory delay problems

abstract: We introduce and analyze a family of heterogeneous multiscale methods for the numerical integration of highly oscillatory systems of delay differential equations with constant delays. The methodology suggested provides algorithms of arbitrarily high accuracy.


title: Insights into the enhancement of oxygen mass transport properties of strontium doped lanthanum manganite interface-dominated thin films

abstract: Strontium doped lanthanum manganite thin films were deposited by pulsed laser deposition on yttria stabilized zirconia single crystals for a comprehensive electrochemical characterization of the material acting as a cathode. A physically meaningful electrical model was employed to fit the electrochemical impedance spectroscopy results in order to extract the main oxygen mass transport parameters as a function of the temperature and oxygen partial pressure. The oxygen diffusion and surface exchange coefficients extracted from the analysis showed several orders of magnitude of enhancement with respect to the bulk values reported in the literature and an unexpectedly low dependence with the oxygen partial pressure. Different observations were combined to propose a mechanism for the enhanced incorporation of oxygen in interface dominated thin films mainly based on the high concentration of oxygen vacancies expected in the grain boundaries.


title: A natural decomposition of viscous dissipation in DG methods for turbulent incompressible flows

abstract: In this note we aim at a characterisation of the discretisation of viscous dissipation which allows to distinguish `physical' (also frequently called `molecular', or `resolved') from `numerical' dissipation in DG-discretised incompressible flow simulations.


title: A variational proof of Nash's inequality

abstract: This paper is intended to give a characterization of the optimality case in Nash's inequality, based on methods of nonlinear analysis for elliptic equations and techniques of the calculus of variations. By embedding the problem into a family of Gagliardo-Nirenberg inequalities, this approach reveals why optimal functions have compact support and also why optimal constants are determined by a simple spectral problem.


title: Engineering mass transport properties in oxide ionic and mixed ionic electronic thin film ceramic conductors for energy applications

abstract: New emerging disciplines such as Nanoionics and Iontronics are dealing with the exploitation of mesoscopic size effects in materials, which become visible (if not predominant) when downsizing the system to the nanoscale. Driven by the worldwide standardisation of thin film deposition techniques, the access to radically different properties than those found in the bulk macroscopic systems can be accomplished. This opens up promising approaches for the development of advanced microdevices, by taking advantage of the nanostructural deviations found in nanometre sized, interface dominated materials compared to the ideal relaxed structure of the bulk. A completely new set of functionalities can be explored, with implications in many different fields such as energy conversion and storage, or information technologies. This manuscript reviews the strategies, employed and foreseen, for engineering mass transport properties in thin film ceramics, with the focus in oxide ionic and mixed ionic electronic conductors and their application in micro power sources.


title: From Known to the Unknown: Transferring Knowledge to Answer Questions about Novel Visual and Semantic Concepts

abstract: Current Visual Question Answering (VQA) systems can answer intelligent questions about `Known' visual content. However, their performance drops significantly when questions about visually and linguistically `Unknown' concepts are presented during inference (`Open-world' scenario). A practical VQA system should be able to deal with novel concepts in real world settings. To address this problem, we propose an exemplar-based approach that transfers learning (i.e., knowledge) from previously `Known' concepts to answer questions about the `Unknown'. We learn a highly discriminative joint embedding space, where visual and semantic features are fused to give a unified representation. Once novel concepts are presented to the model, it looks for the closest match from an exemplar set in the joint embedding space. This auxiliary information is used alongside the given Image-Question pair to refine visual attention in a hierarchical fashion. Since handling the high dimensional exemplars on large datasets can be a significant challenge, we introduce an efficient matching scheme that uses a compact feature description for search and retrieval. To evaluate our model, we propose a new split for VQA, separating Unknown visual and semantic concepts from the training set. Our approach shows significant improvements over state-of-the-art VQA models on the proposed Open-World VQA dataset and standard VQA datasets.


title: ALE Calabi-Yau metrics with conical singularities along a compact divisor

abstract: We construct ALE Calabi-Yau metrics with cone singularities along the exceptional set of resolutions of $\mathbb{C}^n / \Gamma$ with non-positive discrepancies. In particular, this includes the case of the minimal resolution of two dimensional quotient singularities for any finite subgroup $\Gamma \subset U(2)$ acting freely on the three-sphere, hence generalizing Kronheimer's construction of smooth ALE gravitational instantons. Finally, we show how our results extend to the more general asymptotically conical setting.


title: Cross-database non-frontal facial expression recognition based on transductive deep transfer learning

abstract: Cross-database non-frontal expression recognition is a very meaningful but rather difficult subject in the fields of computer vision and affect computing. In this paper, we proposed a novel transductive deep transfer learning architecture based on widely used VGGface16-Net for this problem. In this framework, the VGGface16-Net is used to jointly learn an common optimal nonlinear discriminative features from the non-frontal facial expression samples between the source and target databases and then we design a novel transductive transfer layer to deal with the cross-database non-frontal facial expression classification task. In order to validate the performance of the proposed transductive deep transfer learning networks, we present extensive crossdatabase experiments on two famous available facial expression databases, namely the BU-3DEF and the Multi-PIE database. The final experimental results show that our transductive deep transfer network outperforms the state-of-the-art cross-database facial expression recognition methods.


title: On the Difficulties of Incentivizing Online Privacy through Transparency: A Qualitative Survey of the German Health Insurance Market

abstract: Today, online privacy is the domain of regulatory measures and privacy-enhancing technologies. Transparency in the form of external and public assessments has been proposed for improving privacy and security because it exposes otherwise hidden deficiencies. Previous work has studied privacy attitudes and behavior of consumers. However, little is known on how organizations react to measures that employ public "naming and shaming" as an incentive for improvement. We performed the first study on this aspect by conducting a qualitative survey with 152 German health insurers. We scanned their websites with PrivacyScore.org to generate a public ranking and confronted the insurers with the results. We obtained a response rate of 27%. Responses ranged from positive feedback to legal threats. Only 12% of the sites - mostly non-responders - improved during our study. Our results show that insurers struggle due to unawareness, reluctance, and incapability, and demonstrate the general difficulties of transparency-based approaches.


title: Learning From Weights: A Cost-Sensitive Approach For Ad Retrieval

abstract: Retrieval models such as CLSM is trained on click-through data which treats each clicked query-document pair as equivalent. While training on click-through data is reasonable, this paper argues that it is sub-optimal because of its noisy and long-tail nature (especially for sponsored search). In this paper, we discuss the impact of incorporating or disregarding the long tail pairs in the training set. Also, we propose a weighing based strategy using which we can learn semantic representations for tail pairs without compromising the quality of retrieval. We conducted our experiments on Bing sponsored search and also on Amazon product recommendation to demonstrate that the methodology is domain agnostic. Online A/B testing on live search engine traffic showed improvements in clicks (11.8\% higher CTR) and as well as improvement in quality (8.2\% lower bounce rate) when compared to the unweighted model. We also conduct the experiment on Amazon Product Recommendation data where we see slight improvements in NDCG Scores calculated by retrieving among co-purchased product.


title: Electrical homogeneity of large-area chemical vapor deposited multilayer hexagonal boron nitride sheets

abstract: Hexagonal boron nitride (h-BN) is a two dimensional (2D) layered insulator with superior dielectric performance that offers excellent interaction with other 2D materials (e.g. graphene, MoS2). Large-area h-BN can be readily grown on metallic substrates via chemical vapor deposition (CVD), but the impact of local inhomogeneities on the electrical properties of the h-BN and their effect in electronic devices is unknown. Here it is shown that the electrical properties of h-BN stacks grown on polycrystalline Pt vary a lot depending on the crystalline orientation of the Pt grain, but within the same grain the electrical properties of the h-BN are very homogeneous. The reason is that the thickness of the CVD-grown h-BN stack is different on each Pt grain. Conductive atomic force microscopy (CAFM) maps show that the tunneling current across the h-BN stack fluctuates up to 3 orders of magnitude from one Pt grain to another. However, probe station experiments reveal that the variability of electronic devices fabricated within the same Pt grain is surprisingly small. As cutting-edge electronic devices are ultra-scaled, and as the size of the metallic substrate grains can easily exceed 100 {\mu}m (in diameter), CVD-grown h-BN stacks may be useful to fabricate electronic devices with low variability.


title: Superconducting fluctuation in FeSe investigated by precise torque magnetometry

abstract: We investigated the superconducting fluctuation in FeSe, which is assumed to be located in the BCS--BEC crossover region, via magnetic torque measurements. In our method, the absolute cantilever displacement is measured by detecting the interference intensity of the Fabry--Perot cavity formed between the cantilever and optical fiber. Our findings are totally different from the results of the previous torque magnetometry using a piezoresistive cantilever; the "giant" fluctuation diamagnetism related to the BCS--BEC crossover does not exist. Instead, a considerably smaller fluctuation signal originating from the vortex liquid was observed that showed a qualitatively similar behavior to those in cuprate superconductors. We also discuss the inconsistency between our torque data and the existence of a pseudogap proposed by an NMR experiment.


title: Optimal-Time Dictionary-Compressed Indexes

abstract: We describe the first self-indexes able to count and locate pattern occurrences in optimal time within a space bounded by the size of the most popular dictionary compressors. To achieve this result we combine several recent findings, including \emph{string attractors} --- new combinatorial objects encompassing most known compressibility measures for highly repetitive texts ---, and grammars based on \emph{locally-consistent parsing}. More in detail, let $\gamma$ be the size of the smallest attractor for a text $T$ of length $n$. The measure $\gamma$ is an (asymptotic) lower bound to the size of dictionary compressors based on Lempel--Ziv, context-free grammars, and many others. The smallest known text representations in terms of attractors use space $O(\gamma\log(n/\gamma))$, and our lightest indexes work within the same asymptotic space. Let $\epsilon>0$ be a suitably small constant fixed at construction time, $m$ be the pattern length, and $occ$ be the number of its text occurrences. Our index counts pattern occurrences in $O(m+\log^{2+\epsilon}n)$ time, and locates them in $O(m+(occ+1)\log^\epsilon n)$ time. These times already outperform those of most dictionary-compressed indexes, while obtaining the least asymptotic space for any index searching within $O((m+occ)\,\textrm{polylog}\,n)$ time. Further, by increasing the space to $O(\gamma\log(n/\gamma)\log^\epsilon n)$, we reduce the locating time to the optimal $O(m+occ)$, and within $O(\gamma\log(n/\gamma)\log n)$ space we can also count in optimal $O(m)$ time. No dictionary-compressed index had obtained this time before. All our indexes can be constructed in $O(n)$ space and $O(n\log n)$ expected time. As a byproduct of independent interest...


title: Probing ferroelectricity in highly conducting materials through their elastic response: persistence of ferroelectricity in metallic BaTiO3-d

abstract: The question whether ferroelectricity (FE) may coexist with a metallic or highly conducting state, or rather it must be suppressed by the screening from the free charges, is the focus of a rapidly increasing number of theoretical studies and is finally receiving positive experimental responses. The issue is closely related to the thermoelectric and multiferroic (also magnetic) applications of FE materials, where the electrical conductivity is required or spurious. In these circumstances, the traditional methods for probing ferroelectricity are hampered or made totally ineffective by the free charges, which screen the polar response to an external electric field. This fact may explain why more than 40 years passed between the first proposals of FE metals and the present experimental and theoretical activity. The measurement of the elastic moduli, Young's modulus in the present case, versus temperature is an effective method for studying the influence of doping on a FE transition because the elastic properties are unaffected by electrical conductivity. In this manner, it is shown that the FE transitions of BaTiO3-d are not suppressed by electron doping through O vacancies; only the onset temperatures are depressed, but the magnitudes of the softenings, and hence of the piezoelectric activity, are initially even increased.


title: Efficient Neural Network Compression

abstract: Network compression reduces the computational complexity and memory consumption of deep neural networks by reducing the number of parameters. In SVD-based network compression, the right rank needs to be decided for every layer of the network. In this paper, we propose an efficient method for obtaining the rank configuration of the whole network. Unlike previous methods which consider each layer separately, our method considers the whole network to choose the right rank configuration. We propose novel accuracy metrics to represent the accuracy and complexity relationship for a given neural network. We use these metrics in a non-iterative fashion to obtain the right rank configuration which satisfies the constraints on FLOPs and memory while maintaining sufficient accuracy. Experiments show that our method provides better compromise between accuracy and computational complexity/memory consumption while performing compression at much higher speed. For VGG-16 our network can reduce the FLOPs by 25% and improve accuracy by 0.7% compared to the baseline, while requiring only 3 minutes on a CPU to search for the right rank configuration. Previously, similar results were achieved in 4 hours with 8 GPUs. The proposed method can be used for lossless compression of a neural network as well. The better accuracy and complexity compromise, as well as the extremely fast speed of our method makes it suitable for neural network compression.


title: Quench Dynamics and Hall Response of Interacting Chern Insulators

abstract: We study the coherent non-equilibrium dynamics of interacting two-dimensional systems after a quench from a trivial to a topological Chern insulator phase. While the many-body wavefunction is constrained to remain topologically trivial under local unitary evolution, we find that the Hall response of the system can dynamically approach a thermal value of the post-quench Hamiltonian, even though the efficiency of this thermalization process is shown to strongly depend on the microscopic form of the interactions. Quite remarkably, the effective temperature of the steady state Hall response can be arbitrarily tuned with the quench parameters. Our findings suggest a new way of inducing and observing low temperature topological phenomena in interacting ultracold atomic gases, where the considered quench scenario can be realized in current experimental set-ups.


title: Measure, Manifold, Learning, and Optimization: A Theory Of Neural Networks

abstract: We present a formal measure-theoretical theory of neural networks (NN) built on probability coupling theory. Our main contributions are summarized as follows. * Built on the formalism of probability coupling theory, we derive an algorithm framework, named Hierarchical Measure Group and Approximate System (HMGAS), nicknamed S-System, that is designed to learn the complex hierarchical, statistical dependency in the physical world. * We show that NNs are special cases of S-System when the probability kernels assume certain exponential family distributions. Activation Functions are derived formally. We further endow geometry on NNs through information geometry, show that intermediate feature spaces of NNs are stochastic manifolds, and prove that "distance" between samples is contracted as layers stack up. * S-System shows NNs are inherently stochastic, and under a set of realistic boundedness and diversity conditions, it enables us to prove that for large size nonlinear deep NNs with a class of losses, including the hinge loss, all local minima are global minima with zero loss errors, and regions around the minima are flat basins where all eigenvalues of Hessians are concentrated around zero, using tools and ideas from mean field theory, random matrix theory, and nonlinear operator equations. * S-System, the information-geometry structure and the optimization behaviors combined completes the analog between Renormalization Group (RG) and NNs. It shows that a NN is a complex adaptive system that estimates the statistic dependency of microscopic object, e.g., pixels, in multiple scales. Unlike clear-cut physical quantity produced by RG in physics, e.g., temperature, NNs renormalize/recompose manifolds emerging through learning/optimization that divide the sample space into highly semantically meaningful groups that are dictated by supervised labels (in supervised NNs).


title: The GAN that Warped: Semantic Attribute Editing with Unpaired Data

abstract: Deep neural networks have recently been used to edit images with great success, in particular for faces. However, they are often limited to only being able to work at a restricted range of resolutions. Many methods are so flexible that face edits can often result in an unwanted loss of identity. This work proposes to learn how to perform semantic image edits through the application of smooth warp fields. Previous approaches that attempted to use warping for semantic edits required paired data, i.e. example images of the same subject with different semantic attributes. In contrast, we employ recent advances in Generative Adversarial Networks that allow our model to be trained with unpaired data. We demonstrate face editing at very high resolutions (4k images) with a single forward pass of a deep network at a lower resolution. We also show that our edits are substantially better at preserving the subject's identity. The robustness of our approach is demonstrated by showing plausible image editing results on the Cub200 birds dataset. To our knowledge this has not been previously accomplished, due the challenging nature of the dataset.


title: Optimal control of interacting quantum systems based on the first-order Magnus approximation: Application to multiple dipole-dipole coupled molecular rotors

abstract: We develop a methodology for performing approximate optimal control simulations for quantum systems with multiple interacting degrees of freedom. The quantum dynamics are modeled using the first-order Magnus approximation in the interaction picture, where the interactions between different degrees of freedom are treated as the perturbation. We present a numerical procedure for implementing this approximation, which leverages the separability of the zeroth-order time evolution operator and the pairwise nature of common interactions for a reduced computational cost. This formulation of the first-order Magnus approximation is suitable to be combined with gradient-free methods for control field optimization; to this end, we adopt a Stochastic Hill Climbing algorithm. The associated computational costs are analyzed and compared with those of the exact simulation in the large N limit. For numerical illustrations, we perform approximate optimal control simulations for systems of two and three dipole-dipole coupled molecular rotors under the influence of a global control field. For the two rotor system, we optimize fields for both orientation and entanglement control objectives. For the three rotor system, we optimize fields for orienting rotors in the same direction as well as in opposite directions.


title: TextMountain: Accurate Scene Text Detection via Instance Segmentation

abstract: In this paper, we propose a novel scene text detection method named TextMountain. The key idea of TextMountain is making full use of border-center information. Different from previous works that treat center-border as a binary classification problem, we predict text center-border probability (TCBP) and text center-direction (TCD). The TCBP is just like a mountain whose top is text center and foot is text border. The mountaintop can separate text instances which cannot be easily achieved using semantic segmentation map and its rising direction can plan a road to top for each pixel on mountain foot at the group stage. The TCD helps TCBP learning better. Our label rules will not lead to the ambiguous problem with the transformation of angle, so the proposed method is robust to multi-oriented text and can also handle well with curved text. In inference stage, each pixel at the mountain foot needs to search the path to the mountaintop and this process can be efficiently completed in parallel, yielding the efficiency of our method compared with others. The experiments on MLT, ICDAR2015, RCTW-17 and SCUT-CTW1500 databases demonstrate that the proposed method achieves better or comparable performance in terms of both accuracy and efficiency. It is worth mentioning our method achieves an F-measure of 76.85% on MLT which outperforms the previous methods by a large margin. Code will be made available.


title: A Tutorial for Weighted Bipolar Argumentation with Continuous Dynamical Systems and the Java Library Attractor

abstract: Weighted bipolar argumentation frameworks allow modeling decision problems and online discussions by defining arguments and their relationships. The strength of arguments can be computed based on an initial weight and the strength of attacking and supporting arguments. While previous approaches assumed an acyclic argumentation graph and successively set arguments' strength based on the strength of their parents, recently continuous dynamical systems have been proposed as an alternative. Continuous models update arguments' strength simultaneously and continuously. While there are currently no analytical guarantees for convergence in general graphs, experiments show that continuous models can converge quickly in large cyclic graphs with thousands of arguments. Here, we focus on the high-level ideas of this approach and explain key results and applications. We also introduce Attractor, a Java library that can be used to solve weighted bipolar argumentation problems. Attractor contains implementations of several discrete and continuous models and numerical algorithms to compute solutions. It also provides base classes that can be used to implement, to evaluate and to compare continuous models easily.


title: Optimal Uncertainty Quantification on moment class using canonical moments

abstract: We gain robustness on the quantification of a risk measurement by accounting for all sources of uncertainties tainting the inputs of a computer code. We evaluate the maximum quantile over a class of distributions defined only by constraints on their moments. The methodology is based on the theory of canonical moments that appears to be a well-suited framework for practical optimization.


title: iW-Net: an automatic and minimalistic interactive lung nodule segmentation deep network

abstract: We propose iW-Net, a deep learning model that allows for both automatic and interactive segmentation of lung nodules in computed tomography images. iW-Net is composed of two blocks: the first one provides an automatic segmentation and the second one allows to correct it by analyzing 2 points introduced by the user in the nodule's boundary. For this purpose, a physics inspired weight map that takes the user input into account is proposed, which is used both as a feature map and in the system's loss function. Our approach is extensively evaluated on the public LIDC-IDRI dataset, where we achieve a state-of-the-art performance of 0.55 intersection over union vs the 0.59 inter-observer agreement. Also, we show that iW-Net allows to correct the segmentation of small nodules, essential for proper patient referral decision, as well as improve the segmentation of the challenging non-solid nodules and thus may be an important tool for increasing the early diagnosis of lung cancer.


title: Self-adaptive absorbing boundary conditions for quasilinear acoustic wave propagation

abstract: We propose a self-adaptive absorbing technique for quasilinear ultrasound waves in two- and three-dimensional computational domains. As a model for the nonlinear ultrasound propagation in thermoviscous fluids, we employ Westervelt's wave equation solved for the acoustic velocity potential. The angle of incidence of the wave is computed based on the information provided by the wave-field gradient which is readily available in the finite element framework. The absorbing boundary conditions are then updated with the angle values in real time. Numerical experiments illustrate the accuracy and efficiency of the proposed method.


title: On the phase structure of vector-matrix scalar model in four dimensions

abstract: The leading-order equations of the $1/N$ -- expansion for a vector-matrix model with interaction $g\phi_a^*\phi_b\chi_{ab}$ in four dimensions are investigated. This investigation shows a change of the asymptotic behavior in the deep Euclidean region in a vicinity of a certain critical value of the coupling constant. For small values of the coupling the phion propagator behaves as free. In the strong-coupling region the asymptotic behavior drastically changes -- the propagator in the deep Euclidean region tend to some constant limit. The phion propagator in the coordinate space has a characteristic shell structure. At the critical value of coupling that separates the weak and strong coupling regions, the asymptotic behavior of the phion propagator is a medium among the free behavior and the constant--type behavior in strong--coupling region. The equation for a vertex with zero transfer is also investigated. The asymptotic behavior of the solutions shows the finiteness of the charge renormalization constant. In the strong-coupling region, the solution for the vertex has the same shell structure in coordinate space as the phion propagator. An analogy between the phase transition in this model and the re-arrangement of the physical vacuum in the supercritical external field due to the "fall-on-the-center" phenomenon is discussed.


title: Collective plasmonic excitations in double-layer silicene at finite temperature

abstract: We explore the temperature-dependent plasmonic modes of an n-doped double-layer silicene system which is composed of two spatially separated single layers of silicene with a distance large enough to prevent the interlayer electron tunneling. By applying an externally applied electric field, we numerically obtain the poles of the loss function within the so-called random phase approximation, to investigate the effects of temperature and geometry on the plasmon branches in three different regimes: topological insulator, valley-spin polarized metal, and band insulator. Also, we present the finite-temperature numerical results along with the zero-temperature analytical ones to support a discussion of the distinct effects of the external electric field and temperature on the plasmon dispersion. Our results show that at zero temperature both the acoustic and optical modes decrease by increasing the applied electric field and experience a discontinuity at the valley-spin polarized metal phase as the system transitions from a topological insulator to a band insulator. At finite temperature, the optical plasmons are damped around this discontinuity and the acoustic modes may exhibit a continuous transition. Moreover, while the optical branch of plasmons changes non-monotonically and noticeably with temperature, the acoustic branch dispersion displays a negligible growth with temperature for all phases of silicene. Furthermore, our finite-temperature results indicate that the dependency of two plasmonic branches on the interlayer separation is not affected by temperature at long wavelengths; the acoustic mode energy varies slightly with increasing the interlayer distance, whereas the optical mode remains unchanged.


title: TIFTI: A Framework for Extracting Drug Intervals from Longitudinal Clinic Notes

abstract: Oral drugs are becoming increasingly common in oncology care. In contrast to intravenous chemotherapy, which is administered in the clinic and carefully tracked via structure electronic health records (EHRs), oral drug treatment is self-administered and therefore not tracked as well. Often, the details of oral cancer treatment occur only in unstructured clinic notes. Extracting this information is critical to understanding a patient's treatment history. Yet, this a challenging task because treatment intervals must be inferred longitudinally from both explicit mentions in the text as well as from document timestamps. In this work, we present TIFTI (Temporally Integrated Framework for Treatment Intervals), a robust framework for extracting oral drug treatment intervals from a patient's unstructured notes. TIFTI leverages distinct sources of temporal information by breaking the problem down into two separate subtasks: document-level sequence labeling and date extraction. On a labeled dataset of metastatic renal-cell carcinoma (RCC) patients, it exactly matched the labeled start date in 46% of the examples (86% of the examples within 30 days), and it exactly matched the labeled end date in 52% of the examples (78% of the examples within 30 days). Without retraining, the model achieved a similar level of performance on a labeled dataset of advanced non-small-cell lung cancer (NSCLC) patients.


title: Stochastic Galerkin method for cloud simulation

abstract: We develop a stochastic Galerkin method for a coupled Navier-Stokes-cloud system that models dynamics of warm clouds. Our goal is to explicitly describe the evolution of uncertainties that arise due to unknown input data, such as model parameters and initial or boundary conditions. The developed stochastic Galerkin method combines the space-time approximation obtained by a suitable finite volume method with a spectral-type approximation based on the generalized polynomial chaos expansion in the stochastic space. The resulting numerical scheme yields a second-order accurate approximation in both space and time and exponential convergence in the stochastic space. Our numerical results demonstrate the reliability and robustness of the stochastic Galerkin method. We also use the proposed method to study the behavior of clouds in certain perturbed scenarios, for examples, the ones leading to changes in macroscopic cloud pattern as a shift from hexagonal to rectangular structures.


title: X-ray and optical monitoring of the December 2017 outburst of the Be/X-ray binary AX J0049.4-7323

abstract: AX J0049.4-7323 is a Be/X-ray binary that shows an unusual and poorly understood optical variability that consists of periodic and bright optical outbursts, simultaneous with X-ray outbursts, characterised by a highly asymmetric profile. The periodicity of the outbursts is thought to correspond to the orbital period of the neutron star. To understand the behaviour shown by this source, we performed the first multi-wavelength monitoring campaign during the periastron passage of December 2017. The monitoring lasted for ~37 days and consisted of X-ray, near-ultraviolet, and optical data from the Neil Gehrels Swift Observatory, the optical I band from the OGLE survey, and spectroscopic observations of the H-alpha line performed with the 3.9 m Anglo-Australian Telescope. These observations revealed AX J0049.4-7323 during an anomalous outburst having remarkably different properties compared to the previous ones. In the I band, it showed a longer rise timescale (~60 days instead of 1-5 days) and a longer decay timescale. At the peak of the outburst, it showed a sudden increase in luminosity in the I band, corresponding to the onset of the X-ray outburst. The monitoring of the H-alpha emission line showed a fast and highly variable profile composed of three peaks with variable reciprocal brightness. We interpreted these results as a circumstellar disc warped by tidal interactions with the neutron star in a high eccentricity orbit during its periastron passage. The fast jump in optical luminosity at the peak of the outburst and the previous asymmetric outbursts might be caused by the reprocessing of the X-ray photons in the circumstellar disc or the tidal displacement of a large amount of material from the circumstellar disc or the outer layers of the donor star during the periastron passage of the neutron star, which led to an increase in size of the region emitting in the I band.


title: Multipartite entanglement at dynamical quantum phase transitions with non-uniformly spaced criticalities

abstract: We report dynamical quantum phase transition portrait in the alternating field transverse XY spin chain with Dzyaloshinskii-Moriya interaction by investigating singularities in the Loschmidt echo and the corresponding rate function after a sudden quench of system parameters. Unlike the Ising model, the analysis of Loschmidt echo yields non-uniformly spaced transition times in this model. Comparative study between the equilibrium and the dynamical quantum phase transitions in this case reveals that there are quenches where one occurs without the other, and the regimes where they co-exist. However, such transitions happen only when quenching is performed across at least a single gapless or critical line. Contrary to equilibrium phase transitions, bipartite entanglement measures do not turn out to be useful for the detection, while multipartite entanglement emerges as a good identifier of this transition when the quench is done from a disordered phase of this model.

categories: quant-ph cond-mat.other cond-mat.quant-gas cond-mat.str-el


title: Structure and Motion from Multiframes

abstract: The paper gives an overview of the problems and methods of recovery of structure and motion parameters of rigid bodies from multiframes.


title: Gas phase detection and rotational spectroscopy of ethynethiol, HCCSH

abstract: We report the gas-phase detection and spectroscopic characterization of ethynethiol ($\mathrm{HCCSH}$), a metastable isomer of thioketene ($\mathrm{H_2C_2S}$) using a combination of Fourier-transform microwave and submillimeter-wave spectroscopies. Several $a$-type transitions of the normal species were initially detected below 40 GHz using a supersonic expansion-electrical discharge source, and subsequent measurement of higher-frequency, $b$-type lines using double resonance provided accurate predictions in the submillimeter region. With these, searches using a millimeter-wave absorption spectrometer equipped with a radio frequency discharge source were conducted in the range 280 - 660 GHz, ultimately yielding nearly 100 transitions up to $^rR_0(36)$ and $^rQ_0(68)$. From the combined data set, all three rotational constants and centrifugal distortion terms up to the sextic order were determined to high accuracy, providing a reliable set of frequency predictions to the lower end of the THz band. Isotopic substitution has enabled both a determination of the molecular structure of $\mathrm{HCCSH}$ and, by inference, its formation pathway in our nozzle discharge source via the bimolecular radical-radical recombination reaction $\mathrm{SH + C_2H}$, which is calculated to be highly exothermic (-477 kJ/mol) using the HEAT345(Q) thermochemical scheme.


title: Customer Lifetime Value in Video Games Using Deep Learning and Parametric Models

abstract: Nowadays, video game developers record every virtual action performed by their players. As each player can remain in the game for years, this results in an exceptionally rich dataset that can be used to understand and predict player behavior. In particular, this information may serve to identify the most valuable players and foresee the amount of money they will spend in in-app purchases during their lifetime. This is crucial in free-to-play games, where up to 50% of the revenue is generated by just around 2% of the players, the so-called whales. To address this challenge, we explore how deep neural networks can be used to predict customer lifetime value in video games, and compare their performance to parametric models such as Pareto/NBD. Our results suggest that convolutional neural network structures are the most efficient in predicting the economic value of individual players. They not only perform better in terms of accuracy, but also scale to big data and significantly reduce computational time, as they can work directly with raw sequential data and thus do not require any feature engineering process. This becomes important when datasets are very large, as is often the case with video game logs. Moreover, convolutional neural networks are particularly well suited to identify potential whales. Such an early identification is of paramount importance for business purposes, as it would allow developers to implement in-game actions aimed at retaining big spenders and maximizing their lifetime, which would ultimately translate into increased revenue.


title: On the maximal number of real embeddings of minimally rigid graphs in $\mathbb{R}^2$, $\mathbb{R}^3$ and $S^2$

abstract: Rigidity theory studies the properties of graphs that can have rigid embeddings in a euclidean space $\mathbb{R}^d$ or on a sphere and which in addition satisfy certain edge length constraints. One of the major open problems in this field is to determine lower and upper bounds on the number of realizations with respect to a given number of vertices. This problem is closely related to the classification of rigid graphs according to their maximal number of real embeddings. In this paper, we are interested in finding edge lengths that can maximize the number of real embeddings of minimally rigid graphs in the plane, space, and on the sphere. We use algebraic formulations to provide upper bounds. To find values of the parameters that lead to graphs with a large number of real realizations, possibly attaining the (algebraic) upper bounds, we use some standard heuristics and we also develop a new method inspired by coupler curves. We apply this new method to obtain embeddings in $\mathbb{R}^3$. One of its main novelties is that it allows us to sample efficiently from a larger number of parameters by selecting only a subset of them at each iteration. Our results include a full classification of the 7-vertex graphs according to their maximal numbers of real embeddings in the cases of the embeddings in $\mathbb{R}^2$ and $\mathbb{R}^3$, while in the case of $S^2$ we achieve this classification for all 6-vertex graphs. Additionally, by increasing the number of embeddings of selected graphs, we improve the previously known asymptotic lower bound on the maximum number of realizations. The methods and the results concerning the spatial embeddings are part of the proceedings of ISSAC 2018 (Bartzos et al, 2018).


title: Generative Models for Simulating Mobility Trajectories

abstract: Mobility datasets are fundamental for evaluating algorithms pertaining to geographic information systems and facilitating experimental reproducibility. But privacy implications restrict sharing such datasets, as even aggregated location-data is vulnerable to membership inference attacks. Current synthetic mobility dataset generators attempt to superficially match a priori modeled mobility characteristics which do not accurately reflect the real-world characteristics. Modeling human mobility to generate synthetic yet semantically and statistically realistic trajectories is therefore crucial for publishing trajectory datasets having satisfactory utility level while preserving user privacy. Specifically, long-range dependencies inherent to human mobility are challenging to capture with both discriminative and generative models. In this paper, we benchmark the performance of recurrent neural architectures (RNNs), generative adversarial networks (GANs) and nonparametric copulas to generate synthetic mobility traces. We evaluate the generated trajectories with respect to their geographic and semantic similarity, circadian rhythms, long-range dependencies, training and generation time. We also include two sample tests to assess statistical similarity between the observed and simulated distributions, and we analyze the privacy tradeoffs with respect to membership inference and location-sequence attacks.