title: Solitary States and Partial Synchrony in Oscillatory Ensembles with Attractive and Repulsive Interactions

abstract: We numerically and analytically analyze transitions between different synchronous states in a network of globally coupled phase oscillators with attractive and repulsive interactions. The elements within the attractive or repulsive group are identical, but natural frequencies of the groups differ. In addition to a synchronous two-cluster state, the system exhibits a solitary state, when a single oscillator leaves the cluster of repulsive elements, as well as partially synchronous quasiperiodic dynamics. We demonstrate how the transitions between these states occur when the repulsion starts to prevail over attraction.


title: Sequence to Sequence with Attention for Influenza Prevalence Prediction using Google Trends

abstract: Early prediction of the prevalence of influenza reduces its impact. Various studies have been conducted to predict the number of influenza-infected people. However, these studies are not highly accurate especially in the distant future such as over one month. To deal with this problem, we investigate the sequence to sequence (Seq2Seq) with attention model using Google Trends data to assess and predict the number of influenza-infected people over the course of multiple weeks. Google Trends data help to compensate the dark figures including the statistics and improve the prediction accuracy. We demonstrate that the attention mechanism is highly effective to improve prediction accuracy and achieves state-of-the art results, with a Pearson correlation and root-mean-square error of 0.996 and 0.67, respectively. However, the prediction accuracy of the peak of influenza epidemic is not sufficient, and further investigation is needed to overcome this problem.


title: Degenerative Adversarial NeuroImage Nets: Generating Images that Mimic Disease Progression

abstract: Simulating images representative of neurodegenerative diseases is important for predicting patient outcomes and for validation of computational models of disease progression. This capability is valuable for secondary prevention clinical trials where outcomes and screening criteria involve neuroimaging. Traditional computational methods are limited by imposing a parametric model for atrophy and are extremely resource-demanding. Recent advances in deep learning have yielded data-driven models for longitudinal studies (e.g., face ageing) that are capable of generating synthetic images in real-time. Similar solutions can be used to model trajectories of atrophy in the brain, although new challenges need to be addressed to ensure accurate disease progression modelling. Here we propose Degenerative Adversarial NeuroImage Net (DaniNet) --- a new deep learning approach that learns to emulate the effect of neurodegeneration on MRI by simulating atrophy as a function of ages, and disease progression. DaniNet uses an underlying set of Support Vector Regressors (SVRs) trained to capture the patterns of regional intensity changes that accompany disease progression. DaniNet produces whole output images, consisting of 2D-MRI slices that are constrained to match regional predictions from the SVRs. DaniNet is also able to maintain the unique brain morphology of individuals. Adversarial training ensures realistic brain images and smooth temporal progression. We train our model using 9652 T1-weighted (longitudinal) MRI extracted from the Alzheimer's Disease Neuroimaging Initiative (ADNI) dataset. We perform quantitative and qualitative evaluations on a separate test set of 1283 images (also from ADNI) demonstrating the ability of DaniNet to produce accurate and convincing synthetic images that emulate disease progression.


title: Incremental Concept Learning via Online Generative Memory Recall

abstract: The ability to learn more and more concepts over time from incrementally arriving data is essential for the development of a life-long learning system. However, deep neural networks often suffer from forgetting previously learned concepts when continually learning new concepts, which is known as catastrophic forgetting problem. The main reason for catastrophic forgetting is that the past concept data is not available and neural weights are changed during incrementally learning new concepts. In this paper, we propose a pseudo-rehearsal based class incremental learning approach to make neural networks capable of continually learning new concepts. We use a conditional generative adversarial network to consolidate old concepts memory and recall pseudo samples during learning new concepts and a balanced online memory recall strategy is to maximally maintain old memories. And we design a comprehensible incremental concept learning network as well as a concept contrastive loss to alleviate the magnitude of neural weights change. We evaluate the proposed approach on MNIST, Fashion-MNIST and SVHN datasets and compare with other rehearsal based approaches. The extensive experiments demonstrate the effectiveness of our approach.


title: Double Input Boost/Y-Source DC-DC Converter for Renewable Energy Sources

abstract: With the increasing adoption of renewable energy sources by domestic users, decentralisation of the grid is fast becoming a reality. Distributed generation is an important part of a decentralised grid. This approach employs several small-scale technologies to produce electrical energy close to the end users or consumers. The higher reliability of these systems proves to be of advantage when compared to traditional generation systems. Multi-Input Converters (MICs) perform a decisive function in Distributed Energy Resources (DERs). Making use of such MICs prove to be beneficial in terms of size, cost, number of components used, efficiency and reliability as compared to using several independent converters. This thesis proposes a double input DC-DC converter which makes use of a quasi Y-source converter in tandem with a boost converter. The quasi Y-source converter has the advantage of having a very high gain for low duty cycles. The associated operating modes are analysed and the operation of the MIC is verified using simulation result. A hardware prototype is built for large signal analysis in open loop. Different loads are applied and the efficiency of the MIC as a whole as well as the load sharing between the different sources is investigated.


title: Interlinking Heterogeneous Data for Smart Energy Systems

abstract: Smart energy systems in general, and solar energy analysis in particular, have recently gained increasing interest. This is mainly due to stronger focus on smart energy saving solutions and recent developments in photovoltaic (PV) cells. Various data-driven and machine-learning frameworks are being proposed by the research community. However, these frameworks perform their analysis - and are designed on - specific, heterogeneous and isolated datasets, distributed across different sites and sources, making it hard to compare results and reproduce the analysis on similar data. We propose an approach based on Web (W3C) standards and Linked Data technologies for representing and converting PV and weather records into an Resource Description Framework (RDF) graph-based data format. This format, and the presented approach, is ideal in a data integration scenario where data needs to be converted into homogeneous form and different datasets could be interlinked for distributed analysis.


title: Materials databases: the need for open, interoperable databases with standardized data and rich metadata

abstract: Driven by the recent rapid increase in the number of materials databases published (open and commercial), I discuss here some perspectives on the growing need for standardized, interoperable, open databases. The field of computational materials discovery is quickly expanding, and recent advances in data mining, high throughput screening, and machine learning highlight the potential of open databases.


title: Second order rectifiability of varifolds of bounded mean curvature

abstract: We prove that the support of an $ m $ dimensional rectifiable varifold with a uniform lower bound on the density and bounded generalized mean curvature can be covered $ \mathscr{H}^{m} $ almost everywhere by a countable union of $m$ dimensional submanifolds of class $ \mathcal{C}^{2} $. We obtain this result using the notion of curvature of arbitrary closed sets originally developed in stochastic geometry and extending to our geometric setting techniques developed by Trudinger in the theory of viscosity solutions of PDE's.


title: Continuous guided strontium beam with high phase-space density

abstract: A continuous guided atomic beam of $^{88}\mathrm{Sr}$ with a phase-space density exceeding $10^{-4}$ in the moving frame and a flux of $3 \times 10^{7} \, \mathrm{at \, s^{-1}}$ is demonstrated. This phase-space density is around three orders of magnitude higher than previously reported for steady-state atomic beams. We detail the architecture necessary to produce this ultracold atom source and characterize its output after $\sim 4 \, \mathrm{cm}$ of propagation. With radial temperatures of less than $1 \,\mu \mathrm{K}$ and a velocity of $8.4 \, \mathrm{cm \, s^{-1}}$ this source is ideal for a range of applications. For example, it could be used to replenish the gain medium of an active optical superradiant clock or be employed to overcome the Dick effect that can limit the performance of pulsed-mode atom interferometers, atomic clocks and ultracold atom based sensors in general. Finally, this result represents a significant step towards the development of a steady-state atom laser.


title: A crossover in spatio-temporal correlations of strain fluctuations in glass forming liquids

abstract: Via molecular dynamics simulations of a generic glass former in the supercooled and normal liquid states, it is shown that spatial correlations of strain fluctuations exhibit a crossover from the well-established power-law $\sim 1/r^3$-decay at long wavelengths to an exponential behavior, $\sim \exp(-r/l_{\text {c}})$ at intermediate distances. The characteristic length of the exponential decay grows both with temperature and time via, $l_{\text {c}}^2 \propto D(T)\, t$, with $D(T)$ being the temperature-dependent diffusion coefficient. This suggests that the crossover between the power-law and exponential decays is governed by a diffusion process.


title: A statistical study of long-term evolution of coronal hole properties as observed by SDO

abstract: The study of the evolution of coronal holes (CHs) is especially important in the context of high-speed solar wind streams (HSS) emanating from them. Stream interaction regions may deliver large amount of energy into the Earths system, cause geomagnetic storms, and shape interplanetary space. By statistically analysing 16 long-living CHs observed by the SDO, we focus on coronal, morphological and underlying photospheric magnetic field characteristics as well as investigate the evolution of the associated HSSs. We use CATCH to extract and analyse CHs using observations taken by AIA and HMI. We derive changes in the CH properties and correlate them to the CH evolution. Further we analyse the properties of the HSS signatures near 1au from OMNI data by manually extracting the peak bulk velocity of the solar wind plasma. We find that the area evolution of CHs mostly shows a rough trend of growing to a maximum followed by a decay. No correlation of the area evolution to the evolution of the signed magnetic flux and signed magnetic flux density enclosed in the projected CH area was found. From this we conclude that the magnetic flux within the extracted CH boundaries is not the main cause for its area evolution. We derive CH area change rates (growth and decay) of 14.2 +/- 15.0 * 10^8 km^2/day showing a reasonable anti-correlation (cc =-0.48) to the solar activity, approximated by the sunspot number. The change rates of the signed mean magnetic flux density (27.3 +/- 32.2 mG/day) and the signed magnetic flux (30.3 +/- 31.5 * 10^18 Mx/day) were also found to be dependent on solar activity (cc =0.50 and cc =0.69 respectively) rather than on the individual CH evolutions. Further we find that the CH area-to-HSS peak velocity relation is valid for each CH over its evolution but revealing significant variations in the slopes of the regression lines.


title: Unsupervised Anomaly Localization using Variational Auto-Encoders

abstract: An assumption-free automatic check of medical images for potentially overseen anomalies would be a valuable assistance for a radiologist. Deep learning and especially Variational Auto-Encoders (VAEs) have shown great potential in the unsupervised learning of data distributions. In principle, this allows for such a check and even the localization of parts in the image that are most suspicious. Currently, however, the reconstruction-based localization by design requires adjusting the model architecture to the specific problem looked at during evaluation. This contradicts the principle of building assumption-free models. We propose complementing the localization part with a term derived from the Kullback-Leibler (KL)-divergence. For validation, we perform a series of experiments on FashionMNIST as well as on a medical task including >1000 healthy and >250 brain tumor patients. Results show that the proposed formalism outperforms the state of the art VAE-based localization of anomalies across many hyperparameter settings and also shows a competitive max performance.


title: Predicting e-commerce customer conversion from minimal temporal patterns on symbolized clickstream trajectories

abstract: Knowing if a user is a buyer or window shopper solely based on clickstream data is of crucial importance for e-commerce platforms seeking to implement real-time accurate NBA (next best action) policies. However, due to the low frequency of conversion events and the noisiness of browsing data, classifying user sessions is very challenging. In this paper, we address the clickstream classification problem in the eCommerce industry and present three major contributions to the burgeoning field of AI-for-retail: first, we collected, normalized and prepared a novel dataset of live shopping sessions from a major European e-commerce website; second, we use the dataset to test in a controlled environment strong baselines and SOTA models from the literature; finally, we propose a new discriminative neural model that outperforms neural architectures recently proposed at Rakuten labs.


title: On finite-by-nilpotent groups

abstract: Let $\gamma_n=[x_1,\dots,x_n]$ be the $n$th lower central word. Denote by $X_n$ the set of $\gamma_n$-values in a group $G$ and suppose that there is a number $m$ such that $|g^{X_n}|\leq m$ for each $g\in G$. We prove that $\gamma_{n+1}(G)$ has finite $(m,n)$-bounded order. This generalizes the much celebrated theorem of B. H. Neumann that says that the commutator subgroup of a BFC-group is finite.


title: Electromagnetic radiation detectors based on Josephson junctions: Effective Hamiltonian

abstract: We theoretically analyze two setups of low energy single-photon counters based on Josephson junctions (JJ). For this, we propose two simple and general models, based on the macroscopic quantum tunneling formalism (MQT). The first setup is similar to the photon counter based on the "cold electron bolometer" (CEB), where the JJ replaces the CEB in the center of the superconducting antenna. In the second setup, the JJ is capacitively coupled to the antenna. We derive the Hamiltonians for the two setups and we write the Schr\"odinger equations taking into account both, the antenna and the JJ. The quantum particles of the MQT models are in two-dimensional potential landscapes, which are parabolic along one direction and may have the form of a washboard potential along another direction. Such a potential landscape has a series of local minima, separated by saddle points. If the particle is prepared in the initial state in the metastable "ground state" of a local minimum, then the photon absorption causes it to jump into an excited state. If the excitation energy is bigger than the potential barrier seen by the quantum particle (the difference between the "ground state" and the saddle point), the photon is detected. The models are simple and allow us to do mostly analytical calculations. We show that the two setups are equivalent form the MQT point of view, since one Hamiltonian can be transformed into the other by changes of variables. For typical values of the JJ and antenna parameters, the setups may work as counters of photons of wavelengths up to 1 cm, at least.


title: On strictly Deza graphs derived from the Berlekamp-van Lint-Seidel graph

abstract: In this paper, we find strictly Deza graphs that can be obtained from the Berlekamp-van Lint-Seidel graph by applying dual Seidel switching.


title: PV Source Integrated Micro-Grid for Power Quality Improvement using MPPT Technique

abstract: The demand for Electrical energy is increasing day by day as it can be easily converted to another form of energy. All consumers expect Electrical energy with high power quality. Most of the commercial and industrial loads are inductive in nature and need power electronic circuits/ controllers to get smooth control of the equipment. This, in turn, leads to the injection of harmonics into the system, hence the power quality is affected. The above problem needs to be addressed and eliminated. In this paper, a shunt active power filter is used to mitigate the harmonics. Id-Iq control is used to analyse the performance of the filter and is simulated using MATLAB software. The MPPT controller is used to improving the power quality of the system.


title: Spinning drop dynamics in miscible and immiscible environments

abstract: We report on the extensional dynamics of spinning drops in miscible and immiscible background fluids following a rotation speed jump. Two radically different behaviours are observed. Drops in immiscible environments relax exponentially to their equilibrium shape, with a relaxation time that does not depend on the centrifugal forcing. We find an excellent quantitative agreement with the relaxation time predicted for quasi-spherical drops by Stone and Bush (Q. Appl. Math. 54, 551 (1996)), while other models proposed in the literature fail to capture our data. By contrast, drops immersed in a miscible background fluid do not relax to a steady shape: they elongate indefinitely, their length following a power-law $l(t)\sim t^{\frac{2}{5}}$ in very good agreement with the dynamics predicted by Lister and Stone (J. Fluid Mech. 317, 275 (1996)) for inviscid drops. Our results strongly suggest that low compositional gradients in miscible fluids do not give rise to an effective interfacial tension measurable by spinning drop tensiometry.


title: Construction of labyrinths in pseudoconvex domains

abstract: We build in a given pseudoconvex (Runge) domain $D$ of $\mathbb{C}^N$ a $\mathcal O(D)$ convex set $\Gamma$, every connected component of which is a holomorphically contractible (convex) compact set, enjoying the property that any continuous path $\gamma:[0,1)\rightarrow D$ with $\lim _{r\rightarrow 1}\gamma(r)\in \partial D$ and omitting $\Gamma$ has infinite length. This solves a problem left open in a recent paper by Alarc\'on and Forstneri\v{c}.


title: Demonstrating Delay-based Reservoir Computing Using a Compact Photonic Integrated Chip

abstract: Photonic delay-based reservoir computing (RC) has gained considerable attention lately, as it allows for simple technological implementations of the RC concept that can operate at high speed. In this paper, we discuss a practical, compact and robust implementation of photonic delay-based RC, by integrating a laser and a 5.4cm delay line on an InP photonic integrated circuit. We demonstrate the operation of this chip with 23 nodes at a speed of 0.87GSa/s, showing performances that are similar to previous non-integrated delay-based setups. We also investigate two other post-processing methods to obtain more nodes in the output layer. We show that these methods improve the performance drastically, without compromising the computation speed.


title: Energy of Computing on Multicore CPUs: Predictive Models and Energy Conservation Law

abstract: Energy is now a first-class design constraint along with performance in all computing settings. Energy predictive modelling based on performance monitoring counts (PMCs) is the leading method used for prediction of energy consumption during an application execution. We use a model-theoretic approach to formulate the assumed properties of existing models in a mathematical form. We extend the formalism by adding properties, heretofore unconsidered, that account for a limited form of energy conservation law. The extended formalism defines our theory of energy of computing. By applying the basic practical implications of the theory, we improve the prediction accuracy of state-of-the-art energy models from 31% to 18%. We also demonstrate that use of state-of-the-art measurement tools for energy optimisation may lead to significant losses of energy (ranging from 56% to 65% for applications used in experiments) since they do not take into account the energy conservation properties.


title: Metal surface induces strong acoustic plasmons in chemically doped graphene

abstract: Recent theoretical considerations have demonstrated that freestanding graphene doped with alkali metals (AC x ) supports strong Dirac and weak acoustic plasmons. Here we show that when AC x is deposited on a metallic surface, the intense Coulomb screening completely washes out these collective modes. However, even small increase of separation between AC x and metallic surface causes recovery of AC x plasmonic properties and especially the enhancement of acoustic plasmons intensities not present in the freestanding case. We further provide the physical background of these intriguing phenomena. The studied systems consist of lithium- and cesium-doped graphene deposited on Ir(111) surface.


title: Viscous Conservation Laws in 1d With Measure Initial Data

abstract: The one-dimensional viscous conservation law is considered on the whole line $$ u_t + f(u)_x=\eps u_{xx},\quad (x,t)\in\RR\times\overline{\RP},\quad \eps>0, $$ subject to positive measure initial data. The flux $f\in C^1(\RR)$ is assumed to satisfy a $p-$condition, a weak form of convexity. Existence and uniqueness of solutions is established. The method of proof relies on sharp decay estimates for viscous Hamilton-Jacobi equations.


title: New Magnetic Symmetries in $(d+2)$-Dimensional QED

abstract: Previous analyses of asymptotic symmetries in QED have shown that the subleading soft photon theorem implies a Ward identity corresponding to a charge generating divergent large gauge transformations on the asymptotic states at null infinity. In this work, we demonstrate that the subleading soft photon theorem is equivalent to a more general Ward identity. The charge corresponding to this Ward identity can be decomposed into an electric piece and a magnetic piece. The electric piece generates the Ward identity that was previously studied, but the magnetic piece is novel, and implies the existence of an additional asymptotic "magnetic" symmetry in QED.


title: A quantitative Mc Diarmid's inequality for geometrically ergodic Markov chains

abstract: We state and prove a quantitative version of the bounded difference inequality for geometrically ergodic Markov chains. Our proof uses the same martingale decomposition as \cite{MR3407208} but, compared to this paper, the exact coupling argument is modified to fill a gap between the strongly aperiodic case and the general aperiodic case.


title: Modified Zakharov-Kuznetsov equation on rectangles

abstract: Initial-boundary value problem for the modified Zakharov-Kuznetsov equation posed on a bounded rectangle is considered. The main difficulty is the critical power in nonlinear term. The results on existence, uniqueness and asymptotic behavior of solutions are presented.


title: Network Embedding: on Compression and Learning

abstract: Recently, network embedding that encodes structural information of graphs into a vector space has become popular for network analysis. Although recent methods show promising performance for various applications, the huge sizes of graphs may hinder a direct application of existing network embedding method to them. This paper presents NECL, a novel efficient Network Embedding method with two goals. 1) Is there an ideal Compression of a network? 2) Will the compression of a network significantly boost the representation Learning of the network? For the first problem, we propose a neighborhood similarity based graph compression method that compresses the input graph to get a smaller graph without losing any/much information about the global structure of the graph and the local proximity of the vertices in the graph. For the second problem, we use the compressed graph for network embedding instead of the original large graph to bring down the embedding cost. NECL is a general meta-strategy to improve the efficiency of all of the state-of-the-art graph embedding algorithms based on random walks, including DeepWalk and Node2vec, without losing their effectiveness. Extensive experiments on large real-world networks validate the efficiency of NECL method that yields an average improvement of 23 - 57% embedding time, including walking and learning time without decreasing classification accuracy as evaluated on single and multi-label classification tasks on real-world graphs such as DBLP, BlogCatalog, Cora and Wiki.


title: Reentrant spin-glass and transport behavior of Gd4PtAl, a compound with three sites for Gd

abstract: We report temperature (T) dependence (2-330 K) of DC and AC magnetization (M), isothermal remnant magnetization (M_IRM), heat capacity (C), electrical resistivity (rho), and magnetoresistance (MR) of a ternary intermetallic compound, Gd4PtAl, crystallizing in a cubic (space group F-43m) structure. In this structure, there are three sites for the rare-earth. The magnetization data reveal that, in addition to a magnetic transition at 64 K, there is another magnetic feature below 20 K. The C(T) data reveal an upturn below 64 K, shifting to a lower temperature with increasing field, which establishes that the onset of magnetic order is of an antiferromagnetic type. However, there is no worthwhile feature near 20 K in the C(T) curve. AC susceptibility peak undergoes an observable change with frequency and, in particular, the peak around 20 K gets suppressed with the application of a dc magnetic field; in addition, M_IRM undergoes a slow decay with time and isothermal M exhibits low-field hysteresis below 20 K only, which is typical of spin-glasses. The results overall suggest that this compound is a reentrant spin-glass in zero-field. There are experimental signatures pointing to the existence of both antiferromagnetic and ferromagnetic components, competing with the variation of temperature and magnetic field, as a result of which electrical and magnetoresistance behaviors are peculiar. The results overall suggest this compound exhibits interesting magnetic and transport properties.


title: AI-based evaluation of the SDGs: The case of crop detection with earth observation data

abstract: The framework of the seventeen sustainable development goals is a challenge for developers and researchers applying artificial intelligence (AI). AI and earth observations (EO) can provide reliable and disaggregated data for better monitoring of the sustainable development goals (SDGs). In this paper, we present an overview of SDG targets, which can be effectively measured with AI tools. We identify indicators with the most significant contribution from the AI and EO and describe an application of state-of-the-art machine learning models to one of the indicators. We describe an application of U-net with SE blocks for efficient segmentation of satellite imagery for crop detection. Finally, we demonstrate how AI can be more effectively applied in solutions directly contributing towards specific SDGs and propose further research on an AI-based evaluative infrastructure for SDGs.


title: High-Energy Radiation and Pair Production by Coulomb Processes in Particle-In-Cell Simulations

abstract: We present a Monte Carlo implementation of the Bremsstrahlung, Bethe-Heitler and Coulomb Trident processes into the particle-in-cell (PIC) simulation framework. In order to address photon and electron-positron pair production in a wide range of physical conditions, we derive Bremsstrahlung and Bethe-Heitler cross sections taking account of screening effects in arbitrarily ionized plasmas. Our calculations are based on a simple model for the atomic Coulomb potential that describes shielding due to both bound electrons, free electrons and ions. We then describe a pairwise particle interaction algorithm suited to weighted PIC plasma simulations, for which we perform several validation tests. Finally, we carry out a parametric study of photon and pair production during high-energy electron transport through micrometric solid foils. Compared to the zero-dimensional model of J. Myatt et al. [Phys. Rev. E 76, 066409 (2009)], our integrated one-dimensional simulations pinpoint the importance of the electron energy losses resulting from the plasma expansion.


title: Efficient heating of single-molecule junctions for thermoelectric studies at cryogenic temperatures

abstract: The energy dependent thermoelectric response of a single molecule contains valuable information about its transmission function and its excited states. However, measuring it requires devices that can efficiently heat up one side of the molecule while being able to tune its electrochemical potential over a wide energy range. Furthermore, to increase junction stability devices need to operate at cryogenic temperatures. In this work we report on a new device architecture to study the thermoelectric properties and the conductance of single molecules simultaneously over a wide energy range. We employ a sample heater in direct contact with the metallic electrodes contacting the single molecule which allows us to apply temperature biases up to $\Delta T = 60$K with minimal heating of the molecular junction. This makes these devices compatible with base temperatures $T_\mathrm{bath} <2$K and enables studies in the linear ($\Delta T \ll T_\mathrm{molecule}$) and non-linear ($\Delta T \gg T_\mathrm{molecule}$) thermoelectric transport regimes.


title: Destruction of multiferroicity in Tb2BaNiO5 by Sr doping and its implication to magnetoelectric coupling

abstract: The Haldane spin-chain compound, Tb2BaNiO5, with two antiferromagnetic transitions, one at T1=63K, and the other at T2=25K, has been recently shown by us to be an exotic multiferroic below T2. Here, we report the results of our investigations of Sr doping at the Ba site by magnetization, heat-capacity, magnetoelectric (MDE), and pyrocurrent measurements. An intriguing finding, which we stress, is that the ferroelectricity is lost even for a doping level of 10 atomic percent, though magnetic ordering prevails. The doped specimens however retain significant magnetodielectric behaviour, but with reduced magnitudes and qualitative changes with respect to the behaviour of the parent compound. This implies that ferroelectric order is also crucial for the anomalously large MDE in the parent compound, in addition to the role of 4f single-ion anisotropy.


title: Weighted Leavitt path algebras that are isomorphic to unweighted Leavitt path algebras

abstract: Let $K$ be a field. We characterise the row-finite weighted graphs $(E,w)$ such that the weighted Leavitt path algebra $L_K(E,w)$ is isomorphic to an unweighted Leavitt path algebra. Moreover, we prove that if $L_K(E,w)$ is locally finite, or Noetherian, or Artinian, or von Neumann regular, or has finite Gelfand-Kirillov dimension, then $L_K(E,w)$ is isomorphic to an unweighted Leavitt path algebra.


title: Automatic Differentiation for Adjoint Stencil Loops

abstract: Stencil loops are a common motif in computations including convolutional neural networks, structured-mesh solvers for partial differential equations, and image processing. Stencil loops are easy to parallelise, and their fast execution is aided by compilers, libraries, and domain-specific languages. Reverse-mode automatic differentiation, also known as algorithmic differentiation, autodiff, adjoint differentiation, or back-propagation, is sometimes used to obtain gradients of programs that contain stencil loops. Unfortunately, conventional automatic differentiation results in a memory access pattern that is not stencil-like and not easily parallelisable. In this paper we present a novel combination of automatic differentiation and loop transformations that preserves the structure and memory access pattern of stencil loops, while computing fully consistent derivatives. The generated loops can be parallelised and optimised for performance in the same way and using the same tools as the original computation. We have implemented this new technique in the Python tool PerforAD, which we release with this paper along with test cases derived from seismic imaging and computational fluid dynamics applications.


title: Thermoshape effect for energy harvesting with nanostructures

abstract: We propose a mechanism for nanoscale energy conversion, an electric voltage induced by a temperature gradient in a junction composed of the same material having exactly the same geometric sizes, but distinct shapes. The proposed effect appears as a result of only temperature and shape difference, hence it is called thermoshape effect. For GaAs quantum confined semiconductor nanostructures, we first introduce the existence of quantum shape effects on thermoelectric transport coefficients at ballistic regime. We show that the shape alone enters as a control parameter on transport properties of confined nanostructures. The thermoshape voltage is then calculated by using the Landauer formalism. Our calculations show that the thermoshape voltage has a constant value in the order of mV/K for the variation of chemical potential in non-degenerate regime and it decreases rapidly after entering weakly degenerate regime where it oscillates around zero within plus/minus 10$\mu$V/K magnitude. A persistent voltage range may pave the way for easier experimental demonstration of the effect. Our work explicitly shows how important the effect of overall geometry is in nanoscale thermoelectric materials, and can be utilized even if all sizes are the same. A thermoshape junction not only represents a viable setup for the macroscopic manifestation of quantum shape effects, but also constitutes their first possible device application.


title: Origin of the orbital period change in contact binary stars

abstract: The evolution of contact binary star systems in mass asymmetry (transfer) coordinate is considered. The orbital period changes is explained by an evolution in mass asymmetry towards the symmetry (symmetrization of binary system). It is predicted that a decreasing and an increasing orbital periods are related, respectively, with the non-overlapping and overlapping stage of the binary star during its symmetrization. A huge amount of energy $\Delta U\approx 10^{41}$ J is converted from the potential energy into internal energy of the stars during the symmetrization. As shown, the merger of stars in the binary systems, including KIC 9832227, is energetically an unfavorable process. The sensitivity of the calculated results to the values of total mass and orbital angular momentum is analyzed.


title: Benchmarking unsupervised near-duplicate image detection

abstract: Unsupervised near-duplicate detection has many practical applications ranging from social media analysis and web-scale retrieval, to digital image forensics. It entails running a threshold-limited query on a set of descriptors extracted from the images, with the goal of identifying all possible near-duplicates, while limiting the false positives due to visually similar images. Since the rate of false alarms grows with the dataset size, a very high specificity is thus required, up to $1 - 10^{-9}$ for realistic use cases; this important requirement, however, is often overlooked in literature. In recent years, descriptors based on deep convolutional neural networks have matched or surpassed traditional feature extraction methods in content-based image retrieval tasks. To the best of our knowledge, ours is the first attempt to establish the performance range of deep learning-based descriptors for unsupervised near-duplicate detection on a range of datasets, encompassing a broad spectrum of near-duplicate definitions. We leverage both established and new benchmarks, such as the Mir-Flick Near-Duplicate (MFND) dataset, in which a known ground truth is provided for all possible pairs over a general, large scale image collection. To compare the specificity of different descriptors, we reduce the problem of unsupervised detection to that of binary classification of near-duplicate vs. not-near-duplicate images. The latter can be conveniently characterized using Receiver Operating Curve (ROC). Our findings in general favor the choice of fine-tuning deep convolutional networks, as opposed to using off-the-shelf features, but differences at high specificity settings depend on the dataset and are often small. The best performance was observed on the MFND benchmark, achieving 96\% sensitivity at a false positive rate of $1.43 \times 10^{-6}$.


title: Deep Personalized Re-targeting

abstract: Predicting booking probability and value at the traveler level plays a central role in computational advertising for massive two-sided vacation rental marketplaces. These marketplaces host millions of travelers with long shopping cycles, spending a lot of time in the discovery phase. The footprint of the travelers in their discovery is a useful data source to help these marketplaces to predict shopping probability and value. However, there is no one-size-fits-all solution for this purpose. In this paper, we propose a hybrid model that infuses deep and shallow neural network embeddings into a gradient boosting tree model. This approach allows the latent preferences of millions of travelers to be automatically learned from sparse session logs. In addition, we present the architecture that we deployed into our production system. We find that there is a pragmatic sweet spot between expensive complex deep neural networks and simple shallow neural networks that can increase the prediction performance of a model by seven percent, based on offline analysis.


title: Optical Spatial Shock Waves in Nonlocal Nonlinear Media

abstract: Dispersive shock waves are fascinating phenomena occurring when nonlinearity overwhelms linear effects, such as dispersion and diffraction. Many features of shock waves are still under investigation, as the interplay with noninstantaneity in temporal pulses transmission and nonlocality in spatial beams propagation. Despite the rich and vast literature on nonlinear waves in optical Kerr media, spatial dispersive shock waves in nonlocal materials deserve further attention for their unconventional properties. Indeed, they have been investigated in colloidal matter, chemical physics and biophotonics, for sensing and control of extreme phenomena. Here we review the last developed theoretical models and recent optical experiments on spatial dispersive shock waves in nonlocal media. Moreover, we discuss observations in novel versatile materials relevant for soft matter and biology.


title: Visual Appearance Analysis of Forest Scenes for Monocular SLAM

abstract: Monocular simultaneous localisation and mapping (SLAM) is a cheap and energy efficient way to enable Unmanned Aerial Vehicles (UAVs) to safely navigate managed forests and gather data crucial for monitoring tree health. SLAM research, however, has mostly been conducted in structured human environments, and as such is poorly adapted to unstructured forests. In this paper, we compare the performance of state of the art monocular SLAM systems on forest data and use visual appearance statistics to characterise the differences between forests and other environments, including a photorealistic simulated forest. We find that SLAM systems struggle with all but the most straightforward forest terrain and identify key attributes (lighting changes and in-scene motion) which distinguish forest scenes from "classic" urban datasets. These differences offer an insight into what makes forests harder to map and open the way for targeted improvements. We also demonstrate that even simulations that look impressive to the human eye can fail to properly reflect the difficult attributes of the environment they simulate, and provide suggestions for more closely mimicking natural scenes.


title: Stochastic modified equations for symplectic methods applied to rough Hamiltonian systems based on the Wong--Zakai approximation

abstract: We investigate the stochastic modified equation which plays an important role in the stochastic backward error analysis for explaining the mathematical mechanism of a numerical method. The contribution of this paper is threefold. First, we construct a new type of stochastic modified equation, which is a perturbation of the Wong--Zakai approximation of the rough differential equation. For a symplectic method applied to a rough Hamiltonian system, the associated stochastic modified equation is proved to have a Hamiltonian formulation. Second, the pathwise convergence order of the truncated modified equation to the numerical method is obtained by techniques in the rough path theory. Third, if increments of noises are simulated by truncated random variables, we show that the one-step error can be made exponentially small with respect to the time step size. Numerical experiments verify our theoretical results.


title: Regression conditions that characterizes free--Poisson and free--Kummer distributions

abstract: We find the asymptotic spectral distribution of random Kummer matrix. Then we formulate and prove a~free analogue of HV independence property, which is known for classical Kummer and Gamma random variables and for Kummer and Wishart matrices. We also prove a related characterization of free--Kummer and free--Poisson (Marchenko-Pastur) non--commutative random variables.


title: Fast optical absorption spectra calculations for periodic solid state systems

abstract: We present a method to construct an efficient approximation to the bare exchange and screened direct interaction kernels of the Bethe-Salpeter Hamiltonian for periodic solid state systems via the interpolative separable density fitting technique. We show that the cost of constructing the approximate Bethe-Salpeter Hamiltonian scales nearly optimally as $\mathcal{O}(N_k)$ with respect to the number of samples in the Brillouin zone $N_k$. In addition, we show that the cost for applying the Bethe-Salpeter Hamiltonian to a vector scales as $\mathcal{O}(N_k \log N_k)$. Therefore the optical absorption spectrum, as well as selected excitation energies can be efficiently computed via iterative methods such as the Lanczos method. This is a significant reduction from the $\mathcal{O}(N_k^2)$ and $\mathcal{O}(N_k^3)$ scaling associated with a brute force approach for constructing the Hamiltonian and diagonalizing the Hamiltonian respectively. We demonstrate the efficiency and accuracy of this approach with both one-dimensional model problems and three-dimensional real materials (graphene and diamond). For the diamond system with $N_k=2197$, it takes $6$ hours to assemble the Bethe-Salpeter Hamiltonian and $4$ hours to fully diagonalize the Hamiltonian using $169$ cores when the brute force approach is used. The new method takes less than $3$ minutes to set up the Hamiltonian and $24$ minutes to compute the absorption spectrum on a single core.


title: Exponential integrators for semi-linear parabolic problems with linear constraints

abstract: This paper is devoted to the construction of exponential integrators of first and second order for the time discretization of constrained parabolic systems. For this extend, we combine well-known exponential integrators for unconstrained systems with the solution of certain saddle point problems in order to meet the constraints throughout the integration process. The result is a novel class of semi-explicit time integration schemes. We prove the expected convergence rates and illustrate the performance on two numerical examples including a parabolic equation with nonlinear dynamic boundary conditions.


title: Risk models for breast cancer and their validation

abstract: Strategies to prevent cancer and diagnose it early when it is most treatable are needed to reduce the public health burden from rising disease incidence. Risk assessment is playing an increasingly important role in targeting individuals in need of such interventions. For breast cancer many individual risk factors have been well understood for a long time, but the development of a fully comprehensive risk model has not been straightforward, in part because there have been limited data where joint effects of an extensive set of risk factors may be estimated with precision. In this article we first review the approach taken to develop the IBIS (Tyrer-Cuzick) model, and describe recent updates. We then review and develop methods to assess calibration of models such as this one, where the risk of disease allowing for competing mortality over a long follow-up time or lifetime is estimated. The breast cancer risk model model and calibration assessment methods are demonstrated using a cohort of 132 139 women attending mammography screening in Washington, USA.


title: Geometric criteria for realizability of tensegrities in higher dimensions

abstract: In this paper we study a classical Maxwell question on the existence of self-stresses for frameworks, which are called tensegrities. We give a complete answer on geometric conditions of at most $(d+1)$-valent tensegrities in $\mathbb{R}^d$ both in terms of discrete multiplicative 1-forms and in terms of "meet" and "join" operations in the Grassmann-Cayley algebra.


title: Generalization of the Neville-Aitken Interpolation Algorithm on Grassmann Manifolds : Applications to Reduced Order Model

abstract: The interpolation on Grassmann manifolds in the framework of parametric evolution partial differential equations is presented. Interpolation points on the Grassmann manifold are the subspaces spanned by the POD bases of the available solutions corresponding to the chosen parameter values. The well-known Neville-Aitken's algorithm is extended to Grassmann manifold, where interpolation is performed in a recursive way via the geodesic barycenter of two points. The performances of the proposed method are illustrated through three independent CFD applications, namely: the Von Karman vortex shedding street, the lid-driven cavity with inflow and the flow induced by a rotating solid. The obtained numerical simulations are pertinent both in terms of the accuracy of results and the time computation.


title: SANDI: a compartment-based model for non-invasive apparent soma and neurite imaging by diffusion MRI

abstract: This work introduces a compartment-based model for apparent soma and neurite density imaging (SANDI) using non-invasive diffusion-weighted MRI (DW-MRI). The existing conjecture in brain microstructure imaging trough DW-MRI presents water diffusion in white (WM) and grey (GM) matter as restricted diffusion in neurites, modelled by infinite cylinders of null radius embedded in the hindered extra-neurite water. The extra-neurite pool in WM corresponds to water in the extra-axonal space, but in GM it combines water in the extra-cellular space with water in soma. While several studies showed that this microstructure model successfully describe DW-MRI data in WM and GM at b<3 ms/{\mum^2}, it has been also shown to fail in GM at high b values (b>>3 ms/{\mum^2}). Here we hypothesize that the unmodelled soma compartment may be responsible for this failure and propose SANDI as a new model of brain microstructure where soma (i.e. cell body of any brain cell type: from neuroglia to neurons) is explicitly included. We assess the effects of size and density of soma on the direction-averaged DW-MRI signal at high b values and the regime of validity of the model using numerical simulations and comparison with experimental data from mouse (bmax = 40 ms/{/mum^2}) and human (bmax = 10 ms/{\mum^2}) brain. We show that SANDI defines new contrasts representing new complementary information on the brain cyto- and myelo-architecture. Indeed, we show for the first-time maps from 25 healthy human subjects of MR soma and neurite signal fractions, that remarkably mirror contrasts of histological images of brain cyto- and myelo-architecture. Although still under validation, SANDI might provide new insight into tissue architecture by introducing a new set of biomarkers of potential great value for biomedical applications and pure neuroscience.


title: The quantum Talbot effect for a chain of partially correlated Bose-Einstein condensates

abstract: The matter-wave interference picture, which appears within the quantum Talbot effect, changes qualitatively in response to even a small randomness in the phases of the sources. The spatial spectrum acquires peaks which are absent in the case of equal phases. The mathematic model of the effect is presented. The manifestations of the phase randomness in experiments with atomic and molecular Bose condensates, is discussed. Thermometry based on observable consequences of phase randomness is proposed.


title: Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous

abstract: We present in this paper a generic framework for the analysis of multi-threaded programs with recursive procedure calls, synchronisation by rendez-vous between parallel threads, and dynamic creation of new threads. To this end, we consider a model called Synchronized Dynamic Pushdown Networks (SDPNs) that can be seen as a network of pushdown processes executing synchronized transitions, spawning new pushdown processes, and performing internal pushdown actions. The reachability problem for this model is unfortunately undecidable. Therefore, we tackle this problem by introducing an abstraction framework based on Kleene algebras in order to compute an abstraction of the execution paths between two regular sets of configurations. We combine an automata theoretic saturation procedure with constraint solving in a finite domain. We then apply this framework to an iterative abstraction refinement scheme, using multiple abstractions of increasing complexity and precision.


title: Response solutions to quasi-periodically forced systems, even to possibly ill-posed PDEs, with strong dissipation and any frequency vectors

abstract: We consider several models (including both multidimensional ordinary differential equations (ODEs) and partial differential equations (PDEs), possibly ill-posed), subject to very strong damping and quasi-periodic external forcing. We study the existence of response solutions (i.e., quasi-periodic solutions with the same frequency as the forcing). Under some regularity assumptions on the nonlinearity and forcing, without any arithmetic condition on the forcing frequency $\omega$, we show that the response solutions indeed exist. Moreover, the solutions we obtained possess optimal regularity in $\varepsilon$ (where $\varepsilon$ is the inverse of the coefficients multiplying the damping) when we consider $\varepsilon$ in a domain that does not include the origin $\varepsilon=0$ but has the origin on its boundary. We get that the response solutions depend continuously on $\varepsilon$ when we consider $\varepsilon $ tends to $0$. However, in general, they may not be differentiable at $\varepsilon=0$. In this paper, we allow multidimensional systems and we do not require that the unperturbed equations under consideration are Hamiltonian. One advantage of the method in the present paper is that it gives results for analytic, finitely differentiable and low regularity forcing and nonlinearity, respectively. As a matter of fact, we do not even need that the forcing is continuous. Notably, we obtain results when the forcing is in $L^2$ space and the nonlinearity is just Lipschitz as well as in the case that the forcing is in $H^1$ space and the nonlinearity is $C^{1 + \text{Lip}}$. In the proof of our results, we reformulate the existence of response solutions as a fixed point problem in appropriate spaces of smooth functions.


title: From LCF to Isabelle/HOL

abstract: Interactive theorem provers have developed dramatically over the past four decades, from primitive beginnings to today's powerful systems. Here, we focus on Isabelle/HOL and its distinctive strengths. They include automatic proof search, borrowing techniques from the world of first order theorem proving, but also the automatic search for counterexamples. They include a highly readable structured language of proofs and a unique interactive development environment for editing live proof documents. Everything rests on the foundation conceived by Robin Milner for Edinburgh LCF: a proof kernel, using abstract types to ensure soundness and eliminate the need to store proofs. Compared with the research prototypes of the 1970s, Isabelle is a practical and versatile tool. It is used by system designers, mathematicians and many others.


title: Variable order nonlocal Choquard problem with variable exponents

abstract: In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents (-\Delta)_{p(\cdot)}^{s(\cdot)}u(x)&=\lambda|u(x)|^{\alpha(x)-2}u(x)+ \left(\DD\int_\Omega\frac{F(y,u(y))}{|x-y|^{\mu(x,y)}}dy\right)f(x,u(x)), x\in \Omega, u(x)&=0, x\in \mathbb R^N\setminus\Omega, where $\Omega\subset\mathbb R^N$ is a smooth and bounded domain, $N\geq 2$, $p,s,\mu$ and $\alpha$ are continuous functions on $\mathbb R^N\times\mathbb R^N$ and $f(x,t)$ is Carath\'edory function. Under suitable assumption on $s,p,\mu,\alpha$ and $f(x,t)$, first we study the analogous Hardy-Sobolev-Littlewood-type result for variable exponents suitable for the fractional Sobolev space with variable order and variable exponents. Then we give the existence/multiplicity results for the above equation.


title: Weak equivalence principle, swampland and $H_0$ tension with fast single radio bursts FRB 180924 and FRB 190523

abstract: Two new fast single radio bursts FRB 180924 and FRB 190523 well localized to massive galaxies have opened a new window to probe and characterize how cosmic baryons are allocated between galaxies, their surroundings and intergalactic medium. We are motivated by testing Einstein's weak equivalence principle with these two cosmic transients which have accurate redshifts. Using photons with different energies emitted by FRB 180924, we obtain, so far, the most stringent bound $\Delta\gamma<2.16\times10^{-10}$ for non-repeating FRBs with accurate redshifts when only considering the gravitational potential of the Milk Way. If using the gravitational potential of the Laniakea supercluster instead of the Milk Way one, we also obtain the strictest bound $\Delta\gamma<1.06\times10^{-14}$ to date. In light of rapid progress of FRB cosmology, towards the next two decades, we give an universal limitation $\Delta\gamma<8.24\times10^{-22}$ from photons with different energies emitted by single FRBs with accurate redshifts. Moreover, we analyze detailedly the effects of various astrophysical parameters on the precision of weak equivalence principle. We also estimate the abilities of single FRBs with known redshifts to test the validity of swampland criterion, and to distinguish which value of $H_0$ is preferred.


title: Mapping the Galactic disk with the LAMOST and Gaia Red clump sample: III: A new velocity substructure and time stamps of the Galactic disk asymmetry in the disk between 12$-$15 \,kpc

abstract: We investigate the three-dimensional asymmetrical kinematics and present time stamps of the Milky Way disk between Galactocentric distances of $R=12$ and 15 \,kpc, using red clump stars selected from the LAMOST Galactic survey, also with proper motion measurements provided by the Gaia DR2. We discover velocity substructure above the Galactic plane corresponding to a density dip found recently ("south-middle opposite" density structure[R $\sim$ 12-15 \,kpc, Z $\sim$ 1.5 \,kpc] discovered in \citet{Wang2018b, Wang2018c}) in the radial and azimuthal velocity. For the vertical velocity, we detect clear vertical bulk motions or bending mode motions, which has no clear north-south asymmetry corresponding to the in-plane asymmetrical features. In the subsample of stars with different ages, we find that there is little temporal evolution of the in-plane asymmetry from 0$-$14 \,Gyr, which means the structure is sensitive to the perturbations in almost cosmic time possibly. We propose that the possible scenario of this asymmetric velocity structure is caused by the mechanisms generated in-plane, rather than vertical perturbations.


title: Future Neutrino Facilities

abstract: The fact that neutrinos have mass and can oscillate from one flavor to another has opened up a wide range of neutrino flavor measurements. Those measurements could uncover the source of CP violation that lead to the baryon asymmetry present in the Universe today, and will also enable us to understand more about how the masses of the fundamental particles are generated. This report describes the DUNE, Hyper-Kamiokande, and PINGU experiments, which each employ unique strategies to learn more about neutrino flavor.


title: Depth Restoration: A fast low-rank matrix completion via dual-graph regularization

abstract: As a real scenes sensing approach, depth information obtains the widespread applications. However, resulting from the restriction of depth sensing technology, the depth map captured in practice usually suffers terrible noise and missing values at plenty of pixels. In this paper, we propose a fast low-rank matrix completion via dual-graph regularization for depth restoration. Specifically, the depth restoration can be transformed into a low-rank matrix completion problem. In order to complete the low-rank matrix and restore it to the depth map, the proposed dual-graph method containing the local and non-local graph regularizations exploits the local similarity of depth maps and the gradient consistency of depth-color counterparts respectively. In addition, the proposed approach achieves the high speed depth restoration due to closed-form solution. Experimental results demonstrate that the proposed method outperforms the state-of-the-art methods with respect to both objective and subjective quality evaluations, especially for serious depth degeneration.


title: A structured population model of clonal selection in acute leukemias with multiple maturation stages

abstract: Recent progress in genetic techniques has shed light on the complex co-evolution of malignant cell clones in leukemias. However, several aspects of clonal selection still remain unclear. In this paper, we present a multi-compartmental continuously structured population model of selection dynamics in acute leukemias, which consists of a system of coupled integro-differential equations. Our model can be analysed in a more efficient way than classical models formulated in terms of ordinary differential equations. Exploiting the analytical tractability of this model, we investigate how clonal selection is shaped by the self-renewal fraction and the proliferation rate of leukemic cells at different maturation stages. We integrate analytical results with numerical solutions of a calibrated version of the model based on real patient data. In summary, our mathematical results formalise the biological notion that clonal selection is driven by the self-renewal fraction of leukemic stem cells and the clones that possess the highest value of this parameter are ultimately selected. Moreover, we demonstrate that the self-renewal fraction and the proliferation rate of non-stem cells do not have a substantial impact on clonal selection. Taken together, our results indicate that interclonal variability in the self-renewal fraction of leukemic stem cells provides the necessary substrate for clonal selection to act upon.


title: Distilling with Residual Network for Single Image Super Resolution

abstract: Recently, the deep convolutional neural network (CNN) has made remarkable progress in single image super resolution(SISR). However, blindly using the residual structure and dense structure to extract features from LR images, can cause the network to be bloated and difficult to train. To address these problems, we propose a simple and efficient distilling with residual network(DRN) for SISR. In detail, we propose residual distilling block(RDB) containing two branches, while one branch performs a residual operation and the other branch distills effective information. To further improve efficiency, we design residual distilling group(RDG) by stacking some RDBs and one long skip connection, which can effectively extract local features and fuse them with global features. These efficient features beneficially contribute to image reconstruction. Experiments on benchmark datasets demonstrate that our DRN is superior to the state-of-the-art methods, specifically has a better trade-off between performance and model size.


title: Geodesic Learning via Unsupervised Decision Forests

abstract: Geodesic distance is the shortest path between two points in a Riemannian manifold. Manifold learning algorithms, such as Isomap, seek to learn a manifold that preserves geodesic distances. However, such methods operate on the ambient dimensionality, and are therefore fragile to noise dimensions. We developed an unsupervised random forest method (URerF) to approximately learn geodesic distances in linear and nonlinear manifolds with noise. URerF operates on low-dimensional sparse linear combinations of features, rather than the full observed dimensionality. To choose the optimal split in a computationally efficient fashion, we developed a fast Bayesian Information Criterion statistic for Gaussian mixture models. We introduce geodesic precision-recall curves which quantify performance relative to the true latent manifold. Empirical results on simulated and real data demonstrate that URerF is robust to high-dimensional noise, where as other methods, such as Isomap, UMAP, and FLANN, quickly deteriorate in such settings. In particular, URerF is able to estimate geodesic distances on a real connectome dataset better than other approaches.


title: Thermoelectric transport trends in group 4 half-Heusler alloys

abstract: The thermoelectric properties of 54 different group 4 half-Heusler (HH) alloys have been studied from first principles. Electronic transport was studied with density functional theory using hybrid functionals facilitated by the $\mathbf{k} \cdot \mathbf{p}$ method, while the temperature dependent effective potential method was used for the phonon contributions to the figure of merit $ZT$. The phonon thermal conductivity was calculated including anharmonic phonon-phonon, isotope, alloy and grain-boundary scattering. HH alloys have an ${\it XYZ}$ composition and those studied here are in the group 4-9-15 (Ti,Zr,Hf)(Co,Rh,Ir)(As,Sb,Bi) and group 4-10-14 (Ti,Zr,Hf)(Ni,Pd,Pt)(Ge,Sn,Pb). The electronic part of the thermal conductivity was found to significantly impact $ZT$ and thus the optimal doping level. Furthermore, the choice of functional was found to significantly affect thermoelectric properties, particularly for structures exhibiting band alignment features. The intrinsic thermal conductivity was significantly reduced when alloy and grain boundary scattering were accounted for, which also reduced the spread in thermal conductivity. It was found that sub-lattice disorder on the ${\it Z}$-site, i.e. the site occupied by group 14 or 15 elements, was more effective than ${\it X}$-site substitution, occupied by group 4 elements. The calculations confirmed that ZrNiSn, ZrCoSb and ZrCoBi based alloys display promising thermoelectric properties. A few other n-type and p-type compounds were also predicted to be potentially excellent thermoelectric materials, given that sufficiently high charge carrier concentrations can be achieved. This study provides insight into the thermoelectric potential of HH alloys and casts light on strategies to optimize thermoelectric performance of multicomponent alloys.


title: Analysis and Optimisation of Distribution Matching for the Nonlinear Fibre Channel

abstract: Enhanced Gaussian noise models are used to demonstrate that the per-block SNR after fibre transmission varies significantly due to the variable-composition nature of modern probabilistic shaping schemes. We propose a nonlinearity-optimised distribution matcher that improves the average and worst-case SNR by 0.14 and 0.22 dB, respectively.


title: Spinon Excitations in the Quasi-1D S = 1/2 Chain Cs4CuSb2Cl12

abstract: The spin-1/2 Heisenberg antiferromagnetic chain is ideal for realizing one of the simplest gapless quantum spin-liquids (QSLs), supporting a many-body ground state whose elementary excitations are fractional fermionic excitations called spinons. Here we report the discovery of such a 1D QSL in Cs4CuSb2Cl12. Compared to previously reported S = 1/2 1D chains, this material possesses a wider temperature range over which the QSL state is stabilized. We identify spinon excitations extending at T > 0.8 K, with a large T-linear contribution to the specific heat, gamma = 31.5(2) mJ mol-1 K-2 which contribute itinerantly to thermal transport up to temperatures as high as T = 35 K. At T = 0.7 K, we find a second-order phase transition, suggesting a weak spin-Peierls transition that is unchanged by a 5 T magnetic field. Cs4CuSb2Cl12 reveals new phenomenology deep in the 1D QSL regime, supporting a gapped QSL phase over a wide temperature range compared to many other experimental realizations.


title: Deep Reinforcement Learning For Modeling Chit-Chat Dialog With Discrete Attributes

abstract: Open domain dialog systems face the challenge of being repetitive and producing generic responses. In this paper, we demonstrate that by conditioning the response generation on interpretable discrete dialog attributes and composed attributes, it helps improve the model perplexity and results in diverse and interesting non-redundant responses. We propose to formulate the dialog attribute prediction as a reinforcement learning (RL) problem and use policy gradients methods to optimize utterance generation using long-term rewards. Unlike existing RL approaches which formulate the token prediction as a policy, our method reduces the complexity of the policy optimization by limiting the action space to dialog attributes, thereby making the policy optimization more practical and sample efficient. We demonstrate this with experimental and human evaluations.


title: Cyclic homology for bornological coarse spaces

abstract: We define Hochschild and cyclic homologies for bornological coarse spaces: for a fixed field $k$ and group $G$, these are lax symmetric monoidal functors $\mathcal{X}HH_{k}^G$ and $\mathcal{X}HC_{k}^G$ from the category of equivariant bornological coarse spaces $G\mathbf{BornCoarse}$ to the cocomplete stable $\infty$-category of chain complexes $\mathbf{Ch}_\infty$. We relate these equivariant coarse homology theories to coarse algebraic $K$-theory $\mathcal{X} K^G_{k}$ and to coarse ordinary homology $\mathcal{X} H^G$ by constructing a trace-like natural transformation $\mathcal{X} K_{k}^G\to \mathcal{X} H^G$ that factors through coarse Hochschild (or cyclic) homology. We further compare the forget-control map for coarse Hochschild homology with the associated generalized assembly map.


title: Fluctuations of identified particle yields using the {\nu} dyn variable at energies available at the BNL Relativistic Heavy Ion Collider

abstract: We study the fluctuations of net-charge, net-pion, net-kaon and net-proton using $D$-measure and $\nu_{dyn}$ variables in heavy-ion jet interaction generator (HIJING), ultra-relativistic quantum molecular dynamics (UrQMD), and hadron resonance gas (HRG) model at different collision energies \sqsn. It has been observed that, the values of $D$ strongly dependent on $\Delta \eta$ in HIJING and UrQMD models and independent in HRG model. The diffusion coefficients ($\sigma$) of identified particles are estimated at various \sqsn. It is observed that, the $\sigma$ values are independent of collision energies but emphasizes the particle species dependence of diffusion coefficient in the QGP medium. This study provides a realistic baseline for comparison with the experimental data.


title: Some graft transformations and their applications on distance (signless) Laplacian spectra of graphs

abstract: Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ and $L_{D}(G)=Tr(G)-D(G)$ are respectively the distance signless Laplacian matrix and distance Laplacian matrix of $G$. The largest eigenvalues $\rho_{Q}(G)$ and $\rho_{L}(G)$ of $Q_D(G)$ and $L_D(G)$ are respectively called distance signless Laplacian spectral radius and distance Laplacian spectral radius of $G$. In this paper we give some graft transformations and use them to characterize the tree $T$ such that $\rho_{Q}(T)$ and $\rho_{L}(T)$ attain the maximum among all trees of order $n$ with given number of pendant vertices.


title: Where Nonlinearity in Thermodynamic Average Comes from? Configurational Geometry Revisited

abstract: For classical discrete system under constant composition, we theoretically examine origin of nonlinearity in thermodynamic (so-called canonical) average w.r.t. many-body interactions, in terms of geometrical information in configuratin space. We clarify that nonlinearity essentially comes from deviation in configurational density of states (CDOS) before applying many-body interactions to the system, from multidimensional gaussian distribution. The present finding strongly suggest the significance to investigate how the deviation in CDOS bridges bidirectional stability relationships between equilibrium structure and potential energy in thermodynamic average.


title: V-shaped Cherenkov images of magnetically-separated gamma-rays

abstract: Cherenkov Telescope Array (CTA) is an upcoming instrument that will start a new generation of atmospheric Cherenkov telescopes. CTA is expected not only to provide an unprecedented sensitivity in the tens of GeV to hundreds of TeV range, but also to considerably improve the systematic uncertainties of the measurements. We study the images registered by Cherenkov telescopes from low energy gamma rays with its first interaction in the upper parts of the atmosphere. The images show a characteristic separation due to the deflection of the first e- e+ pair in the Geomagnetic Field. We evaluate the performance of the standard stereoscopic analysis for such events. We derive also a novel method for energy estimation of V-shaped events based purely on geometrical properties of the image. We investigate the potential of combining the classical energy estimation and the novel method for independent validation of the systematic shifts in the energy scale of Cherenkov telescopes and discuss the limitations of such analysis.


title: $p$-adic boundary laws and Markov chains on trees

abstract: In this paper we consider $q$-state potential on general infinite trees with a nearest-neighbor $p$-adic interactions given by a stochastic matrix. {We show the uniqueness of the associated Markov chain ({\em splitting Gibbs measures}) under some sufficient conditions on the stochastic matrix.} Moreover, we find a family of stochastic matrices for which there are at least two $p$-adic Markov chains on an infinite tree (in particular, on a Cayley tree). When the $p$-adic norm of $q$ is greater ({{\em resp.}} less) than the norm of any element of the stochastic matrix then it is proved that the $p$-adic Markov chain is bounded ({{\em resp.}} is not bounded). Our method {uses} a classical boundary law argument carefully adapted from the real case to the $p$-adic case, by a systematic use of some nice peculiarities of the ultrametric ($p$-adic) norms.


title: Falsifiability of Isolated Spacetime Regions

abstract: In this work it is pointed out that some physical theories, even being themselves falsifiable, predict the existence of regions of spacetime which are not falsifiable with relation to each other due to their impossibility of mutually exchanging information as, for instance, before and after the event horizon of black holes. If we require scientific theories to be falsifiable, an isolated region should be discarded from scientific models developed by observers in other regions. Here it is proposed that their existence can satisfy a weaker falsifiability condition, here called conditional asymptotic provability, which extend scientific reasoning through Bayesian inference. Limitations and some epistemic consequences of this proposal are discussed.


title: Impurity scattering induced carrier transport in twisted bilayer graphene

abstract: We theoretically calculate the impurity-scattering induced resistivity of twisted bilayer graphene at low twist angles where the graphene Fermi velocity is strongly suppressed. We consider, as a function of carrier density, twist angle, and temperature, both long-ranged Coulomb scattering and short-ranged defect scattering within a Boltzmann theory relaxation time approach. For experimentally relevant disorder, impurity scattering contributes a resistivity comparable to (much larger than) the phonon scattering contribution at high (low) temperatures. Decreasing twist angle leads to larger resistivity, and in general, the resistivity increases (decreases) with increasing temperature (carrier density). Inclusion of the van Hove singularity in the theory leads to a strong increase in the resistivity at higher densities, where the chemical potential is close to a van Hove singularity, leading to an apparent density-dependent plateau type structure in the resistivity, which has been observed in recent transport experiments. We also show that the Matthissen's rule is strongly violated in twisted bilayer graphene at low twist angles.


title: Orientation Dynamics of Sedimenting Anisotropic Particles in Turbulence

abstract: We examine the dynamics of small anisotropic particles (spheroids) sedimenting through homogeneous isotropic turbulence using direct numerical simulations and theory. The gravity-induced inertial torque acting on sub-Kolmogorov spheroids leads to pronouncedly non-Gaussian orientation distributions localized about the broadside-on(to gravity) orientation. Orientation distributions and average settling velocities are obtained over a wide range of spheroid aspect ratios, Stokes and Froude numbers. Orientational moments from the simulations compare well with analytical predictions in the inertialess rapid-settling limit, with both exhibiting a non-monotonic dependence on spheroid aspect ratio. Deviations arise at Stokes numbers of order unity due to a spatially inhomogeneous particle concentration field resulting from a preferential sweeping effect; as a consequence, the time-averaged particle settling velocities exceed the orientationally averaged estimates.


title: Improved Bounds for Open Online Dial-a-Ride on the Line

abstract: We consider the open, non-preemptive online Dial-a-Ride problem on the real line, where transportation requests appear over time and need to be served by a single server. We give a lower bound of 2.0585 on the competitive ratio, which is the first bound that strictly separates online Dial-a-Ride on the line from online TSP on the line in terms of competitive analysis, and is the best currently known lower bound even for general metric spaces. On the other hand, we present an algorithm that improves the best known upper bound from 2.9377 to 2.6662. The analysis of our algorithm is tight.


title: GTIRB: Intermediate Representation for Binaries

abstract: GTIRB is an intermediate representation for binary analysis and rewriting tools including disassemblers, lifters, analyzers, rewriters, and pretty-printers. GTIRB is designed to enable communication between tools in a format that provides the basic information necessary for analysis and rewriting while making no further assumptions about domain (e.g., malware vs. cleanware, or PE vs. ELF) or semantic interpretation (functional vs. operational semantics). This design supports the goals of (1) encouraging tool modularization and re-use allowing researchers and developers to focus on a single aspect of binary analysis and rewriting without committing to any single tool chain and (2) facilitating communication and comparison between tools.


title: Truly Concurrent Bisimilarities are Game Equivalent

abstract: We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities, step bisimilarities, history-preserving bisimilarities and hereditary history-preserving bisimilarities.


title: Quarks mass function at finite density in real-time formalism

abstract: Chiral symmetry restoration of quarks is investigated at finite density in quantum chromodynamics. The effective quark mass is calculated with the Schwinger-Dyson equation in the real-time formalism without the instantaneous exchange approximation. We present some properties of the quark mass functions and the quark propagator at zero temperature.


title: Essential Motor Cortex Signal Processing: an ERP and functional connectivity MATLAB toolbox -- user guide version 2.0

abstract: The purpose of this document is to help individuals use the "Essential Motor Cortex Signal Processing MATLAB Toolbox". The toolbox implements various methods for three major aspects of investigating human motor cortex from Neuroscience view point: (1) ERP estimation and quantification, (2) Cortical Functional Connectivity analysis and (3) EMG quantification. The toolbox -- which is distributed under the terms of the GNU GENERAL PUBLIC LICENSE as a set of MATLAB R routines -- can be downloaded directly at the address: http://oset.ir/category.php?dir=Tools or from the public repository on GitHub, at address below: https://github.com/EsiSeraj/ERP Connectivity EMG Analysis The purpose of this toolbox is threefold: 1. Extract the event-related-potential (ERP) from preprocessed cerebral signals (i.e. EEG, MEG, etc.), identify and then quantify the event-related synchronization/desynchronization (ERS/ERD) events. Both time-course dynamics and time-frequency (TF) analyzes are included. 2. Measure, quantify and demonstrate the cortical functional connectivity (CFC) across scalp electrodes. These set of functions can also be applied to various types of cerebral signals (i.e. electric and magnetic). 3. Quantify electromyogram (EMG) recorded from active muscles during performing motor tasks.


title: Cognitive Functions of the Brain: Perception, Attention and Memory

abstract: This is a follow-up tutorial article of [17] and [16], in this paper, we will introduce several important cognitive functions of the brain. Brain cognitive functions are the mental processes that allow us to receive, select, store, transform, develop, and recover information that we've received from external stimuli. This process allows us to understand and to relate to the world more effectively. Cognitive functions are brain-based skills we need to carry out any task from the simplest to the most complex. They are related with the mechanisms of how we learn, remember, problem-solve, and pay attention, etc. To be more specific, in this paper, we will talk about the perception, attention and memory functions of the human brain. Several other brain cognitive functions, e.g., arousal, decision making, natural language, motor coordination, planning, problem solving and thinking, will be added to this paper in the later versions, respectively. Many of the materials used in this paper are from wikipedia and several other neuroscience introductory articles, which will be properly cited in this paper. This is the last of the three tutorial articles about the brain. The readers are suggested to read this paper after the previous two tutorial articles on brain structure and functions [17] as well as the brain basic neural units [16].


title: Deep Neural Baselines for Computational Paralinguistics

abstract: Detecting sleepiness from spoken language is an ambitious task, which is addressed by the Interspeech 2019 Computational Paralinguistics Challenge (ComParE). We propose an end-to-end deep learning approach to detect and classify patterns reflecting sleepiness in the human voice. Our approach is based solely on a moderately complex deep neural network architecture. It may be applied directly on the audio data without requiring any specific feature engineering, thus remaining transferable to other audio classification tasks. Nevertheless, our approach performs similar to state-of-the-art machine learning models.


title: Cardiac MRI Segmentation with Strong Anatomical Guarantees

abstract: Recent publications have shown that the segmentation accuracy of modern-day convolutional neural networks (CNN) applied on cardiac MRI can reach the inter-expert variability, a great achievement in this area of research. However, despite these successes, CNNs still produce anatomically inaccurate segmentations as they provide no guarantee on the anatomical plausibility of their outcome, even when using a shape prior. In this paper, we propose a cardiac MRI segmentation method which always produces anatomically plausible results. At the core of the method is an adversarial variational autoencoder (aVAE) whose latent space encodes a smooth manifold on which lies a large spectrum of valid cardiac shapes. This aVAE is used to automatically warp anatomically inaccurate cardiac shapes towards a close but correct shape. Our method can accommodate any cardiac segmentation method and convert its anatomically implausible results to plausible ones without affecting its overall geometric and clinical metrics. With our method, CNNs can now produce results that are both within the inter-expert variability and always anatomically plausible.


title: Autonomous conversion of information to work in quantum dots

abstract: We consider an autonomous implementation of Maxwell's demon in a quantum dot architecture. As in the original thought experiment, only the second law of thermodynamics is seemingly violated when disregarding the demon. The autonomous architecture allows us to compare descriptions in terms of information to a more traditional, thermoelectric characterization. Our detailed investigation of information-to-work conversion is based on fluctuation relations and second law like inequalities in addition to the average heat and charge currents. By introducing a time-reversal on the level of individual electrons, we find a novel fluctuation relation that is not connected to any symmetry of the moment generating function of heat and particle flows. Furthermore, we show how an effective Markovian master equation with broken detailed balance for the system alone can emerge from a full description, allowing for an investigation of the entropic cost associated to breaking detailed balance. Interestingly, while the entropic cost of performing a perfect measurement diverges, the entropic cost of breaking detailed balance does not. Our results connect various approaches and idealized scenarios found in the literature and can be tested experimentally with present day technology.


title: Enhancing electrical conductivity of room temperature deposited Sn-doped In$_2$O$_3$ thin films by hematite seed layers

abstract: Hematite Fe$_2$O$_3$ seed layers are shown to constitute a pathway to prepare highly conductive transparent tin-doped indium oxide (ITO) thin films by room temperature magnetron sputtering. Conductivities of up to $\sigma = 3300\,{\rm S/cm}$ are observed. The improved conductivity is not restricted to the interface but related to an enhanced crystallization of the films, which proceeds in the rhombohedral phase.


title: Higher-Order Topological Insulator in Twisted Bilayer Graphene

abstract: Higher-order topological insulators are newly proposed topological phases of matter, whose bulk topology manifests as localized modes at two- or higher-dimensional lower boundaries. In this work, we propose the twisted bilayer graphenes with large angles as higher-order topological insulators, hosting topological corner charges. At large commensurate angles, the intervalley scattering opens up the bulk gap and the corner states occur at half filling. Based on both first-principles calculations and analytic analysis, we show the striking results that the emergence of the corner states do not depend on the choice of the specific angles as long as the underlying symmetries are intact. Our results show that the twisted bilayer graphene can serve as a robust candidate material of two-dimensional higher-order topological insulator.


title: Hereditary Terms at Next-To-Leading Order in Two-Body Gravitational Dynamics

abstract: In the context of the two-body problem in General Relativity, hereditary terms in the long range gravitational field depend on the history rather than the instantaneous state of the source at retarded time. We compute the next-to leading effects of such hereditary terms, that comprise tail and memory, on the two-body dynamics, within effective field theory methods, including both dissipative and conservative effects. The former confirm known results at 2.5 post-Newtonian order with respect to the leading order in the luminosity function; the conservative part is a new result and is an unavoidable ingredient for a derivation of the conservative two-body dynamics at fifth post-Newtonian order.


title: Invariant graphs of rational maps

abstract: Let $f$ be a postcritically finite rational map. We prove that, as $n$ large enough, there exists an $f^n$-invariant (finite connected) graph on $\widehat{\mathbb{C}}$ such that it contains the postcritical set of $f$.


title: Genetic Network Architecture Search

abstract: We propose a method for learning the neural network architecture that based on Genetic Algorithm (GA). Our approach uses a genetic algorithm integrated with standard Stochastic Gradient Descent(SGD) which allows the sharing of weights across all architecture solutions. The method uses GA to design a sub-graph of Convolution cell which maximizes the accuracy on the validation-set. Through experiments, we demonstrate this methods performance on both CIFAR10 and CIFAR100 dataset with an accuracy of 96% and 80.1%. The code and result of this work available in GitHub:https://github.com/haihabi/GeneticNAS.


title: Anteater: Interactive Visualization of Program Execution Values in Context

abstract: Debugging is famously one the hardest parts in programming. In this paper, we tackle the question: what does a debugging environment look like when we take interactive visualization as a central design principle? We introduce Anteater, an interactive visualization system for tracing and exploring the execution of Python programs. Existing systems often have visualization components built on top of an existing infrastructure. In contrast, Anteater's organization of trace data enables an intermediate representation which can be leveraged to automatically synthesize a variety of visualizations and interactions. These interactive visualizations help with tasks such as discovering important structures in the execution and understanding and debugging unexpected behaviors. To assess the utility of Anteater, we conducted a participant study where programmers completed tasks on their own python programs using Anteater. Finally, we discuss limitations and where further research is needed.


title: A new method for determining the filled point of the tooth by Bit-Plane Algorithm

abstract: Up to now, researchers have applied segmentation techniques in their studies on teeth images, with construction on tooth root length and depth. In this paper, a new approach to the exact identification of the filled points of the tooth is proposed. In this method, the filled teeth are detection by applying the Bit-Plane algorithm on the OPG images. The novelty of the proposed method is that we can use it in medicine for the detection of dental filling and we calculate and present the area of the filled points which may help dentists to assess the filled point of the tooth. The experimental results, confirmed by the dentists, clearly indicate that this method is able to separate the filled points from the rest of healthy teeth completely.


title: Attentive Multi-Task Deep Reinforcement Learning

abstract: Sharing knowledge between tasks is vital for efficient learning in a multi-task setting. However, most research so far has focused on the easier case where knowledge transfer is not harmful, i.e., where knowledge from one task cannot negatively impact the performance on another task. In contrast, we present an approach to multi-task deep reinforcement learning based on attention that does not require any a-priori assumptions about the relationships between tasks. Our attention network automatically groups task knowledge into sub-networks on a state level granularity. It thereby achieves positive knowledge transfer if possible, and avoids negative transfer in cases where tasks interfere. We test our algorithm against two state-of-the-art multi-task/transfer learning approaches and show comparable or superior performance while requiring fewer network parameters.


title: Features of photothermal transformation in porous silicon based multilayered structures

abstract: This paper is devoted to the study of photothermal transformations in multilayered structures. As a modelled sample, porous silicon with a periodic distribution of the porosity was chosen. The spatial distribution of the optical properties inside the structure was evaluated under Brugmann approximation. The heat sources arising as a result of electromagnetic radiation absorption in the structure were estimated by solving Maxwell equations. This allowed us to calculate temperature profiles inside photo-excited sample. For experimental measurements, photoacoustic set-up with a gas-microphone transduction system was chosen to investigate thermal properties of the structure. The results of the photoacoustic response simulation based on the gas-piston model demonstrated an excellent agreement with experiments. This allows a reliable evaluation of the thermal conductivity by fitting the experimental amplitude-frequency photoacoustic signal with the simulated one.


title: NLTE Chemical abundances in Galactic open and globular clusters

abstract: Aims We study the effects of non-local thermodynamic equilibrium (NLTE) on the determination of stellar parameters and abundances of Fe, Mg, and Ti from the medium-resolution spectra of FGK stars.} Methods We extend the Payne fitting approach to draw on NLTE and LTE spectral models. These are used to analyse the spectra of the Gaia-ESO benchmark stars and the spectra of 742 stars in 13 open and globular clusters in the Milky Way: NGC 3532, NGC 5927, NGC 2243, NGC 104, NGC 1851, NGC 2808, NGC 362, M 2, MGC 6752, NGC 1904, NGC 4833, NGC 4372 and M 15. Results Our approach accurately recovers effective temperatures, surface gravities, and abundances of the benchmark stars and clusters members. The differences between NLTE and LTE are significant in the metal-poor regime, [Fe/H] $\lesssim -1$. The NLTE [Fe/H] values are systematically higher, whereas the average NLTE [Mg/Fe] abundance ratios are $\sim 0.15$ dex lower, compared to LTE. Our LTE measurements of metallicities and abundances of stars in Galactic clusters are in a good agreement with the literature. Yet, for most clusters, our study yields the first estimates of NLTE abundances of Fe, Mg and Ti. Conclusions All clusters investigated in this work are homogeneous in Fe and Ti, with the intra-cluster abundance variations of less than 0.04 dex. NGC 2808, NGC 4833, M 2 and M 15 show significant dispersions in [Mg/Fe]. Contrary to common assumptions, the NLTE analysis changes the mean abundance ratios in the clusters, but it does not influence the intra-cluster abundance dispersions.


title: Suitability of an inter-burst detection method for grading hypoxic-ischemic encephalopathy in newborn EEG

abstract: Electroencephalography (EEG) is an important clinical tool for grading injury caused by lack of oxygen or blood to the brain during birth. Characteristics of low-voltage waveforms, known as inter-bursts, are related to different grades of injury. This study assesses the suitability of an existing inter-burst detection method, developed from preterm infants born <30 weeks of gestational age, to detect inter-bursts in term infants. Different features from the temporal organisation of the inter-bursts are combined using a multi-layer perceptron (MLP) machine learning algorithm to classify four grades of injury in the EEG. We find that the best performing feature, percentage of inter-bursts, has an accuracy of 59.3%. Combining this with the maximum duration of inter-bursts in the MLP produces a testing accuracy of 77.8%, with similar performance to existing multi-feature methods. These results validate the use of the preterm detection method in term EEG and show how simple measures of the inter-burst interval can be used to classify different grades of injury.


title: Control defeseance by anti-alignment in the excited state

abstract: We predict anti-alignment dynamics in the excited state of H2+ or related homonuclear dimers in the presence of a strong field. This effect is a general indirect outcome of the strong transition dipole and large polarizabilities typically used to control or to induce alignment in the ground state. In the excited state, however, the polarizabilities have the opposite sign than in the ground state, generating a torque that aligns the molecule perpendicular to the field, deeming any laser-control strategy impossible.


title: Algebraic maximum violation of the Leggett-Garg inequality in a two-level system under PT symmetric dynamics

abstract: We investigate the three-term Leggett-Garg inequality (LGI) for a two-level quantum system undergoing parity-time (PT ) symmetric dynamics governed by a non-Hermitian Hamiltonian, when a sequence of dichotomic projective measurements are carried out at different time intervals. In contrast to the case of coherent unitary dynamics, violation of LGI is shown to increase beyond the temporal Tsirelson bound approaching the algebraic maximum in the limit of the spontaneous PT symmetry breaking


title: Superoscillations: a scale physics perspective

abstract: Arguments from scale physics, augmented by numerical and analytical investigations, are used to consider the probability and the detectability of superoscillations in generic functions. The detectability is defined as the fraction of the total power in the field that is located at regions of superoscillations. It is found that the probability for a superoscillation of a particular scale follows a quadratic power-law decay curve above the scale of the bounded support of the spectrum. The detectability is found to be even more severely suppressed, following a fourth-order power-law decay curve above the scale of the spectrum.


title: Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

abstract: Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance to correctly model such systems and to ensure they function correctly according to safety requirements. Differential dynamic logic $d\mathcal{L}$ is a powerful logic to model hybrid systems and to prove their correctness. We contribute a component-based modeling and reasoning framework to $d\mathcal{L}$ that separates models into components with timing guarantees, such as reactivity of controllers and controllability of continuous dynamics. Components operate in parallel, with coarse-grained interleaving, periodic execution and communication. We present techniques to automate system safety proofs from isolated, modular, and possibly mechanized proofs of component properties parameterized with timing characteristics.


title: Generating large labeled data sets for laparoscopic image processing tasks using unpaired image-to-image translation

abstract: In the medical domain, the lack of large training data sets and benchmarks is often a limiting factor for training deep neural networks. In contrast to expensive manual labeling, computer simulations can generate large and fully labeled data sets with a minimum of manual effort. However, models that are trained on simulated data usually do not translate well to real scenarios. To bridge the domain gap between simulated and real laparoscopic images, we exploit recent advances in unpaired image-to-image translation. We extent an image-to-image translation method to generate a diverse multitude of realistically looking synthetic images based on images from a simple laparoscopy simulation. By incorporating means to ensure that the image content is preserved during the translation process, we ensure that the labels given for the simulated images remain valid for their realistically looking translations. This way, we are able to generate a large, fully labeled synthetic data set of laparoscopic images with realistic appearance. We show that this data set can be used to train models for the task of liver segmentation of laparoscopic images. We achieve average dice scores of up to 0.89 in some patients without manually labeling a single laparoscopic image and show that using our synthetic data to pre-train models can greatly improve their performance. The synthetic data set will be made publicly available, fully labeled with segmentation maps, depth maps, normal maps, and positions of tools and camera (http://opencas.dkfz.de/image2image).