title: Long time behavior of the volume of the Wiener sausage on Dirichlet spaces

abstract: In the present paper, we consider long time behaviors of the volume of the Wiener sausage on Dirichlet spaces. We focus on the volume of the Wiener sausage for diffusion processes on metric measure spaces other than the Euclid space equipped with the Lebesgue measure. We obtain the growth rate of the expectations and almost sure behaviors of the volumes of the Wiener sausages on metric measure Dirichlet spaces satisfying Ahlfors regularity and sub-Gaussian heat kernel estimates. We show that the growth rate of the expectations on a "bounded" modification of the Euclidian space is identical with the one on the Euclidian space equipped with the Lebesgue measure. We give an example of a metric measure Dirichlet space on which a scaled of the means fluctuates.


title: Alternative interpretation of the Pl\"ucker quadric's ambient space and its application

abstract: It is well-known that there exists a bijection between the set of lines of the projective 3-dimensional space $P^3$ and all real points of the so-called Pl\"ucker quadric $\Psi$. Moreover one can identify each point of the Pl\"ucker quadric's ambient space with a linear complex of lines in $P^3$. Within this paper we give an alternative interpretation for the points of $P^5$ as lines of an Euclidean 4-space $E^4$, which are orthogonal to a fixed direction. By using the quaternionic notation for lines, we study straight lines in $P^5$ which correspond in the general case to cubic 2-surfaces in $E^4$. We show that these surfaces are geometrically connected with circular Darboux 2-motions in $E^4$, as they are basic surfaces of the underlying line-symmetric motions. Moreover we extend the obtained results to line-elements of the Euclidean 3-space $E^3$, which can be represented as points of a cone over $\Psi$ sliced along the 2-dimensional generator space of ideal lines. We also study straight lines of its ambient space $P^6$ and show that they correspond to ruled surface strips composed of the mentioned 2-surfaces with circles on it. Finally we present an application of this interpretation in the context of interactive design of ruled surfaces and ruled surface strips/patches based on the algorithm of De Casteljau.


title: Inverse scattering for Schr\"{o}dinger operators on perturbed lattices

abstract: We study the inverse scattering for Schr{\"o}dinger operators on locally perturbed periodic lattices. We show that the associated scattering matrix is equivalent to the Dirichlet-to-Neumann map for a boundary value problem on a finite part of the graph, and reconstruct scalar potentials as well as the graph structure from the knowledge of the S-matrix. In particular, we give a procedure for probing defects in hexagonal lattices (graphene).


title: The theta bump condition for product fractional integrals

abstract: We extend some one parameter theorems on fractional integrals due to Sawyer and Wheeden to the two parameter setting using a recent iteration method of Tanaka and Yabuta.


title: A general white noise test based on kernel lag-window estimates of the spectral density operator

abstract: We propose a general white noise test for functional time series based on estimating a distance between the spectral density operator of a weakly stationary time series and the constant spectral density operator of an uncorrelated time series. The estimator that we propose is based on a kernel lag-window type estimator of the spectral density operator. When the observed time series is a strong white noise in a real separable Hilbert space, we show that the asymptotic distribution of the test statistic is standard normal, and we further show that the test statistic diverges for general serially correlated time series. These results recover as special cases those of Hong (1996) and Horv\'ath et al. (2013). In order to implement the test, we propose and study a number of kernel and bandwidth choices, including a new data adaptive bandwidth, as well as data adaptive power transformations of the test statistic that improve the normal approximation in finite samples. A simulation study demonstrated that the proposed method has good size and improved power when compared to other methods available in the literature, while also offering a light computational burden.


title: Long-term Tracking in the Wild: A Benchmark

abstract: We introduce the OxUvA dataset and benchmark for evaluating single-object tracking algorithms. Benchmarks have enabled great strides in the field of object tracking by defining standardized evaluations on large sets of diverse videos. However, these works have focused exclusively on sequences that are just tens of seconds in length and in which the target is always visible. Consequently, most researchers have designed methods tailored to this "short-term" scenario, which is poorly representative of practitioners' needs. Aiming to address this disparity, we compile a long-term, large-scale tracking dataset of sequences with average length greater than two minutes and with frequent target object disappearance. The OxUvA dataset is much larger than the object tracking datasets of recent years: it comprises 366 sequences spanning 14 hours of video. We assess the performance of several algorithms, considering both the ability to locate the target and to determine whether it is present or absent. Our goal is to offer the community a large and diverse benchmark to enable the design and evaluation of tracking methods ready to be used "in the wild". The project website is http://oxuva.net


title: V2676 Oph: Estimating physical parameters of a moderately fast nova

abstract: Using our previously reported observations, we derive some physical parameters of the moderately fast nova V2676 Ophiuchi 2012 # 1. The best-fit CLOUDY model of the nebular spectrum obtained on 2015 May 8 shows a hot white dwarf source with Tbb = 1.0 x 10^{5} K having a luminosity of 1.0 x 10^{38} ergs/s. Our abundance analysis shows that the ejecta are significantly enhanced relative to solar, He/H = 2.14, O/H = 2.37, S/H = 6.62 and Ar/H = 3.25. The ejecta mass is estimated to be 1.42 x 10^{-5} Msun. The nova showed a pronounced dust formation phase after 90 days from discovery. The J-H and H-K colors were very large as compared to other molecule- and dust-forming novae in recent years. The dust temperature and mass at two epochs have been estimated from spectral energy distribution (SED) fits to infrared photometry.


title: Efficient space virtualisation for Hoshen--Kopelman algorithm

abstract: In this paper the efficient space virtualisation for Hoshen--Kopelman algorithm is presented. We observe minimal parallel overhead during computations, due to negligible communication costs. The proposed algorithm is applied for computation of random-site percolation thresholds for four dimensional simple cubic lattice with sites' neighbourhoods containing next-next-nearest neighbours (3NN). The obtained percolation thresholds are $p_C(\text{NN})=0.19680(23)$, $p_C(\text{2NN})=0.08410(23)$, $p_C(\text{3NN})=0.04540(23)$, $p_C(\text{2NN+NN})=0.06180(23)$, $p_C(\text{3NN+NN})=0.04000(23)$, $p_C(\text{3NN+2NN})=0.03310(23)$, $p_C(\text{3NN+2NN+NN})=0.03190(23)$, where 2NN and NN stand for next-nearest neighbours and nearest neighbours, respectively.


title: Energetics of Hi-C EUV Brightenings

abstract: We study the thermal structure and energetics of the point-like EUV brightenings within a system of fan loops observed in the active region \textsl{AR~11520}. These brightenings were simultaneously observed on 2012 July 11 by the HIgh-resolution Coronal (Hi-C) imager and the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO). We identified 27 brightenings by automatically determining intensity enhancements in both Hi-C and AIA ~193~{\AA} light curves. The energetics of these brightenings were studied by using the Differential Emission Measure (DEM) diagnostics. The DEM weighted temperatures of these transients are in the range $\log{T} (K) = 6.2 - 6.6$ with radiative energies ${\approx}10^{24-25}$~ergs and densities ${\approx}$ a few times $10^{9}$~cm$^{-3}$. To the best of our knowledge, these are the smallest brightenings in EUV ever detected. We used these results to determine the mechanism of energy loss in these brightenings. Our analysis reveals that the dominant mechanism of energy loss for all the identified brightenings is conduction rather than radiation.


title: Existence of constant scalar curvature Kaehler cone metrics, properness and geodesic stability

abstract: We show that the existence of constant scalar curvature K\"ahler (cscK) metrics with cone singularities is equivalent to the properness of log $K$-energy. We also prove their equivalence to the geodesic stability. They are extensions of the solution of the properness conjecture and Donaldson's geodesic stability conjecture of the cscK problem for smooth K\"ahler metrics by Chen-Cheng to the setting of cscK cone metrics. One applications of our main results is that we introduce and construct singular cscK metrics with possible degeneration in big cohomology class. As another application, we also prove both openness and approximation property for the path of cscK cone metrics, which are paralleling to Donaldson's continuity method through K\"ahler-Einstein cone metrics in the resolution of Yau-Tian-Donaldson conjecture for Fano K\"ahler-Einstein metrics.


title: Wavelet spectral testing: application to nonstationary circadian rhythms

abstract: Rhythmic data are ubiquitous in the life sciences. Biologists need reliable statistical tests to identify whether a particular experimental treatment has caused a significant change in a rhythmic signal. When these signals display nonstationary behaviour, as is common in many biological systems, the established methodologies may be misleading. Therefore, there is a real need for new methodology that enables the formal comparison of nonstationary processes. As circadian behaviour is best understood in the spectral domain, here we develop novel hypothesis testing procedures in the (wavelet) spectral domain, embedding replicate information when available. The data are modelled as realisations of locally stationary wavelet processes, allowing us to define and rigorously estimate their evolutionary wavelet spectra. Motivated by three complementary applications in circadian biology, our new methodology allows the identification of three specific types of spectral difference. We demonstrate the advantages of our methodology over alternative approaches, by means of a comprehensive simulation study and real data applications, using both published and newly generated circadian datasets. In contrast to the current standard methodologies, our method successfully identifies differences within the motivating circadian datasets, and facilitates wider ranging analyses of rhythmic biological data in general.


title: Finite-key security analysis for quantum key distribution with leaky sources

abstract: Security proofs of quantum key distribution (QKD) typically assume that the devices of the legitimate users are perfectly shielded from the eavesdropper. This assumption is, however, very hard to meet in practice, and thus the security of current QKD implementations is not guaranteed. Here, we fill this gap by providing a finite-key security analysis for QKD which is valid against arbitrary information leakage from the state preparation process of the legitimate users. For this, we extend the techniques introduced in (New J. Phys. 18, 065008, (2016)) to the finite-key regime, and we evaluate the security of a leaky decoy-state BB84 protocol with biased basis choice, which is one of the most implemented QKD schemes today. Our simulation results demonstrate the practicability of QKD over long distances and within a reasonable time frame given that the legitimate users' devices are sufficiently isolated.


title: A comparative study above two self-tuning controllers with application to the control of synchronous generator excitation system

abstract: This paper presents two self-tuning control structures synthesized through the minimization of two criterion functions. It is described the computation methodology of the control laws, both being particularized for the case of the synchronous generator's excitation control. The parameters estimator is considered the recursive least square error (RLSE) algorithm. In order to validate the considered control structures, two comparative study cases by computer simulation are presented.


title: Asymptotic expansions of the Witten-Reshetikhin-Turaev Invariants of Mapping Tori I

abstract: In this paper we engage in a general study of the asymptotic expansion of the Witten-Reshetikhin-Turaev invariants of mapping tori of surface mapping class group elements. We use the geometric construction of the Witten-Reshetikhin-Turaev TQFT via the geometric quantization of moduli spaces of flat connections on surfaces. We identify assumptions on the mapping class group elements that allow us to provide a full asymptotic expansion. In particular, we show that our results apply to all pseudo-Anosov mapping classes on a punctured torus and show by example that our assumptions on the mapping class group elements are strictly weaker than hitherto successfully considered assumptions in this context. The proof of our main theorem relies on our new results regarding asymptotic expansions of oscillatory integrals, which allows us to go significantly beyond the standard transversely cut out assumption on the fixed point set. This makes use of Picard-Lefschetz theory for Laplace integrals.


title: Left-eigenvectors are certificates of the Orbit Problem

abstract: This paper investigates the connexion between the Kannan-Lipton Orbit Problem and the polynomial invariant generator algorithm PILA based on eigenvectors computation. Namely, we reduce the problem of generating linear and polynomial certificates of non-reachability for the Orbit Problem for linear transformations with rational coefficients to the generalized eigenvector problem. Also, we prove the existence of such certificates for any transformation with integer coefficients, which is not the case with rational coefficients.


title: Domain-wall-assisted giant magnetoimpedance of thin-wall ferromagnetic nanotubes

abstract: We study the effciency of the magnetoimpedance (MI) of thin-wall circumferentially ordered nanotubes in sub-GHz and GHz frequency regimes using micromagnetic simulations. We consider empty ferromagnetic tubes as well as tubes filled with non-magnetic conductors of circular cross-section (nanowire coverings) focusing on the low-field regime of MI (below the characteristic field of the low-frequency ferromagnetic resonance). In this field area, the effcient mechanism of MI is related to oscillations of the positions of (perpendicular to the tube axis) domain walls (DWs). Two mechanisms of driving the DW motion by the ac current are taken into account; the driving via the Oersted field and via the spintransfer torque. The simulations are performed for Co nanotubes of the diameter of 300nm. Achievable low-field MI exceeds 100%, while the field region of a high sensitivity of that DW-based giant MI is of the width of tens of kA/m. The later is widely adjustable with changing the density of the driving ac current, its frequency, and the nanotube length. Of particular interest is the resonant motion of DW due to the interaction with the nanotube ends the conditions of whom are discussed.


title: Enabling Aloha-NOMA for Massive M2M Communication in IoT Networks

abstract: The Internet of things (IoT), which is the network of physical devices embedded with sensors, actuators, and connec- tivity, is being accelerated into the mainstream by the emergence of 5G wireless networking. This paper presents an uncoordinated non-orthogonal random access protocol, an enhancement to the recently introduced Aloha-NOMA protocol, which provides high throughput, while being matched to the low complexity requirements and the sporadic traffic pattern of IoT devices. Under ideal conditions it has been shown that Aloha-NOMA, using power-domain orthogonality, can significantly increase the throughput using SIC (Successive Interference Cancellation) to enable correct reception of multiple simultaneous transmitted signals. For this ideal performance, the enhanced Aloha-NOMA receiver adaptively learns the number of active devices (which is not known a priori) using a form of multi-hypothesis testing. For small numbers of simultaneous transmissions, it is shown that there can be substantial throughput gain of 6.9 dB relative to pure Aloha for 0.25 probability of transmission and up to 3 active transmitters.


title: Cluster analysis of stocks using price movements of high frequency data from National Stock Exchange

abstract: This paper aims to develop new techniques to describe joint behavior of stocks, beyond regression and correlation. For example, we want to identify the clusters of the stocks that move together. Our work is based on applying Kernel Principal Component Analysis(KPCA) and Functional Principal Component Analysis(FPCA) to high frequency data from NSE. Since we dealt with high frequency data with a tick size of 30 seconds, FPCA seems to be an ideal choice. FPCA is a functional variant of PCA where each sample point is considered to be a function in Hilbert space L^2. On the other hand, KPCA is an extension of PCA using kernel methods. Results obtained from FPCA and Gaussian Kernel PCA seems to be in synergy but with a lag. There were two prominent clusters that showed up in our analysis, one corresponding to the banking sector and another corresponding to the IT sector. The other smaller clusters were seen from the automobile industry and the energy sector. IT sector was seen interacting with these small clusters. The learning gained from these interactions is substantial as one can use it significantly to develop trading strategies for intraday traders.


title: A Low-Resolution ADC Module Assisted Hybrid Beamforming Architecture for mmWave Communications

abstract: We propose a low-resolution analog-to-digital converter (ADC) module assisted hybrid beamforming architecture for millimeter-wave (mmWave) communications. We prove that the proposed low-cost and flexible architecture can reduce the beam training time and complexity dramatically without degradation in the data transmission performance. In addition, we design a fast beam training method which is suitable for the proposed system architecture. The proposed beam training method requires only L + 1 (where L is the number of paths) time slots which is smaller compared to the state-of-the-art.


title: Role of salt valency in the switch of H-NS proteins between DNA-bridging and DNA-stiffening modes

abstract: This work investigates the interactions of H-NS proteins and bacterial genomic DNA through computer simulations performed with a coarse-grained model. The model was developed specifically to study the switch of H-NS proteins from the DNA-stiffening to the DNA-bridging mode, which has been observed repeatedly upon addition of multivalent cations to the buffer, but is still not understood. Unravelling the corresponding mechanism is all the more crucial, as the regulation properties of H-NS proteins, as well as other nucleoid proteins, are linked to their DNA-binding properties. The simulations reported here support a mechanism, according to which the primary role of multivalent cations consists in decreasing the strength of H-NS/DNA interactions compared to H-NS/H-NS interactions, with the latter ones becoming energetically favored with respect to the former ones above a certain threshold of the effective valency of the cations of the buffer. Below the threshold, H-NS dimers form filaments, which stretch along the DNA molecule but are quite inefficient in bridging genomically distant DNA sites (DNA-stiffening mode). In contrast, just above the threshold, H-NS dimers form 3-dimensional clusters, which are able to connect DNA sites that are distant from the genomic point of view (DNA-bridging mode). The model provides clear rationales for the experimental observations that the switch between the two modes is a threshold effect and that the ability of H-NS dimers to form higher order oligomers is crucial for their bridging capabilities.


title: On the Approximation Ratio of Ordered Parsings

abstract: Shannon's entropy is a clear lower bound for statistical compression. The situation is not so well understood for dictionary-based compression. A plausible lower bound is $b$, the least number of phrases of a general bidirectional parse of a text, where phrases can be copied from anywhere else in the text. Since computing $b$ is NP-complete, a popular gold standard is $z$, the number of phrases in the Lempel-Ziv parse of the text, which is the optimal one when phrases can be copied only from the left. While $z$ can be computed in linear time with a greedy algorithm, almost nothing has been known for decades about its approximation ratio with respect to $b$. In this paper we prove that $z=O(b\log(n/b))$, where $n$ is the text length. We also show that the bound is tight as a function of $n$, by exhibiting a text family where $z = \Omega(b\log n)$. Our upper bound is obtained by building a run-length context-free grammar based on a locally consistent parsing of the text. Our lower bound is obtained by relating $b$ with $r$, the number of equal-letter runs in the Burrows-Wheeler transform of the text. We proceed by observing that Lempel-Ziv is just one particular case of greedy parses, meaning that the optimal value of $z$ is obtained by scanning the text and maximizing the phrase length at each step, and of ordered parses, meaning that there is an increasing order between phrases and their sources. As a new example of ordered greedy parses, we introduce {\em lexicographical} parses, where phrases can only be copied from lexicographically smaller text locations. We prove that the size $v$ of the optimal lexicographical parse is also obtained greedily in $O(n)$ time, that $v=O(b\log(n/b))$, and that there exists a text family where $v = \Omega(b\log n)$.


title: Fr\'echet ChemNet Distance: A metric for generative models for molecules in drug discovery

abstract: The new wave of successful generative models in machine learning has increased the interest in deep learning driven de novo drug design. However, assessing the performance of such generative models is notoriously difficult. Metrics that are typically used to assess the performance of such generative models are the percentage of chemically valid molecules or the similarity to real molecules in terms of particular descriptors, such as the partition coefficient (logP) or druglikeness. However, method comparison is difficult because of the inconsistent use of evaluation metrics, the necessity for multiple metrics, and the fact that some of these measures can easily be tricked by simple rule-based systems. We propose a novel distance measure between two sets of molecules, called Fr\'echet ChemNet distance (FCD), that can be used as an evaluation metric for generative models. The FCD is similar to a recently established performance metric for comparing image generation methods, the Fr\'echet Inception Distance (FID). Whereas the FID uses one of the hidden layers of InceptionNet, the FCD utilizes the penultimate layer of a deep neural network called ChemNet, which was trained to predict drug activities. Thus, the FCD metric takes into account chemically and biologically relevant information about molecules, and also measures the diversity of the set via the distribution of generated molecules. The FCD's advantage over previous metrics is that it can detect if generated molecules are a) diverse and have similar b) chemical and c) biological properties as real molecules. We further provide an easy-to-use implementation that only requires the SMILES representation of the generated molecules as input to calculate the FCD. Implementations are available at: https://www.github.com/bioinf-jku/FCD


title: Self-Attentional Acoustic Models

abstract: Self-attention is a method of encoding sequences of vectors by relating these vectors to each-other based on pairwise similarities. These models have recently shown promising results for modeling discrete sequences, but they are non-trivial to apply to acoustic modeling due to computational and modeling issues. In this paper, we apply self-attention to acoustic modeling, proposing several improvements to mitigate these issues: First, self-attention memory grows quadratically in the sequence length, which we address through a downsampling technique. Second, we find that previous approaches to incorporate position information into the model are unsuitable and explore other representations and hybrid models to this end. Third, to stress the importance of local context in the acoustic signal, we propose a Gaussian biasing approach that allows explicit control over the context range. Experiments find that our model approaches a strong baseline based on LSTMs with network-in-network connections while being much faster to compute. Besides speed, we find that interpretability is a strength of self-attentional acoustic models, and demonstrate that self-attention heads learn a linguistically plausible division of labor.


title: Universal Compressed Text Indexing

abstract: The rise of repetitive datasets has lately generated a lot of interest in compressed self-indexes based on dictionary compression, a rich and heterogeneous family that exploits text repetitions in different ways. For each such compression scheme, several different indexing solutions have been proposed in the last two decades. To date, the fastest indexes for repetitive texts are based on the run-length compressed Burrows-Wheeler transform and on the Compact Directed Acyclic Word Graph. The most space-efficient indexes, on the other hand, are based on the Lempel-Ziv parsing and on grammar compression. Indexes for more universal schemes such as collage systems and macro schemes have not yet been proposed. Very recently, Kempa and Prezza [STOC 2018] showed that all dictionary compressors can be interpreted as approximation algorithms for the smallest string attractor, that is, a set of text positions capturing all distinct substrings. Starting from this observation, in this paper we develop the first universal compressed self-index, that is, the first indexing data structure based on string attractors, which can therefore be built on top of any dictionary-compressed text representation. Let $\gamma$ be the size of a string attractor for a text of length $n$. Our index takes $O(\gamma\log(n/\gamma))$ words of space and supports locating the $occ$ occurrences of any pattern of length $m$ in $O(m\log n + occ\log^{\epsilon}n)$ time, for any constant $\epsilon>0$. This is, in particular, the first index for general macro schemes and collage systems. Our result shows that the relation between indexing and compression is much deeper than what was previously thought: the simple property standing at the core of all dictionary compressors is sufficient to support fast indexed queries.


title: On the Tits cone of a Weyl groupoid

abstract: We translate the axioms of a Weyl groupoid with (not necessarily finite) root system in terms of arrangements. The result is a correspondence between Weyl groupoids permitting a root system and Tits arrangements satisfying an integrality condition which we call the crystallographic property.


title: A Provably Correct Algorithm for Deep Learning that Actually Works

abstract: We describe a layer-by-layer algorithm for training deep convolutional networks, where each step involves gradient updates for a two layer network followed by a simple clustering algorithm. Our algorithm stems from a deep generative model that generates mages level by level, where lower resolution images correspond to latent semantic classes. We analyze the convergence rate of our algorithm assuming that the data is indeed generated according to this model (as well as additional assumptions). While we do not pretend to claim that the assumptions are realistic for natural images, we do believe that they capture some true properties of real data. Furthermore, we show that our algorithm actually works in practice (on the CIFAR dataset), achieving results in the same ballpark as that of vanilla convolutional neural networks that are being trained by stochastic gradient descent. Finally, our proof techniques may be of independent interest.


title: White dwarf-main sequence binaries from LAMOST: the DR5 catalogue

abstract: We present the data release (DR) 5 catalogue of white dwarf-main sequence (WDMS) binaries from the Large Area Multi-Object fiber Spectroscopic Telescope (LAMOST). The catalogue contains 876 WDMS binaries, of which 757 are additions to our previous LAMOST DR1 sample and 357 are systems that have not been published before. We also describe a LAMOST-dedicated survey that aims at obtaining spectra of photometrically-selected WDMS binaries from the Sloan Digital Sky Survey (SDSS) that are expected to contain cool white dwarfs and/or early type M dwarf companions. This is a population under-represented in previous SDSS WDMS binary catalogues. We determine the stellar parameters (white dwarf effective temperatures, surface gravities and masses, and M dwarf spectral types) of the LAMOST DR5 WDMS binaries and make use of the parameter distributions to analyse the properties of the sample. We find that, despite our efforts, systems containing cool white dwarfs remain under-represented. Moreover, we make use of LAMOST DR5 and SDSS DR14 (when available) spectra to measure the Na I {\lambda}{\lambda} 8183.27, 8194.81 absorption doublet and/or H{\alpha} emission radial velocities of our systems. This allows identifying 128 binaries displaying significant radial velocity variations, 76 of which are new. Finally, we cross-match our catalogue with the Catalina Surveys and identify 57 systems displaying light curve variations. These include 16 eclipsing systems, two of which are new, and nine binaries that are new eclipsing candidates. We calculate periodograms from the photometric data and measure (estimate) the orbital periods of 30 (15) WDMS binaries.


title: Ordinary lines in space

abstract: We prove that if a finite point set in real space does not have too many points on a plane, then it spans a quadratic number of ordinary lines. This answers the real case of a question of Basit, Dvir, Saraf, and Wolf. It shows that there is a significant difference in terms of ordinary lines between planar point sets, which may span a linear number of ordinary lines, and truly three-dimensional point sets. Our proof uses a projection argument of Kelly combined with a theorem of Beck on the number of spanned lines of a planar point set.


title: Strong coupling in conserved surface roughening: A new universality class?

abstract: The Kardar-Parisi-Zhang (KPZ) equation defines the main universality class for nonlinear growth and roughening of surfaces. But under certain conditions, a conserved KPZ equation (cKPZ) is thought to set the universality class instead. This has non-mean-field behavior only in spatial dimension $d<2$. We point out here that cKPZ is incomplete: it omits a symmetry-allowed nonlinear gradient term of the same order as the one retained. Adding this term, we find a parameter regime where the $1$-loop renormalization group flow diverges. This suggests a phase transition to a new growth phase, possibly ruled by a strong coupling fixed point and thus described by a new universality class, for any $d>1$. In this phase, numerical integration of the model in $d=2$ gives clear evidence of non mean-field behavior.


title: Circulant matrices: norm, powers, and positivity

abstract: In their recent paper "The spectral norm of a Horadam circulant matrix", Merikoski, Haukkanen, Mattila and Tossavainen study under which conditions the spectral norm of a general real circulant matrix ${\bf C}$ equals the modulus of its row/column sum. We improve on their sufficient condition until we have a necessary one. Our results connect the above problem to positivity of sufficiently high powers of the matrix ${\bf C^\top C}$. We then generalize the result to complex circulant matrices.


title: On the utility of Metropolis-Hastings with asymmetric acceptance ratio

abstract: The Metropolis-Hastings algorithm allows one to sample asymptotically from any probability distribution $\pi$. There has been recently much work devoted to the development of variants of the MH update which can handle scenarios where such an evaluation is impossible, and yet are guaranteed to sample from $\pi$ asymptotically. The most popular approach to have emerged is arguably the pseudo-marginal MH algorithm which substitutes an unbiased estimate of an unnormalised version of $\pi$ for $\pi$. Alternative pseudo-marginal algorithms relying instead on unbiased estimates of the MH acceptance ratio have also been proposed. These algorithms can have better properties than standard PM algorithms. Convergence properties of both classes of algorithms are known to depend on the variability of the estimators involved and reduced variability is guaranteed to decrease the asymptotic variance of ergodic averages and will shorten the burn-in period, or convergence to equilibrium, in most scenarios of interest. A simple approach to reduce variability, amenable to parallel computations, consists of averaging independent estimators. However, while averaging estimators of $\pi$ in a pseudo-marginal algorithm retains the guarantee of sampling from $\pi$ asymptotically, naive averaging of acceptance ratio estimates breaks detailed balance, leading to incorrect results. We propose an original methodology which allows for a correct implementation of this idea. We establish theoretical properties which parallel those available for standard PM algorithms and discussed above. We demonstrate the interest of the approach on various inference problems. In particular we show that convergence to equilibrium can be significantly shortened, therefore offering the possibility to reduce a user's waiting time in a generic fashion when a parallel computing architecture is available.


title: Topological footprints of the 1D Kitaev chain with long range superconducting pairings at a finite temperature

abstract: We study the 1D Kitaev chain with long range superconductive pairing terms at a finite temperature where the system is prepared in a mixed state in equilibrium with a heat reservoir maintained at a constant temperature $T$. In order to probe the footprint of the ground state topological behavior of the model at finite temperature, we look at two global quantities extracted out of two geometrical constructions: the Uhlmann and the interferometric phase. Interestingly, when the long-range effect dominates, the Uhlmann phase approach fails to reproduce the topological aspects of the model in the pure state limit; on the other hand, the interferometric phase, though has a proper pure state reduction, shows a behaviour independent of the ambient temperature.


title: Poster: Communication in Open-Source Projects--End of the E-mail Era?

abstract: Communication is essential in software engineering. Especially in distributed open-source teams, communication needs to be supported by channels including mailing lists, forums, issue trackers, and chat systems. Yet, we do not have a clear understanding of which communication channels stakeholders in open-source projects use. In this study, we fill the knowledge gap by investigating a statistically representative sample of 400 GitHub projects. We discover the used communication channels by regular expressions on project data. We show that (1) half of the GitHub projects use observable communication channels; (2) GitHub Issues, e-mail addresses, and the modern chat system Gitter are the most common channels; (3) mailing lists are only in place five and have a lower market share than all modern chat systems combined.


title: Merger estimates for rotating Kerr black holes in modified gravity

abstract: In this paper, we explore the signatures of non-rotating and rotating black hole mergers in the matter-free modified gravity. First, we solve the unstable circular null orbits and the innermost stable circular timelike orbits via the geodesic motion. The characteristic quantities of these orbits are systematically analyzed by varying the black hole spin and the scalar field parameter of the gravity. Then based on it, we study the ringdown modes from the light ring/quasinormal modes correspondence. The final spins of the merged black holes are also estimated with the Buonanno-Kidder-Lehner recipe. Several black hole merging cases are investigated in detail. All these results show that the black hole mergers are closely dependent of the scalar field parameter of the gravity.


title: Projective geometry of Sasaki-Einstein structures and their compactification

abstract: We show that the standard definitions of Sasaki structures have elegant and simplifying interpretations in terms of projective differential geometry. For Sasaki-Einstein structures we use projective geometry to provide a resolution of such structures into geometrically less rigid components; the latter elemental components are separately, complex, orthogonal, and symplectic holonomy reductions of the canonical projective tractor/Cartan connection. This leads to a characterisation of Sasaki-Einstein structures as projective structures with certain unitary holonomy reductions. As an immediate application, this is used to describe the projective compactification of indefinite (suitably) complete non-compact Sasaki-Einstein structures and to prove that the boundary at infinity is a Fefferman conformal manifold that thus fibres over a nondegenerate CR manifold (of hypersurface type). We prove that this CR manifold coincides with the boundary at infinity for the c-projective compactification of the K\"ahler-Einstein manifold that arises, in the usual way, as a leaf space for the defining Killing field of the given Sasaki-Einstein manifold. A procedure for constructing examples is given. The discussion of symplectic holonomy reductions of projective structures leads us moreover to a new and simplifying approach to contact projective geometry. This is of independent interest and is treated in some detail.


title: Gaussian kernel quadrature at scaled Gauss-Hermite nodes

abstract: This article derives an accurate, explicit, and numerically stable approximation to the kernel quadrature weights in one dimension and on tensor product grids when the kernel and integration measure are Gaussian. The approximation is based on use of scaled Gauss-Hermite nodes and truncation of the Mercer eigendecomposition of the Gaussian kernel. Numerical evidence indicates that both the kernel quadrature and the approximate weights at these nodes are positive. An exponential rate of convergence for functions in the reproducing kernel Hilbert space induced by the Gaussian kernel is proved under an assumption on growth of the sum of absolute values of the approximate weights.


title: Deep Representation for Patient Visits from Electronic Health Records

abstract: We show how to learn low-dimensional representations (embeddings) of patient visits from the corresponding electronic health record (EHR) where International Classification of Diseases (ICD) diagnosis codes are removed. We expect that these embeddings will be useful for the construction of predictive statistical models anticipated to drive personalized medicine and improve healthcare quality. These embeddings are learned using a deep neural network trained to predict ICD diagnosis categories. We show that our embeddings capture relevant clinical informations and can be used directly as input to standard machine learning algorithms like multi-output classifiers for ICD code prediction. We also show that important medical informations correspond to particular directions in our embedding space.


title: Tidal Love numbers of neutron stars in $f(R)$ gravity

abstract: The recent detection of gravitational waves from a neutron star merger was a significant step towards constraining the nuclear matter equation of state by using the tidal Love numbers (TLNs) of the merging neutron stars. Measuring or constraining the neutron star TLNs allows us in principle to exclude or constraint many equations of state. This approach, however, has the drawback that many modified theories of gravity could produce deviations from General Relativity similar to the deviations coming from the uncertainties in the equation of state. The first and the most natural step in resolving the mentioned problem is to quantify the effects on the TLNs from the modifications of General Relativity. With this motivation in mind, in the present paper we calculate the TLNs of (non-rotating) neutron stars in $f(R)$ gravity. For this purpose, we first derived the equations describing both the polar and the axial stationary perturbations of neutron stars in a particular class of $f(R)$ gravity, the so-called $R^2$-gravity. Then, by solving numerically the perturbation equations, we calculate explicitly the polar and the axial $l=2$ TLNs of the neutron stars in $R^2$-gravity for three characteristic realistic equations of state. Our results show that while the polar TLNs are slightly influenced by the $R^2$ modification of General Relativity, the axial TLNs can be several times larger (in terms of the absolute value) compared to the general relativistic case.


title: Connectionist Recommendation in the Wild: On the utility and scrutability of neural networks for personalized course guidance

abstract: The aggregate behaviors of users can collectively encode deep semantic information about the objects with which they interact. In this paper, we demonstrate novel ways in which the synthesis of these data can illuminate the terrain of users' environment and support them in their decision making and wayfinding. A novel application of Recurrent Neural Networks and skip-gram models, approaches popularized by their application to modeling language, are brought to bear on student university enrollment sequences to create vector representations of courses and map out traversals across them. We present demonstrations of how scrutability from these neural networks can be gained and how the combination of these techniques can be seen as an evolution of content tagging and a means for a recommender to balance user preferences inferred from data with those explicitly specified. From validation of the models to the development of a UI, we discuss additional requisite functionality informed by the results of a usability study leading to the ultimate deployment of the system at a university.


title: SEAT: A Taxonomy to Characterize Automation in Software Engineering

abstract: Reducing cost and time required to build high quality software is a major goal for software developers. Building tools and techniques that can help achieve such a goal is the chief aim for Automated Software Engineering (ASE) researchers. However, in order to be effective an ASE researcher or professional must understand the characteristics of both successful and not-so-successful ASE tools, and the constituent techniques employed by such ASE tools. In this paper we present such a characterization of ASE tools and major constituent techniques from different areas of computer science and engineering that have been employed by such ASE tools. To develop the characterization we carried out an extensive systematic literature review over about 1175 ASE research articles. One of our key goal was to identify useful relationships among ASE tools, their constituent techniques and the software development life cycle activities that these tools targeted. In terms of changes in popularity of constituent techniques with time we did not observe any clear trend. We organized the results of our characterization as a taxonomy called SEAT (Software Engineering Automation Taxonomy). A salient feature of SEAT is that it focuses on automation of activities from all phases of SDLC. Such a taxonomy, among other applications, shall enable synthesizing new automation tools for different SDLC activities. Recomposing existing systems to achieve better features will also be possible. Further, the taxonomy has been realized as a graph database using neo4j(an open source graph database), which can be queried using an SQL like language. The graph database allowed us to uncover hidden relationships by way of exhaustive search for connections and paths between different nodes (i.e. concepts). We demonstrate the efficacy of SEAT by discussing few practical use cases.


title: Nucleon internal degrees of freedom and the uniqueness of the Gamow-Teller state

abstract: The Gamow-Teller strength in nuclei can be strongly affected by the internal degrees of freedom of the nucleon. It is demonstrated that this feature is unique to the Gamow-Teller. Excitation modes that involve spatial degrees of freedom are much less influenced by the internal excitation of nucleons. The fact that the observed Gamow-Teller strength is quenched by 30-40 percent in all nuclei suggests that indeed this is due to the nucleon excitation in nuclei.


title: Determining a fractional Helmholtz system with unknown source and medium parameter

abstract: We are concerned with an inverse problem associated with the fractional Helmholtz system that arises from the study of viscoacoustics in geophysics and thermoviscous modelling of lossy media. We are particularly interested in the case that both the medium parameter and the internal source of the wave equation are unknown. Moreover, we consider a general class of source functions which can be frequency-dependent. We establish several general uniqueness results in simultaneously recovering both the medium parameter and the internal source by the corresponding exterior measurements. In sharp contrast, these unique determination results are unknown in the local case, which would be of significant importance in thermo- and photo-acoustic tomography.


title: On Matching Pursuit and Coordinate Descent

abstract: Two popular examples of first-order optimization methods over linear spaces are coordinate descent and matching pursuit algorithms, with their randomized variants. While the former targets the optimization by moving along coordinates, the latter considers a generalized notion of directions. Exploiting the connection between the two algorithms, we present a unified analysis of both, providing affine invariant sublinear $\mathcal{O}(1/t)$ rates on smooth objectives and linear convergence on strongly convex objectives. As a byproduct of our affine invariant analysis of matching pursuit, our rates for steepest coordinate descent are the tightest known. Furthermore, we show the first accelerated convergence rate $\mathcal{O}(1/t^2)$ for matching pursuit and steepest coordinate descent on convex objectives.


title: Considerations Regarding the Flux Estimation in Induction Generator with Application at the Control of Unconventional Energetic Conversion Systems

abstract: The paper presents issues regarding the flux estimation of induction machines. The electrical machines variables estimation represents a major problem in the actual context of modern control approaches, especially of sensorless control strategies. There are considered several implementations of induction machine flux estimators by using the Matlab-Simulink environment and there are drawn the afferent conclusions.


title: Schmidt decomposition of mixed-pure states for (d,infinity ) systems and some applications

abstract: Summary. A simple derivation of finite Schmidt decomposition of pure states describing finite dimensional systems interacting with the infinite dimensional ones is presented. In particular, maximally entangled pure states in such systems are being characterized. The concept of mixed-pure states has been introduced and some criterions for checking separability and entanglement of them are presented .The notion of LOCC equivalence and LOCC semi-order on the space of pure states of systems analyzed has been adopted suitably. In particular a Nielsen -like theorem has been extended to the pure (d, infinity )- states case. The notion of spin-orbit entanglement in the context of atomic physics is being discussed from a mathematical perspective. Keywords: quantum entanglement, Schmidt decomposition, mixed-pure states, LOCC semi-order, spin-orbit entanglement


title: \b{eta}-KMS Green functions generating functionals - the convexity based approach

abstract: The notion of the stochastically positive \b{eta}-KMS (Euclidean time ) Green functionals on ( the abelian sectors of ) the CCR-algebras in Weyl form has been introduced .The main observation is that the essential properties of such functionals are stable against taking convex superpositions of them. Starting from the free Bose matter describing functionals( the condensed state situation is included as well) a constructive approach to the constructions of a new ,of such type functionals is presented. In particular , starting from the free Bose matter Green functionals a class of not quasi-free thermal functionals, together with the corresponding modular structures have been constructed. Some elementary properties of models constructed are being presented.


title: Adaptive Fuzzy Controller for Synchronous Generator

abstract: This paper describes a PI fuzzy adaptive control structure. Based on classical PI fuzzy control structure (with integration on controller output) the authors have developed, implemented and validated an on-line self-tuning mechanism of regulator parameter. A study case for validation of proposed tuning mechanism is presented and analyzed with application to control of synchronous generator excitation system.


title: A General Path-Based Representation for Predicting Program Properties

abstract: Predicting program properties such as names or expression types has a wide range of applications. It can ease the task of programming and increase programmer productivity. A major challenge when learning from programs is $\textit{how to represent programs in a way that facilitates effective learning}$. We present a $\textit{general path-based representation}$ for learning from programs. Our representation is purely syntactic and extracted automatically. The main idea is to represent a program using paths in its abstract syntax tree (AST). This allows a learning model to leverage the structured nature of code rather than treating it as a flat sequence of tokens. We show that this representation is general and can: (i) cover different prediction tasks, (ii) drive different learning algorithms (for both generative and discriminative models), and (iii) work across different programming languages. We evaluate our approach on the tasks of predicting variable names, method names, and full types. We use our representation to drive both CRF-based and word2vec-based learning, for programs of four languages: JavaScript, Java, Python and C\#. Our evaluation shows that our approach obtains better results than task-specific handcrafted representations across different tasks and programming languages.


title: Infinitesimal Weak Rigidity, Formation Control of Three Agents, and Extension to 3-dimensional Space

abstract: In this paper, we introduce new concepts of weak rigidity matrix and infinitesimal weak rigidity for planar frameworks. The weak rigidity matrix is used to directly check if a framework is infinitesimally weakly rigid while previous work can check a weak rigidity of a framework indirectly. An infinitesimal weak rigidity framework can be uniquely determined up to a translation and a rotation (and a scaling also when the framework does not include any edge) by its inter-neighbor distances and angles. We apply the new concepts to a three-agent formation control problem with a gradient control law, and prove instability of the control system at any incorrect equilibrium point and convergence to a desired target formation. Also, we propose a modified Henneberg construction, which is a technique to generate minimally rigid (or weakly rigid) graphs. Finally, we extend the concept of the weak rigidity in R^2 to the concept in R^3.


title: Calibrated Prediction Intervals for Neural Network Regressors

abstract: Ongoing developments in neural network models are continually advancing the state of the art in terms of system accuracy. However, the predicted labels should not be regarded as the only core output; also important is a well-calibrated estimate of the prediction uncertainty. Such estimates and their calibration are critical in many practical applications. Despite their obvious aforementioned advantage in relation to accuracy, contemporary neural networks can, generally, be regarded as poorly calibrated and as such do not produce reliable output probability estimates. Further, while post-processing calibration solutions can be found in the relevant literature, these tend to be for systems performing classification. In this regard, we herein present two novel methods for acquiring calibrated predictions intervals for neural network regressors: empirical calibration and temperature scaling. In experiments using different regression tasks from the audio and computer vision domains, we find that both our proposed methods are indeed capable of producing calibrated prediction intervals for neural network regressors with any desired confidence level, a finding that is consistent across all datasets and neural network architectures we experimented with. In addition, we derive an additional practical recommendation for producing more accurate calibrated prediction intervals. We release the source code implementing our proposed methods for computing calibrated predicted intervals. The code for computing calibrated predicted intervals is publicly available.


title: A new probabilistic interpretation of Bramble-Hilbert lemma

abstract: The aim of this paper is to provide new perspectives on relative finite element accuracy which is usually based on the asymptotic speed of convergence comparison when the mesh size $h$ goes to zero. Starting from a geometrical reading of the error estimate due to Bramble-Hilbert lemma, we derive two probability distributions that estimate the relative accuracy, considered as a random variable, between two Lagrange finite elements $P_k$ and $P_m$, ($k < m$). We establish mathematical properties of these probabilistic distributions and we get new insights which, among others, show that $P_k$ or $P_m$ is more likely accurate than the other, depending on the value of the mesh size $h$.


title: Reaction kinetics in open reactors and serial transfers between closed reactors

abstract: Kinetic theory and thermodynamics of reaction networks are extended to the out-of-equilibrium dynamics of continuous-flow stirred tank reactors (CSTR) and serial transfers. On the basis of their stoichiometry matrix, the conservation laws and the cycles of the network are determined for both dynamics. It is shown that the CSTR and serial transfer dynamics are equivalent in the limit where the time interval between the transfers tends to zero proportionally to the ratio of the fractions of fresh to transferred solutions. These results are illustrated with finite cross-catalytic reaction network and an infinite reaction network describing mass exchange between polymers. Serial transfer dynamics is typically used in molecular evolution experiments in the context of research on the origins of life. The present study is shedding a new light on the role played by serial transfer parameters in these experiments.


title: Comparative Study Regarding Control of Wind Energy Conversion Systems Based on the Usage of Classical and Adaptive Neuro Fuzzy Controllers

abstract: The paper presents a comparative study regarding the control (using an adaptive neuro-fuzzy controller and a PD controller) based on the simulation of wind energy conversion systems functioning. There are considered several simulations based on asynchronous generator usage, by using the dedicated MATLAB-PSB (Power System Blockset) toolbox implementations.


title: Hyperuniformity in amorphous speckle patterns

abstract: Hyperuniform structures possess the ability to confine and drive light, although their fabrication is extremely challenging. Here we demonstrate that speckle patters obtained by a superposition of randomly arranged sources of Bessel beams can be used to generate hyperunifrom scalar fields. By exploiting laser light tailored with a spatial filter, we experimentally produce (without requiring any computational power) a speckle pattern possessing maxima at locations corresponding to a hyperuniform distribution. By properly filtering out intensity fluctuation from the same speckle pattern, it is possible to retrieve an intensity profile satisfying the hyperuniformity requirements. Our findings are supported by extensive numerical simulations.


title: Collaborative Filtering with Topic and Social Latent Factors Incorporating Implicit Feedback

abstract: Recommender systems (RSs) provide an effective way of alleviating the information overload problem by selecting personalized items for different users. Latent factors based collaborative filtering (CF) has become the popular approaches for RSs due to its accuracy and scalability. Recently, online social networks and user-generated content provide diverse sources for recommendation beyond ratings. Although {\em social matrix factorization} (Social MF) and {\em topic matrix factorization} (Topic MF) successfully exploit social relations and item reviews, respectively, both of them ignore some useful information. In this paper, we investigate the effective data fusion by combining the aforementioned approaches. First, we propose a novel model {\em \mbox{MR3}} to jointly model three sources of information (i.e., ratings, item reviews, and social relations) effectively for rating prediction by aligning the latent factors and hidden topics. Second, we incorporate the implicit feedback from ratings into the proposed model to enhance its capability and to demonstrate its flexibility. We achieve more accurate rating prediction on real-life datasets over various state-of-the-art methods. Furthermore, we measure the contribution from each of the three data sources and the impact of implicit feedback from ratings, followed by the sensitivity analysis of hyperparameters. Empirical studies demonstrate the effectiveness and efficacy of our proposed model and its extension.


title: A new mixed functional-probabilistic approach for finite element accuracy

abstract: The aim of this paper is to provide a new perspective on finite element accuracy. Starting from a geometrical reading of the Bramble-Hilbert lemma, we recall the two probabilistic laws we got in previous works that estimate the relative accuracy, considered as a random variable, between two finite elements $P_k$ and $P_m$, ($k < m$). Then, we analyze the asymptotic relation between these two probabilistic laws when the difference $m-k$ goes to infinity. New insights which qualified the relative accuracy in the case of high order finite elements are correspondingly obtained.


title: Local verification of global proofs

abstract: In this work we study the cost of local and global proofs on distributed verification. In this setting the nodes of a distributed system are provided with a nondeterministic proof for the correctness of the state of the system, and the nodes need to verify this proof by looking at only their local neighborhood in the system. Previous works have studied the model where each node is given its own, possibly unique, part of the proof as input. The cost of a proof is the maximum size of an individual label. We compare this model to a model where each node has access to the same global proof, and the cost is the size of this global proof. It is easy to see that a global proof can always include all of the local proofs, and every local proof can be a copy of the global proof. We show that there exists properties that exhibit these relative proof sizes, and also properties that are somewhere in between. In addition, we introduce a new lower bound technique and use it to prove a tight lower bound on the complexity of reversing distributed decision and establish a link between communication complexity and distributed proof complexity.


title: Determinants, Choices and Combinatorics

abstract: We prove a formula which generalizes both Onn's colorful determinantal formula, related to Rota's basis conjecture, and Svrtan's $n!$ formula, related to the Atiyah-Sutcliffe problem. In some cases, our formula allows us to prove some results similar in spirit to the statement of Rota's basis conjecture. We prove such a result using Svrtan's $n!$ formula, generalizing one of Svrtan's arguments to a combinatorial setting.


title: Radiation-reaction electromagnetic fields in metasurfaces, a complete description of their optical properties

abstract: This paper derives the macroscopic electric and magnetic fields and the surface susceptibilities for a metasurface, starting from the microscopic scatterer distribution. It is assumed that these scatterers behave as electric and magnetic dipoles under the influence of the incident radiation. Interestingly not only the retarded electromagnetic fields from oscillating dipoles are relevant to pass from the microscopic to the macroscopic representation, but the advanced fields must be considered too. It is found that the macroscopic fields are the sum of the incident fields plus the radiation-reaction fields acting on a single scatterer. Both the local fields and the radiation-reaction fields are necessary to fix the electric and magnetic surface susceptibilities.


title: Local well-posedness for the Hall-MHD system in optimal Sobolev Spaces

abstract: We show that the viscous resistive magneto-hydrodynamics system with Hall effect is locally well-posed in $H^s(\mathbb R^n)\times H^{s+1-\varepsilon}(\mathbb R^n)$ with $s>\frac{n}2-1$ and any small enough $\varepsilon>0$ such that $s+1-\varepsilon>\frac{n}2$. This space is to date the largest local well-posedness space in the class of Sobolev spaces for the system. It is also optimal according to the predominant scalings of the two equations in the system.


title: RELICS: Strong Lensing analysis of the galaxy clusters Abell S295, Abell 697, MACS J0025.4-1222, and MACS J0159.8-0849

abstract: We present a strong-lensing analysis of four massive galaxy clusters imaged with the Hubble Space Telescope in the Reionization Lensing Cluster Survey. We use a Light-Traces-Mass technique to uncover sets of multiply images and constrain the mass distribution of the clusters. These mass models are the first published for Abell S295 and MACS J0159.8-0849, and are improvements over previous models for Abell 697 and MACS J0025.4-1222. Our analysis for MACS J0025.4-1222 and Abell S295 shows a bimodal mass distribution supporting the merger scenarios proposed for these clusters. The updated model for MACS J0025.4-1222 suggests a substantially smaller critical area than previously estimated. For MACS J0159.8-0849 and Abell 697 we find a single peak and relatively regular morphology, revealing fairly relaxed clusters. Despite being less prominent lenses, three of these clusters seem to have lensing strengths, i.e. cumulative area above certain magnification, similar to the Hubble Frontier Fields clusters (e.g., A($\mu>5$) $\sim 1-3$ arcmin$^2$, A($\mu>10$) $\sim 0.5-1.5$ arcmin$^2$), which in part can be attributed to their merging configurations. We make our lens models publicly available through the Mikulski Archive for Space Telescopes. Finally, using Gemini-N/GMOS spectroscopic observations we detect a single emission line from a high-redshift $J_{125}\simeq25.7$ galaxy candidate lensed by Abell 697. While we cannot rule out a lower-redshift solution, we interpret the line as Ly$\alpha$ at $z=5.800\pm 0.001$, in agreement with its photometric redshift and dropout nature. Within this scenario we measure a Ly$\alpha$ rest-frame equivalent width of $52\pm22$ \AA, and an observed Gaussian width of $117\pm 15$ km/s.


title: Notes on the motivic McKay correspondence for the group scheme $\alpha_{p}$

abstract: We formulate a conjecture on the motivic McKay correspondence for the group scheme $ \alpha_{p}$ in characteristic $p>0$ and give a few evidences. The conjecture especially claims that there would be a close relation between quotient varieties by $\alpha_{p}$ and ones by the cyclic group of order $p$.


title: On Expansion and Resolution in CEGAR Based QBF Solving

abstract: A quantified Boolean formula (QBF) is a propositional formula extended with universal and existential quantification over propositions. There are two methodologies in CEGAR based QBF solving techniques, one that is based on a refinement loop that builds partial expansions and a more recent one that is based on the communication of satisfied clauses. Despite their algorithmic similarity, their performance characteristics in experimental evaluations are very different and in many cases orthogonal. We compare those CEGAR approaches using proof theory developed around QBF solving and present a unified calculus that combines the strength of both approaches. Lastly, we implement the new calculus and confirm experimentally that the theoretical improvements lead to improved performance.


title: Forecasting Cyber Attacks with Imbalanced Data Sets and Different Time Granularities

abstract: If cyber incidents are predicted a reasonable amount of time before they occur, defensive actions to prevent their destructive effects could be planned. Unfortunately, most of the time we do not have enough observables of the malicious activities before they are already under way. Therefore, this work suggests to use unconventional signals extracted from various data sources with different time granularities to predict cyber incidents for target entities. A Bayesian network is used to predict cyber attacks where the unconventional signals are used as indicative random variables. This work also develops a novel minority class over sampling technique to improve cyber attack prediction on imbalanced data sets. The results show that depending on the selected time granularity, the unconventional signals are able to predict cyber attacks for the anonimyzed target organization even though the signals are not explicitly related to that organization. Furthermore, the minority over sampling approach developed achieves better performance compared to the existing filtering techniques in the literature.


title: The Yagita invariant of symplectic groups of large rank

abstract: Fix a prime $p$, and let $R$ be any subring of the complex numbers that is either integrally closed or contains a primitive $p$th root of 1. For each $n\geq p-1$ we compute the Yagita invariant at the prime $p$ for the symplectic group $Sp(2n,R)$.


title: On maximum and comparison principles for parabolic problems with the $p$-Laplacian

abstract: We investigate strong and weak versions of maximum and comparison principles for a class of quasilinear parabolic equations with the $p$-Laplacian $$ \partial_t u - \Delta_p u = \lambda |u|^{p-2} u + f(x,t) $$ under zero boundary and nonnegative initial conditions on a bounded cylindrical domain $\Omega \times (0, T)$, $\lambda \in \mathbb{R}$, and $f \in L^\infty(\Omega \times (0, T))$. Several related counterexamples are given.


title: Computational modeling of multiphase viscoelastic and elastoviscoplastic flows

abstract: In this paper, a three-dimensional numerical solver is developed for suspensions of rigid and soft particles and droplets in viscoelastic and elastoviscoplastic (EVP) fluids. The presented algorithm is designed to allow for the first time three-dimensional simulations of inertial and turbulent EVP fluids with a large number particles and droplets. This is achieved by combining fast and highly scalable methods such as an FFT-based pressure solver, with the evolution equation for non-Newtonian (including elastoviscoplastic) stresses. In this flexible computational framework, the fluid can be modelled by either Oldroyd-B, neo-Hookean, FENE-P, and Saramito EVP models, and the additional equations for the non-Newtonian stresses are fully coupled with the flow. The rigid particles are discretized on a moving Lagrangian grid while the flow equations are solved on a fixed Eulerian grid. The solid particles are represented by an Immersed Boundary method (IBM) with a computationally efficient direct forcing method allowing simulations of a large numbers of particles. The immersed boundary force is computed at the particle surface and then included in the momentum equations as a body force. The droplets and soft particles on the other hand are simulated in a fully Eulerian framework, the former with a level-set method to capture the moving interface and the latter with an indicator function. The solver is first validated for various benchmark single-phase and two-phase elastoviscoplastic flow problems through comparison with data from the literature. Finally, we present new results on the dynamics of a buoyancy-driven drop in an elastoviscoplastic fluid.


title: Absence of ballistic charge transport in the half-filled 1D Hubbard model

abstract: Whether in the thermodynamic limit of lattice length infinite, hole concentration tending to zero, nonzero temperature, and U/t > 0 the charge stiffness of the 1D Hubbard model with first neighbor transfer integral t and on-site repulsion U is finite or vanishes and thus whether there is or there is no ballistic charge transport, respectively, remains an unsolved and controversial issue, as different approaches yield contradictory results. In this paper we provide an upper bound on the charge stiffness and show that (similarly as at zero temperature), for T >0 and U/t>0 it vanishes in the limit of zero hole concentration within the canonical ensemble in the thermodynamic limit. Moreover, we show that at high temperature the charge stiffness vanishes as well within the grand-canonical ensemble in the infinite lattice length limit and chemical potential approaching half the Mott-Hubbard gap. The lack of charge ballistic transport indicates that charge transport at finite temperatures is dominated by a diffusive contribution. Our scheme uses a suitable exact representation of the electrons in terms of rotated electrons for which the numbers of singly occupied and doubly occupied lattice sites are good quantum numbers for U/t>0. In contrast to often less controllable numerical studies, the use of such a representation reveals the carriers that couple to the charge probes and provides useful physical information on the microscopic processes behind the exotic charge transport properties of the 1D electronic correlated system under study.


title: SIG-DB: leveraging homomorphic encryption to Securely Interrogate privately held Genomic DataBases

abstract: Genomic data are becoming increasingly valuable as we develop methods to utilize the information at scale and gain a greater understanding of how genetic information relates to biological function. Advances in synthetic biology and the decreased cost of sequencing are increasing the amount of privately held genomic data. As the quantity and value of private genomic data grows, so does the incentive to acquire and protect such data, which creates a need to store and process these data securely. We present an algorithm for the Secure Interrogation of Genomic DataBases (SIG-DB). The SIG-DB algorithm enables databases of genomic sequences to be searched with an encrypted query sequence without revealing the query sequence to the Database Owner or any of the database sequences to the Querier. SIG-DB is the first application of its kind to take advantage of locality-sensitive hashing and homomorphic encryption to allow generalized sequence-to-sequence comparisons of genomic data.


title: BoSy: An Experimentation Framework for Bounded Synthesis

abstract: We present BoSy, a reactive synthesis tool based on the bounded synthesis approach. Bounded synthesis ensures the minimality of the synthesized implementation by incrementally increasing a bound on the size of the solutions it considers. For each bound, the existence of a solution is encoded as a logical constraint solving problem that is solved by an appropriate solver. BoSy constructs bounded synthesis encodings into SAT, QBF, DQBF, EPR, and SMT, and interfaces to solvers of the corresponding type. When supported by the solver, BoSy extracts solutions as circuits, which can, if desired, be verified with standard hardware model checkers. BoSy won the LTL synthesis track at SYNTCOMP 2016. In addition to its use as a synthesis tool, BoSy can also be used as an experimentation and performance evaluation framework for various types of satisfiability solvers.


title: The Arches cluster revisited: I. Data presentation and stellar census

abstract: Located within the central region of the Galaxy, the Arches cluster appears to be one of the youngest, densest and most massive stellar aggregates within the Milky Way. As such it has the potential to be a uniquely instructive laboratory for the study of star formation in extreme environments and the physics of very massive stars. In order to determine the fundamental physical properties of both cluster and constituent stars, we provide and analyse new HST+VLT near-IR datasets. Stacking multiple epochs of spectroscopy results in the deepest view of the cluster ever obtained, allowing us to to identify candidate giant and main sequence stars for the first time. All cluster members are found to be WNLh or O stars, with the smooth and continuous progression in spectral morphologies from O super-/hypergiants through to the WNLh cohort implying a direct evolutionary connection. Importantly no H-free Wolf-Rayets are found, while no products of binary interaction/mass-transfer may be unambiguously identified, despite the presence of massive binaries within the Arches. We infer a main sequence turn-off around O4-5V, corresponding to ~30-38Msun, while the eclipsing binary F2 implies current masses of ~80Msun and ~60Msun for the WNLh and O hypergiant cohorts, respectively. A cluster age of ~2-3Myr is suggested by the location of the main-sequence turn-off. While the absence of H-free Wolf-Rayets argues against the prior occurrence of SNe, such an age does accommodate such events for exceptionally massive stars. Future progress requires quantitative analysis of cluster members combined with additional spectroscopic observations to better constrain the binary population; nevertheless it is already abundantly clear that the Arches offers an unprecedented insight into the formation, evolution and death of the most massive stars Nature allows to form in the local universe (Abridged).


title: Low Mach number limit of some staggered schemes for compressible barotropic flows

abstract: In this paper, we study the behaviour at low Mach number of numerical schemes based on staggered discretizations for the barotropic Navier-Stokes equations. Three time discretizations are considered: the implicit-in-time scheme and two non-iterative pressure correction schemes. The last two schemes differ by the discretization of the convection term: linearly implicit for the first one, so the resulting scheme is unconditionnally stable, and explicit for the second one, so the scheme is stable under a CFL condition involving the material velocity only. We rigorously prove that these three variants are asymptotic preserving in the following sense: for a given mesh and a given time step, a sequence of solutions obtained with a sequence of vanishing Mach numbers tend to a solution of a standard scheme for incompressible flows. This convergence result is obtained by mimicking the proof already known in the continuous case.


title: On Regularized Losses for Weakly-supervised CNN Segmentation

abstract: Minimization of regularized losses is a principled approach to weak supervision well-established in deep learning, in general. However, it is largely overlooked in semantic segmentation currently dominated by methods mimicking full supervision via "fake" fully-labeled training masks (proposals) generated from available partial input. To obtain such full masks the typical methods explicitly use standard regularization techniques for "shallow" segmentation, e.g. graph cuts or dense CRFs. In contrast, we integrate such standard regularizers directly into the loss functions over partial input. This approach simplifies weakly-supervised training by avoiding extra MRF/CRF inference steps or layers explicitly generating full masks, while improving both the quality and efficiency of training. This paper proposes and experimentally compares different losses integrating MRF/CRF regularization terms. We juxtapose our regularized losses with earlier proposal-generation methods using explicit regularization steps or layers. Our approach achieves state-of-the-art accuracy in semantic segmentation with near full-supervision quality.


title: Encodings of Bounded Synthesis

abstract: The reactive synthesis problem is to compute a system satisfying a given specification in temporal logic. Bounded synthesis is the approach to bound the maximum size of the system that we accept as a solution to the reactive synthesis problem. As a result, bounded synthesis is decidable whenever the corresponding verification problem is decidable, and can be applied in settings where classic synthesis fails, such as in the synthesis of distributed systems. In this paper, we study the constraint solving problem behind bounded synthesis. We consider different reductions of the bounded synthesis problem of linear-time temporal logic (LTL) to constraint systems given as boolean formulas (SAT), quantified boolean formulas (QBF), and dependency quantified boolean formulas (DQBF). The reductions represent different trade-offs between conciseness and algorithmic efficiency. In the SAT encoding, both inputs and states of the system are represented explicitly; in QBF, inputs are symbolic and states are explicit; in DQBF, both inputs and states are symbolic. We evaluate the encodings systematically using benchmarks from the reactive synthesis competition (SYNTCOMP) and state-of-the-art solvers. Our key, and perhaps surprising, empirical finding is that QBF clearly dominates both SAT and DQBF.


title: Source Code Optimization using Equivalent Mutants

abstract: A mutant is a program obtained by syntactically modifying a program's source code; an equivalent mutant is a mutant, which is functionally equivalent to the original program. Mutants are primarily used in \emph{mutation testing}, and when deriving a test suite, obtaining an equivalent mutant is considered to be highly negative, although these equivalent mutants could be used for other purposes. We present an approach that considers equivalent mutants valuable, and utilizes them for source code optimization. Source code optimization enhances a program's source code preserving its behavior. We showcase a procedure to achieve source code optimization based on equivalent mutants and discuss proper mutation operators. Experimental evaluation with Java and C programs demonstrates the applicability of the proposed approach. An algorithmic approach for source code optimization using equivalent mutants is proposed. It is showcased that whenever applicable, the approach can outperform traditional compiler optimizations.


title: Von Karman-Howarth equation for Hall magnetohydrodynamics: Hybrid simulations

abstract: A dynamical vectorial equation for homogeneous incompressible Hall-MHD turbulence together with the exact scaling law for third-order correlation tensors, analogous to that for the incompressible MHD, is rederived and applied to the results of two-dimensional hybrid simulations of plasma turbulence. At large (MHD) scales the simulations exhibits a clear inertial range where the MHD dynamic law is valid. In the sub-ion range the cascade continues via the Hall term but the dynamic law derived in the framework of incompressible Hall MHD equations is obtained only in a low plasma beta simulation. For a higher beta plasma the cascade rate decreases in the sub-ion range and the change becomes more pronounced as the plasma beta increases. This break in the cascade flux can be ascribed to non thermal (kinetic) features or to others terms in the dynamical equation that are not included in the Hall-MHD incompressible approximation.


title: Colouring set families without monochromatic k-chains

abstract: A coloured version of classic extremal problems dates back to Erd\H{o}s and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erd\H{o}s--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erd\H{o}s' extension to $k$-chain-free families. Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.


title: Long short-term memory and learning-to-learn in networks of spiking neurons

abstract: Recurrent networks of spiking neurons (RSNNs) underlie the astounding computing and learning capabilities of the brain. But computing and learning capabilities of RSNN models have remained poor, at least in comparison with artificial neural networks (ANNs). We address two possible reasons for that. One is that RSNNs in the brain are not randomly connected or designed according to simple rules, and they do not start learning as a tabula rasa network. Rather, RSNNs in the brain were optimized for their tasks through evolution, development, and prior experience. Details of these optimization processes are largely unknown. But their functional contribution can be approximated through powerful optimization methods, such as backpropagation through time (BPTT). A second major mismatch between RSNNs in the brain and models is that the latter only show a small fraction of the dynamics of neurons and synapses in the brain. We include neurons in our RSNN model that reproduce one prominent dynamical process of biological neurons that takes place at the behaviourally relevant time scale of seconds: neuronal adaptation. We denote these networks as LSNNs because of their Long short-term memory. The inclusion of adapting neurons drastically increases the computing and learning capability of RSNNs if they are trained and configured by deep learning (BPTT combined with a rewiring algorithm that optimizes the network architecture). In fact, the computational performance of these RSNNs approaches for the first time that of LSTM networks. In addition RSNNs with adapting neurons can acquire abstract knowledge from prior learning in a Learning-to-Learn (L2L) scheme, and transfer that knowledge in order to learn new but related tasks from very few examples. We demonstrate this for supervised learning and reinforcement learning.


title: Testing the capability of low-energy light ions identification of the TRACE silicon detectors

abstract: The in-beam tests of two Si pixel type TRACE detectors have been performed at Laboratori Nazionali di Legnaro (Italy). The aim was to investigate the possibility of identifying heavy-ion reactions products with mass A~10 at low kinetic energy, i.e., around 10 MeV. Two separate read-out chains, digital and analog, were used. The Pulse Shape Analysis technique was employed to obtain the identification matrices for the digitally processed part of the data. Separation in both charge and mass was obtained, however, the $\alpha$ particles contaminated significantly the recorded data in the lower energy part. Due to this effect, the identification of the light products ($^{7,6}$Li isotopes) could be possible down only to ~20 MeV


title: Dushnik-Miller dimension of TD-Delaunay complexes

abstract: TD-Delaunay graphs, where TD stands for triangular distance, is a variation of the classical Delaunay triangulations obtained from a specific convex distance function. Bonichon et. al. noticed that every triangulation is the TD-Delaunay graph of a set of points in $\mathbb{R}^2$, and conversely every TD-Delaunay graph is planar. It seems natural to study the generalization of this property in higher dimensions. Such a generalization is obtained by defining an analogue of the triangular distance for $\mathbb{R}^d$. It is easy to see that TD-Delaunay complexes of $\mathbb{R}^{d-1}$ are of Dushnik-Miller dimension $d$. The converse holds for $d=2$ or $3$ and it was conjectured independently by Mary and Evans et. al. to hold for larger $d$. Here we disprove the conjecture already for $d = 4$.


title: Discrete Morse theory for the collapsibility of supremum sections

abstract: The Dushnik-Miller dimension of a poset $\le$ is the minimal number $d$ of linear extensions $\le_1, \ldots , \le_d$ of $\le$ such that $\le$ is the intersection of $\le_1, \ldots , \le_d$. Supremum sections are simplicial complexes introduced by Scarf and are linked to the Dushnik-Miller as follows: the inclusion poset of a simplicial complex is of Dushnik-Miller dimension at most $d$ if and only if it is included in a supremum section coming from a representation of dimension $d$. Collapsibility is a topoligical property of simplicial complexes which has been introduced by Whitehead and which resembles to shellability. While Ossona de Mendez proved in that a particular type of supremum sections are shellable, we show in this article that supremum sections are in general collapsible thanks to the discrete Morse theory developped by Forman.


title: Why Comparing Single Performance Scores Does Not Allow to Draw Conclusions About Machine Learning Approaches

abstract: Developing state-of-the-art approaches for specific tasks is a major driving force in our research community. Depending on the prestige of the task, publishing it can come along with a lot of visibility. The question arises how reliable are our evaluation methodologies to compare approaches? One common methodology to identify the state-of-the-art is to partition data into a train, a development and a test set. Researchers can train and tune their approach on some part of the dataset and then select the model that worked best on the development set for a final evaluation on unseen test data. Test scores from different approaches are compared, and performance differences are tested for statistical significance. In this publication, we show that there is a high risk that a statistical significance in this type of evaluation is not due to a superior learning approach. Instead, there is a high risk that the difference is due to chance. For example for the CoNLL 2003 NER dataset we observed in up to 26% of the cases type I errors (false positives) with a threshold of p < 0.05, i.e., falsely concluding a statistically significant difference between two identical approaches. We prove that this evaluation setup is unsuitable to compare learning approaches. We formalize alternative evaluation setups based on score distributions.


title: Schramm-Loewner evolution with Lie superalgebra symmetry

abstract: We propose a generalization of Schramm-Loewner evolution (SLE) that has internal degrees of freedom described by an affine Lie superalgebra. We give a general formulation of SLE corresponding to representation theory of an affine Lie superalgebra whose underlying finite dimensional Lie superalgebra is basic classical type, and write down stochastic differential equations on internal degrees of freedom in case that the corresponding affine Lie superalgebra is $\widehat{\mathfrak{osp}(1|2)}$. We also demonstrate computation of local martingales associated with the solution from a representation of $\widehat{\mathfrak{osp}(1|2)}$.

categories: math-ph cond-mat.stat-mech math.MP math.PR math.QA math.RT


title: Finite horizon risk-sensitive continuous-time Markov decision processes with unbounded transition and cost rates

abstract: We consider a risk-sensitive continuous-time Markov decision process over a finite time duration. Under the conditions that can be satisfied by unbounded transition and cost rates, we show the existence of an optimal policy, and the existence and uniqueness of the solution to the optimality equation out of a class of possibly unbounded functions, to which the Feynman-Kac formula was also justified to hold.


title: Photophysics of pentacene-doped picene thin films

abstract: Here were report a study of picene nano-cristalline thin films doped with pentacene molecules. The thin films were grown by supersonic molecular beam deposition with a doping concentration that ranges between less than one molecules of pentacene every 104 picene molecules up to about one molecule of pentacene every 102 of picene. Morphology and opto-electronic properties of the films were studied as a function of the concentration of dopants. The optical response of the picene films, characterized by absorption, steady-state and time-resolved photoluminescence measurements, changes dramatically after the doping with pentacene. An efficient energy transfer from the picene host matrix to the pentacene guest molecules was observed giving rise to an intense photoluminescence coming out from pentacene. This efficient mechanism opens the possibility to exploit applications where the excitonic states of the guest component, pentacene, are of major interest such as MASER. The observed mechanism could also serve as prototypical system for the study of the photophysics of host guest systems based on different phenacenes and acenes.


title: On accumulation points of volumes of log surfaces

abstract: Let $\mathcal C\subset(0,1]$ be a set satisfying the descending chain condition. We show that any accumulation point of volumes of log canonical surfaces $(X, B)$ with coefficients in $\mathcal C$ can be realized as the volume of a log canonical surface with big and nef $K_X+B$ and coefficients in $\overline{\mathcal C}\cup\{1\}$, with at least one coefficient in $Acc(\mathcal C)\cup\{1\}$. As a corollary, if $\overline{\mathcal C}\subset\mathbb Q$ then all accumulation points of volumes are rational numbers, solving a conjecture of Blache. For the set of standard coefficients $\mathcal C_2=\{1-\frac{1}{n}\mid n\in\mathbb N\}\cup\{1\}$ we prove that the minimal accumulation point is between $\frac1{7^2\cdot 42^2}$ and $\frac1{42^2}$.


title: Electrical energy prediction study case based on neural networks

abstract: This paper presents some considerations regarding the prediction of the electrical energy consumption. It is well known that the central element of a microeconomic analysis is represented by the economical agents actions, actions that follow their own interest such as: the consumer maximization of his satisfaction, the producer maximization of his profit. The study case is focused on the prediction of the sold energy in Banat region. The goal of this study case is to optimize the electrical energy quantity purchased from the producer by the energy distributor in Banat region. The prediction is based on neural networks. There are used feed-forward and Elman type neural networks. In order to enhance the prediction accuracy there have been used both linear and nonlinear preprocessing units. The aspects considered in this paper can be extrapolated in any general case of prediction based application, not only in the already stated case of electrical energy.


title: Crossing the Architectural Barrier: Evaluating Representative Regions of Parallel HPC Applications

abstract: Exascale computing will get mankind closer to solving important social, scientific and engineering problems. Due to high prototyping costs, High Performance Computing (HPC) system architects make use of simulation models for design space exploration and hardware-software co-design. However, as HPC systems reach exascale proportions, the cost of simulation increases, since simulators themselves are largely single-threaded. Tools for selecting representative parts of parallel applications to reduce running costs are widespread, e.g., BarrierPoint achieves this by analysing, in simulation, abstract characteristics such as basic blocks and reuse distances. However, architectures new to HPC have a limited set of tools available. In this work, we provide an independent cross-architectural evaluation on real hardware - across Intel and ARM - of the BarrierPoint methodology, when applied to parallel HPC proxy applications. We present both cases: when the methodology can be applied and when it cannot. In the former case, results show that we can predict the performance of full application execution by running shorter representative sections. In the latter case, we dive into the underlying issues and suggest improvements. We demonstrate a total simulation time reduction of up to 178x, whilst keeping the error below 2.3% for both cycles and instructions.


title: Secure Web Access Control Algorithm

abstract: The paper presents a flexible and efficient method to secure the access to a Web site implemented in PHP script language. The algorithm is based on the PHP session mechanism. The proposed method is a general one and offers the possibility to implement a PHP based secured access to a Web site, through a portal page and using an additional script included in any site page, which is required to be accessed only by registered users. This paper presents the design, implementation and integration of the algorithm on any generic WEB site.


title: A One-Dimensional Peridynamic Model of Defect Propagation and its Relation to Certain Other Continuum Models

abstract: The peridynamic model of a solid does not involve spatial gradients of the displacement field and is therefore well suited for studying defect propagation. Here, bond-based peridynamic theory is used to study the equilibrium and steady propagation of a lattice defect -- a kink -- in one dimension. The material transforms locally, from one state to another, as the kink passes through. The kink is in equilibrium if the applied force is less than a certain critical value that is calculated, and propagates if it exceeds that value. The kinetic relation giving the propagation speed as a function of the applied force is also derived. In addition, it is shown that the dynamical solutions of certain differential-equation-based models of a continuum are the same as those of the peridynamic model provided the micromodulus function is chosen suitably. A formula for calculating the micromodulus function of the equivalent peridynamic model is derived and illustrated. This ability to replace a differential-equation-based model with a peridynamic one may prove useful when numerically studying more complicated problems such as those involving multiple and interacting defects.


title: Evaluation of Session-based Recommendation Algorithms

abstract: Recommender systems help users find relevant items of interest, for example on e-commerce or media streaming sites. Most academic research is concerned with approaches that personalize the recommendations according to long-term user profiles. In many real-world applications, however, such long-term profiles often do not exist and recommendations therefore have to be made solely based on the observed behavior of a user during an ongoing session. Given the high practical relevance of the problem, an increased interest in this problem can be observed in recent years, leading to a number of proposals for session-based recommendation algorithms that typically aim to predict the user's immediate next actions. In this work, we present the results of an in-depth performance comparison of a number of such algorithms, using a variety of datasets and evaluation measures. Our comparison includes the most recent approaches based on recurrent neural networks like GRU4REC, factorized Markov model approaches such as FISM or FOSSIL, as well as simpler methods based, e.g., on nearest neighbor schemes. Our experiments reveal that algorithms of this latter class, despite their sometimes almost trivial nature, often perform equally well or significantly better than today's more complex approaches based on deep neural networks. Our results therefore suggest that there is substantial room for improvement regarding the development of more sophisticated session-based recommendation algorithms.


title: Efficient Image Dataset Classification Difficulty Estimation for Predicting Deep-Learning Accuracy

abstract: In the deep-learning community new algorithms are published at an incredible pace. Therefore, solving an image classification problem for new datasets becomes a challenging task, as it requires to re-evaluate published algorithms and their different configurations in order to find a close to optimal classifier. To facilitate this process, before biasing our decision towards a class of neural networks or running an expensive search over the network space, we propose to estimate the classification difficulty of the dataset. Our method computes a single number that characterizes the dataset difficulty 27x faster than training state-of-the-art networks. The proposed method can be used in combination with network topology and hyper-parameter search optimizers to efficiently drive the search towards promising neural-network configurations.