title: Blockchain and Trusted Computing: Problems, Pitfalls, and a Solution for Hyperledger Fabric

abstract: A smart contract on a blockchain cannot keep a secret because its data is replicated on all nodes in a network. To remedy this problem, it has been suggested to combine blockchains with trusted execution environments (TEEs), such as Intel SGX, for executing applications that demand privacy. Untrusted blockchain nodes cannot get access to the data and computations inside the TEE. This paper first explores some pitfalls that arise from the combination of TEEs with blockchains. Since TEEs are, in principle, stateless they are susceptible to rollback attacks, which should be prevented to maintain privacy for the application. However, in blockchains with non-final consensus protocols, such as the proof-of-work in Ethereum and others, the contract execution must handle rollbacks by design. This implies that TEEs for securing blockchain execution cannot be directly used for such blockchains; this approach works only when the consensus decisions are final. Second, this work introduces an architecture and a prototype for smart-contract execution within Intel SGX technology for Hyperledger Fabric, a prominent platform for enterprise blockchain applications. Our system resolves difficulties posed by the execute-order-validate architecture of Fabric and prevents rollback attacks on TEE-based execution as far as possible. For increasing security, our design encapsulates each application on the blockchain within its own enclave that shields it from the host system. An evaluation shows that the overhead moving execution into SGX is within 10%-20% for a sealed-bid auction application.


title: Fast Motion Deblurring for Feature Detection and Matching Using Inertial Measurements

abstract: Many computer vision and image processing applications rely on local features. It is well-known that motion blur decreases the performance of traditional feature detectors and descriptors. We propose an inertial-based deblurring method for improving the robustness of existing feature detectors and descriptors against the motion blur. Unlike most deblurring algorithms, the method can handle spatially-variant blur and rolling shutter distortion. Furthermore, it is capable of running in real-time contrary to state-of-the-art algorithms. The limitations of inertial-based blur estimation are taken into account by validating the blur estimates using image data. The evaluation shows that when the method is used with traditional feature detector and descriptor, it increases the number of detected keypoints, provides higher repeatability and improves the localization accuracy. We also demonstrate that such features will lead to more accurate and complete reconstructions when used in the application of 3D visual reconstruction.


title: Radiating the hydrogen recombination energy during common envelope evolution

abstract: By using the stellar evolution code MESA we show that most of the hydrogen recombination energy that is released as the envelope expands during a regular common envelope evolution (CEE), namely, the initial dynamical phase or plunge-in phase, is radiated, and hence increases substantially the stellar luminosity. Only about ten per cent of the hydrogen recombination energy might be used to remove the envelope. We show that the key property of energy transport is that when convection becomes inefficient in the outer parts of the envelope, where the ionization degree of hydrogen falls below about 30 per cent, photon diffusion becomes very efficient and removes the recombination energy. The expanding envelope absorbs most of the gravitational energy that is released by the spiraling-in process of the secondary star inside the common envelope, and so it is the hydrogen recombination energy that is behind most of the luminosity increase of the system. The recombination energy of hydrogen adds only a small fraction of the energy required to remove the common envelope, and hence does not play a significant role in the ejection of the envelope.


title: Impact of Contingent Payments on Systemic Risk in Financial Networks

abstract: In this paper we study the implications of contingent payments on the clearing wealth in a network model of financial contagion. We consider an extension of the Eisenberg-Noe financial contagion model in which the nominal interbank obligations depend on the wealth of the firms in the network. We first consider the problem in a static framework and develop conditions for existence and uniqueness of solutions as long as no firm is speculating on the failure of other firms. In order to achieve existence and uniqueness under more general conditions, we introduce a dynamic framework. We demonstrate how this dynamic framework can be applied to problems that were ill-defined in the static framework.


title: A Recurrent Convolutional Neural Network Approach for Sensorless Force Estimation in Robotic Surgery

abstract: Providing force feedback as relevant information in current Robot-Assisted Minimally Invasive Surgery systems constitutes a technological challenge due to the constraints imposed by the surgical environment. In this context, Sensorless Force Estimation techniques represent a potential solution, enabling to sense the interaction forces between the surgical instruments and soft-tissues. Specifically, if visual feedback is available for observing soft-tissues' deformation, this feedback can be used to estimate the forces applied to these tissues. To this end, a force estimation model, based on Convolutional Neural Networks and Long-Short Term Memory networks, is proposed in this work. This model is designed to process both, the spatiotemporal information present in video sequences and the temporal structure of tool data (the surgical tool-tip trajectory and its grasping status). A series of analyses are carried out to reveal the advantages of the proposal and the challenges that remain for real applications. This research work focuses on two surgical task scenarios, referred to as pushing and pulling tissue. For these two scenarios, different input data modalities and their effect on the force estimation quality are investigated. These input data modalities are tool data, video sequences and a combination of both. The results suggest that the force estimation quality is better when both, the tool data and video sequences, are processed by the neural network model. Moreover, this study reveals the need for a loss function, designed to promote the modeling of smooth and sharp details found in force signals. Finally, the results show that the modeling of forces due to pulling tasks is more challenging than for the simplest pushing actions.


title: Real Forms of the Complex Neumann System: Real Roots of Polynomial $U_{\cal S}(\lambda)$

abstract: The topology of Liouville sets of the real forms of the complex generic Neumann system depends indirectly on the roots of the special polynomial $U_{\cal S}(\lambda)$. For certain polynomials, the existence and positions of the real roots, according to the suitable parameters of the system, is not obvious. In the paper, a novel method for checking the existence and positions of the real roots of the polynomials $U_{\cal S}(\lambda)$ is given. The method and algorithm are based on searching of a positive solution of a system of linear equations. We provide a complete solution to the problem of existence of real roots for all special polynomials in case $n=2$. This is a step closer to determining the topology of the Liouville sets.


title: Learning over Multitask Graphs -- Part II: Performance Analysis

abstract: Part I of this paper formulated a multitask optimization problem where agents in the network have individual objectives to meet, or individual parameter vectors to estimate, subject to a smoothness condition over the graph. A diffusion strategy was devised that responds to streaming data and employs stochastic approximations in place of actual gradient vectors, which are generally unavailable. The approach relied on minimizing a global cost consisting of the aggregate sum of individual costs regularized by a term that promotes smoothness. We examined the first-order, the second-order, and the fourth-order stability of the multitask learning algorithm. The results identified conditions on the step-size parameter, regularization strength, and data characteristics in order to ensure stability. This Part II examines steady-state performance of the strategy. The results reveal explicitly the influence of the network topology and the regularization strength on the network performance and provide insights into the design of effective multitask strategies for distributed inference over networks.


title: Complex contact manifolds, varieties of minimal rational tangents, and exterior differential systems

abstract: Complex contact manifolds arise naturally in differential geometry, algebraic geometry and exterior differential systems. Their classification would answer an important question about holonomy groups. The geometry of such manifold $X$ is governed by the contact lines contained in $X$. These are related to the notion of a variety of minimal rational tangents. In this review we discuss the partial classification theorems of projective complex contact manifolds. Among such manifolds one finds contact Fano manifolds (which include adjoint varieties) and projectivised cotangent bundles. In the first case we also discuss a distinguished contact cone structure, arising as the variety of minimal rational tangents. We discuss the repercussion of the aforementioned classification theorems for the geometry of quaternion-K\"ahler manifolds with positive scalar curvature and for the geometry of second-order PDEs imposed on hypersurfaces.


title: Modulation of superconducting transition temperature in LaAlO$_{3}$/SrTiO$_{3}$ by SrTiO$_{3}$ structural domains

abstract: The tetragonal domain structure in SrTiO$_{3}$ (STO) is known to modulate the normal-state carrier density in LaAlO$_{3}$/SrTiO$_{3}$ (LAO/STO) heterostructures, among other electronic properties, but the effect of STO domains on the superconductivity in LAO/STO has not been fully explored. Using a scanning SQUID susceptometer microscope to map the superconducting response as a function of temperature in LAO/STO, we find that the superconducting transition temperature is spatially inhomogeneous and modulated in a pattern that is characteristic of structural domains in the STO.


title: Anticipating cryptocurrency prices using machine learning

abstract: Machine learning and AI-assisted trading have attracted growing interest for the past few years. Here, we use this approach to test the hypothesis that the inefficiency of the cryptocurrency market can be exploited to generate abnormal profits. We analyse daily data for $1,681$ cryptocurrencies for the period between Nov. 2015 and Apr. 2018. We show that simple trading strategies assisted by state-of-the-art machine learning algorithms outperform standard benchmarks. Our results show that nontrivial, but ultimately simple, algorithmic mechanisms can help anticipate the short-term evolution of the cryptocurrency market.

categories: physics.soc-ph cs.LG q-fin.GN q-fin.ST q-fin.TR


title: Robust Model Predictive Control for Autonomous Vehicles/Self Driving Cars

abstract: A robust Model Predictive Control (MPC) approach for controlling front steering of an autonomous vehicle is presented in this paper. We present various approaches to increase the robustness of model predictive control by using weight tuning, a successive on-line linearization of a nonlinear vehicle model to track position error and successive on-line linearization to track velocity error. Results of the effectiveness of each method in terms of accuracy and computational load are discussed.


title: Dark Matter in Quantum Gravity

abstract: We show that quantum gravity, whatever its ultra-violet completion might be, could account for dark matter. Indeed, besides the massless gravitational field recently observed in the form of gravitational waves, the spectrum of quantum gravity contains two massive fields respectively of spin 2 and spin 0. If these fields are long-lived, they could easily account for dark matter. In that case, dark matter would be very light and only gravitationally coupled to the standard model particles.


title: On the spectrum of multiplication operators

abstract: We study relations between spectra of two operators that are connected to each other through some intertwining conditions. As application we obtain new results on the spectra of multiplication operators on $B(\cl H)$ relating it to the spectra of the restriction of the operators to the ideal $\mathcal C_2$ of Hilbert-Schmidt operators. We also solve one of the problems, posed in [B.Magajna, Proc. Amer. Math. Soc, 141 2013, 1349-1360] about the positivity of the spectrum of multiplication operators with positive operator coefficients when the coefficients on one side commute. Using the Wiener-Pitt phenomena we show that the spectrum of a multiplication operator with normal coefficients satisfying the Haagerup condition might be strictly larger than the spectrum of its restriction to $\mathcal C_2$.


title: More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture

abstract: The Strong Exponential Time Hypothesis and the OV-conjecture are two popular hardness assumptions used to prove a plethora of lower bounds, especially in the realm of polynomial-time algorithms. The OV-conjecture in moderate dimension states there is no $\epsilon>0$ for which an $O(N^{2-\epsilon})\mathrm{poly}(D)$ time algorithm can decide whether there is a pair of orthogonal vectors in a given set of size $N$ that contains $D$-dimensional binary vectors. We strengthen the evidence for these hardness assumptions. In particular, we show that if the OV-conjecture fails, then two problems for which we are far from obtaining even tiny improvements over exhaustive search would have surprisingly fast algorithms. If the OV conjecture is false, then there is a fixed $\epsilon>0$ such that: (1) For all $d$ and all large enough $k$, there is a randomized algorithm that takes $O(n^{(1-\epsilon)k})$ time to solve the Zero-Weight-$k$-Clique and Min-Weight-$k$-Clique problems on $d$-hypergraphs with $n$ vertices. As a consequence, the OV-conjecture is implied by the Weighted Clique conjecture. (2) For all $c$, the satisfiability of sparse TC1 circuits on $n$ inputs (that is, circuits with $cn$ wires, depth $c\log n$, and negation, AND, OR, and threshold gates) can be computed in time ${O((2-\epsilon)^n)}$.


title: MoMEMta, a modular toolkit for the Matrix Element Method at the LHC

abstract: The Matrix Element Method has proven to be a powerful method to optimally exploit the information available in detector data. Its widespread use is nevertheless impeded by its complexity and the associated computing time. MoMEMta, a C++ software package to compute the integrals at the core of the method, provides a versatile implementation of the Matrix Element Method to both the theory and experiment communities. Its modular structure covers the needs of experimental analysis workflows at the LHC without compromising ease of use on simpler and smaller simulated samples used for phenomenological studies. With respect to existing tools, MoMEMta improves on usability and flexibility. In this paper, we present version 1.0 of MoMEMta, together with examples illustrating the wide range of applications at the LHC accessible for the first time with a single tool.


title: The invisible Majorana bound state at the helical edge

abstract: The presence of a Majorana bound state in condensed matter systems is often associated to a zero bias peak in conductance measurements. Here, we analyze a system were this paradigm is violated. A Majorana bound state is always present at the interface between a quantum spin Hall system that is magnetically gapped and a quantum spin Hall system gapped by proximity induced s-wave superconductivity. However, the linear conductance could be either zero or nonzero and quantized depending on the energy and length scales of the barriers. The transition between the two values is reminiscent of the topological phase transition in proximitized spin-orbit coupled quantum wires in the presence of an applied magnetic field. We interpret the behavior of the conductance in terms of scattering states at both zero and non-zero energy.


title: Weak Poincar\'e inequalities in the absence of spectral gaps

abstract: For generators of Markov semigroups which lack a spectral gap, it is shown how bounds on the density of states near zero lead to a so-called "weak Poincar\'e inequality" (WPI), originally introduced by Liggett [Ann. Probab., 1991]. Applications to general classes of constant coefficient pseudodifferential operators are studied. Particular examples are the heat semigroup and the semigroup generated by the fractional Laplacian in the whole space, where the optimal decay rates are recovered. Moreover, the classical Nash inequality appears as a special case of the WPI for the heat semigroup.


title: Convergence theorems for barycentric maps

abstract: We first develop a theory of conditional expectations for random variables with values in a complete metric space $M$ equipped with a contractive barycentric map $\beta$, and then give convergence theorems for martingales of $\beta$-conditional expectations. We give the Birkhoff ergodic theorem for $\beta$-values of ergodic empirical measures and provide a description of the ergodic limit function in terms of the $\beta$-conditional expectation. Moreover, we prove the continuity property of the ergodic limit function by finding a complete metric between contractive barycentric maps on the Wasserstein space of Borel probability measures on $M$. Finally, the large derivation property of $\beta$-values of i.i.d. empirical measures is obtained by applying the Sanov large deviation principle.


title: Music Source Separation Using Stacked Hourglass Networks

abstract: In this paper, we propose a simple yet effective method for multiple music source separation using convolutional neural networks. Stacked hourglass network, which was originally designed for human pose estimation in natural images, is applied to a music source separation task. The network learns features from a spectrogram image across multiple scales and generates masks for each music source. The estimated mask is refined as it passes over stacked hourglass modules. The proposed framework is able to separate multiple music sources using a single network. Experimental results on MIR-1K and DSD100 datasets validate that the proposed method achieves competitive results comparable to the state-of-the-art methods in multiple music source separation and singing voice separation tasks.


title: A Deformed Quon Algebra

abstract: The quon algebra is an approach to particle statistics in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. The quons are particles whose annihilation and creation operators obey the quon algebra which interpolates between fermions and bosons. In this paper we generalize these models by introducing a deformation of the quon algebra generated by a collection of operators $a_{i,k}$, $(i,k) \in \mathbb{N}^* \times [m]$, on an infinite dimensional vector space satisfying the deformed $q$-mutator relations $a_{j,l} a_{i,k}^{\dag} = q a_{i,k}^{\dag} a_{j,l} + q^{\beta_{-k,l}} \delta_{i,j}$. We prove the realizability of our model by showing that, for suitable values of $q$, the vector space generated by the particle states obtained by applying combinations of $a_{i,k}$'s and $a_{i,k}^{\dag}$'s to a vacuum state $|0\rangle$ is a Hilbert space. The proof particularly needs the investigation of the new statistic $\mathtt{cinv}$ and representations of the colored permutation group.


title: An integer-valued time series model for multivariate surveillance

abstract: In recent days different types of surveillance data are becoming available for public health reasons. In most cases several variables are monitored and events of different types are reported. As the amount of surveillance data increases, statistical methods that can effectively address multivariate surveillance scenarios are demanded. Even though research activity in this field is increasing rapidly in recent years, only a few approaches have simultaneously addressed the integer-valued property of the data and its correlation (both time correlation and cross correlation) structure. In this paper, we suggest a multivariate integer-valued autoregressive model that allows for both serial and cross correlation between the series and can easily accommodate overdispersion and covariate information. Moreover, its structure implies a natural decomposition into an endemic and an epidemic component, a common distinction in dynamic models for infectious disease counts. Detection of disease outbreaks is achieved through the comparison of surveillance data with one-step-ahead predictions obtained after fitting the suggested model to a set of clean historical data. The performance of the suggested model is illustrated on a trivariate series of syndromic surveillance data collected during Athens 2004 Olympic Games.


title: Best of many worlds: Robust model selection for online supervised learning

abstract: We introduce algorithms for online, full-information prediction that are competitive with contextual tree experts of unknown complexity, in both probabilistic and adversarial settings. We show that by incorporating a probabilistic framework of structural risk minimization into existing adaptive algorithms, we can robustly learn not only the presence of stochastic structure when it exists (leading to constant as opposed to $\mathcal{O}(\sqrt{T})$ regret), but also the correct model order. We thus obtain regret bounds that are competitive with the regret of an optimal algorithm that possesses strong side information about both the complexity of the optimal contextual tree expert and whether the process generating the data is stochastic or adversarial. These are the first constructive guarantees on simultaneous adaptivity to the model and the presence of stochasticity.


title: Gravitational Waves: A New Astronomy

abstract: Contemporary astronomy is undergoing a revolution, perhaps even more important than that which took place with the advent of radioastronomy in the 1960s, and then the opening of the sky to observations in the other electromagnetic wavelengths. The gravitational wave detectors of the LIGO/Virgo collaboration have observed since 2015 the signals emitted during the collision and merger of binary systems of massive black holes at a large astronomical distance. This major discovery opens the way to the new astronomy of gravitational waves, drastically different from the traditional astronomy based on electromagnetic waves. More recently, in 2017, the detection of gravitational waves emitted by the inspiral and merger of a binary system of neutron stars has been followed by electromagnetic signals observed by the $\gamma$ and X satellites, and by optical telescopes. A harvest of discoveries has been possible thanks to the multi-messenger astronomy, which combines the information from the gravitational wave with that from electromagnetic waves. Another important aspect of the new gravitational astronomy concerns fundamental physics, with the tests of general relativity and alternative theories of gravitation, as well as the standard model of cosmology.


title: A 2D laser rangefinder scans dataset of standard EUR pallets

abstract: In the past few years, the technology of automated guided vehicles (AGVs) has notably advanced. In particular, in the context of factory and warehouse automation, different approaches have been presented for detecting and localizing pallets inside warehouses and shop-floor environments. In a related research paper [1], we show that an AGVs can detect, localize, and track pallets using machine learning techniques based only on the data of an on-board 2D laser rangefinder. Such sensor is very common in industrial scenarios due to its simplicity and robustness, but it can only provide a limited amount of data. Therefore, it has been neglected in the past in favor of more complex solutions. In this paper, we release to the community the data we collected in [1] for further research activities in the field of pallet localization and tracking. The dataset comprises a collection of 565 2D scans from real-world environments, which are divided into 340 samples where pallets are present, and 225 samples where they are not. The data have been manually labelled and are provided in different formats.


title: Global Navigation Using Predictable and Slow Feature Analysis in Multiroom Environments, Path Planning and Other Control Tasks

abstract: Extended Predictable Feature Analysis (PFAx) [Richthofer and Wiskott, 2017] is an extension of PFA [Richthofer and Wiskott, 2015] that allows generating a goal-directed control signal of an agent whose dynamics has previously been learned during a training phase in an unsupervised manner. PFAx hardly requires assumptions or prior knowledge of the agent's sensor or control mechanics, or of the environment. It selects features from a high-dimensional input by intrinsic predictability and organizes them into a reasonably low-dimensional model. While PFA obtains a well predictable model, PFAx yields a model ideally suited for manipulations with predictable outcome. This allows for goal-directed manipulation of an agent and thus for local navigation, i.e. for reaching states where intermediate actions can be chosen by a permanent descent of distance to the goal. The approach is limited when it comes to global navigation, e.g. involving obstacles or multiple rooms. In this article, we extend theoretical results from [Sprekeler and Wiskott, 2008], enabling PFAx to perform stable global navigation. So far, the most widely exploited characteristic of Slow Feature Analysis (SFA) was that slowness yields invariances. We focus on another fundamental characteristics of slow signals: They tend to yield monotonicity and one significant property of monotonicity is that local optimization is sufficient to find a global optimum. We present an SFA-based algorithm that structures an environment such that navigation tasks hierarchically decompose into subgoals. Each of these can be efficiently achieved by PFAx, yielding an overall global solution of the task. The algorithm needs to explore and process an environment only once and can then perform all sorts of navigation tasks efficiently. We support this algorithm by mathematical theory and apply it to different problems.


title: Fractional Derivative Regularization in QFT

abstract: In this paper, we propose new regularization, where integer-order differential operators are replaced by fractional-order operators. Regularization for quantum field theories based on application of the Riesz fractional derivatives of non-integer orders is suggested. The regularized loop integrals depend on parameter that is the order alpha>0 of the fractional derivative. The regularization procedure is demonstrated for scalar massless fields in phi^4-theory on n-dimensional pseudo-Euclidean space-time.


title: Phenomenology of GeV-scale Heavy Neutral Leptons

abstract: We review and revise phenomenology of the GeV-scale heavy neutral leptons (HNLs). We extend the previous analyses by including more channels of HNLs production and decay and provide with more refined treatment, including QCD corrections for the HNLs of masses $\mathcal{O}(1)$ GeV. We summarize the relevance of individual production and decay channels for different masses, resolving a few discrepancies in the literature. Our final results are directly suitable for sensitivity studies of particle physics experiments (ranging from proton beam-dump to the LHC) aiming at searches for heavy neutral leptons.


title: Efficient Auctions With Common Values

abstract: Consider the problem of allocating goods to buyers through an auction. An auction is efficient if the resulting allocation maximizes total welfare, conditional on the information available. If buyers have private values, the Vickrey-Groves-Clarke mechanism is efficient. If buyers have common values and a buyer's information can be summarized as a one-dimensional signal, Dasgupta and Maskin present an efficient auction. We construct an efficient auction mechanism in case buyer information is multidimensional, for a restricted class of valuation functions, and we prove which of the assumptions made are necessary for the existence of an efficient mechanism.


title: Less is More: Surgical Phase Recognition with Less Annotations through Self-Supervised Pre-training of CNN-LSTM Networks

abstract: Real-time algorithms for automatically recognizing surgical phases are needed to develop systems that can provide assistance to surgeons, enable better management of operating room (OR) resources and consequently improve safety within the OR. State-of-the-art surgical phase recognition algorithms using laparoscopic videos are based on fully supervised training. This limits their potential for widespread application, since creation of manual annotations is an expensive process considering the numerous types of existing surgeries and the vast amount of laparoscopic videos available. In this work, we propose a new self-supervised pre-training approach based on the prediction of remaining surgery duration (RSD) from laparoscopic videos. The RSD prediction task is used to pre-train a convolutional neural network (CNN) and long short-term memory (LSTM) network in an end-to-end manner. Our proposed approach utilizes all available data and reduces the reliance on annotated data, thereby facilitating the scaling up of surgical phase recognition algorithms to different kinds of surgeries. Additionally, we present EndoN2N, an end-to-end trained CNN-LSTM model for surgical phase recognition and evaluate the performance of our approach on a dataset of 120 Cholecystectomy laparoscopic videos (Cholec120). This work also presents the first systematic study of self-supervised pre-training approaches to understand the amount of annotations required for surgical phase recognition. Interestingly, the proposed RSD pre-training approach leads to performance improvement even when all the training data is manually annotated and outperforms the single pre-training approach for surgical phase recognition presently published in the literature. It is also observed that end-to-end training of CNN-LSTM networks boosts surgical phase recognition performance.


title: What has been Revealed by Urban Grid Data of Shanghai

abstract: With the fast-growing economy in the past ten years, cities in China have experience great changes, meanwhile, huge volume of urban grid management data has been recorded. Studies on urban grid management are not common so far. This kind of study is important, however, because the urban grid data describes the individual behaviors and detailed problems in community, and reveals the dynamics of changing policies and social relations. In this article, we did a preliminary study on the urban grid management data of Shanghai, and investigated the key characteristics of the interactions between local government and citizen in such a fast-growing metropolitan. Our investigation illustrates the dynamics of coevolution between economy and living environments. We also developed mathematical model to quantitatively discover the spatial and temporal intra-relations among events found in data, providing insights to local government to fine tune the policy of resource allocation and give proper incentives to drive the coevolution to the optimal state, thereby achieving the good governance.


title: On Coresets for Logistic Regression

abstract: Coresets are one of the central methods to facilitate the analysis of large data sets. We continue a recent line of research applying the theory of coresets to logistic regression. First, we show a negative result, namely, that no strongly sublinear sized coresets exist for logistic regression. To deal with intractable worst-case instances we introduce a complexity measure $\mu(X)$, which quantifies the hardness of compressing a data set for logistic regression. $\mu(X)$ has an intuitive statistical interpretation that may be of independent interest. For data sets with bounded $\mu(X)$-complexity, we show that a novel sensitivity sampling scheme produces the first provably sublinear $(1\pm\varepsilon)$-coreset. We illustrate the performance of our method by comparing to uniform sampling as well as to state of the art methods in the area. The experiments are conducted on real world benchmark data for logistic regression.


title: Second-order dual fermion approach to the Mott transition in the two-dimensional Hubbard model

abstract: We apply the dual fermion approach with a second-order approximation to the self-energy to the Mott transition in the two-dimensional Hubbard model. The approximation captures nonlocal dynamical short-range correlations as well as several features observed in studies using cluster dynamical mean-field theory. This includes a strong reduction of the critical interaction and inversion of the slope of the transition lines with respect to single-site dynamical mean-field theory. We show that these effects coincide with a much smaller momentum differentiation compared to cluster methods. We further discuss the role of the self-consistency condition and show that the approximation behaves as an asymptotic series at low temperature.


title: Mapping heterogeneities through avalanche statistics

abstract: Avalanche statistics of various threshold activated dynamical systems are known to depend on the magnitude of the drive, or stress, on the system. Such dependencies exist for earthquake size distributions, in sheared granular avalanches, laboratory scale fracture and also in the outage statistics of power grids. In this work we model threshold-activated avalanche dynamics and investigate the time required to detect local variations in the ability of model elements to bear stress. We show that the detection time follows a scaling law where the scaling exponents depend on whether the feature that is sought is either weaker, or stronger, than its surroundings. We then look at earthquake data from Sumatra and California, demonstrate the trade-off between the spatial resolution of a map of earthquake exponents i.e. the $b$-values of the Gutenberg-Richter law) and the accuracy of those exponents, and suggest a means to maximise both.


title: Breaking the Activation Function Bottleneck through Adaptive Parameterization

abstract: Standard neural network architectures are non-linear only by virtue of a simple element-wise activation function, making them both brittle and excessively large. In this paper, we consider methods for making the feed-forward layer more flexible while preserving its basic structure. We develop simple drop-in replacements that learn to adapt their parameterization conditional on the input, thereby increasing statistical efficiency significantly. We present an adaptive LSTM that advances the state of the art for the Penn Treebank and WikiText-2 word-modeling tasks while using fewer parameters and converging in less than half as many iterations.


title: Cost-Benefit Analysis of Data Intelligence -- Its Broader Interpretations

abstract: The core of data science is our fundamental understanding about data intelligence processes for transforming data to decisions. One aspect of this understanding is how to analyze the cost-benefit of data intelligence workflows. This work is built on the information-theoretic metric proposed by Chen and Golan for this purpose and several recent studies and applications of the metric. We present a set of extended interpretations of the metric by relating the metric to encryption, compression, model development, perception, cognition, languages, and news media.


title: A Framework for Robot Manipulation: Skill Formalism, Meta Learning and Adaptive Control

abstract: In this paper we introduce a novel framework for expressing and learning force-sensitive robot manipulation skills. It is based on a formalism that extends our previous work on adaptive impedance control with meta parameter learning and compatible skill specifications. This way the system is also able to make use of abstract expert knowledge by incorporating process descriptions and quality evaluation metrics. We evaluate various state-of-the-art schemes for the meta parameter learning and experimentally compare selected ones. Our results clearly indicate that the combination of our adaptive impedance controller with a carefully defined skill formalism significantly reduces the complexity of manipulation tasks even for learning peg-in-hole with submillimeter industrial tolerances. Overall, the considered system is able to learn variations of this skill in under 20 minutes. In fact, experimentally the system was able to perform the learned tasks faster than humans, leading to the first learning-based solution of complex assembly at such real-world performance.


title: PDQP/qpoly = ALL

abstract: We show that combining two different hypothetical enhancements to quantum computation---namely, quantum advice and non-collapsing measurements---would let a quantum computer solve any decision problem whatsoever in polynomial time, even though neither enhancement yields extravagant power by itself. This complements a related result due to Raz. The proof uses locally decodable codes.


title: "Why Should I Trust Interactive Learners?" Explaining Interactive Queries of Classifiers to Users

abstract: Although interactive learning puts the user into the loop, the learner remains mostly a black box for the user. Understanding the reasons behind queries and predictions is important when assessing how the learner works and, in turn, trust. Consequently, we propose the novel framework of explanatory interactive learning: in each step, the learner explains its interactive query to the user, and she queries of any active classifier for visualizing explanations of the corresponding predictions. We demonstrate that this can boost the predictive and explanatory powers of and the trust into the learned model, using text (e.g. SVMs) and image classification (e.g. neural networks) experiments as well as a user study.


title: Smallest representatives of $\operatorname{SL}(2,\mathbb Z)$-orbits of binary forms and endomorphisms of ${\mathbb P}^1$

abstract: We develop an algorithm that determines, for a given squarefree binary form $F$ with real coefficients, a smallest representative of its orbit under $\operatorname{SL}(2,\mathbb Z)$, either with respect to the Euclidean norm or with respect to the maximum norm of the coefficient vector. This is based on earlier work of Cremona and Stoll. We then generalize our approach so that it also applies to the problem of finding an integral representative of smallest height in the $\operatorname{PGL}(2,\mathbb Q)$ conjugacy class of an endomorphism of the projective line. Having a small model of such an endomorphism is useful for various computations.


title: A characterization on separable subgroups of 3-manifold groups

abstract: In this paper, we give a complete characterization on which finitely generated subgroups of finitely generated $3$-manifold groups are separable. Our characterization generalizes Liu's spirality character on $\pi_1$-injective immersed surface subgroups of closed $3$-manifold groups. A consequence of our characterization is that, for any compact, orientable, irreducible and $\partial$-irreducible $3$-manifold $M$ with nontrivial torus decomposition, $\pi_1(M)$ is LERF if and only if for any two adjacent pieces in the torus decomposition of $M$, at least one of them has a boundary component with genus at least $2$.


title: VGIT presentation of the second flip of $\overline{M}_{2,1}$

abstract: We perform a variation of geometric invariant theory stability analysis for 2nd Hilbert points of bi-log-canonically embedded pointed curves of genus two. As a result, we give a GIT construction of the last three non-trivial log canonical models of the moduli space of pointed genus two curves, and obtain a VGIT presentation of the second flip in its Hassett-Keel program.


title: Noncommutative Geometry and Structure of Space-Time

abstract: I give a summary review of the research program using noncommutative geometry as a framework to determine the structure of space-time. Classification of finite noncommutative spaces under few assumptions reveals why nature chose the Standard Model and the reasons behind the particular form of gauge fields, Higgs fields and fermions as well as the origin of symmetry breaking. It also points that at high energies the Standard Model is a truncation of Pati-Salam unified model of leptons and quarks. The same conclusions are arrived at uniquely without making any assumptions except for an axiom which is a higher form of Heisenberg commutation relations quantizing the volume of space-time. We establish the existence of two kinds of quanta of geometry in the form of unit spheres of Planck length. We provide answers to many of the questions which are not answered by other approaches, however, more research is needed to answer the remaining challenging questions.


title: Separation of conditions as a prerequisite for quantum theory

abstract: We introduce the notion of "separation of conditions" meaning that a description of statistical data obtained from experiments, performed under a set of different conditions, allows for a decomposition such that each partial description depends on mutually exclusive subsets of these conditions. Descriptions that allow a separation of conditions are shown to entail the basic mathematical framework of quantum theory. The Stern-Gerlach and the Einstein-Podolsky-Rosen-Bohm experiment with three, respectively nine possible outcomes are used to illustrate how the separation of conditions can be used to construct their quantum theoretical descriptions. It is shown that the mathematical structure of separated descriptions implies that, under certain restrictions, the time evolution of the data can be described by the von Neumann/Schr\"odinger equation.


title: The Bottom-Up Position Tree Automaton, the Father Automaton and their Compact Versions

abstract: The conversion of a given regular tree expression into a tree automaton has been widely studied. However, classical interpretations are based upon a Top-Down interpretation of tree automata. In this paper, we propose new constructions based on the Gluskov's one and on the one of Ilie and Yu one using a Bottom-Up interpretation. One of the main goals of this technique is to consider as a next step the links with deterministic recognizers, consideration that cannot be performed with classical Top-Down approaches. Furthermore, we exhibit a method to factorize transitions of tree automata and show that this technique is particularly interesting for these constructions, by considering natural factorizations due to the structure of regular expression.


title: Central limit theorems for multivariate Bessel processes in the freezing regime

abstract: Multivariate Bessel processes are classified via associated root systems and positive multiplicity constants. They describe the dynamics of interacting particle systems of Calogero-Moser-Sutherland type. Recently, Andraus, Katori, and Miyashita derived some weak laws of large numbers for these processes for fixed positive times and multiplicities tending to infinity. In this paper we derive associated central limit theorems for the root systems of types A, B and D in an elementary way. In most cases, the limits will be normal distributions, but in the B-case there are freezing limits where distributions associated with the root system A or one-sided normal distributions on half-spaces appear. Our results are connected to central limit theorems of Dumitriu and Edelman for beta-Hermite and beta-Laguerre ensembles.


title: Coherent vector meson production at an electron ion collider

abstract: Exclusive vector meson electroproduction over a broad $Q^2$ range offers a unique opportunity to probe the gluon structure of nuclei to measure nuclear shadowing, and to search for gluon saturation and/or the colored glass condensate at an Electron-Ion Collider. Understanding the kinematic distributions and cross sections for specific processes can impact detector design to maximize their acceptance and strengthen the physics case. We will discuss predictions from a Monte Carlo generator eSTARlight, a tool developed to study production of exclusive vector meson final states. We present final state distributions and production rates for the $\rho$, $\phi$, J/$\psi$, $\psi'$ and the $\Upsilon$ states in $ep$ and $eA$ collisions at the different energies.


title: Deep Feature Aggregation and Image Re-ranking with Heat Diffusion for Image Retrieval

abstract: Image retrieval based on deep convolutional features has demonstrated state-of-the-art performance in popular benchmarks. In this paper, we present a unified solution to address deep convolutional feature aggregation and image re-ranking by simulating the dynamics of heat diffusion. A distinctive problem in image retrieval is that repetitive or \emph{bursty} features tend to dominate final image representations, resulting in representations less distinguishable. We show that by considering each deep feature as a heat source, our unsupervised aggregation method is able to avoid over-representation of \emph{bursty} features. We additionally provide a practical solution for the proposed aggregation method and further show the efficiency of our method in experimental evaluation. Inspired by the aforementioned deep feature aggregation method, we also propose a method to re-rank a number of top ranked images for a given query image by considering the query as the heat source. Finally, we extensively evaluate the proposed approach with pre-trained and fine-tuned deep networks on common public benchmarks and show superior performance compared to previous work.


title: An Optimal Rewiring Strategy for Reinforcement Social Learning in Cooperative Multiagent Systems

abstract: Multiagent coordination in cooperative multiagent systems (MASs) has been widely studied in both fixed-agent repeated interaction setting and the static social learning framework. However, two aspects of dynamics in real-world multiagent scenarios are currently missing in existing works. First, the network topologies can be dynamic where agents may change their connections through rewiring during the course of interactions. Second, the game matrix between each pair of agents may not be static and usually not known as a prior. Both the network dynamic and game uncertainty increase the coordination difficulty among agents. In this paper, we consider a multiagent dynamic social learning environment in which each agent can choose to rewire potential partners and interact with randomly chosen neighbors in each round. We propose an optimal rewiring strategy for agents to select most beneficial peers to interact with for the purpose of maximizing the accumulated payoff in repeated interactions. We empirically demonstrate the effectiveness and robustness of our approach through comparing with benchmark strategies. The performance of three representative learning strategies under our social learning framework with our optimal rewiring is investigated as well.


title: Effects of high energy electron irradiation on quantum emitters in hexagonal boron nitride

abstract: Hexagonal Boron Nitride (hBN) mono and multilayers are promising hosts for room temperature single photon emitters (SPEs). In this work we explore high energy (~ MeV) electron irradiation as a means to generate stable SPEs in hBN. We investigate four types of exfoliated hBN flakes - namely, high purity multilayers, isotopically pure hBN, carbon rich hBN multilayers and monolayered material - and find that electron irradiation increases emitter concentrations dramatically in all samples. Furthermore, the engineered emitters are located throughout hBN flakes (not only at flake edges or grain boundaries), and do not require activation by high temperature annealing of the host material after electron exposure. Our results provide important insights into controlled formation of hBN SPEs and may aid in identification of their crystallographic origin.


title: An Empirical Bayes Approach for Distributed Estimation of Spatial Fields

abstract: In this paper we consider a network of spatially distributed sensors which collect measurement samples of a spatial field, and aim at estimating in a distributed way (without any central coordinator) the entire field by suitably fusing all network data. We propose a general probabilistic model that can handle both partial knowledge of the physics generating the spatial field as well as a purely data-driven inference. Specifically, we adopt an Empirical Bayes approach in which the spatial field is modeled as a Gaussian Process, whose mean function is described by means of parametrized equations. We characterize the Empirical Bayes estimator when nodes are heterogeneous, i.e., perform a different number of measurements. Moreover, by exploiting the sparsity of both the covariance and the (parametrized) mean function of the Gaussian Process, we are able to design a distributed spatial field estimator. We corroborate the theoretical results with two numerical simulations: a stationary temperature field estimation in which the field is described by a partial differential (heat) equation, and a data driven inference in which the mean is parametrized by a cubic spline.


title: ExDiff Monte Carlo generator for Exclusive Diffraction. Version 2.0. Physics and manual

abstract: ExDiff2.0 is a Monte Carlo event generator for simulation of Exclusive Diffractive processes in proton-proton collisions. The present version includes reactions: elastic scattering $pp\to pp$ at 7, 8, 13, 14~TeV; $pp\to p+R+p$, $R = f_0(1500)$, $f_0(1710)$, $f_2(1950)$ at 8 and 13~TeV, $f_2(1270)$ at 8~TeV, $f_2(2220)$ at 13~TeV. In the future versions many processes of Central Exclusive Diffractive Production will be added. This version is linked to PYTHIA 8 (to make resonance decays and hadronization) and also to ROOT and HEPMC output via PYTHIA 8 interface. Also some test files of Born distributions for CEDP of two pions are added.


title: Computable Variants of AIXI which are More Powerful than AIXItl

abstract: This paper presents Unlimited Computable AI, or UCAI, that is a family of computable variants of AIXI. UCAI is more powerful than AIXItl, that is a conventional family of computable variants of AIXI, in the following ways: 1) UCAI supports models of terminating computation, including typed lambda calculus, while AIXItl only supports Turing machine with timeout t, which can be simulated by typed lambda calculus for any t; 2) unlike UCAI, AIXItl limits the program length to l.


title: Confounding-Robust Policy Improvement

abstract: We study the problem of learning personalized decision policies from observational data while accounting for possible unobserved confounding. Previous approaches, which assume unconfoundedness, i.e., that no unobserved confounders affect both the treatment assignment as well as outcome, can lead to policies that introduce harm rather than benefit when some unobserved confounding is present, as is generally the case with observational data. Instead, since policy value and regret may not be point-identifiable, we study a method that minimizes the worst-case estimated regret of a candidate policy against a baseline policy over an uncertainty set for propensity weights that controls the extent of unobserved confounding. We prove generalization guarantees that ensure our policy will be safe when applied in practice and will in fact obtain the best-possible uniform control on the range of all possible population regrets that agree with the possible extent of confounding. We develop efficient algorithmic solutions to compute this confounding-robust policy. Finally, we assess and compare our methods on synthetic and semi-synthetic data. In particular, we consider a case study on personalizing hormone replacement therapy based on observational data, where we validate our results on a randomized experiment. We demonstrate that hidden confounding can hinder existing policy learning approaches and lead to unwarranted harm, while our robust approach guarantees safety and focuses on well-evidenced improvement, a necessity for making personalized treatment policies learned from observational data reliable in practice.


title: Neural Generative Models for Global Optimization with Gradients

abstract: The aim of global optimization is to find the global optimum of arbitrary classes of functions, possibly highly multimodal ones. In this paper we focus on the subproblem of global optimization for differentiable functions and we propose an Evolutionary Search-inspired solution where we model point search distributions via Generative Neural Networks. This approach enables us to model diverse and complex search distributions based on which we can efficiently explore complicated objective landscapes. In our experiments we show the practical superiority of our algorithm versus classical Evolutionary Search and gradient-based solutions on a benchmark set of multimodal functions, and demonstrate how it can be used to accelerate Bayesian Optimization with Gaussian Processes.


title: Towards Inverse Sensor Mapping in Agriculture

abstract: In recent years, the drive of the Industry 4.0 initiative has enriched industrial and scientific approaches to build self-driving cars or smart factories. Agricultural applications benefit from both advances, as they are in reality mobile driving factories which process the environment. Therefore, acurate perception of the surrounding is a crucial task as it involves the goods to be processed, in contrast to standard indoor production lines. Environmental processing requires accurate and robust quantification in order to correctly adjust processing parameters and detect hazardous risks during the processing. While today approaches still implement functional elements based on a single particular set of sensors, it may become apparent that a unified representation of the environment compiled from all available information sources would be more versatile, sufficient, and cost effective. The key to this approach is the means of developing a common information language from the data provided. In this paper, we introduce and discuss techniques to build so called inverse sensor models that create a common information language among different, but typically agricultural, information providers. These can be current live sensor data, farm management systems, or long term information generated from previous processing, drones, or satellites. In the context of Industry 4.0, this enables the interoperability of different agricultural systems and allows information transparency.


title: Digitization and astrometric calibration of Carte du Ciel photographic plates with Gaia~DR1

abstract: We want to study whether the astrometric and photometric accuracies obtained for the Carte du Ciel plates digitized with a commercial digital camera are high enough for scientific exploitation of the plates. We use a digital camera Canon EOS~5Ds, with a 100mm macrolens for digitizing. We analyze six single-exposure plates and four triple-exposure plates from the Helsinki zone of Carte du Ciel (+39 degr < delta < 47 degr). Each plate is digitized using four images, with a significant central area being covered twice for quality control purposes. The astrometric calibration of the digitized images is done with the data from the Gaia TGAS (Tycho-Gaia Astrometric Solution) of the first Gaia data release (Gaia DR1), Tycho-2, HSOY (Hot Stuff for One Year), UCAC5 (USNO CCD Astrograph Catalog), and PMA catalogs. The best astrometric accuracy is obtained with the UCAC5 reference stars. The astrometric accuracy for single-exposure plates is sigma(R.A.)=0.16" and sigma(Dec.)=0.15" expressed as a Gaussian deviation of the astrometric residuals. For triple-exposure plates the astrometric accuracy is sigma(R.A.)=0.12" and sigma(Dec.)=0.13". The 1-sigma uncertainty of photometric calibration is about 0.28 mag and 0.24 mag for single- and triple-exposure plates, respectively. We detect the photographic adjacency (Kostinsky) effect in the triple-exposure plates. We show that accuracies at least of the level of scanning machines can be achieved with a digital camera, without any corrections for possible distortions caused by our instrumental setup. This method can be used to rapidly and inexpensively digitize and calibrate old photographic plates enabling their scientific exploitation.


title: Flavour Dynamics and Violations of the CP Symmetry

abstract: An overview of flavour physics and CP-violating phenomena is presented. The Standard Model quark-mixing mechanism is discussed in detail and its many successful experimental tests are summarized. Flavour-changing transitions put very stringent constraints on new-physics scenarios beyond the Standard Model framework. Special attention is given to the empirical evidences of CP violation and their important role in our understanding of flavour dynamics. The current status of the so-called flavour anomalies is also reviewed.


title: DRAPS: Dynamic and Resource-Aware Placement Scheme for Docker Containers in a Heterogeneous Cluster

abstract: Virtualization is a promising technology that has facilitated cloud computing to become the next wave of the Internet revolution. Adopted by data centers, millions of applications that are powered by various virtual machines improve the quality of services. Although virtual machines are well-isolated among each other, they suffer from redundant boot volumes and slow provisioning time. To address limitations, containers were born to deploy and run distributed applications without launching entire virtual machines. As a dominant player, Docker is an open-source implementation of container technology. When managing a cluster of Docker containers, the management tool, Swarmkit, does not take the heterogeneities in both physical nodes and virtualized containers into consideration. The heterogeneity lies in the fact that different nodes in the cluster may have various configurations, concerning resource types and availabilities, etc., and the demands generated by services are varied, such as CPU-intensive (e.g. Clustering services) as well as memory-intensive (e.g. Web services). In this paper, we target on investigating the Docker container cluster and developed, DRAPS, a resource-aware placement scheme to boost the system performance in a heterogeneous cluster.


title: Pion condensation and phase diagram in the Polyakov-loop quark-meson model

abstract: We use the Polyakov-loop extended two-flavor quark-meson model as a low-energy effective model for QCD to study the phase diagram in the $\mu_I$--$T$ plane where $\mu_I$ is the isospin chemical potential. In particular, we focus on the Bose condensation of charged pions. At $T=0$, the onset of pion condensation is at $\mu_I={1\over2}m_{\pi}$ in accordance with exact results. The phase transition to a Bose-condensed phase is of second order for all values of $\mu_I$ and in the $O(2)$ universality class. The chiral critical line joins the critical line for pion condensation at a point whose position depends on the Polyakov-loop potential and the sigma mass. For larger values of $\mu_I$ these curves are on top of each other. The deconfinement line enters smoothly the phase with the broken $O(2)$ symmetry. We compare our results with recent lattice simulations and find overall good agreement.


title: Boosting Entanglement Between Exciton-Polaritons with On-Off Switching of Josephson Coupling

abstract: We show that the appropriate on-off switching of Josephson coupling between exciton-polaritons in coupled semiconductor microcavities can reveal the full capacity for generating entanglement with a recently proposed method which essentially enhances the nonlinearity of the system. The improvement achieved with this simple modulation of the coupling is substantial over the case where it is kept constant. The suggested procedure is expected to find also application in other research areas, where nonlinear interacting bosons are encountered.


title: Norden structures on cotangent bundles

abstract: We study prolongation of Norden structures on manifolds to their generalized tangent bundles and to their cotangent bundles. In particular, by using methods of generalized geometry, we prove that the cotangent bundle of a complex Norden manifold $(M,J,g)$ admits a structure of Norden manifold, $(T^{\star}(M),\tilde J, \tilde g)$. Moreover if $(M,J,g)$ has flat natural canonical connection then $\tilde J$ is integrable, that is $(T^{\star}(M),\tilde J, \tilde g)$ is a complex Norden manifold. Finally we prove that if $(M,J,g)$ is K\"ahler Norden flat then $(T^{\star}(M),\tilde J, \tilde g)$ is K\"ahler Norden flat.


title: Orthogonal Point Location and Rectangle Stabbing Queries in 3-d

abstract: In this work, we present a collection of new results on two fundamental problems in geometric data structures: orthogonal point location and rectangle stabbing. -We give the first linear-space data structure that supports 3-d point location queries on $n$ disjoint axis-aligned boxes with optimal $O\left( \log n\right)$ query time in the (arithmetic) pointer machine model. This improves the previous $O\left( \log^{3/2} n \right)$ bound of Rahul [SODA 2015]. We similarly obtain the first linear-space data structure in the I/O model with optimal query cost, and also the first linear-space data structure in the word RAM model with sub-logarithmic query time. -We give the first linear-space data structure that supports 3-d $4$-sided and $5$-sided rectangle stabbing queries in optimal $O(\log_wn+k)$ time in the word RAM model. We similarly obtain the first optimal data structure for the closely related problem of 2-d top-$k$ rectangle stabbing in the word RAM model, and also improved results for 3-d 6-sided rectangle stabbing. For point location, our solution is simpler than previous methods, and is based on an interesting variant of the van Emde Boas recursion, applied in a round-robin fashion over the dimensions, combined with bit-packing techniques. For rectangle stabbing, our solution is a variant of Alstrup, Brodal, and Rauhe's grid-based recursive technique (FOCS 2000), combined with a number of new ideas.


title: Search for alternative magnetic tunnel junctions based on all-Heusler stacks

abstract: By imposing the constraints of structural compatibility, stability and a large tunneling magneto-resistance, we have identified the Fe$_3$Al/BiF$_3$/Fe$_3$Al stack as a possible alternative to the well-established FeCoB/MgO/FeCoB in the search for a novel materials platform for high-performance magnetic tunnel junctions. Various geometries of the Fe$_3$Al/BiF$_3$/Fe$_3$Al structure have been analyzed, demonstrating that a barrier of less than 2~nm yields a tunneling magneto-resistance in excess of 25,000~\% at low bias, without the need for the electrodes to be half-metallic. Importantly, the presence of a significant spin gap in Fe$_3$Al for states with $\Delta_1$ symmetry along the stack direction makes the TMR very resilient to high voltages.


title: Clinical evaluation of semi-automatic opensource algorithmic software segmentation of the mandibular bone: Practical feasibility and assessment of a new course of action

abstract: Computer assisted technologies based on algorithmic software segmentation are an increasing topic of interest in complex surgical cases. However - due to functional instability, time consuming software processes, personnel resources or licensed-based financial costs many segmentation processes are often outsourced from clinical centers to third parties and the industry. Therefore, the aim of this trial was to assess the practical feasibility of an easy available, functional stable and licensed-free segmentation approach to be used in the clinical practice. In this retrospective, randomized, controlled trail the accuracy and accordance of the open-source based segmentation algorithm GrowCut (GC) was assessed through the comparison to the manually generated ground truth of the same anatomy using 10 CT lower jaw data-sets from the clinical routine. Assessment parameters were the segmentation time, the volume, the voxel number, the Dice Score (DSC) and the Hausdorff distance (HD). Overall segmentation times were about one minute. Mean DSC values of over 85% and HD below 33.5 voxel could be achieved. Statistical differences between the assessment parameters were not significant (p<0.05) and correlation coefficients were close to the value one (r > 0.94). Complete functional stable and time saving segmentations with high accuracy and high positive correlation could be performed by the presented interactive open-source based approach. In the cranio-maxillofacial complex the used method could represent an algorithmic alternative for image-based segmentation in the clinical practice for e.g. surgical treatment planning or visualization of postoperative results and offers several advantages. Systematic comparisons to other segmentation approaches or with a greater data amount are areas of future works.


title: Reversible effects as inverse arrows

abstract: Reversible computing models settings in which all processes can be reversed. Applications include low-power computing, quantum computing, and robotics. It is unclear how to represent side-effects in this setting, because conventional methods need not respect reversibility. We model reversible effects by adapting Hughes' arrows to dagger arrows and inverse arrows. This captures several fundamental reversible effects, including serialization and mutable store computations. Whereas arrows are monoids in the category of profunctors, dagger arrows are involutive monoids in the category of profunctors, and inverse arrows satisfy certain additional properties. These semantics inform the design of functional reversible programs supporting side-effects.


title: A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

abstract: We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short). Our application solves the main TBox and ABox reasoning problems for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$. In particular, it solves the consistency problem for $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases represented in set-theoretic terms, and a generalization of the \emph{Conjunctive Query Answering} problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and optimizes a previous prototype for the consistency checking of $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases (see \cite{cilc17}), is implemented in \textsf{C++}. It supports $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$-knowledge bases serialized in the OWL/XML format, and it admits also rules expressed in SWRL (Semantic Web Rule Language).


title: Finite- Size Scaling of Correlation Function

abstract: We propose the finite-size scaling of correlation function in a finite system near its critical point. At a distance ${\bf r}$ in the finite system with size $L$, the correlation function can be written as the product of $|{\bf r}|^{-(d-2+\eta)}$ and its finite-size scaling function of variables ${\bf r}/L$ and $tL^{1/\nu}$, where $t=(T-T_c)/T_c$. The directional dependence of correlation function is nonnegligible only when $|{\bf r}|$ becomes compariable with $L$. This finite-size scaling of correlation function has been confirmed by correlation functions of the Ising model and the bond percolation in two-diemnional lattices, which are calculated by Monte Carlo simulation. We can use the finite-size scaling of correlation function to determine the critical point and the critical exponent $\eta$.


title: Magnetic Levitation Stabilized by Streaming Fluid Flows

abstract: We demonstrate that the ubiquitous laboratory magnetic stirrer provides a simple passive method of magnetic levitation, in which the so-called `flea' levitates indefinitely. We study the onset of levitation and quantify the flea's motion (a combination of vertical oscillation, spinning and "waggling"), finding excellent agreement with a mechanical analytical model. The waggling motion drives recirculating flow, producing a centripetal reaction force that stabilises the flea. Our findings have implications for the locomotion of artificial swimmers, for the development of bidirectional microfluidic pumps and provide an alternative to sophisticated commercial levitators.


title: Resonance-based Secure Pairing for Wearables

abstract: Securely pairing wearables with another device is the key to many promising applications. This paper presents \textit{Touch-And-Guard (TAG)}, a system that uses hand touch as an intuitive manner to establish a secure connection between a wristband wearable and the touched device. It generates secret bits from hand resonant properties, which are obtained using accelerometers and vibration motors. The extracted secret bits are used by both sides to authenticate each other and then communicate confidentially. The ubiquity of accelerometers and motors presents an immediate market for our system. We demonstrate the feasibility of our system using an experimental prototype and conduct experiments involving 12 participants with 1440 trials. The results indicate that we can generate secret bits at a rate of 7.15 bit/s, which is 44% faster than conventional text input PIN authentication.


title: Optimization, fast and slow: optimally switching between local and Bayesian optimization

abstract: We develop the first Bayesian Optimization algorithm, BLOSSOM, which selects between multiple alternative acquisition functions and traditional local optimization at each step. This is combined with a novel stopping condition based on expected regret. This pairing allows us to obtain the best characteristics of both local and Bayesian optimization, making efficient use of function evaluations while yielding superior convergence to the global minimum on a selection of optimization problems, and also halting optimization once a principled and intuitive stopping condition has been fulfilled.


title: Conformal generic submersions with total space an almost Hermitian manifold

abstract: Akyol, M. A and \c{S}ahin, B. [Conformal semi-invariant submersions, Commun. Contemp. Math. 19, 1650011 (2017).] introduced the notion of conformal semi-invariant submersions from almost Hermitian manifolds. The present paper deal with the study of conformal generic submersions from almost Hermitian manifolds which extends semi-invariant submersions, generic Riemannian submersions and conformal semi-invariant submersions a natural way. We mention some examples of such maps and obtain characterizations and investigate some properties, including the integrability of distributions, the geometry of foliations and totally geodesic foliations. Moreover, we obtain some conditions for such submersions to be totally geodesic and harmonic, respectively.


title: On the Worst-Case Complexity of TimSort

abstract: TimSort is an intriguing sorting algorithm designed in 2002 for Python, whose worst-case complexity was announced, but not proved until our recent preprint. In fact, there are two slightly different versions of TimSort that are currently implemented in Python and in Java respectively. We propose a pedagogical and insightful proof that the Python version runs in $\mathcal{O}(n\log n)$. The approach we use in the analysis also applies to the Java version, although not without very involved technical details. As a byproduct of our study, we uncover a bug in the Java implementation that can cause the sorting method to fail during the execution. We also give a proof that Python's TimSort running time is in $\mathcal{O}(n + n\log \rho)$, where $\rho$ is the number of runs (i.e. maximal monotonic sequences), which is quite a natural parameter here and part of the explanation for the good behavior of TimSort on partially sorted inputs.


title: Acausal quantum theory for non-Archimedean scalar fields

abstract: We construct a family of quantum scalar fields over a $p-$adic spacetime which satisfy $p-$adic analogues of the G\aa rding--Wightman axioms. Most of the axioms can be formulated the same way in both, the Archimedean and non-Archimedean frameworks; however, the axioms depending on the ordering of the background field must be reformulated, reflecting the acausality of $p-$adic spacetime. The $p-$adic scalar fields satisfy certain $p-$adic Klein-Gordon pseudo-differential equations. The second quantization of the solutions of these Klein-Gordon equations corresponds exactly to the scalar fields introduced here.


title: Perturbation theory for solutions to second order elliptic operators with complex coefficients and the $L^p$ Dirichlet problem

abstract: We establish a Dahlberg-type perturbation theorem for second order divergence form elliptic operators with complex coefficients. In our previous paper, we showed the following result: If ${\mathcal L}_0=\mbox{div} A^0(x)\nabla+B^0(x)\cdot\nabla$ is a $p$-elliptic operator satisfying certain Carleson condition on $\nabla A$ and $B$ then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_0$ is solvable in the upper half-space ${\mathbb R}^n_+$. In this paper we prove that the $L^p$ solvability is stable under small perturbations of ${\mathcal L}_0$. That is if ${\mathcal L}_1$ is another divergence form elliptic operator with complex coefficients and the coefficients of the operators ${\mathcal L}_0$ and ${\mathcal L}_1$ are sufficiently close in the sense of Carleson measures (considering the differences of coefficients), then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_1$ is solvable for the same value of $p$. As a corollary we obtain a new result on $L^p$ solvability of the Dirichlet problem for operators of the form ${\mathcal L}=\mbox{div} A(x)\nabla+B(x)\cdot\nabla$ where the matrix $A$ satisfies weaker Carleson condition than in our earlier paper; in particular the coefficients of $A$ need no longer be differentiable and instead satisfy a Carleson condition that controls the oscillation of the matrix $A$ over Whitney boxes. This result in the real case has been established by Dindo\v{s}, Petermichl and Pipher.


title: Adversarial Learning of Raw Speech Features for Domain Invariant Speech Recognition

abstract: Recent advances in neural network based acoustic modelling have shown significant improvements in automatic speech recognition (ASR) performance. In order for acoustic models to be able to handle large acoustic variability, large amounts of labeled data is necessary, which are often expensive to obtain. This paper explores the application of adversarial training to learn features from raw speech that are invariant to acoustic variability. This acoustic variability is referred to as a domain shift in this paper. The experimental study presented in this paper leverages the architecture of Domain Adversarial Neural Networks (DANNs) [1] which uses data from two different domains. The DANN is a Y-shaped network that consists of a multi-layer CNN feature extractor module that is common to a label (senone) classifier and a so-called domain classifier. The utility of DANNs is evaluated on multiple datasets with domain shifts caused due to differences in gender and speaker accents. Promising empirical results indicate the strength of adversarial training for unsupervised domain adaptation in ASR, thereby emphasizing the ability of DANNs to learn domain invariant features from raw speech.


title: Energy-Efficient Mobile Network I/O Optimization at the Application Layer

abstract: Mobile data traffic (cellular + WiFi) will exceed PC Internet traffic by 2020. As the number of smartphone users and the amount of data transferred per smartphone grow exponentially, limited battery power is becoming an increasingly critical problem for mobile devices which depend on the network I/O. Despite the growing body of research in power management techniques for the mobile devices at the hardware layer as well as the lower layers of the networking stack, there has been little work focusing on saving energy at the application layer for the mobile systems during network I/O. In this paper, to the best of our knowledge, we are first to provide an in-depth analysis of the effects of application-layer data transfer protocol parameters on the energy consumption of mobile phones. We propose a novel model, called FastHLA, that can achieve significant energy savings at the application layer during mobile network I/O without sacrificing the performance. In many cases, our model achieves performance increase and energy saving simultaneously.


title: The Toda system and solution to the $\cal{N}$=2 SUSY Yang-Mills theory

abstract: We briefly review the place of the Toda closed chain and the Toda field theory in solution to the $\cal{N}$=2 supersymmetric Yang-Mills theory. The classical and quantum aspects of the correspondence are mentioned and the role of branes as degrees of freedom is emphasized.


title: Many-Body Dissipative Flow of a Confined Scalar Bose-Einstein Condensate Driven by a Gaussian Impurity

abstract: The many-body dissipative flow induced by a mobile aussian impurity harmonically oscillating within a cigar-shaped Bose-Einstein condensate is investigated. For very {small and large driving frequencies} the superfluid phase is preserved. Dissipation is identified, for intermediate driving frequencies, by the non-zero value of the drag force whose abrupt increase {signals the spontaneous downstream emission of an array of gray solitons. After each emission event, typically each of the solitary waves formed decays and splits into two daughter gray solitary waves that are found to be robust propagating in the bosonic background for large evolution times.} In particular, a smooth transition towards dissipation is observed, with the {\it critical} velocity for solitary wave formation depending on both the characteristics of the obstacle, namely its driving frequency and width as well as on the interaction strength. The variance of a sample of single-shot simulations indicates the fragmented nature of the system; here it is found to increase during evolution for driving frequencies where the coherent structure formation becomes significant. Finally, we demonstrate that for fairly large particle numbers in-situ single-shot images directly capture the gray soliton's decay and splitting.

categories: cond-mat.quant-gas nlin.PS physics.atom-ph quant-ph


title: On ring homeomorphisms with inverse modulus conditions

abstract: We consider a class of so-called ring $Q$-mappings that are a generalization of quasiconformal mappings. Theorems on the local behavior of inverse maps of this class are obtained. Under certain conditions, we also investigated the behavior of families of these mappings in the closure of the domain


title: Wavelet Convolutional Neural Networks

abstract: Spatial and spectral approaches are two major approaches for image processing tasks such as image classification and object recognition. Among many such algorithms, convolutional neural networks (CNNs) have recently achieved significant performance improvement in many challenging tasks. Since CNNs process images directly in the spatial domain, they are essentially spatial approaches. Given that spatial and spectral approaches are known to have different characteristics, it will be interesting to incorporate a spectral approach into CNNs. We propose a novel CNN architecture, wavelet CNNs, which combines a multiresolution analysis and CNNs into one model. Our insight is that a CNN can be viewed as a limited form of a multiresolution analysis. Based on this insight, we supplement missing parts of the multiresolution analysis via wavelet transform and integrate them as additional components in the entire architecture. Wavelet CNNs allow us to utilize spectral information which is mostly lost in conventional CNNs but useful in most image processing tasks. We evaluate the practical performance of wavelet CNNs on texture classification and image annotation. The experiments show that wavelet CNNs can achieve better accuracy in both tasks than existing models while having significantly fewer parameters than conventional CNNs.


title: Entropy formula in Einstein-Maxwell-Dilaton theory and its validity for black strings

abstract: We consider near horizon fall-off conditions of stationary black holes in Einstein-Maxwell-Dilaton theory and find conserved charge conjugate to symmetry generator that preserves near horizon fall-off conditions. Subsequently, we find supertranslation, superrotation and multiple-charge modes. We apply the obtained results on a typical static dilaton black hole and on a charged rotating black string, as examples. In this case, supertranslation double-zero-mode charge $\mathcal{T}_{(0,0)}$ is not equal to black hole entropy times Hawking temperature. This may be seen as a problem but it is not, because, in Einstein-Maxwell-Dilaton theory, we have a U(1) gauge freedom and we use an appropriate gauge fixing to fix that problem. We show that new entropy formula $4 \pi \hat{J}^{+}_{0} \hat{J}^{-}_{0}$, proposed in \cite{17}, is valid for black strings as well as black holes.


title: Transitions, Losses, and Re-parameterizations: Elements of Prediction Games

abstract: This thesis presents some geometric insights into three different types of two player prediction games -- namely general learning task, prediction with expert advice, and online convex optimization. These games differ in the nature of the opponent (stochastic, adversarial, or intermediate), the order of the players' move, and the utility function. The insights shed some light on the understanding of the intrinsic barriers of the prediction problems and the design of computationally efficient learning algorithms with strong theoretical guarantees (such as generalizability, statistical consistency, and constant regret etc.).


title: Peculiarities of temperature dependence for generalized Hall-Petch law and two-phase model for deformable polycrystalline materials

abstract: In the framework of the suggested in [arxiv:1803.08247 [cond-mat.mtrl-sci]] statistical theory of the equilibrium flow stress, including yield strength, ${\sigma}_y$, of polycrystalline materials under quasi-static (in case of tensile strain) plastic deformation in dependence on average size, d, of the crystallites (grains) in the range, $10^{-8}$ m - $10^{-2}$ m. it is found the coincidences of the theoretical and experimental data of ${\sigma}_y$ for the materials with BCC (${\alpha}$- Fe), FCC (Cu, Al, Ni) and HCP (${\alpha}$-Ti, Zr) crystal lattice at T=300K. The temperature dependence of the strength characteristics is studied. It is shown on the example of Al, that the yield strength grows with decreasing of the temperature for all grains with d greater than $3*d_0$ (with $d_0$ being extremal size of the grain for maximal ${\sigma}_y$) and then ${\sigma}_y$ decreases in the nano-crystalline region, thus determining a temperature-dimension effect. Stress-strain curves, ${\sigma}={\sigma}({\epsilon})$, are constructed for the pure crystalline phase of ${\alpha}$-Fe with Backofen-Consid\'ere fracture criterion validity. The single-phase model of polycrystalline material is augmented by means of inclusion of a softening grain boundary phase.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft physics.data-an


title: Deep Learning Inference on Embedded Devices: Fixed-Point vs Posit

abstract: Performing the inference step of deep learning in resource constrained environments, such as embedded devices, is challenging. Success requires optimization at both software and hardware levels. Low precision arithmetic and specifically low precision fixed-point number systems have become the standard for performing deep learning inference. However, representing non-uniform data and distributed parameters (e.g. weights) by using uniformly distributed fixed-point values is still a major drawback when using this number system. Recently, the posit number system was proposed, which represents numbers in a non-uniform manner. Therefore, in this paper we are motivated to explore using the posit number system to represent the weights of Deep Convolutional Neural Networks. However, we do not apply any quantization techniques and hence the network weights do not require re-training. The results of this exploration show that using the posit number system outperformed the fixed point number system in terms of accuracy and memory utilization.


title: Robustness of the $S$-deformation method for black hole stability analysis

abstract: The $S$-deformation method is a useful way to show the linear mode stability of a black hole when the perturbed field equation takes the form of the Schr\"odinger equation. While previous works where many explicit examples are studied suggest that this method works well, general discussion is not given yet explicitly. In this paper, we show the existence of a regular $S$-deformation when a black hole spacetime is stable under some reasonable assumptions. This $S$-deformation is constructed from a solution of a differential equation. We also show that the boundary condition for the differential equation which corresponds to a regular $S$-deformation has a one-parameter degree of freedom with a finite range. This is the reason why any fine-tune technique is not needed to find $S$-deformation numerically.


title: Simulation of Large Scale Neural Networks for Evaluation Applications

abstract: Understanding the complexity of biological neural networks like the human brain is one of the scientific challenges of our century. The organization of the brain can be described at different levels, ranging from small neural networks to entire brain regions. Existing methods for the description of functionally or effective connectivity are based on the analysis of relations between the activities of different neural units by detecting correlations or information flow. This is a crucial step in understanding neural disorders like Alzheimers disease and their causative factors. To evaluate these estimation methods, it is necessary to refer to a neural network with known connectivity, which is typically unknown for natural biological neural networks. Therefore, network simulations, also in silico, are available. In this work, the in silico simulation of large scale neural networks is established and the influence of different topologies on the generated patterns of neuronal signals is investigated. The goal is to develop standard evaluation methods for neurocomputational algorithms with a realistic large scale model to enable benchmarking and comparability of different studies.


title: Remarks on the invariants valued in the generalization of Conway algebra

abstract: In~\cite{Kim} the author generalized the Conway algebra and constructed the invariant valued in the generalized Conway algebra defined by applying two skein relations to crossings, which is called a generalized Conway type invariant. The generalized Conway type invariant is a generalization of Homflypt polynomial. In this paper we show that an example of links, which have the same value of Homflypt polynomial, but have different values of the generalized Conway type invariant. We study a properties of Conway type invariant related to Vassiliev invariant. In section 3 we discuss about further researches.


title: Military and terrorist attacks against chemical weapons sites and the prospect of a Syrian War Syndrome

abstract: Sarin explosive dispersion simulations indicate that the effects of military, terrorist and accidental explosions on Sarin storage areas could be devastating at large distances from ground zero as they would practically amount to gigantic lethal chemical weapon explosions. As a case study, the April 14, 2018 military strikes on the alleged Syrian chemical weapons sites are investigated due to their high relevance and similarity to the Sarin releases occurred in the US demolition operations at the Khamisiyah Pit in Iraq (1991) believed to have been a possible source of the Gulf War Syndrome. The results show that even if a few kilograms of Sarin had been explosively released from the alleged chemical weapons sites targeted in Syria then hundreds to thousands of people would have experienced lethal or serious irreversible health effects in Syria. The prospect of the appearance of a Sarin-induced Syrian War Syndrome is also discussed for the first time.


title: Correlation Clustering Based Coalition Formation For Multi-Robot Task Allocation

abstract: In this paper, we study the multi-robot task allocation problem where a group of robots needs to be allocated to a set of tasks so that the tasks can be finished optimally. One task may need more than one robot to finish it. Therefore the robots need to form coalitions to complete these tasks. Multi-robot coalition formation for task allocation is a well-known NP-hard problem. To solve this problem, we use a linear-programming based graph partitioning approach along with a region growing strategy which allocates (near) optimal robot coalitions to tasks in a negligible amount of time. Our proposed algorithm is fast (only taking 230 secs. for 100 robots and 10 tasks) and it also finds a near-optimal solution (up to 97.66% of the optimal). We have empirically demonstrated that the proposed approach in this paper always finds a solution which is closer (up to 9.1 times) to the optimal solution than a theoretical worst-case bound proved in an earlier work.


title: Estimating probabilistic context-free grammars for proteins using contact map constraints

abstract: Learning language of protein sequences, which captures non-local interactions between amino acids close in the spatial structure, is a long-standing bioinformatics challenge, which requires at least context-free grammars. However, complex character of protein interactions impedes unsupervised learning of context-free grammars. Using structural information to constrain the syntactic trees proved effective in learning probabilistic natural and RNA languages. In this work, we establish a framework for learning probabilistic context-free grammars for protein sequences from syntactic trees partially constrained using amino acid contacts obtained from wet experiments or computational predictions, whose reliability has substantially increased recently. Within the framework, we implement the maximum-likelihood and contrastive estimators of parameters for simple yet practical grammars. Tested on samples of protein motifs, grammars developed within the framework showed improved precision in recognition and higher fidelity to protein structures. The framework is applicable to other biomolecular languages and beyond wherever knowledge of non-local dependencies is available.


title: Analysis of the Veracities of Industry Used Software Development Life Cycle Methodologies

abstract: Currently, software industries are using different SDLC (software development life cycle) models which are designed for specific purposes. The use of technology is booming in every perspective of life and the software behind the technology plays an enormous role. As the technical complexities are increasing, successful development of software solely depends on the proper management of development processes. So, it is inevitable to introduce improved methodologies in the industry so that modern human centred software applications development can be managed and delivered to the user successfully. So, in this paper, we have explored the facts of different SDLC models and perform their comparative analysis.


title: Towards Global Optimization in Display Advertising by Integrating Multimedia Metrics with Real-Time Bidding

abstract: Real-time bidding (RTB) has become a new norm in display advertising where a publisher uses auction models to sell online user's page view to advertisers. In RTB, the ad with the highest bid price will be displayed to the user. This ad displaying process is biased towards the publisher. In fact, the benefits of the advertiser and the user have been rarely discussed. Towards the global optimization, we argue that all stakeholders' benefits should be considered. To this end, we propose a novel computation framework where multimedia techniques and auction theory are integrated. This doctoral research mainly focus on 1) figuring out the multimedia metrics that affect the effectiveness of online advertising; 2) integrating the discovered metrics into the RTB framework. We have presented some preliminary results and discussed the future directions.


title: The right way to teach the FFT

abstract: The algorithm behind the Fast Fourier Transform has a simple yet beautiful geometric interpretation that is often lost in translation in a classroom. This article provides a visual perspective which aims to capture the essence of it.


title: Facade Segmentation in the Wild

abstract: Urban facade segmentation from automatically acquired imagery, in contrast to traditional image segmentation, poses several unique challenges. 360-degree photospheres captured from vehicles are an effective way to capture a large number of images, but this data presents difficult-to-model warping and stitching artifacts. In addition, each pixel can belong to multiple facade elements, and different facade elements (e.g., window, balcony, sill, etc.) are correlated and vary wildly in their characteristics. In this paper, we propose three network architectures of varying complexity to achieve multilabel semantic segmentation of facade images while exploiting their unique characteristics. Specifically, we propose a MULTIFACSEGNET architecture to assign multiple labels to each pixel, a SEPARABLE architecture as a low-rank formulation that encourages extraction of rectangular elements, and a COMPATIBILITY network that simultaneously seeks segmentation across facade element types allowing the network to 'see' intermediate output probabilities of the various facade element classes. Our results on benchmark datasets show significant improvements over existing facade segmentation approaches for the typical facade elements. For example, on one commonly used dataset, the accuracy scores for window(the most important architectural element) increases from 0.91 to 0.97 percent compared to the best competing method, and comparable improvements on other element types.


title: Joint Configuration of Transmission Direction and Altitude in UAV-based Two-Way Communication

abstract: When considering unidirectional communication for unmanned aerial vehicles (UAVs) as flying Base Stations (BSs), either uplink or downlink, the system is limited through the co-channel interference that takes place over line-of-sight (LoS) links. This paper considers two-way communication and takes advantage of the fact that the interference among the ground devices takes place through non-line-of-sight (NLoS) links. UAVs can be deployed at the high altitudes to have larger coverage, while the two-way communication allows to configure the transmission direction. Using these two levers, we show how the system throughput can be maximized for a given deployment of the ground devices.


title: The electronics of the energy plane of the NEXT-White detector

abstract: This paper describes the electronics of NEXT-White (NEW) detector PMT plane, a high pressure xenon TPC with electroluminescent amplification (HPXe-EL) currently operating at the Laboratorio Subterra\'aneo de Canfranc (LSC) in Huesca, Spain. In NEXT-White the energy of the event is measured by a plane of photomultipliers (PMTs) located behind a transparent cathode. The PMTs are Hamamatsu R11410-10 chosen due to their low radioactivity. The electronics have been designed and implemented to fulfill strict requirements: an overall energy resolution below 1% and a radiopurity budget of 20 mBq unit-1 in the chain of 214Bi . All the components and materials have been carefully screened to assure a low radioactivity level and at the same time meet the required front-end electronics specifications. In order to reduce low frequency noise effects and enhance detector safety a grounded cathode connection has been used for the PMTs. This implies an AC-coupled readout and baseline variations in the PMT signals. A detailed description of the electronics and a novel approach based on a digital baseline restoration to obtain a linear response and handle AC coupling effects is presented. The final PMT channel design has been characterized with linearity better than 0.4% and noise below 0.4mV .


title: Solvable Integration Problems and Optimal Sample Size Selection

abstract: We compute the integral of a function or the expectation of a random variable with minimal cost and use, for our new algorithm and for upper bounds of the complexity, i.i.d. samples. Under certain assumptions it is possible to select a sample size based on a variance estimation, or -- more generally -- based on an estimation of a (central absolute) $p$-moment. That way one can guarantee a small absolute error with high probability, the problem is thus called solvable. The expected cost of the method depends on the $p$-moment of the random variable, which can be arbitrarily large. In order to prove the optimality of our algorithm we also provide lower bounds. These bounds apply not only to methods based on i.i.d. samples but also to general randomized algorithms. They show that -- up to constants -- the cost of the algorithm is optimal in terms of accuracy, confidence level, and norm of the particular input random variable. Since the considered classes of random variables or integrands are very large, the worst case cost would be infinite. Nevertheless one can define adaptive stopping rules such that for each input the expected cost is finite. We contrast these positive results with examples of integration problems that are not solvable.