title: Advanced Signal Reconstruction in Tunka-Rex with Matched Filtering and Deep Learning

abstract: The Tunka Radio Extension (Tunka-Rex) is a digital antenna array operating in the frequency band of 30-80 MHz, measuring the radio emission of air-showers induced by ultra-high energy cosmic rays. Tunka-Rex is co-located with the TAIGA experiment in Siberia and consists of 63 antennas, 57 of them in a densely instrumented area of about 1km2. The signals from the air showers are short pulses, which have a duration of tens of nanoseconds and are recorded in traces of about 5{\mu}s length. The Tunka-Rex analysis of cosmic-ray events is based on the reconstruction of these signals, in particular, their positions in the traces and amplitudes. This reconstruction suffers at low signal-to-noise ratios, i.e. when the recorded traces are dominated by background. To lower the threshold of the detection and increase the efficiency, we apply advanced methods of signal reconstruction, namely matched filtering and deep neural networks with autoencoder architecture. In the present work we show the comparison between the signal reconstructions obtained with these techniques, and give an example of the first reconstruction of the Tunka-Rex signals obtained with a deep neural networks.


title: Latent Multi-Criteria Ratings for Recommendations

abstract: Multi-criteria recommender systems have been increasingly valuable for helping consumers identify the most relevant items based on different dimensions of user experiences. However, previously proposed multi-criteria models did not take into account latent embeddings generated from user reviews, which capture latent semantic relations between users and items. To address these concerns, we utilize variational autoencoders to map user reviews into latent embeddings, which are subsequently compressed into low-dimensional discrete vectors. The resulting compressed vectors constitute latent multi-criteria ratings that we use for the recommendation purposes via standard multi-criteria recommendation methods. We show that the proposed latent multi-criteria rating approach outperforms several baselines significantly and consistently across different datasets and performance evaluation measures.


title: Functional central limit theorems for occupancies and missing mass process in infinite urn models

abstract: We study the infinite urn scheme when the balls are sequentially distributed over an infinite number of urns labelled 1,2,... so that the urn $j$ at every draw gets a ball with probability $p_j$, $\sum_j p_j=1$. We prove functional central limit theorems for discrete time and the poissonised version for the urn occupancies process, for the odd-occupancy and for the missing mass processes extending the known non-functional central limit theorems.


title: Tropical bisectors and Voronoi diagrams

abstract: In this paper we initiate the study of tropical Voronoi diagrams. We start out with investigating bisectors of finitely many points with respect to arbitrary polyhedral norms. For this more general scenario we show that bisectors of three points are homeomorphic to a non-empty open subset of Euclidean space, provided that certain degenerate cases are excluded. Specializing our results to tropical bisectors then yields structural results and algorithms for tropical Voronoi diagrams.


title: The Rescaled Polya Urn: local reinforcement and chi-squared goodness of fit test

abstract: Motivated by recent studies of big samples, this work aims at constructing a parametric model which is characterized by the following features: (i) a "local" reinforcement, i.e. a reinforcement mechanism mainly based on the last observations, (ii) a random persistent fluctuation of the predictive mean, and (iii) a long-term convergence of the empirical mean to a deterministic limit, together with a chi-squared goodness of fit result. This triple purpose has been achieved by the introduction of a new variant of the Eggenberger-Polya urn, that we call the "Rescaled" Polya urn. We provide a complete asymptotic characterization of this model, pointing out that, for a certain choice of the parameters, it has properties different from the ones typically exhibited from the other urn models in the literature. Therefore, beyond the possible statistical application, this work could be interesting for those who are concerned with stochastic processes with reinforcement.


title: Charm mixing and CPV

abstract: In these proceedings, recent results on time-dependent and time-integrated measurements of $C\!P$ violation and of meson mixing in the charm sector are presented, including the first observation of $C\!P$ violation in the charm system.


title: Steady states of a driven dissipative dipolar XXZ chain

abstract: We study theoretically a driven dissipative one-dimensional XXZ spin$-1/2$ chain with dipole coupling and a tunable strength of the Ising and XY interaction. Within a mean-field approximation, we find a rich phase diagram with uniform, spin density wave, antiferromagnetic and oscillatory phases, as well as regions of phase bistability. We study the phase diagram of small quantum systems using exact diagonalisation, and compare the results to the mean-field theory. We find that while expectation values only capture the uniform phases of the mean-field theory, fluctuations about these expectation values give signatures of spatially non-uniform phases and bistabilities. We find these signatures for all ratios of the Ising to XY interaction, showing that they appear to be general features of spin$-1/2$ systems


title: Constraints on gamma-ray and neutrino emission from NGC 1068 with the MAGIC telescopes

abstract: Starburst galaxies and star-forming active galactic nuclei (AGN) are among the candidate sources thought to contribute appreciably to the extragalactic gamma-ray and neutrino backgrounds. NGC 1068 is the brightest of the star-forming galaxies found to emit gamma rays from 0.1 to 50 GeV. Precise measurements of the high-energy spectrum are crucial to study the particle accelerators and probe the dominant emission mechanisms. We have carried out 125 hours of observations of NGC 1068 with the MAGIC telescopes in order to search for gamma-ray emission in the very high energy band. We did not detect significant gamma-ray emission, and set upper limits at 95\% confidence level to the gamma-ray flux above 200 GeV f<5.1x10^{-13} cm^{-2} s ^{-1} . This limit improves previous constraints by about an order of magnitude and allows us to put tight constraints on the theoretical models for the gamma-ray emission. By combining the MAGIC observations with the Fermi-LAT spectrum we limit the parameter space (spectral slope, maximum energy) of the cosmic ray protons predicted by hadronuclear models for the gamma-ray emission, while we find that a model postulating leptonic emission from a semi-relativistic jet is fully consistent with the limits. We provide predictions for IceCube detection of the neutrino signal foreseen in the hadronic scenario. We predict a maximal IceCube neutrino event rate of 0.07 yr^{-1}.


title: Optimizing the spin reversal transform on the D-Wave 2000Q

abstract: Commercial quantum annealers from D-Wave Systems make it possible to obtain approximate solutions of high quality for certain NP-hard problems in nearly constant time. Before solving a problem on D-Wave, several pre-processing methods can be applied, one of them being the so-called spin reversal or gauge transform. The spin reversal transform flips the sign of selected variables and coefficients of the Ising or QUBO (quadratic unconstrained binary optimization) representation of the problem that D-Wave minimizes. The spin reversal transform leaves the ground state of the Ising model invariant, but can average out the biases induced through analog and systematic errors on the device, thus improving the quality of the solution that D-Wave returns. This work investigates the effectiveness of the spin reversal transform for D-Wave 2000Q. We consider two important NP-hard problems, the Maximum Clique and the Minimum Vertex Cover problems, and show on a variety of input problem graphs that using the spin reversal transform can yield substantial improvements in solution quality. In contrast to the native spin reversal built into D-Wave, we consider more general ways to reverse individual spins and we investigate the dependence on the problem type, on the spin reversal probability, and possible advantages of carrying out reversals on the qubit instead of the chain level. Most importantly, for a given individual problem, we use our findings to optimize the spin reversal transform using a genetic optimization algorithm.


title: An Acoustic Emission Activity Detection Method based on Short-Term Waveform Features: Application to Metallic Components under Uniaxial Tensile Test

abstract: The Acoustic Emission (AE) phenomenon has been used as a powerful tool with the purpose to either detect, locate or assess damage for a wide range of applications. Derived from its monitoring, one major current challenge on the analysis of the acquired signal is the proper identification and separation of each AE event. Current advanced methods for detecting events are primarily focused on identifying with high accuracy the beginning of the AE wave; however, the detection of the conclusion has been disregarded in the literature. For an automatic continuous detection of events within a data stream, this lack of accuracy for the conclusion of the events generates errors in two critical aspects. In one hand, it deteriorates the accuracy of the measurement of the events duration, truncating the span of the event (undesirable in evaluation applications), and in the other hand, it causes false detections. In this work, an accurate and computationally efficient AE activity detector is presented, using a framework inspired by the area of speech processing, and which provides the required indicators to accurately detect the onset and the end of an AE event. This is achieved by means of a threshold approach that instead of directly operates with the transduced voltage signal it does so over the Short-Term Energy and the Short-Term Zero-Crossing Rate measures of the signal. The STE-ZCR method is developed for an application related to the continuous monitoring of a single AE channel derived from the characterization of metallic components by means of a uniaxial tensile test. Additionally, two experimental test-benches are implemented with the aim to quantify the accuracy and the quality of event detection of the presented method. Finally, the obtained results are compared with four different techniques, representing the current state of the art related to AE activity detection.


title: Estimation of the size of informal employment based on administrative records with non-ignorable selection mechanism

abstract: In this study we used company level administrative data from the National Labour Inspectorate and The Polish Social Insurance Institution in order to estimate the prevalence of informal employment in Poland. Since the selection mechanism is non-ignorable we employed a generalization of Heckman's sample selection model assuming non-Gaussian correlation of errors and clustering by incorporation of random effects. We found that 5.7% (4.6%, 7.1%; 95% CI) of registered enterprises in Poland, to some extent, take advantage of the informal labour force. Our study exemplifies a new approach to measuring informal employment, which can be implemented in other countries. It also contributes to the existing literature by providing, to the best of our knowledge, the first estimates of informal employment at the level of companies based solely on administrative data.


title: Signed Graph Attention Networks

abstract: Graph or network data is ubiquitous in the real world, including social networks, information networks, traffic networks, biological networks and various technical networks. The non-Euclidean nature of graph data poses the challenge for modeling and analyzing graph data. Recently, Graph Neural Network (GNNs) are proposed as a general and powerful framework to handle tasks on graph data, e.g., node embedding, link prediction and node classification. As a representative implementation of GNNs, Graph Attention Networks (GATs) are successfully applied in a variety of tasks on real datasets. However, GAT is designed to networks with only positive links and fails to handle signed networks which contain both positive and negative links. In this paper, we propose Signed Graph Attention Networks (SiGATs), generalizing GAT to signed networks. SiGAT incorporates graph motifs into GAT to capture two well-known theories in signed network research, i.e., balance theory and status theory. In SiGAT, motifs offer us the flexible structural pattern to aggregate and propagate messages on the signed network to generate node embeddings. We evaluate the proposed SiGAT method by applying it to the signed link prediction task. Experimental results on three real datasets demonstrate that SiGAT outperforms feature-based method, network embedding method and state-of-the-art GNN-based methods like signed graph convolutional network (SGCN).


title: Using Graph Partitioning for Scalable Distributed Quantum Molecular Dynamics

abstract: The simulation of the physical movement of multi-body systems at an atomistic level, with forces calculated from a quantum mechanical description of the electrons, motivates a graph partitioning problem studied in this article. Several advanced algorithms relying on evaluations of matrix polynomials have been published in the literature for such simulations. We aim to use a special type of graph partitioning in order to efficiently parallelize these computations. For this, we create a graph representing the zero-nonzero structure of a thresholded density matrix, and partition that graph into several components. Each separate submatrix (corresponding to each subgraph) is then substituted into the matrix polynomial, and the result for the full matrix polynomial is reassembled at the end from the individual polynomials. This paper starts by introducing a rigorous definition as well as a mathematical justification of this partitioning problem. We assess the performance of several methods to compute graph partitions with respect to both the quality of the partitioning and their runtime.


title: Broadband spectral analysis of MXB 1659-298 in its soft and hard state

abstract: The X-ray transient eclipsing source MXB 1659-298 went in outburst in 1999 and 2015, respectively, during which it was observed by XMM-Newton, NuSTAR and Swift. Using these observations we studied the broadband spectrum of the source to constrain the continuum components and to verify the presence of a reflection component. We analysed the soft and hard state of the source, finding that the soft state can be modelled with a thermal component associated with the inner accretion disc plus a Comptonised component. A smeared reflection component and the presence of an ionised absorber are also requested in the best-fit model. On the other hand, the direct continuum emission in the hard state can be described by a Comptonised component with a temperature larger than 150 keV. Also in this case a reflection component and a ionised absorber are observed.


title: A note on scalar meson dominance

abstract: We consider chiral perturbation theory with an explicit broad $\sigma$-meson and study its contribution to the scalar form factors of the pion and the nucleon. Our goal is to learn more about resonance saturation in the scalar sector.


title: The Fibonacci Sequence and Schreier-Zeckendorf Sets

abstract: A finite subset of the natural numbers is weak-Schreier if $\min S \ge |S|$, strong-Schreier if $\min S>|S|$, and maximal if $\min S = |S|$. Let $M_n$ be the number of weak-Schreier sets with $n$ being the largest element and $(F_n)_{n\geq -1}$ denote the Fibonacci sequence. A finite set is said to be Zeckendorf if it does not contain two consecutive natural numbers. Let $E_n$ be the number of Zeckendorf subsets of $\{1,2,\ldots,n\}$. It is well-known that $E_n = F_{n+2}$. In this paper, we first show four other ways to generate the Fibonacci sequence from counting Schreier sets. For example, let $C_n$ be the number of weak-Schreier subsets of $\{1,2,\ldots,n\}$. Then $C_n = F_{n+2}$. To understand why $C_n = E_n$, we provide a bijective mapping to prove the equality directly. Next, we prove linear recurrence relations among the number of Schreier-Zeckendorf sets. Lastly, we discover the Fibonacci sequence by counting the number of subsets of $\{1,2,\ldots, n\}$ such that two consecutive elements in increasing order always differ by an odd number.


title: A Modular and Extensible Software Architecture for Particle Dynamics

abstract: Creating a highly parallel and flexible discrete element software requires an interdisciplinary approach, where expertise from different disciplines is combined. On the one hand domain specialists provide interaction models between particles. On the other hand high-performance computing specialists optimize the code to achieve good performance on different hardware architectures. In particular, the software must be carefully crafted to achieve good scaling on massively parallel supercomputers. Combining all this in a flexible and extensible, widely usable software is a challenging task. In this article we outline the design decisions and concepts of a newly developed particle dynamics code MESA-PD that is implemented as part of the waLBerla multi-physics framework. Extensibility, flexibility, but also performance and scalability are primary design goals for the new software framework. In particular, the new modular architecture is designed such that physical models can be modified and extended by domain scientists without understanding all details of the parallel computing functionality and the underlying distributed data structures that are needed to achieve good performance on current supercomputer architectures. This goal is achieved by combining the high performance simulation framework waLBerla with code generation techniques. All code and the code generator are released as open source under GPLv3 within the publicly available waLBerla framework (www.walberla.net).


title: End-to-End 3D-PointCloud Semantic Segmentation for Autonomous Driving

abstract: 3D semantic scene labeling is a fundamental task for Autonomous Driving. Recent work shows the capability of Deep Neural Networks in labeling 3D point sets provided by sensors like LiDAR, and Radar. Imbalanced distribution of classes in the dataset is one of the challenges that face 3D semantic scene labeling task. This leads to misclassifying for the non-dominant classes which suffer from two main problems: a) rare appearance in the dataset, and b) few sensor points reflected from one object of these classes. This paper proposes a Weighted Self-Incremental Transfer Learning as a generalized methodology that solves the imbalanced training dataset problems. It re-weights the components of the loss function computed from individual classes based on their frequencies in the training dataset, and applies Self-Incremental Transfer Learning by running the Neural Network model on non-dominant classes first, then dominant classes one-by-one are added. The experimental results introduce a new 3D point cloud semantic segmentation benchmark for KITTI dataset.


title: Intriguing electronic and optical prospects of FCC bimetallic two-dimensional heterostructures: epsilon near-zero behaviour in UV-vis range

abstract: Higher superconducting critical temperature and large-area epsilon-near-zero interfaces are two long-standing goals of Condensed Matter Physics and Optics. Motivated by the recent advancements of experimental interests on metallic nanostructures, we have theoretically investigated some selected bimetallic FCC combinations starting from large-area interface to embedded and doped two-dimensional (2D) nanostructures. Using different first-principles techniques, encompassing density functional theory (DFT), time-dependent DFT (TDDFT), phonon and DFT-coupled quantum transport, we propose the prospects of some selective bimetallic nanostructures like Au/Ag and Pt/Pd to exhibit exotic electronic phenomena. For 2D doped and embedded nanostructures of these systems, non-trivial band-structure and Fermi-surface topology may be emblematic to the presence of instabilities like charge density waves. We specifically highlight the optical attributes extracted from the TDDFT calculations for these systems, where interfacial morphology induced band-localization leads to near-zero behavior of both real and imaginary parts of the dynamical dielectric response is observed in the ultra-violet to visible (UV-vis) optical range. Low-energy intra-band plasmonic oscillations present for individual metallic surfaces are completely suppressed for embedded and doped nanostructures. Phonon-dispersion of the model systems indicates the presence of soft phonons and dynamical instabilities. Quantum transport calculations on simplest possible device made out of these bimetallic systems reveals generation of highly transmitting pockets over the cross-sectional area for some selected device geometry. We envisage that, if observed experimentally, such systems may lead to many fascinating physics and applications in many diverse fields ranging from condensed matter physics to optics or even more.


title: Network Inference from Population-Level Observation of Epidemics

abstract: Using the continuous-time susceptible-infected-susceptible (SIS) model on networks, we investigate the problem of inferring the class of the underlying network when epidemic data is only available at population-level (i.e. the number of infected individuals at a finite set of discrete times of a single realisation of the epidemic), the only information likely to be available in real world settings. To tackle this, epidemics on networks are approximated by a Birth-and-Death process which keeps track of the number of infected nodes at population level. The rates of this surrogate model encode both the structure of the underlying network and disease dynamics. We use extensive simulations over Regular, Erd\H{o}s-R\'enyi and Barab\'asi-Albert networks to build network class-specific priors for these rates. % show that different well-known network classes map onto distinct regions of the parameter space of this model. We then use Bayesian model selection to recover the most likely underlying network class, based only on a single realisation of the epidemic. We show that the proposed methodology yields good results on both synthetic and real-world networks.


title: Preliminary test estimation in ULAN models

abstract: Preliminary test estimation, which is a natural procedure when it is suspected a priori that the parameter to be estimated might take value in a submodel of the model at hand, is a classical topic in estimation theory. In the present paper, we establish general results on the asymptotic behavior of preliminary test estimators. More precisely, we show that, in uniformly locally asymptotically normal (ULAN) models, a general asymptotic theory can be derived for preliminary test estimators based on estimators admitting generic Bahadur-type representations. This allows for a detailed comparison between classical estimators and preliminary test estimators in ULAN models. Our results, that, in standard linear regression models, are shown to reduce to some classical results, are also illustrated in more modern and involved setups, such as the multisample one where $m$ covariance matrices ${\pmb\Sigma}_1, \ldots, {\pmb\Sigma}_m$ are to be estimated when it is suspected that these matrices might be equal, might be proportional, or might share a common "scale". Simulation results confirm our theoretical findings.


title: Stochastic hybrid differential games and match race problems

abstract: We discuss the general framework of a stochastic two-player, hybrid differential game, and we apply it to the modelling of a "match race" between two sailing boats, namely a competition in which the goal of both players is to proceed in the windward direction, while trying to slow down the other player. We provide a convergent approximation scheme for the computation of the value function of the game, and we validate the approach on some typical racing scenarios.


title: The UN Security Council debates 1995-2017

abstract: This paper presents a new dataset containing 65,393 speeches held in the public meetings of the UN Security Council (UNSC) between 1995 and 2017. The dataset is based on publicly available meeting transcripts with the S/PV document symbol and includes the full substance of individual speeches as well as automatically extracted and manually corrected metadata on the speaker, the position of the speech in the sequence of speeches of a meeting, and the date of the speech. After contextualizing the dataset in recent research on the UNSC, the paper presents descriptive statistics on UNSC meetings and speeches that characterize the period covered by the dataset. Data highlight the extensive presence of the UN bureaucracy in UNSC meetings as well as an emerging trend towards more lengthy open UNSC debates. These open debates cover key issues that have emerged only during the period that is covered by the dataset, for example the debates relating to Women, Peace and Security or Climate-related Disasters.


title: Q-Learning Inspired Self-Tuning for Energy Efficiency in HPC

abstract: System self-tuning is a crucial task to lower the energy consumption of computers. Traditional approaches decrease the processor frequency in idle or synchronisation periods. However, in High-Performance Computing (HPC) this is not sufficient: if the executed code is load balanced, there are neither idle nor synchronisation phases that can be exploited. Therefore, alternative self-tuning approaches are needed, which allow exploiting different compute characteristics of HPC programs. The novel notion of application regions based on function call stacks, introduced in the Horizon 2020 Project READEX, allows us to define such a self-tuning approach. In this paper, we combine these regions with the Q-Learning typical state-action maps, which save information about available states, possible actions to take, and the expected rewards. By exploiting the existing processor power interface, we are able to provide direct feedback to the learning process. This approach allows us to save up to 15% energy, while only adding a minor runtime overhead.


title: NeuroTrajectory: A Neuroevolutionary Approach to Local State Trajectory Learning for Autonomous Vehicles

abstract: Autonomous vehicles are controlled today either based on sequences of decoupled perception-planning-action operations, either based on End2End or Deep Reinforcement Learning (DRL) systems. Current deep learning solutions for autonomous driving are subject to several limitations (e.g. they estimate driving actions through a direct mapping of sensors to actuators, or require complex reward shaping methods). Although the cost function used for training can aggregate multiple weighted objectives, the gradient descent step is computed by the backpropagation algorithm using a single-objective loss. To address these issues, we introduce NeuroTrajectory, which is a multi-objective neuroevolutionary approach to local state trajectory learning for autonomous driving, where the desired state trajectory of the ego-vehicle is estimated over a finite prediction horizon by a perception-planning deep neural network. In comparison to DRL methods, which predict optimal actions for the upcoming sampling time, we estimate a sequence of optimal states that can be used for motion control. We propose an approach which uses genetic algorithms for training a population of deep neural networks, where each network individual is evaluated based on a multi-objective fitness vector, with the purpose of establishing a so-called Pareto front of optimal deep neural networks. The performance of an individual is given by a fitness vector composed of three elements. Each element describes the vehicle's travel path, lateral velocity and longitudinal speed, respectively. The same network structure can be trained on synthetic, as well as on real-world data sequences. We have benchmarked our system against a baseline Dynamic Window Approach (DWA), as well as against an End2End supervised learning method.


title: Scattering asymmetry and second Kerker condition

abstract: The nearly zero optical forward scattering and anti-dual conditions are usually associated to the so-called second Kerker condition, at which the electric and magnetic responses are phase-shifted by {\pi}. However, as we show, this condition is insufficient to both give rise to the nearly zero optical forward scattering and the anti-duality symmetry, in striking contrast to the actual view of the problem. Interestingly, we demonstrate that near the electric and magnetic dipolar resonances, the energy radiation pattern in the far-field limit resembles to the one arising from the first Kerker condition, with nearly-zero backscattering.


title: Defending Adversarial Attacks by Correcting logits

abstract: Generating and eliminating adversarial examples has been an intriguing topic in the field of deep learning. While previous research verified that adversarial attacks are often fragile and can be defended via image-level processing, it remains unclear how high-level features are perturbed by such attacks. We investigate this issue from a new perspective, which purely relies on logits, the class scores before softmax, to detect and defend adversarial attacks. Our defender is a two-layer network trained on a mixed set of clean and perturbed logits, with the goal being recovering the original prediction. Upon a wide range of adversarial attacks, our simple approach shows promising results with relatively high accuracy in defense, and the defender can transfer across attackers with similar properties. More importantly, our defender can work in the scenarios that image data are unavailable, and enjoys high interpretability especially at the semantic level.


title: Room-temperature insulating ferromagnetic (Ni,Co)1+2xTi1-xO3 thin films

abstract: Insulating uniaxial room-temperature ferromagnets are a prerequisite for commonplace spin wave-based devices, the obstacle in contemporary ferromagnets being the coupling of ferromagnetism with large conductivity. We show that the uniaxial $A^{1+2x}$Ti$^{4+}$$_{1-x}$O$_3$ (ATO), $A=$Ni$^{2+}$,Co$^{2+}$ and $0.6<x \leq 1$, thin films are electrically insulating ferromagnets already at room-temperature. The octahedra network of the ATO and ilmenite structures are similar yet different octahedra-filling proved to be a route to switch from the antiferromagnetic to ferromagnetic regime. Octahedra can continuously be filled up to $x=1$, or vacated $(-0.24<x<0)$ in the ATO structure. TiO-layers, which separate the ferromagnetic (Ni,Co)O-layers and intermediate the antiferromagnetic coupling between the ferromagnetic layers in the NiTiO$_3$ and CoTiO$_3$ ilmenites, can continuously be replaced by (Ni,Co)O-layers to convert the ATO-films to ferromagnetic insulator with abundant direct cation interactions.


title: In Quest of a Ferromagnetic Insulator -- Structure Controlled Magnetism in Mg-Ti-O Thin Films

abstract: Ferromagnetic insulator thin films can convey information by spin waves, avoiding charge displacement and Eddy current losses. The sparsity of high-temperature insulating ferromagnetic materials hinders the development of spin wave based devices. Stoichiometric magnesium titanate, MgTiO$_3$, has an electronic-energy-band structure in which all bands are either full or empty, being a paramagnetic insulator. The MgTiO$_3$ ilmenite consists of ordered octahedra and cation network in which one third of the octahedra are vacant, one third host magnesium and one third titanium. By giving up these characteristics, a rich variety of different magnetic structures can be formed. Our experiments and electronic-energy-band-structure computations show that the magnetic and electric properties of Mg-Ti-O films can drastically be changed and controlled by Mg- and Ti-cation arrangement and abundancy in the octahedra. Insulating titanium- and semiconducting magnesium-rich films were ferromagnetic up to elevated temperatures. The presence and origin of ferromagnetic insulating phase in the films is not apparent - the expectation, based on the well-established rules set by Goodenough and Kanamori, is paramagnetic or antiferromagnetic ordering. We show that ferro- and paramagnetic phases, possessing the same stoichiometry, can be obtained by merely rearranging the cations, thus allowing defect-free interfaces in multilayer structures.


title: Existence of a Variational Principle for PDEs with Symmetries and Current Conservation

abstract: We prove that under certain assumptions a partial differential equation can be derived from a variational principle. It is well-known from Noether's theorem that symmetries of a variational functional lead to conservation laws of the corresponding Euler-Lagrange equation. We reverse this statement and prove that a differential equation which satisfies sufficiently many symmetries and corresponding conservation laws leads to a variational functional whose Euler-Lagrange equation is the given differential equation.


title: The ESO supernovae type Ia progenitor survey (SPY)

abstract: Close double degenerate binaries are one of the favoured progenitor channels for type Ia supernovae, but it is unclear how many suitable systems there are in the Galaxy. We report results of a large radial velocity survey for double degenerate (DD) binaries using the UVES spectrograph at the ESO VLT (ESO SN Ia Progenitor surveY - SPY). Exposures taken at different epochs are checked for radial velocity shifts indicating close binary systems. We observed 689 targets classified as DA (displaying hydrogen-rich atmospheres), of which 46 turned out to possess a cool companion. We measured radial velocities (RV) of the remaining 643 DA white dwarfs. We managed to secure observations at two or more epochs for 625 targets, supplemented by eleven objects meeting our selection criteria from literature. The data reduction and analysis methods applied to the survey data are described in detail. The sample contains 39 double degenerate binaries, only four of which were previously known. 20 are double-lined systems, in which features from both components are visible, the other 19 are single-lined binaries. We provide absolute RVs transformed to the heliocentric system suitable for kinematic studies. Our sample is large enough to sub-divide by mass: 16 out of 44 low mass targets (<= 0.45 Msun) are detected as DDs, while just 23 of the remaining 567 with multiple spectra and mass >0.45 Msun are double. Although the detected fraction amongst the low mass objects (36.4 +/- 7.3%) is significantly higher than for the higher-mass, carbon/oxygen-core dominated part of the sample (3.9 +/- 0.8%), it is lower than the detection efficiency based upon companion star masses >= 0.05 Msun. This suggests either companion stars of mass < 0.05 Msun, or that some of the low mass white dwarfs are single.


title: Practical Quantum Key Distribution with Geometrically Uniform States

abstract: In this paper we propose a practical quantum key distribution protocol based on geometrically uniform states and a standard decoy state technique. The protocol extends the ideas used in SARG04 to the limit where the core quantum communication is secure against unambiguous state discrimination and provides some level of inherent resistance to photon number splitting attacks. Additional decoy state overlay ensures its conformity to the conventional security requirements. The protocol security is analyzed by an explicit construction of the most optimal unitary attack, which is known to reach the tight security bound in the case of BB84.


title: The Physical and chemical structure of Sagittarius B2 -- IV. Converging filaments in the high-mass cluster forming region Sgr B2(N)

abstract: We have used an unbiased, spectral line-survey that covers the frequency range from 211 to 275 GHz and was obtained with ALMA (angular resolution of 0.4 arcsec) to study the small-scale structure of the dense gas in Sagittarius B2 (north). Eight filaments are found converging to the central hub and extending for about 0.1 pc. The spatial structure, together with the presence of the massive central region, suggest that these filaments may be associated with accretion processes. In order to derive the kinematic properties of the gas in a chemically line-rich source like Sgr B2(N), we have developed a new tool that stacks all the detected transition lines of any molecular species. This permits to increase the signal-to-noise ratio of our observations and average out line blending effects, which are a common problem in line-rich regions. We derive velocity gradients along the filaments of about 20-100 km s$^{-1}$ pc$^{-1}$, which are 10-100 times larger than those typically found on larger scales (1 pc) in other star-forming regions. The mass accretion rates of individual filaments are about 0.05 M$_\odot$ yr$^{-1}$, which result in a total accretion rate of 0.16 M$_\odot$ yr$^{-1}$. Some filaments harbor dense cores that are likely forming stars and stellar clusters. The stellar content of these dense cores is on the order of 50% of the total mass. We conclude that the cores may merge in the center when already forming stellar clusters but still containing a significant amount of gas, resulting in a "damp" merger. The high density and mass of the central region, combined with the presence of converging filaments with high mass, high accretion rates and embedded dense cores already forming stars, suggest that Sgr B2(N) may have the potential to evolve into a super stellar cluster.


title: The gallium anomaly revisited

abstract: The gallium anomaly, i.e. the missing electron-neutrino flux from $^{37}$Ar and $^{51}$Cr electron-capture decays as measured by the GALLEX and SAGE solar-neutrino detectors, has been among us already for about two decades. We present here a new estimate of the significance of this anomaly based on cross-section calculations using nuclear shell-model wave functions obtained by exploiting recently developed two-nucleon interactions. The gallium anomaly of the GALLEX and SAGE experiments is found to be smaller than that obtained in previous evaluations, decreasing the significance from 3.0$\sigma$ to 2.3$\sigma$. This result is compatible with the recent indication in favor of short-baseline $\bar\nu_{e}$ disappearance due to small active-sterile neutrino mixing obtained from the combined analysis of the data of the NEOS and DANSS reactor experiments.


title: Learning Orthogonal Projections in Linear Bandits

abstract: In a linear stochastic bandit model, each arm is a vector in an Euclidean space and the observed return at each time step is an unknown linear function of the chosen arm at that time step. In this paper, we investigate the problem of learning the best arm in a linear stochastic bandit model, where each arm's expected reward is an unknown linear function of the projection of the arm onto a subspace. We call this the projection reward. Unlike the classical linear bandit problem in which the observed return corresponds to the reward, the projection reward at each time step is unobservable. Such a model is useful in recommendation applications where the observed return includes corruption by each individual's biases, which we wish to exclude in the learned model. In the case where there are finitely many arms, we develop a strategy to achieve $O(|\bbD|\log n)$ regret, where $n$ is the number of time steps and $|\bbD|$ is the number of arms. In the case where each arm is chosen from an infinite compact set, our strategy achieves $O(n^{2/3}(\log{n})^{1/2})$ regret. Experiments verify the efficiency of our strategy.


title: Parameterized Approximation Schemes for Independent Set of Rectangles and Geometric Knapsack

abstract: The area of parameterized approximation seeks to combine approximation and parameterized algorithms to obtain, e.g., (1+eps)-approximations in f(k,eps)n^{O(1)} time where k is some parameter of the input. We obtain the following results on parameterized approximability: 1) In the maximum independent set of rectangles problem (MISR) we are given a collection of n axis parallel rectangles in the plane. Our goal is to select a maximum-cardinality subset of pairwise non-overlapping rectangles. This problem is NP-hard and also W[1]-hard [Marx, ESA'05]. The best-known polynomial-time approximation factor is O(loglog n) [Chalermsook and Chuzhoy, SODA'09] and it admits a QPTAS [Adamaszek and Wiese, FOCS'13; Chuzhoy and Ene, FOCS'16]. Here we present a parameterized approximation scheme (PAS) for MISR, i.e. an algorithm that, for any given constant eps>0 and integer k>0, in time f(k,eps)n^{g(eps)}, either outputs a solution of size at least k/(1+eps), or declares that the optimum solution has size less than k. 2) In the (2-dimensional) geometric knapsack problem (TDK) we are given an axis-aligned square knapsack and a collection of axis-aligned rectangles in the plane (items). Our goal is to translate a maximum cardinality subset of items into the knapsack so that the selected items do not overlap. In the version of TDK with rotations (TDKR), we are allowed to rotate items by 90 degrees. Both variants are NP-hard, and the best-known polynomial-time approximation factors are 558/325+eps and 4/3+eps, resp. [Galvez et al., FOCS'17]. These problems admit a QPTAS for polynomially bounded item sizes [Adamaszek and Wiese, SODA'15]. We show that both variants are W[1]-hard. Furthermore, we present a PAS for TDKR. For all considered problems, getting time f(k,eps)n^{O(1)}, rather than f(k,eps)n^{g(eps)}, would give FPT time f'(k)n^{O(1)} exact algorithms using eps=1/(k+1), contradicting W[1]-hardness.


title: Two-weight commutator estimates: general multi-parameter framework

abstract: We provide an explicit technical framework for proving very general two-weight commutator estimates in arbitrary parameters. The aim is to both clarify existing literature, which often explicitly focuses on two parameters only, and to extend very recent results to the full generality of arbitrary parameters. More specifically, we study two-weight commutator estimates -- Bloom type estimates -- in the multi-parameter setting involving weighted product BMO and little BMO spaces, and their combinations.


title: Chemically reversible isomerization of inorganic clusters

abstract: Structural transformations in molecules and solids have generally been studied in isolation, while intermediate systems have eluded characterization. We show that a pair of CdS cluster isomers provides an advantageous experimental platform to study isomerization in well-defined atomically precise systems. The clusters coherently interconvert over an est. 1 eV energy barrier with a 140 meV shift in their excitonic energy gaps. There is a diffusionless, displacive reconfiguration of the inorganic core (solid-solid transformation) with first order (isomerization-like) transformation kinetics. Driven by a distortion of the ligand binding motifs, the presence of hydroxyl species changes the surface energy via physisorption, which determines phase stability in this system. This reaction possesses essential characteristics of both solid-solid transformations and molecular isomerizations, and bridges these disparate length scales.


title: Second Outburst of the Yellow Symbiotic Star LT Delphini

abstract: We present the results of our photoelectric $UBV$ observations of the yellow symbiotic star LT Del over 2010-2018. The binary system LT Del, which consists of a bright K giant and a compact hot star with a temperature of $\sim$100 000 K, has an orbital period of 476 days. In 2017 the variable experienced a second low-amplitude ($\Delta V\sim 0.^{m}7$) outburst in the history of its studies whose maximum occurred at an orbital phase of 0.15$\pm$0.05. The outburst duration was $\sim$60 days. The $B-V$ and $U-B$ colors in the outburst became noticeably bluer. A difference in the photometric behavior of the star in the 1994 and 2017 outburst has been detected. In the orbital cycle preceding the 2017 outburst a secondary minimum with a depth of $0.^{m}15$ and $0.^{m}20$ appeared in the $B$ and $V$ light curves, respectively, whose cause is discussed. The phase light and color curves are presented and explained; the position of the star on the color-color diagram is interpreted. We have estimated the parameters of the cool and hot components of the system based on the distance determination from Gaia DR2.


title: Towards direct neuronal current imaging via ultra-low-field MR

abstract: The feasibility of using ultra-low-field magnetic resonance (ULF MR) for direct neuronal current imaging (NCI) is investigated by phantom measurements. The aim of NCI is to improve the current localization accuracy for neuronal activity of established methods like electroencephalography (EEG) or magnetoencephalography (MEG) (~1 cm). A measurement setup was developed addressing the main challenge of reaching the necessary sensitivity in order to possibly resolve the faint influence of neuronal magnetic fields on 1H nuclear spin precession. Phantom measurements close to physiology conditions are performed simulating a specific long-lasting neuronal activity evoked in the secondary somatosensory cortex showing that the signal-to-noise ratio (SNR) of the setup needs to be further increased by at least a factor of 2.


title: Formation threshold of rotating primordial black holes

abstract: Within the framework that primordial black holes are formed by the direct gravitational collapse of large primordial density perturbations in the radiation dominated stage, we derive the threshold of the density contrast for the formation of rotating primordial black holes based on the simple Jeans criterion. It is found that the threshold value increases in proportion to the square of the angular momentum. We then apply the recently refined analysis on the formation threshold for non-rotating black holes to the case of rotating black holes, and contrast the derived threshold with the former. Caveats and effects ignored in our analysis are also presented, which suggests that the uncertainties of our result can be addressed only by means of numerical relativity.


title: Electron cooling with graphene-insulator-superconductor tunnel junctions and applications to fast bolometry

abstract: Electronic cooling in hybrid normal metal-insulator-superconductor junctions is a promising technology for the manipulation of thermal loads in solid state nanosystems. One of the main bottlenecks for efficient electronic cooling is the electron-phonon coupling, as it represents a thermal leakage channel to the phonon bath. Graphene is a two-dimensional material that exhibits a weaker electron-phonon coupling compared to standard metals. For this reason, we study the electron cooling in graphene-based systems consisting of a graphene sheet contacted by two insulator/superconductor junctions. We show that, by properly biasing the graphene, its electronic temperature can reach base values lower than those achieved in similar systems based on metallic ultra-thin films. Moreover, the lower electron-phonon coupling is mirrored in a lower heat power pumped into the superconducting leads, thus avoiding their overheating and preserving the cooling mechanisms. Finally, we analyze the possible application of cooled graphene as a bolometric radiation sensor. We study its main figures of merit, i.e. responsivity, noise equivalent power and response time. In particular, we show that the built-in electron refrigeration allows reaching a responsivity of the order of 50 nA/pW and a noise equivalent power of order of $\rm 10^{-18}\, W\, Hz^{-1/2}$ while the response speed is about 10 ns, corresponding to a thermal bandwidth in the order of 20MHz.


title: Proper classes and Gorensteinness in extriangulated categories

abstract: Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let $\mathcal{C}$ be an extriangulated category and $\xi$ a proper class in $\mathcal{C}$. We prove that $\mathcal{C}$ admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study $\xi$-Gorenstein projective objects in $\mathcal{C}$ and demonstrate that $\xi$-Gorenstein projective objects share some basic properties with Gorenstein projective objects in module categories or in triangulated categories. In particular, we refine a result of Asadollahi and Salarian [Gorenstein objects in triangulated categories, J. Algebra 281(2004), 264-286]. As an application, the $\xi$-$\mathcal{G}$projective model structures on extriangulated categories are obtained.


title: Short time existence of the classical solution to the fractional Mean curvature flow

abstract: We establish short-time existence of the smooth solution to the fractional mean curvature flow when the initial set is bounded and C^{1,1}-regular. We provide the same result also for the volume preserving fractional mean curvature flow.


title: Verifying Robustness of Gradient Boosted Models

abstract: Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, but the literature lacks a method to prove the robustness of gradient boosted models. This work introduces VeriGB, a tool for quantifying the robustness of gradient boosted models. VeriGB encodes the model and the robustness property as an SMT formula, which enables state of the art verification tools to prove the model's robustness. We extensively evaluate VeriGB on publicly available datasets and demonstrate a capability for verifying large models. Finally, we show that some model configurations tend to be inherently more robust than others.


title: Quantum Nanophotonics with Group IV defects in Diamond

abstract: Diamond photonics is an ever growing field of research driven by the prospects of harnessing diamond and its colour centres as suitable hardware for solid-state quantum applications. The last two decades have seen the field been shaped by the nitrogen-vacancy (NV) centre both with breakthrough fundamental physics demonstrations and practical realizations. Recently however, an entire suite of other diamond defects has emerged. They are M V colour centres, where M indicates one of the elements in the IV column of the periodic table Si, Ge, Sn and Pb, and V indicates lattice vacancies, i.e. missing next-neighbour carbon atoms. These centres exhibit a much stronger emission into the zero phonon line then the NV centre, they display inversion symmetry, and can be engineered using ion implantation all attractive features for scalable quantum photonic architectures based on solid-state, single-photon sources. In this perspective, we highlight the leading techniques for engineering and characterizing these diamond defects, discuss the current state-of-the-art of group IV-based devices and provide an outlook of the future directions the field is taking towards the realisation of solid-state quantum photonics with diamond.

categories: physics.optics cond-mat.mes-hall physics.app-ph quant-ph


title: Network Slicing Management Technique for Local 5G Micro-Operator Deployments

abstract: Local 5G networks are expected to emerge to serve different vertical sectors specific requirements. These networks can be deployed by traditional mobile network operators or entrant local operators. With a large number of verticals with different service requirements, while considering the network deployment cost in a single local area, it will not be economically feasible to deploy separate networks for each vertical. Thus, locally deployed 5G networks (aka micro operator networks) that can serve multiple verticals with multiple tenants in a location have gained increasing attention. Network slicing will enable a 5G micro-operator network to efficiently serve the multiple verticals and their tenants with different network requirements. This paper addresses how network slicing management functions can be used to implement, orchestrate and manage network slicing in different deployments of a local 5G micro-operator including the serving of closed, open and mixed customer groups. The paper proposes a descriptive technique by which different network slicing management functionalities defined by 3GPP can be used in coordination to create, orchestrate and manage network slicing for different deployment scenarios of a micro-operator. This is based on the network slice instance configuration type that can exist for each scenario. A network slice formation sequence is developed for the closed micro operator network to illustrate the tasks of the management functions. The results indicate that network slicing management plays a key role in designing local 5G networks that can serve different customer groups in the verticals.


title: Strong electrical magneto-chiral anisotropy in tellurium

abstract: We report the experimental observation of strong electrical magneto-chiral anistropy (eMChA) in trigonal tellurium (t-Te) crystals. We introduce the tensorial character of the effect and determine several tensor elements and we propose a novel intrinsic bandstructure-based mechanism for eMChA which gives a reasonable description of the principal results.


title: Topological and rotating effects on the Dirac field in the spiral dislocation spacetime

abstract: By considering a spacetime with a spiral dislocation, we analyse the behaviour of the Dirac field subject to a hard-wall confining potential. In search of relativistic bound states solutions, we discuss the influence of the topology of the spiral dislocation spacetime on the energy levels. Further, we analyse the effects of rotation on the Dirac field in the spiral dislocation spacetime. We show that both rotation and the topology of the spacetime impose a restriction on the values of the radial coordinate. Thus, we analyse the effects of rotation and the topology of the spiral dislocation spacetime on the Dirac field subject to a hard-wall confining potential by searching for relativistic bound states solutions.


title: Learning Soft-Attention Models for Tempo-invariant Audio-Sheet Music Retrieval

abstract: Connecting large libraries of digitized audio recordings to their corresponding sheet music images has long been a motivation for researchers to develop new cross-modal retrieval systems. In recent years, retrieval systems based on embedding space learning with deep neural networks got a step closer to fulfilling this vision. However, global and local tempo deviations in the music recordings still require careful tuning of the amount of temporal context given to the system. In this paper, we address this problem by introducing an additional soft-attention mechanism on the audio input. Quantitative and qualitative results on synthesized piano data indicate that this attention increases the robustness of the retrieval system by focusing on different parts of the input representation based on the tempo of the audio. Encouraged by these results, we argue for the potential of attention models as a very general tool for many MIR tasks.


title: Mesophase Formation Stabilizes High-Purity Magic-Sized Clusters

abstract: Magic-sized clusters (MSCs) are renowned for their identical size and closed-shell stability that inhibit conventional nanoparticle (NP) growth processes. Though MSCs have been of increasing interest, understanding the reaction pathways toward their nucleation and stabilization is an outstanding issue. In this work, we demonstrate that high concentration synthesis (1000 mM) promotes a well-defined reaction pathway to form high-purity MSCs (greater than 99.9 percent). The MSCs are resistant to typical growth and dissolution processes. Based on insights from in-situ X-ray scattering analysis, we attribute this stability to the accompanying production of a large, hexagonal organic-inorganic mesophase (greater than 100 nm grain size) that arrests growth of the MSCs and prevents NP growth. At intermediate concentrations (500 mM), the MSC mesophase forms, but is unstable, resulting in NP growth at the expense of the assemblies. These results provide an alternate explanation for the high stability of MSCs. Whereas the conventional mantra has been that the stability of MSCs derives from the precise arrangement of the inorganic structures (i.e., closed-shell atomic packing), we demonstrate that anisotropic clusters can also be stabilized by self-forming fibrous mesophase assemblies. At lower concentration (less than 200 mM or greater than 16 acid-to-metal), MSCs are further destabilized and NPs formation dominates that of MSCs. Overall, the high concentration approach intensifies and showcases inherent concentration-dependent surfactant phase behavior that is not accessible in conventional (i.e., dilute) conditions. This work provides not only a robust method to synthesize, stabilize, and study identical MSC products, but also uncovers an underappreciated stabilizing interaction between surfactants and clusters.


title: (Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 1 : Layered wheels

abstract: We present a construction called layered wheel. Layered wheels are graphs of arbitrarily large treewidth and girth. They might be an outcome for a possible theorem characterizing graphs with large treewidth in terms of their induced subgraphs (while such a characterization is well-understood in terms of minors). They also provide examples of graphs of large treewidth and large rankwidth in well-studied classes, such as (theta, triangle)-free graphs and even-hole-free graphs with no $K_4$ (where a hole is a chordless cycle of length at least four, a theta is a graph made of three internally vertex disjoint paths of length at least two linking two vertices, and $K_4$ is the complete graph on four vertices).


title: The electromagnetic self-force of a uniformly charged spherical ball

abstract: We calculate the electromagnetic self-force of a uniformly charged spherical ball moving on a rectilinear trajectory, neglecting the Lorentz contraction.


title: Aharonov-Bohm-type effect in the background of a distortion of a vertical line into a vertical spiral

abstract: It is analysed Aharonov-Bohm-type effects when a spinless quantum particle is in an elastic medium with the distortion of a vertical line into a vertical spiral. By confining the spinless particle to a cylindrical box, the analogue of the Aharonov-Bohm effect for bound states is observed due to influence of the topological defect on the allowed energies of the system. It corresponds to the shift in the angular momentum quantum number yielded by the effects of the topology of the distortion of a vertical line into a vertical spiral. In addition, it is analysed the effects of rotation. It is shown that the Aharonov-Bohm effect for bound states exists. Besides, there is an analogue of the coupling between the angular momentum and angular velocity of the rotating frame.


title: A decoupled staggered scheme for the shallow water equations

abstract: We present a first order scheme based on a staggered grid for the shallow water equations with topography in two space dimensions, which enjoys several properties: positivity of the water height, preservation of constant states, and weak consistency with the equations of the problem and with the associated entropy inequality.


title: Convergence of Milstein Brownian bridge Monte Carlo methods and stable Greeks calculation

abstract: We consider the pricing and the sensitivity calculation of continuously monitored barrier options. Standard Monte Carlo algorithms work well for pricing these options. Therefore they do not behave stable with respect to numerical differentiation. One would generally resort to regularized differentiation schemes or derive an algorithm for precise differentiation. For barrier options the Brownian bridge approach leads to a precise, but non-Lipschitz-continuous, first derivative. In this work, we will show a weak convergence of almost order one and a variance bound for the Brownian bridge approach. Then, we generalize the idea of one-step survival, first introduced by Glasserman and Staum, to general scalar stochastic differential equations and combine it with the Brownian bridge approach leading to a new one-step survival Brownian bridge approximation. We show that the new technique can be adapted in such a way that its results satisfies stable second order Greeks. Besides studying stability, we will prove unbiasedness, leading to an uniform convergence property and variance reduction. Furthermore, we derive the partial derivatives which allow to adapt a pathwise sensitivity algorithm. Moreover, we develop an one-step survival Brownian bridge Multilevel Monte Carlo algorithm to greatly reduce the computational cost in practice.


title: Chance-Constrained Trajectory Optimization for Non-linear Systems with Unknown Stochastic Dynamics

abstract: Iterative trajectory optimization techniques for non-linear dynamical systems are among the most powerful and sample-efficient methods of model-based reinforcement learning and approximate optimal control. By leveraging time-variant local linear-quadratic approximations of system dynamics and reward, such methods can find both a target-optimal trajectory and time-variant optimal feedback controllers. However, the local linear-quadratic assumptions are a major source of optimization bias that leads to catastrophic greedy updates, raising the issue of proper regularization. Moreover, the approximate models' disregard for any physical state-action limits of the system causes further aggravation of the problem, as the optimization moves towards unreachable areas of the state-action space. In this paper, we address the issue of constrained systems in the scenario of online-fitted stochastic linear dynamics. We propose modeling state and action physical limits as probabilistic chance constraints linear in both state and action and introduce a new trajectory optimization technique that integrates these probabilistic constraints by optimizing a relaxed quadratic program. Our empirical evaluations show a significant improvement in learning robustness, which enables our approach to perform more effective updates and avoid premature convergence observed in state-of-the-art algorithms.


title: Co-Designing in Social VR. Process awareness and suitable representations to empower user participation

abstract: To allow non-designers' involvement in design projects new methods are needed. Co-design gives the same opportunity to all the multidisciplinary participants to co-create ideas simultaneously. Nevertheless, current co-design processes involving such users tend to limit their contribution to the proposal of basic design ideas only through brainstorming. The co-design approach needs to be enhanced by a properly suited representational ecosystem supporting active participation and by conscious use of structured verbal exchanges giving awareness of the creative process. In this respect, we developed two social virtual reality co-design systems, and a co-design verbal exchange methodology to favour participants' awareness of the co-creative process. By using such representations and verbal exchanges, participants could co-create with more ease by benefiting from being informed of the process and from the collective immersion, empowering their participation. This paper presents the rationale behind this approach of using Social VR in co-design and the feedback of three co-design workshops.


title: Identification of boosted Higgs bosons decaying into $b$-quark pairs with the ATLAS detector at 13 TeV

abstract: This paper describes a study of techniques for identifying Higgs bosons at high transverse momenta decaying into bottom-quark pairs, $H \rightarrow b\bar{b}$, for proton-proton collision data collected by the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy $\sqrt{s}=13$ TeV. These decays are reconstructed from calorimeter jets found with the anti-$k_{t}$ $R = 1.0$ jet algorithm. To tag Higgs bosons, a combination of requirements is used: $b$-tagging of $R = 0.2$ track-jets matched to the large-$R$ calorimeter jet, and requirements on the jet mass and other jet substructure variables. The Higgs boson tagging efficiency and corresponding multijet and hadronic top-quark background rejections are evaluated using Monte Carlo simulation. Several benchmark tagging selections are defined for different signal efficiency targets. The modelling of the relevant input distributions used to tag Higgs bosons is studied in 36 fb$^{-1}$ of data collected in 2015 and 2016 using $g\to b\bar{b}$ and $Z(\rightarrow b\bar{b})\gamma$ event selections in data. Both processes are found to be well modelled within the statistical and systematic uncertainties.


title: Burnside rings for Real $2$-representation theory: The linear theory

abstract: This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of the $2$-group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to $2$-representation theory via Morita theory and Burnside rings, initiated by the first author and Wendland, and the Real $2$-representation theory of $2$-groups, as studied by the second author.


title: Assouad dimension of planar self-affine sets

abstract: We calculate the Assouad dimension of a planar self-affine set $X$ satisfying the strong separation condition and the projection condition and show that $X$ is minimal for the conformal Assouad dimension. Furthermore, we see that such a self-affine set $X$ adheres to very strong tangential regularity by showing that any two points of $X$, which are generic with respect to a self-affine measure having simple Lyapunov spectrum, share the same collection of tangent sets.


title: A registration method for model order reduction: data compression and geometry reduction

abstract: We propose a general --- i.e., independent of the underlying equation --- registration method for parameterized Model Order Reduction. Given the spatial domain $\Omega \subset \mathbb{R}^d$ and a set of snapshots $\{ u^k \}_{k=1}^{n_{\rm train}}$ over $\Omega$ associated with $n_{\rm train}$ values of the model parameters $\mu^1,\ldots, \mu^{n_{\rm train}} \in \mathcal{P}$, the algorithm returns a parameter-dependent bijective mapping $\boldsymbol{\Phi}: \Omega \times \mathcal{P} \to \mathbb{R}^d$: the mapping is designed to make the mapped manifold $\{ u_{\mu} \circ \boldsymbol{\Phi}_{\mu}: \, \mu \in \mathcal{P} \}$ more suited for linear compression methods. We apply the registration procedure, in combination with a linear compression method, to devise low-dimensional representations of solution manifolds with slowly-decaying Kolmogorov $N$-widths; we also consider the application to problems in parameterized geometries. We present a theoretical result to show the mathematical rigor of the registration procedure. We further present numerical results for several two-dimensional problems, to empirically demonstrate the effectivity of our proposal.


title: Generalized Median Graph via Iterative Alternate Minimizations

abstract: Computing a graph prototype may constitute a core element for clustering or classification tasks. However, its computation is an NP-Hard problem, even for simple classes of graphs. In this paper, we propose an efficient approach based on block coordinate descent to compute a generalized median graph from a set of graphs. This approach relies on a clear definition of the optimization process and handles labeling on both edges and nodes. This iterative process optimizes the edit operations to perform on a graph alternatively on nodes and edges. Several experiments on different datasets show the efficiency of our approach.


title: Color Texture Classification Based on Proposed Impulse-Noise Resistant Color Local Binary Patterns and Significant Points Selection Algorithm

abstract: The main aim of this paper is to propose a color texture classification approach which uses color sensor information and texture features jointly. High accuracy, low noise sensitivity and low computational complexity are specified aims for our proposed approach. One of the efficient texture analysis operations is local binary patterns. The proposed approach includes two steps. First, a noise resistant version of color local binary patterns is proposed to decrease sensitivity to noise of LBP. This step is evaluated based on combination of color sensor information using AND operation. In second step, a significant points selection algorithm is proposed to select significant LBP. This phase decreases final computational complexity along with increasing accuracy rate. The Proposed approach is evaluated using Vistex, Outex, and KTH TIPS2a data sets. Our approach has been compared with some state of the art methods. It is experimentally demonstrated that the proposed approach achieves highest accuracy. In two other experiments, result show low noise sensitivity and low computational complexity of the proposed approach in comparison with previous versions of LBP. Rotation invariant, multi resolution, general usability are other advantages of our proposed approach. In the present paper, a new version of LBP is proposed originally, which is called Hybrid color local binary patterns. It can be used in many image processing applications to extract color and texture features jointly. Also, a significant point selection algorithm is proposed for the first time to select key points of images.


title: Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness

abstract: Most modern electronic devices can produce a random number. However, it is difficult to see how a group of mutually distrusting entities can have confidence in any such hardware-produced stream of random numbers, since the producer could control the output to their gain. In this work, we use public and immutable cryptocurrency smart contracts, along with a set of potentially malicious randomness providers, to produce a trustworthy stream of timestamped public random numbers. Our contract eliminates the ability of a producer to predict or control the generated random numbers, including the stored history of random numbers. We consider and mitigate the threat of collusion between the randomness providers and miners in a second, more complex contract.


title: The impatient collector

abstract: In the coupon collector problem with $n$ items, the collector needs a random number of tries $T_n\simeq n\ln n$ to complete the collection. Also, after $nt$ tries, the collector has secured approximately a fraction $\zeta_\infty(t)=1-e^{-t}$ of the complete collection, so we call $\zeta_\infty$ the (asymptotic) \emph{completion curve}. In this paper, for $\nu>0$, we address the asymptotic shape $\zeta (\nu,.) $ of the completion curve under the condition $T_n\leq \left( 1+\nu \right) n$, i.e. assuming that the collection is \emph{completed unlikely fast}. As an application to the asymptotic study of complete accessible automata, we provide a new derivation of a formula due to Kor\v{s}unov.


title: Nearly Polar orbit of the sub-Neptune HD3167 c: Constraints on a multi-planet system dynamical history

abstract: We present the obliquity measurement, that is, the angle between the normal angle of the orbital plane and the stellar spin axis, of the sub-Neptune planet HD3167 c, which transits a bright nearby K0 star. We study the orbital architecture of this multi-planet system to understand its dynamical history. We also place constraints on the obliquity of planet d based on the geometry of the planetary system and the dynamical study of the system. New observations obtained with HARPS-N at the Telescopio Nazionale Galileo (TNG) were employed for our analysis. The sky-projected obliquity was measured using three different methods: the Rossiter-McLaughlin anomaly, Doppler tomography, and reloaded Rossiter-McLaughlin techniques. We performed the stability analysis of the system and investigated the dynamical interactions between the planets and the star. HD3167 c is found to be nearly polar with sky-projected obliquity, $\lambda$ = -97$^{\circ} \pm$ 23$^{\circ}$. This misalignment of the orbit of planet c with the spin axis of the host star is detected with 97\% confidence. The analysis of the dynamics of this system yields coplanar orbits of planets c and d. It also shows that it is unlikely that the currently observed system can generate this high obliquity for planets c and d by itself. However, the polar orbits of planets c and d could be explained by the presence of an outer companion in the system. Follow-up observations of the system are required to confirm such a long-period companion.


title: Evaluation of head segmentation quality for treatment planning of tumor treating fields in brain tumors

abstract: Tumor treating fields (TTFields) is an FDA approved therapy for the treatment of Gliobastoma Multiform (GBM) and currently being investigated for additional tumor types. TTFields are delivered to the tumor through the placement of transducer arrays (TAs) placed on the patient scalp. The positions of the TAs are associated with treatment outcomes via simulations of the electric fields. Therefore, we are currently developing a method for recommending optimal placement of TAs. A key step to achieve this goal is to correctly segment the head into tissues of similar electrical properties. Visual inspection of segmentation quality is invaluable but time-consuming. Automatic quality assessment can assist in automatic refinement of the segmentation parameters, suggest flaw points to the user and indicate if the segmented method is of sufficient accuracy for TTFields simulation. As a first step in this direction, we identified a set of features that are relevant to atlas-based segmentation and show that these are significantly correlated (p < 0.05) with a similarity measure between validated and automatically computed segmentations. Furthermore, we incorporated these features in a decision tree regressor to predict the similarity of the validated and computed segmentations of 20 TTFields patients using a leave-one-out approach. The predicted similarity measures were highly correlated with the actual ones (average abs. difference 3% (SD = 3%); r = 0.92, p < 0.001). We conclude that quality estimation of segmentations is feasible by incorporating machine learning and segmentation-relevant features.


title: Comparing Popularity of Testing Careers among Canadian, Chinese, Indian Students

abstract: Despite its importance, software testing is, arguably, the least understood part of the software life cycle and still the toughest to perform correctly. Many researchers and practitioners have been working to address the situation. However, most of the studies focus on the process and technology dimensions and only a few on the human dimension of testing, in spite of the reported relevance of human aspects of software testing. Testers need to understand various stakeholders explicit and implicit requirements, be aware of how developers work individually and in teams, and develop skills to report test results wisely to stakeholders. These multifaceted qualifications lend vitality to the human dimension in software testing. Exploring this human dimension carefully may help understand testing in a better way.


title: Rees algebras of additive group actions

abstract: We establish basic properties of a sheaf of graded algebras canonically associated to every relative affine scheme $f : X \rightarrow S$ endowed with an action of the additive group scheme $\mathbb{G}_{ a,S}$ over a base scheme or algebraic space $S$, which we call the (relative) Rees algebra of the $\mathbb{G}_{ a,S}$-action. We illustrate these properties on several examples which played important roles in the development of the algebraic theory of locally nilpotent derivations and give some applications to the construction of families of affine threefolds with Ga-actions.


title: A project-based course on software development for (engineering) research

abstract: This paper describes the motivation and design of a 10-week graduate course that teaches practices for developing research software; although offered by an engineering program, the content applies broadly to any field of scientific research where software may be developed. Topics taught in the course include local and remote version control, licensing and copyright, structuring Python modules, testing and test coverage, continuous integration, packaging and distribution, open science, software citation, and reproducibility basics, among others. Lectures are supplemented by in-class activities and discussions, and all course material is shared openly via GitHub. Coursework is heavily based on a single, term-long project where students individually develop a software package targeted at their own research topic; all contributions must be submitted as pull requests and reviewed/merged by other students. The course was initially offered in Spring 2018 with 17 students enrolled, and will be taught again in Spring 2019.


title: Integration of TensorFlow based Acoustic Model with Kaldi WFST Decoder

abstract: While the Kaldi framework provides state-of-the-art components for speech recognition like feature extraction, deep neural network (DNN)-based acoustic models, and a weighted finite state transducer (WFST)-based decoder, it is difficult to implement a new flexible DNN model. By contrast, a general-purpose deep learning framework, such as TensorFlow, can easily build various types of neural network architectures using a tensor-based computation method, but it is difficult to apply them to WFST-based speech recognition. In this study, a TensorFlow-based acoustic model is integrated with a WFST-based Kaldi decoder to combine the two frameworks. The features and alignments used in Kaldi are converted so they can be trained by the TensorFlow model, and the DNN-based acoustic model is then trained. In the integrated Kaldi decoder, the posterior probabilities are calculated by querying the trained TensorFlow model, and a beam search is performed to generate the lattice. The advantages of the proposed one-pass decoder include the application of various types of neural networks to WFST-based speech recognition and WFST-based online decoding using a TensorFlow-based acoustic model. The TensorFlow based acoustic models trained using the RM, WSJ, and LibriSpeech datasets show the same level of performance as the model trained using the Kaldi framework.


title: Observation of scalable sub-Poissonian-field lasing in a microlaser

abstract: Sub-Poisson field with much reduced fluctuations in a cavity can boost quantum precision measurements via cavity-enhanced light-matter interactions. Strong coupling between an atom and a cavity mode has been utilized to generate highly sub-Poisson fields. However, a macroscopic number of optical intracavity photons with more than 3dB variance reduction in a setting of laser has not been possible. Here, we report sub-Poisson field lasing in a microlaser operating with hundreds of atoms with well-regulated atom-cavity coupling and interaction time. Its photon-number variance was 4dB below the standard quantum limit while the intracavity mean photon number scalable up to 600. The highly sub-Poisson photon statistics were not deteriorated by simultaneous interaction of a large number of atoms. Our finding suggests an effective pathway to widely scalable quasi-Fock-state lasing at the macroscopic scale.


title: Sampling of multiple variables based on partial order set theory

abstract: This paper is going to introduce a new method for ranked set sampling with multiple criteria. The method is based on a version of ranked set sampling, introduced by Panahbehagh et al. (2017), which relaxes the restriction of selecting just one individual variable from each ranked set. Under the new method for ranking, elements are ranked in sets based on linear extensions in partial order sets theory, where based on all the variables simultaneously. Results will be evaluated by some simulations and two real case study on economical, medicinal use of flowers and the pollution of herb-layer by Lead, Cadmium, Zinc and Sulfur in regions in the southwest of Germany.


title: Cooperation-Aware Reinforcement Learning for Merging in Dense Traffic

abstract: Decision making in dense traffic can be challenging for autonomous vehicles. An autonomous system only relying on predefined road priorities and considering other drivers as moving objects will cause the vehicle to freeze and fail the maneuver. Human drivers leverage the cooperation of other drivers to avoid such deadlock situations and convince others to change their behavior. Decision making algorithms must reason about the interaction with other drivers and anticipate a broad range of driver behaviors. In this work, we present a reinforcement learning approach to learn how to interact with drivers with different cooperation levels. We enhanced the performance of traditional reinforcement learning algorithms by maintaining a belief over the level of cooperation of other drivers. We show that our agent successfully learns how to navigate a dense merging scenario with less deadlocks than with online planning methods.


title: Surface thermodynamics, surface stress, equations at surfaces and triple lines for deformable bodies

abstract: The thermodynamics and mechanics of the surface of a deformable body are studied here, following and refining the general approach of Gibbs. It is first shown that the 'local' thermodynamic variables of the state of the surface are only the temperature, the chemical potentials and the surface strain tensor (true thermodynamic variables, for a viscoelastic solid or a viscous fluid). A new definition of the surface stress is given and the corresponding surface thermodynamics equations are presented. The mechanical equilibrium equation at the surface is then obtained. It involves the surface stress and is similar to the Cauchy equation for the volume. Its normal component is a generalization of the Laplace equation. At a (body-fluid-fluid) triple contact line, two equations are obtained, which represent: (i) the equilibrium of the forces (surface stresses) for a triple line fixed on the body; (ii) the equilibrium relative to the motion of the line with respect to the body. This last equation leads to a strong modification of Young's classical capillary equation.


title: The Coevolution of Banks and Corporate Securities Markets: The Financing of Belgium's Industrial Take-Off in the 1830s

abstract: Recent developments in the literature on financial architecture suggest that banks and markets not only coexist, but also coevolve in ways that are non-neutral from the viewpoint of optimality. This article aims to analyse the concrete mechanisms of this coevolution by focusing on a very relevant case study: Belgium (the first Continental country to industrialize) at the time of the very first emergence of a modern financial system (the 1830s). The article shows that intermediaries played a crucial role in developing secondary securities markets (as banks acted as securitizers), but market conditions also had a strong feedback on banks' balance sheets and activities (as banks also acted as market-makers for the securities they had issued). The findings suggest that not only structural, but also cyclical factors can be important determinants of changes in financial architecture.


title: Sharing Attention Weights for Fast Transformer

abstract: Recently, the Transformer machine translation system has shown strong results by stacking attention layers on both the source and target-language sides. But the inference of this model is slow due to the heavy use of dot-product attention in auto-regressive decoding. In this paper we speed up Transformer via a fast and lightweight attention model. More specifically, we share attention weights in adjacent layers and enable the efficient re-use of hidden states in a vertical manner. Moreover, the sharing policy can be jointly learned with the MT model. We test our approach on ten WMT and NIST OpenMT tasks. Experimental results show that it yields an average of 1.3X speed-up (with almost no decrease in BLEU) on top of a state-of-the-art implementation that has already adopted a cache for fast inference. Also, our approach obtains a 1.8X speed-up when it works with the \textsc{Aan} model. This is even 16 times faster than the baseline with no use of the attention cache.


title: k-Resolved electronic structure of buried heterostructure and impurity systems by soft-X-ray ARPES

abstract: Angle-resolved photoelectron spectroscopy (ARPES) is the main experimental tool to explore electronic structure of solids resolved in the electron momentum k . Soft-X-ray ARPES (SX-ARPES), operating in a photon energy range around 1 keV, benefits from enhanced probing depth compared to the conventional VUV-range ARPES, and elemental/chemical state specificity achieved with resonant photoemission. These advantages make SX-ARPES ideally suited for buried heterostructure and impurity systems, which are at the heart of current and future electronics. These applications are illustrated here with a few pioneering results, including buried quantum-well states in semiconductor and oxide heterostructures, their bosonic coupling critically affecting electron transport, magnetic impurities in diluted magnetic semiconductors and topological materials, etc. High photon flux and detection efficiency are crucial for pushing the SX-ARPES experiment to these most photon-hungry cases.


title: A numerical scheme for stochastic differential equations with distributional drift

abstract: In this paper we present a scheme for the numerical solution of one-dimensional stochastic differential equations (SDEs) whose drift belongs to a fractional Sobolev space of negative regularity (a subspace of Schwartz distributions). We obtain a rate of convergence in a suitable $L^1$-norm and we implement the scheme numerically. To the best of our knowledge this is the first paper to study (and implement) numerical solutions of SDEs whose drift lives in a space of distributions. As a byproduct we also obtain an estimate of the convergence rate for a numerical scheme applied to SDEs with drift in $L^p$-spaces with $p\in(1,\infty)$.


title: Isotropy and spurious currents in pseudo-potential multiphase lattice Boltzmann models

abstract: The spurious currents observed in multiphase flow simulations with pseudo-potential lattice Boltzmann (LB) models are usually understood to be the result of the lack of isotropy of the model-generated interaction force between phases. Remedies have been proposed to utilize larger stencils to compute the interaction force with higher orders of isotropy. In this short communication, we point out the incompleteness in the current understanding and propose a new consistent implementation to more effectively suppress the spurious currents. We also demonstrate theoretically that certain low-level spurious currents cannot be eliminated by increasing isotropy if the local hydrostatic balance inside the diffuse interface is not established in the LB models.


title: Algorithmic measurement procedures

abstract: Measurements are shown to be processes designed to return figures: they are effective. This effectivity allows for a formalization as Turing machines, which can be described employing computation theory. Inspired in the halting problem we draw some limitations for measurement procedures: procedures that verify if a quantity is measured cannot work in every case.


title: An Explicit Mapped Tent Pitching Scheme for Maxwell Equations

abstract: We present a new numerical method for solving time dependent Maxwell equations, which is also suitable for general linear hyperbolic equations. It is based on an unstructured partitioning of the spacetime domain into tent-shaped regions that respect causality. Provided that an approximate solution is available at the tent bottom, the equation can be locally evolved up to the top of the tent. By mapping tents to a domain which is a tensor product of a spatial domain with a time interval, it is possible to construct a fully explicit scheme that advances the solution through unstructured meshes. This work highlights a difficulty that arises when standard explicit Runge Kutta schemes are used in this context and proposes an alternative structure-aware Taylor time-stepping technique. Thus explicit methods are constructed that allow variable time steps and local refinements without compromising high order accuracy in space and time. These Mapped Tent Pitching (MTP) schemes lead to highly parallel algorithms, which utilize modern computer architectures extremely well.


title: Combinatorial Algorithms for String Sanitization

abstract: String data are often disseminated to support applications such as location-based service provision or DNA sequence analysis. This dissemination, however, may expose sensitive patterns that model confidential knowledge. In this paper, we consider the problem of sanitizing a string by concealing the occurrences of sensitive patterns, while maintaining data utility, in two settings that are relevant to many common string processing tasks. In the first setting, we aim to generate the minimal-length string that preserves the order of appearance and frequency of all non-sensitive patterns. Such a string allows accurately performing tasks based on the sequential nature and pattern frequencies of the string. To construct such a string, we propose a time-optimal algorithm, TFS-ALGO. We also propose another time-optimal algorithm, PFS-ALGO, which preserves a partial order of appearance of non-sensitive patterns but produces a much shorter string that can be analyzed more efficiently. The strings produced by either of these algorithms are constructed by concatenating non-sensitive parts of the input string. However, it is possible to detect the sensitive patterns by ``reversing'' the concatenation operations. In response, we propose a heuristic, MCSR-ALGO, which replaces letters in the strings output by the algorithms with carefully selected letters, so that sensitive patterns are not reinstated, implausible patterns are not introduced, and occurrences of spurious patterns are prevented. In the second setting, we aim to generate a string that is at minimal edit distance from the original string, in addition to preserving the order of appearance and frequency of all non-sensitive patterns. To construct such a string, we propose an algorithm, ETFS-ALGO, based on solving specific instances of approximate regular expression matching.


title: Continuous Dice Coefficient: a Method for Evaluating Probabilistic Segmentations

abstract: Objective: Overlapping measures are often utilized to quantify the similarity between two binary regions. However, modern segmentation algorithms output a probability or confidence map with continuous values in the zero-to-one interval. Moreover, these binary overlapping measures are biased to structure size. Addressing these challenges is the objective of this work. Methods: We extend the definition of the classical Dice coefficient (DC) overlap to facilitate the direct comparison of a ground truth binary image with a probabilistic map. We call the extended method continuous Dice coefficient (cDC) and show that 1) cDC is less or equal to 1 and cDC = 1 if-and-only-if the structures overlap is complete, and, 2) cDC is monotonically decreasing with the amount of overlap. We compare the classical DC and the cDC in a simulation of partial volume effects that incorporates segmentations of common targets for deep-brainstimulation. Lastly, we investigate the cDC for an automatic segmentation of the subthalamic-nucleus. Results: Partial volume effect simulation on thalamus (large structure) resulted with DC and cDC averages (SD) of 0.98 (0.006) and 0.99 (0.001), respectively. For subthalamic-nucleus (small structure) DC and cDC were 0.86 (0.025) and 0.97 (0.006), respectively. The DC and cDC for automatic STN segmentation were 0.66 and 0.80, respectively. Conclusion: The cDC is well defined for probabilistic segmentation, less biased to structure size and more robust to partial volume effects in comparison to DC. Significance: The proposed method facilitates a better evaluation of segmentation algorithms. As a better measurement tool, it opens the door for the development of better segmentation methods.


title: Cognitive Systems Approach to Smart Cities

abstract: In our connected world, services are expected to be delivered at speed through multiple means with seamless communication. To put it in day to day conversational terms, 'there is an app for it' attitude prevails. Several technologies are needed to meet this growing demand and indeed these technologies are being developed. The first noteworthy is Internet of Things (IoT), which is in itself coupled technologies to deliver seamless communication with 'anywhere, anytime' as an underlying objective. The 'anywhere, anytime' service delivery paradigm requires a new type of smart systems in developing these services with better capabilities to interact with the human user, such as personalisation, affect state recognition, etc. Here enter cognitive systems, where AI meets cognitive sciences (e.g. cognitive psychology, linguistics, social cognition, etc.). In this paper we will examine the requirements imposed by smart cities development, e.g. intelligent logistics, sensor networks and domestic appliances connectivity, data streams and media delivery, to mention but few. Then we will explore how cognitive systems can meet the challenges these requirements present to the development of new systems. Throughout our discussion here, examples from our recent and current projects will be given supplemented by examples from the literature.


title: Ilinva: Using Abduction to Generate Loop Invariants

abstract: We describe a system to prove properties of programs. The key feature of this approach is a method to automatically synthesize inductive invariants of the loops contained in the program. The method is generic, i.e., it applies to a large set of programming languages and application domains; and lazy, in the sense that it only generates invariants that allow one to derive the required properties. It relies on an existing system called GPiD for abductive reasoning modulo theories, and on the platform for program verification Why3. Experiments show evidence of the practical relevance of our approach.


title: Weak Separation, Positivity and Extremal Yangian Invariants

abstract: We classify all positive n-particle N^kMHV Yangian invariants in N=4 Yang-Mills theory with n=5k, which we call extremal because none exist for n>5k. We show that this problem is equivalent to that of enumerating plane cactus graphs with k pentagons. We use the known solution of that problem to provide an exact expression for the number of cyclic classes of such invariants for any k, and a simple rule for writing them down explicitly. As a byproduct, we provide an alternative (but equivalent) classification by showing that a product of k five-brackets with disjoint sets of indices is a positive Yangian invariant if and only if the sets are all weakly separated.


title: Extended MARTINI Water Model for Heat Transfer Studies

abstract: The computationally efficient classical MARTINI model is extended to simulate heat transfer simulations of water. The current MARTINI model, variations of it and other coarse grain water models focus on reproducing the thermodynamic properties below room temperature, hence making them unsuitable for studying high temperature simulations especially evaporation at 100 {\deg}C. In this work, the MARTINI model is reparametrized using a combination of Genetic Algorithm, Artificial Neural Network and Nelder-Mead optimization technique to match the phase equilibrium properties of water. The reparametrized model (MARTINI-E) accurately reproduces density, enthalpy of vaporization and surface tension at 100{\deg}C and outperforms other leading coarse grain water models. The model is also validated using the energy conservation and enthalpy change due to latent heat in a lamellar system. This new water model can be used for simulating phase change phenomena, thin film evaporation and other energy transport mechanisms accurately.


title: Discrete unified gas kinetic scheme for nonlinear convection-diffusion equations

abstract: In this paper, we develop a discrete unified gas kinetic scheme (DUGKS) for general nonlinear convection-diffusion equation (NCDE), and show that the NCDE can be recovered correctly from the present model through the Chapman-Enskog analysis. We then test the present DUGKS through some classic convection-diffusion equations, and find that the numerical results are in good agreement with analytical solutions and the DUGKS model has a second-order convergence rate. Finally, as a finite-volume method, DUGKS can also adopt the non-uniform mesh. Besides, we performed some comparisons among the DUGKS, finite-volume lattice Boltzmann model (FV-LBM), single-relaxation-time lattice Boltzmann model (SLBM) and multiple-relaxation-time lattice Boltzmann model (MRT-LBM). The results show that the DUGKS model is more accurate than FV-LBM, more stable than SLBM, and almost has the same accuracy as the MRT-LBM. Besides, the using of non-uniform mesh may make DUGKS model more flexible.