title: Similarity Measures for Location-Dependent MMIMO, 5G Base Stations On/Off Switching Using Radio Environment Map

abstract: The Massive Multiple-Input Multiple-Output (MMIMO) technique together with Heterogeneous Network (Het-Net) deployment enables high throughput of 5G and beyond networks. However, a high number of antennas and a high number of Base Stations (BSs) can result in significant power consumption. Previous studies have shown that the energy efficiency (EE) of such a network can be effectively increased by turning off some BSs depending on User Equipments (UEs) positions. Such mapping is obtained by using Reinforcement Learning. Its results are stored in a so-called Radio Environment Map (REM). However, in a real network, the number of UEs' positions patterns would go to infinity. This paper aims to determine how to match the current set of UEs' positions to the most similar pattern, i.e., providing the same optimal active BSs set, saved in REM. We compare several state-of-the-art distance metrics using a computer simulator: an accurate 3D-Ray-Tracing model of the radio channel and an advanced system-level simulator of MMIMO Het-Net. The results have shown that the so-called Sum of Minimums Distance provides the best matching between REM data and UEs' positions, enabling up to 56% EE improvement over the scenario without EE optimization.


title: Mind Reading at Work: Cooperation without common ground

abstract: As Stefan Kopp and Nicole Kramer say in their recent paper[Frontiers in Psychology 12 (2021) 597], despite some very impressive demonstrations over the last decade or so, we still don't know how how to make a computer have a half decent conversation with a human. They argue that the capabilities required to do this include incremental joint co-construction and mentalizing. Although agreeing whole heartedly with their statement of the problem, this paper argues for a different approach to the solution based on the "new" AI of situated action.


title: An Ensemble Forecasting Technique for Photovoltaic Power Generation

abstract: To cater the rapidly growing demand for electricity leading to the integration of renewable energy sources in power system. Due to intermittent nature of renewables, it also brings challenges for research community during the planning and operation stage in power system. Therefore it is primary necessity of the community to develop an accurate forecasting technique to solve the intermittency problem. In this report, A forecasting technique is proposed based on ensemble of state of the art forecasting techniques. For performance comparison among the techniques, GEFCom2014 meteorological data are used to predict the photovoltaic power, and the obtained results are included in this report.


title: Multi-scale Image Decomposition using a Local Statistical Edge Model

abstract: We present a progressive image decomposition method based on a novel non-linear filter named Sub-window Variance filter. Our method is specifically designed for image detail enhancement purpose; this application requires extraction of image details which are small in terms of both spatial and variation scales. We propose a local statistical edge model which develops its edge awareness using spatially defined image statistics. Our decomposition method is controlled by two intuitive parameters which allow the users to define what image details to suppress or enhance. By using the summed-area table acceleration method, our decomposition pipeline is highly parallel. The proposed filter is gradient preserving and this allows our enhancement results free from the gradient-reversal artefact. In our evaluations, we compare our method in various multi-scale image detail manipulation applications with other mainstream solutions.


title: Emotimonitor: A Trello Power-Up to Capture Emotions of Agile Teams

abstract: In recent years, Agile methods have continued to grow into a popular means of modulating team productivity, even garnering a presence in non-software development related industries. The uptake of Agile methods has been driven by their flexibility, making them more suitable for many teams when compared to traditional approaches. However, an inevitable expectation for an Agile workflow is a higher level of change and uncertainty regarding requirements and tasks, which can ultimately have impacts on team member emotional states. The extent of such emotion impacts has motivated our research into the manner in which emotional states evolve in an Agile setting, along with whether such emotions can be accurately measured. To this end, we have developed Emotimonitor, a Trello power-up designed to capture information on emotions of team members as they relate to their technical tasks through a user-friendly interface. Emotimonitor will better enable team members to express their emotional states through emoji reactions on Trello cards, while also providing team leaders with a dashboard summarising these reactions as visualisations and statistical data. It is extensible and potentially provides an outlet for team members operating in Agile environments to better express their emotional states.


title: Langmuir mechanism of low-frequency stimulated Raman scattering on nanoscale objects

abstract: A simple physical mechanism of stimulated light scattering on nanoscale objects in water suspension similar to Langmuir waves mechanism in plasma is proposed. The proposed mechanism is based on a dipole interaction between the light wave and the non-compensated electrical charge that inevitably exists on a nanoscale object (a virus or a nanoparticle) in water environment. The experimental data for tobacco mosaic virus and polystyrene nanospheres are presented to support the suggested physical mechanism. It has been demonstrated that stimulated amplification spectral line frequencies observed experimentally are well explained by the suggested mechanism. In particular, the absence of lower frequency lines and the generation lines shift when changing the pH are due to ion friction appearing in the ionic solution environment. The selection rules observed experimentally also confirm the dipole interaction type. It has been shown that microwave radiation on nanoscale object acoustic vibrations frequency should appear under such scattering conditions. We demonstrate that such conditions also allow for local selective heating of nanoscale objects by dozens to hundreds degrees K. This effect is controlled by the optical irradiation parameters and can be used for affecting selectively certain types of viruses.


title: Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)

abstract: Refinement types decorate types with assertions that enable automatic verification. Like assertions, refinements are limited to binders that are in scope, and hence, cannot express higher-order specifications. Ghost variables circumvent this limitation but are prohibitively tedious to use as the programmer must divine and explicate their values at all call-sites. We introduce Implicit Refinement Types which turn ghost variables into implicit pair and function types, in a way that lets the refinement typechecker automatically synthesize their values at compile time. Implicit Refinement Types further take advantage of refinement type information, allowing them to be used as a lightweight verification tool, rather than merely as a technique to automate programming tasks. We evaluate the utility of Implicit Refinement Types by showing how they enable the modular specification and automatic verification of various higher-order examples including stateful protocols, access control, and resource usage.


title: Recoil-Induced Asymmetry of Nondipole Molecular Frame Photoelectron Angular Distributions in the Hard X-ray Regime

abstract: We investigate angular emission distributions of the 1s-photoelectrons of N$_2$ ionized by linearly polarized synchrotron radiation at $h \nu=40$ keV. As expected, nondipole contributions cause a very strong forward-backward asymmetry in the measured emission distributions. In addition, we observe an unexpected asymmetry with respect to the polarization direction, which depends on the direction of the molecular fragmentation. In particular, photoelectrons are predominantly emitted in the direction of the forward nitrogen atom. This observation cannot be explained via asymmetries introduced by the initial bound and final continuum electronic states of the oriented molecule. The present simulations assign this asymmetry to a novel nontrivial effect of the recoil imposed to the nuclei by the fast photoelectrons and high-energy photons, which results in a propensity for the ions to break up along the axis of the recoil momentum. The results are of particular importance for the interpretation of future experiments at XFELs operating in the few tens of keV regime, where such nondipole and recoil effects will be essential.


title: A parabolic Harnack principle for balanced difference equations in random environments

abstract: We consider difference equations in balanced, i.i.d. environments which are not necessary elliptic. In this setting we prove a parabolic Harnack inequality (PHI) for non-negative solutions to the discrete heat equation satisfying a (rather mild) growth condition, and we identify the optimal Harnack constant for the PHI. We show by way of an example that a growth condition is necessary and that our growth condition is sharp. Along the way we also prove a parabolic oscillation inequality and a (weak) quantitative homogenization result, which we believe to be of independent interest.


title: Perceptual Gradient Networks

abstract: Many applications of deep learning for image generation use perceptual losses for either training or fine-tuning of the generator networks. The use of perceptual loss however incurs repeated forward-backward passes in a large image classification network as well as a considerable memory overhead required to store the activations of this network. It is therefore desirable or sometimes even critical to get rid of these overheads. In this work, we propose a way to train generator networks using approximations of perceptual loss that are computed without forward-backward passes. Instead, we use a simpler perceptual gradient network that directly synthesizes the gradient field of a perceptual loss. We introduce the concept of proxy targets, which stabilize the predicted gradient, meaning that learning with it does not lead to divergence or oscillations. In addition, our method allows interpretation of the predicted gradient, providing insight into the internals of perceptual loss and suggesting potential ways to improve it in future work.


title: On the Communication Complexity of Key-Agreement Protocols

abstract: Key-agreement protocols whose security is proven in the random oracle model are an important alternative to protocols based on public-key cryptography. In the random oracle model, the parties and the eavesdropper have access to a shared random function (an "oracle"), but the parties are limited in the number of queries they can make to the oracle. The random oracle serves as an abstraction for black-box access to a symmetric cryptographic primitive, such as a collision resistant hash. Unfortunately, as shown by Impagliazzo and Rudich [STOC '89] and Barak and Mahmoody [Crypto '09], such protocols can only guarantee limited secrecy: the key of any $\ell$-query protocol can be revealed by an $O(\ell^2)$-query adversary. This quadratic gap between the query complexity of the honest parties and the eavesdropper matches the gap obtained by the Merkle's Puzzles protocol of Merkle [CACM '78]. In this work we tackle a new aspect of key-agreement protocols in the random oracle model: their communication complexity. In Merkle's Puzzles, to obtain secrecy against an eavesdropper that makes roughly $\ell^2$ queries, the honest parties need to exchange $\Omega(\ell)$ bits. We show that for protocols with certain natural properties, ones that Merkle's Puzzle has, such high communication is unavoidable. Specifically, this is the case if the honest parties' queries are uniformly random, or alternatively if the protocol uses non-adaptive queries and has only two rounds. Our proof for the first setting uses a novel reduction from the set-disjointness problem in two-party communication complexity. For the second setting we prove the lower bound directly, using information-theoretic arguments.


title: Attack-agnostic Adversarial Detection on Medical Data Using Explainable Machine Learning

abstract: Explainable machine learning has become increasingly prevalent, especially in healthcare where explainable models are vital for ethical and trusted automated decision making. Work on the susceptibility of deep learning models to adversarial attacks has shown the ease of designing samples to mislead a model into making incorrect predictions. In this work, we propose a model agnostic explainability-based method for the accurate detection of adversarial samples on two datasets with different complexity and properties: Electronic Health Record (EHR) and chest X-ray (CXR) data. On the MIMIC-III and Henan-Renmin EHR datasets, we report a detection accuracy of 77% against the Longitudinal Adversarial Attack. On the MIMIC-CXR dataset, we achieve an accuracy of 88%; significantly improving on the state of the art of adversarial detection in both datasets by over 10% in all settings. We propose an anomaly detection based method using explainability techniques to detect adversarial samples which is able to generalise to different attack methods without a need for retraining.


title: Synthetic Control over the Binding Configuration of Luminescent sp3-Defects in Single-Walled Carbon Nanotubes

abstract: The controlled functionalization of single-walled carbon nanotubes with luminescent sp3-defects has created the potential to employ them as quantum-light sources in the near-infrared. For that, it is crucial to control their spectral diversity. The emission wavelength is determined by the binding configuration of the defects rather than the molecular structure of the attached groups. However, current functionalization methods produce a variety of binding configurations and thus emission wavelengths. We introduce a simple reaction protocol for the creation of only one type of luminescent defect in polymer-sorted (6,5) nanotubes, which is more red-shifted and exhibits longer photoluminescence lifetimes than the commonly obtained binding configurations. We demonstrate single-photon emission at room temperature and expand this functionalization to other polymer-wrapped nanotubes with emission further in the near-infrared. As the selectivity of the reaction with various aniline derivatives depends on the presence of an organic base we propose nucleophilic addition as the reaction mechanism.


title: Stitch Fix for Mapper and Topological Gains

abstract: The mapper construction is a powerful tool from topological data analysis that is designed for the analysis and visualization of multivariate data. In this paper, we investigate a method for stitching a pair of univariate mappers together into a bivariate mapper, and study topological notions of information gains, referred to as topological gains, during such a process. We further provide implementations that visualize such topological gains for mapper graphs.


title: On the mathematical axiomatization of approximate Bayesian computation. A robust set for estimating mechanistic network models through optimal transport

abstract: We research relations between optimal transport theory (OTT) and approximate Bayesian computation (ABC) possibly connected to relevant metrics defined on probability measures. Those of ABC are computational methods based on Bayesian statistics and applicable to a given generative model to estimate its a posteriori distribution in case the likelihood function is intractable. The idea is therefore to simulate sets of synthetic data from the model with respect to assigned parameters and, rather than comparing prospects of these data with the corresponding observed values as typically ABC requires, to employ just a distance between a chosen distribution associated to the synthetic data and another of the observed values. Our focus lies in theoretical and methodological aspects, although there would exist a remarkable part of algorithmic implementation, and more precisely issues regarding mathematical foundation and asymptotic properties are carefully analysed, inspired by an in-depth study of what is then our main bibliographic reference, that is Bernton et al. (2019), carrying out what follows: a rigorous formulation of the set-up for the ABC rejection algorithm, also to regain a transparent and general result of convergence as the ABC threshold goes to zero whereas the number n of samples from the prior stays fixed; general technical proposals about distances leaning on OTT; weak assumptions which lead to lower bounds for small values of threshold and as n goes to infinity, ultimately showing a reasonable possibility of lack of concentration which is contrary to what is proposed in Bernton et al. (2019) itself.


title: One-way communication complexity and non-adaptive decision trees

abstract: We study the relationship between various one-way communication complexity measures of a composed function with the analogous decision tree complexity of the outer function. We consider two gadgets: the AND function on 2 inputs, and the Inner Product on a constant number of inputs. Let $IP$ denote Inner Product on $2b$ bits. - If $f$ is a total Boolean function that depends on all of its inputs, the bounded-error one-way quantum communication complexity of $f \circ IP$ equals $\Omega(n(b-1))$. - If $f$ is a partial Boolean function, the deterministic one-way communication complexity of $f \circ IP$ is at least $\Omega(b \cdot D_{dt}^{\rightarrow}(f))$, where $D_{dt}^{\rightarrow}(f)$ denotes the non-adaptive decision tree complexity of $f$. Montanaro and Osborne [arXiv'09] observed that the deterministic one-way communication complexity of $f \circ XOR_2$ equals the non-adaptive parity decision tree complexity of $f$. In contrast, we show the following with the gadget $AND_2$. - There exists a function for which even the quantum non-adaptive AND decision tree complexity of $f$ is exponentially large in the deterministic one-way communication complexity of $f \circ AND_2$. - For symmetric functions $f$, the non-adaptive AND decision tree complexity of $f$ is at most quadratic in the (even two-way) communication complexity of $f \circ AND_2$. In view of the first point, a lower bound on non-adaptive AND decision tree complexity of $f$ does not lift to a lower bound on one-way communication complexity of $f \circ AND_2$. In our final result we show that for all $f$, the deterministic one-way communication complexity of $F = f \circ AND_2$ is at most $(rank(M_{F}))(1 - \Omega(1))$, where $M_{F}$ denotes the communication matrix of $F$. This shows that the rank upper bound on one-way communication complexity (which can be tight in general) is not tight for AND-composed functions.


title: Excited muon production at muon colliders via contact interaction

abstract: In recent years, with the enlightenment of some issues encountered at muon colliders, muon colliders have become more feasible for the high-energy physics community. For this reason, we studied single production of excited muon at muon colliders via contact interaction. Besides, we assumed that the excited muon is produced via contact interactions and decays to the photon and the muon through the gauge interaction. Then, signal and background analyses were performed at the muon anti-muon collider options with 6 TeV, 14 TeV, and 100 TeV center-of-mass energies for the excited muon. Attainable mass and compositeness scale limits were calculated for the excited muon at the muon anti-muon colliders. As a result of the calculations, it was concluded that the muon-antimuon colliders would be a perfect collider option for the excited muon investigations.


title: Charge Transfer from Photoexcited Semiconducting Single-Walled Carbon Nanotubes to Wide-Bandgap Wrapping Polymer

abstract: As narrow optical bandgap materials, semiconducting single-walled carbon nanotubes (SWCNTs) are rarely regarded as charge donors in photoinduced charge-transfer (PCT) reactions. However, the unique band structure and unusual exciton dynamics of SWCNTs add more possibilities to the classical PCT mechanism.In this work, we demonstrate PCT from photoexcited semiconducting (6,5) SWCNTs to a wide-bandgap wrapping poly-[(9,9-dioctylfluorenyl-2,7-diyl)-alt-(6,6')-(2,2'-bipyridine)] (PFO-BPy) via femtosecond transient absorption spectroscopy. By monitoring the spectral dynamics of the SWCNT polaron, we show that charge transfer from photoexcited SWCNTs to PFO-BPy can be driven not only by the energetically favorable E33 transition but also by the energetically unfavorable E22 excitation under high pump fluence. This unusual PCT from narrow-bandgap SWCNTs toward a wide-bandgap polymer originates from the up-converted high-energy excitonic state (E33 or higher) that is promoted by the Auger recombination of excitons and charge carriers in SWCNTs. These insights provide new pathways for charge separation in SWCNT-based photodetectors and photovoltaic cells.


title: Joint Communication and Radar Sensing with Reconfigurable Intelligent Surfaces

abstract: In this paper, we use a reconfigurable intelligent surface (RIS) to enhance the radar sensing and communication capabilities of a mmWave dual function radar communication system. To simultaneously localize the target and to serve the user, we propose to adaptively partition the RIS by reserving separate RIS elements for sensing and communication. We design a multi-stage hierarchical codebook to localize the target while ensuring a strong communication link to the user. We also present a method to choose the number of times to transmit the same beam in each stage to achieve a desired target localization probability of error. The proposed algorithm typically requires fewer transmissions than an exhaustive search scheme to achieve a desired target localization probability of error. Furthermore, the average spectral efficiency of the user with the proposed algorithm is found to be comparable to that of a RIS-assisted MIMO communication system without sensing capabilities and is much better than that of traditional MIMO systems without RIS.


title: Symmetries of cross caps

abstract: It is well-known that cross caps on surfaces in the Euclidean 3-space can be expressed in Bruce-West's normal form, which is a special local coordinate system centered at the singular point. In this paper, we show a certain kind of uniqueness of such a coordinate system. In particular, the functions associated with this coordinate system produce new invariants on cross cap singular points. Using them, we classify the possible symmetries on cross caps.


title: Comparing Field Trips, VR Experiences and Video Representations on Spatial Layout Learning in Complex Buildings

abstract: This study aimed to compare and investigate the efficacy of the real-world experiences, immersive virtual reality (IVR) experiences, and video walkthrough representations on layout-learning in a complex building. A quasi-experimental, intervention, and delayed post-test research design was used among three groups: real-world, IVR, and video walkthrough representation. A total of 41 first-year design students from architecture, and game design departments were attended the study. Design students were selected as they already know how to communicate graphically the layout of a building on paper. IVR and video walkthrough groups experienced the representations of the building by themselves, but real-world group experienced the building within a group as imitating a design education field trip. After 10 days, a total of 26 participants out of 41 tested for spatial recall performance. Recall performances were measured as an indicator of layout learning by analysing the plan sketches drawn by the participants. Results showed IVR group recalled significantly more spatial memories compared with the real-world and video walkthrough representation groups. Real-world group performed the worst among three groups. This result was interpreted to three conclusions. First, the layout learning tends to be overly sensitive to distractions and lower levels of distraction may lead to better levels of layout learning. Second, for the domain of layout knowledge learning, a remarkably simple IVR model is enough. Third, although real-world experiences give direct and richer sensory information about the spaces, layout knowledge acquisition from the surrounding environment requires psychologically active wayfinding decisions.


title: Ni$_{80}$Fe$_{20}$ Nanotubes with Optimized Spintronic Functionalities Prepared by Atomic Layer Deposition

abstract: Permalloy Ni$_{80}$Fe$_{20}$ is one of the key magnetic materials in the field of magnonics. Its potential would be further unveiled if it could be deposited in three dimensional (3D) architectures of sizes down to the nanometer. Atomic Layer Deposition, ALD, is the technique of choice for covering arbitrary shapes with homogeneous thin films. Early successes with ferromagnetic materials include nickel and cobalt. Still, challenges in depositing ferromagnetic alloys reside in the synthesis via decomposing the consituent elements at the same temperature and homogeneously. We report plasma-enhanced ALD to prepare permalloy Ni$_{80}$Fe$_{20}$ thin films and nanotubes using nickelocene and iron(III) tert-butoxide as metal precursors, water as the oxidant agent and an in-cycle plasma enhanced reduction step with hydrogen. We have optimized the ALD cycle in terms of Ni:Fe atomic ratio and functional properties. We obtained a Gilbert damping of 0.013, a resistivity of 28 $\mu\Omega$cm and an anisotropic magnetoresistance effect of 5.6 $\%$ in the planar thin film geometry. We demonstrate that the process also works for covering GaAs nanowires, resulting in permalloy nanotubes with high aspect ratios and diameters of about 150 nm. Individual nanotubes were investigated in terms of crystal phase, composition and spin-dynamic response by microfocused Brillouin Light Scattering. Our results enable NiFe-based 3D spintronics and magnonic devices in curved and complex topology operated in the GHz frequency regime.


title: Trusted Enforcement of Application-specific Security Policies

abstract: While there have been approaches for integrating security policies into operating systems (OSs) for more than two decades, applications often use objects of higher abstraction requiring individual security policies with application-specific semantics. Due to insufficient OS support, current approaches for enforcing application-level policies typically lead to large and complex trusted computing bases rendering tamperproofness and correctness difficult to achieve. To mitigate this problem, we propose the application-level policy enforcement architecture AppSPEAR and a C++ framework for its implementation. The configurable framework enables developers to balance enforcement rigor and costs imposed by different implementation alternatives and thus to easily tailor an AppSPEAR implementation to individual application requirements. We especially argue that hardware-based trusted execution environments offer an optimal balance between effectiveness and efficiency of policy protection and enforcement. This claim is substantiated by a practical evaluation based on an electronic medical record system.


title: Information theory based Electron Paramagnetic Resonance dating

abstract: Chronometric dating is becoming increasingly important in areas such as the Origin and evolution of Life on Earth and other planets, Origin and evolution of the Earth and the Solar System... Electron Spin Resonance (ESR) dating is based on exploiting effects of contamination by chemicals or ionizing radiation, on ancient matter through its absorption spectrum and lineshape. Interpreting absorption spectra as probability density functions (pdf), we use the notion of Information Theory (IT) distance allowing us to position the measured lineshape with respect to standard limiting pdf's (Lorentzian and Gaussian). This paves the way to perform dating when several interaction patterns between unpaired spins are present in geologic, planetary, meteorite or asteroid matter namely classical-dipolar (for ancient times) and quantum-exchange-coupled (for recent times). In addition, accurate bounds to age are provided by IT from the evaluation of distances with respect to the Lorentz and Gauss distributions. Dating arbitrary periods of times~\cite{Anderson} and exploiting IT to introduce rigorous and accurate date values might have interesting far reaching implications not only in Geophysics, Geochronology~\cite{Bahain}, Planetary Science but also in Mineralogy, Archaeology, Biology, Anthropology~\cite{Aitken}, Paleoanthropology~\cite{Taylor,Richter}...


title: Mpemba effect in anisotropically driven inelastic Maxwell gases

abstract: Through an exact analysis, we show the existence of Mpemba effect in an anisotropically driven inelastic Maxwell gas, a simplified model for granular gases, in two dimensions. Mpemba effect refers to the couterintuitive phenomenon of a hotter system relaxing to the steady state faster than a cooler system, when both are quenched to the same lower temperature. The Mpemba effect has been illustrated in earlier studies on isotropically driven granular gases, but its existence requires non-stationary initial states, limiting experimental realisation. In this paper, we demonstrate the existence of the Mpemba effect in anisotropically driven granular gases even when the initial states are non-equilibrium steady states. The precise conditions for the Mpemba effect, its inverse, and the stronger version, where the hotter system cools exponentially faster are derived.


title: $\epsilon$-Approximate Coded Matrix Multiplication is Nearly Twice as Efficient as Exact Multiplication

abstract: We study coded distributed matrix multiplication from an approximate recovery viewpoint. We consider a system of $P$ computation nodes where each node stores $1/m$ of each multiplicand via linear encoding. Our main result shows that the matrix product can be recovered with $\epsilon$ relative error from any $m$ of the $P$ nodes for any $\epsilon > 0$. We obtain this result through a careful specialization of MatDot codes -- a class of matrix multiplication codes previously developed in the context of exact recovery ($\epsilon=0$). Since prior results showed that MatDot codes achieve the best exact recovery threshold for a class of linear coding schemes, our result shows that allowing for mild approximations leads to a system that is nearly twice as efficient as exact reconstruction. As an additional contribution, we develop an optimization framework based on alternating minimization that enables the discovery of new codes for approximate matrix multiplication.


title: Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards

abstract: An emerging line of research in Explainable NLP is the creation of datasets enriched with human-annotated explanations and rationales, used to build and evaluate models with step-wise inference and explanation generation capabilities. While human-annotated explanations are used as ground-truth for the inference, there is a lack of systematic assessment of their consistency and rigour. In an attempt to provide a critical quality assessment of Explanation Gold Standards (XGSs) for NLI, we propose a systematic annotation methodology, named Explanation Entailment Verification (EEV), to quantify the logical validity of human-annotated explanations. The application of EEV on three mainstream datasets reveals the surprising conclusion that a majority of the explanations, while appearing coherent on the surface, represent logically invalid arguments, ranging from being incomplete to containing clearly identifiable logical errors. This conclusion confirms that the inferential properties of explanations are still poorly formalised and understood, and that additional work on this line of research is necessary to improve the way Explanation Gold Standards are constructed.


title: Does elderly enjoy playing Bingo with a robot? A case study with the humanoid robot Nadine

abstract: There are considerable advancements in medical health care in recent years, resulting in rising older population. As the workforce for such a population is not keeping pace, there is an urgent need to address this problem. Having robots to stimulating recreational activities for older adults can reduce the workload for caretakers and give them time to address the emotional needs of the elderly. In this paper, we investigate the effects of the humanoid social robot Nadine as an activity host for the elderly. This study aims to analyse if the elderly feels comfortable and enjoy playing game/activity with the humanoid robot Nadine. We propose to evaluate this by placing Nadine humanoid social robot in a nursing home as a caretaker where she hosts bingo game. We record sessions with and without Nadine to understand the difference and acceptance of these two scenarios. We use computer vision methods to analyse the activities of the elderly to detect emotions and their involvement in the game. We envision that such humanoid robots will make recreational activities more readily available for the elderly. Our results present positive enforcement during recreational activity, Bingo, in the presence of Nadine.


title: GRAPHOPT: constrained-optimization-based parallelization of irregular graphs

abstract: Sparse, irregular graphs show up in various applications like linear algebra, machine learning, engineering simulations, robotic control, etc. These graphs have a high degree of parallelism, but their execution on parallel threads of modern platforms remains challenging due to the irregular data dependencies. The execution performance can be improved by efficiently partitioning the graphs such that the communication and thread synchronization overheads are minimized without hurting the utilization of the threads. To achieve this, this paper proposes GRAPHOPT, a tool that models the graph parallelization as a constrained optimization problem and uses the open Google OR-Tools solver to find good partitions. Several scalability techniques are developed to handle large real-world graphs with millions of nodes and edges. Extensive experiments are performed on the graphs of sparse matrix triangular solves (linear algebra) and sum-product networks (machine learning), respectively, showing a mean speedup of 2.0X and 1.8X over previous state-of-the-art libraries, demonstrating the effectiveness of the constrained-optimization-based graph parallelization.


title: Limits and consistency of non-local and graph approximations to the Eikonal equation

abstract: In this paper, we study a non-local approximation of the time-dependent (local) Eikonal equation with Dirichlet-type boundary conditions, where the kernel in the non-local problem is properly scaled. Based on the theory of viscosity solutions, we prove existence and uniqueness of the viscosity solutions of both the local and non-local problems, as well as regularity properties of these solutions in time and space. We then derive error bounds between the solution to the non-local problem and that of the local one, both in continuous-time and Backward Euler time discretization. We then turn to studying continuum limits of non-local problems defined on random weighted graphs with $n$ vertices. In particular, we establish that if the kernel scale parameter decreases at an appropriate rate as $n$ grows, then almost surely, the solution of the problem on graphs converges uniformly to the viscosity solution of the local problem as the time step vanishes and the number vertices $n$ grows large.


title: RDMSim: An Exemplar for Evaluation and Comparison of Decision-Making Techniques for Self-Adaptation

abstract: Decision-making for self-adaptation approaches need to address different challenges, including the quantification of the uncertainty of events that cannot be foreseen in advance and their effects, and dealing with conflicting objectives that inherently involve multi-objective decision making (e.g., avoiding costs vs. providing reliable service). To enable researchers to evaluate and compare decision-making techniques for self-adaptation, we present the RDMSim exemplar. RDMSim enables researchers to evaluate and compare techniques for decision-making under environmental uncertainty that support self-adaptation. The focus of the exemplar is on the domain problem related to Remote Data Mirroring, which gives opportunity to face the challenges described above. RDMSim provides probe and effector components for easy integration with external adaptation managers, which are associated with decision-making techniques and based on the MAPE-K loop. Specifically, the paper presents (i) RDMSim, a simulator for real-world experimentation, (ii) a set of realistic simulation scenarios that can be used for experimentation and comparison purposes, (iii) data for the sake of comparison.


title: Solutions of Bernoulli equations in the fractional setting

abstract: We present a general series representation formula for the local solution of Bernoulli equation with Caputo fractional derivatives. We then focus on a generalization of the fractional logistic equation and we present some related numerical simulations.


title: From pseudo-direct hexagonal germanium to direct silicon-germanium alloys

abstract: We present ab initio calculations of the electronic and optical properties of hexagonal SiGe alloys in the lonsdaleite structure. Lattice constants and electronic band structures in excellent agreement with experiment are obtained using density-functional theory. Hexagonal Si has an indirect band gap, while hexagonal Ge has a pseudo-direct gap, i.e. the optical transitions at the minimum direct band gap are very weak. The pseudo-direct character of pure hexagonal Ge is efficiently lifted by alloying. Already for a small admixture of Si, symmetry reduction enhances the oscillator strength of the lowest direct optical transitions. The band gap is direct for a Si content below 45 %. We validate lonsdaleite group-IV alloys to be efficient optical emitters, suitable for integrated optoelectronic applications.


title: The Logic of Collective Action Revisited

abstract: Mancur Olson's "Logic of Collective Action" predicts that voluntary action for the common good will only happen in small groups. His theory of the structure and behaviour of organisations fails to account for the UK Labour Party's promotion of, rejection and ultimate compliance with its Political Parties Act (PPERA). I propose a revised computational theory to explain this behaviour. It negates key tenets of Olson's work: that consumption of a common good by one member inevitably reduces the quantity available to another and that negotiation between members does not in general affect a decision to work for the common good. The approach has application in private and public sector service design.


title: Towards Precision Cosmology With Improved PNLF Distances Using VLT-MUSE I. Methodology and Tests

abstract: The [O III ] 5007 Planetary Nebula Luminosity Function (PNLF) is an established distance indicator that has been used for more than 30 years to measure the distances of galaxies out to ~15 Mpc. With the advent of the Multi-Unit Spectroscopic Explorer on the Very Large Telescope (MUSE) as an efficient wide-field integral field spectrograph, the PNLF method is due for a renaissance, as the spatial and spectral information contained in the instrument's datacubes provides many advantages over classical narrow-band imaging. Here we use archival MUSE data to explore the potential of a novel differential emission-line filter (DELF) technique to produce spectrophotometry that is more accurate and more sensitive than other methods. We show that DELF analyses are superior to classical techniques in high surface brightness regions of galaxies and we validate the method both through simulations and via the analysis of data from two early-type galaxies (NGC 1380 and NGC 474) and one late-type spiral (NGC 628). We demonstrate that with adaptive optics support or under excellent seeing conditions, the technique is capable of producing precision (< 0.05 mag) [O III ] photometry out to distances of 40 Mpc while providing discrimination between planetary nebulae and other emission-line objects such as H II regions, supernova remnants, and background galaxies. These capabilities enable us to use MUSE to measure precise PNLF distances beyond the reach of Cepheids and the tip of the red giant branch method, and become an additional tool for constraining the local value of the Hubble constant.


title: Systems of fully nonlinear parabolic obstacle problems with Neumann boundary conditions

abstract: We prove the existence of a unique viscosity solution to certain systems of fully nonlinear parabolic partial differential equations with interconnected obstacles in the setting of Neumann boundary conditions. The method of proof builds on the classical viscosity solution technique adapted to the setting of interconnected obstacles and construction of explicit viscosity sub- and supersolutions as bounds for Perron's method. Our motivation stems from so called optimal switching problems on bounded domains.


title: Software Engineering for AI-Based Systems: A Survey

abstract: AI-based systems are software systems with functionalities enabled by at least one AI component (e.g., for image- and speech-recognition, and autonomous driving). AI-based systems are becoming pervasive in society due to advances in AI. However, there is limited synthesized knowledge on Software Engineering (SE) approaches for building, operating, and maintaining AI-based systems. To collect and analyze state-of-the-art knowledge about SE for AI-based systems, we conducted a systematic mapping study. We considered 248 studies published between January 2010 and March 2020. SE for AI-based systems is an emerging research area, where more than 2/3 of the studies have been published since 2018. The most studied properties of AI-based systems are dependability and safety. We identified multiple SE approaches for AI-based systems, which we classified according to the SWEBOK areas. Studies related to software testing and software quality are very prevalent, while areas like software maintenance seem neglected. Data-related issues are the most recurrent challenges. Our results are valuable for: researchers, to quickly understand the state of the art and learn which topics need more research; practitioners, to learn about the approaches and challenges that SE entails for AI-based systems; and, educators, to bridge the gap among SE and AI in their curricula.


title: Asymptotic regularity for Lipschitzian nonlinear optimization problems with applications to complementarity-constrained and bilevel programming

abstract: Asymptotic stationarity and regularity conditions turned out to be quite useful to study the qualitative properties of numerical solution methods for standard nonlinear and complementarity-constrained programs. In this paper, we first extend these notions to nonlinear optimization problems with nonsmooth but Lipschitzian data functions in order to find reasonable notions of asymptotic stationarity and regularity in terms of Clarke's and Mordukhovich's subdifferential construction. Particularly, we compare the associated novel asymptotic constraint qualifications with already existing ones. The second part of the paper presents two applications of the obtained theory. On the one hand, we specify our findings for complementarity-constrained optimization problems and recover recent results from the literature which demonstrates the power of the approach. Furthermore, we hint at potential extensions to or- and vanishing-constrained optimization. On the other hand, we demonstrate the usefulness of asymptotic regularity in the context of bilevel optimization. More precisely, we justify a well-known stationarity system for affinely constrained bilevel optimization problems in a novel way. Afterwards, we suggest a solution algorithm for this class of bilevel optimization problems which combines a penalty method with ideas from DC-programming. After a brief convergence analysis, we present results of some numerical experiments.


title: Eigenvalue asymptotics for the one-particle kinetic energy density operator

abstract: The kinetic energy of a multi-particle system is described by the one-particle kinetic energy density matrix $\tau(x, y)$. Alongside the one-particle density matrix $\gamma(x, y)$, it is one of the key objects in the quantum-mechanical approximation schemes. We prove the asymptotic formula $\lambda_k \sim (Bk)^{-2}$, $B \ge 0$, as $k\to\infty$, for the eigenvalues $\lambda_k$ of the self-adjoint operator $\boldsymbol{\sf T}\ge 0$ with kernel $\tau(x, y)$.


title: Comparison between trion and exciton electronic properties in CdSe and PbS nanoplatelets

abstract: The optoelectronic properties of metal chalcogenide colloidal nanoplatelets are often interpreted in terms of excitonic states. However, recent spectroscopic experiments evidence the presence of trion states, enabled by the slow Auger recombination in these structures. We analyze how the presence of an additional charge in trions modifies the emission energy and oscillator strength as compared to neutral excitons. These properties are very sensitive to dielectric confinement and electronic correlations, which we describe accurately using image-charge and variational Quantum Monte Carlo methods in effective mass Hamiltonians. We observe that the giant oscillator strength of neutral excitons is largely suppressedin trions. Both negative and positive trions are redshifted with respect to the exciton, and their emission energy increases with increasing dielectric mismatch between the platelet and its surroundings, which is a consequence of the self-energy potential. Our results are consistent with experiments in the literature, and assess on the validity of previous theoretical approximations.


title: Dynamic QoS-Aware Traffic Planning for Time-Triggered Flows in the Real-time Data Plane

abstract: Many networked applications, e.g., in the domain of cyber-physical systems, require strict service guarantees, usually in the form of jitter and latency bounds, for time-triggered traffic flows. It is a notoriously hard problem to compute a network-wide traffic plan that satisfies these requirements, and dynamic changes in the flow set add even more challenges. Existing traffic-planning methods are ill-suited for dynamic scenarios because they either suffer from high computational cost, can result in low network utilization, or provide no explicit guarantees when transitioning to a new traffic plan that incorporates new flows. Therefore, we present a novel approach for dynamic traffic planning of time-triggered flows. Our conflict-graph based modeling of the traffic planning problem allows to reconfigure active flows to increase the network utilization, while also providing per-flow QoS guarantees during the transition to the new traffic plan. Additionally, we introduce a novel heuristic for computing the new traffic plans. Evaluations of our prototypical implementation show that we can efficiently compute new traffic plans in scenarios with hundreds of active flows for a wide range of scenarios.


title: Submillimetre observations of the two-component magnetic field in M82

abstract: We observed the starburst galaxy M82 in 850$\mu$m polarised light with the POL-2 polarimeter on the James Clerk Maxwell Telescope (JCMT). We interpret our observed polarisation geometry as tracing a two-component magnetic field: a poloidal component aligned with the galactic 'superwind', extending to a height $\sim 350$ pc above and below the central bar; and a spiral-arm-aligned, or possibly toroidal, component in the plane of the galaxy, which dominates the 850$\mu$m polarised light distribution at galactocentric radii $\gtrsim 2$ kpc. Comparison of our results with recent HAWC+ measurements of the field in the dust entrained by the M82 superwind suggests that the superwind breaks out from the central starburst at $\sim 350$ pc above the plane of the galaxy.


title: Evaluation Of Word Embeddings From Large-Scale French Web Content

abstract: Distributed word representations are popularly used in many tasks in natural language processing. Adding that pretrained word vectors on huge text corpus achieved high performance in many different NLP tasks. This paper introduces multiple high-quality word vectors for the French language where two of them are trained on massive crawled French data during this study and the others are trained on an already existing French corpus. We also evaluate the quality of our proposed word vectors and the existing French word vectors on the French word analogy task. In addition, we do the evaluation on multiple real NLP tasks that shows the important performance enhancement of the pre-trained word vectors compared to the existing and random ones. Finally, we created a demo web application to test and visualize the obtained word embeddings. The produced French word embeddings are available to the public, along with the finetuning code on the NLU tasks and the demo code.


title: Deep crustal heating for realistic compositions of thermonuclear ashes

abstract: The deep crustal heating, associated with exothermal nuclear reactions, is believed to be a key parameter for describing the thermal evolution of accreting neutron stars. In this paper, we present the first thermodynamically consistent calculations of the crustal heating for realistic compositions of thermonuclear ashes. In contrast to previous studies based on the traditional approach, we account for neutron hydrostatic/diffusion (nHD) equilibrium condition imposed by superfluidity of neutrons in a major part of the inner crust and rapid diffusion in the remaining part of the inner crust. We apply a simplified reaction network to model nuclear evolution of various multi-component thermonuclear burning ashes (superburst, KEPLER, and extreme rp-process ashes) in the outer crust and calculate the deep crustal heating energy release Q, parametrized by the pressure at the outer-inner crust interface, P_{oi}. Using the general thermodynamic arguments, we set a lower limit on Q, Q>0.13-0.2 MeV per baryon (an actual value depends on the ash composition and the employed mass model).


title: LEGOEval: An Open-Source Toolkit for Dialogue System Evaluation via Crowdsourcing

abstract: We present LEGOEval, an open-source toolkit that enables researchers to easily evaluate dialogue systems in a few lines of code using the online crowdsource platform, Amazon Mechanical Turk. Compared to existing toolkits, LEGOEval features a flexible task design by providing a Python API that maps to commonly used React.js interface components. Researchers can personalize their evaluation procedures easily with our built-in pages as if playing with LEGO blocks. Thus, LEGOEval provides a fast, consistent method for reproducing human evaluation results. Besides the flexible task design, LEGOEval also offers an easy API to review collected data.


title: AdaVQA: Overcoming Language Priors with Adapted Margin Cosine Loss

abstract: A number of studies point out that current Visual Question Answering (VQA) models are severely affected by the language prior problem, which refers to blindly making predictions based on the language shortcut. Some efforts have been devoted to overcoming this issue with delicate models. However, there is no research to address it from the angle of the answer feature space learning, despite of the fact that existing VQA methods all cast VQA as a classification task. Inspired by this, in this work, we attempt to tackle the language prior problem from the viewpoint of the feature space learning. To this end, an adapted margin cosine loss is designed to discriminate the frequent and the sparse answer feature space under each question type properly. As a result, the limited patterns within the language modality are largely reduced, thereby less language priors would be introduced by our method. We apply this loss function to several baseline models and evaluate its effectiveness on two VQA-CP benchmarks. Experimental results demonstrate that our adapted margin cosine loss can greatly enhance the baseline models with an absolute performance gain of 15\% on average, strongly verifying the potential of tackling the language prior problem in VQA from the angle of the answer feature space learning.


title: exoplanet: Gradient-based probabilistic inference for exoplanet data & other astronomical time series

abstract: "exoplanet" is a toolkit for probabilistic modeling of astronomical time series data, with a focus on observations of exoplanets, using PyMC3 (Salvatier et al., 2016). PyMC3 is a flexible and high-performance model-building language and inference engine that scales well to problems with a large number of parameters. "exoplanet" extends PyMC3's modeling language to support many of the custom functions and probability distributions required when fitting exoplanet datasets or other astronomical time series. While it has been used for other applications, such as the study of stellar variability, the primary purpose of "exoplanet" is the characterization of exoplanets or multiple star systems using time-series photometry, astrometry, and/or radial velocity. In particular, the typical use case would be to use one or more of these datasets to place constraints on the physical and orbital parameters of the system, such as planet mass or orbital period, while simultaneously taking into account the effects of stellar variability.


title: Rare Disease Identification from Clinical Notes with Ontologies and Weak Supervision

abstract: The identification of rare diseases from clinical notes with Natural Language Processing (NLP) is challenging due to the few cases available for machine learning and the need of data annotation from clinical experts. We propose a method using ontologies and weak supervision. The approach includes two steps: (i) Text-to-UMLS, linking text mentions to concepts in Unified Medical Language System (UMLS), with a named entity linking tool (e.g. SemEHR) and weak supervision based on customised rules and Bidirectional Encoder Representations from Transformers (BERT) based contextual representations, and (ii) UMLS-to-ORDO, matching UMLS concepts to rare diseases in Orphanet Rare Disease Ontology (ORDO). Using MIMIC-III US intensive care discharge summaries as a case study, we show that the Text-to-UMLS process can be greatly improved with weak supervision, without any annotated data from domain experts. Our analysis shows that the overall pipeline processing discharge summaries can surface rare disease cases, which are mostly uncaptured in manual ICD codes of the hospital admissions.


title: Instantons with Quantum Core

abstract: We consider new instantons that appear as a result of accounting for quantum fluctuations. These fluctuations naturally regularize the O(4) singular solutions abandoned in Coleman's theory. In the previous works [3,4] we showed how new instantons modify the widely accepted picture of false vacuum decay in two particular examples of exactly solvable potentials. Here we generalize our consideration to arbitrary potentials and provide a general theory of these new instantons with quantum cores in which vacuum fluctuations dominate. We develop a method that allows us to determine the parameters of instantons for generic potentials not only in the thin-wall approximation but also in the cases where this approximation fails. Unlike the Coleman instantons, the instantons with quantum cores always exist in the cases where the vacuum must be unstable.

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: New probability distribution describing emergence in state space

abstract: We revisit the pairing model of state spaces with new emergent states introduced in J. Phys. A: Math. Theor. 51 375002, 2018. We facilitate our analysis by introducing a simplified pairing model consisting of balls able to form pairs but without any internal structure. For both the simplified and the original model we compute exactly the probability distribution for observing a state with $n_p$ pairs. We show this distribution satisfies a large deviation principle with speed $n \ln(n)$. We present closed form expressions for a variety of statistical quantities including moments and marginal distributions.


title: Instance segmentation of fallen trees in aerial color infrared imagery using active multi-contour evolution with fully convolutional network-based intensity priors

abstract: In this paper, we introduce a framework for segmenting instances of a common object class by multiple active contour evolution over semantic segmentation maps of images obtained through fully convolutional networks. The contour evolution is cast as an energy minimization problem, where the aggregate energy functional incorporates a data fit term, an explicit shape model, and accounts for object overlap. Efficient solution neighborhood operators are proposed, enabling optimization through metaheuristics such as simulated annealing. We instantiate the proposed framework in the context of segmenting individual fallen stems from high-resolution aerial multispectral imagery. We validated our approach on 3 real-world scenes of varying complexity. The test plots were situated in regions of the Bavarian Forest National Park, Germany, which sustained a heavy bark beetle infestation. Evaluations were performed on both the polygon and line segment level, showing that the multi-contour segmentation can achieve up to 0.93 precision and 0.82 recall. An improvement of up to 7 percentage points (pp) in recall and 6 in precision compared to an iterative sample consensus line segment detection was achieved. Despite the simplicity of the applied shape parametrization, an explicit shape model incorporated into the energy function improved the results by up to 4 pp of recall. Finally, we show the importance of using a deep learning based semantic segmentation method as the basis for individual stem detection. Our method is a step towards increased accessibility of automatic fallen tree mapping, due to higher cost efficiency of aerial imagery acquisition compared to laser scanning. The precise fallen tree maps could be further used as a basis for plant and animal habitat modeling, studies on carbon sequestration as well as soil quality in forest ecosystems.


title: Predictive landscapes hidden beneath biological cellular automata

abstract: To celebrate Hans Frauenfelder's achievements, we examine energy(-like) "landscapes" for complex living systems. Energy landscapes summarize all possible dynamics of some physical systems. Energy(-like) landscapes can explain some biomolecular processes, including gene expression and, as Frauenfelder showed, protein folding. But energy-like landscapes and existing frameworks like statistical mechanics seem impractical for describing many living systems. Difficulties stem from living systems being high dimensional, nonlinear, and governed by many, tightly coupled constituents that are noisy. The predominant modeling approach is devising differential equations that are tailored to each living system. This ad hoc approach faces the notorious "parameter problem": models have numerous nonlinear, mathematical functions with unknown parameter values, even for describing just a few intracellular processes. One cannot measure many intracellular parameters or can only measure them as snapshots in time. Another modeling approach uses cellular automata to represent living systems as discrete dynamical systems with binary variables. Quantitative (Hamiltonian-based) rules can dictate cellular automata (e.g., Cellular Potts Model). But numerous biological features, in current practice, are qualitatively described rather than quantitatively (e.g., gene is (highly) expressed or not (highly) expressed). Cellular automata governed by verbal rules are useful representations for living systems and can mitigate the parameter problem. However, they can yield complex dynamics that are difficult to understand because much of the existing mathematical tools and theorems apply to continuous but not discrete dynamical systems. Recent studies found ways to overcome this challenge by discovering a predictive "landscape" that yield low-dimensional representations of cellular automata dynamics. We review these studies.

categories: q-bio.QM nlin.CG nlin.PS physics.bio-ph q-bio.CB


title: Classification of irreducible integrable modules for extended affine Lie algebras with center acting trivially

abstract: We classify the irreducible integrable modules for the twisted toroidal extended affine Lie algebras with fnite diemnsional weight spaces where the fnite dimensional center acts trivially. We have proved that the entire central extension part acts trivially on the modules and our modules turn out to be highest weight modules.


title: Contrastive Learning and Self-Training for Unsupervised Domain Adaptation in Semantic Segmentation

abstract: Deep convolutional neural networks have considerably improved state-of-the-art results for semantic segmentation. Nevertheless, even modern architectures lack the ability to generalize well to a test dataset that originates from a different domain. To avoid the costly annotation of training data for unseen domains, unsupervised domain adaptation (UDA) attempts to provide efficient knowledge transfer from a labeled source domain to an unlabeled target domain. Previous work has mainly focused on minimizing the discrepancy between the two domains by using adversarial training or self-training. While adversarial training may fail to align the correct semantic categories as it minimizes the discrepancy between the global distributions, self-training raises the question of how to provide reliable pseudo-labels. To align the correct semantic categories across domains, we propose a contrastive learning approach that adapts category-wise centroids across domains. Furthermore, we extend our method with self-training, where we use a memory-efficient temporal ensemble to generate consistent and reliable pseudo-labels. Although both contrastive learning and self-training (CLST) through temporal ensembling enable knowledge transfer between two domains, it is their combination that leads to a symbiotic structure. We validate our approach on two domain adaptation benchmarks: GTA5 $\rightarrow$ Cityscapes and SYNTHIA $\rightarrow$ Cityscapes. Our method achieves better or comparable results than the state-of-the-art. We will make the code publicly available.


title: Optimal Pricing in Multi Server Systems

abstract: We study optimal service pricing in server farms where customers arrive according to a renewal process and have independent and identical ($i.i.d.$) exponential service times and $i.i.d.$ valuations of the service. The service provider charges a time varying service fee aiming at maximizing its revenue rate. The customers that find free servers and service fees lesser than their valuation join for the service else they leave without waiting. We consider both finite server and infinite server farms. We solve the optimal pricing problems using the framework of Markov decision problems. We show that the optimal prices depend on the number of free servers. We propose algorithms to compute the optimal prices. We also establish several properties of the optimal prices and the corresponding revenue rates in the case of Poisson customer arrivals. We illustrate all our findings via numerical results.


title: Prompt acceleration of the $\mu^+$ beam in a donut wakefield driven by a shaped Laguerre-Gaussian laser pulse

abstract: The recent experimental data of anomalous magnetic moments strongly indicate the existence of new physics beyond the standard model. An energetic $\mu^+$ beam is a potential option to the expected neutrino factories, the future muon colliders and the $\mu$SR(the spin rotation, resonance and relaxation) technology. It is proposed a prompt acceleration scheme of the $\mu^+$ beam in a donut wakefield driven by a shaped Laguerre-Gaussian (LG) laser pulse. The forward part of the donut wakefield can accelerate and also focus positive particle beams effectively. The LG laser is shaped by a near-critical-density plasma. The shaped LG laser has the shorter rise time and can enlarge the acceleration field. The acceleration field driven by a shaped LG laser pulse is six times higher than that driven by a normal LG laser pulse. The simulation results show that the $ \mu^+$ bunch can be accelerated from $200\mathrm{MeV}$ to 2GeV and the transversal size of the $\mu^+$ bunch is also focused from initial $\omega_0=5\mu m$ to $\omega=1\mu m$ within several picoseconds.


title: Improved Singleton bound on insertion-deletion codes and optimal constructions

abstract: Insertion-deletion codes (insdel codes for short) play an important role in synchronization error correction. The higher the minimum insdel distance, the more insdel errors the code can correct. Haeupler and Shahrasbi established the Singleton bound for insdel codes: the minimum insdel distance of any $[n,k]$ linear code over $\mathbb{F}_q$ satisfies $d\leq2n-2k+2.$ There have been some constructions of insdel codes through Reed-Solomon codes with high capabilities, but none has come close to this bound. Recently, Do Duc {\it et al.} showed that the minimum insdel distance of any $[n,k]$ Reed-Solomon code is no more than $2n-2k$ if $q$ is large enough compared to the code length $n$; optimal codes that meet the new bound were also constructed explicitly. The contribution of this paper is twofold. We first show that the minimum insdel distance of any $[n,k]$ linear code over $\mathbb{F}_q$ satisfies $d\leq2n-2k$ if $n>k>1$. This result improves and generalizes the previously known results in the literature. We then give a sufficient condition under which the minimum insdel distance of a two-dimensional Reed-Solomon code of length $n$ over $\mathbb{F}_q$ is exactly equal to $2n-4$. As a consequence, we show that the sufficient condition is not hard to achieve; we explicitly construct an infinite family of optimal two-dimensional Reed-Somolom codes meeting the bound.


title: Impedance Matching to Axion Dark Matter: Considerations of the Photon-Electron Interaction

abstract: We introduce the concept of impedance matching to axion dark matter by posing the question of why axion detection is difficult, even though there is enough power in each square meter of incident dark-matter flux to energize a LED light bulb. By quantifying backreaction on the axion field, we show that a small axion-photon coupling does not by itself prevent an order-unity fraction of the dark matter from being absorbed through optimal impedance match. We further show, in contrast, that the electromagnetic charges and the self-impedance of their coupling to photons provide the principal constraint on power absorption integrated across a search band. Using the equations of axion electrodynamics, we demonstrate stringent limitations on absorbed power in linear, time-invariant, passive receivers. Our results yield fundamental constraints, arising from the photon-electron interaction, on improving integrated power absorption beyond the cavity haloscope technique. The analysis also has significant practical implications, showing apparent tension with the sensitivity projections for a number of planned axion searches. We additionally provide a basis for more accurate signal power calculations and calibration models, especially for receivers using multi-wavelength open configurations such as dish antennas and dielectric haloscopes.


title: Closed-loop recycling of rare liquid samples for gas-phase experiments

abstract: Many samples of current interest in molecular physics and physical chemistry exist in the liquid phase and are vaporized for the use in gas cells, diffuse gas targets or molecular gas jets. For some of these techniques the large sample consumption is a limiting factor. When rare, expensive molecules, such as chiral molecules or species with isotopic labels are used, wasting them in the exhaust line of the pumps is a quite expensive and inefficient approach. Therefore, we developed a closed-loop recycling system for molecules with vapor pressures below atmospheric pressure. Once filled, only a few valves have to be opened or closed and a cold trap must be moved. The recycling efficiency per turn exceeds 95 %.


title: Space-time multilevel quadrature methods and their application for cardiac electrophysiology

abstract: We present a novel approach which aims at high-performance uncertainty quantification for cardiac electrophysiology simulations. Employing the monodomain equation to model the transmembrane potential inside the cardiac cells, we evaluate the effect of spatially correlated perturbations of the heart fibers on the statistics of the resulting quantities of interest. Our methodology relies on a close integration of multilevel quadrature methods, parallel iterative solvers and space-time finite element discretizations, allowing for a fully parallelized framework in space, time and stochastics. Extensive numerical studies are presented to evaluate convergence rates and to compare the performance of classical Monte Carlo methods such as standard Monte Carlo (MC) and quasi-Monte Carlo (QMC), as well as multilevel strategies, i.e. multilevel Monte Carlo (MLMC) and multilevel quasi-Monte Carlo (MLQMC) on hierarchies of nested meshes. Finally, we employ a recently suggested variant of the multilevel approach for non-nested meshes to deal with a realistic heart geometry.


title: Instanton Worldlines in Five-Dimensional $\Omega$-Deformed Gauge Theory

abstract: We discuss the Bosonic sector of a class of supersymmetric non-Lorentzian five-dimensional gauge field theories with an $SU(1,3)$ conformal symmetry. These actions have a Lagrange multiplier which imposes a novel $\Omega$-deformed anti-self-dual gauge field constraint. Using a generalised 't Hooft ansatz we find the constraint equation linearizes allowing us to construct a wide class of explicit solutions. These include finite action configurations that describe worldlines of anti-instantons which can be created and annihilated. We also describe the dynamics on the constraint surface.


title: A note on sign of a self-dual representation

abstract: D. Prasad showed that the sign of a self-dual representation of a finite or $p$-adic reductive group is often detected by a central element. We study the extension of his results to some more general situations and make some observations about the consequences of his results.


title: Real-time Multi-Adaptive-Resolution-Surfel 6D LiDAR Odometry using Continuous-time Trajectory Optimization

abstract: Simultaneous Localization and Mapping (SLAM) is an essential capability for autonomous robots, but due to high data rates of 3D LiDARs real-time SLAM is challenging. We propose a real-time method for 6D LiDAR odometry. Our approach combines a continuous-time B-Spline trajectory representation with a Gaussian Mixture Model (GMM) formulation to jointly align local multi-resolution surfel maps. Sparse voxel grids and permutohedral lattices ensure fast access to map surfels, and an adaptive resolution selection scheme effectively speeds up registration. A thorough experimental evaluation shows the performance of our approach on multiple datasets and during real-robot experiments.


title: Adiabatic Quantum Computing for Solving the Weapon-Target Assignment Problem

abstract: Quantum computing promises significant improvements of computation capabilities in various fields such as machine learning and complex optimization problems. Recent technological advancements suggest that the adiabatic quantum computing ansatz may soon see practical applications. In this work, we adopt this computation paradigm to develop a quantum computation based solver of the well-known weapon target assignment problem, an NP-hard nonlinear integer programming optimization task. The feasibility of the presented model is demonstrated by numerical simulation of the adiabatic evolution of a system of quantum bits towards the optimal solution encoded in the model Hamiltonian. Over all, the described method is not limited to the context of weapon management but is, with slight modifications to the model Hamiltonian, applicable to worker-task allocation optimization in general.


title: Adaptive sequential Monte Carlo for posterior inference and model selection among complex geological priors

abstract: Bayesian model selection enables comparison and ranking of conceptual subsurface models described by spatial prior models, according to the support provided by available geophysical data. Deep generative neural networks can efficiently encode such complex spatial priors, thereby, allowing for a strong model dimensionality reduction that comes at the price of enhanced non-linearity. In this setting, we explore a recent adaptive sequential Monte Carlo (ASMC) approach that builds on Annealed Importance Sampling (AIS); a method that provides both the posterior probability density function (PDF) and the evidence (a central quantity for Bayesian model selection) through a particle approximation. Both techniques are well suited to parallel computation and rely on importance sampling over a sequence of intermediate distributions, linking the prior and the posterior PDF. Each subsequent distribution is approximated by updating the particle weights and states, compared with the previous approximation, using a small pre-defined number of Markov chain Monte Carlo (MCMC) proposal steps. Compared with AIS, the ASMC method adaptively tunes the tempering between neighboring distributions and performs resampling of particles when the variance of the particle weights becomes too large. We evaluate ASMC using two different conceptual models and associated synthetic cross-hole ground penetrating radar (GPR) tomography data. For the most challenging test case, we find that the ASMC method is faster and more reliable in locating the posterior PDF than state-of-the-art adaptive MCMC. The evidence estimates are found to be robust with respect to the choice of ASMC algorithmic variables and much less sensitive to the model proposal type than MCMC.[...]


title: Flavours of Sequential Information Flow

abstract: Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may require dynamic changes in information-flow restrictions between their states. We formalize several flavours of sequential information-flow, which cover different assumptions about the semantic relation between multiple observations of a system. Information-flow specification falls into the category of hyperproperties. We define different variants of sequential information-flow specification using a first-order logic with both trace quantifiers and temporal quantifiers called Hypertrace Logic. We prove that HyperLTL, equivalent to a subset of Hypertrace Logic with restricted quantifier prefixes, cannot specify the majority of the studied two-state independence variants. For our results, we introduce a notion of equivalence between sets of traces that cannot be distinguished by certain classes of formulas in Hypertrace Logic. This presents a new approach to proving inexpressiveness results for logics such as HyperLTL.


title: Historical Origins of the nine-point conic -- The Contribution of Eugenio Beltrami

abstract: In this paper, we examine the evolution of a specific mathematical problem, i.e. the nine-point conic, a generalisation of the nine-point circle due to Steiner. We will follow this evolution from Steiner to the Neapolitan school (Trudi and Battaglini) and finally to the contribution of Beltrami that closed this journey, at least from a mathematical point of view (scholars of elementary geometry, in fact, will continue to resume the problem from the second half of the 19th to the beginning of the 20th century). We believe that such evolution may indicate the steady development of the mathematical methods from Euclidean metric to projective, and finally, with Beltrami, with the use of quadratic transformations. In this sense, the work of Beltrami appears similar to the recent (after the anticipations of Magnus and Steiner) results of Schiaparelli and Cremona. Moreover, Beltrami's methods are closely related to the study of birational transformations, which in the same period were becoming one of the main topics of algebraic geometry. Finally, our work emphasises the role played by the ninepoint conic problem in the studies of young Beltrami who, under Cremona's guidance, was then developing his mathematical skills. To this end, we make considerable use of the unedited correspondence Beltrami-Cremona, preserved in the Istituto Mazziniano, Genoa.


title: Error Analysis on the Initial State Reconstruction Problem

abstract: In this paper we propose a method to estimate the initial state of a linear dynamical system with noisy observation. The method allows the user to have estimations in real time, that is, to have a new estimation for each new observation. Moreover, at each step, the covariance matrix of the error is known and it is proved that the dynamic of the state estimator error is always Lyapunov stable. Also, %necessary and sufficient conditions are given to guarantee asymptotic stability for the error dynamics of an LTI dynamical system, which is itself an LTV system.


title: Algebraic cycles and intersections of 2 quadrics

abstract: A smooth intersection $Y$ of two quadrics in $\mathbb{P}^{2g+1}$ has Hodge level 1. We show that such varieties $Y$ have a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.


title: Constraining $1+\mathcal{J}\to 2$ coupled-channel amplitudes in finite-volume

abstract: Whether one is interested in accessing the excited spectrum of hadrons or testing the standard model of particle physics, electroweak transition processes involving multi-hadron channels in the final state play an important role in a variety of experiments. Presently the primary theoretical tool with which one can study such reactions is lattice QCD, which is defined in a finite spacetime volume. In this work, we investigate the feasibility of implementing existing finite-volume formalism in realistic lattice QCD calculation of reactions in which a stable hadron can transition to one of several two-hadron channels under the action of an external current. We provide a conceptual description of the coupled-channel transition formalism, a practical roadmap for carrying out a calculation, and an illustration of the approach using synthetic data for two non-trivial resonant toy models. The results provide a proof-of-principle that such reactions can indeed be constrained using modern-day lattice QCD calculations, motivating explicit computation in the near future.


title: The k-path vertex cover: general bounds and chordal graphs

abstract: For an integer $k\ge 3$, a $k$-path vertex cover of a graph $G=(V,E)$ is a set $T\subseteq V$ that shares a vertex with every path subgraph of order $k$ in $G$. The minimum cardinality of a $k$-path vertex cover is denoted by $\psi_k(G)$. We give estimates -- mostly upper bounds -- on $\psi_k(G)$ in terms of various parameters, including vertex degrees and the number of vertices and edges. The problem is also considered on chordal graphs and planar graphs.


title: ScissionLite: Accelerating Distributed Deep Neural Networks Using Transfer Layer

abstract: Industrial Internet of Things (IIoT) applications can benefit from leveraging edge computing. For example, applications underpinned by deep neural networks (DNN) models can be sliced and distributed across the IIoT device and the edge of the network for improving the overall performance of inference and for enhancing privacy of the input data, such as industrial product images. However, low network performance between IIoT devices and the edge is often a bottleneck. In this study, we develop ScissionLite, a holistic framework for accelerating distributed DNN inference using the Transfer Layer (TL). The TL is a traffic-aware layer inserted between the optimal slicing point of a DNN model slice in order to decrease the outbound network traffic without a significant accuracy drop. For the TL, we implement a new lightweight down/upsampling network for performance-limited IIoT devices. In ScissionLite, we develop ScissionTL, the Preprocessor, and the Offloader for end-to-end activities for deploying DNN slices with the TL. They decide the optimal slicing point of the DNN, prepare pre-trained DNN slices including the TL, and execute the DNN slices on an IIoT device and the edge. Employing the TL for the sliced DNN models has a negligible overhead. ScissionLite improves the inference latency by up to 16 and 2.8 times when compared to execution on the local device and an existing state-of-the-art model slicing approach respectively.


title: Multi-Modal Loop Closing in Unstructured Planetary Environments with Visually Enriched Submaps

abstract: Future planetary missions will rely on rovers that can autonomously explore and navigate in unstructured environments. An essential element is the ability to recognize places that were already visited or mapped. In this work, we leverage the ability of stereo cameras to provide both visual and depth information, guiding the search and validation of loop closures from a multi-modal perspective. We propose to augment submaps that are created by aggregating stereo point clouds, with visual keyframes. Point clouds matches are found by comparing CSHOT descriptors and validated by clustering, while visual matches are established by comparing keyframes using Bag-of-Words (BoW) and ORB descriptors. The relative transformations resulting from both keyframe and point cloud matches are then fused to provide pose constraints between submaps in our graph-based SLAM framework. Using the LRU rover, we performed several tests in both an indoor laboratory environment as well as a challenging planetary analog environment on Mount Etna, Italy. These environments consist of areas where either keyframes or point clouds alone failed to provide adequate matches demonstrating the benefit of the proposed multi-modal approach.


title: A Prototype of a Compact Rubidium-Based Optical Frequency Reference for Operation on Nanosatellites

abstract: Space-borne optical frequency references based on spectroscopy of atomic vapors may serve as an integral part of compact optical atomic clocks, which can advance global navigation systems, or can be utilized for earth observation missions as part of laser systems for cold atom gradiometers. Nanosatellites offer low launch-costs, multiple deployment opportunities and short payload development cycles, enabling rapid maturation of optical frequency references and underlying key technologies in space. Towards an in-orbit demonstration on such a platform, we have developed a CubeSat-compatible prototype of an optical frequency reference based on the D2-transition in rubidium. A frequency instability of 1.7e-12 at 1 s averaging time is achieved. The optical module occupies a volume of 35 cm^3, weighs 73 g and consumes 780 mW of power.


title: Deep Multilevel Graph Partitioning

abstract: Partitioning a graph into blocks of "roughly equal" weight while cutting only few edges is a fundamental problem in computer science with a wide range of applications. In particular, the problem is a building block in applications that require parallel processing. While the amount of available cores in parallel architectures has significantly increased in recent years, state-of-the-art graph partitioning algorithms do not work well if the input needs to be partitioned into a large number of blocks. Often currently available algorithms compute highly imbalanced solutions, solutions of low quality, or have excessive running time for this case. This is because most high-quality general-purpose graph partitioners are multilevel algorithms which perform graph coarsening to build a hierarchy of graphs, initial partitioning to compute an initial solution, and local improvement to improve the solution throughout the hierarchy. However, for large number of blocks, the smallest graph in the hierarchy that is used for initial partitioning still has to be large. In this work, we substantially mitigate these problems by introducing deep multilevel graph partitioning and a shared-memory implementation thereof. Our scheme continues the multilevel approach deep into initial partitioning -- integrating it into a framework where recursive bipartitioning and direct k-way partitioning are combined such that they can operate with high performance and quality. Our approach is stronger, more flexible, arguably more elegant, and reduces bottlenecks for parallelization compared to other multilevel approaches. For example, for large number of blocks our algorithm is on average an order of magnitude faster than competing algorithms while computing balanced partitions with comparable solution quality. For small number of blocks, our algorithms are the fastest among competing systems with comparable quality.


title: Interactive Static Software Performance Analysis in the IDE

abstract: Detecting performance issues due to suboptimal code during the development process can be a daunting task, especially when it comes to localizing them after noticing performance degradation after deployment. Static analysis has the potential to provide early feedback on performance problems to developers without having to run profilers with expensive (and often unavailable) performance tests. We develop a VSCode tool that integrates the static performance analysis results from Infer via code annotations and decorations (surfacing complexity analysis results in context) and side panel views showing details and overviews (enabling explainability of the results). Additionally, we design our system for interactivity to allow for more responsiveness to code changes as they happen. We evaluate the efficacy of our tool by measuring the overhead that the static performance analysis integration introduces in the development workflow. Further, we report on a case study that illustrates how our system can be used to reason about software performance in the context of a real performance bug in the ElasticSearch open-source project. Demo video: https://www.youtube.com/watch?v=-GqPb_YZMOs Repository: https://github.com/ipa-lab/vscode-infer-performance


title: Registration-based model reduction of parameterized two-dimensional conservation laws

abstract: We propose a nonlinear registration-based model reduction procedure for rapid and reliable solution of parameterized two-dimensional steady conservation laws. This class of problems is challenging for model reduction techniques due to the presence of nonlinear terms in the equations and also due to the presence of parameter-dependent discontinuities that cannot be adequately represented through linear approximation spaces. Our approach builds on a general (i.e., independent of the underlying equation) registration procedure for the computation of a mapping $\Phi$ that tracks moving features of the solution field and on an hyper-reduced least-squares Petrov-Galerkin reduced-order model for the rapid and reliable computation of the solution coefficients. The contributions of this work are twofold. First, we investigate the application of registration-based methods to two-dimensional hyperbolic systems. Second, we propose a multi-fidelity approach to reduce the offline costs associated with the construction of the parameterized mapping and the reduced-order model. We discuss the application to an inviscid supersonic flow past a parameterized bump, to illustrate the many features of our method and to demonstrate its effectiveness.


title: Slip behavior during pressure driven flow of Laponite suspension

abstract: We investigate pressure driven pipe flow of Laponite suspension, as a model thixotropic fluid. The tendency of the suspension to age is controlled by addition of sodium chloride salt to vary the ionic strength. We use a syringe pump to prescribe the flow and observe that a steady state flow is obtained. Unusually, the steady state pressure drop required to maintain a constant flow rate decreases with an increase in the flow rate, in qualitative contrast to the expectation for Poiseuille flow. We demonstrate that experimental results obtained by varying the flow rate, salt concentration, and flow geometry (pipe diameter and length) can be collapsed onto a single universal curve that can be rationalized by invoking slip of the suspension at the tube walls. The Laponite suspension exhibits plug-like flow, yielding at the tube walls. Our results suggest that the slip length varies linearly with the flow rate and inversely with the tube diameter.


title: Entanglement degradation in multi-event horizon spacetimes

abstract: We investigate the degradation of quantum entanglement in the Schwarzschild-de Sitter black hole spacetime, by studying the mutual information and the logarithmic negativity for maximally entangled, bipartite states for massless minimal scalar fields. This spacetime is endowed with a black hole as well as a cosmological event horizon, giving rise to particle creation at two different temperatures. We consider two independent descriptions of thermodynamics and particle creation in this background. The first involves thermal equilibrium of an observer with either of the horizons. We show that as of the asymptotically flat/anti-de Sitter black holes, in this case the entanglement or correlation degrades with increasing Hawking temperatures. The second treats both the horizons combined in order to define a total entropy and an effective equilibrium temperature. We present a field theoretic derivation of this effective temperature and show that unlike the usual cases, the particle creation does not occur here in causally disconnected spacetime wedges but instead in a single region. Using the associated vacua, we show that in this scenario the entanglement never degrades but increases with increasing black hole temperature and holds true no matter how hot the black hole becomes or how small the cosmological constant is. We argue that this phenomenon can have no analogue in the asymptotically flat/anti-de Sitter black hole spacetimes.


title: Non-Autoregressive vs Autoregressive Neural Networks for System Identification

abstract: The application of neural networks to non-linear dynamic system identification tasks has a long history, which consists mostly of autoregressive approaches. Autoregression, the usage of the model outputs of previous time steps, is a method of transferring a system state between time steps, which is not necessary for modeling dynamic systems with modern neural network structures, such as gated recurrent units (GRUs) and Temporal Convolutional Networks (TCNs). We compare the accuracy and execution performance of autoregressive and non-autoregressive implementations of a GRU and TCN on the simulation task of three publicly available system identification benchmarks. Our results show, that the non-autoregressive neural networks are significantly faster and at least as accurate as their autoregressive counterparts. Comparisons with other state-of-the-art black-box system identification methods show, that our implementation of the non-autoregressive GRU is the best performing neural network-based system identification method, and in the benchmarks without extrapolation, the best performing black-box method.


title: Photon-momentum-induced molecular dynamics in photoionization of N$_2$ at $h\nu=40$ keV

abstract: We investigate K-shell ionization of N$_2$ at 40 keV photon energy. Using a COLTRIMS reaction microscope we determine the vector momenta of the photoelectron, the Auger electron and both N$^+$ fragments. These fully differential data show that the dissociation process of the N$_2^{2+}$ ion is significantly modified not only by the recoil momentum of the photoelectron, but also by the photon momentum and the momentum of the emitted Auger electron. We find that the recoil energy introduced by the photon and the photoelectron momentum is partitioned with a ratio of approximately 30/70 between the Auger electron and fragment ion kinetic energies, respectively. We also observe that the photon momentum induces an additional rotation of the molecular ion.


title: Unlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen Payments

abstract: To address known privacy problems with the EMV standard, EMVCo have proposed a Blinded Diffie-Hellman key establishment protocol, which is intended to be part of a future 2nd Gen EMV protocol. We point out that active attackers were not previously accounted for in the privacy requirements of this proposal protocol, and demonstrate that an active attacker can compromise unlinkability within a distance of 100cm. Here, we adopt a strong definition of unlinkability that does account for active attackers and propose an enhancement of the protocol proposed by EMVCo. We prove that our protocol does satisfy strong unlinkability, while preserving authentication.


title: Inverse probability of censoring weighting for visual predictive checks of time-to-event models with time-varying covariates

abstract: When constructing models to summarize clinical data to be used for simulations, it is good practice to evaluate the models for their capacity to reproduce the data. This can be done by means of Visual Predictive Checks (VPC), which consist of (1) several reproductions of the original study by simulation from the model under evaluation, (2) calculating estimates of interest for each simulated study and (3) comparing the distribution of those estimates with the estimate from the original study. This procedure is a generic method that is straightforward to apply, in general. Here we consider the application of the method to time to event data and consider the special case when a time-varying covariate is not known or cannot be approximated after event time. In this case, simulations cannot be conducted beyond the end of the follow-up time (event or censoring time) in the original study. Thus, the simulations must be censored at the end of the follow-up time. Since this censoring is not random, the standard KM estimates from the simulated studies and the resulting VPC will be biased. We propose to use inverse probability of censoring weighting (IPoC) method to correct the KM estimator for the simulated studies and obtain unbiased VPCs. For analyzing the Cantos study, the IPoC weighting as described here proved valuable and enabled the generation of VPCs to qualify PKPD models for simulations. Here, we use a generated data set, which allows illustration of the different situations and evaluation against the known truth.


title: Don't forget your classics: Systematizing 45 years of Ancestry for Security API Usability Recommendations

abstract: Producing secure software is challenging. The poor usability of security APIs makes this even harder. Many recommendations have been proposed to support developers by improving the usability of cryptography libraries and APIs; rooted in wider best practice guidance in software engineering and API design. In this SLR, we systematize knowledge regarding these recommendations. We identify and analyze 65 papers spanning 45 years, offering a total of 883 recommendations.We undertake a thematic analysis to identify 7 core ways to improve usability of APIs. We find that most of the recommendations focus on helping API developers to construct and structure their code and make it more usable and easier for programmers to understand. There is less focus, however, on documentation, writing requirements, code quality assessment and the impact of organizational software development practices. By tracing and analyzing paper ancestry, we map how this knowledge becomes validated and translated over time.We find evidence that less than a quarter of all API usability recommendations are empirically validated, and that recommendations specific to usable security APIs lag even further behind in this regard.


title: Casimir energy with chiral fermions on a quantum computer

abstract: In this paper we discuss the computation of Casimir energy on a quantum computer. The Casimir energy is an ideal quantity to calculate on a quantum computer as near term hybrid classical quantum algorithms exist to calculate the ground state energy and the Casimir energy gives physical implications for this quantity in a variety of settings. Depending on boundary conditions and whether the field is bosonic or fermionic we illustrate how the Casimir energy calculation can be set up on a quantum computer and calculated using the Variational Quantum Eigensolver algorithm with IBM QISKit. We compare the results based on a lattice regularization with a finite number of qubits with the continuum calculation for free boson fields, free fermion fields and chiral fermion fields. We use a regularization method introduced by Bergman and Thorn to compute the Casimir energy of a chiral fermion. We show how the accuracy of the calculation varies with the number of qubits. We show how the number of Pauli terms which are used to represent the Hamiltonian on a quantum computer scales with the number of qubits. We discuss the application of the Casimir calculations on quantum computers to cosmology, nanomaterials, string models, Kaluza Klein models and dark energy.