title: Secure Credit Reporting on the Blockchain

abstract: We present a secure approach for maintaining and reporting credit history records on the Blockchain. Our approach removes third-parties such as credit reporting agencies from the lending process and replaces them with smart contracts. This allows customers to interact directly with the lenders or banks while ensuring the integrity, unmalleability and privacy of their credit data. Most importantly, each customer is given full control over complete or selective disclosure of her credit records, eliminating the risk of privacy violations or data breaches such as the one that happened to Equifax in 2017. Moreover, our approach provides strong guarantees for the lenders as well. A lender can check both correctness and completeness of the credit data disclosed to her. This is the first approach that is able to perform all real-world credit reporting tasks without a central authority or changing the financial mechanisms.


title: Maize Haploid Identification via LSTM-CNN and Hyperspectral Imaging Technology

abstract: Accurate and fast identification of seed cultivars is crucial to plant breeding, with accelerating breeding of new products and increasing its quality. In our study, the first attempt to design a high-accurate identification model of maize haploid seeds from diploid ones based on optimum waveband selection of the LSTM-CNN algorithm is realized via deep learning and hyperspectral imaging technology, with accuracy reaching 97% in the determining optimum waveband of 1367.6-1526.4nm. The verification of testing another cultivar achieved an accuracy of 93% in the same waveband. The model collected images of 256 wavebands of seeds in the spectral region of 862.9-1704.2nm. The high-noise waveband intervals were found and deleted by the LSTM. The optimum-data waveband intervals were determined by CNN's waveband-based detection. The optimum sample set for network training only accounted for 1/5 of total sample data. The accuracy was significantly higher than the full-waveband modeling or modeling of any other wavebands. Our study demonstrates that the proposed model has outstanding effect on maize haploid identification and it could be generalized to some extent.


title: Transformed rank-1 lattices for high-dimensional approximation

abstract: This paper describes an extension of Fourier approximation methods for multivariate functions defined on the torus $\mathbb{T}^d$ to functions in a weighted Hilbert space $L_{2}(\mathbb{R}^d, \omega)$ via a multivariate change of variables $\psi:\left(-\frac{1}{2},\frac{1}{2}\right)^d\to\mathbb{R}^d$. We establish sufficient conditions on $\psi$ and $\omega$ such that the composition of a function in such a weighted Hilbert space with $\psi$ yields a function in the Sobolev space $H_{\mathrm{mix}}^{m}(\mathbb{T}^d)$ of functions on the torus with mixed smoothness of natural order $m \in \mathbb{N}_{0}$. In this approach we adapt algorithms for the evaluation and reconstruction of multivariate trigonometric polynomials on the torus $\mathbb{T}^d$ based on single and multiple reconstructing rank-$1$ lattices. Since in applications it may be difficult to choose a related function space, we make use of dimension incremental construction methods for sparse frequency sets. Various numerical tests confirm obtained theoretical results for the transformed methods.


title: Multiplex Network Structure Enhances the Role of Generalized Reciprocity in Promoting Cooperation

abstract: In multi-agent systems, cooperative behavior is largely determined by the network structure which dictates the interactions among neighboring agents. These interactions often exhibit multidimensional features, either as relationships of different types or temporal dynamics, both of which may be modeled as a "multiplex" network. Against this background, here we advance the research on cooperation models inspired by generalized reciprocity, a simple pay-it-forward behavioral mechanism, by considering a multidimensional networked society. Our results reveal that a multiplex network structure can act as an enhancer of the role of generalized reciprocity in promoting cooperation by acting as a latent support, even when the parameters in some of the separate network dimensions suggest otherwise (i.e. favor defection). As a result, generalized reciprocity forces the cooperative contributions of the individual agents to concentrate in the dimension which is most favorable for the existence of cooperation.


title: Deep Learning Estimation of Absorbed Dose for Nuclear Medicine Diagnostics

abstract: The distribution of energy dose from Lu$^{177}$ radiotherapy can be estimated by convolving an image of a time-integrated activity distribution with a dose voxel kernel (DVK) consisting of different types of tissues. This fast and inacurate approximation is inappropriate for personalized dosimetry as it neglects tissue heterogenity. The latter can be calculated using different imaging techniques such as CT and SPECT combined with a time consuming monte-carlo simulation. The aim of this study is, for the first time, an estimation of DVKs from CT-derived density kernels (DK) via deep learning in convolutional neural networks (CNNs). The proposed CNN achieved, on the test set, a mean intersection over union (IOU) of $= 0.86$ after $308$ epochs and a corresponding mean squared error (MSE) $= 1.24 \cdot 10^{-4}$. This generalization ability shows that the trained CNN can indeed learn the difficult transfer function from DK to DVK. Future work will evaluate DVKs estimated by CNNs with full monte-carlo simulations of a whole body CT to predict patient specific voxel dose maps.

categories: stat.ML cs.LG nucl-ex physics.med-ph stat.CO


title: Active Inference for Adaptive BCI: application to the P300 Speller

abstract: Adaptive Brain-Computer interfaces (BCIs) have shown to improve performance, however a general and flexible framework to implement adaptive features is still lacking. We appeal to a generic Bayesian approach, called Active Inference (AI), to infer user's intentions or states and act in a way that optimizes performance. In realistic P300-speller simulations, AI outperforms traditional algorithms with an increase in bit rate between 18% and 59%, while offering a possibility of unifying various adaptive implementations within one generic framework.


title: The Topology ToolKit

abstract: This system paper presents the Topology ToolKit (TTK), a software platform designed for topological data analysis in scientific visualization. TTK provides a unified, generic, efficient, and robust implementation of key algorithms for the topological analysis of scalar data, including: critical points, integral lines, persistence diagrams, persistence curves, merge trees, contour trees, Morse-Smale complexes, fiber surfaces, continuous scatterplots, Jacobi sets, Reeb spaces, and more. TTK is easily accessible to end users due to a tight integration with ParaView. It is also easily accessible to developers through a variety of bindings (Python, VTK/C++) for fast prototyping or through direct, dependence-free, C++, to ease integration into pre-existing complex systems. While developing TTK, we faced several algorithmic and software engineering challenges, which we document in this paper. In particular, we present an algorithm for the construction of a discrete gradient that complies to the critical points extracted in the piecewise-linear setting. This algorithm guarantees a combinatorial consistency across the topological abstractions supported by TTK, and importantly, a unified implementation of topological data simplification for multi-scale exploration and analysis. We also present a cached triangulation data structure, that supports time efficient and generic traversals, which self-adjusts its memory usage on demand for input simplicial meshes and which implicitly emulates a triangulation for regular grids with no memory overhead. Finally, we describe an original software architecture, which guarantees memory efficient and direct accesses to TTK features, while still allowing for researchers powerful and easy bindings and extensions. TTK is open source (BSD license) and its code, online documentation and video tutorials are available on TTK's website.


title: Complex System Design with Design Languages: Method, Applications and Design Principles

abstract: Graph-based design languages in UML (Unified Modeling Language) are presented as a method to encode and automate the complete design process and the final optimization of the product or complex system. A design language consists of a vocabulary (digital building blocks) and a set of rules (digital composition knowledge) along with an executable sequence of the rules (digital encoding of the design process). The rule-based mechanism instantiates a central and consistent global product data structure (the so-called design graph). Upon the generation of the abstract central model, the domain-specific engineering models are automatically generated, remotely executed and their results are fed-back into the central design model for subsequent design decisions or optimizations. The design languages are manually modeled and automatically executed in a so-called design compiler. Up to now, a variety of product designs in the areas of aerospace, automotive, machinery and consumer products have been successfully accelerated and automated using graph-based design languages. Different design strategies and mechanisms have been identified and applied in the automation of the design processes. Approaches ranging from the automated and declarative processing of constraints, through fractal nested design patterns, to mathematical dimension-based derivation of the sequence of design actions are used. The existing knowledge for a design determines the global design strategy (top-down vs. bottom-up). Similarity-mechanics in the form of dimensionless invariants are used for evaluation to downsize the solution for an overall complexity reduction. Design patterns, design paradigms (form follows function) and design strategies (divide and conquer) from information science are heavily used to structure, manage and handle complexity.


title: Hyperbolic Neural Networks

abstract: Hyperbolic spaces have recently gained momentum in the context of machine learning due to their high capacity and tree-likeliness properties. However, the representational power of hyperbolic geometry is not yet on par with Euclidean geometry, mostly because of the absence of corresponding hyperbolic neural network layers. This makes it hard to use hyperbolic embeddings in downstream tasks. Here, we bridge this gap in a principled manner by combining the formalism of M\"obius gyrovector spaces with the Riemannian geometry of the Poincar\'e model of hyperbolic spaces. As a result, we derive hyperbolic versions of important deep learning tools: multinomial logistic regression, feed-forward and recurrent neural networks such as gated recurrent units. This allows to embed sequential data and perform classification in the hyperbolic space. Empirically, we show that, even if hyperbolic optimization tools are limited, hyperbolic sentence embeddings either outperform or are on par with their Euclidean variants on textual entailment and noisy-prefix recognition tasks.


title: Memory formation in cyclically deformed amorphous solids and sphere assemblies

abstract: We study a model amorphous solid that is subjected to repeated athermal cyclic shear deformation. It has previously been demonstrated that the memory of the amplitudes of shear deformation the system is subjected to (or trained at) is encoded, and can be retrieved by subsequent deformation cycles that serve as read operations. Here we consider different read protocols and measurements and show that single and multiple memories can be robustly retrieved through these different protocols. We also show that shear deformation by a larger amplitude always erases the stored memories. These observations are similar to those in experiments with non-Brownian colloidal suspensions and corresponding models, but differ in the possibility of storing multiple memories non-transiently. Such a possibility has been associated with the presence of cycles of transitions that take place in the model amorphous solids, between local energy minima. Here, we study low density sphere assemblies which serve as models for non-Brownian colloidal suspensions, under athermal deformation, and identify a regime where multiple memories are stored in these systems as well non-transiently. We show that the regime where storing multiple memories non-transiently corresponds to the presence of loop reversibility, rather than point reversibility of configurations under cyclic deformation.


title: Optimal Transport for structured data with application on graphs

abstract: This work considers the problem of computing distances between structured objects such as undirected graphs, seen as probability distributions in a specific metric space. We consider a new transportation distance (i.e. that minimizes a total cost of transporting probability masses) that unveils the geometric nature of the structured objects space. Unlike Wasserstein or Gromov-Wasserstein metrics that focus solely and respectively on features (by considering a metric in the feature space) or structure (by seeing structure as a metric space), our new distance exploits jointly both information, and is consequently called Fused Gromov-Wasserstein (FGW). After discussing its properties and computational aspects, we show results on a graph classification task, where our method outperforms both graph kernels and deep graph convolutional networks. Exploiting further on the metric properties of FGW, interesting geometric objects such as Fr\'echet means or barycenters of graphs are illustrated and discussed in a clustering context.


title: A New Mathematical Formulation for a Phase Change Problem with a Memory Flux

abstract: A mathematical model for a one-phase change problem (particularly a Stefan problem) with a memory flux, is obtained. The hypothesis that the weighted sum of fluxes back in time is proportional to the gradient of temperature is considered. The model obtained involves fractional derivatives with respect on time in the sense of Caputo and in the sense of Riemann--Liouville. An integral relationship for the free boundary which is equivalent to the `fractional Stefan condition' is also obtained.


title: Optimal Load Ensemble Control in Chance-Constrained Optimal Power Flow

abstract: Distribution system operators (DSO) world-wide foresee a rapid roll-out of distributed energy resources. From the system perspective, their reliable and cost effective integration requires accounting for their physical properties in operating tools used by the DSO. This paper describes an approach to leverage the dispatch flexibility of thermostatically controlled loads (TCLs) for operating distribution systems with a high penetration level of photovoltaic resources. Each TCL ensemble is modeled using the Markov Decision Process (MDP). The MDP model is then integrated with the chance-constrained optimal power flow that accounts for the uncertainty of PV resources. Since the integrated optimization model cannot be solved efficiently by existing dynamic programming methods or off-the-shelf solvers, this paper proposes an iterative Spatio-Temporal Dual Decomposition algorithm (ST-D2). We demonstrate the usefulness of the proposed integrated optimization and ST-D2 algorithm on the IEEE 33-bus test system.


title: Tunable ${\cal \chi/PT}$ Symmetry in Noisy Graphene

abstract: We investigate the resonant regime of a mesoscopic cavity made of graphene or a doped beam splitter. Using Non-Hermitian Quantum Mechanics, we consider the Bender-Boettcher assumption that a system must obey parity and time reversal symmetry. Therefore, we describe such system by coupling chirality, parity and time reversal symmetries through the scattering matrix formalism and apply it in the shot noise functions, also derived here. Finally we show how to achieve the resonant regime only by setting properly the parameters concerning the chirality and the PT symmetry.


title: On the classification problem for the genera of quotients of the Hermitian curve

abstract: In this paper we characterize the genera of those quotient curves $\mathcal{H}_q/G$ of the $\mathbb{F}_{q^2}$-maximal Hermitian curve $\mathcal{H}_q$ for which $G$ is contained in the maximal subgroup $\mathcal{M}_1$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a self-polar triangle, or $q$ is even and $G$ is contained in the maximal subgroup $\mathcal{M}_2$ of ${\rm Aut}(\mathcal{H}_q)$ fixing a pole-polar pair $(P,\ell)$ with respect to the unitary polarity associated to $\mathcal{H}_q(\mathbb{F}_{q^2})$. In this way several new values for the genus of a maximal curve over a finite field are obtained. Together with what is known in the literature, our results leave just two open cases to provide the complete list of genera of Galois subcovers of the Hermitian curve; namely, the open cases in [Bassa-Ma-Xing-Yeo, J. Combin. Theory Ser. A, 2013] when $G$ fixes a point $P \in \mathcal{H}_q(\mathbb{F}_{q^2})$ and $q$ is even, and the open cases in [Montanucci-Zini, Comm. Algebra, 2018] when $G\leq\mathcal{M}_2$ and $q$ is odd.


title: Selecting Machine-Translated Data for Quick Bootstrapping of a Natural Language Understanding System

abstract: This paper investigates the use of Machine Translation (MT) to bootstrap a Natural Language Understanding (NLU) system for a new language for the use case of a large-scale voice-controlled device. The goal is to decrease the cost and time needed to get an annotated corpus for the new language, while still having a large enough coverage of user requests. Different methods of filtering MT data in order to keep utterances that improve NLU performance and language-specific post-processing methods are investigated. These methods are tested in a large-scale NLU task with translating around 10 millions training utterances from English to German. The results show a large improvement for using MT data over a grammar-based and over an in-house data collection baseline, while reducing the manual effort greatly. Both filtering and post-processing approaches improve results further.


title: A logical representation of Arabic questions toward automatic passage extraction from the Web

abstract: With the expanding growth of Arabic electronic data on the web, extracting information, which is actually one of the major challenges of the question-answering, is essentially used for building corpus of documents. In fact, building a corpus is a research topic that is currently referred to among some other major themes of conferences, in Natural Language Processing (NLP), such as, Information Retrieval (IR), Question-Answering (QA), Automatic Summary (AS), etc. Generally, a question-answering system provides various passages to answer the user questions. To make these passages truly informative, this system needs access to an underlying knowledge base; this requires the construction of a corpus. The aim of our research is to build an Arabic question-answering system. In addition, analyzing the question must be the first step. Next, it is essential to retrieve a passage from the web that can serve as an appropriate answer. In this paper, we propose a method to analysis the question and retrieve the passage answer in the Arabic language. For the question analysis, five factual question types are processed. Additionally, our purpose is to experiment with the generation of a logic representation from the declarative form of each question. Several studies, deal with the logic approaches in question-answering, are discussed in other languages than the Arabic language. This representation is very promising because it helps us later in the selection of a justifiable answer. The accuracy of questions that are correctly analyzed and translated into the logic form achieved 64%. And then, the results of passages of texts that are automatically generated achieved an 87% score for accuracy and a 98% score for c@1.


title: Estimating blood pressure trends and the nocturnal dip from photoplethysmograph

abstract: Objective: Evaluate a method for the estimation of the nocturnal systolic blood pressure (SBP) dip from 24-hour blood pressure trends using a wrist-worn photoplethysmography (PPG) sensor and a deep neural network in free-living individuals, comparing the deep neural network to traditional machine learning and non-machine learning baselines. Approach: A wrist-worn PPG sensor was worn by 106 healthy individuals for 226 days during which 5111 reference values for blood pressure (BP) were obtained with a 24-hour ambulatory BP monitor and matched with the PPG sensor data. Features based on heart rate variability and pulse morphology were extracted from the PPG waveforms. Long- and short term memory (LSTM) networks, dense networks, random forests and linear regression models were trained and evaluated in their capability of tracking trends in BP, as well as the estimation of the SBP dip. Main results: Best performance for estimating the SBP dip were obtained with a deep LSTM neural network with a root mean squared error (RMSE) of 3.12$\pm$2.20 $\Delta$mmHg and a correlation of 0.69 $(p=3*10^{-5})$. This dip was derived from trend estimates of BP which had an RMSE of 8.22$\pm$1.49 mmHg for systolic and 6.55$\pm$1.39 mmHg for diastolic BP (DBP). While other models had similar performance for the tracking of relative BP, they did not perform as well as the LSTM for the SBP dip. Significance: The work provides first evidence for the unobtrusive estimation of the nocturnal SBP dip, a highly prognostic clinical parameter. It is also the first to evaluate unobtrusive BP measurement in a large data set of unconstrained 24-hour measurements in free-living individuals and provides evidence for the utility of LSTM models in this domain.


title: Probabilistic Riemannian submanifold learning with wrapped Gaussian process latent variable models

abstract: Latent variable models (LVMs) learn probabilistic models of data manifolds lying in an \emph{ambient} Euclidean space. In a number of applications, a priori known spatial constraints can shrink the ambient space into a considerably smaller manifold. Additionally, in these applications the Euclidean geometry might induce a suboptimal similarity measure, which could be improved by choosing a different metric. Euclidean models ignore such information and assign probability mass to data points that can never appear as data, and vastly different likelihoods to points that are similar under the desired metric. We propose the wrapped Gaussian process latent variable model (WGPLVM), that extends Gaussian process latent variable models to take values strictly on a given ambient Riemannian manifold, making the model blind to impossible data points. This allows non-linear, probabilistic inference of low-dimensional Riemannian submanifolds from data. Our evaluation on diverse datasets show that we improve performance on several tasks, including encoding, visualization and uncertainty quantification.


title: Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints

abstract: In this work, we consider the satisfiability problem in a logic that combines word equations over string variables denoting words of unbounded lengths, regular languages to which words belong and Presburger constraints on the length of words. We present a novel decision procedure over two decidable fragments that include quadratic word equations (i.e., each string variable occurs at most twice). The proposed procedure reduces the problem to solving the satisfiability in the Presburger arithmetic. The procedure combines two main components: (i) an algorithm to derive a complete set of all solutions of conjunctions of word equations and regular expressions; and (ii) two methods to precisely compute relational constraints over string lengths implied by the set of all solutions.We have implemented a prototype tool and evaluated it over a set of satisfiability problems in the logic. The experimental results show that the tool is effective and efficient.


title: Topological design of an asymmetric 3-translational parallel mechanism with zero coupling degree and motion decoupling

abstract: In this paper a new asymmetric 3-translational (3T) parallel manipulator, i.e., RPa(3R) 2R+RPa, with zero coupling degree and decoupled motion is firstly proposed according to topology design theory of parallel mechanism (PM) based on position and orientation characteristics (POC) equations. The main topological characteristics such as POC, degree of freedom and coupling degree are calculated. Then, the analytical formula for the direct and inverse kinematic are directly derived since coupling degree of the PM is zero. The study of singular configurations is simple because of the independence of the kinematic chains.


title: Approximation of Sweeping Processes and Controllability for a Set Valued Evolution

abstract: We consider a controlled evolution problem for a set $\Omega(t)\in\mathbb{R}^d$, originally motivated by a model where a dog controls a flock of sheep. Necessary conditions and sufficient conditions are given, in order that the evolution be completely controllable. Similar techniques are then applied to the approximation of a sweeping process. Under suitable assumptions, we prove that there exists a control function such that the corresponding evolution of the set $\Omega(t)$ is arbitrarily close to the one determined by the sweeping process.


title: Mimetic Properties of Difference Operators: Product and Chain Rules as for Functions of Bounded Variation and Entropy Stability of Second Derivatives

abstract: For discretisations of hyperbolic conservation laws, mimicking properties of operators or solutions at the continuous (differential equation) level discretely has resulted in several successful methods. While well-posedness for nonlinear systems in several space dimensions is an open problem, mimetic properties such as summation-by-parts as discrete analogue of integration-by-parts allow a direct transfer of some results and their proofs, e.g. stability for linear systems. In this article, discrete analogues of the generalised product and chain rules that apply to functions of bounded variation are considered. It is shown that such analogues hold for certain second order operators but are not possible for higher order approximations. Furthermore, entropy dissipation by second derivatives with varying coefficients is investigated, showing again the far stronger mimetic properties of second order approximations compared to higher order ones.


title: Recent Advances in DRAM and Flash Memory Architectures

abstract: This article features extended summaries and retrospectives of some of the recent research done by our group, SAFARI, on (1) understanding, characterizing, and modeling various critical properties of modern DRAM and NAND flash memory, the dominant memory and storage technologies, respectively; and (2) several new mechanisms we have proposed based on our observations from these analyses, characterization, and modeling, to tackle various key challenges in memory and storage scaling. In order to understand the sources of various bottlenecks of the dominant memory and storage technologies, these works perform rigorous studies of device-level and application-level behavior, using a combination of detailed simulation and experimental characterization of real memory and storage devices.


title: Double- and Single-Sided bis-Functionalization of Graphene

abstract: For the first time bis-functionalization of graphene employing two successive reduction and covalent bond formation steps are reported. Both bulk functionalization in solution and functionalization of individual sheets deposited on surfaces have been carried out. Whereas in the former case attacks from both sides of the basal plane are possible and can lead to strain-free architectures, in the latter case, retro-functionalizations can get important when the corresponding anion of the addend represents a sufficiently good leaving group.


title: Highly Integrated Organic-Inorganic Hybrid Architectures by Non-Covalent Exfoliation of Graphite and Assembly with Zinc Oxide Nanoparticles

abstract: Herein, we report an easy, straight forward, and versatile approach to build 0D/2D hybrid nanoparticle/graphene architectures by means of non-covalent chemistry and a modified Layer-by-Layer assembly. Three water soluble perylene diimides were employed to efficiently exfoliate pristine graphite into positively charged few- and multilayer graphene flakes. Further combination of these cationic building blocks with anionic zinc oxide nanoparticles led to the formation of tailor-made hybrid films via electrostatic and van der Waals interactions. These supramolecular hybrid nano-structures were thoroughly characterized by UV/Vis and Raman spectroscopy, AFM as well as electron microscopy, showing outstanding long-range homogeneity and high integrity in the centimetre-scale, uniform nanometric thickness between 60-100 nm and a close contact between the different building blocks. Due to their straightforward assembly. These architectures can be considered as promising candidates for numerous advanced applications especially in the field of energy storage and conversion.


title: Noncovalent Functionalization of Black Phosphorus

abstract: The first non-covalent functionalization of black phosphorus (BP) is presented. The treatment of BP with electron- withdrawing 7,7,8,8-tetracyano-p-quinodimethane (TCNQ) leads to electron transfer from BP to the organic dopant. On the other hand, the non-covalent interaction of BP with perylene diimide is mainly due to van-der-Waals interactions but also leads to a considerable stabilization of the BP flakes against oxygen degradation.


title: Substrate-Modulated Reductive Graphene Functionalization

abstract: Covalently functionalizing mechanical exfoliated monolayer and bilayer graphenides with {\lambda}-iodanes led to the discovery that the monolayers supported on a SiO2 substrate are considerably more reactive than bilayers as demonstrated by statistical Raman spectroscopy/microscopy. Supported by DFT calculations we show that ditopic addend binding leads to much more stable products than the corresponding monotopic reactions due to much lower lattice strain of the reactions products. The chemical nature of the substrate (graphene versus SiO2) plays a crucial role.14858-14862.


title: Reductive Functionalization of Graphenides with Nickel(II) Porphyrin Diazonium Compounds

abstract: A novel type of a graphene/porphyrin hybrid with a direct covalent linker between graphene and a nickel(II) tetraphenylporphyrin unit has successfully been synthesized by the reductive exfoliation/functionalization of potassium intercalated graphite as starting material. Moreover, we directly compared the reactivity of two structurally different porphyrin derivatives, namely, meso-NiTPP-N2+, with the diazonium group in 4-position of a peripheral phenyl ring and a novel \b{eta} NiTPP N2+ diazonium cation, where the diazonium group is directly attached to the \b{eta}-pyrrolic position of the 18 {\pi} electron core. Due to sterical restraints, this intermediately generated porphyrin radical can not attack the extended {\pi}-surface of graphene and only a functionalization of present dangling bonds at the flake edges may be obtained in this case. All reaction products have been analyzed in detail be means of Raman- and UV/Vis spectroscopy as well as thermogravimetric analysis.


title: Detection of Paroxysmal Atrial Fibrillation using Attention-based Bidirectional Recurrent Neural Networks

abstract: Detection of atrial fibrillation (AF), a type of cardiac arrhythmia, is difficult since many cases of AF are usually clinically silent and undiagnosed. In particular paroxysmal AF is a form of AF that occurs occasionally, and has a higher probability of being undetected. In this work, we present an attention based deep learning framework for detection of paroxysmal AF episodes from a sequence of windows. Time-frequency representation of 30 seconds recording windows, over a 10 minute data segment, are fed sequentially into a deep convolutional neural network for image-based feature extraction, which are then presented to a bidirectional recurrent neural network with an attention layer for AF detection. To demonstrate the effectiveness of the proposed framework for transient AF detection, we use a database of 24 hour Holter Electrocardiogram (ECG) recordings acquired from 2850 patients at the University of Virginia heart station. The algorithm achieves an AUC of 0.94 on the testing set, which exceeds the performance of baseline models. We also demonstrate the cross-domain generalizablity of the approach by adapting the learned model parameters from one recording modality (ECG) to another (photoplethysmogram) with improved AF detection performance. The proposed high accuracy, low false alarm algorithm for detecting paroxysmal AF has potential applications in long-term monitoring using wearable sensors.


title: Vector-Valued Spectral Analysis of Space-Time Data

abstract: Identifying coherent spatiotemporal patterns generated by complex dynamical systems is a central problem in many science and engineering disciplines. Here, we combine ideas from the theory of operator-valued kernels with delay-embedding techniques in dynamical systems to develop of a method for objective identification of spatiotemporal coherent patterns, without prior knowledge of the state space and/or the dynamical laws of the system generating the data. A key aspect of this method is that it operates on a space of vector-valued observables using a kernel measure of similarity that takes into account both temporal and spatial degrees of freedom (in contrast, classical kernel techniques such as PCA utilize aggregate measures of similarity between 'snapshots'). As a result, spectral decomposition of data via our approach yields a significantly more efficient and physically meaningful representation of complex spatiotemporal signals than conventional methods based on scalar-valued kernels. We demonstrate this behavior with applications to an oscillator model and sea surface temperature data from a climate model.


title: Analysis of Novel Annotations in the Gene Ontology for Boosting the Selection of Negative Examples

abstract: Public repositories for genome and proteome annotations, such as the Gene Ontology (GO), rarely stores negative annotations, i.e. proteins not possessing a given function. This leaves undefined or ill defined the set of negative examples, which is crucial for training the majority of machine learning methods inferring proteins functions. Automated techniques to choose reliable negative proteins are thereby required to train accurate function prediction models. This study proposes the first extensive analysis of the temporal evolution of protein annotations in the GO repository. Novel annotations registered through the years have been analyzed to verify the presence of annotation patterns in the GO hierarchy. Our research supplied fundamental clues about proteins likely to be unreliable as negative examples, that we verified into a novel algorithm of our own construction, validated on two organisms in a genome wide fashion against approaches proposed to choose negative examples in the context of functional prediction.


title: Longest increasing paths with gaps

abstract: We consider a variant of the continuous and discrete Ulam-Hammersley problems: we study the maximal length of an increasing path through a Poisson point process (or a Bernoulli point process) with the restriction that there must be minimal gaps between abscissae and ordinates of successive points of the path.For both cases (continuous and discrete) our approach rely on couplings with well-studied models: respectively the classical Ulam-Hammersley problem and last-passage percolation with geometric weights. Thanks to these couplings we obtain explicit limiting shapes in both settings.We also establish that, as in the classical Ulam-Hammersley problem, the fluctuations around the mean are given by the Tracy-Widom distribution.


title: Image Captioning

abstract: This paper discusses and demonstrates the outcomes from our experimentation on Image Captioning. Image captioning is a much more involved task than image recognition or classification, because of the additional challenge of recognizing the interdependence between the objects/concepts in the image and the creation of a succinct sentential narration. Experiments on several labeled datasets show the accuracy of the model and the fluency of the language it learns solely from image descriptions. As a toy application, we apply image captioning to create video captions, and we advance a few hypotheses on the challenges we encountered.


title: Immersive Virtual Reality Serious Games for Evacuation Training and Research: A Systematic Literature Review

abstract: An appropriate and safe behavior for exiting a facility is key to reducing injuries and increasing survival when facing an emergency evacuation in a building. Knowledge on the best evacuation practice is commonly delivered by traditional training approaches such as videos, posters, or evacuation drills, but they may become ineffective in terms of knowledge acquisition and retention. Serious games (SGs) are an innovative approach devoted to training and educating people in a gaming environment. Recently, increasing attention has been paid to immersive virtual reality (IVR)-based SGs for evacuation knowledge delivery and behavior assessment because they are highly engaging and promote greater cognitive learning. This paper aims to understand the development and implementation of IVR SGs in the context of building evacuation training and research, applied to various indoor emergencies such as fire and earthquake. Thus, a conceptual framework for effective design and implementation through the systematic literature review method was developed. As a result, this framework integrates critical aspects and provides connections between them, including pedagogical and behavioral impacts, gaming environment development, and outcome and participation experience measures.


title: Demographic differences in search engine use with implications for cohort selection

abstract: The correlation between the demographics of users and the text they write has been investigated through literary texts and, more recently, social media. However, differences pertaining to language use in search engines has not been thoroughly analyzed, especially for age and gender differences. Such differences are important especially due to the growing use of search engine data in the study of human health, where queries are used to identify patient populations. Using data from multiple general-purpose Internet search engines gathered over a period of one month we investigate the correlation between demography (age, gender, and income) and the text of queries submitted to search engines. Our results show that females and younger people use longer queries. This difference is such that females make approximately 25% more queries with 10 or more words. In the case of queries which identify users as having specific medical conditions we find that females make 50% more queries than expected, and that this results in patient cohorts which are highly skewed in gender and age, compared to known gender balance. Our results indicate that studies where demographic representation is important, such as in the study of health aspect of users or when search engines are evaluated for fairness, care should be taken in the selection of search engine data so as to create a representative dataset.


title: In-Person and Remote Participation Review at IETF: Collaborating Without Borders

abstract: The IETF has been acting as one of the main actors when discussing standardization of protocols and good practices on the Internet. Collaborating with the IETF community can be complex and distant for many researchers and industry members because of the financial aspect to travel to the meeting. However, it notes the collaboration between industry and academia is actively and progressively developing and refining standards within the IETF. One of the incentives for the increased participation in IETF meetings is because it is being transmitted in real time since 2015, allowing for voice and chat interaction of remote participants. Thus, in this paper, we have as objectives to give a brief vision about how to collaborate with the IETF and to analyze the importance of this new form of participation of the face-to-face meetings that has been growing in recent years.


title: OOP and its Calculated Measures in Programming Interactivity

abstract: This study examines the object oriented programming (OOP) and its calculated measures in programming interactivity in Nigeria. It focused on the existing programming languages used by programmers and examines the need for integrating programming interactivity with OOP. A survey was conducted to measure interactivity amongst professionals using certain parameters like flexibility, interactivity, speed, interoperability, scalability, dynamism, and solving real life problems. Data was gathered using questionnaire, and analysis was carried out using frequency, percentage ratio, and mean in arriving at a more proactive stand. The results revealed that the some of the parameters used are highly in support of the programming interactivity with OOP.


title: Digital Transformation in Airport Ground Operations

abstract: How has digital transformation changed airport ground operations? Although the relevant peer-reviewed literature emphasizes the role of cost savings as a key driver behind digitalization of airport ground operations, the focus is on data-driven, customer-centric innovations. This paper argues that ground handling agents are deploying new technologies mainly to boost process efficiency and to cut costs. Our research shows that ground handling agents are embracing current trends to craft new business models and develop new revenue streams. In this paper, we examine the ground handling agent's value chain and identify areas that are strongly affected by digital transformation and those that are not. We discuss different business scenarios for digital technology and link them with relevant research, such as automated service data capturing, new digital services for passengers, big data, indoor navigation, and wearables in airport ground operations. We assess the maturity level of discussed technologies using NASA technology readiness levels.


title: Comments on the National Toxicology Program Report on Cancer, Rats and Cell Phone Radiation

abstract: With the National Toxicology Program issuing its final report on cancer, rats and cell phone radiation, one can draw the following conclusions from their data. There is a roughly linear relationship between gliomas (brain cancers) and schwannomas (cancers of the nerve sheaths around the heart) with increased absorption of 900 MHz radiofrequency radiation for male rats. The rate of these cancers in female rats is about one third the rate in male rats; the rate of gliomas in female humans is about two thirds the rate in male humans. Both of these observations can be explained by a decrease in sensitivity to chemical carcinogenesis in both female rats and female humans. The increase in male rat life spans with increased radiofrequency absorption is due to a reduction in kidney failure from a decrease in food intake. No such similar increase in the life span of humans who use cell phones is expected.


title: Multi-type display calculus for Propositional Dynamic Logic

abstract: We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.


title: RDF2Vec-based Classification of Ontology Alignment Changes

abstract: When ontologies cover overlapping topics, the overlap can be represented using ontology alignments. These alignments need to be continuously adapted to changing ontologies. Especially for large ontologies this is a costly task often consisting of manual work. Finding changes that do not lead to an adaption of the alignment can potentially make this process significantly easier. This work presents an approach to finding these changes based on RDF embeddings and common classification techniques. To examine the feasibility of this approach, an evaluation on a real-world dataset is presented. In this evaluation, the best classifiers reached a precision of 0.8.


title: Comments on "Compression of 3D Point Clouds Using a Region-Adaptive Hierarchical Transform"

abstract: The recently introduced coder based on region-adaptive hierarchical transform (RAHT) for the compression of point clouds attributes, was shown to have a performance competitive with the state-of-the-art, while being much less complex. In the paper "Compression of 3D Point Clouds Using a Region-Adaptive Hierarchical Transform", top performance was achieved using arithmetic coding (AC), while adaptive run-length Golomb-Rice (RLGR) coding was presented as a lower-performance lower-complexity alternative. However, we have found that by reordering the RAHT coefficients we can largely increase the runs of zeros and significantly increase the performance of the RLGR-based RAHT coder. As a result, the new coder, using ordered coefficients, was shown to outperform all other coders, including AC-based RAHT, at an even lower computational cost. We present new results and plots that should enhance those in the work of Queiroz and Chou to include the new results for RLGR-RAHT. We risk to say, based on the results herein, that RLGR-RAHT with sorted coefficients is the new state-of-the-art in point cloud compression.


title: Lagrangian Engel Structures

abstract: We study the geometry of Engel structures, which are 2-plane fields on 4-manifolds satisfying a generic condition, that are compatible with other geometric structures. A \em{Lagrangian} Engel structure is an Engel 2-plane field on a symplectic 4-manifold for which the 2-planes are Lagrangian with respect to the symplectic structure. We solve the equivalence problems for Lagrangian Engel structures and use the resulting structure equations to classify homogeneous Lagrangian Engel structures. This allows us to determine all compact, homogeneous examples. Compact manifolds that support homogeneous Lagrangian Engel structures are diffeomorphic to quotients of one of a determined list of nilpotent or solvable 4-dimensional Lie groups by co-compact lattices.


title: Distributed Regularized Dual Gradient Algorithm for Constrained Convex Optimization over Time-Varying Directed Graphs

abstract: We investigate a distributed optimization problem over a cooperative multi-agent time-varying network, where each agent has its own decision variables that should be set so as to minimize its individual objective subject to local constraints and global coupling constraints. Based on push-sum protocol and dual decomposition, we design a distributed regularized dual gradient algorithm to solve this problem, in which the algorithm is implemented in time-varying directed graphs only requiring the column stochasticity of communication matrices. By augmenting the corresponding Lagrangian function with a quadratic regularization term, we first obtain the bound of the Lagrangian multipliers which does not require constructing a compact set containing the dual optimal set when compared with most of primal-dual based methods. Then, we obtain that the convergence rate of the proposed method can achieve the order of $\mathcal{O}(\ln T/T)$ for strongly convex objective functions, where $T$ is the iterations. Moreover, the explicit bound of constraint violations is also given. Finally, numerical results on the network utility maximum problem are used to demonstrate the efficiency of the proposed algorithm.


title: Agilit{\'e} de d{\'e}veloppement des SI informatis{\'e}s et outils MDE : d{\'e}marche p{\'e}dagogique dans un cours de conception de syst{\`e}mes d'information informatis{\'e}s

abstract: In software development, business rules implemented by hand using programming code hinder agility of companies. Are our students in information systems aware of that? Do our lessons promote this realization ? We use model driven concepts (MDA, MDE) in order to demonstrate, with practical examples, that source code can be automatically generated as far as formal specification are sufficient and accurate. We have extended usual representation conventions of conceptual data modeling and developed a transformer tool. This make our students observing themselves that no source code need necessarily to be rewrite when a change of business rule occurs, but just an adaptation of the model and a new run of generation of code. In this way, they finally understand more easily the benefits of MDE tools.


title: Finite many critical problems involving Fractional Laplacians in $\mathbb{R}^{N}$

abstract: In this paper, we consider the nonlocal elliptic problems in $\mathbb{R}^{N}$, which involve finite many critical exponents. By using endpoint refined Hardy--Sobolev inequality, fractional Coulomb--Sobolev space and variational method, we establish the existence of nonnegative solution. Our results generalize some results obtained by Yang and Wu [Adv. Nonlinear Stud. (2017) \cite{Yang2017}].


title: A complete characterization of graphs with exactly two positive eigenvalues

abstract: In 1977 Smith characterized graphs with exactly one positive eigenvalue. Since then, many particular results related to graphs with exactly two positive eigenvalues have emerged. In this paper we conclude this investigation by giving a full characterization of these graphs.


title: Quark mass generation with Schwinger-Dyson equations

abstract: In this talk, we review some of the current efforts to understand the phenomenon of chiral symmetry breaking and the generation of a dynamical quark mass. To do that, we will use the standard framework of the Schwinger-Dyson equations. The key ingredient in this analysis is the quark-gluon vertex, whose non-transverse part may be determined exactly from the nonlinear Slavnov-Taylor identity that it satisfies. The resulting expressions for the form factors of this vertex involve not only the quark propagator, but also the ghost dressing function and the quark-ghost kernel. Solving the coupled system of integral equations formed by the quark propagator and the four form factors of the scattering kernel, we carry out a detailed study of the impact of the quark gluon vertex on the gap equation and the quark masses generated from it, putting particular emphasis on the contributions directly related with the ghost sector of the theory, and especially the quark-ghost kernel. Particular attention is dedicated on the way that the correct renormalization group behavior of the dynamical quark mass is recovered, and in the extraction of the phenomenological parameters such as the pion decay constant.


title: Approach-Level Real-Time Crash Risk Analysis for Signalized Intersections

abstract: This study attempts to investigate the relationship between crash occurrence at signalized intersections and real-time traffic, signal timing, and weather characteristics based on 23 signalized intersections in Central Florida. The intersection and intersection-related crashes were collected and then divided into two types, i.e., within intersection crashes and intersection entrance crashes. Bayesian conditional logistic models were developed for these two kinds of crashes, respectively. For the within intersection models, the model results showed that the through volume from "A" approach (the traveling approach of at-fault vehicle), the left turn volume from "B" approach (near-side crossing approach), and the overall average flow ratio (OAFR) from "D" approach (far-side crossing approach), were found to have significant positive effects on the odds of crash occurrence. Moreover, the increased adaptability for the left turn signal timing of "B" approach and more priority for "A" approach could significantly decrease the odds of crash occurrence. For the intersection entrance models, average speed was found to have significant negative effect on the odds of crash occurrence. The longer average green time and longer average waiting time for the left turn phase, higher green ratio for the through phase, and higher adaptability for the through phase can significantly improve the safety performance of intersection entrance area. In addition, the average queue length on the through lanes was found to have positive effect on the odds of crash occurrence. These results are important in real-time safety applications at signalized intersections in the context of proactive traffic management.


abstract: The plane-wave limit of ${\rm AdS}_3 \times {\rm S}^3 \times {\rm S}^3 \times {\rm S}^1$ is analysed for generic null-geodesics that are not necessarily BPS. For the case of pure NS-NS flux it is shown how the resulting spectrum can be reproduced as a suitable limit of the world-sheet description in terms of WZW models. Since supersymmetry is broken, most of the degeneracies are lifted, and thus the identification of states is quite unambiguous.


title: AdGraph: A Graph-Based Approach to Ad and Tracker Blocking

abstract: User demand for blocking advertising and tracking online is large and growing. Existing tools, both deployed and described in research, have proven useful, but lack either the completeness or robustness needed for a general solution. Existing detection approaches generally focus on only one aspect of advertising or tracking (e.g. URL patterns, code structure), making existing approaches susceptible to evasion. In this work we present AdGraph, a novel graph-based machine learning approach for detecting advertising and tracking resources on the web. AdGraph differs from existing approaches by building a graph representation of the HTML structure, network requests, and JavaScript behavior of a webpage, and using this unique representation to train a classifier for identifying advertising and tracking resources. Because AdGraph considers many aspects of the context a network request takes place in, it is less susceptible to the single-factor evasion techniques that flummox existing approaches. We evaluate AdGraph on the Alexa top-10K websites, and find that it is highly accurate, able to replicate the labels of human-generated filter lists with 95.33% accuracy, and can even identify many mistakes in filter lists. We implement AdGraph as a modification to Chromium. AdGraph adds only minor overhead to page loading and execution, and is actually faster than stock Chromium on 42% of websites and AdBlock Plus on 78% of websites. Overall, we conclude that AdGraph is both accurate enough and performant enough for online use, breaking comparable or fewer websites than popular filter list based approaches.


title: Matrix Co-completion for Multi-label Classification with Missing Features and Labels

abstract: We consider a challenging multi-label classification problem where both feature matrix $\X$ and label matrix $\Y$ have missing entries. An existing method concatenated $\X$ and $\Y$ as $[\X; \Y]$ and applied a matrix completion (MC) method to fill the missing entries, under the assumption that $[\X; \Y]$ is of low-rank. However, since entries of $\Y$ take binary values in the multi-label setting, it is unlikely that $\Y$ is of low-rank. Moreover, such assumption implies a linear relationship between $\X$ and $\Y$ which may not hold in practice. In this paper, we consider a latent matrix $\Z$ that produces the probability $\sigma(Z_{ij})$ of generating label $Y_{ij}$, where $\sigma(\cdot)$ is nonlinear. Considering label correlation, we assume $[\X; \Z]$ is of low-rank, and propose an MC algorithm based on subgradient descent named co-completion (COCO) motivated by elastic net and one-bit MC. We give a theoretical bound on the recovery effect of COCO and demonstrate its practical usefulness through experiments.


title: A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class

abstract: In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded (TG) TGDs. We show that conjunctive query answering under this new class of TGDs is decidable since this new class of TGDs also satisfies the finite controllability (FC) property. We further show that this new class strictly contains some other decidable classes such as weak-acyclic, guarded, sticky and shy. In this sense, the class TG provides a unified representation of all these aforementioned classes of TGDs.


title: Using mobile phone sensor technology for mental health research: Integrated analysis to identify hidden challenges and potential solutions

abstract: Background: Mobile phone sensor technology has great potential in providing behavioral markers of mental health. However, this promise has not yet been brought to fruition. Objective: The objective of our study was to examine challenges involved in developing an app to extract behavioral markers of mental health from passive sensor data. Methods: Both technical challenges and acceptability of passive data collection for mental health research were assessed based on literature review and results obtained from a feasibility study. Socialise, a mobile phone app developed at the Black Dog Institute, was used to collect sensor data (Bluetooth, global positioning system, and battery status) and investigate views and experiences of a group of people with lived experience of mental health challenges (N=32). Results: On average, sensor data were obtained for 55% (Android) and 45% (iPhone OS) of scheduled scans. Battery life was reduced from 21.3 hours to 18.8 hours when scanning every 5 minutes with a reduction of 2.5 hours or 12%. Despite this relatively small reduction, most participants reported that the app had a noticeable effect on their battery life. In addition to battery life, the purpose of data collection, trust in the organization that collects data, and perceived impact on privacy were identified as main factors for acceptability. Conclusions: Based on the findings of the feasibility study and literature review, we recommend a commitment to open science and transparent reporting and stronger partnerships and communication with users. Sensing technology has the potential to greatly enhance the delivery and impact of mental health care. Realizing this requires all aspects of mobile phone sensor technology to be rigorously assessed.


title: Resonances in small scatterers with impedance boundary

abstract: With analytical (generalized Mie scattering) and numerical (integral-equation-based) considerations we show the existence of strong resonances in the scattering response of small spheres with lossless impedance boundary. With increasing size, these multipolar resonances are damped and shifted with respect to the magnitude of the surface impedance. The electric-type resonances are inductive and magnetic ones capacitive. Interestingly, these subwavelength resonances resemble plasmonic resonances in small negative-permittivity scatterers and dielectric resonances in small high-permittivity scatterers. The fundamental dipolar mode is also analyzed from the point of view of surface currents and the effect of the change of the shape into a non-spherical geometry.


title: Generalized quantum electrodynamics in the framework of Generalized BRST transformation

abstract: Podolsky's electromagnetism which explains some of unresolved problems of usual QED has been investigated in the framework of finite field dependent (FFBRST) BRST transformation. In this generalized QED (GQED), BRST invariant effective theories are written using generalized Lorenz gauge, $(1+\frac{\Box }{m_p^2})\partial^\mu A_\mu=0$ and no mixing gauge condition $(1+\frac{\Box }{m_p^2})^\frac{1}{2} \ \partial^\mu A_\mu=0$, it contains higher order derivative terms. No Mixing gauge is free from UV divergences in the radiative correction and easier to handle. We construct appropriate FFBRST transformation to obtain generating functional in no mixing gauge from that of in Lorenz gauge. We show that all these BRST invariant effective theories in GQED are basically same and are inter-connected with appropriately constructed FFBRST transformations.


title: Partial Data Calder\'on Problems for $L^{n/2}$ Potentials on Admissible Manifolds

abstract: We solve the partial data Calder\'on problem on conformally transversallly anisotropic (CTA) manifolds with $L^{n/2}$ potentials - on par with sharp unique continuation result of \cite{JerKen}. A trivial consequence of this is the sharp regularity improvement to the result of Kenig-Sj\"ostrand-Uhlmann \cite{ksu}. This is done by constructing a "Green's function" which possesses both desirable boundary conditions {\em and} satisfies semiclassical type estimates in the suitable $L^{p}$ spaces. No Carleman estimates were used in the writing of this article which makes it starkly different from the traditional approaches based on \cite{BukUhl} and \cite{ksu}.


title: Border Avoidance: Necessary Regularity for Coefficients and Viscosity Approach

abstract: Motivated by the result of invariance of regular-boundary open sets in \cite{CannarsaDaPratoFrankowska2009} and multi-stability issues in gene networks, our paper focuses on three closely related aims. First, we give a necessary local Lipschitz-like condition in order to expect invariance of open sets (for deterministic systems). Comments on optimality are provided via examples. Second, we provide a border avoidance (near-viability) counterpart of \cite{CannarsaDaPratoFrankowska2009} for controlled Brownian diffusions and piecewise deterministic switched Markov processes (PDsMP). We equally discuss to which extent Lipschitz-continuity of the driving coefficients is needed. Finally, by applying the theoretical result on PDsMP to Hasty's model of bacteriophage (\cite{hasty\_pradines\_dolnik\_collins\_00}, \cite{crudu\_debussche\_radulescu\_09}), we show the necessity of explicit modeling for the environmental cue triggering lysis.


title: Compact schemes for laser-matter interaction in Schr\"odinger equation

abstract: Numerical solutions for laser-matter interaction in Schr\"odinger equation has many applications in theoretical chemistry, quantum physics and condensed matter physics. In this paper we introduce a methodology which allows, with a small cost, to extend any fourth-order scheme for Schr\"odinger equation with time-indepedent potential to a fourth-order method for Schr\"odinger equation with laser potential. These fourth-order methods improve upon many leading schemes of order six due to their low costs and small error constants.


title: A Study On Convolutional Neural Network Based End-To-End Replay Anti-Spoofing

abstract: The second Automatic Speaker Verification Spoofing and Countermeasures challenge (ASVspoof 2017) focused on "replay attack" detection. The best deep-learning systems to compete in ASVspoof 2017 used Convolutional Neural Networks (CNNs) as a feature extractor. In this paper, we study their performance in an end-to-end setting. We find that these architectures show poor generalization in the evaluation dataset, but find a compact architecture that shows good generalization on the development data. We demonstrate that for this dataset it is not easy to obtain a similar level of generalization on both the development and evaluation data. This leads to a variety of open questions about what the differences are in the data; why these are more evident in an end-to-end setting; and how these issues can be overcome by increasing the training data.


title: Combinatorics of ideals of points: a Cerlienco-Mureddu-like approach for an iterative lex game

abstract: In 1990 Cerlienco and Mureddu gave a combinatorial iterative algorithm which, given an ordered set of points, returns the lexicographical Groebner escalier of the ideal of these points. There are many alternatives to this algorithm and in particular, the most efficient is the Lex Game, which is not iterative on the points, but its performances are definitely better. In this paper, we develop an iterative alternative to Lex Game algorithm, whose performances are very near to those of the original Lex Game, by means of the Bar Code, a diagram which allows to keep track of information on the points and the corresponding monomials, that are lost and usually recomputed many times in Cerlienco-Mureddu algorithm. Using the same Bar Code, we will also give an efficient algorithm to compute squarefree separator polynomials of the points and the Auzinger-Stetter matrices with respect to the lexicographical Groebner escalier of the ideal of the points.


title: Recent Top quark results from the Tevatron

abstract: We present recent measurements on top quark physics obtained at the Fermilab Tevatron $p\bar p$ collider by the CDF and D0 collaborations. We discuss the measurements of the top quark mass using direct and indirect methods of extraction, the forward-backward production asymmetries, and the top quark polarization.


title: On the complexity of Borel equivalence relations with some countability property

abstract: We study the class of Borel equivalence relations under continuous reducibility. In particular , we characterize when a Borel equivalence relation with countable equivalence classes is $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$). We characterize when all the equivalence classes of such a relation are $\Sigma$ 0 $\xi$ (or $\Pi$ 0 $\xi$). We prove analogous results for the Borel equivalence relations with countably many equivalence classes. We also completely solve these two problems for the first two ranks. In order to do this, we prove some extensions of the Louveau-Saint Raymond theorem which itself generalized the Hurewicz theorem characterizing when a Borel subset of a Polish space is G $\delta$ .


title: R{\'e}solution du $\partial \bar{\partial}$ pour les formes diff{\'e}rentielles ayant une valeur au bord au sens des courants d{\'e}finies sur un domaine L{\'e}vi-plat non born{\'e} de} $\mathbb{C}^{n}$

abstract: We solve the $\partial \bar{\partial}$-problem for a form with distribution boundary value on a Levi flat unbounded domain of $\mathbb{C}^n$ with the complementary is also Levi flat and unbounded.


title: A distinct approach to diagnose Dengue Fever with the help of Soft Set Theory

abstract: Mathematics has played a substantial role to revolutionize the medical science. Intelligent systems based on mathematical theories have proved to be efficient in diagnosing various diseases. In this paper, we used an expert system based on soft set theory and fuzzy set theory named as a soft expert system to diagnose tropical disease dengue. The objective to use soft expert system is to predict the risk level of a patient having dengue fever by using input variables like age, TLC, SGOT, platelets count and blood pressure. The proposed method explicitly demonstrates the exact percentage of the risk level of dengue fever automatically circumventing for all possible (medical) imprecisions.


title: The Vector Heat Method

abstract: This paper describes a method for efficiently computing parallel transport of tangent vectors on curved surfaces, or more generally, any vector-valued data on a curved manifold. More precisely, it extends a vector field defined over any region to the rest of the domain via parallel transport along shortest geodesics. This basic operation enables fast, robust algorithms for extrapolating level set velocities, inverting the exponential map, computing geometric medians and Karcher/Fr\'{e}chet means of arbitrary distributions, constructing centroidal Voronoi diagrams, and finding consistently ordered landmarks. Rather than evaluate parallel transport by explicitly tracing geodesics, we show that it can be computed via a short-time heat flow involving the connection Laplacian. As a result, transport can be achieved by solving three prefactored linear systems, each akin to a standard Poisson problem. To implement the method we need only a discrete connection Laplacian, which we describe for a variety of geometric data structures (point clouds, polygon meshes, etc). We also study the numerical behavior of our method, showing empirically that it converges under refinement, and augment the construction of intrinsic Delaunay triangulations (iDT) so that they can be used in the context of tangent vector field processing.


title: Radar-based Re-Entry Predictions with very limited tracking capabilities: the GOCE case study

abstract: The problem of the re-entry predictions of GOCE has been deeply investigated in the literature, due to the large amount of data, mainly radar and GPS, available until re-entry. The accurate GPS and attitude measurements are used to compute a precise reference orbit for the three weeks of decay, and to extrapolate the ballistic coefficient evolution of the object. In previous works, the capabilities of radar-based solutions for the re-entry predictions of GOCE and of similar objects were investigated, focusing on the german TIRA radar. In this work we have performed additional analysis, focusing on the northern european radar EISCAT-UHF, located in Troms\o, Norway. This sensor, conceived for atmospheric studies, has recently been considered for space debris applications. Due to its limited tracking capabilities, we are interested in testing its effectiveness in supporting re-entry predictions. We have simulated reliable re-entry prediction scenarios, with different availability of data from EISCAT and TIRA. The main conclusion is that, provided a suitable amount of observations, EISCAT-based re-entry predictions are comparable to TIRA-based, but also to GPS and TLE-based, corresponding ones. In general, EISCAT is not able to determine an orbit with the same accuracy of TIRA, but the results are equivalent in terms of re-entry predictions, if we consider the relevant parameters involved and their effects on the re-entry time. What is very important is the difficulty in predicting atmospheric and attitude significant variations in between the current epoch and the actual re-entry. Thus, it is not easy to keep the accuracy of predictions much lower than 10% of the residual lifetime, apart from cases with constant area to mass ratio, and low atmospheric variations with respect to the models. An experiment with real data is presented for the object 2012-006K, with consistent results.


title: Explicit solution for a two--phase fractional Stefan problem with a heat flux condition at the fixed face

abstract: A generalized Neumann solution for the two-phase fractional Lam\'e--Clapeyron--Stefan problem for a semi--infinite material with constant initial temperature and a particular heat flux condition at the fixed face is obtained, when a restriction on data is satisfied. The fractional derivative in the Caputo sense of order $\al \in (0,1)$ respect on the temporal variable is considered in two governing heat equations and in one of the conditions for the free boundary. Furthermore, we find a relationship between this fractional free boundary problem and another one with a constant temperature condition at the fixed face and based on that fact, we obtain an inequality for the coefficient which characterizes the fractional phase-change interface obtained in Roscani--Tarzia, Adv. Math. Sci. Appl., 24 (2014), 237-249. We also recover the restriction on data and the classical Neumann solution, through the error function, for the classical two-phase Lam\'e-Clapeyron-Stefan problem for the case $\al=1$.


title: Interactions of three-dimensional solitons in the cubic-quintic model

abstract: We report results of a systematic numerical analysis of interactions between three-dimensional (3D) fundamental solitons, performed in the framework of the nonlinear Schr\"{o}dinger equation (NLSE) with the cubic-quintic (CQ) nonlinearity, combining the self-focusing and defocusing terms. The 3D NLSE with the CQ terms may be realized in terms of spatiotemporal propagation of light in nonlinear optical media, and in Bose-Einstein condensates, provided that losses may be neglected. The first part of the work addresses interactions between identical fundamental solitons, with phase shift $% \varphi $ between them, separated by a finite distance in the free space. The outcome strongly changes with the variation of $\varphi $: in-phase solitons with $\varphi =0$, or with sufficiently small $\varphi $, merge into a single fundamental soliton, with weak residual oscillations in it (in contrast to the merger into a strongly oscillating breather, which is exhibited by the 1D version of the same setting), while the choice of $% \varphi =\pi $ leads to fast separation between mutually repelling solitons. At intermediate values of $\varphi $, such as $\varphi =\pi /2$, the interaction is repulsive too, breaking the symmetry between the initially identical fundamental solitons, there appearing two solitons with different total energies (norms). The symmetry-breaking effect is qualitatively explained, similar to how it was done previously for 1D solitons. In the second part of the work, a pair of fundamental solitons trapped in a 2D potential is considered. It is demonstrated that they may form a slowly rotating robust \textquotedblleft molecule", if aninitial kicks are applied to them in opposite directions, perpendicular to the line connecting their centers.


title: Efficient online algorithms for fast-rate regret bounds under sparsity

abstract: We consider the online convex optimization problem. In the setting of arbitrary sequences and finite set of parameters, we establish a new fast-rate quantile regret bound. Then we investigate the optimization into the L1-ball by discretizing the parameter space. Our algorithm is projection free and we propose an efficient solution by restarting the algorithm on adaptive discretization grids. In the adversarial setting, we develop an algorithm that achieves several rates of convergence with different dependencies on the sparsity of the objective. In the i.i.d. setting, we establish new risk bounds that are adaptive to the sparsity of the problem and to the regularity of the risk (ranging from a rate 1 / $\sqrt T$ for general convex risk to 1 /T for strongly convex risk). These results generalize previous works on sparse online learning. They are obtained under a weak assumption on the risk ({\L}ojasiewicz's assumption) that allows multiple optima which is crucial when dealing with degenerate situations.


title: Detecting SNPs with interactive effects on a quantitative trait

abstract: Here we propose a test to detect effects of single nucleotide polymorphisms (SNPs) on a quantitative trait. Significant SNP-SNP interactions are more difficult to detect than significant SNPs, partly due to the massive amount of SNP-SNP combinations. We propose to move away from testing interaction terms, and move towards testing whether an individual SNP is involved in any interaction. This reduces the multiple testing burden to one test per SNP, and allows for interactions with unobserved factors. Analysing one SNP at a time, we split the individuals into two groups, based on the number of minor alleles. If the quantitative trait differs in mean between the two groups, the SNP has a main effect. If the quantitative trait differs in distribution between some individuals in one group and all other individuals, it possibly has an interactive effect. We propose a mixture test to detect both types of effects. Implicitly, the membership probabilities may suggest potential interacting variables. Analysing simulated and experimental data, we show that the proposed test is statistically powerful, maintains the type I error rate, and detects meaningful signals. The R package semisup is available from Bioconductor.


title: Why the brain knows more than we do: non-conscious representations and their role in the construction of conscious experience

abstract: Scientific studies have shown that non-conscious stimuli and representations influence information processing during conscious experience. In the light of such evidence, questions about potential functional links between non-conscious brain representations and conscious experience arise. This article discusses a neural coding model capable of explaining how statistical learning mechanisms in dedicated resonant circuits could generate specific temporal activity traces of non-conscious representations in the brain. How reentrant signaling, top-down matching, and statistical coincidence of such activity traces may lead to the progressive consolidation of temporal patterns that constitute the neural signatures of conscious experience in networks extending across large distances beyond functionally specialized brain regions is then explained.


title: Detection and Removal of B-mode Dust Foregrounds with Signatures of Statistical Anisotropy

abstract: Searches for inflationary gravitational wave signals in the CMB B-mode polarisation are expected to reach unprecedented power over the next decade. A major difficulty in these ongoing searches is that galactic foregrounds such as dust can easily mimic inflationary signals. Though typically foregrounds are separated from primordial signals using the foregrounds' different frequency dependence, in this paper we investigate instead the extent to which the galactic dust B-modes' statistical anisotropy can be used to distinguish them from inflationary B-modes, building on the work of Kamionkowski and Kovetz (2014). In our work, we extend existing anisotropy estimators and apply them to simulations of polarised dust to forecast their performance for future experiments. Considering the application of this method as a null-test for dust contamination to CMB-S4, we find that we can detect residual dust levels corresponding to $r\sim0.001$ at $2\sigma$, which implies that statistical anisotropy estimators will be a powerful diagnostic for foreground residuals (though our results show some dependence on the dust simulation used). Finally, considering applications beyond a simple null test, we demonstrate how anisotropy statistics can be used to construct an estimate of the dust B-mode map, which could potentially be used to clean the B-mode sky.


title: Exceptional points and photonic catastrophe

abstract: Exceptional points (EPs) with a global collapse of pairs of eigenfunctions are shown to arise in two locally-coupled and spatially-extended optical structures with balanced gain and loss. Global collapse at the EP deeply changes light propagation, which becomes very sensitive to small changes of initial conditions or system parameters, similarly to what happens in models of classical or quantum catastrophes. The implications of global collapse for light behavior are illustrated by considering discrete beam diffraction and Bloch oscillation catastrophe in coupled waveguide lattices.


title: The upper bound theorem for flag homology 5-manifolds

abstract: We prove that among all flag homology $5$-manifolds with $n$ vertices, the join of $3$ circles of as equal length as possible is the unique maximizer of all the face numbers. The same upper bounds on the face numbers hold for $5$-dimensional flag Eulerian normal pseudomanifolds.


title: On semi-supervised learning

abstract: Semi-supervised learning deals with the problem of how, if possible, to take advantage of a huge amount of unclassified data, to perform a classification in situations when, typically, there is little labeled data. Even though this is not always possible (it depends on how useful, for inferring the labels, it would be to know the distribution of the unlabeled data), several algorithm have been proposed recently. %but in general they are not proved to outperform A new algorithm is proposed, that under almost necessary conditions, %and it is proved that it attains asymptotically the performance of the best theoretical rule as the amount of unlabeled data tends to infinity. The set of necessary assumptions, although reasonable, show that semi-supervised classification only works for very well conditioned problems. The focus is on understanding when and why semi-supervised learning works when the size of the initial training sample remains fixed and the asymptotic is on the size of the unlabeled data. The performance of the algorithm is assessed in the well known "Isolet" real-data of phonemes, where a strong dependence on the choice of the initial training sample is shown.


title: A New Approach to the Statistical Analysis of Non-Central Complex Gaussian Quadratic Forms with Applications

abstract: This paper proposes a novel approach to the statistical characterization of non-central complex Gaussian quadratic forms (CGQFs). Its key strategy is the generation of an auxiliary random variable (RV) that converges in distribution to the original CGQF. Since the mean squared error between both is given in a simple closed-form formulation, the auxiliary RV can be particularized to achieve the required accuracy. The technique is valid for both definite and indefinite CGQFs and yields simple expressions of the probability density function (PDF) and the cumulative distribution function (CDF) that involve only elementary functions. This overcomes a major limitation of previous approaches, in which the complexity of the resulting PDF and CDF prevents from using them for subsequent calculations. To illustrate this end, the proposed method is applied to maximal ratio combining systems over correlated Rician channels, for which the outage probability and the average bit error rate are derived.


title: Two-loop five-point massless QCD amplitudes within the IBP approach

abstract: We solve the integration-by-parts (IBP) identities needed for the computation of any planar two-loop five-point massless amplitude in QCD. We also derive some new results for the most complicated non-planar topology with irreducible numerators of power as high as six. We do this by applying a new strategy for solving the IBP identities which scales better for problems with a large number of scales and/or master integrals. Our results are a proof of principle that the remaining non-planar contributions for all two-loop five-point massless QCD amplitudes can be computed in analytic form.


title: Diffractive X-ray waveguiding reveals orthogonal crystalline stratification in conjugated polymer thin films

abstract: The depth dependence of crystalline structure within thin films is critical for many technological applications, but has been impossible to measure directly using common techniques. In this work, by monitoring diffraction peak intensity and location and utilizing the highly angle-dependent waveguiding effects of X-rays near grazing incidence we quantitatively measure the thickness, roughness and orientation of stratified crystalline layers within thin films of a high-performance semiconducting polymer. In particular, this diffractive X-ray waveguiding reveals a self-organized 5-nm-thick crystalline surface layer with crystalline orientation orthogonal to the underlying 65-nm-thick layer. While demonstrated for an organic semiconductor film, this approach is applicable to any thin film material system where stratified crystalline structure and orientation can influence important interfacial processes such as charge injection and field-effect transport.


title: Two-Photon Rabi Splitting in a Coupled System of a Nanocavity and Exciton Complexes

abstract: Two-photon Rabi splitting in a cavity-dot system provides a basis for multi-qubit coherent control in quantum photonic network. Here we report on two-photon Rabi splitting in a strongly coupled cavity-dot system. The quantum dot was grown intentionally large in size for large oscillation strength and small biexciton binding energy. Both exciton and biexciton transitions couple to a high quality factor photonic crystal cavity with large coupling strengths over 130 $\mu$eV. Furthermore, the small binding energy enables the cavity to simultaneously couple with two exciton states. Thereby two-photon Rabi splitting between biexciton and cavity is achieved, which can be well reproduced by theoretical calculations with quantum master equations.


title: Alternating Randomized Block Coordinate Descent

abstract: Block-coordinate descent algorithms and alternating minimization methods are fundamental optimization algorithms and an important primitive in large-scale optimization and machine learning. While various block-coordinate-descent-type methods have been studied extensively, only alternating minimization -- which applies to the setting of only two blocks -- is known to have convergence time that scales independently of the least smooth block. A natural question is then: is the setting of two blocks special? We show that the answer is "no" as long as the least smooth block can be optimized exactly -- an assumption that is also needed in the setting of alternating minimization. We do so by introducing a novel algorithm AR-BCD, whose convergence time scales independently of the least smooth (possibly non-smooth) block. The basic algorithm generalizes both alternating minimization and randomized block coordinate (gradient) descent, and we also provide its accelerated version -- AAR-BCD. As a special case of AAR-BCD, we obtain the first nontrivial accelerated alternating minimization algorithm.


title: Raman Spectroscopy, Photocatalytic Degradation and Stabilization of Atomically Thin Chromium Triiodide

abstract: As a 2D ferromagnetic semiconductor with magnetic ordering, atomically thin chromium triiodide is the latest addition to the family of two-dimensional (2D) materials. However, realistic exploration of CrI3-based devices and heterostructures is challenging, due to its extreme instability under ambient conditions. Here we present Raman characterization of CrI3, and demonstrate that the main degradation pathway of CrI3 is the photocatalytic substitution of iodine by water. While simple encapsulation by Al2O3, PMMA and hexagonal BN (hBN) only leads to modest reduction in degradation rate, minimizing exposure of light markedly improves stability, and CrI3 sheets sandwiched between hBN layers are air-stable for >10 days. By monitoring the transfer characteristics of CrI3/graphene heterostructure over the course of degradation, we show that the aquachromium solution hole-dopes graphene.


title: Diffusion of Quantum Vortices

abstract: We determine the evolution of a cluster of quantum vortices initially placed at the centre of a larger vortex-free region. We find that the cluster spreads out spatially. This spreading motion consists of two effects: the rapid evaporation of vortex dipoles from the cluster and the slow expansion of the cluster itself. The latter is akin to a diffusion process controlled by the quantum of circulation. Numerical simulations of the Gross-Pitaevskii equation show that this phenomenon is qualitatively unaffected by the presence of sound waves, vortex annihilations, and boundaries, and it should be possible to create it in the laboratory.


title: Improved Bounds for Pencils of Lines

abstract: We consider a question raised by Rudnev: given four pencils of $n$ concurrent lines in $\mathbb R^2$, with the four centres of the pencils non-collinear, what is the maximum possible size of the set of points where four lines meet? Our main result states that the number of such points is $O(n^{11/6})$, improving a result of Chang and Solymosi. We also consider constructions for this problem. Alon, Ruzsa and Solymosi constructed an arrangement of four non-collinear $n$-pencils which determine $\Omega(n^{3/2})$ four-rich points. We give a construction to show that this is not tight, improving this lower bound by a logarithmic factor. We also give a construction of a set of $m$ $n$-pencils, whose centres are in general position, that determine $\Omega_m(n^{3/2})$ $m$-rich points.


title: The observed galaxy bispectrum from single-field inflation in the squeezed limit

abstract: Using the consistency relation in Fourier space, we derive the observed galaxy bispectrum from single-field inflation in the squeezed limit, in which one of the three modes has a wavelength much longer than the other two. This provides a non-trivial check of the full computation of the bispectrum based on second-order cosmological perturbation theory in this limit. We show that gauge modes need to be carefully removed in the second-order cosmological perturbations in order to calculate the observed galaxy bispectrum in the squeezed limit. We then give an estimate of the effective non-Gaussianity due to general relativistic lightcone effects that could mimic a primordial non-Gaussian signal.


title: Towards the first adversarially robust neural network model on MNIST

abstract: Despite much effort, deep neural networks remain highly susceptible to tiny input perturbations and even for MNIST, one of the most common toy datasets in computer vision, no neural network model exists for which adversarial perturbations are large and make semantic sense to humans. We show that even the widely recognized and by far most successful defense by Madry et al. (1) overfits on the L-infinity metric (it's highly susceptible to L2 and L0 perturbations), (2) classifies unrecognizable images with high certainty, (3) performs not much better than simple input binarization and (4) features adversarial perturbations that make little sense to humans. These results suggest that MNIST is far from being solved in terms of adversarial robustness. We present a novel robust classification model that performs analysis by synthesis using learned class-conditional data distributions. We derive bounds on the robustness and go to great length to empirically evaluate our model using maximally effective adversarial attacks by (a) applying decision-based, score-based, gradient-based and transfer-based attacks for several different Lp norms, (b) by designing a new attack that exploits the structure of our defended model and (c) by devising a novel decision-based attack that seeks to minimize the number of perturbed pixels (L0). The results suggest that our approach yields state-of-the-art robustness on MNIST against L0, L2 and L-infinity perturbations and we demonstrate that most adversarial examples are strongly perturbed towards the perceptual boundary between the original and the adversarial class.


title: AGB candidates in the field of gamma Cas

abstract: We report the spectroscopic and photometric monitoring of a sample of 530 candidate AGB stars in a 5 degrees field, selected from the IPHAS catalog: historic light curves were derived from Asiago IR plates taken in the years 1965 -1984. We found 10 Miras, 5 stars with long term trends, 3 semiregular and 3 irregular. Spectral types from CCD slit spectra gave 8 M-type, 7 C-type and 6 S-type stars. In the color-color plots made from IPHAS and 2MASS catalogs, the S-type and M-type stars occupy the same regions, while C-type stars are well separated. All C-type stars with IR excess showed long term trends in their light curve. Distances of the Mira stars, estimated from their periods and K magnitudes, gave a median value of 4.9 kpc with a large spread. A comparison with astrometric parallaxes from Gaia DR2 is briefly discussed.


title: Wayfinding through an unfamiliar environment

abstract: Strategies for finding one's way through an unfamiliar environment may be helped by computer generated 2D maps, 3D virtual environments, or other navigation aids. The relative effectiveness of 2D and 3D virtual navigation aids was investigated. The wayfinding experiments (navigation tests) were conducted in a large, park-like environment. 24 participants (12 men, 12 women; age range = 22-50 years; M=32, SD = 7.4) were divided into three groups of four individuals per gender, who 1) explored a computer generated 2D map of the given route prior to navigation, 2) received a silent guided tour by means of an interactive 3D virtual representation, or 3) acquired direct experience of the real-world route through a silent guided tour where they were accompanied by a human individual who had expert knowledge of all the routes in the park. Participants from the different preparation groups then had to find the same route again on their own. 12 observers (six men and six women) were given a "simple" route with only one critical turn, and the other 12 a "complex" route with six critical turns. Navigation performances were compared with those of three experts who were highly familiar with all the routes of the park. Those among the naive participants who had benefitted from a direct experience (guided tour) prior to navigation, all found their way again on the simple and complex routes. Those who had explored the interactive 3D virtual environment were all unable to find their way on the complex route. The relative scale representation in the virtual 3D environment may have given incorrect impressions of relative distances between salient objects along the itinerary, rendering important landmark information useless.


title: Global existence and boundedness of solutions to a chemotaxis-consumption model with singular sensitivity

abstract: In this paper we study the zero-flux chemotaxis-system \begin{equation*} \begin{cases} u_t=\Delta u -\chi \nabla \cdot (\frac{u}{v} \nabla v) \\ v_t=\Delta v-f(u)v \end{cases} \end{equation*} in a smooth and bounded domain $\Omega$ of $\mathbb{R}^2$, with $\chi>0$ and $f\in C^1(\mathbb{R})$ essentially behaving like $u^\beta$, $0<\beta<1$. Precisely for $\chi<1$ and any sufficiently regular initial data $u(x,0)\geq 0$ and $v(x,0)>0$ on $\bar{\Omega}$, we show the existence of global classical solutions. Moreover, if additionally $m:=\int_\Omega u(x,0)$ is sufficiently small, then also their boundedness is achieved.


title: On the nature of the Swiss cheese in dimension 3

abstract: We study scenarii linked with the Swiss cheese picture in dimension three obtained when two random walks are forced to meet often, or when one random walk is forced to squeeze its range. In the case of two random walks, we show that they most likely meet in a region of optimal density. In the case of one random walk, we show that a small range is reached by a strategy uniform in time. Both results rely on an original inequality estimating the cost of visiting sparse sites, and in the case of one random walk on the precise Large Deviation Principle of van den Berg, Bolthausen and den Hollander, including their sharp estimates of the rate functions in the neighborhood of the origin


title: Testing the anisotropy of cosmic acceleration from Pantheon supernovae sample

abstract: In this paper, we study the anisotropy of cosmic acceleration the using Pantheon sample, which includes 1048 spectroscopically confirmed Type Ia supernovae (SNe Ia) covering the redshift range $0.01 < z < 2.3$. In hemisphere comparison method, we find the dipole direction is $(l = 37 \pm 40^{\circ}, b = 33 \pm 16^{\circ})$ with the maximum anisotropy level of $\delta=0.136 {}^{+0.009}_{-0.005}$. From the dipole fitting method, we find that the magnitude of anisotropy is $A = (3.7 {}^{+2.5}_{-3.7}) \times 10^{-4}$, and the direction of the dipole $(l = 329^{\circ}{}^{+ 101^{\circ}}_{-28^{\circ}}, b = 37^{\circ}{}^{+ 52^{\circ}}_{-21^{\circ}})$ in the galactic coordinate system. The result is weakly dependent on redshift from the redshift tomography analysis. The anisotropy is small and the isotropic cosmological model is an excellent approximation.


title: Electrostatics-driven inflation of elastic icosahedral shells as a model for radial swelling of virus-like particles

abstract: We develop a clear theoretical description of radial swelling in virus-like particles which delineates the importance of electrostatic contributions to swelling in absence of any conformational changes. The model couples the elastic parameters of the capsid -- represented as a continuous elastic shell -- to the electrostatic pressure acting on it. We show that different modifications of the electrostatic interactions brought about by, for instance, changes in $pH$ or solution ionic strength, are often sufficient to achieve the experimentally-observed swelling (about 10% of the capsid radius). Additionally, we derive analytical expressions for the electrostatics-driven radial swelling of virus-like particles, which enable one to quickly estimate the magnitudes of physical quantities involved.


title: ASR-based Features for Emotion Recognition: A Transfer Learning Approach

abstract: During the last decade, the applications of signal processing have drastically improved with deep learning. However areas of affecting computing such as emotional speech synthesis or emotion recognition from spoken language remains challenging. In this paper, we investigate the use of a neural Automatic Speech Recognition (ASR) as a feature extractor for emotion recognition. We show that these features outperform the eGeMAPS feature set to predict the valence and arousal emotional dimensions, which means that the audio-to-text mapping learning by the ASR system contain information related to the emotional dimensions in spontaneous speech. We also examine the relationship between first layers (closer to speech) and last layers (closer to text) of the ASR and valence/arousal.