title: Semantics Disentangling for Text-to-Image Generation

abstract: Synthesizing photo-realistic images from text descriptions is a challenging problem. Previous studies have shown remarkable progresses on visual quality of the generated images. In this paper, we consider semantics from the input text descriptions in helping render photo-realistic images. However, diverse linguistic expressions pose challenges in extracting consistent semantics even they depict the same thing. To this end, we propose a novel photo-realistic text-to-image generation model that implicitly disentangles semantics to both fulfill the high-level semantic consistency and low-level semantic diversity. To be specific, we design (1) a Siamese mechanism in the discriminator to learn consistent high-level semantics, and (2) a visual-semantic embedding strategy by semantic-conditioned batch normalization to find diverse low-level semantics. Extensive experiments and ablation studies on CUB and MS-COCO datasets demonstrate the superiority of the proposed method in comparison to state-of-the-art methods.


title: An Embedding Lemma in Soft Topological Spaces

abstract: In 1999, Molodtsov initiated the concept of Soft Sets Theory as a new mathematical tool and a completely different approach for dealing with uncertainties in many fields of applied sciences. In 2011, Shabir and Naz introduced and studied the theory of soft topological spaces, also defining and investigating many new soft properties as generalization of the classical ones. In this paper, we introduce the notions of soft separation between soft points and soft closed sets in order to obtain a generalization of the well-known Embedding Lemma for soft topological spaces.


title: The strength of compactness for countable complete linear orders

abstract: We investigate the statement "the order topology of every countable complete linear order is compact" in the framework of reverse mathematics, and we find that the statement's strength depends on the precise formulation of compactness. If we require that open covers must be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $\mathsf{WKL}_0$ over $\mathsf{RCA}_0$. If open covers need not be uniformly expressible as unions of basic open sets, then the compactness of complete linear orders is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. This answers a question of Fran\c{c}ois Dorais.


title: Multiphase gas flows in the nearby Seyfert galaxy ESO428-G14

abstract: We present ALMA rest-frame 230 GHz continuum and CO(2-1) line observations of the nearby Compton-thick Seyfert galaxy ESO428-G14, with angular resolution 0.7 arcsec (78 pc). We detect CO(2-1) emission from spiral arms and a circum-nuclear ring with 200 pc radius, and from a transverse gas lane with size of $\sim100$ pc, which crosses the nucleus and connects the two portions the circumnuclear ring. The molecular gas in the host galaxy is distributed in a rotating disk with intrinsic circular velocity $v_{rot}=135$ km/s, inclination $i=57$ deg, and dynamical mass $M_{dyn }=5\times 10^9~\rm M_{\odot}$ within a radius of $\sim 1$ kpc. In the inner 100 pc region CO is distributed in a equatorial bar, whose kinematics is highly perturbed and consistent with an inflow of gas towards the AGN. This inner CO bar overlaps with the most obscured, Compton-thick region seen in X-rays. We derive a column density of $\rm N(H_2) \approx 2\times10^{23}~ cm^{-2}$ in this region, suggesting that molecular gas may contribute significantly to the AGN obscuration. We detect a molecular outflow with a total outflow rate $\rm \dot M_{of}\approx 0.8~M_{\odot}/yr$, distributed along a bi-conical structure with size of $700$ pc on both sides of the AGN. The bi-conical outflow is also detected in the $\rm H_2$ emission line at 2.12 $\mu$m, which traces a warmer nuclear outflow located within 170 pc from the AGN. This suggests that the outflow cools with increasing distance from the AGN. We find that the hard X-ray emitting nuclear region mapped with Chandra is CO-deprived, but filled with warm molecular gas traced by $\rm H_2$ - thus confirming that the hard (3-6 keV) continuum and Fe K$\alpha$ emission are due to scattering from dense neutral clouds in the ISM.


title: Are Query-Based Ontology Debuggers Really Helping Knowledge Engineers?

abstract: Real-world semantic or knowledge-based systems, e.g., in the biomedical domain, can become large and complex. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their practical success. Correspondingly, a number of knowledge base debugging approaches, in particular for ontology-based systems, were proposed throughout recent years. Query-based debugging is a comparably recent interactive approach that localizes the true cause of an observed problem by asking knowledge engineers a series of questions. Concrete implementations of this approach exist, such as the OntoDebug plug-in for the ontology editor Prot\'eg\'e. To validate that a newly proposed method is favorable over an existing one, researchers often rely on simulation-based comparisons. Such an evaluation approach however has certain limitations and often cannot fully inform us about a method's true usefulness. We therefore conducted different user studies to assess the practical value of query-based ontology debugging. One main insight from the studies is that the considered interactive approach is indeed more efficient than an alternative algorithmic debugging based on test cases. We also observed that users frequently made errors in the process, which highlights the importance of a careful design of the queries that users need to answer.


title: Alternative Scoring Method of Pleurisy in Slaughtered Pigs: Preliminary Investigations

abstract: The slaughterhouse is very useful in monitoring the health status of livestock, the profitability of their breeding and the effectiveness of therapeutic and/or prophylactic strategies. Over the years, a number of methods have been developed to quantify lesions - especially those effecting the respiratory tract, observed in slaughtered animals. Among these is the "Slaughterhouse Pleurisy Evaluation System" (SPES), which is widely used to score pleural lesions caused by Actinobacillus pleuropneumoniae. The aim of the present study is to develop and assess an alternative method to score pleurisy in slaughtered pigs, based on the inspection of the parietal pleura. This method has been compared with the SPES grid, which is considered as the "gold standard" in this field of study. Preliminary data indicate that the two methods provide almost overlapping results, showing very high correlation coefficients. Scoring pleurisy on the parietal pleura proved to be fast and easy, it could represent a valuable alternative to the SPES method.


title: Unveiling phase transitions with machine learning

abstract: The classification of phase transitions is a central and challenging task in condensed matter physics. Typically, it relies on the identification of order parameters and the analysis of singularities in the free energy and its derivatives. Here, we propose an alternative framework to identify quantum phase transitions, employing both unsupervised and supervised machine learning techniques. Using the axial next-nearest neighbor Ising (ANNNI) model as a benchmark, we show how unsupervised learning can detect three phases (ferromagnetic, paramagnetic, and a cluster of the antiphase with the floating phase) as well as two distinct regions within the paramagnetic phase. Employing supervised learning we show that transfer learning becomes possible: a machine trained only with nearest-neighbour interactions can learn to identify a new type of phase occurring when next-nearest-neighbour interactions are introduced. All our results rely on few and low dimensional input data (up to twelve lattice sites), thus providing a computational friendly and general framework for the study of phase transitions in many-body systems.


title: Electromagnetic Aspects of Practical Approaches to Realization of Intelligent Metasurfaces

abstract: We thoroughly investigate the electromagnetic response of intelligent functional metasurfaces. We study two distinct designs operating at different frequency regimes, namely, a switch-fabric-based design for GHz frequencies and a graphene-based approach for THz band, and discuss the respective practical design considerations. The performance for tunable perfect absorption applications is assessed in both cases.


title: Nonlinear perturbations from axion-gauge fields dynamics during inflation

abstract: We study a variant of the Chromo-Natural Inflation (CNI) mechanism in which the inflaton interacts only gravitationally with the CNI fields. Integrating out all the non-dynamical scalar fields of the model results in a coupling between the perturbations of the inflaton and of the CNI pseudo-scalar which is significantly greater than the one obtained in the absence of the gauge CNI dynamics. We compute how this greater coupling impacts the power spectrum of the inflaton perturbations that are sourced nonlinearly by the unstable (tensor) gauge CNI modes, and we require that the amplitude of these modes is well below that of the linear perturbations. Combining this result with various constraints, including backreaction effects, the requirement of having observable and dominant sourced gravitational waves (GW), and the current upper bound on the tensor-to-scalar ratio, significantly constrains the range of parameter space where this model can produce an interesting GW signal.


title: Ground state photon number at large distance

abstract: The purpose of this article is to give a result of localization in space of the ground states photons, in some sense, of a Hamiltonian modelling nuclear magnetic resonance in quantum electrodynamics. The asymptotics at infinity obtained for the density of the number of photons around x is the power -5 of the distance of x to the particles. Moreover, the number of photons at large distance is smallest in the ground state total mean spin direction.


title: Synthetic learner: model-free inference on treatments over time

abstract: Understanding the effect of a particular treatment or a policy pertains to many areas of interest, ranging from political economics, marketing to healthcare. In this paper, we develop a non-parametric algorithm for detecting the effects of treatment over time in the context of Synthetic Controls. The method builds on counterfactual predictions from many algorithms without necessarily assuming that the algorithms correctly capture the model. We introduce an inferential procedure for detecting treatment effects and show that the testing procedure is asymptotically valid for stationary, beta mixing processes without imposing any restriction on the set of base algorithms under consideration. We discuss consistency guarantees for average treatment effect estimates and derive regret bounds for the proposed methodology. The class of algorithms may include Random Forest, Lasso, or any other machine-learning estimator. Numerical studies and an application illustrate the advantages of the method.


title: Statistical testing in a Linear Probability Space

abstract: Imagine that you could calculate of posttest probabilities, i.e. Bayes theorem with simple addition. This is possible if we stop thinking of probabilities as ranging from 0 to 1.0. There is a naturally occurring linear probability space when data are transformed into the logarithm of the odds ratio (log10 odds). In this space, probabilities are replaced by W (Weight) where W=log10(probability/(1-probability)). I would like to argue the multiple benefits of performing statistical testing in a linear probability space: 1) Statistical testing is accurate in linear probability space but not in other spaces. 2) Effect size is called Impact (I) and is the difference in means between two treatments (I=Wmean2-Wmean1). 3) Bayes theorem is simply Wposttest=Wpretest+Itest. 4) Significance (p value) is replaced by Certainty (C) which is the W of the p value. Methods to transform data into and out of linear probability space are described.


title: Description of the mass-asymmetric fission of the Pt isotopes, obtained in the reaction $^{36}$Ar + $^{142}$Nd within the two-stage fusion-fission model

abstract: The two stages dynamical stochastic model developed earlier for description of fusion-fission reactions is applied to the calculation of mass- and energy-distributions of fission fragments of platinum isotopes in reaction ${\rm ^{36}Ar + ^{142}Nd \to ^{178-x}Pt + xn}$. The first stage of this model is the calculation of the approaching of projectile nucleus to the target nucleus. On the second stage of the model, the evolution of the system formed after the touching of the projectile and target nuclei is considered. The evolution of the system on both stages is described by three-dimensional Langevin equations for the shape parameters of the system. The mutual orientation of the colliding ions and tunneling through the Coulomb barrier in the entrance channel are also taken into account. The potential energy of the system is calculated within the macroscopic-microscopic approach. The calculated mass-energy distributions of fission fragments are compared with the available experimental data. The impact of shell effects, rotation of the system and neutron evaporation on the calculated results is discussed.


title: New ITEM response models: application to school bullying data

abstract: School bullying victimization is a variable that cannot be measured directly. Taking into account that this variable has a lower bound, given by the absence of bullying victimization, this paper proposes IRT logistic models, where the latent parameter ranges from $0$ to $\infty$ or from $0$ to a positive real number R, defining the IRT parameters and proposing an empirical anchor procedure. As the academic abilities and the school bullying victimization can be explained due to associated factors such as habits, sex, socioeconomic level and education level of parents, IRT regression models are proposed to make joint inferences about individual and school characteristic effects. Results from the application of the proposed models to the Bogot\'a school bullying dataset are presented. The need for testing based in statistical models increases in different fields.


title: Linearity of Data and Linear Probability Space

abstract: Some data is linearly additive, other data is not. In this paper, I discuss types of data based on the boundedness of the data and their linearity. 1) Unbounded data can be linear. 2) One-side bounded data is usually log transformed to be linear. 3) Two-side bounded data is not linear. 4) Untidy data do not fit in these categories. An example of two-sided bounded data is probabilities which should be transformed into a linear probability space by taking the logarithm of the odds ratio (log10 odds) which is termed Weight (W). Calculations of means and standard deviation is more accurate when calculated as W values than when calculated as probabilities. A methods to analyze untidy data is discussed.


title: Slow Mixing of Glauber Dynamics for the Six-Vertex Model in the Ordered Phases

abstract: The six-vertex model in statistical physics is a weighted generalization of the ice model on $\mathbb{Z}^2$ (i.e., Eulerian orientations) and the zero-temperature three-state Potts model (i.e., proper three-colorings). The phase diagram of the model depicts its physical properties and suggests where local Markov chains will be efficient. In this paper, we analyze the mixing time of Glauber dynamics for the six-vertex model in the ordered phases. Specifically, we show that for all Boltzmann weights in the ferroelectric phase, there exist boundary conditions such that local Markov chains require exponential time to converge to equilibrium. This is the first rigorous result bounding the mixing time of Glauber dynamics in the ferroelectric phase. Our analysis demonstrates a fundamental connection between correlated random walks and the dynamics of intersecting lattice path models (or routings). We analyze the Glauber dynamics for the six-vertex model with free boundary conditions in the antiferroelectric phase and significantly extend the region for which local Markov chains are known to be slow mixing. This result relies on a Peierls argument and novel properties of weighted non-backtracking walks.


title: The game chromatic index of trees of maximum degree 4 with at most three degree-four vertices in a row

abstract: Fong et al. (The game chromatic index of some trees with maximum degree four and adjacent degree-four vertices, J. Comb Optim 36 (2018) 1-12) proved that the game chromatic index of any tree $T$ of maximum degree 4 whose degree-four vertices induce a forest of paths of length $l$ less than 2 is at most 5. In this paper, we show that the bound 5 is also valid for $l\leq 2$. This partially solves the problem of characterization of the trees whose game chromatic index exceeds the maximum degree by at most 1, which was proposed by Cai and Zhu (Game chromatic index of $k$-degenerate graphs, J. Graph Theory 36 (2001) 144-155).


title: Air Taxi Skyport Location Problem for Airport Access

abstract: Witnessing the rapid progress and accelerated commercialization made in recent years for the introduction of air taxi services in near future across metropolitan cities, our research focuses on one of the most important consideration for such services, i.e., infrastructure planning (also known as skyports). We consider design of skyport locations for air taxis accessing airports, where we present the skyport location problem as a modified single-allocation p-hub median location problem integrating choice-constrained user mode choice behavior into the decision process. Our approach focuses on two alternative objectives i.e., maximizing air taxi ridership and maximizing air taxi revenue. The proposed models in the study incorporate trade-offs between trip length and trip cost based on mode choice behavior of travelers to determine optimal choices of skyports in an urban city. We examine the sensitivity of skyport locations based on two objectives, three air taxi pricing strategies, and varying transfer times at skyports. A case study of New York City is conducted considering a network of 149 taxi zones and 3 airports with over 20 million for-hire-vehicles trip data to the airports to discuss insights around the choice of skyport locations in the city, and demand allocation to different skyports under various parameter settings. Results suggest that a minimum of 9 skyports located between Manhattan, Queens and Brooklyn can adequately accommodate the airport access travel needs and are sufficiently stable against transfer time increases. Findings from this study can help air taxi providers strategize infrastructure design options and investment decisions based on skyport location choices.


title: Theta divisors and Ulrich bundles on Geometrically ruled surfaces

abstract: We consider the following question: for which invariants $g$ and $e$ is there a geometrically ruled surface $S \rightarrow C$ over a curve $C$ of genus $g$ with invariant $e$ such that $S$ is the support of an Ulrich line bundle with respect to a very ample line bundle? A surprising relation between the existence of certain proper Theta divisors on some moduli spaces of vector bundles on $C$ with the existence of Ulrich line bundles on $S$ will be the key to completely solve the above question. The relation is realized by translating the vanishing conditions characterizing Ulrich line bundles to specific geometric conditions on the symmetric powers of the defining vector bundle of a given ruled surface. This general principle leads to some finer existence results of Ulrich line bundles in particular cases. Another focus is on the rank two case where, with very few exceptions, we show the existence of large families of special Ulrich bundles on arbitrary polarized ruled surfaces.


title: On the Existence of a Fixed Spectrum for a Multi-channel Linear System: A Matroid Theory Approach

abstract: Conditions for the existence of a fixed spectrum \{i.e., the set of fixed modes\} for a multi-channel linear system have been known for a long time. The aim of this paper is to reestablish one of these conditions using a new and transparent approach based on matroid theory.


title: Neural Vector Conceptualization for Word Vector Space Interpretation

abstract: Distributed word vector spaces are considered hard to interpret which hinders the understanding of natural language processing (NLP) models. In this work, we introduce a new method to interpret arbitrary samples from a word vector space. To this end, we train a neural model to conceptualize word vectors, which means that it activates higher order concepts it recognizes in a given vector. Contrary to prior approaches, our model operates in the original vector space and is capable of learning non-linear relations between word vectors and concepts. Furthermore, we show that it produces considerably less entropic concept activation profiles than the popular cosine similarity.


title: Guided Super-Resolution as Pixel-to-Pixel Transformation

abstract: Guided super-resolution is a unifying framework for several computer vision tasks where the inputs are a low-resolution source image of some target quantity (e.g., perspective depth acquired with a time-of-flight camera) and a high-resolution guide image from a different domain (e.g., a grey-scale image from a conventional camera); and the target output is a high-resolution version of the source (in our example, a high-res depth map). The standard way of looking at this problem is to formulate it as a super-resolution task, i.e., the source image is upsampled to the target resolution, while transferring the missing high-frequency details from the guide. Here, we propose to turn that interpretation on its head and instead see it as a pixel-to-pixel mapping of the guide image to the domain of the source image. The pixel-wise mapping is parametrised as a multi-layer perceptron, whose weights are learned by minimising the discrepancies between the source image and the downsampled target image. Importantly, our formulation makes it possible to regularise only the mapping function, while avoiding regularisation of the outputs; thus producing crisp, natural-looking images. The proposed method is unsupervised, using only the specific source and guide images to fit the mapping. We evaluate our method on two different tasks, super-resolution of depth maps and of tree height maps. In both cases, we clearly outperform recent baselines in quantitative comparisons, while delivering visually much sharper outputs.


title: Quantum advantage with noisy shallow circuits in 3D

abstract: Prior work has shown that there exists a relation problem which can be solved with certainty by a constant-depth quantum circuit composed of geometrically local gates in two dimensions, but cannot be solved with high probability by any classical constant depth circuit composed of bounded fan-in gates. Here we provide two extensions of this result. Firstly, we show that a separation in computational power persists even when the constant-depth quantum circuit is restricted to geometrically local gates in one dimension. The corresponding quantum algorithm is the simplest we know of which achieves a quantum advantage of this type. It may also be more practical for future implementations. Our second, main result, is that a separation persists even if the shallow quantum circuit is corrupted by noise. We construct a relation problem which can be solved with near certainty using a noisy constant-depth quantum circuit composed of geometrically local gates in three dimensions, provided the noise rate is below a certain constant threshold value. On the other hand, the problem cannot be solved with high probability by a noise-free classical circuit of constant depth. A key component of the proof is a quantum error-correcting code which admits constant-depth logical Clifford gates and single-shot logical state preparation. We show that the surface code meets these criteria. To this end, we provide a protocol for single-shot logical state preparation in the surface code which may be of independent interest.


title: On the Complexity of Reachability in Parametric Markov Decision Processes

abstract: This paper studies parametric Markov decision processes (pMDPs), an extension to Markov decision processes (MDPs) where transitions probabilities are described by polynomials over a finite set of parameters. Fixing values for all parameters yields MDPs. In particular, this paper studies the complexity of finding values for these parameters such that the induced MDP satisfies some reachability constraints. We discuss different variants depending on the comparison operator in the constraints and the domain of the parameter values. We improve all known lower bounds for this problem, and notably provide ETR-completeness results for distinct variants of this problem. Furthermore, we provide insights in the functions describing the induced reachability probabilities, and how pMDPs generalise concurrent stochastic reachability games.


title: Smart Home Wireless Sensor Nodes Addressing the Challenges using Smart Objects and Artificial Intelligence

abstract: Smart homes are further development of intelligent buildings and home automation, where context awareness and autonomous behaviour are added. They are based on a combination of the Internet and emerging technologies like wireless sensor nodes. These wireless sensor nodes are challenging because they consume battery power, they use network bandwidth, and they produce wireless interferences. Currently, different methods exist for handling these challenges. These methods are, however, based on adjusting the transmitter frequency and using duty-cycling in combination with sleep mode approaches. This paper introduces an approach that considerably lowers the wireless sensor node power consumption and the amount of transmitted sensor events. It uses smart objects that include artificial intelligence to efficiently process the sensor event on location and thereby saves the costly wireless transportation of these events. In this paper it has been shown that this approach provides huge savings of power consumption and network load, which in turn reduces the interference level


title: Structural Completeness of a Multi-channel Linear System with Dependent Parameters

abstract: It is well known that the "fixed spectrum" {i.e., the set of fixed modes} of a multi-channel linear system plays a central role in the stabilization of such a system with decentralized control. A parameterized multi-channel linear system is said to be "structurally complete" if it has no fixed spectrum for almost all parameter values. Necessary and sufficient algebraic conditions are presented for a multi-channel linear system with dependent parameters to be structurally complete. An equivalent graphical condition is also given for a certain type of parameterization.


title: Spin pumping and spin torque in interfacial tailored Co2FeAl/\b{eta}-Ta layers

abstract: The Heusler ferromagnetic (FM) compound Co2FeAl interfaced with a high-spin orbit coupling non-magnetic (NM) layer is a promising candidate for energy efficient spin logic circuits. The circuit potential depends on the strength of angular momentum transfer across the FM/NM interface; hence, requiring low spin memory loss and high spin-mixing conductance. To highlight this issue, spin pumping and spin-transfer torque ferromagnetic resonance measurements have been performed on Co_2FeAl/\beta-Ta heterostructures tailored with Cu interfacial layers. The interface tailored structure yields an enhancement of the effective spin-mixing conductance. The interface transparency and spin memory loss corrected values of the spin-mixing conductance, spin Hall angle and spin diffusion length are found to be 3.40 \pm 0.01 \times 10^{19} m^{-2}, 0.029 \pm 0.003, and 2.3 \pm 0.5 nm, respectively. Furthermore, a high current modulation of the effective damping of around 2.1 % has been achieved at an applied current density of 1 \times 10^9 A/m^2 , which clearly indicates the potential of using this heterostructure for energy efficient control in spin devices


title: On the Detection of Supermassive Primordial Stars. II. Blue Supergiants

abstract: Supermassive primordial stars in hot, atomically-cooling haloes at $z \sim$ 15 - 20 may have given birth to the first quasars in the universe. Most simulations of these rapidly accreting stars suggest that they are red, cool hypergiants, but more recent models indicate that some may have been bluer and hotter, with surface temperatures of 20,000 - 40,000 K. These stars have spectral features that are quite distinct from those of cooler stars and may have different detection limits in the near infrared (NIR) today. Here, we present spectra and AB magnitudes for hot, blue supermassive primordial stars calculated with the TLUSTY and CLOUDY codes. We find that photometric detections of these stars by the James Webb Space Telescope (JWST) will be limited to $z \lesssim$ 10 - 12, lower redshifts than those at which red stars can be found, because of quenching by their accretion envelopes. With moderate gravitational lensing, Euclid and the Wide-Field Infrared Space Telescope (WFIRST) could detect blue supermassive stars out to similar redshifts in wide-field surveys.


title: Detection of LDDoS Attacks Based on TCP Connection Parameters

abstract: Low-rate application layer distributed denial of service (LDDoS) attacks are both powerful and stealthy. They force vulnerable webservers to open all available connections to the adversary, denying resources to real users. Mitigation advice focuses on solutions that potentially degrade quality of service for legitimate connections. Furthermore, without accurate detection mechanisms, distributed attacks can bypass these defences. A methodology for detection of LDDoS attacks, based on characteristics of malicious TCP flows, is proposed within this paper. Research will be conducted using combinations of two datasets: one generated from a simulated network, the other from the publically available CIC DoS dataset. Both contain the attacks slowread, slowheaders and slowbody, alongside legitimate web browsing. TCP flow features are extracted from all connections. Experimentation was carried out using six supervised AI algorithms to categorise attack from legitimate flows. Decision trees and k-NN accurately classified up to 99.99% of flows, with exceptionally low false positive and false negative rates, demonstrating the potential of AI in LDDoS detection.


title: FEAFA: A Well-Annotated Dataset for Facial Expression Analysis and 3D Facial Animation

abstract: Facial expression analysis based on machine learning requires large number of well-annotated data to reflect different changes in facial motion. Publicly available datasets truly help to accelerate research in this area by providing a benchmark resource, but all of these datasets, to the best of our knowledge, are limited to rough annotations for action units, including only their absence, presence, or a five-level intensity according to the Facial Action Coding System. To meet the need for videos labeled in great detail, we present a well-annotated dataset named FEAFA for Facial Expression Analysis and 3D Facial Animation. One hundred and twenty-two participants, including children, young adults and elderly people, were recorded in real-world conditions. In addition, 99,356 frames were manually labeled using Expression Quantitative Tool developed by us to quantify 9 symmetrical FACS action units, 10 asymmetrical (unilateral) FACS action units, 2 symmetrical FACS action descriptors and 2 asymmetrical FACS action descriptors, and each action unit or action descriptor is well-annotated with a floating point number between 0 and 1. To provide a baseline for use in future research, a benchmark for the regression of action unit values based on Convolutional Neural Networks are presented. We also demonstrate the potential of our FEAFA dataset for 3D facial animation. Almost all state-of-the-art algorithms for facial animation are achieved based on 3D face reconstruction. We hence propose a novel method that drives virtual characters only based on action unit value regression of the 2D video frames of source actors.


title: Solid Propellants

abstract: Solid propellants are energetic materials used to launch and propel rockets and missiles. Although their history dates to the use of black powder more than two millennia ago, greater performance demands and the need for "insensitive munitions" that are resistant to accidental ignition have driven much research and development over the past half-century. The focus of this review is the material aspects of propellants, rather than their performance, with an emphasis on the polymers that serve as binders for oxidizer particles and as fuel for composite propellants. The prevalent modern binders are discussed along with a discussion of the limitations of state-of-the-art modeling of composite motors.


title: On base loci of higher fundamental forms of toric varieties

abstract: We study the base locus of the higher fundamental forms of a projective toric variety $X$ at a general point. More precisely we consider the closure $X$ of the image of a map $({\mathbb C}^*)^k\to {\mathbb P}^n$, sending $t$ to the vector of Laurent monomials with exponents $p_0,\dots,p_n\in {\mathbb Z}^k$. We prove that the $m$-th fundamental form of such an $X$ at a general point has non empty base locus if and only if the points $p_i$ lie on a suitable degree-$m$ affine hypersurface. We then restrict to the case in which the points $p_i$ are all the lattice points of a lattice polytope and we give some applications of the above result. In particular we provide a classification for the second fundamental forms on toric surfaces, and we also give some new examples of weighted $3$-dimensional projective spaces whose blowing up at a general point is not Mori dream.


title: On the Stability of Periodic Traveling Waves for the Modified Kawahara Equation

abstract: In this paper, we present the first result concerning the orbital stability of periodic traveling waves for the modified Kawahara equation. Our method is based on the Fourier expansion of the periodic wave in order to know the behaviour of the nonpositive spectrum of the associated linearized operator around the periodic wave combined with a recent development which significantly simplifies the obtaining of orbital stability results.


title: On mappings satisfying the inverse Poletsky inequality

abstract: We have studied the local and boundary behavior of mappings satisfying one estimate of the distortion of the modulus of families of paths. In particular, we have obtained conditions under which the families of the indicated mappings are equicontinuous inside and on the boundary of a domain.


title: Data driven approximation of parametrized PDEs by Reduced Basis and Neural Networks

abstract: We are interested in the approximation of partial differential equations with a data-driven approach based on the reduced basis method and machine learning. We suppose that the phenomenon of interest can be modeled by a parametrized partial differential equation, but that the value of the physical parameters is unknown or difficult to be directly measured. Our method allows to estimate fields of interest, for instance temperature of a sample of material or velocity of a fluid, given data at a handful of points in the domain. We propose to accomplish this task with a neural network embedding a reduced basis solver as exotic activation function in the last layer. The reduced basis solver accounts for the underlying physical phenomenonon and it is constructed from snapshots obtained from randomly selected values of the physical parameters during an expensive offline phase. The same full order solutions are then employed for the training of the neural network. As a matter of fact, the chosen architecture resembles an asymmetric autoencoder in which the decoder is the reduced basis solver and as such it does not contain trainable parameters. The resulting latent space of our autoencoder includes parameter-dependent quantities feeding the reduced basis solver, which -- depending on the considered partial differential equation -- are the values of the physical parameters themselves or the affine decomposition coefficients of the differential operators.


title: Diffractive imaging of dissociation and ground state dynamics in a complex molecule

abstract: We have investigated the structural dynamics in photoexcited 1,2-diiodotetrafluoroethane molecules (C2F4I2) in the gas phase experimentally using ultrafast electron diffraction and theoretically using FOMO-CASCI excited state dynamics simulations. The molecules are excited by an ultra-violet femtosecond laser pulse to a state characterized by a transition from the iodine 5p orbital to a mixed 5p|| hole and CF2 antibonding orbital, which results in the cleavage of one of the carbon-iodine bonds. We have observed, with sub-Angstrom resolution, the motion of the nuclear wavepacket of the dissociating iodine atom followed by coherent vibrations in the electronic ground state of the C2F4I radical. The radical reaches a stable classical (non-bridged) structure in less than 200 fs.


title: Nearly Sasakian manifolds revisited

abstract: We provide a new, self-contained and more conceptual proof of the result that an almost contact metric manifold of dimension greater than 5 is Sasakian if and only if it is nearly Sasakian.


title: Convergence rates for the stochastic gradient descent method for non-convex objective functions

abstract: We prove the local convergence to minima and estimates on the rate of convergence for the stochastic gradient descent method in the case of not necessarily globally convex nor contracting objective functions. In particular, the results are applicable to simple objective functions arising in machine learning.


title: Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343

abstract: Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning raises serious issues of security, safety, loss of comfort or revenue. During operation, these systems will likely need to deal with several unpredictable situations including variations in system performance, sudden changes in system workload and component failures. These situations can cause deviation from the desired system behaviour and require dynamic adaptation of the system behaviour, parameters or architecture. Through using closed-loop control, typically realized with software, intelligent and autonomous software systems can dynamically adapt themselves, without any or with limited human involvement, by identifying abnormal situations, analysing alternative adaptation options, and finally, self-adapting to a suitable new configuration. This report summarises the research carried out during SEfIAS GI Dagstuhl seminar which provided a forum for strengthening interaction and collaboration for early-career researchers and practitioners from the research communities of SEAMS, ICAC/ICCAC, SASO, Self-Aware Computing and AAMAS.


title: Quasi-normal Modes of Static Spherically Symmetric Black Holes in $f(R)$ Theory

abstract: We study the quasi-normal modes (QNMs) of static, spherically symmetric black holes in $f(R)$ theories. We show how these modes in theories with non-trivial $f(R)$ are fundamentally different from those in General Relativity. In the special case of $f(R) = \alpha R^2$ theories, it has been recently argued that iso-spectrality between scalar and vector modes breaks down. Here, we show that such a break down is quite general across all $f(R)$ theories, as long as they satisfy $f''(0)/(1+f''(0)) \neq 0$, where a prime denotes derivative of the function with respect to its argument. We specifically discuss the origin of the breaking of isospectrality. We also show that along with this breaking the QNMs receive a correction that arises when $f''(0)/(1+f'(0)) \neq 0$ owing to the inhomogeneous term that it introduces in the mode equation. We discuss how these differences affect the "ringdown" phase of binary black hole mergers and the possibility of constraining $f(R)$ models with gravitational-wave observations. We also find that even though the iso-spectrality is broken in $f(R)$ theories, in general, nevertheless in the corresponding scalar-tensor theories in the Einstein frame it is unbroken.


title: Belousov-Zhabotinsky liquid marbles in robot control

abstract: We show how to control the movement of a wheeled robot using on-board liquid marbles made of Belousov-Zhabotinsky solution droplets coated with polyethylene powder. Two stainless steel, iridium coated electrodes were inserted in a marble and the electrical potential recorded was used to control the robot's motor. We stimulated the marble with a laser beam. It responded to the stimulation by pronounced changes in the electrical potential output. The electrical output was detected by robot. The robot was changing its trajectory in response to the stimulation. The results open new horizons for applications for oscillatory chemical reactions in robotics.


title: Finite Strain Homogenization Using a Reduced Basis and Efficient Sampling

abstract: The computational homogenization of hyperelastic solids in the geometrically nonlinear context has yet to be treated with sufficient efficiency in order to allow for real-world applications in true multiscale settings. This problem is addressed by a problem-specific surrogate model founded on a reduced basis approximation of the deformation gradient on the microscale. The setup phase is based upon a snapshot POD on deformation gradient fluctuations, in contrast to the widespread displacement-based approach. In order to reduce the computational offline costs, the space of relevant macroscopic stretch tensors is sampled efficiently by employing the Hencky strain. Numerical results show speed-up factors in the order of 5-100 and significantly improved robustness while retaining good accuracy. An open-source demonstrator tool with 50 lines of code emphasizes the simplicity and efficiency of the method.


title: Efficient quantum and simulated annealing of Potts models using a half-hot constraint

abstract: The Potts model is a generalization of the Ising model with $Q>2$ components. In the fully connected ferromagnetic Potts model, a first-order phase transition is induced by varying thermal fluctuations. Therefore, the computational time required to obtain the ground states by simulated annealing exponentially increases with the system size. This study analytically confirms that the transverse magnetic-field quantum annealing induces a first-order phase transition. This result implies that quantum annealing does not exponentially accelerate the ground-state search of the ferromagnetic Potts model. To avoid the first-order phase transition, we propose an iterative optimization method using a half-hot constraint that is applicable to both quantum and simulated annealing. In the limit of $Q \to \infty$, a saddle point equation under the half-hot constraint is identical to the equation describing the behavior of the fully connected ferromagnetic Ising model, thus confirming a second-order phase transition. Furthermore, we verify the same relation between the fully connected Potts glass model and the Sherrington--Kirkpatrick model under assumptions of static approximation and replica symmetric solution. The proposed method is expected to obtain low-energy states of the Potts models with high efficiency using Ising-type computers such as the D-Wave quantum annealer and the Fujitsu Digital Annealer.


title: Deriving models for the Kitaev spin-liquid candidate material $\alpha$-RuCl$_3$ from first principles

abstract: We use the constrained random phase approximation (cRPA) to derive from first principles the Ru-$t_{2g}$ Wannier function based model for the Kitaev spin-liquid candidate material $\alpha$-RuCl$_3$. We find the non-local Coulomb repulsion to be sizable compared to the local one. In addition we obtain the contribution to the Hamiltonian from the spin-orbit coupling and find it to also contain non-negligible non-local terms. We invoke strong coupling perturbation theory to investigate the influence of these non-local elements of the Coulomb repulsion and the spin-orbit coupling on the magnetic interactions. We find that the non-local Coulomb repulsions cause a strong enhancement of the magnetic interactions, which deviate from experimental fits reported in the literature. Our results contribute to the understanding and design of quantum spin liquid materials via first principles calculations.


title: Direction Selection in Stochastic Directional Distance Functions

abstract: Researchers rely on the distance function to model multiple product production using multiple inputs. A stochastic directional distance function (SDDF) allows for noise in potentially all input and output variables. Yet, when estimated, the direction selected will affect the functional estimates because deviations from the estimated function are minimized in the specified direction. The set of identified parameters of a parametric SDDF can be narrowed via data-driven approaches to restrict the directions considered. We demonstrate a similar narrowing of the identified parameter set for a shape constrained nonparametric method, where the shape constraints impose standard features of a cost function such as monotonicity and convexity. Our Monte Carlo simulation studies reveal significant improvements, as measured by out of sample radial mean squared error, in functional estimates when we use a directional distance function with an appropriately selected direction. From our Monte Carlo simulations we conclude that selecting a direction that is approximately orthogonal to the estimated function in the central region of the data gives significantly better estimates relative to the directions commonly used in the literature. For practitioners, our results imply that selecting a direction vector that has non-zero components for all variables that may have measurement error provides a significant improvement in the estimator's performance. We illustrate these results using cost and production data from samples of approximately 500 US hospitals per year operating in 2007, 2008, and 2009, respectively, and find that the shape constrained nonparametric methods provide a significant increase in flexibility over second order local approximation parametric methods.


title: A new bifurcation in the Universe

abstract: We show that the combined system of general relativity with a non minimally coupled electromagnetic field presents a bifurcation in a cosmical framework driven by a cosmological constant. In the same framework we show the existence of states such that the resulting combined energy (the sum of the minimally and the non minimally coupled energy momentum tensor of the electromagnetic field) vanishes in a sort of violation of the action-reaction principle.


title: On the Security of Password-Authenticated Quantum Key Exchange

abstract: Motivated by the Quantum Key Distribution (QKD) protocol, introduced in 1984 in the seminal paper of Bennett and Brassard, we investigate in this paper the achievability of unconditionally secure password-authenticated quantum key exchange (quantum PAKE), where the authentication is implemented by the means of human-memorable passwords. We first show a series of impossibility results forbidding the achievement of very strong security, leaving open the feasibility of achieving a weaker security notion. We then answer this open question positively by presenting a construction for quantum PAKE that provably achieves everlasting security in the simulation-based model. Everlasting security is a security notion introduced by M\"uller-Quade and Unruh in 2007, which implies unconditional security after the execution of the protocol and only reduces the power of the adversary to be computational during the execution of the protocol, which seems quite a reasonable assumption for nowadays practical use-cases.


title: New results for the Oseen problem with applications to the Navier-Stokes equations in exterior domains

abstract: We prove new existence and uniqueness results in full Sobolev spaces for the steady-state Oseen problem in a smooth exterior domain of $\mathbb{R}^n$, $n\ge 2$. These results are then employed, on the one hand, in the study of analogous properties for the corresponding (linear) time-periodic case and, on the other hand and more significantly, to prove analogous properties for their nonlinear counterpart, at least for small data.


title: Scale-invariant spin dynamics and the quantum limits of field sensing

abstract: We describe quantum limits to field sensing that relate noise, geometry and measurement duration to fundamental constants, with no reference to particle number. We cast the Tesche and Clarke (TC) bound on dc-SQUID sensitivity as such a limit, and find analogous limits for volumetric spin-precession magnetometers. We describe how randomly-arrayed spins, coupled to an external magnetic field of interest and to each other by the magnetic dipole-dipole interaction, execute a spin dynamics that depolarizes the spin ensemble even in the absence of coupling to an external reservoir. We show the resulting spin dynamics are scale invariant, with a depolarization rate proportional to spin number density and thus a number-independent quantum limit on the energy resolution per bandwidth $E_R$. Numerically, we find $E_R \ge \alpha \hbar$, $\alpha \sim 1$, in agreement with the TC limit, for paradigmatic spin-based measurements of static and oscillating magnetic fields.


title: Front-end ASIC for Spectroscopic Readout of Virtual Frisch-Grid CZT Bar Sensors

abstract: Compact multi-channel radiation detectors rely on low noise front-end application specific integrated circuits (ASICs) to achieve high spectral resolution. Here, a new ASIC developed to readout virtual Frisch-grid cadmium zinc telluride (VFG CZT) detectors for gamma ray spectroscopy is presented. Corresponding to each ionizing event in the detector, the ASIC measures the amplitude and timing at the anode, the cathode and four pad sense electrodes associated with each sensor in a detector array. The ASIC is comprised of 52 channels of which there are 4 cathode channels and 48 channels which can be configured as either anode channels with a baseline of 250 mV or pad sense channels to process induced signals with a baseline of 1.2 V. With a static power dissipation of 3 mW, each channel performs low-noise charge amplification, high-order shaping, peak and timing detection along with analog storage and multiplexing. The overall channel linearity was better than $\pm$ 1 % with timing resolution down to 700 ps for charges greater than 8 fC in the 3 MeV range. With a 4 x 4 array of 6 mm x 6 mm x 20 mm virtual Frisch-grid bar sensors connected and biased, an electronic resolution of $\approx$ 270 rms $e^{-}$ for charges up to 100 fC in the 3.2 MeV range was measured. Spectral measurements obtained with the 3D correction technique demonstrated resolutions of 1.8 % FWHM at 238 keV and 0.9 % FWHM at 662 keV.


title: A Constrained Transport Method for the Solution of the Resistive Relativistic MHD Equations

abstract: We describe a novel Godunov-type numerical method for solving the equations of resistive relativistic magnetohydrodynamics. In the proposed approach, the spatial components of both magnetic and electric fields are located at zone interfaces and are evolved using the constrained transport formalism. Direct application of Stokes' theorem to Faraday's and Ampere's laws ensures that the resulting discretization is divergence-free for the magnetic field and charge-conserving for the electric field. Hydrodynamic variables retain, instead, the usual zone-centred representation commonly adopted in finite-volume schemes. Temporal discretization is based on Runge-Kutta implicit-explicit (IMEX) schemes in order to resolve the temporal scale disparity introduced by the stiff source term in Ampere's law. The implicit step is accomplished by means of an improved and more efficient Newton-Broyden multidimensional root-finding algorithm. The explicit step relies on a multidimensional Riemann solver to compute the line-averaged electric and magnetic fields at zone edges and it employs a one-dimensional Riemann solver at zone interfaces to update zone-centred hydrodynamic quantities. For the latter, we introduce a five-wave solver based on the frozen limit of the relaxation system whereby the solution to the Riemann problem can be decomposed into an outer Maxwell solver and an inner hydrodynamic solver. A number of numerical benchmarks demonstrate that our method is superior in stability and robustness to the more popular charge-conserving divergence cleaning approach where both primary electric and magnetic fields are zone-centered. In addition, the employment of a less diffusive Riemann solver noticeably improves the accuracy of the computations.


title: Rating Reliability and Bias in News Articles: Does AI Assistance Help Everyone?

abstract: With the spread of false and misleading information in current news, many algorithmic tools have been introduced with the aim of assessing bias and reliability in written content. However, there has been little work exploring how effective these tools are at changing human perceptions of content. To this end, we conduct a study with 654 participants to understand if algorithmic assistance improves the accuracy of reliability and bias perceptions, and whether there is a difference in the effectiveness of the AI assistance for different types of news consumers. We find that AI assistance with feature-based explanations improves the accuracy of news perceptions. However, some consumers are helped more than others. Specifically, we find that participants who read and share news often on social media are worse at recognizing bias and reliability issues in news articles than those who do not, while frequent news readers and those familiar with politics perform much better. We discuss these differences and their implication to offer insights for future research.


title: The geometry of random walk isomorphism theorems

abstract: The classical random walk isomorphism theorems relate the local times of a continuous-time random walk to the square of a Gaussian free field. A Gaussian free field is a spin system that takes values in Euclidean space, and this article generalises the classical isomorphism theorems to spin systems taking values in hyperbolic and spherical geometries. The corresponding random walks are no longer Markovian: they are the vertex-reinforced and vertex-diminished jump processes. We also investigate supersymmetric versions of these formulas. Our proofs are based on exploiting the continuous symmetries of the corresponding spin systems. The classical isomorphism theorems use the translation symmetry of Euclidean space, while in hyperbolic and spherical geometries the relevant symmetries are Lorentz boosts and rotations, respectively. These very short proofs are new even in the Euclidean case. Isomorphism theorems are useful tools, and to illustrate this we present several applications. These include simple proofs of exponential decay for spin system correlations, exact formulas for the resolvents of the joint processes of random walks together with their local times, and a new derivation of the Sabot--Tarr\`es formula for the limiting local time of the vertex-reinforced jump process.


title: Source Camera Attribution of Multi-Format Devices

abstract: Photo Response Non-Uniformity (PRNU) based source camera attribution is an effective method to determine the origin camera of visual media (an image or a video). However, given that modern devices, especially smartphones, capture images, and videos at different resolutions using the same sensor array, PRNU attribution can become ineffective as the camera fingerprint and query visual media can be misaligned. We examine different resizing techniques such as binning, line-skipping, cropping and scaling that cameras use to downsize the raw sensor image to different media. Taking such techniques into account, this paper studies the problem of source camera attribution. We define the notion of Ratio of Alignment, which is a measure of shared sensor elements among spatially corresponding pixels within two media objects resized with different techniques. We then compute the Ratio of Alignment between the different combinations of three common resizing methods under simplified conditions and experimentally validate our analysis. Based on the insights drawn from the different techniques used by cameras and the RoA analysis, the paper proposes an algorithm for matching the source of a video with an image and vice versa. We also present an efficient search method resulting in significantly improved performance in matching as well as computation time.


title: Different Spirals of Sameness: A Study of Content Sharing in Mainstream and Alternative Media

abstract: In this paper, we analyze content sharing between news sources in the alternative and mainstream media using a dataset of 713K articles and 194 sources. We find that content sharing happens in tightly formed communities, and these communities represent relatively homogeneous portions of the media landscape. Through a mix-method analysis, we find several primary content sharing behaviors. First, we find that the vast majority of shared articles are only shared with similar news sources (i.e. same community). Second, we find that despite these echo-chambers of sharing, specific sources, such as The Drudge Report, mix content from both mainstream and conspiracy communities. Third, we show that while these differing communities do not always share news articles, they do report on the same events, but often with competing and counter-narratives. Overall, we find that the news is homogeneous within communities and diverse in between, creating different spirals of sameness.


title: Controlled self-aggregation of polymer-based nanoparticles employing shear flow and magnetic fields

abstract: Star polymers with magnetically functionalized end groups are presented as a novel polymeric system whose morphology, self-aggregation, and orientation can easily be tuned by exposing these macromolecules simultaneously to an external magnetic field and to shear forces. Our investigations are based on a specialized simulation technique which faithfully takes into account the hydrodynamic interactions of the surrounding, Newtonian solvent. We find that the combination of magnetic field (including both strength and direction) and shear rate controls the mean number of magnetic clusters, which in turn is largely responsible for the static and dynamic behavior. While some properties are similar to comparable non-magnetic star polymers, others exhibit novel phenomena; examples of the latter include the breakup and reorganization of the clusters beyond a critical shear rate, and a strong dependence of the efficiency with which shear rate is translated into whole-body rotations on the direction of the magnetic field.


title: Evidence for the two fluid scenario in solar prominences

abstract: This paper presents observational evidence of the different dynamical behavior of neutral and ionized species in solar prominences. The analysis of a time-series of Sr II 4078 A and Na D spectra in a quiescent prominence yields systematically larger Doppler shifts (line-of-sight velocities) for the ions V_LOS(Sr II)= 1.22 x V_LOS (Na D). Both lines show a 30 min oscillation of good coherence. Sixteen hours later the same prominence underwent marked morphological changes (with a rising dome), and the Sr II velocity excess drops to V_LOS(Sr II)=1.11 x V_LOS(Na D). The same excess is found for the line pair Fe II 5018 A and He I 5015 A. The widths of the ionic lines, mainly non-thermally broadened, are not related to the macro velocities. The emission ratio of Na D and Sr II, a measure of the electron density, yields n_e = 4 x 10^10 1/cm, shows no relation with the V_LOS variation or with height above the limb, and seems to be reduced 16 hr later during the active phase. We apply a new wavelength reference from aureola spectra, which is independent of photospheric velocity fields.


title: Speech denoising by parametric resynthesis

abstract: This work proposes the use of clean speech vocoder parameters as the target for a neural network performing speech enhancement. These parameters have been designed for text-to-speech synthesis so that they both produce high-quality resyntheses and also are straightforward to model with neural networks, but have not been utilized in speech enhancement until now. In comparison to a matched text-to-speech system that is given the ground truth transcripts of the noisy speech, our model is able to produce more natural speech because it has access to the true prosody in the noisy speech. In comparison to two denoising systems, the oracle Wiener mask and a DNN-based mask predictor, our model equals the oracle Wiener mask in subjective quality and intelligibility and surpasses the realistic system. A vocoder-based upper bound shows that there is still room for improvement with this approach beyond the oracle Wiener mask. We test speaker-dependence with two speakers and show that a single model can be used for multiple speakers.


title: Spatial Attentive Single-Image Deraining with a High Quality Real Rain Dataset

abstract: Removing rain streaks from a single image has been drawing considerable attention as rain streaks can severely degrade the image quality and affect the performance of existing outdoor vision tasks. While recent CNN-based derainers have reported promising performances, deraining remains an open problem for two reasons. First, existing synthesized rain datasets have only limited realism, in terms of modeling real rain characteristics such as rain shape, direction and intensity. Second, there are no public benchmarks for quantitative comparisons on real rain images, which makes the current evaluation less objective. The core challenge is that real world rain/clean image pairs cannot be captured at the same time. In this paper, we address the single image rain removal problem in two ways. First, we propose a semi-automatic method that incorporates temporal priors and human supervision to generate a high-quality clean image from each input sequence of real rain images. Using this method, we construct a large-scale dataset of $\sim$$29.5K$ rain/rain-free image pairs that covers a wide range of natural rain scenes. Second, to better cover the stochastic distribution of real rain streaks, we propose a novel SPatial Attentive Network (SPANet) to remove rain streaks in a local-to-global manner. Extensive experiments demonstrate that our network performs favorably against the state-of-the-art deraining methods.


title: Harmonic maps with free boundary from degenerating bordered Riemann surfaces

abstract: We study the blow-up analysis and qualitative behavior for a sequence of harmonic maps with free boundary from degenerating bordered Riemann surfaces with uniformly bounded energy. With the help of Pohozaev type constants associated to harmonic maps defined on degenerating collars, including vertical boundary collars and horizontal boundary collars, we establish a generalized energy identity.


title: Augmented Utilitarianism for AGI Safety

abstract: In the light of ongoing progresses of research on artificial intelligent systems exhibiting a steadily increasing problem-solving ability, the identification of practicable solutions to the value alignment problem in AGI Safety is becoming a matter of urgency. In this context, one preeminent challenge that has been addressed by multiple researchers is the adequate formulation of utility functions or equivalents reliably capturing human ethical conceptions. However, the specification of suitable utility functions harbors the risk of "perverse instantiation" for which no final consensus on responsible proactive countermeasures has been achieved so far. Amidst this background, we propose a novel socio-technological ethical framework denoted Augmented Utilitarianism which directly alleviates the perverse instantiation problem. We elaborate on how augmented by AI and more generally science and technology, it might allow a society to craft and update ethical utility functions while jointly undergoing a dynamical ethical enhancement. Further, we elucidate the need to consider embodied simulations in the design of utility functions for AGIs aligned with human values. Finally, we discuss future prospects regarding the usage of the presented scientifically grounded ethical framework and mention possible challenges.


title: An Architecture to Support the Invocation of Personal Services in Web Interactions

abstract: This paper proposes an architecture to enable Web service providers to interact with personal services. Personal services are vanilla HTTP services that are invoked from a browser, upon a request made by a service Provider, to deliver some service on the client side, i.e., on an execution environment defined by the browser's user. Personal services can be used both to handle content manipulation and presentation or to deliver request-response interactions with different goals (e.g. user authentication). Unlike plugins, that are described to service providers on each and every HTTP request, personal services are explicitly searched by service providers using a novel agent, a Broker, that works in close cooperation with each browser. We have implemented this architecture and implemented an HTTP proxy to cope with it. For demonstration purposes we show how we can use personal services for personal authentication with an electronic identification (eID) card


title: Discrete Optimization Methods for Group Model Selection in Compressed Sensing

abstract: In this article we study the problem of signal recovery for group models. More precisely for a given set of groups, each containing a small subset of indices, and for given linear sketches of the true signal vector which is known to be group-sparse in the sense that its support is contained in the union of a small number of these groups, we study algorithms which successfully recover the true signal just by the knowledge of its linear sketches. We derive model projection complexity results and algorithms for more general group models than the state-of-the-art. We consider two versions of the classical Iterative Hard Thresholding algorithm (IHT). The classical version iteratively calculates the exact projection of a vector onto the group model, while the approximate version (AM-IHT) uses a head- and a tail-approximation iteratively. We apply both variants to group models and analyse the two cases where the sensing matrix is a Gaussian matrix and a model expander matrix. To solve the exact projection problem on the group model, which is known to be equivalent to the maximum weight coverage problem, we use discrete optimization methods based on dynamic programming and Benders' Decomposition. The head- and tail-approximations are derived by a classical greedy-method and LP-rounding, respectively.


title: Weisfeiler and Leman go sparse: Towards scalable higher-order graph embeddings

abstract: Graph kernels based on the $1$-dimensional Weisfeiler-Leman algorithm and corresponding neural architectures recently emerged as powerful tools for (supervised) learning with graphs. However, due to the purely local nature of the algorithms, they might miss essential patterns in the given data and can only handle binary relations. The $k$-dimensional Weisfeiler-Leman algorithm addresses this by considering $k$-tuples, defined over the set of vertices, and defines a suitable notion of adjacency between these vertex tuples. Hence, it accounts for the higher-order interactions between vertices. However, it does not scale and may suffer from overfitting when used in a machine learning setting. Hence, it remains an important open problem to design WL-based graph learning methods that are simultaneously expressive, scalable, and non-overfitting. Here, we propose local variants and corresponding neural architectures, which consider a subset of the original neighborhood, making them more scalable, and less prone to overfitting. The expressive power of (one of) our algorithms is strictly higher than the original algorithm, in terms of ability to distinguish non-isomorphic graphs. Our experimental study confirms that the local algorithms, both kernel and neural architectures, lead to vastly reduced computation times, and prevent overfitting. The kernel version establishes a new state-of-the-art for graph classification on a wide range of benchmark datasets, while the neural version shows promising performance on large-scale molecular regression tasks.


title: A Holographic Theory for the Phase Transitions Between Fermionic Symmetry-protected Topological States

abstract: In an earlier work we developed a holographic theory for the phase transition between bosonic symmetry-protected topological (SPT) states. This paper is a continuation of it. Here we present the holographic theory for fermionic SPT phase transitions. We show that in any dimension $ d $, the critical states of fermionic SPT phase transitions has an emergent $Z_2^T$ symmetry and can be realized on the boundary of a $ d+1 $-dimensional bulk SPT with an extra $Z_2^T$ symmetry.


title: Merger of compact stars in the two-families scenario

abstract: We analyse the phenomenological implications of the two-families scenario on the merger of compact stars. That scenario is based on the coexistence of both hadronic stars and strange quark stars. After discussing the classification of the possible mergers, we turn to detailed numerical simulations of the merger of two hadronic stars, i.e., "first family" stars in which delta resonances and hyperons are present, and we show results for the threshold mass of such binaries, for the mass dynamically ejected and the mass of the disk surrounding the post-merger object. We compare these results with those obtained within the one-family scenario and we conclude that relevant signatures of the two-families scenario can be suggested, in particular: the possibility of a rapid collapse to a black hole for masses even smaller than the ones associated to GW170817; during the first milliseconds, oscillations of the postmerger remnant at frequencies higher than the ones obtained in the one-family scenario; a large value of the mass dynamically ejected and a small mass of the disk, for binaries of low total mass. Finally, based on a population synthesis analysis, we present estimates of the number of mergers for: two hadronic stars; hadronic star - strange quark star; two strange quark stars. We show that for unequal mass systems and intermediate values of the total mass, the merger of a hadronic star and a strange quark star is very likely (GW170817 has a possible interpretation into this category of mergers). On the other hand, mergers of two strange quark stars are strongly suppressed.


title: NELA-GT-2018: A Large Multi-Labelled News Dataset for The Study of Misinformation in News Articles

abstract: In this paper, we present a dataset of 713k articles collected between 02/2018-11/2018. These articles are collected directly from 194 news and media outlets including mainstream, hyper-partisan, and conspiracy sources. We incorporate ground truth ratings of the sources from 8 different assessment sites covering multiple dimensions of veracity, including reliability, bias, transparency, adherence to journalistic standards, and consumer trust. The NELA-GT-2018 dataset can be found at https://doi.org/10.7910/DVN/ULHLCB.


title: Joining bits and pieces of reionization history

abstract: Cosmic Microwave Background temperature and polarization anisotropies from Planck have estimated a lower value of the optical depth to reionization ($\tau$) compared to WMAP. A significant period in the reionization history would then fall within $6<z< 10$, where detection of galaxies with Hubble Frontier Fields program and independent estimation of neutral hydrogen in the inter galactic medium by Lyman-$\alpha$ observations are also available. This overlap allows an analysis of cosmic reionization which utilizes a direct combination of CMB and these astrophysical measurements and potentially breaks degeneracies in parameters describing the physics of reionization. For the first time we reconstruct reionization histories by assuming photo-ionization and recombination rates to be free-form and by allowing underlying cosmological parameters to vary with CMB (temperature and polarization anisotropies and lensing) data from Planck 2018 release and a compilation of astrophysical data. We find an excellent agreement between the low-$\ell$ Planck 2018 HFI polarization likelihood and astrophysical data in determining the integrated optical depth. By combining both data, we report for a minimal reconstruction $\tau=0.051^{+0.001+0.002}_{-0.0012-0.002}$ at 68\% and 95\% CL, which, for the errors in the current astrophysical measurements quoted in the literature, is nearly twice better than the projected cosmic variance limited CMB measurements. For the duration of reionization, redshift interval between 10\% and complete ionization, we get $2.9^{+0.12+0.29}_{-0.16-0.26}$ at 68\% and 95\% CL, which improves significantly on the corresponding result obtained by using Planck 2015 data. By a Bayesian analysis of the combined results we do not find evidence beyond monotonic reionization histories, therefore multi-phase reionization scenario is disfavored compared to minimal alternatives.


title: Understanding language-elicited EEG data by predicting it from a fine-tuned language model

abstract: Electroencephalography (EEG) recordings of brain activity taken while participants read or listen to language are widely used within the cognitive neuroscience and psycholinguistics communities as a tool to study language comprehension. Several time-locked stereotyped EEG responses to word-presentations -- known collectively as event-related potentials (ERPs) -- are thought to be markers for semantic or syntactic processes that take place during comprehension. However, the characterization of each individual ERP in terms of what features of a stream of language trigger the response remains controversial. Improving this characterization would make ERPs a more useful tool for studying language comprehension. We take a step towards better understanding the ERPs by fine-tuning a language model to predict them. This new approach to analysis shows for the first time that all of the ERPs are predictable from embeddings of a stream of language. Prior work has only found two of the ERPs to be predictable. In addition to this analysis, we examine which ERPs benefit from sharing parameters during joint training. We find that two pairs of ERPs previously identified in the literature as being related to each other benefit from joint training, while several other pairs of ERPs that benefit from joint training are suggestive of potential relationships. Extensions of this analysis that further examine what kinds of information in the model embeddings relate to each ERP have the potential to elucidate the processes involved in human language comprehension.


title: Pushouts and e-Projective Semimodules

abstract: Projective modules play an important role in the study of the category of modules over rings and in the characterization of various classes of rings. Several characterizations of projective objects which are equivalent for modules over rings are not necessarily equivalent for semimodules over an arbitrary semiring. We study several of these notions, in particular the e-projective semimodules introduced by the first author using his new notion of exact sequences of semimodules. As pushouts of semimodules play an important role in some of our proofs, we investigate them and give a constructive proof of their existence in a way that proved be very helpful.


title: Identifying Effective Scenarios for Sample Average Approximation

abstract: We introduce a method to improve the tractability of the well-known Sample Average Approximation (SAA) without compromising important theoretical properties, such as convergence in probability and the consistency of an independent and identically distributed (iid) sample. We consider each scenario as a polyhedron of the mix of first-stage and second-stage decision variables. According to John's theorem, the Lowner-John ellipsoid of each polyhedron will be unique which means that different scenarios will have correspondingly different Lowner-John ellipsoids. By optimizing the objective function regarding both feasible regions of the polyhedron and its unique Lowner-John ellipsoid, respectively, we obtain a pair of optimal values, which would be a coordinate on a two-dimensional plane. The scenarios, whose coordinates are close enough on the plane, will be treated as one scenario; thus our method reduces the sample size of an iid sample considerably. Instead of using a large iid sample directly, we would use the cluster of low-cost computers to calculate the coordinates of a massive number of scenarios and build a representative and significantly smaller sample to feed the solver. We show that our method will obtain the optimal solution of a very large sample without compromising the solution quality. Furthermore, our method would be implementable as a distributed computational infrastructure with many but low-cost computers.


title: A Review of Critical Infrastructure Protection Approaches: Improving Security through Responsiveness to the Dynamic Modelling Landscape

abstract: As new technologies such as the Internet of Things (IoT) are integrated into Critical National Infrastructures (CNI), new cybersecurity threats emerge that require specific security solutions. Approaches used for analysis include the modelling and simulation of critical infrastructure systems using attributes, functionalities, operations, and behaviours to support various security analysis viewpoints, recognising and appropriately managing associated security risks. With several critical infrastructure protection approaches available, the question of how to effectively model the complex behaviour of interconnected CNI elements and to configure their protection as a system-of-systems remains a challenge. Using a systematic review approach, existing critical infrastructure protection approaches (tools and techniques) are examined to determine their suitability given trends like IoT, and effective security modelling and analysis issues. It is found that empirical-based, agent-based, system dynamics-based, and network-based modelling are more commonly applied than economic-based and equation-based techniques, and empirical-based modelling is the most widely used. The energy and transportation critical infrastructure sectors reflect the most responsive sectors, and no one Critical Infrastructure Protection (CIP) approach - tool, technique, methodology or framework -- provides a fit-for-all capacity for all-round attribute modelling and simulation of security risks. Typically, deciding factors for CIP choices to adopt are often dominated by trade-offs between complexity of use and popularity of approach, as well as between specificity and generality of application in sectors.


title: Overcoming Noise in Entanglement Distribution

abstract: Noise can be considered the natural enemy of quantum information. An often implied benefit of high-dimensional entanglement is its increased resilience to noise. However, manifesting this potential in an experimentally meaningful fashion is challenging and has never been done before. In infinite dimensional spaces, discretisation is inevitable and renders the effective dimension of quantum states a tunable parameter. Owing to advances in experimental techniques and theoretical tools, we demonstrate an increased resistance to noise by identifying two pathways to exploit high-dimensional entangled states. Our study is based on two separate experiments utilising canonical spatio-temporal properties of entangled photon pairs. Following these different pathways to noise resilience, we are able to certify entanglement in the photonic orbital-angular-momentum and energy-time degrees of freedom up to noise conditions corresponding to a noise fraction of 72 % and 92 % respectively. Our work paves the way towards practical quantum communication systems that are able to surpass current noise and distance limitations, while not compromising on potential device-independence.


title: Anisotropic Keldysh interaction

abstract: We generalize the classic calculations by Rytova and Keldysh of screened Coulomb interaction in semiconductor thin films to systems with anisotropic permittivity tensor. Explicit asymptotic expressions for electrostatic potential energy of interaction in the weakly anisotropic case are found in closed analytical form. The case of strong in-plane anisotropy, however, requires evaluation of the inverse Fourier transform of $1/(k+Ak_x^2+Bk_y^2)$, which, at present, remains unresolved.


title: Learning Algorithms via Neural Logic Networks

abstract: We propose a novel learning paradigm for Deep Neural Networks (DNN) by using Boolean logic algebra. We first present the basic differentiable operators of a Boolean system such as conjunction, disjunction and exclusive-OR and show how these elementary operators can be combined in a simple and meaningful way to form Neural Logic Networks (NLNs). We examine the effectiveness of the proposed NLN framework in learning Boolean functions and discrete-algorithmic tasks. We demonstrate that, in contrast to the implicit learning in MLP approach, the proposed neural logic networks can learn the logical functions explicitly that can be verified and interpreted by human. In particular, we propose a new framework for learning the inductive logic programming (ILP) problems by exploiting the explicit representational power of NLN. We show the proposed neural ILP solver is capable of feats such as predicate invention and recursion and can outperform the current state of the art neural ILP solvers using a variety of benchmark tasks such as decimal addition and multiplication, and sorting on ordered list.


title: Active Learning for Network Intrusion Detection

abstract: Network operators are generally aware of common attack vectors that they defend against. For most networks the vast majority of traffic is legitimate. However new attack vectors are continually designed and attempted by bad actors which bypass detection and go unnoticed due to low volume. One strategy for finding such activity is to look for anomalous behavior. Investigating anomalous behavior requires significant time and resources. Collecting a large number of labeled examples for training supervised models is both prohibitively expensive and subject to obsoletion as new attacks surface. A purely unsupervised methodology is ideal; however, research has shown that even a very small number of labeled examples can significantly improve the quality of anomaly detection. A methodology that minimizes the number of required labels while maximizing the quality of detection is desirable. False positives in this context result in wasted effort or blockage of legitimate traffic and false negatives translate to undetected attacks. We propose a general active learning framework and experiment with different choices of learners and sampling strategies.


title: Telecom photon interface of solid-state quantum nodes

abstract: Solid-state spins such as nitrogen-vacancy (NV) center are promising platforms for large-scale quantum networks. Despite the optical interface of NV center system, however, the significant attenuation of its zero-phonon-line photon in optical fiber prevents the network extended to long distances. Therefore a telecom-wavelength photon interface would be essential to reduce the photon loss in transporting quantum information. Here we propose an efficient scheme for coupling telecom photon to NV center ensembles mediated by rare-earth doped crystal. Specifically, we proposed protocols for high fidelity quantum state transfer and entanglement generation with parameters within reach of current technologies. Such an interface would bring new insights into future implementations of long-range quantum network with NV centers in diamond acting as quantum nodes.


title: Analysing Mathematical Reasoning Abilities of Neural Models

abstract: Mathematical reasoning---a core ability within human intelligence---presents some unique challenges as a domain: we do not come to understand and solve mathematical problems primarily on the back of experience and evidence, but on the basis of inferring, learning, and exploiting laws, axioms, and symbol manipulation rules. In this paper, we present a new challenge for the evaluation (and eventually the design) of neural architectures and similar system, developing a task suite of mathematics problems involving sequential questions and answers in a free-form textual input/output format. The structured nature of the mathematics domain, covering arithmetic, algebra, probability and calculus, enables the construction of training and test splits designed to clearly illuminate the capabilities and failure-modes of different architectures, as well as evaluate their ability to compose and relate knowledge and learned processes. Having described the data generation process and its potential future expansions, we conduct a comprehensive analysis of models from two broad classes of the most powerful sequence-to-sequence architectures and find notable differences in their ability to resolve mathematical problems and generalize their knowledge.


title: Stability of the interface of an isotropic active fluid

abstract: We study the linear stability of an isotropic active fluid in three different geometries: a film of active fluid on a rigid substrate, a cylindrical thread of fluid, and a spherical fluid droplet. The active fluid is modeled by the hydrodynamic theory of an active nematic liquid crystal in the isotropic phase. In each geometry, we calculate the growth rate of sinusoidal modes of deformation of the interface. There are two distinct branches of growth rates; at long wavelength, one corresponds to the deformation of the interface, and one corresponds to the evolution of the liquid crystalline degrees of freedom. The passive cases of the film and the spherical droplet are always stable. For these geometries, a sufficiently large activity leads to instability. Activity also leads to propagating damped or growing modes. The passive cylindrical thread is unstable for perturbations with wavelength longer than the circumference. A sufficiently large activity can make any wavelength unstable, and again leads to propagating damped or growing modes.


title: The quantum geometric tensor from generating functions

abstract: We introduce a new method to compute the Quantum Geometric Tensor, this procedure allows us to compute the Quantum Information Metric and the Berry curvature perturbatively for a theory with an arbitrary interaction Hamiltonian. The calculation uses the generating function method, and it is illustrated with the harmonic oscillator with a linear and a quartic perturbation.


title: On the nature of the core of $\alpha$ Centauri A: the impact of the metallicity mixture

abstract: Forward asteroseismic modelling plays an important role towards a complete understanding of the physics taking place in deep stellar interiors. With a dynamical mass in the range over which models develop convective cores while in the main sequence, the solar-like oscillator $\alpha$ Centauri A presents itself as an interesting case study. We address the impact of varying the metallicity mixture on the determination of the energy transport process at work in the core of $\alpha$ Centauri A. We find that $\gtrsim$ 70$\%$ of models reproducing the revised dynamical mass of $\alpha$ Centauri A have convective cores, regardless of the metallicity mixture adopted. This is consistent with the findings of Nsamba et al., where nuclear reaction rates were varied instead. Given these results, we propose that $\alpha$ Centauri A be adopted in the calibration of stellar model parameters when modelling solar-like stars with convective cores.


title: Analyzing Learned Molecular Representations for Property Prediction

abstract: Advancements in neural machinery have led to a wide range of algorithmic solutions for molecular property prediction. Two classes of models in particular have yielded promising results: neural networks applied to computed molecular fingerprints or expert-crafted descriptors, and graph convolutional neural networks that construct a learned molecular representation by operating on the graph structure of the molecule. However, recent literature has yet to clearly determine which of these two methods is superior when generalizing to new chemical space. Furthermore, prior research has rarely examined these new models in industry research settings in comparison to existing employed models. In this paper, we benchmark models extensively on 19 public and 16 proprietary industrial datasets spanning a wide variety of chemical endpoints. In addition, we introduce a graph convolutional model that consistently matches or outperforms models using fixed molecular descriptors as well as previous graph neural architectures on both public and proprietary datasets. Our empirical findings indicate that while approaches based on these representations have yet to reach the level of experimental reproducibility, our proposed model nevertheless offers significant improvements over models currently used in industrial workflows.


title: Implications of symmetries in the scalar sector

abstract: Symmetries play a very important r\^ole in Particle Physics. In extended scalar sectors, the existence of symmetries may permit the models to comply with the experimental constraints in a natural way, and at the same time reduce the number of free parameters. There is a strong interplay among internal symmetries of the scalar potential, its CP properties and mass degeneracies of the physical scalars. Some of these aspects were discussed in this talk.


title: Dynamical system analysis at background and perturbation levels: Quintessence in severe disadvantage comparing to $\Lambda$CDM

abstract: We perform for the first time a dynamical system analysis of both the background and perturbation equations, of $\Lambda$CDM cosmology and quintessence scenario with an exponential potential. In the former case the perturbations do not change the stability of the late-time attractor of the background equations, and the system still results in the dark-energy dominated, de Sitter solution, having passed from the correct dark-matter era with $\gamma\approx6/11$. However, in the case of quintessence the incorporation of perturbations changes the stability and properties of the background evolution, and the only conditionally stable points present either an exponentially increasing matter clustering not favored by observations, or Laplacian instabilities, and thus not physically interesting. This result is a severe disadvantage of quintessence cosmology comparing to $\Lambda$CDM paradigm.


title: Duality and the well-posedness of a martingale problem

abstract: For two Polish state spaces $E_X$ and $E_Y$, and an operator $G_X$, we obtain existence and uniqueness of a $G_X$-martingale problem provided there is a bounded continuous duality function $H$ on $E_X \times E_Y$ together with a dual process $Y$ on $E_Y$ which is the unique solution of a $G_Y$-martingale problem. For the corresponding solutions $(X_t)_{t\ge 0}$ and $(Y_t)_{t\ge 0}$, duality with respect to a function $H$ in its simplest form means that the relation $\mathbb E_x[H(X_t,y)] = \mathbb E_y[H(x,Y_t)]$ holds for all $(x,y) \in E_X \times E_Y$ and $t\ge 0$. While duality is well-known to imply uniqueness of the $G_X$-martingale problem, we give here a set of conditions under which duality also implies existence without using approximating sequences of processes of a different kind (e.g.\ jump processes to approximate diffusions) which is a widespread strategy for proving existence of solutions of martingale problems. Given the process $(Y_t)_{t\ge 0}$ and a duality function $H$, to prove existence of $(X_t)_{t\ge 0}$ one has to show that the r.h.s.\ of the duality relation defines for each $y$ a measure on $E_X$, i.e.\ there are transition kernels $(\mu_t)_{t\geq 0}$ from $E_X$ to $E_X$ such that $\mathbb E_y[H(x,Y_t)] = \int \mu_t(x,dx')\, H(x',y)$ for all $(x,y) \in E_X \times E_Y$ and all $t\geq 0$. As examples, we treat resampling and branching models, such as the Fleming-Viot measure-valued diffusion and its spatial counterparts (with both, discrete and continuum space), as well as branching systems, such as Feller's branching diffusion. While our main result as well as all examples come with (locally) compact state spaces, we discuss the strategy to lift our results to genealogy-valued processes or historical processes, leading to non-compact (discrete and continuum) state spaces. Such applications will be tackled in forthcoming work based on the present article.


title: Wave-like Properties of Phasor Fields: Experimental Demonstrations

abstract: Recently, an optical meta concept called the Phasor Field (P-Field) was proposed that yields great quality in the reconstruction of hidden objects imaged by non-line-of-sight (NLOS) imaging. It is based on virtual sinusoidal modulation of the light with frequencies in the MHz range. Phasor Field propagation was shown to be described by the Rayleigh-Sommerfeld diffraction integral. We extend this concept and stress the analogy between electric field and Phasor Field. We introduce Phasor Field optical elements and present experiments demonstrating the validity of the approach. Straightforward use of the Phasor Field concept in real-world applications is also discussed.


title: Bayesian Trading Cost Analysis and Ranking of Broker Algorithms

abstract: We present a formulation of the transaction cost analysis (TCA) in the Bayesian framework for the primary purpose of comparing broker algorithms using standardized benchmarks. Our formulation allows effective calculation of the expected value of trading benchmarks with only a finite sample of data relevant to practical applications. We discuss the nature of distribution of implementation shortfall, volume-weighted average price, participation-weighted price and short-term reversion benchmarks. Our model takes into account fat tails, skewness of the distributions and heteroscedasticity of benchmarks. The proposed framework allows the use of hierarchical models to transfer approximate knowledge from a large aggregated sample of observations to a smaller sample of a particular algorithm.


title: A GPU-based multi-criteria optimization algorithm for HDR brachytherapy

abstract: Currently in HDR brachytherapy planning, a manual fine-tuning of an objective function is necessary to obtain case-specific valid plans. This study intends to facilitate this process by proposing a patient-specific inverse planning algorithm for HDR prostate brachytherapy: GPU-based multi-criteria optimization (gMCO). Two GPU-based optimization engines including simulated annealing (gSA) and a quasi-Newton optimizer (gL-BFGS) were implemented to compute multiple plans in parallel. After evaluating the equivalence and the computation performance of these two optimization engines, one preferred optimization engine was selected for the gMCO algorithm. Five hundred sixty-two previously treated prostate HDR cases were divided into validation set (100) and test set (462). In the validation set, the number of Pareto optimal plans to achieve the best plan quality was determined for the gMCO algorithm. In the test set, gMCO plans were compared with the physician-approved clinical plans. Over 462 cases, the number of clinically valid plans was 428 (92.6%) for clinical plans and 461 (99.8%) for gMCO plans. The number of valid plans with target V100 coverage greater than 95% was 288 (62.3%) for clinical plans and 414 (89.6%) for gMCO plans. The mean planning time was 9.4 s for the gMCO algorithm to generate 1000 Pareto optimal plans. In conclusion, gL-BFGS is able to compute thousands of SA equivalent treatment plans within a short time frame. Powered by gL-BFGS, an ultra-fast and robust multi-criteria optimization algorithm was implemented for HDR prostate brachytherapy. A large-scale comparison against physician approved clinical plans showed that treatment plan quality could be improved and planning time could be significantly reduced with the proposed gMCO algorithm.


title: Learning and Generalisation of Primitives Skills Towards Robust Dual-arm Manipulation

abstract: Robots are becoming a vital ingredient in society. Some of their daily tasks require dual-arm manipulation skills in the rapidly changing, dynamic and unpredictable real-world environments where they have to operate. Given the expertise of humans in conducting these activities, it is natural to study humans' motions to use the resulting knowledge in robotic control. With this in mind, this work leverages human knowledge to formulate a more general, real-time, and less task-specific framework for dual-arm manipulation. The proposed framework is evaluated on the iCub humanoid robot and several synthetic experiments, by conducting a dual-arm pick-and-place task of a parcel in the presence of unexpected obstacles. Results suggest the suitability of the method towards robust and generalisable dual-arm manipulation.