title: Operationally-based Program Equivalence Proofs using LCTRSs

abstract: We propose an operationally-based deductive proof method for program equivalence. It is based on encoding the language semantics as logically constrained term rewriting systems (LCTRSs) and the two programs as terms. The main feature of our method is its flexibility. We illustrate this flexibility in two applications, which are novel. For the first application, we show how to encode low-level details such as stack size in the language semantics and how to prove equivalence between two programs operating at different levels of abstraction. For our running example, we show how our method can prove equivalence between a recursive function operating with an unbounded stack and its tail-recursive optimized version operating with a bounded stack. This type of equivalence checking can be used to ensure that new, undesirable behavior is not introduced by a more concrete level of abstraction. For the second application, we show how to formalize read-sets and write-sets of symbolic expressions and statements by extending the operational semantics in a conservative way. This enables the relational verification of program schemas, which we exploit to prove correctness of compiler optimizations, some of which cannot be proven by existing tools. Our method requires an extension of standard LCTRSs with axiomatized symbols. We also present a prototype implementation that proves the feasibility of both applications that we propose.


title: The Whole Is Greater Than the Sum of Its Nonrigid Parts

abstract: According to Aristotle, a philosopher in Ancient Greece, "the whole is greater than the sum of its parts". This observation was adopted to explain human perception by the Gestalt psychology school of thought in the twentieth century. Here, we claim that observing part of an object which was previously acquired as a whole, one could deal with both partial matching and shape completion in a holistic manner. More specifically, given the geometry of a full, articulated object in a given pose, as well as a partial scan of the same object in a different pose, we address the problem of matching the part to the whole while simultaneously reconstructing the new pose from its partial observation. Our approach is data-driven, and takes the form of a Siamese autoencoder without the requirement of a consistent vertex labeling at inference time; as such, it can be used on unorganized point clouds as well as on triangle meshes. We demonstrate the practical effectiveness of our model in the applications of single-view deformable shape completion and dense shape correspondence, both on synthetic and real-world geometric data, where we outperform prior work on these tasks by a large margin.


title: Design and evaluation of conjugated polymers with polar side chains as electrode materials for electrochemical energy storage in aqueous electrolytes

abstract: We report the development of redox-active conjugated polymers with potential application to electrochemical energy storage. Side chain engineering enables processing of the polymer electrodes from solution, stability in aqueous electrolytes and efficient transport of ionic and electronic charge carriers. We synthesized a 3,3' dialkoxybithiophene homo polymer (p type polymer) with glycol side chains and prepared naphthalene 1,4,5,8-tetracarboxylic-diimide-dialkoxybithiophene (NDI gT2) copolymers (n type polymer) with either a glycol or zwitterionic side chain on the NDI unit. For the latter, we developed a post-functionalization synthesis to attach the polar zwitterion side chains to the polymer backbone to avoid challenges of purifying polar intermediates. We demonstrate fast and reversible charging of solution processed electrodes for both the p- and n type polymers in aqueous electrolytes, without using additives or porous scaffolds and for films up to micrometers thick. We apply spectroelectrochemistry as an in operando technique to probe the state of charge of the electrodes. This reveals that thin films of the p-type polymer and zwitterion n-type polymer can be charged reversibly with up to two electronic charges per repeat unit (bipolaron formation). We combine thin films of these polymers in a two-electrode cell and demonstrate output voltages of up to 1.4 V with high redox stability. Our findings demonstrate the potential of functionalizing conjugated polymers with appropriate polar side chains to improve specific capacity, reversibility and rate capabilities of polymer electrodes in aqueous electrolytes.


title: Nonequilibrium transport and phase transitions in driven diffusion of interacting particles

abstract: Driven diffusive systems constitute paradigmatic models of nonequilibrium physics. Among them, a driven lattice gas known as the asymmetric simple exclusion process (ASEP) is the most prominent example for which many intriguing exact results have been obtained. After summarizing key findings, including the mapping of the ASEP to quantum spin chains, we discuss the recently introduced Brownian asymmetric simple exclusion process (BASEP) as a related class of driven diffusive system with continuous space dynamics. In the BASEP, driven Brownian motion of hardcore-interacting particles through one-dimensional periodic potentials is considered. We study whether current-density relations of the BASEP can be considered as generic for arbitrary periodic potentials and whether repulsive particle interactions other than hardcore lead to similar results. Our findings suggest that shapes of current-density relations are generic for single-well periodic potentials and can always be attributed to the interplay of a barrier reduction, blocking and exchange symmetry effect. This implies that in general up to five different phases of nonequilibrium steady states are possible for such potentials. The phases can occur in systems coupled to particle reservoirs, where the bulk density is the order parameter. For multiple-well periodic potentials, more complex current-density relations are possible and more phases can appear. Taking a repulsive Yukawa potential as an example, we show that the effects of barrier reduction and blocking on the current are also present. The exchange symmetry effect requires hardcore interactions and we demonstrate that it can still be identified when hardcore interactions are combined with weak Yukawa interactions.


title: Audio Codec Enhancement with Generative Adversarial Networks

abstract: Audio codecs are typically transform-domain based and efficiently code stationary audio signals, but they struggle with speech and signals containing dense transient events such as applause. Specifically, with these two classes of signals as examples, we demonstrate a technique for restoring audio from coding noise based on generative adversarial networks (GAN). A primary advantage of the proposed GAN-based coded audio enhancer is that the method operates end-to-end directly on decoded audio samples, eliminating the need to design any manually-crafted frontend. Furthermore, the enhancement approach described in this paper can improve the sound quality of low-bit rate coded audio without any modifications to the existent standard-compliant encoders. Subjective tests illustrate that the proposed enhancer improves the quality of speech and difficult to code applause excerpts significantly.


title: Feature selection in machine learning: R\'enyi min-entropy vs Shannon entropy

abstract: Feature selection, in the context of machine learning, is the process of separating the highly predictive feature from those that might be irrelevant or redundant. Information theory has been recognized as a useful concept for this task, as the prediction power stems from the correlation, i.e., the mutual information, between features and labels. Many algorithms for feature selection in the literature have adopted the Shannon-entropy-based mutual information. In this paper, we explore the possibility of using R\'enyi min-entropy instead. In particular, we propose an algorithm based on a notion of conditional R\'enyi min-entropy that has been recently adopted in the field of security and privacy, and which is strictly related to the Bayes error. We prove that in general the two approaches are incomparable, in the sense that we show that we can construct datasets on which the R\'enyi-based algorithm performs better than the corresponding Shannon-based one, and datasets on which the situation is reversed. In practice, however, when considering datasets of real data, it seems that the R\'enyi-based algorithm tends to outperform the other one. We have effectuate several experiments on the BASEHOCK, SEMEION, and GISETTE datasets, and in all of them we have indeed observed that the R\'enyi-based algorithm gives better results.


title: Modeling shallow water waves

abstract: We review here the derivation of many of the most important models that appear in the literature (mainly in coastal oceanography) for the description of waves in shallow water. We show that these models can be obtained using various asymptotic expansions of the "turbulent" and non-hydrostatic terms that appear in the equations that result from the vertical integration of the free surface Euler equations. Among these models are the well-known nonlinear shallow water (NSW), Boussinesq and Serre-Green-Naghdi (SGN) equations for which we review several pending open problems. More recent models such as the multi-layer NSW or SGN systems, as well as the Isobe-Kakinuma equations are also reviewed under a unified formalism that should simplify comparisons. We also comment on the scalar versions of the various shallow water systems which can be used to describe unidirectional waves in horizontal dimension $d=1$; among them are the KdV, BBM, Camassa-Holm and Whitham equations. Finally, we show how to take vorticity effects into account in shallow water modeling, with specific focus on the behavior of the turbulent terms. As examples of challenges that go beyond the present scope of mathematical justification, we review recent works using shallow water models with vorticity to describe wave breaking, and also derive models for the propagation of shallow water waves over strong currents.


title: Vector-valued general Dirichlet series

abstract: Opened up by early contributions due to, among others, H. Bohr, Hardy-Riesz, Bohnenblust-Hille, Neder and Landau the last 20 years show a substantial revival of systematic research on ordinary Dirichlet series $\sum a_n n^{-s}$, and more recently even on general Dirichlet series $\sum a_n e^{-\lambda_n s}$. This involves the intertwining of classical work with modern functional analysis, harmonic analysis, infinite dimensional holomorphy and probability theory as well as analytic number theory. Motivated through this line of research the main goal of this article is to start a systematic study of a variety of fundamental aspects of vector-valued general Dirichlet series $\sum a_n e^{-\lambda_{n} s}$, so Dirichlet series, where the coefficient are not necessarily in $\mathbb{C}$ but in some arbitrary Banach space $X$.


title: NURE: an ERC project to 'measure' the nuclear matrix elements

abstract: The NURE (NUclear REactions for neutrinoless double beta decay) project has been selected for receiving funding in the call Starting Grant 2016 of European Research Council (ERC). The project, which takes advantage of nuclear physics methods to give a contribution to the neutrino physics, has a duration of 5 years. A key aspect is the use of the K800 Superconducting Cyclotron, for the acceleration of the required high resolution and low emittance heavy-ion beams, and of the MAGNEX large acceptance magnetic spectrometer, for the measurement of the reaction cross sections. These facilities are in operation at INFN Laboratory Nazionali del Sud in Catania (Italy).


title: Comparison principles for viscosity solutions of elliptic branches of fully nonlinear equations independent of the gradient

abstract: The validity of the comparison principle in variable coefficient fully nonlinear gradient free potential theory is examined and then used to prove the comparison principle for fully nonlinear partial differential equations which determine a suitable potential theory. The approach combines the notions of proper elliptic branches inspired by Krylov (Trans. Amer. Math. Soc. 1995) with the monotonicity-duality method initiated by Harvey and Lawson (Comm. Pure Appl. Math. 2009). In the variable coefficient nonlinear potential theory, a special role is played by the Hausdorff continuity of the proper elliptic map $\Theta$ which defines the potential theory. In the applications to nonlinear equations defined by an operator $F$, structural conditions on $F$ will be determined for which there is a correspondence principle between $\Theta$-subharmonics/superharmonics and admissible viscosity sub and supersolutions of the nonlinear equation and for which comparison for the equation follows from the associated compatible potential theory. General results and explicit models of interest from differential geometry will be examined.


title: Intermediate rings of complex-valued continuous functions

abstract: Let $\Sigma (X,\mathbb{C})$ denote the collection of all the rings between $C^*(X,\mathbb{C})$ and $C(X,\mathbb{C})$. We show that there is a natural correlation between the absolutely convex ideals/ prime ideals/maximal ideals/$z$-ideals/$z^\circ$-ideals in the rings $P(X,\mathbb{C})$ in $\Sigma(X,\mathbb{C})$ and in their real-valued counterparts $P(X,\mathbb{C})\cap C(X)$. It is shown that the structure space of any such $P(X,\mathbb{C})$ is $\beta X$. We show that for any maximal ideal $M$ in $C(X,\mathbb{C}), C(X,\mathbb{C})/M$ is an algebraically closed field. We give a necessary and sufficient condition for the ideal $C_{\mathcal{P}}(X,\mathbb{C})$ of $C(X,\mathbb{C})$ to be a prime ideal, and we examine a few special cases thereafter.


title: The {\alpha}-divergences associated with a pair of strictly comparable quasi-arithmetic means

abstract: We generalize the family of $\alpha$-divergences using a pair of strictly comparable weighted means. In particular, we obtain the $1$-divergence in the limit case $\alpha\rightarrow 1$ (a generalization of the Kullback-Leibler divergence) and the $0$-divergence in the limit case $\alpha\rightarrow 0$ (a generalization of the reverse Kullback-Leibler divergence). We state the condition for a pair of quasi-arithmetic means to be strictly comparable, and report the formula for the quasi-arithmetic $\alpha$-divergences and its subfamily of bipower homogeneous $\alpha$-divergences which belong to the Csis\'ar's $f$-divergences. Finally, we show that these generalized quasi-arithmetic $1$-divergences and $0$-divergences can be decomposed as the sum of generalized cross-entropies minus entropies, and rewritten as conformal Bregman divergences using monotone embeddings.


title: A linear polar molecule in a two-color cw laser field: a symmetry analysis

abstract: A theoretical study of the rotational dynamics of a linear polar molecule in a two-color non-resonant cw laser field is presented. By systematically considering the interactions of this field with the electric dipole moment, polarizability and hyperpolarizability of the molecule, the effect of the symmetries of the Hamiltonian on the orientation and alignment is explored in a regime where the time-average approximation does not hold. It is shown that the alignment and orientation satisfy certain symmetries as a function of the phases and field strengths. On average a one-color cw laser field doest not orient the molecule, being necessary a two-color one having odd and even products of the laser frequency to break the head-versus-tail order confinement.


title: Nuclear structure studies performed using the (18O,16O) twoneutron transfer reactions

abstract: Excitation energy spectra and absolute cross section angular distributions were measured for the 13C(18O,16O)15C two-neutron transfer reaction at 84 MeV incident energy. This reaction selectively populates two-neutron configurations in the states of the residual nucleus. Exact finite-range coupled reaction channel calculations are used to analyse the data. Two approaches are discussed: the extreme cluster and the newly introduced microscopic cluster. The latter makes use of spectroscopic amplitudes in the centre of mass reference frame, derived from shell-model calculations using the Moshinsky transformation brackets. The results describe well the experimental cross section and highlight cluster configurations in the involved wave functions.


title: Astrophysical Stochastic Gravitational Wave Background

abstract: The stochastic gravitational wave background produced by supernovas, magnetars and merger of binaries constituted by a pair of compact objects is reviewed and updated. The merger of systems composed by two black holes dominates by far the background signal, whose amplitude in the range 10-100 Hz is above the sensitivity of the planned Einstein laser interferometer (ET). The background signal at 25 Hz estimated by the LIGO-VIRGO collaboration, based on the available merger detection data, is in good agreement with the present theoretical predictions.


title: The network paradigm as a modeling tool in regional economy: the case of interregional commuting in Greece

abstract: Network Science is an emerging discipline using the network paradigm to model communication systems as pair-sets of interconnected nodes and their linkages (edges). This paper applies this paradigm to study an interacting system in regional economy consisting of daily road transportation flows for labor purposes, the so-called commuting phenomenon. In particular, the commuting system in Greece including 39 non-insular prefectures is modeled into a complex network and it is studied using measures and methods of complex network analysis and empirical techniques. The study aims to detect the structural characteristics of the Greek interregional commuting network (GCN) and to interpret how this network is related to the regional development. The analysis highlights the effect of the spatial constraints in the structure of the GCN, it provides insights about the major road transport projects constructed the last decade, and it outlines a populationcontrolled (gravity) pattern of commuting, illustrating that high-populated regions attract larger volumes of the commuting activity, which consequently affects their productivity. Overall, this paper highlights the effectiveness of complex network analysis in the modeling of systems of regional economy, such as the systems of spatial interaction and the transportation networks, and it promotes the use of the network paradigm to the regional research.


title: Jamming with tunable roughness

abstract: We introduce a new model to study the effect of surface roughness on the jamming transition. By performing numerical simulations, we show that for a smooth surface, the jamming transition density and the contact number at the transition point both increase upon increasing asphericity, as for ellipsoids and spherocylinders. Conversely, for a rough surface, both quantities decrease, in quantitative agreement with the behavior of frictional particles. Furthermore, in the limit corresponding to the Coulomb friction law, the model satisfies a generalized isostaticity criterion proposed in previous studies. We introduce a counting argument that justifies this criterion and interprets it geometrically. Finally, we propose a simple theory to predict the contact number at finite friction from the knowledge of the force distribution in the infinite friction limit.


title: Regional airports in Greece, their characteristics and their importance for the local economic development

abstract: Technological developments worldwide are contributing to the improvement of transport infrastructures and they are helping to reduce the overall transport costs. At the same time, such developments along with the reduction in transport costs are affecting the spatial interdependence between the regions and countries, a fact inducing significant effects on their economies and, in general, on their growth-rates. A specific class of transport infrastructures contributing significantly to overcoming the spatial constraints is the airtransport infrastructures. Nowadays, the importance of air-transport infrastructures in the economic development is determinative, especially for the geographically isolated regions, such as for the island regions of Greece. Within this context, this paper studies the Greek airports and particularly the evolution of their overall transportation imprint, their geographical distribution, and the volume of the transport activity of each airport. Also, it discusses, in a broad context, the seasonality of the Greek airport activity, the importance of the airports for the local and regional development, and it formulates general conclusions.


title: Analytical solution of open crystalline linear 1D tight-binding models

abstract: A method for finding the exact analytical solutions for the bulk and edge energy levels and corresponding eigenstates for all commensurate Aubry-Andr\'e/Harper single-particle models under open boundary conditions is presented here, both for integer and non-integer number of unit cells. The solutions are ultimately found to be dependent on the behavior of phase factors whose compact formulas, provided here, make this method simple to implement computationally. The derivation employs the properties of the Hamiltonians of these models, all of which can be written as Hermitian block-tridiagonal Toeplitz matrices. The concept of energy spectrum is generalized to incorporate both bulk and edge bands, where the latter are a function of a complex momentum. The method is then extended to solve the case where one of these chains is coupled at one end to an arbitrary cluster/impurity. Future developments based on these results are discussed.


title: Vortex pinning in the superfluid core of neutron stars and the rise of pulsar glitches

abstract: Timing of the Crab and Vela pulsars have recently revealed very peculiar evolutions of their spin frequency during the early stage of a glitch. We show that these differences can be interpreted from the interactions between neutron superfluid vortices and proton fluxoids in the core of these neutron stars. In particular, pinning of individual vortices to fluxoids is found to have a dramatic impact on the mutual friction between the neutron superfluid and the rest of the star. The number of fluxoids attached to vortices turns out to be a key parameter governing the global dynamics of the star. These results may have implications for the interpretation of other astrophysical phenomena such as pulsar-free precession or the r-mode instability.


title: Non-linear evolutions of magnetised thick discs around black holes: dependence on the initial data

abstract: We build equilibrium solutions of magnetised thick discs around a highly spinning Kerr black hole and evolve these initial data up to a final time of about 100 orbital periods. The numerical simulations reported in this paper solve the general relativistic magnetohydrodynamics equations using the BHAC code and are performed in axisymmetry. Our study assumes non-self-gravitating, polytropic, constant angular momentum discs endowed with a purely toroidal magnetic field. In order to build the initial data we consider three approaches, two of which incorporate the magnetic field in a self-consistent way and a third approach in which the magnetic field is included as a perturbation on to an otherwise purely hydrodynamical solution. To test the dependence of the evolution on the initial data, we explore four representative values of the magnetisation parameter spanning from almost hydrodynamical discs to very strongly magnetised tori. The initial data are perturbed to allow for mass and angular momentum accretion on to the black hole. Notable differences are found in the long-term evolutions of the initial data. In particular, our study reveals that highly magnetised discs are unstable, and hence prone to be fully accreted and expelled, unless the magnetic field is incorporated into the initial data in a self-consistent way.


title: Distributed systems and trusted execution environments: Trade-offs and challenges

abstract: Security and privacy concerns in computer systems have grown in importance with the ubiquity of connected devices. TEEs provide security guarantees based on cryptographic constructs built in hardware. Intel software guard extensions (SGX), in particular, implements powerful mechanisms that can shield sensitive data even from privileged users with full control of system software. In this work, we essentially explore some of the challenges of designing secure distributed systems by using Intel SGX as cornerstone. We do so by designing and experimentally evaluating several elementary systems ranging from communication and processing middleware to a peer-to-peer privacy-preserving solution. We start with support systems that naturally fit cloud deployment scenarios, namely content-based routing, batching and stream processing frameworks. We implement prototypes and use them to analyse the manifested memory usage issues intrinsic to SGX. Next, we aim at protecting very sensitive data: cryptographic keys. By leveraging TEEs, we design protocols for group data sharing that have lower computational complexity than legacy methods. As a bonus, our proposals allow large savings on metadata volume and processing time of cryptographic operations, all with equivalent security guarantees. Finally, we propose privacy-preserving systems against established services like web-search engines. Our evaluation shows that we propose the most robust system in comparison to existing solutions with regard to user re-identification rates and results accuracy in a scalable way. Overall, this thesis proposes new mechanisms that take advantage of TEEs for distributed system architectures. We show through an empirical approach on top of Intel SGX what are the trade-offs of distinct designs applied to distributed communication and processing, cryptographic protocols and private web search.


title: Explaining with Counter Visual Attributes and Examples

abstract: In this paper, we aim to explain the decisions of neural networks by utilizing multimodal information. That is counter-intuitive attributes and counter visual examples which appear when perturbed samples are introduced. Different from previous work on interpreting decisions using saliency maps, text, or visual patches we propose to use attributes and counter-attributes, and examples and counter-examples as part of the visual explanations. When humans explain visual decisions they tend to do so by providing attributes and examples. Hence, inspired by the way of human explanations in this paper we provide attribute-based and example-based explanations. Moreover, humans also tend to explain their visual decisions by adding counter-attributes and counter-examples to explain what is not seen. We introduce directed perturbations in the examples to observe which attribute values change when classifying the examples into the counter classes. This delivers intuitive counter-attributes and counter-examples. Our experiments with both coarse and fine-grained datasets show that attributes provide discriminating and human-understandable intuitive and counter-intuitive explanations.


title: Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA

abstract: Modern electronic systems become evermore complex, yet remain modular, with integrated circuits (ICs) acting as versatile hardware components at their heart. Electronic design automation (EDA) for ICs has focused traditionally on power, performance, and area. However, given the rise of hardware-centric security threats, we believe that EDA must also adopt related notions like secure by design and secure composition of hardware. Despite various promising studies, we argue that some aspects still require more efforts, for example: effective means for compilation of assumptions and constraints for security schemes, all the way from the system level down to the "bare metal"; modeling, evaluation, and consideration of security-relevant metrics; or automated and holistic synthesis of various countermeasures, without inducing negative cross-effects. In this paper, we first introduce hardware security for the EDA community. Next we review prior (academic) art for EDA-driven security evaluation and implementation of countermeasures. We then discuss strategies and challenges for advancing research and development toward secure composition of circuits and systems.


title: Identifying Requirements Affecting Latency in a Softwarized Network for Future 5G and Beyond

abstract: The concept of a softwarized network leveraging technologies such as SDN and NFV comes with different merits such as decreased Operational Expenses (OPEX) and less dependency on underlying hardware components. With the amount of increased flexibility, reconfigurability and programmability attributed to future technologies (i.e. 5G and beyond), and towards the complete network virtualization and softwarization, a new set of requirements or parameters can be identified affecting the latency in a virtualized network. In this paper, we identify different latency requirements for a virtualized network. These requirements include the Virtual Network Function (VNF) deployment time, establishment or connection time and application instantiation time. We further test how some factors such as VNFs resource usage, the applications running within the VNF and the shared status of the VNF, coordinately affect the identified latency requirement for a virtualized network. Experimentally, for performance analysis, we deploy a softwarized network based on the ETSI NFV architecture, using open source tools. The results show that the new set of latency requirements is relevant for consideration in order to achieve an overall ultra reliable low latency and how different the factors can affect these new requirements, especially in the core network. Furthermore, the result of our performance analysis proves the trade off between latency of a virtualized network and the resource usage of the VNFs


title: Charge-state distributions of 20Ne ions emerging from thin foils

abstract: New experimental measurements of charge state distributions produced by a 20Ne10+ beam at 15 MeV/u colliding on various thin solid targets are presented. The use of the MAGNEX magnetic spectrometer enabled measurements of the 8+ charge state down to fractions of a few 10-5. The use of different post-stripper foils located downstream of the main target is explored, showing that low Z materials are particularly effective to shift the charge state distributions towards fully stripped conditions. The dependence on the foil thickness is also studied and discussed.


title: On computing the Lyapunov exponents of reversible cellular automata

abstract: We consider the problem of computing the Lyapunov exponents of reversible cellular automata (CA). We show that the class of reversible CA with right Lyapunov exponent $2$ cannot be separated algorithmically from the class of reversible CA whose right Lyapunov exponents are at most $2-\delta$ for some absolute constant $\delta>0$. Therefore there is no algorithm that, given as an input a description of an arbitrary reversible CA $F$ and a positive rational number $\epsilon>0$, outputs the Lyapunov exponents of $F$ with accuracy $\epsilon$. We also compute the average Lyapunov exponents (with respect to the uniform measure) of the CA that perform multiplication by $p$ in base $pq$ for coprime $p,q>1$.


title: One-dimensional topological insulators with noncentered inversion symmetry axis

abstract: In this paper, we discuss the characteristic features of one-dimensional topological insulators with inversion symmetry but noncentered inversion axis in the unit cell, for any choice of the unit cell. In these systems, the global inversion operation generates a k-dependent inversion operator within the unit cell and this implies a nonquantized Zak's phase both for the trivial and nontrivial topological phases. By relating the Zak's phase with the eigenvalues of modified parity operators at the inversion invariant momenta, a corrected quantized form of the Zak's phase is derived. We show that finite energy topological edge states of this family of chains are symmetry protected not by usual chiral symmetry but by a hidden sublattice chiral-like symmetry. A simple justification is presented for shifts in the polarization quantization relation for any choice of endings of these chains.


title: Strictly singular non-compact operators between $L_p$ spaces

abstract: We study the structure of strictly singular non-compact operators between $L_p$ spaces. Answering a question raised in [Adv. Math. 316 (2017), 667-690], it is shown that there exist operators $T$, for which the set of points $(\frac1p,\frac1q)\in(0,1)\times (0,1)$ such that $T:L_p\rightarrow L_q$ is strictly singular but not compact contains a line segment in the triangle $\{(\frac1p,\frac1q):1<p<q<\infty\}$ of any positive slope. This will be achieved by means of Riesz potential operators between metric measure spaces with different Hausdorff dimension. The relation between compactness and strict singularity of regular operators defined on subspaces of $L_p$ is also explored.


title: A Robust Real-Time Computing-based Environment Sensing System for Intelligent Vehicle

abstract: For intelligent vehicles, sensing the 3D environment is the first but crucial step. In this paper, we build a real-time advanced driver assistance system based on a low-power mobile platform. The system is a real-time multi-scheme integrated innovation system, which combines stereo matching algorithm with machine learning based obstacle detection approach and takes advantage of the distributed computing technology of a mobile platform with GPU and CPUs. First of all, a multi-scale fast MPV (Multi-Path-Viterbi) stereo matching algorithm is proposed, which can generate robust and accurate disparity map. Then a machine learning, which is based on fusion technology of monocular and binocular, is applied to detect the obstacles. We also advance an automatic fast calibration mechanism based on Zhang's calibration method. Finally, the distributed computing and reasonable data flow programming are applied to ensure the operational efficiency of the system. The experimental results show that the system can achieve robust and accurate real-time environment perception for intelligent vehicles, which can be directly used in the commercial real-time intelligent driving applications.


title: A note on sublinear separators and expansion

abstract: For a hereditary class C of graphs, let s_C(n) be the minimum function such that each n-vertex graph in C has a balanced separator of order at most s_C(n), and let nabla_C(r) be the minimum function bounding the expansion of C, in the sense of bounded expansion theory of Ne\v{s}et\v{r}il and Ossona de Mendez. The results of Plotkin, Rao, and Smith (1994) and Esperet and Raymond (2018) imply that if s_C(n)=Theta(n^{1-epsilon}) for some epsilon>0, then nabla_C(r)=Omega(r^{1/(2.epsilon)-1}/polylog r) and nabla_C(r)=O(r^{1/epsilon-1}polylog r). Answering a question of Esperet and Raymond, we show that neither of the exponents can be substantially improved.


title: Complex emission patterns: fluctuations and bistability of polar-cap potentials

abstract: Development of the ion-proton pulsar model extends it to the limit of large unscreened polar-cap potentials, for example, as in the Vela pulsar, in which ion charges differ only by small increments from their complete screening values. It is shown that the atomic number Z of an ion following its passage from the canonical Z_0 = 26 value through the electromagnetic shower region to the surface is not necessarily time-independent but can vary between fixed limits in an irregular or quasi-periodic way in a characteristic time of the order of 10^4 s. Thus at a certain Z the system may transition to an unstable state of higher electric potential and it is argued that this is the physical basis for mode-changes, long-term nulls, periodic or otherwise. The model requires an orientation of magnetic dipole moment relative to rotational spin giving a positive corotational charge density. Success of the model would fix the particle composition of the remaining parts of the magnetosphere, including the Y-point and is therefore relevant to X-ray and gamma-ray emission processes.


title: Evolution of Octupole Deformation in Radium Nuclei from Coulomb Excitation of Radioactive $^{222}$Ra and $^{228}$Ra Beams

abstract: There is sparse direct experimental evidence that atomic nuclei can exhibit stable pear shapes arising from strong octupole correlations. In order to investigate the nature of octupole collectivity in radium isotopes, electric octupole ($E3$) matrix elements have been determined for transitions in $^{222,228}$Ra nuclei using the method of sub-barrier, multi-step Coulomb excitation. Beams of the radioactive radium isotopes were provided by the HIE-ISOLDE facility at CERN. The observed pattern of $E$3 matrix elements for different nuclear transitions is explained by describing $^{222}$Ra as pear-shaped with stable octupole deformation, while $^{228}$Ra behaves like an octupole vibrator.


title: Continuum limit of SU(3) $\mathcal{N}=1$ supersymmetric Yang-Mills theory and supersymmetric gauge theories on the lattice

abstract: We summarize our investigations of several aspects of $\mathcal{N}=1$ supersymmetric Yang-Mills (SYM) theory. We present our final results for SU(3) $\mathcal{N}=1$ SYM simulated with Wilson fermions. We also discuss the first test of the simulations of the theory with overlap gluinos. Finally, we present some recent progresses concerning the phase structure of the compactified theory on $R^3\times S^1$.


title: Extreme URLLC: Vision, Challenges, and Key Enablers

abstract: Notwithstanding the significant traction gained by ultra-reliable and low-latency communication (URLLC) in both academia and 3GPP standardization, fundamentals of URLLC remain elusive. Meanwhile, new immersive and high-stake control applications with much stricter reliability, latency and scalability requirements are posing unprecedented challenges in terms of system design and algorithmic solutions. This article aspires at providing a fresh and in-depth look into URLLC by first examining the limitations of 5G URLLC, and putting forward key research directions for the next generation of URLLC, coined eXtreme ultra-reliable and low-latency communication (xURLLC). xURLLC is underpinned by three core concepts: (1) it leverages recent advances in machine learning (ML) for faster and reliable data-driven predictions; (2) it fuses both radio frequency (RF) and non-RF modalities for modeling and combating rare events without sacrificing spectral efficiency; and (3) it underscores the much needed joint communication and control co-design, as opposed to the communication-centric 5G URLLC. The intent of this article is to spearhead beyond-5G/6G mission-critical applications by laying out a holistic vision of xURLLC, its research challenges and enabling technologies, while providing key insights grounded in selected use cases.


title: Challenges and Countermeasures for Adversarial Attacks on Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has numerous applications in the real world thanks to its outstanding ability in quickly adapting to the surrounding environments. Despite its great advantages, DRL is susceptible to adversarial attacks, which precludes its use in real-life critical systems and applications (e.g., smart grids, traffic controls, and autonomous vehicles) unless its vulnerabilities are addressed and mitigated. Thus, this paper provides a comprehensive survey that discusses emerging attacks in DRL-based systems and the potential countermeasures to defend against these attacks. We first cover some fundamental backgrounds about DRL and present emerging adversarial attacks on machine learning techniques. We then investigate more details of the vulnerabilities that the adversary can exploit to attack DRL along with the state-of-the-art countermeasures to prevent such attacks. Finally, we highlight open issues and research challenges for developing solutions to deal with attacks for DRL-based intelligent systems.


title: Computing the Feedback Capacity of Finite State Channels using Reinforcement Learning

abstract: In this paper, we propose a novel method to compute the feedback capacity of channels with memory using reinforcement learning (RL). In RL, one seeks to maximize cumulative rewards collected in a sequential decision-making environment. This is done by collecting samples of the underlying environment and using them to learn the optimal decision rule. The main advantage of this approach is its computational efficiency, even in high dimensional problems. Hence, RL can be used to estimate numerically the feedback capacity of unifilar finite state channels (FSCs) with large alphabet size. The outcome of the RL algorithm sheds light on the properties of the optimal decision rule, which in our case, is the optimal input distribution of the channel. These insights can be converted into analytic, single-letter capacity expressions by solving corresponding lower and upper bounds. We demonstrate the efficiency of this method by analytically solving the feedback capacity of the well-known Ising channel with a ternary alphabet. We also provide a simple coding scheme that achieves the feedback capacity.


title: Solving Maxwell's Eigenvalue Problem via Isogeometric Boundary Elements and a Contour Integral Method

abstract: We solve Maxwell's eigenvalue problem via isogeometric boundary elements and a contour integral method. We discuss the analytic properties of the discretisation, outline the implementation, and showcase numerical examples.


title: Crossing the phantom divide line as an effect of quantum transitions

abstract: We consider the Chiral cosmological model consisting of two scalar fields minimally coupled to gravity. In the context of a Friedmann--Lema\^{\i}tre--Robertson--Walker (FLRW) space-time, and for massless fields in the presence of a cosmological constant, we present the general solution of the field equations. The minisuperspace configuration that possesses maximal symmetry leads to scenarios which - depending on the admissible value of the parameters - correspond to a quintessence, quintom or phantom case. The canonical quantization of the model retrieves this distinction as different families of quantum states. The crossing of the phantom line is related to the existence of free or bound states for the Casimir operator of the symmetry algebra of the fields. The classical singularity, which is present in the quintessence solution, is also resolved at the quantum level.


title: Tropical limit of matrix solitons and entwining Yang-Baxter maps

abstract: We consider a matrix refactorization problem, i.e., a "Lax representation", for the Yang-Baxter map that originated as the map of polarizations from the "pure" 2-soliton solution of a matrix KP equation. Using the Lax matrix and its inverse, a related refactorization problem determines another map, which is not a solution of the Yang-Baxter equation, but satisfies a mixed version of the Yang-Baxter equation together with the Yang-Baxter map. Such maps have been called "entwining Yang-Baxter maps" in recent work. In fact, the map of polarizations obtained from a pure 2-soliton solution of a matrix KP equation, and already for the matrix KdV reduction, is NOT in general a Yang-Baxter map, but it is described by one of the two maps or their inverses. We clarify why the weaker version of the Yang-Baxter equation holds, by exploring the pure 3-soliton solution in the "tropical limit", where the 3-soliton interaction decomposes into 2-soliton interactions. Here this is elaborated for pure soliton solutions, generated via a binary Darboux transformation, of matrix generalizations of the two-dimensional Toda lattice equation, where we meet the same entwining Yang-Baxter maps as in the KP case, indicating a kind of universality.


title: Bound -> free and bound -> bound multichannel emission spectra from selectively excited Rydberg states in the ZnAr and CdAr van der Waals complexes

abstract: Multichannel dispersed emission spectra recorded upon a selective excitation of Rydberg electronic energy states in the ZnAr and CdAr van der Waals (vdW) complexes are analysed as a proof-of-concept of the future experimental approach. Simulations of the emission spectra are based on ab-initio calculated interatomic potentials and transition dipole moments (TDMs). Experimental set-up that is under construction along with the experimental procedure are discussed.


title: An energy-based discontinuous Galerkin method for semilinear wave equations

abstract: We generalize the energy-based discontinuous Galerkin method proposed in [SIAM J. Num. Anal., 53(6):2705-2726, 2015.] to second-order semilinear wave equations. A stability and convergence analysis is presented along with numerical experiments demonstrating optimal convergence for certain choices of the interelement fluxes. Applications to the sine-Gordon equation include simulations of breathers, kink, and anti-kink solitons.


title: Multi-Modal Domain Adaptation for Fine-Grained Action Recognition

abstract: Fine-grained action recognition datasets exhibit environmental bias, where multiple video sequences are captured from a limited number of environments. Training a model in one environment and deploying in another results in a drop in performance due to an unavoidable domain shift. Unsupervised Domain Adaptation (UDA) approaches have frequently utilised adversarial training between the source and target domains. However, these approaches have not explored the multi-modal nature of video within each domain. In this work we exploit the correspondence of modalities as a self-supervised alignment approach for UDA in addition to adversarial alignment. We test our approach on three kitchens from our large-scale dataset, EPIC-Kitchens, using two modalities commonly employed for action recognition: RGB and Optical Flow. We show that multi-modal self-supervision alone improves the performance over source-only training by 2.4% on average. We then combine adversarial training with multi-modal self-supervision, showing that our approach outperforms other UDA methods by 3%.


title: Eigenvalues of Ising Hamiltonian with long-range interactions

abstract: We obtained analytically eigenvalues of a multidimensional Ising Hamiltonian on a hypercube lattice and expressed them in terms of spin-spin interaction constants and the eigenvalues of the one-dimensional Ising Hamiltonian (the latter are well known). To do this we wrote down the multidimensional Hamiltonian eigenvectors as the Kronecker products of the eigenvectors of the one-dimensional Ising Hamiltonian. For periodic boundary conditions, it is possible to obtain exact results taking into account interactions with an unlimited number of neighboring spins. In this paper, we present exact expressions for the eigenvalues for the planar and cubic Ising systems accounting for the first five coordination spheres (that is interactions with the nearest neighbors, the next neighbors, the next-next neighbors, the next-next-next neighbors and the next-next-next-next neighbors). In the case of free-boundary systems, we showed that in the two- and three-dimensions the exact expressions could be obtained only if we account for interactions with spins of first two coordination spheres and first three coordination spheres, respectively.


title: Two-qubit quantum Fourier transform and entanglement protected by circulant symmetry

abstract: We propose a method for the realization of the two-qubit quantum Fourier transform (QFT) using a Hamiltonian which possesses the circulant symmetry. Importantly, the eigenvectors of the circulant matrices are the Fourier modes and do not depend on the magnitude of the Hamiltonian elements as long as the circulant symmetry is preserved. The QFT implementation relies on the adiabatic transition from each of the spin product states to the respective quantum Fourier superposition states. We show that in ion traps one can obtain a Hamiltonian with the circulant symmetry by tuning the spin-spin interaction between the trapped ions. We present numerical results which demonstrate that very high fidelity can be obtained with realistic experimental resources. We also describe how the gate can be accelerated by using a "shortcut-to-adiabaticity" field.


title: Retrospective Reader for Machine Reading Comprehension

abstract: Machine reading comprehension (MRC) is an AI challenge that requires machine to determine the correct answers to questions based on a given passage. MRC systems must not only answer question when necessary but also distinguish when no answer is available according to the given passage and then tactfully abstain from answering. When unanswerable questions are involved in the MRC task, an essential verification module called verifier is especially required in addition to the encoder, though the latest practice on MRC modeling still most benefits from adopting well pre-trained language models as the encoder block by only focusing on the "reading". This paper devotes itself to exploring better verifier design for the MRC task with unanswerable questions. Inspired by how humans solve reading comprehension questions, we proposed a retrospective reader (Retro-Reader) that integrates two stages of reading and verification strategies: 1) sketchy reading that briefly investigates the overall interactions of passage and question, and yield an initial judgment; 2) intensive reading that verifies the answer and gives the final prediction. The proposed reader is evaluated on two benchmark MRC challenge datasets SQuAD2.0 and NewsQA, achieving new state-of-the-art results. Significance tests show that our model is significantly better than the strong ELECTRA and ALBERT baselines. A series of analysis is also conducted to interpret the effectiveness of the proposed reader.


title: Estimation of high frequency nutrient concentrations from water quality surrogates using machine learning methods

abstract: Continuous high frequency water quality monitoring is becoming a critical task to support water management. Despite the advancements in sensor technologies, certain variables cannot be easily and/or economically monitored in-situ and in real time. In these cases, surrogate measures can be used to make estimations by means of data-driven models. In this work, variables that are commonly measured in-situ are used as surrogates to estimate the concentrations of nutrients in a rural catchment and in an urban one, making use of machine learning models, specifically Random Forests. The results are compared with those of linear modelling using the same number of surrogates, obtaining a reduction in the Root Mean Squared Error (RMSE) of up to 60.1%. The profit from including up to seven surrogate sensors was computed, concluding that adding more than 4 and 5 sensors in each of the catchments respectively was not worthy in terms of error improvement.


title: $\P$ILCRO: Making Importance Landscapes Flat Again

abstract: Convolutional neural networks have had a great success in numerous tasks, including image classification, object detection, sequence modelling, and many more. It is generally assumed that such neural networks are translation invariant, meaning that they can detect a given feature independent of its location in the input image. While this is true for simple cases, where networks are composed of a restricted number of layer classes and where images are fairly simple, complex images with common state-of-the-art networks do not usually enjoy this property as one might hope. This paper shows that most of the existing convolutional architectures define, at initialisation, a specific feature importance landscape that conditions their capacity to attend to different locations of the images later during training or even at test time. We demonstrate how this phenomenon occurs under specific conditions and how it can be adjusted under some assumptions. We derive the P-objective, or PILCRO for Pixel-wise Importance Landscape Curvature Regularised Objective, a simple regularisation technique that favours weight configurations that produce smooth, low-curvature importance landscapes that are conditioned on the data and not on the chosen architecture. Through extensive experiments, we further show that P-regularised versions of popular computer vision networks have a flat importance landscape, train faster, result in a better accuracy and are more robust to noise at test time, when compared to their original counterparts in common computer-vision classification settings.


title: Survey of Network Intrusion Detection Methods from the Perspective of the Knowledge Discovery in Databases Process

abstract: The identification of cyberattacks which target information and communication systems has been a focus of the research community for years. Network intrusion detection is a complex problem which presents a diverse number of challenges. Many attacks currently remain undetected, while newer ones emerge due to the proliferation of connected devices and the evolution of communication technology. In this survey, we review the methods that have been applied to network data with the purpose of developing an intrusion detector, but contrary to previous reviews in the area, we analyze them from the perspective of the Knowledge Discovery in Databases (KDD) process. As such, we discuss the techniques used for the capture, preparation and transformation of the data, as well as, the data mining and evaluation methods. In addition, we also present the characteristics and motivations behind the use of each of these techniques and propose more adequate and up-to-date taxonomies and definitions for intrusion detectors based on the terminology used in the area of data mining and KDD. Special importance is given to the evaluation procedures followed to assess the different detectors, discussing their applicability in current real networks. Finally, as a result of this literature review, we investigate some open issues which will need to be considered for further research in the area of network security.


title: The side effect profile of Clozapine in real world data of three large mental hospitals

abstract: Objective: Mining the data contained within Electronic Health Records (EHRs) can potentially generate a greater understanding of medication effects in the real world, complementing what we know from Randomised control trials (RCTs). We Propose a text mining approach to detect adverse events and medication episodes from the clinical text to enhance our understanding of adverse effects related to Clozapine, the most effective antipsychotic drug for the management of treatment-resistant schizophrenia, but underutilised due to concerns over its side effects. Material and Methods: We used data from de-identified EHRs of three mental health trusts in the UK (>50 million documents, over 500,000 patients, 2835 of which were prescribed Clozapine). We explored the prevalence of 33 adverse effects by age, gender, ethnicity, smoking status and admission type three months before and after the patients started Clozapine treatment. We compared the prevalence of adverse effects with those reported in the Side Effects Resource (SIDER) where possible. Results: Sedation, fatigue, agitation, dizziness, hypersalivation, weight gain, tachycardia, headache, constipation and confusion were amongst the highest recorded Clozapine adverse effect in the three months following the start of treatment. Higher percentages of all adverse effects were found in the first month of Clozapine therapy. Using a significance level of (p< 0.05) out chi-square tests show a significant association between most of the ADRs in smoking status and hospital admissions and some in gender and age groups. Further, the data was combined from three trusts, and chi-square tests were applied to estimate the average effect of ADRs in each monthly interval. Conclusion: A better understanding of how the drug works in the real world can complement clinical trials and precision medicine.


title: Dynamics of cellular automata on beta-shifts and direct topological factorizations

abstract: We consider the range of possible dynamics of cellular automata (CA) on two-sided beta-shifts $S_\beta$. We show that any reversible CA $F:S_\beta\to S_\beta$ has an almost equicontinuous direction whenever $S_\beta$ is not sofic. This has the corollary that non-sofic beta-shifts are topologically direct prime. We also make some preliminary observations on direct topological factorizations of beta-shifts that are subshifts of finite type.


title: DP-CGAN: Differentially Private Synthetic Data and Label Generation

abstract: Generative Adversarial Networks (GANs) are one of the well-known models to generate synthetic data including images, especially for research communities that cannot use original sensitive datasets because they are not publicly accessible. One of the main challenges in this area is to preserve the privacy of individuals who participate in the training of the GAN models. To address this challenge, we introduce a Differentially Private Conditional GAN (DP-CGAN) training framework based on a new clipping and perturbation strategy, which improves the performance of the model while preserving privacy of the training dataset. DP-CGAN generates both synthetic data and corresponding labels and leverages the recently introduced Renyi differential privacy accountant to track the spent privacy budget. The experimental results show that DP-CGAN can generate visually and empirically promising results on the MNIST dataset with a single-digit epsilon parameter in differential privacy.


title: Towards the affine and geometric invariant theory quotients of the Borel moment map

abstract: We study the Borel moment map $\mu_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $\mu_B^{-1}(0)/\!\!/_{\det}B$ and $\mu_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $\mu_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irreducible components of $\mu_B$. Finally, analogous to the Hilbert--Chow morphism, we discuss that the GIT quotient for the Borel setting is a resolution of singularities.


title: Vandiver's Conjecture via K-theory

abstract: Vandiver's conjecture states that any prime p does not divide the class number $h(R)$ of the maximal real subfield R of the p-th cyclotomic field. The aim of this paper is to prove Vandiver's conjecture, which has several consequences including the first case of Fermat's Great Theorem. The main idea lies in using relations of the algebraic K-theory and the Iwasawa theory, discovered by M.Kervaire and M.P.Murthy in 1977.


title: Unconstrained Biometric Recognition: Summary of Recent SOCIA Lab. Research

abstract: The development of biometric recognition solutions able to work in visual surveillance conditions, i.e., in unconstrained data acquisition conditions and under covert protocols has been motivating growing efforts from the research community. Among the various laboratories, schools and research institutes concerned about this problem, the SOCIA: Soft Computing and Image Analysis Lab., of the University of Beira Interior, Portugal, has been among the most active in pursuing disruptive solutions for obtaining such extremely ambitious kind of automata. This report summarises the research works published by elements of the SOCIA Lab. in the last decade in the scope of biometric recognition in unconstrained conditions. The idea is that it can be used as basis for someone wishing to entering in this research topic.


title: Social network analysis of electric vehicles adoption: a data-based approach

abstract: Mobility is undergoing dramatic transformations. Especially in the context of urban areas, several significant changes are underway, driven by both new mobility needs and environmental concerns. The most mature one, which still is struggling to affirm itself is the process of the adoption of Electric Vehicles (EVs), thus switching from fuel-based to battery-powered propulsion technologies. Many social and economic barriers have proved to play a crucial role in this process, ranging from level of education, environmental awareness, age and census. This work aims at contributing to the study of this adoption process through a data-based lens, using real mobility patterns to setup a social-network analysis to model the spread of consensus among neighbouring people that can enable the switch to EVs. In particular, we build the network topology using proximity measures that emerge from the analysis of real trips, and the initial disposition of the single agents towards the EV technology is inferred from their real mobility patterns. Based on this network, a cascade adoption model is simulated to investigate the dynamics of the adoption process, and an incentive scheme is designed to show how different policies can contribute to the opinion diffusion over time on the network.


title: Layered Clause Selection for Theory Reasoning

abstract: Explicit theory axioms are added by a saturation-based theorem prover as one of the techniques for supporting theory reasoning. While simple and effective, adding theory axioms can also pollute the search space with many irrelevant consequences. As a result, the prover often gets lost in parts of the search space where the chance to find a proof is low. In this paper we describe a new strategy for controlling the amount of reasoning with explicit theory axioms. The strategy refines a recently proposed two-layer-queue clause selection and combines it with a heuristical measure of the amount of theory reasoning in the derivation of a clause. We implemented the new strategy in the automatic theorem prover Vampire and present an evaluation showing that our work dramatically improves the state-of-the-art clause-selection strategy in the presence of theory axioms.


title: Estimations of zeros of a polynomial using numerical radius inequalities

abstract: We present new bounds for the numerical radius of bounded linear operators and $2\times 2$ operator matrices. We apply upper bounds for the numerical radius to the Frobenius companion matrix of a complex monic polynomial to obtain new estimations for zeros of that polynomial. We also show with numerical examples that our new estimations improve on the existing estimations.


title: Design of the Ouroboros packet network

abstract: The 5-layer TCP and 7-layer OSI models are taught as high-level frameworks in which the various protocols that are used in computer networks operate. These models provide valid insights in the organization of network functionalities and protocols; however, the difficulties to fit some crucial technologies within them hints that they don't provide a complete model for the organization of -- and relationships between -- different mechanisms in a computer network. Recently, a recursive model for computer networks was proposed, which organizes networks in layers that conceptually provide the same mechanisms through a common interface. Instead of defined by function, these layers are distinguished by scope. We report our research on a model for computer networks. Following a rigorous regime alternating design with the evaluation of its implications in an implementation, we converged on a recursive architecture, named Ouroboros. One of our main main objectives was to disentangle the fundamental mechanisms that are found in computer networks as much as possible. Its distinguishing feature is the separation of unicast and broadcast as different mechanisms, giving rise to two different types of layers. These unicast and broadcast layers can easily be spotted in today's networks. This article presents the concepts underpinning Ouroboros, details its organization and interfaces, and introduces the free software prototype. We hope the insights it provides can guide future network design and implementation.


title: Metal to insulator transition, colossal Seebeck coefficient and ultralow thermal conductivity in solution-processed monodispersed nickel nanoparticles

abstract: We report here metal to insulator transition, colossal Seebeck coefficient and ultralow thermal conductivity (0.0057th of its bulk value, significantly smaller than many well-known thermoelectric materials and silicon, showing potential applications in thermoelectrics, electronics and photonics for heat dissipation) in monodispersed well characterized Ni nanoparticles. As a consequence, thermoelectric power factor and figure of merit are significantly enhanced compared to their bulk counterpart. Interestingly, a systematic crossover from metallic to semiconducting to finally electrically insulating behavior, large negative temperature coefficient of resistance and n-type conduction to p-type conduction with decrease in particle size have been observed. These results are mainly attributed to formation of metal/organic interfaces, enhancement in local electronic density of sates and multiscale electron and phonon scattering by various defects. Thus, this study will open a new avenue to make better thermoelectrics through incorporation of such nanoparticles in semiconducting hosts.


title: Upper bound on some hightness notions

abstract: We give upper bound for several highness properties in computability randomness theory. First, we prove that discrete covering property does not imply the ability to compute a 1-random real, answering a question of Greenberg, Miller and Nies. This also implies that an infinite set of incompressible strings does not necessarily extract a 1-random real. Second, we prove that given a homogeneous binary tree that does not admit an infinite computable path, a sequence of bounded martingale whose initial capital tends to zero, there exists a martingale $S$ majorizing infinitely any of them such that $S$ does not compute an infinite path of the tree. This implies that 1) High(CR,MLR) does not imply PA-completeness, answering a question of Miller; 2) $\leq_{\mathsf{CR}}$ does not imply $\leq_T$, answering a question of Nies. The proof of the second result suggests that the coding power of the universal c.e. martingale lies in its infinite variance.


title: Hall effect evidence for an interplay between electronic correlations and Na order induced electronic bands topology in NaxCoO2

abstract: The incidence of topology on the band structure and physical properties of layered compounds has been extensively studied in semimetals. How those evolve in presence of electronic correlations has been less investigated so far. In the sodium cobaltates NaxCoO2 considered here, unexpected magnetic properties associated with correlations on the Co sites have been disclosed about 15 years ago. The distinct Na orders of the stable phases of these cobaltates have been shown to induce specific Co charge disproportionation with large size unit cells in the CoO2 planes, linked with the diverse magnetic behaviors. This provides an original playground in the studies of interplays between topology and correlations in these layered materials. We present here transport measurements on a series of single crystals and demonstrate that we do synthetize pure phases with quite reproducible transport properties. We show that above room T those display a similar behavior whatever the Na content. On the contrary we provide evidence for a great diversity in Hall effect low temperature dependences which underlines the specificities of the Fermi Surface reconstructions induced by the Na order. We study in some detail the difference between two metallic phases, one (x = 0.77) antiferromagnetic below TN = 22 K and the second (x = 2/3) paramagnetic down to T = 0. Both show a sign change in the Hall effect with decreasing T. We demonstrate that this can be attributed to quite distinct physical effects. For the x = 0.77 phase the negative Hall effect occurs in similar conditions to the anomalous Hall effect found in various magnetic metals. In the x = 2/3 phase have to be assigned to specificities of its Fermi surface. In both cases the anomalies detected in the Hall effect are certainly associated with the topology of their Co electronic bands.


title: Topology dependence of on-demand ride-sharing

abstract: Traffic is a challenge in rural and urban areas alike with negative effects ranging from congestion to air pollution. Ride-sharing poses an appealing alternative to personal cars, combining the traffic-reducing ride bundling of public transport with much of the flexibility and comfort of personal cars. Here we study the effects of the underlying street network topology on the viability of ride bundling analytically and in simulations. Using numerical and analytical approaches we find that system performance can be measured in the number of scheduled stops per vehicle. Its scaling with the request rate is approximately linear and the slope, that depends on the network topology, is a measure of the ease of ridesharing in that topology. This dependence is caused by the different growth of the route volume, which we compute analytically for the simplest networks served by a single vehicle.


title: Genus-$3$ Lefschetz Fibrations and Exotic $4$-Manifolds with $b_{2}^{+}=3$

abstract: We explicitly construct a genus-$3$ Lefschetz fibration over $\mathbb{S}^{2}$ whose total space is $\mathbb{T}^{2}\times \mathbb{S}^{2}\# 6\overline{\mathbb{C} P^{2}}$ using the monodromy of Matsumoto's genus-$2$ Lefschetz fibration. We then construct more genus-$3$ Lefschetz fibrations whose total spaces are exotic minimal symplectic $4$-manifolds $3 \mathbb{C} P^{2} \# q\overline{\mathbb{C} P^{2}}$ for $q=13,\ldots,19$. We also generalize our construction to get genus-$3k$ Lefschetz fibration structure on the $4$-manifold $\Sigma_{k}\times \mathbb{S}^{2}\# 6\overline{\mathbb{C} P^{2}}$ using the generalized Matsumoto's genus-$2k$ Lefschetz fibration. From this generalized version, we derive further exotic $4$-manifolds via Luttinger surgery and twisted fiber sum.


title: First-principles-based calculation of branching ratio for 5$\boldsymbol{d}$, 4$\boldsymbol{d}$, and 3$\boldsymbol{d}$ transition metal systems

abstract: A new first-principles computation scheme to calculate `branching ratio' has been applied to various $5d$, $4d$, and $3d$ transition metal elements and compounds. This recently suggested method is based on a theory which assumes the atomic core hole interacting barely with valence electrons. While it provides an efficient way to calculate the experimentally measurable quantity without generating spectrum itself, its reliability and applicability should be carefully examined especially for the light transition metal systems. Here we select 36 different materials and compare the calculation results with experimental data. It is found that our scheme well describes 5$d$ and 4$d$ transition metal systems whereas, for 3$d$ materials, the difference between the calculation and experiment is quite significant. It is attributed to the neglect of core-valence interaction whose energy scale is comparable with the spin-orbit coupling of core $p$ orbitals.


title: Symmetric periodic orbits and invariant disk-like global surfaces of section on the three-sphere

abstract: We study Reeb dynamics on the three-sphere equipped with a tight contact form and an anti-contact involution. We prove the existence of a symmetric periodic orbit and provide necessary and sufficient conditions for it to bound an invariant disk-like global surface of section. We also study the same questions under the presence of additional symmetry and obtain similar results in this case. The proofs make use of pseudoholomorphic curves in symplectizations. As applications, we study Birkhoff's conjecture on disk-like global surfaces of section in the planar circular restricted three-body problem and the existence of symmetric closed Finsler geodesics on the two-sphere. We also present applications to some classical Hamiltonian systems.


title: Formalization of Forcing in Isabelle/ZF

abstract: We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies ZFC. In doing so, we remodularized Paulson's ZF-Constructibility library.


title: Bimodal coalitions and neural networks

abstract: We give an account of the Axelrod-Bennet model that describes formation of a bimodal coalition. We present its initial formalism and applications and reformulate the problem in terms of the Hopfield model. This allowed us to analyze a system of two homogeneous groups of agents, which interact with each other. We obtained a phase diagram describing the dependence of the bimodal coalition on external parameters.


title: Resolution of the equation $(3^{x_1}-1)(3^{x_2}-1)=(5^{y_1}-1)(5^{y_2}-1)$

abstract: Consider the diophantine equation $(3^{x_1}-1)(3^{x_2}-1)=(5^{y_1}-1)(5^{y_2}-1)$ in positive integers $x_1\le x_2$, and $y_1\le y_2$. Each side of the equation is a product of two terms of a given binary recurrence, respectively. In this paper, we prove that the only solution to the title equation is $(x_1,x_2,y_1,y_2)=(1,2,1,1)$. The main novelty of our result is that we allow products of two terms on both sides.


title: $(\mathbb{RP}^{2n-1},\xi_{std})$ is not exactly fillable for $n\ne 2^k$

abstract: We prove that $(\mathbb{RP}^{2n-1},\xi_{std})$ is not exactly fillable for any $n\ne 2^k$ and there exist strongly fillable but not exactly fillable contact manifolds for all dimension $\ge 5$.


title: A Deep Learning Functional Estimator of Optimal Dynamics for Sampling Large Deviations

abstract: In stochastic systems, numerically sampling the relevant trajectories for the estimation of the large deviation statistics of time-extensive observables requires overcoming their exponential (in space and time) scarcity. The optimal way to access these rare events is by means of an auxiliary dynamics obtained from the original one through the so-called ``generalised Doob transformation''. While this optimal dynamics is guaranteed to exist its use is often impractical, as to define it requires the often impossible task of diagonalising a (tilted) dynamical generator. While approximate schemes have been devised to overcome this issue they are difficult to automate as they tend to require knowledge of the systems under study. Here we address this problem from the perspective of deep learning. We devise an iterative semi-supervised learning scheme which converges to the optimal or Doob dynamics with the clear advantage of requiring no prior knowledge of the system. We test our method in a paradigmatic statistical mechanics model with non-trivial dynamical fluctuations, the fully packed classical dimer model on the square lattice, showing that it compares favourably with more traditional approaches. We discuss broader implications of our results for the study of rare dynamical trajectories.


title: On numerical radius and Crawford number attainment sets of a bounded linear operator

abstract: We completely characterize the Crawford number attainment set and the numerical radius attainment set of a bounded linear operator on a Hilbert space. We study the intersection properties of the corresponding attainment sets of numerical radius, Crawford number, norm, minimum norm of a bounded linear operator defined on a normed space. Our study illustrates the similarities and the differences of the extremal properties of a bounded linear operator on a Hilbert space and a general normed space.


title: Effective bounds on multiplicatively dependent orbits of integer polynomials modulo S-integers

abstract: We obtain effective bounds on the heights of algebraic integers whose orbits contain multiplicatively dependent values modulo S-integers. Our method is based on a new upper bound on the so-called S-height of polynomial values over the ring of integers of $\mathbb{K}$. Our results provide an effective variant of a recent result of A.B\'erczes, A.Ostafe, I.E.Shparlinski and J.H.Silverman (arXiv:1811.04971) on multiplicative dependence modulo a finitely generated subgroup by eliminating the use of non-effective results by K.F.Roth and G.Faltings.


title: The lowest of the low: discovery of SN 2019gsc and the nature of faint Iax supernovae

abstract: We present the discovery and optical follow-up of the faintest supernova-like transient known. The event (SN 2019gsc) was discovered in a star-forming host at 53\,Mpc by ATLAS. A detailed multi-colour light curve was gathered with Pan-STARRS1 and follow-up spectroscopy was obtained with the NOT and Gemini-North. The spectra near maximum light show narrow features at low velocities of 3000 to 4000 km s$^{-1}$, similar to the extremely low luminosity SNe 2010ae and 2008ha, and the light curve displays a similar fast decline (\dmr $0.91 \pm 0.10$ mag). SNe 2010ae and 2008ha have been classified as type Iax supernovae, and together the three either make up a distinct physical class of their own or are at the extreme low luminosity end of this diverse supernova population. The bolometric light curve is consistent with a low kinetic energy of explosion ($E_{\rm k} \sim 10^{49}$ erg s$^{-1}$), a modest ejected mass ($M_{\rm ej} \sim 0.2$ \msol) and radioactive powering by $^{56}$Ni ($M_{\rm Ni} \sim 2 \times 10^{-3}$ \msol). The spectra are quite well reproduced with radiative transfer models (TARDIS) and a composition dominated by carbon, oxygen, magnesium, silicon and sulphur. Remarkably, all three of these extreme Iax events are in similar low-metallicity star-forming environments. The combination of the observational constraints for all three may be best explained by deflagrations of near $M_{\rm Ch}$ hybrid carbon-oxygen-neon white dwarfs which have short evolutionary pathways to formation.


title: Monitoring Misuse for Accountable 'Artificial Intelligence as a Service'

abstract: AI is increasingly being offered 'as a service' (AIaaS). This entails service providers offering customers access to pre-built AI models and services, for tasks such as object recognition, text translation, text-to-voice conversion, and facial recognition, to name a few. The offerings enable customers to easily integrate a range of powerful AI-driven capabilities into their applications. Customers access these models through the provider's APIs, sending particular data to which models are applied, the results of which returned. However, there are many situations in which the use of AI can be problematic. AIaaS services typically represent generic functionality, available 'at a click'. Providers may therefore, for reasons of reputation or responsibility, seek to ensure that the AIaaS services they offer are being used by customers for 'appropriate' purposes. This paper introduces and explores the concept whereby AIaaS providers uncover situations of possible service misuse by their customers. Illustrated through topical examples, we consider the technical usage patterns that could signal situations warranting scrutiny, and raise some of the legal and technical challenges of monitoring for misuse. In all, by introducing this concept, we indicate a potential area for further inquiry from a range of perspectives.


title: The super-Sasaki metric on the antitangent bundle

abstract: We show how to lift a Riemannian metric and almost symplectic form on a manifold to a Riemannian structure on a canonically associated supermanifold known as the antitangent or shifted tangent bundle. We view this construction as a generalisation of Sasaki's construction of a Riemannian metric on the tangent bundle of a Riemannian manifold.


title: Probabilistic spike propagation for FPGA implementation of spiking neural networks

abstract: Evaluation of spiking neural networks requires fetching a large number of synaptic weights to update postsynaptic neurons. This limits parallelism and becomes a bottleneck for hardware. We present an approach for spike propagation based on a probabilistic interpretation of weights, thus reducing memory accesses and updates. We study the effects of introducing randomness into the spike processing, and show on benchmark networks that this can be done with minimal impact on the recognition accuracy. We present an architecture and the trade-offs in accuracy on fully connected and convolutional networks for the MNIST and CIFAR10 datasets on the Xilinx Zynq platform.


title: Electromagnetic coupling in tight-binding models for strongly correlated light and matter

abstract: We discuss the construction of low-energy tight-binding Hamiltonians for condensed matter systems with a strong coupling to the quantum electromagnetic field. Such Hamiltonians can be obtained by projecting the continuum theory on a given set of Wannier orbitals. However, different representations of the continuum theory lead to different low-energy formulations, because different representations may entangle light and matter, transforming orbitals into light-matter hybrid states before the projection. In particular, a multi-center Power-Zienau-Woolley transformation yields a dipolar Hamiltonian which incorporates the light-matter coupling via both Peierls phases and a polarization density. We compare this dipolar gauge Hamiltonian and the straightforward Coulomb gauge Hamiltonian for a one-dimensional solid, to describe sub-cycle light-driven electronic motion in the semiclassical limit, and a coupling of the solid to a quantized cavity mode which renormalizes the band-structure into electron-polariton bands. Both descriptions yield the same result when many bands are taken into account, but the dipolar Hamiltonian is more accurate when the model is restricted to few electronic bands, while the Coulomb Hamiltonian requires fewer electromagnetic modes.


title: Scaling Up Online Speech Recognition Using ConvNets

abstract: We design an online end-to-end speech recognition system based on Time-Depth Separable (TDS) convolutions and Connectionist Temporal Classification (CTC). We improve the core TDS architecture in order to limit the future context and hence reduce latency while maintaining accuracy. The system has almost three times the throughput of a well tuned hybrid ASR baseline while also having lower latency and a better word error rate. Also important to the efficiency of the recognizer is our highly optimized beam search decoder. To show the impact of our design choices, we analyze throughput, latency, accuracy, and discuss how these metrics can be tuned based on the user requirements.


title: Bounds on Lorentz invariance violation from MAGIC observation of GRB 190114C

abstract: On January 14, 2019, the Major Atmospheric Gamma Imaging Cherenkov telescopes detected GRB 190114C above 0.2 TeV, recording the most energetic photons ever observed from a gamma-ray burst. We use this unique observation to probe an energy dependence of the speed of light in vacuo for photons as predicted by several quantum gravity models. Based on a set of assumptions on the possible intrinsic spectral and temporal evolution, we obtain competitive lower limits on the quadratic leading order of speed of light modification.


title: The $a_0$ -- cosmology connection in MOND

abstract: I limelight and review a potentially crucial aspect of MOND: The near equality of the MOND acceleration constant, $a_0$ -- as deduced from local, galactic phenomena -- and cosmological parameters. To wit, $a_0\sim c H_0\sim c^2\Lambda^{1/2}\sim c^2/\ell_U$, where $H_0$ is the present value of the Hubble-Lema\^{i}tre constant, $\Lambda$ is the `cosmological constant', and $\ell_U$ is a cosmological characteristic length; e.g., the Hubble distance, or the de Sitter radius associated with $\Lambda$. In itself, this near equality has some important phenomenological consequences, such as the impossibility of black holes, and of cosmological strong lensing, in the MOND regime. More importantly perhaps, this `coincidence' may be a pointer to the `FUNDAMOND' -- the more basic theory underlying MOND phenomenology. The manners in which such a relation emerges in existing, underlying scheme of MOND are also reviewed, interlaced with examples of similar relations in other physical systems, between apparently-fundamental velocity, length, and acceleration constants. Such analogies may point the way to explanation of the MOND `coincidence'.


title: Handling noise in image deblurring via joint learning

abstract: Currently, many blind deblurring methods assume blurred images are noise-free and perform unsatisfactorily on the blurry images with noise. Unfortunately, noise is quite common in real scenes. A straightforward solution is to denoise images before deblurring them. However, even state-of-the-art denoisers cannot guarantee to remove noise entirely. Slight residual noise in the denoised images could cause significant artifacts in the deblurring stage. To tackle this problem, we propose a cascaded framework consisting of a denoiser subnetwork and a deblurring subnetwork. In contrast to previous methods, we train the two subnetworks jointly. Joint learning reduces the effect of the residual noise after denoising on deblurring, hence improves the robustness of deblurring to heavy noise. Moreover, our method is also helpful for blur kernel estimation. Experiments on the CelebA dataset and the GOPRO dataset show that our method performs favorably against several state-of-the-art methods.


title: Colimit theorems for coarse coherence with applications

abstract: We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It is known that coarse coherence of the fundamental group has important implications for classification of high-dimensional manifolds. The Family Colimit Theorem is one of the permanence theorems that give structure to the class of coarsely coherent groups. In fact, all known permanence theorems follow from the Family Colimit Theorem. We also use this theorem to construct new groups from this class.


title: Resonant thermal energy transfer to magnons in a ferromagnetic nanolayer

abstract: Energy harvesting is a modern concept which makes dissipated heat useful by transferring thermal energy to other excitations. Most of the existing principles for energy harvesting are realized in systems which are heated continuously, for example generating DC voltage in thermoelectric devices. Here we present the concept of high-frequency energy harvesting where the dissipated heat in a sample excites resonant magnons in a 5-nm thick ferromagnetic metal layer. The sample is excited by femtosecond laser pulses with a repetition rate of 10 GHz which results in temperature modulation at the same frequency with amplitude ~0.1 K. The alternating temperature excites magnons in the ferromagnetic nanolayer which are detected by measuring the net magnetization precession. When the magnon frequency is brought onto resonance with the optical excitation, a 12-fold increase of the amplitude of precession indicates efficient resonant heat transfer from the lattice to coherent magnons. The demonstrated principle may be used for energy harvesting in various nanodevices operating at GHz and sub-THz frequency ranges.


title: On Motohashi's formula

abstract: We complement and offer a new perspective of the proof of a Motohashi-type formula relating the fourth moment of $L$-functions for $\mathrm{GL}_1$ with the third moment of $L$-functions for $\mathrm{GL}_2$ over number fields, studied earlier by Michel-Venkatesh and Nelson. Our main tool is a new type of pre-trace formula with test functions on $\mathrm{M}_2(\mathbb{A})$ instead of $\mathrm{GL}_2(\mathbb{A})$, on whose spectral side the matrix coefficients are replaced by the standard Godement-Jacquet zeta integrals. This is also a generalization of Bruggeman-Motohashi's other proof of Motohashi's formula. We give a variation of our method in the case of division quaternion algebras instead of $\mathrm{M}_2$, yielding a new spectral reciprocity, for which we are not sure if it is within the period formalism given by Michel-Venkatesh. We also indicate a further possible generalization, which seems to be beyond what the period method can offer.


title: One Explanation Does Not Fit All: The Promise of Interactive Explanations for Machine Learning Transparency

abstract: The need for transparency of predictive systems based on Machine Learning algorithms arises as a consequence of their ever-increasing proliferation in the industry. Whenever black-box algorithmic predictions influence human affairs, the inner workings of these algorithms should be scrutinised and their decisions explained to the relevant stakeholders, including the system engineers, the system's operators and the individuals whose case is being decided. While a variety of interpretability and explainability methods is available, none of them is a panacea that can satisfy all diverse expectations and competing objectives that might be required by the parties involved. We address this challenge in this paper by discussing the promises of Interactive Machine Learning for improved transparency of black-box systems using the example of contrastive explanations -- a state-of-the-art approach to Interpretable Machine Learning. Specifically, we show how to personalise counterfactual explanations by interactively adjusting their conditional statements and extract additional explanations by asking follow-up "What if?" questions. Our experience in building, deploying and presenting this type of system allowed us to list desired properties as well as potential limitations, which can be used to guide the development of interactive explainers. While customising the medium of interaction, i.e., the user interface comprising of various communication channels, may give an impression of personalisation, we argue that adjusting the explanation itself and its content is more important. To this end, properties such as breadth, scope, context, purpose and target of the explanation have to be considered, in addition to explicitly informing the explainee about its limitations and caveats...


title: An AI model for Rapid and Accurate Identification of Chemical Agents in Mass Casualty Incidents

abstract: In this report we examine the effectiveness of WISER in identification of a chemical culprit during a chemical based Mass Casualty Incident (MCI). We also evaluate and compare Binary Decision Tree (BDT) and Artificial Neural Networks (ANN) using the same experimental conditions as WISER. The reverse engineered set of Signs/Symptoms from the WISER application was used as the training set and 31,100 simulated patient records were used as the testing set. Three sets of simulated patient records were generated by 5%, 10% and 15% perturbation of the Signs/Symptoms of each chemical record. While all three methods achieved a 100% training accuracy, WISER, BDT and ANN produced performances in the range of: 1.8%-0%, 65%-26%, 67%-21% respectively. A preliminary investigation of dimensional reduction using ANN illustrated a dimensional collapse from 79 variables to 40 with little loss of classification performance.


title: Coherence for closed categories with biproducts

abstract: A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts.


title: Visualizing the emission of a single photon with frequency and time resolved spectroscopy

abstract: At the dawn of Quantum Physics, Wigner and Weisskopf obtained a full analytical description (a \textit{photon portrait}) of the emission of a single photon by a two-level system, using the basis of frequency modes (Weisskopf and Wigner, "Zeitschrift f\"ur Physik", 63, 1930). A direct experimental reconstruction of this portrait demands an accurate measurement of a time resolved fluorescence spectrum, with high sensitivity to the off-resonant frequencies and ultrafast dynamics describing the photon creation. In this work we demonstrate such an experimental technique in a superconducting waveguide Quantum Electrodynamics (wQED) platform, using single transmon qubit and two coupled transmon qubits as quantum emitters. In both scenarios, the photon portraits agree quantitatively with the predictions of the input-output theory and qualitatively with Wigner-Weisskopf theory. We believe that our technique allows not only for interesting visualization of fundamental principles, but may serve as a tool, e.g. to realize multi-dimensional spectroscopy in waveguide Quantum Electrodynamics.


title: The Ground Truth Trade-Off in Wearable Sensing Studies

abstract: Perez et al's study using the Apple Watch to identify atrial fibrillation (AF) is a watershed moment in large-scale machine learning for wearable computing. Identifying relevant patients will be tremendously important to research in healthcare. For a condition like AF, this could reduce stroke risk by two thirds. In the study by Perez et al, only 450 out of 420,000 individuals had ground truth data. Their study excluded 417,000 participants using the irregular pulse notification. This design decision means their study was only able to report positive predictive value (PPV) and unable to explore sensitivity or specificity. In this editorial, we explore the difficulty of obtaining ground truth data and its implications for study design.


title: Equation of state and composition of the inner crust of an accreting neutron star: multicomponent model

abstract: Correct interpretation of X-ray observations of transiently accreting neutron stars requires modeling of nuclear-physical processes in these objects. We consider a chain of nuclear reactions that drives the crust composition in an accreting neutron star and heats up the star. We constructed multicomponent approach with the kinetics of nuclear reactions described in simplified stepwise manner. The redistribution of nucleons between nuclei by emission and capture of neutrons is shown to significantly affect the nuclear reaction chains and the composition of the inner crust. In particular, even if the outer crust has one-component composition, the appearance of free neutrons in the inner crust leads to branching of reaction chains and formation of the multicomponent composition. We apply the compressible liquid drop nuclear model, which includes effects of free neutrons on nuclear energies. It allows us to calculate the composition, the heating profile and the equation of state of matter up to densities \rho ~ 2 \times 10^{13} g cm^{-3}.


title: Classification of human activity recognition using smartphones

abstract: Smartphones have been the most popular and widely used devices among means of communication. Nowadays, human activity recognition is possible on mobile devices by embedded sensors, which can be exploited to manage user behavior on mobile devices by predicting user activity. To reach this aim, storing activity characteristics, Classification, and mapping them to a learning algorithm was studied in this research. In this study, we applied categorization through deep belief network to test and training data, which resulted in 98.25% correct diagnosis in training data and 93.01% in test data. Therefore, in this study, we prove that the deep belief network is a suitable method for this particular purpose.


title: Configurational temperature in dusty plasmas

abstract: The temperature of a dust ensemble in a dusty plasma is one of its most fundamental properties. Here, we present experiments using the configurational temperature as a for the temperature analysis in dusty plasmas. Using a model of the particle interactions, the configurational temperature allows us to determine the temperature of the dust ensemble from measurements of the particle positions, rather than particle velocities. The basic concept will be presented and the technique is applied to two-dimensional finite clusters as well as three-dimensional data from an extended dust cloud. Additionally, the configurational temperature can be used to derive the particle charge and the screening length from a comparison with the standard kinetic temperature.


title: Can an Algorithm be My Healthcare Proxy?

abstract: Planning for death is not a process in which everyone participates. Yet a lack of planning can have vast impacts on a patient's well-being, the well-being of her family, and the medical community as a whole. Advance Care Planning (ACP) has been a field in the United States for a half-century. Many modern techniques prompting patients to think about end of life (EOL) involve short surveys or questionnaires. Different surveys are targeted to different populations (based off of likely disease progression or cultural factors, for instance), are designed with different intentions, and are administered in different ways. There has been recent work using technology to increase the number of people using advance care planning tools. However, modern techniques from machine learning and artificial intelligence could be employed to make additional changes to the current ACP process. In this paper we will discuss some possible ways in which these tools could be applied. We will discuss possible implications of these applications through vignettes of patient scenarios. We hope that this paper will encourage thought about appropriate applications of artificial intelligence in ACP as well as implementation of AI in order to ensure intentions are honored.