title: Negative curvature in automorphism groups of one-ended hyperbolic groups

abstract: In this article, we show that some negative curvature may survive when taking the automorphism group of a finitely generated group. More precisely, we prove that the automorphism group $\mathrm{Aut}(G)$ of a one-ended hyperbolic group $G$ turns out to be acylindrically hyperbolic. As a consequence, given a group $H$ and a morphism $\varphi : H \to \mathrm{Aut}(G)$, we deduce that the semidirect product $G \rtimes_\varphi H$ is acylindrically hyperbolic if and only if $\mathrm{ker}(H \overset{\varphi}{\to} \mathrm{Aut}(G) \to \mathrm{Out}(G))$ is finite.


title: Two-dimensional electron honey: highly viscous electron fluid in which transverse magnetosonic waves can propagate

abstract: One of the main macroscopic differences between ordinary and highly viscous fluids is the lack of transverse sound in the first and possibility of its excitation in the second. In modern high-mobility conductors (Weyl semimetals, best-quality quantum wells, and graphene) electrons can form a viscous fluid at low temperatures. In this work we develop high-frequency hydrodynamics of two-dimensional highly viscous electron fluids in magnetic field. Such fluids are characterized by simultaneous presence of the excitations associated with the elastic stress (transverse sound) as well as with the violation of the local charge neutrality (plasmons). We demonstrate that both the viscoelastic and the plasmonic components of a flow can exhibit the viscous resonance that was recently proposed for charged viscous fluids. This resonance is related to rotation of the viscous stress tensor of a charged fluid in magnetic field. We argue that the viscous resonance is responsible for the peak and the peculiarities observed in photoresistance and photovoltage of the ultra-high mobility GaAs quantum wells. We conclude that a highly viscous electron fluid ("electron honey") is realized in those structures.


title: Doss almost periodic functions, Besicovitch-Doss almost periodic functions and convolution products

abstract: In the paper under review, we analyze the invariance of Doss almost periodicity and Besicovitch-Doss almost periodicity under the actions of convolution products. We thus continue our recent research studies \cite{fedorov-novi} and \cite{NSJOM-besik} by investigating the case in which the solution operator family $(R(t))_{t>0}$ under our consideration has special growth rates at zero and infinity. In contrast to \cite{NSJOM-besik}, the results obtained in this paper can be incorporated in the qualitative analysis of solutions to abstract (degenerate) inhomogeneous fractional differential equations in Banach spaces.


title: Vanishing biexciton binding energy from stacked, MOVPE grown, site-controlled pyramidal quantum dots for twin photon generation

abstract: We characterized stacked double-pyramidal quantum dots which showed biexciton binding energies close to zero by means of photoluminescence and cross-correlation measurements. It was possible to obtain a sequence of two photons with (nearly) the same energy from the biexciton-exciton-ground state cascade, as corroborated by a basic rate-equation model. This type of two-photon emission is both of relevance for fundamental quantum information theory studies as well as for more exotic applicative fields such as quantum biology.


title: Photoinduced topological spin texture in a metallic ferromagnet

abstract: Photoinduced nonequilibrium spin structure is examined in the double-exchange model, in which itinerant electrons couple with localized spins through the ferromagnetic Hund coupling. In particular, we focus on the transient spin structure from the initial ferromagnetic metallic state to the steady antiferromagnetic ordered state reported in [Phys. Rev. Lett. 119, 207202 (2017)]. By solving the Schr\"odinger equation combined with the Landau-Lifshitz-Gilbert equation, we find finite winding number and chirality, which implies emergence of topological chiral spin textures. These observations are reproduced by a calculation where spin dynamics after sudden quench of the chemical potential are examined in larger clusters. A possible mechanism of the topological spin texture in the transient dynamics is discussed.


title: What drives the radio slopes in radio quiet quasars?

abstract: The origin of the radio emission in Radio Quiet (RQ) quasars is not established yet. Important hints can be provided by the spectral slope, and its relation to other emission properties. We compiled the highest resolution 5 and 8.4 GHz VLA observations available of the RQ optically selected PG quasars at z<0.5. We derive the 5-8.4 GHz spectral slope, alpha_R, for 25 of the complete and well studied sample of 71 RQ PG quasars. We find a highly significant correlation of alpha_R with L/L_Edd, where high L/L_Edd (>0.3) quasars have a steep slope (alpha_R<-0.5), indicative of an optically thin synchrotron source. In contrast, lower L/L_Edd (<0.3) quasars generally have a flat slope (alpha_R>-0.5), indicative of a compact optically thick synchrotron source. Flat alpha_R quasars also have a low Fe II/Hbeta line ratio, and a flat soft X-ray slope. The 16 Radio Loud (RL) PGs do not follow the RQ quasar set of correlations, and their alpha_R is set by M_BH, suggesting that the radio emission mechanisms in RL and RQ quasars are different. A possible interpretation is that high L/L_Edd RQ quasars produce a strong outflow and an associated optically thin synchrotron emission. In lower L/L_Edd RQ quasars, the strong outflow is missing, and only a compact optically thick radio source remains, possibly associated with the accretion disk coronal emission. A systematic study of RQ quasars at higher frequencies, and higher resolution, can test whether a compact flat source indeed resides in the cores of all RQ quasars, and allow the exploration of its relation with the coronal X-ray emission.


title: A dependence with complete connections approach to generalized R\'enyi continued fractions

abstract: We introduce and study in detail a special class of backward continued fractions that represents a generalization of R\'enyi continued fractions. We investigate the main metrical properties of the digits occurring in these expansions and we construct the natural extension for the transformation that generates the R\'enyi-type expansion. Also we define the associated random system with complete connections whose ergodic behavior allows us to prove a variant of Gauss-Kuzmin-type theorem.


title: Leveraging eBPF for programmable network functions with IPv6 Segment Routing

abstract: With the advent of Software Defined Networks (SDN), Network Function Virtualisation (NFV) or Service Function Chaining (SFC), operators expect networks to support flexible services beyond the mere forwarding of packets. The network programmability framework which is being developed within the IETF by leveraging IPv6 Segment Routing enables the realisation of in-network functions. In this paper, we demonstrate that this vision of in-network programmability can be realised. By leveraging the eBPF support in the Linux kernel, we implement a flexible framework that allows network operators to encode their own network functions as eBPF code that is automatically executed while processing specific packets. Our lab measurements indicate that the overhead of calling such eBPF functions remains acceptable. Thanks to eBPF, operators can implement a variety of network functions. We describe the architecture of our implementation in the Linux kernel. This extension has been released with Linux 4.18. We illustrate the flexibility of our approach with three different use cases: delay measurements, hybrid networks and network discovery. Our lab measurements also indicate that the performance penalty of running eBPF network functions on Linux routers does not incur a significant overhead.


title: Convergence rate for R\'enyi-type continued fraction expansions

abstract: This paper continues our investigation of Renyi-type continued fractions studied in \cite{Sebe&Lascu-2018}. A Wirsing-type approach to the Perron-Frobenius operator of the R\'enyi-type continued fraction transformation under its invariant measure allows us to study the optimality of the convergence rate. Actually, we obtain upper and lower bounds of the convergence rate which provide a near-optimal solution to the Gauss-Kuzmin-L\'evy problem.


title: A Gauss-Kuzmin-L\'evy theorem for R\'enyi-type continued fractions

abstract: We consider an interval map which is a generalization of the R\'enyi transformation. For the continued fraction expansion arising from this transformation, we prove a result concerning the asymptotic behavior of the distribution functions of this map. More exactly, we use Sz\"usz's method to prove a Gauss-Kuzmin-L\'evy-type theorem.


title: Locally convex properties of free locally convex spaces

abstract: Let $L(X)$ be the free locally convex space over a Tychonoff space $X$. We show that the following assertions are equivalent: (i) $L(X)$ is $\ell_\infty$-barrelled, (ii) $L(X)$ is $\ell_\infty$-quasibarrelled, (iii) $L(X)$ is $c_0$-barrelled, (iv) $L(X)$ is $\aleph_0$-quasibarrelled, and (v) $X$ is a $P$-space. If $X$ is a non-discrete metrizable space, then $L(X)$ is $c_0$-quasibarrelled but it is neither $c_0$-barrelled nor $\ell_\infty$-quasibarrelled. We prove that $L(X)$ is a $(DF)$-space iff $X$ is a countable discrete space. We show that there is a countable Tychonoff space $X$ such that $L(X)$ is a quasi-$(DF)$-space but is not a $c_0$-quasibarrelled space. For each non-metrizable compact space $K$, the space $L(K)$ is a $(df)$-space but is not a quasi-$(DF)$-space. If $X$ is a $\mu$-space, then $L(X)$ has the Grothendieck property iff every compact subset of $X$ is finite. We show that $L(X)$ has the Dunford--Pettis property for every Tychonoff space $X$. If $X$ is a sequential $\mu$-space (for example, metrizable), then $L(X)$ has the sequential Dunford--Pettis property iff $X$ is discrete.


title: History by Diversity: Helping Historians search News Archives

abstract: Longitudinal corpora like newspaper archives are of immense value to historical research, and time as an important factor for historians strongly influences their search behaviour in these archives. While searching for articles published over time, a key preference is to retrieve documents which cover the important aspects from important points in time which is different from standard search behavior. To support this search strategy, we introduce the notion of a Historical Query Intent to explicitly model a historian's search task and define an aspect-time diversification problem over news archives. We present a novel algorithm, HistDiv, that explicitly models the aspects and important time windows based on a historian's information seeking behavior. By incorporating temporal priors based on publication times and temporal expressions, we diversify both on the aspect and temporal dimensions. We test our methods by constructing a test collection based on The New York Times Collection with a workload of 30 queries of historical intent assessed manually. We find that HistDiv outperforms all competitors in subtopic recall with a slight loss in precision. We also present results of a qualitative user study to determine wether this drop in precision is detrimental to user experience. Our results show that users still preferred HistDiv's ranking.


title: Discovering Entities with Just a Little Help from You

abstract: Linking entities like people, organizations, books, music groups and their songs in text to knowledge bases (KBs) is a fundamental task for many downstream search and mining applications. Achieving high disambiguation accuracy crucially depends on a rich and holistic representation of the entities in the KB. For popular entities, such a representation can be easily mined from Wikipedia, and many current entity disambiguation and linking methods make use of this fact. However, Wikipedia does not contain long-tail entities that only few people are interested in, and also at times lags behind until newly emerging entities are added. For such entities, mining a suitable representation in a fully automated fashion is very difficult, resulting in poor linking accuracy. What can automatically be mined, though, is a high-quality representation given the context of a new entity occurring in any text. Due to the lack of knowledge about the entity, no method can retrieve these occurrences automatically with high precision, resulting in a chicken-egg problem. To address this, our approach automatically generates candidate occurrences of entities, prompting the user for feedback to decide if the occurrence refers to the actual entity in question. This feedback gradually improves the knowledge and allows our methods to provide better candidate suggestions to keep the user engaged. We propose novel human-in-the-loop retrieval methods for generating candidates based on gradient interleaving of diversification and textual relevance approaches. We conducted extensive experiments on the FACC dataset, showing that our approaches convincingly outperform carefully selected baselines in both intrinsic and extrinsic measures while keeping users engaged.


title: Designing Search Tasks for Archive Search

abstract: Longitudinal corpora like legal, corporate and newspaper archives are of immense value to a variety of users, and time as an important factor strongly influences their search behavior in these archives. While many systems have been developed to support users temporal information needs, questions remain over how users utilize these advances to satisfy their needs. Analyzing their search behavior will provide us with novel insights into search strategy, guide better interface and system design and highlight new problems for further research. In this paper we propose a set of search tasks, with varying complexity, that IIR researchers can utilize to study user search behavior in archives. We discuss how we created and refined these tasks as the result of a pilot study using a temporal search engine. We not only propose task descriptions but also pre and post-task evaluation mechanisms that can be employed for a large-scale study (crowdsourcing). Our initial findings show the viability of such tasks for investigating search behavior in archives.


title: Learn to Code-Switch: Data Augmentation using Copy Mechanism on Language Modeling

abstract: Building large-scale datasets for training code-switching language models is challenging and very expensive. To alleviate this problem using parallel corpus has been a major workaround. However, existing solutions use linguistic constraints which may not capture the real data distribution. In this work, we propose a novel method for learning how to generate code-switching sentences from parallel corpora. Our model uses a Seq2Seq model in combination with pointer networks to align and choose words from the monolingual sentences and form a grammatical code-switching sentence. In our experiment, we show that by training a language model using the augmented sentences we improve the perplexity score by 10% compared to the LSTM baseline.


title: Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances

abstract: We consider location problems to find the optimal sites of placement of a new facility, which minimize the maximum weighted Chebyshev or rectilinear distance to existing facilities under constraints on a feasible location domain. We examine Chebyshev location problems in multidimensional space to represent and solve the problems in the framework of tropical (idempotent) algebra, which deals with the theory and applications of semirings and semifields with idempotent addition. The solution approach involves formulating the problem as a tropical optimization problem, introducing a parameter that represents the minimum value of the objective function in the problem, and reducing the problem to a system of parametrized inequalities. The necessary and sufficient conditions for the existence of a solution to the system serve to evaluate the minimum, whereas all corresponding solutions of the system present a complete solution of the optimization problem. With this approach we obtain direct, exact solutions represented in a compact closed form which is appropriate for further analysis and straightforward computations with polynomial time complexity. The solutions of the Chebyshev problems are then used to solve location problems with rectilinear distance in the two-dimensional plane. The obtained solutions extend previous results on the Chebyshev and rectilinear location problems without weights and with less general constraints.


title: Hierarchical landscape of hard disk glasses

abstract: We numerically analyse the landscape governing the evolution of the vibrational dynamics of hard disk glasses as the density increases towards jamming. We find that the dynamics becomes slow, spatially correlated, and starts to display aging dynamics across an avoided Gardner transition, with a phenomenology that resembles three dimensional observations. We carefully analyse the behaviour of single glass samples, and find that the emergence of aging dynamics is controlled by the apparition of a complex organisation of the landscape that splits into a remarkable hierarchy of minima as jamming is approached. Our results show that the mean-field prediction of a Gardner phase characterized by an ultrametric structure of the landscape provides a useful description of finite dimensional systems, even when the Gardner transition is avoided.


title: A general proof certification framework for modal logic

abstract: One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs in different formats. The project ProofCert promotes the usage of a common specification language and of a small and trusted kernel in order to check proofs coming from different sources and for different logics. By relying on that idea and by using a classical focused sequent calculus as a kernel, we propose here a general framework for checking modal proofs. We present the implementation of the framework in a Prolog-like language and show how it is possible to specialize it in a simple and modular way in order to cover different proof formalisms, such as labeled systems, tableaux, sequent calculi and nested sequent calculi. We illustrate the method for the logic K by providing several examples and discuss how to further extend the approach.


title: A Maximum Edge-Weight Clique Extraction Algorithm Based on Branch-and-Bound

abstract: The maximum edge-weight clique problem is to find a clique whose sum of edge-weight is the maximum for a given edge-weighted undirected graph. The problem is NP-hard and some branch-and-bound algorithms have been proposed. In this paper, we propose a new exact algorithm based on branch-and-bound. It assigns edge-weights to vertices and calculates upper bounds using vertex coloring. By some computational experiments, we confirmed our algorithm is faster than previous algorithms.


title: On Clifford groups in quantum computing

abstract: The term Clifford group was introduced in 1998 by D. Gottesmann in his investigation of quantum error-correcting codes. The simplest Clifford group in multiqubit quantum computation is generated by a restricted set of unitary Clifford gates - the Hadamard, $\pi/4$-phase and controlled-X gates. Because of this restriction the Clifford model of quantum computation can be efficiently simulated on a classical computer (the Gottesmann-Knill theorem). However, this fact does not diminish the importance of the Clifford model, since it may serve as a suitable starting point for a full-fledged quantum computation. In the general case of a single or composite quantum system with finite-dimensional Hilbert space the finite Weyl-Heisenberg group of unitary operators defines the quantum kinematics and the states of the quantum register. Then the corresponding Clifford group is defined as the group of unitary operators leaving the Weyl-Heisenberg group invariant. The aim of this contribution is to show that our comprehensive results on symmetries of the Pauli gradings of quantum operator algebras -- covering any single as well as composite finite quantum systems -- directly correspond to Clifford groups defined as quotients with respect to $\U(1)$.


title: Flexible failure detection and fast reroute using eBPF and SRv6

abstract: Segment Routing is a modern variant of source routing that is being gradually deployed by network operators. Large ISPs use it for traffic engineering and fast reroute purposes. Its IPv6 dataplane, named SRv6, goes beyond the initial MPLS dataplane, notably by enabling network programmability. With SRv6, it becomes possible to define transparent network functions on routers and endhosts. These functions are mapped to IPv6 addresses and their execution is scheduled by segments placed in the forwarded packets. We have recently extended the Linux SRv6 implementation to enable the execution of specific eBPF code upon reception of an SRv6 packet containing local segments. eBPF is a virtual machine that is included in the Linux kernel. We leverage this new feature of Linux 4.18 to propose and implement flexible eBPF-based fast-reroute and failure detection schemes. Our lab measurements confirm that they provide good performance and enable faster failure detections than existing BFD implementations on Linux routers and servers.


title: Whenever a quantum environment emerges as a classical system, it behaves like a measuring apparatus

abstract: We study the dynamics of a quantum system $\Gamma$ with an environment $\Xi$ made of $N$ elementary quantum components. We aim at answering the following questions: can the evolution of $\Gamma$ be characterized by some general features when $N$ becomes very large, regardless of the specific form of its interaction with each and every component of $\Xi$? In other terms: should we expect all quantum systems with a macroscopic environment to undergo a somehow similar evolution? And if yes, of what type? In order to answer these questions we use well established results from large-$N$ quantum field theories, particularly referring to the conditions ensuring a large-$N$ quantum model to be effectively described by a classical theory. We demonstrate that the fulfillment of these conditions, when properly imported into the framework of the open quantum systems dynamics, guarantees that the evolution of $\Gamma$ is always of the same type of that expected if $\Xi$ were a measuring apparatus, no matter the details of the actual interaction. On the other hand, such details are found to determine the specific basis w.r.t. which $\Gamma$ undergoes the decoherence dictated by the dynamical description of the quantum measurement process. This result wears two hats: on the one hand it clarifies the physical origin of the formal statement that, under certain conditions, any channel from $\rho_\Gamma$ to $\rho_\Xi$ takes the form of a measure-and-prepare map, as recently shown in Ref. [1]; on the other hand, it formalizes the qualitative argument that the reason why we do not observe state superpositions is the continual measurement performed by the environment.


title: Investment projects implementation with production facilities location taking into account the environmental pollution

abstract: When implementing an investment projects a problem of production facilities location with taking into account the environmental pollution arises. A mathematical model of the industrial enterprises location in the region is formalized and studied in this paper. It is necessary to locate objects polluting the environment in such way as to maximize the total income of the players. The total income is calculated as income from the activities of enterprises, minus the funds that are spent on the recover damage to the environment. This problem is formalized as a non-cooperative game with n players that exploit common sources -- natural objects. Numerical example is solved.


title: Publish-and-Flourish: decentralized co-creation and curation of scholarly content

abstract: Scholarly communication is today immersed in publish or perish culture that propels noncooperative behaviour in the sense of strategic games played by researchers. Here we introduce and describe a blockchain based platform for decentralized scholarly communication. The design of the platform rests on community driven publishing reviewing processes and implements incentives that promote cooperative user behaviour. Key to achieve cooperation in blockchain based scholarly communication is to transform a static research paper into a modifiable research paper under continuous peer review process. We describe and discuss the implementation of a modifiable research paper as a smart contract on the blockchain.


title: Energy equalities for compressible Navier-Stokes equations

abstract: The energy equalities of compressible Navier-Stokes equations with general pressure law and degenerate viscosities are studied. By using a unified approach, we give sufficient conditions on the regularity of weak solutions for these equalities to hold. The method of proof is suitable for the case of periodic as well as homogeneous Dirichlet boundary conditions. In particular, by a careful analysis using the homogeneous Dirichlet boundary condition, no boundary layer assumptions are required when dealing with bounded domains with boundary.


title: Using effective medium theories to design tailored nanocomposite materials for optical systems

abstract: Modern optical systems are subject to very restrictive performance, size and cost requirements. Especially in portable systems size often is the most important factor, which necessitates elaborate designs to achieve the desired specifications. However, current designs already operate very close to the physical limits and further progress is difficult to achieve by changing only the complexity of the design. Another way of improving the performance is to tailor the optical properties of materials specifically to the application at hand. A class of novel, customizable materials that enables the tailoring of the optical properties, and promises to overcome many of the intrinsic disadvantages of polymers, are nanocomposites. However, despite considerable past research efforts, these types of materials are largely underutilized in optical systems. To shed light into this issue we, in this paper, discuss how nanocomposites can be modeled using effective medium theories. In the second part, we then investigate the fundamental requirements that have to be fulfilled to make nanocomposites suitable for optical applications, and show that it is indeed possible to fabricate such a material using existing methods. Furthermore, we show how nanocomposites can be used to tailor the refractive index and dispersion properties towards specific applications.


title: Linear confinement and stress-energy tensor around static quark and anti-quark pair -- Lattice simulation with Yang-Mills gradient flow --

abstract: We study the spatial distribution of the stress tensor around static quark-anti-quark pair in SU(3) lattice gauge theory. In particular, we reveal the transverse structure of the stress tensor distribution in detail by taking the continuum limit. The Yang-Mills gradient flow plays a crucial role to make the stress tensor well-defined and derivable from the numerical simulations on the lattice.


title: Thermoelectric generator at optimal power with external and internal irreversibilities

abstract: There are few exact results on optimal power conditions for a thermoelectric generator in the presence of both external and internal irreversibilities---modelled as non-ideal thermal contacts and Joule heating, respectively. Simplified cases, where only one kind of irreversibility is assumed, yield some well-known expressions for efficiency at maximum power (EMP), such as Curzon-Ahlborn efficiency for endoreversible model. In this work, we analyze situations under the simultaneous presence of internal and external irreversibilities. To simplify, we neglect heat leaks, and each kind of irreversibility is assumed only on the side of one of the thermal contacts. We also present the symmetric case---where each kind of irreversibility contributes with equal strengths towards the side of each thermal contact. We show the bounds satisfied by EMP in each of these regimes and compare its properties for thermal impedence matching and close to equilibrium, where we find step-wise changes in EMP.


title: On the structure of the Galois group of the maximal pro-$p$ extension with restricted ramification over the cyclotomic $\mathbb{Z}_p$-extension

abstract: Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension of an algebraic number field $k$. We denote by $S$ a finite set of prime numbers which does not contain $p$, and $S(k_\infty)$ the set of primes of $k_\infty$ lying above $S$. In the present paper, we will study the structure of the Galois group $\mathcal{X}_S (k_\infty)$ of the maximal pro-$p$ extension unramified outside $S (k_\infty)$ over $k_\infty$. We mainly consider the question whether $\mathcal{X}_S (k_\infty)$ is a non-abelian free pro-$p$ group or not. In the former part, we treat the case when $k$ is an imaginary quadratic field and $S = \emptyset$ (here $p$ is an odd prime number which does not split in $k$). In the latter part, we treat the case when $k$ is a totally real field and $S \neq \emptyset$.


title: Uniform Exponential Stabilisation of Serially Connected Inhomogeneous Euler-Bernoulli Beams

abstract: We consider a chain of Euler-Bernoulli beams with spatial dependent mass density, modulus of elasticity and area moment which are interconnected in dissipative or conservative ways and prove uniform exponential energy decay of the coupled system for suitable dissipative boundary conditions at one end and suitable conservative boundary conditions at the other end. We thereby generalise some results of G. Chen, M.C. Delfour, A.M. Krall and G. Payre from the 1980's to the case of spatial dependence of the parameters.


title: A Whole-Body Model Predictive Control Scheme Including External Contact Forces and CoM Height Variations

abstract: In this paper, we present an approach for generating a variety of whole-body motions for a humanoid robot. We extend the available Model Predictive Control (MPC) approaches for walking on flat terrain to plan for both vertical motion of the Center of Mass (CoM) and external contact forces consistent with a given task. The optimization problem is comprised of three stages, i. e. the CoM vertical motion, joint angles, and contact forces planning. The choice of external contact (e. g. hand contact with the object or environment) among all available locations and the appropriate time to reach and maintain a contact are all computed automatically within the algorithm. The presented algorithm benefits from the simplicity of the Linear Inverted Pendulum Model (LIPM), while it overcomes the common limitations of this model and enables us to generate a variety of whole-body motions through external contacts. Simulation and experimental implementation of several whole-body actions in multi-contact scenarios on a humanoid robot show the capability of the proposed algorithm.


title: Exponential stability for infinite-dimensional non-autonomous port-Hamiltonian Systems

abstract: We study the non-autonomous version of an infinite-dimensional port-Hamiltonian system on an interval $[a, b]$. Employing abstract results on evolution families, we show $C^1$-well-posedness of the corresponding Cauchy problem, and thereby existence and uniqueness of classical solutions for sufficiently regular initial data. Further, we demonstrate that a dissipation condition in the style of the dissipation condition sufficient for uniform exponential stability in the autonomous case also leads to a uniform exponential decay of the energy in this non-autonomous setting.


title: On pseudodifferential operators on filtered and multifiltered manifolds

abstract: This memoir is a summary of recent work, including collaborations with Erik van Erp, Christian Voigt and Marco Matassa, compiled for the "Habilitation \`a diriger des recherches". We present various different approaches to constructing algebras of pseudodifferential operators adapted to filtered and multifiltered manifolds and some quantum analogues. A general goal is the study of index problems in situations where standard elliptic theory is insufficient. We also present some applications of these constructions. We begin by presenting a characterization of pseudodifferential operators on filtered manifolds in terms of distributions on the tangent groupoid which are essentially homogeneous with respect to the natural $\mathbb{R}^\times_+$-action. Next, we describe a rudimentary multifiltered pseudodifferential theory on the full flag manifold $\mathcal{X}$ of a complex semisimple Lie group $G$ which allows us to simultaneously treat longitudinal pseudodifferential operators along every one of the canonical fibrations of $\mathcal{X}$ over smaller flag manifolds. The motivating application is the construction of a $G$-equivariant $K$-homology class from the Bernstein-Gelfand-Gelfand complex of a semisimple group. Finally, we discuss pseudodifferential operators on two classes of quantum flag manifolds: quantum projective spaces and the full flag manifolds of $SU_q(n)$. In particular, on the full flag variety of $SU_q(3)$ we obtain an equivariant fundamental class from the Bernstein-Gelfand-Gelfand complex.


title: Accurate and efficient explicit approximations of the Colebrook flow friction equation based on the Wright-Omega function

abstract: The Colebrook equation is a popular model for estimating friction loss coefficients in water and gas pipes. The model is implicit in the unknown flow friction factor f. To date, the captured flow friction factor f can be extracted from the logarithmic form analytically only in the term of the Lambert W-function. The purpose of this study is to find an accurate and computationally efficient solution based on the shifted Lambert W-function also known as the Wright Omega-function. The Wright Omega-function is more suitable because it overcomes the problem with the overflow error by switching the fast growing term y=W(e^x) of the Lambert W-function to the series expansions that further can be easily evaluated in computers without causing overflow run-time errors. Although the Colebrook equation transformed through the Lambert W-function is identical to the original expression in term of accuracy, a further evaluation of the Lambert W-function can be only approximate. Very accurate explicit approximations of the Colebrook equation that contains only one or two logarithms are shown. The final result is an accurate explicit approximation of the Colebrook equation with the relative error of no more than 0.0096%. The presented approximations are in the form suitable for everyday engineering use, they are both accurate and computationally efficient.


title: Training neural audio classifiers with few data

abstract: We investigate supervised learning strategies that improve the training of neural network audio classifiers on small annotated collections. In particular, we study whether (i) a naive regularization of the solution space, (ii) prototypical networks, (iii) transfer learning, or (iv) their combination, can foster deep learning models to better leverage a small amount of training examples. To this end, we evaluate (i-iv) for the tasks of acoustic event recognition and acoustic scene classification, considering from 1 to 100 labeled examples per class. Results indicate that transfer learning is a powerful strategy in such scenarios, but prototypical networks show promising results when one does not count with external or validation data.


title: Decompositions of some Specht modules I

abstract: We give a decomposition as a direct sum of indecomposable modules of several types of Specht modules in characteristic $2$. These include the Specht modules labelled by hooks, whose decomposability was considered by Murphy. Since the main arguments are essentially no more difficult for Hecke algebras at parameter $q=-1$, we proceed in this level of generality.


title: The Hellinger Correlation

abstract: In this paper, the defining properties of a valid measure of the dependence between two random variables are reviewed and complemented with two original ones, shown to be more fundamental than other usual postulates. While other popular choices are proved to violate some of these requirements, a class of dependence measures satisfying all of them is identified. One particular measure, that we call the Hellinger correlation, appears as a natural choice within that class due to both its theoretical and intuitive appeal. A simple and efficient nonparametric estimator for that quantity is proposed. Synthetic and real-data examples finally illustrate the descriptive ability of the measure, which can also be used as test statistic for exact independence testing.


title: Simulation of the electromagnetic wall response during Vertical Displacement Events (VDE) in ITER tokamak

abstract: The key basis for tokamak plasma disruption modeling is to understand how currents flow to the plasma facing surfaces during plasma disruption events. In ITER tokamak, the occurrence of a limited number of major disruptions will definitively damage the chamber with no possibility to restore the device. In the current exchange plasma-wall-plasma, according to the Helmholtz decomposition theorem, our surface current density in the conducting shell - the unknown of our problem - being a vector field twice continuously differentiable in 3D, has been splited into two components: an irrotational (curl-free) vector field and a solenoidal (divergence-free) vector field. Developing a weak formulation form and minimizing the correspondent energy functionals in a Finite Element approach, we have obtained the space and time distribution of the surface currents. We verified successfully our numerical simulation with an analytical solution with pure homogeneous Neumann B.C. and satisfying the necessary existence condition. By considering the iron core presence in JET tokamak, we have split the magnetization currents - the unknowns in some integral equations - into two components, the first producing a magnetic field in the iron region only and the second producing a magnetic field in the vacuum, obtaining thus a better evaluation of the influence of the iron core on the plasma equilibrium. To reduce the influence of the singularities appearing during the surface currents determination in multiply connected domains (L-shaped domains) we have used a conformal transformation method.


title: Law without law or "just" limit theorems?

abstract: About 35 years ago Wheeler introduced the motto `law without law' to highlight the possibility that (at least a part of) Physics may be understood only following {\em regularity principles} and few relevant facts, rather than relying on a treatment in terms of fundamental theories. Such a proposal can be seen as part of a more general attempt (including the maximum entropy approach) summarized by the slogan `it from bit', which privileges the information as the basic ingredient. Apparently it seems that it is possible to obtain, without the use of physical laws, some important results in an easy way, for instance, the probability distribution of the canonical ensemble. In this paper we will present a general discussion on those ideas of Wheeler's that originated the motto `law without law'. In particular we will show how the claimed simplicity is only apparent and it is rather easy to produce wrong results. We will show that it is possible to obtain some of the results treated by Wheeler in the realm of the statistical mechanics, using precise assumptions and nontrivial results of probability theory, mainly concerning ergodicity and limit theorems.


title: A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds

abstract: Cloud platforms have emerged as a prominent environment to execute high performance computing (HPC) applications providing on-demand resources as well as scalability. They usually offer different classes of Virtual Machines (VMs) which ensure different guarantees in terms of availability and volatility, provisioning the same resource through multiple pricing models. For instance, in Amazon EC2 cloud, the user pays per hour for on-demand VMs while spot VMs are unused instances available for lower price. Despite the monetary advantages, a spot VM can be terminated, stopped, or hibernated by EC2 at any moment. Using both hibernation-prone spot VMs (for cost sake) and on-demand VMs, we propose in this paper a static scheduling for HPC applications which are composed by independent tasks (bag-of-task) with deadline constraints. However, if a spot VM hibernates and it does not resume within a time which guarantees the application's deadline, a temporal failure takes place. Our scheduling, thus, aims at minimizing monetary costs of bag-of-tasks applications in EC2 cloud, respecting its deadline and avoiding temporal failures. To this end, our algorithm statically creates two scheduling maps: (i) the first one contains, for each task, its starting time and on which VM (i.e., an available spot or on-demand VM with the current lowest price) the task should execute; (ii) the second one contains, for each task allocated on a VM spot in the first map, its starting time and on which on-demand VM it should be executed to meet the application deadline in order to avoid temporal failures. The latter will be used whenever the hibernation period of a spot VM exceeds a time limit. Performance results from simulation with task execution traces, configuration of Amazon EC2 VM classes, and VMs market history confirms the effectiveness of our scheduling and that it tolerates temporal failures.


title: Bigeometric Ces$\grave{\text{a}}$ro difference sequence spaces and Hermite interpolation

abstract: In this paper, we introduce some difference sequence spaces in bigeometric calculus. We determine the $\alpha$-duals of these sequence spaces and study their matrix transformations. We also develop an interpolating polynomial in bigeometric calculus which is analogous to the classical Hermite interpolating polynomial.


title: A Solvable Model for Decoupling of Interacting Clusters

abstract: We consider M clusters of interacting particles, whose in-group interactions are arbitrary, and inter-group interactions are approximated by oscillator potentials. We show that there are masses and frequencies that decouple the in-group and inter-group degrees of freedom, which reduces the initial problem to M independent problems that describe each of the relative in-group systems. The dynamics of the M center-of-mass coordinates is described by the analytically solvable problem of M coupled harmonic oscillators. This paper derives and discusses these decoupling conditions. Furthermore, to illustrate our findings, we consider a charged impurity interacting with a ring of ions. We argue that the impurity can be used to probe the center-of-mass dynamics of the ions.


title: Superconducting Diamond on Silicon Nitride for Device Applications

abstract: Chemical vapour deposition (CVD) grown nanocrystalline diamond is an attractive material for the fabrication of devices. For some device architectures, optimisation of its growth on silicon nitride is essential. Here, the effects of three pre-growth surface treatments, often employed as cleaning methods of silicon nitride, were investigated. Such treatments provide control over the surface charge of the substrate through modification of the surface functionality, allowing for the optimisation of electrostatic diamond seeding densities. Zeta potential measurements and X-ray photoelectron spectroscopy (XPS) were used to analyse the silicon nitride surface following each treatment. Exposing silicon nitride to an oxygen plasma offered optimal surface conditions for the electrostatic self-assembly of a hydrogen-terminated diamond nanoparticle monolayer. The subsequent growth of boron-doped nanocrystalline diamond thin films on modified silicon nitride substrates under CVD conditions produced coalesced films for oxygen plasma and solvent treatments, whilst pin-holing of the diamond film was observed following RCA-1 treatment. The sharpest superconducting transition was observed for diamond grown on oxygen plasma treated silicon nitride, demonstrating it to be of the least structural disorder. Modifications to the substrate surface optimise the seeding and growth processes for the fabrication of diamond on silicon nitride devices.


title: Discovery of An Active Intermediate-Mass Black Hole Candidate in the Barred Bulgeless Galaxy NGC 3319

abstract: We report the discovery of an active intermediate-mass black hole (IMBH) candidate in the center of nearby barred bulgeless galaxy $\rm NGC~3319$. The point X-ray source revealed by archival Chandra and XMM-Newton observations is spatially coincident with the optical and UV galactic nuclei from Hubble Space Telescope observations. The spectral energy distribution derived from the unresolved X-ray and UV-optical flux is comparable with active galactic nuclei (AGNs) rather than ultra-luminous X-ray sources, although its bolometric luminosity is only $3.6\times10^{40}~\rm erg~s^{-1}$. Assuming an Eddington ratio range between 0.001 and 1, the black hole mass ($M_\rm{BH}$) will be located at $3\times10^2-3\times10^5~M_{\odot}$, placing it in the so-called IMBH regime and could be the one of the lowest reported so far. Estimates from other approaches (e.g., fundamental plane, X-ray variability) also suggest $M_\rm{BH}\lesssim10^5~M_{\odot}$.Similar to other BHs in bulgeless galaxies, the discovered IMBH resides in a nuclear star cluster with mass of $\sim6\times10^6~M_{\odot}$. The detection of such a low-mass BH offers us an ideal chance to study the formation and early growth of SMBH seeds, which may result from the bar-driven inflow in late-type galaxies with a prominent bar such as $\rm NGC~3319$.


title: The effect of spots on the luminosity spread of the Pleiades

abstract: Cool spots on the surface of magnetically-active stars modulate their observed brightnesses and temperatures, thereby affecting the stellar locus on the H-R diagram. Recent high precision space-based photometric surveys reveal the rotational modulation from spots on stars in young clusters, including K2 monitoring of the 125-Myr-old Pleiades cluster. However, lightcurves reveal only the asymmetries in the visible spot distributions rather than the total sizes of spots on stellar surfaces, which causes a discrepancy between the spot coverage measured by photometric and spectroscopic observations. In this paper, we simulate photometric variability introduced by randomly-distributed starspots on a 125-Myr-old coeval cluster. Our simulation results show that randomly distributed small spots on the stellar surface would explain this discrepancy that the photometric observations only reveal 10% to 40% of the spot coverage measured by spectra. The colors and luminosities of photospheres are modeled for a range of photospheric temperature, spot coverage, and spot temperature. The colors and luminosities of a simulated population are then compared to the luminosity spread of Pleiades members, excluding the 25% of candidates that are identified as non-members with Gaia DR2 astrometry. The observed luminosities of Pleiades members have a standard deviation of 0.05 dex, which could be entirely explained by spots with a star-to-star standard deviation of spot coverage of 10%, but with an average coverage area that is not well constrained.


title: Flow structures govern particle collisions in turbulence

abstract: The role of the spatial structure of a turbulent flow in enhancing particle collision rates in suspensions is an open question. We show and quantify, as a function of particle inertia, the correlation between the multiscale structures of turbulence and particle collisions: Straining zones contribute predominantly to rapid head-on collisions compared to vortical regions. We also discover the importance of vortex-strain worm-rolls, which goes beyond ideas of preferential concentration and may explain the rapid growth of aggregates in natural processes, such as the initiation of rain in warm clouds.


title: Learning color space adaptation from synthetic to real images of cirrus clouds

abstract: Cloud segmentation plays a crucial role in image analysis for climate modeling. Manually labeling the training data for cloud segmentation is time-consuming and error-prone. We explore to train segmentation networks with synthetic data due to the natural acquisition of pixel-level labels. Nevertheless, the domain gap between synthetic and real images significantly degrades the performance of the trained model. We propose a color space adaptation method to bridge the gap, by training a color-sensitive generator and discriminator to adapt synthetic data to real images in color space. Instead of transforming images by general convolutional kernels, we adopt a set of closed-form operations to make color-space adjustments while preserving the labels. We also construct a synthetic-to-real cirrus cloud dataset SynCloud and demonstrate the adaptation efficacy on the semantic segmentation task of cirrus clouds. With our adapted synthetic data for training the semantic segmentation, we achieve an improvement of 6:59% when applied to real images, superior to alternative methods.


title: The Losses from Integration in Matching Markets can be Large

abstract: Although the integration of two-sided matching markets using stable mechanisms generates expected gains from integration, I show that there are worst-case scenarios in which these are negative. The losses from integration can be large enough that the average rank of an agent's spouse decreases by 37.5% of the length of their preference list in any stable matching mechanism.


title: Kirszbraun's theorem via an explicit formula

abstract: Let $X,Y$ be two Hilbert spaces, $E$ a subset of $X$ and $G: E \to Y$ a Lipschitz mapping. A famous theorem of Kirszbraun's states that there exists $\widetilde{G} : X \to Y$ with $\widetilde{G}=G$ on $E$ and $\textrm{Lip}(\widetilde{G})=\textrm{Lip}(G).$ In this note we show that in fact the function $$\widetilde{G}:=\nabla_Y(\textrm{conv}(g))( \cdot , 0), \qquad \text{where} $$ $$ g(x,y) = \inf_{z \in E} \lbrace \langle G(z), y \rangle + \tfrac{M}{2} \|(x-z,y)\|^2 \rbrace + \tfrac{M}{2}\|(x,y)\|^2, $$ defines such an extension. We apply this formula to get an extension result for {\em strongly biLipschitz homeomorphisms.} Related to the latter, we also consider extensions of $C^{1,1}$ strongly convex functions.


title: Mask Propagation Network for Video Object Segmentation

abstract: In this work, we propose a mask propagation network to treat the video segmentation problem as a concept of the guided instance segmentation. Similar to most MaskTrack based video segmentation methods, our method takes the mask probability map of previous frame and the appearance of current frame as inputs, and predicts the mask probability map for the current frame. Specifically, we adopt the Xception backbone based DeepLab v3+ model as the probability map predictor in our prediction pipeline. Besides, instead of the full image and the original mask probability, our network takes the region of interest of the instance, and the new mask probability which warped by the optical flow between the previous and current frames as the inputs. We also ensemble the modified One-Shot Video Segmentation Network to make the final predictions in order to retrieve and segment the missing instance.


title: Long time stability of a linearly extrapolated blended BDF scheme for multiphysics flows

abstract: This paper investigates the long time stability behavior of multiphysics flow problems, namely the Navier-Stokes equations, natural convection and double-diffusive convection equations with an extrapolated blended BDF time-stepping scheme. This scheme combines the two-step BDF and three-step BDF time stepping schemes. We prove unconditional long time stability theorems for each of flow systems. Various numerical tests are given for large time step sizes in long time intervals in order to support theoretical results.


title: Observation of $e^+e^- \to \gamma \chi_{c1}$ and search for $e^+e^- \to \gamma \chi_{c0}, \gamma \chi_{c2},$ and $\gamma\eta_c$ at $\sqrt{s}$ near 10.6 GeV at Belle

abstract: Using data samples of 89.5~fb$^{-1}$, 711.0~fb$^{-1}$, and 121.4~fb$^{-1}$ collected with the Belle detector at the KEKB asymmetric-energy $e^+e^-$ collider at center-of-mass energies 10.52 GeV, 10.58 GeV, and 10.867 GeV, respectively, we study the exclusive reactions $e^+e^-\to\gamma\chi_{cJ}$ ($J = 0,~1,~2$) and $e^+e^-\to\gamma\eta_c$. A significant $\gamma \chi_{c1}$ signal is observed for the first time at $\sqrt{s}=10.58$ GeV with a significance of $5.1\sigma$ including systematic uncertainties. No significant excesses for $\gamma \chi_{c0}$, $\gamma \chi_{c2}$, and $\gamma \eta_c$ final states are found, and we set 90\% credibility level upper limits on the Born cross sections ($\sigma_{\rm B}$) at 10.52 GeV, 10.58 GeV, and 10.867~GeV. Together with cross sections measured by BESIII at lower center-of-mass energies, the energy dependency of $\sigma_{\rm B}(e^+e^-\to\gamma\chi_{c1})$ is obtained.


title: Estimating abundance from multiple sampling capture-recapture data via a multi-state multi-period stopover model

abstract: The collection of capture-recapture data often involves collecting data on numerous capture occasions over a relatively short period of time. For many study species this process is repeated, for example annually, resulting in capture information spanning multiple sampling periods. The robust design class of models provide a convenient framework in which to analyse all of the available capture data in a single likelihood expression. However, these models typically rely either upon the assumption of closure within a sampling period (the closed robust design) or condition on the number of individuals captured within a sampling period (the open robust design). The models we develop in this paper require neither assumption by explicitly modelling the movement of individuals into the population both within and between the sampling periods, which in turn permits the estimation of abundance. These models are further extended to allow parameters to depend not only on capture occasion but also the amount of time since joining the population and to the case of multi-state data where there is individual time-varying discrete covariate information. We derive an efficient likelihood expression for the new multi-state multi-period stopover model using the hidden Markov model framework. We demonstrate the new model through a simulation study before considering a dataset on great crested newts, Triturus cristatus.


title: Coarse-to-fine volumetric segmentation of teeth in Cone-Beam CT

abstract: We consider the problem of localizing and segmenting individual teeth inside 3D Cone-Beam Computed Tomography (CBCT) images. To handle large image sizes we approach this task with a coarse-to-fine framework, where the whole volume is first analyzed as a 33-class semantic segmentation (adults have up to 32 teeth) in coarse resolution, followed by binary semantic segmentation of the cropped region of interest in original resolution. To improve the performance of the challenging 33-class segmentation, we first train the Coarse step model on a large weakly labeled dataset, then fine-tune it on a smaller precisely labeled dataset. The Fine step model is trained with precise labels only. Experiments using our in-house dataset show significant improvement for both weakly-supervised pretraining and for the addition of the Fine step. Empirically, this framework yields precise teeth masks with low localization errors sufficient for many real-world applications.


title: Search for ultra high energy cosmic rays from radiogalaxy Virgo A

abstract: Active galactic nuclei (AGNs) are considered to be one of the most appropriate sources of ultra high energy cosmic rays (UHECRs, $E \gtrsim 10^{18} \mathrm{~eV}$). Radiogalaxy Virgo A (M87) in the centre of a cluster of galaxies Virgo Cluster (VC) can be a prominent source of UHECRs. We investigate the possible contribution of Virgo A and the VC to the flux of events with trans-GZK energies - extremely high energy cosmic rays (EHECRs) - from the recent Auger and Telescope Array (TA) data sets ($E > 52 \mathrm{~EeV}$ and $E > 57 \mathrm{~EeV}$, respectively). We simulate EHECR propagation from Virgo A and the VC taking into account their deflections in galactic (GMF) and extragalactic (EGMF) magnetic fields and show that there is no excess of EHECR arrival directions from images of Virgo A/VC at different EHECR rigidities. By means of event-by-event analysis we recover the extragalactic arrival directions of EHECR events detected by Auger and TA for representative set of nuclei H(p), He, N, Si, Fe, and find evidences of enhanced fluxes of N-Si-Fe EHECRs from the Local Filament and Hot/Cold Spot regions. The Local Filament with its enhanced magnetic field is an expected contributor to the UHECR flux as the closest to the Earth last scattering centre, whereas Hot/Cold Spot region is a part of a larger arc-like spot, possibly created by diffusively spreading jet of UHECRs, accelerated in the relativistic jet of Virgo A during a prominent nuclear outburst about 10 - 12 Myr ago.


title: The stability of a Cosine-Sine Functional Equation on abelian groups

abstract: In this paper we establish the stability of the functional equation $$f(x-y)=f(x)g(y)+g(x)f(y)+h(x)h(y)),\;\; x,y \in G, $$where $G$ is an abelian group.


title: High-fidelity spin and optical control of single silicon vacancy centres in silicon carbide

abstract: Optically interfaced spins in the solid promise scalable quantum networks. Robust and reliable optical properties have so far been restricted to systems with inversion symmetry. Here, we release this stringent constraint by demonstrating outstanding optical and spin properties of single silicon vacancy centres in silicon carbide. Despite the lack of inversion symmetry, the system's particular wave function symmetry decouples its optical properties from magnetic and electric fields, as well as from local strain. This provides a high-fidelity spin-to-photon interface with exceptionally stable and narrow optical transitions, low inhomogeneous broadening, and a large fraction of resonantly emitted photons. Further, the weak spin-phonon coupling results in electron spin coherence times comparable with nitrogen-vacancy centres in diamond. This allows us to demonstrate coherent hyperfine coupling to single nuclear spins, which can be exploited as qubit memories. Our findings promise quantum network applications using integrated semiconductor-based spin-to-photon interfaces.


title: A Proof-Theoretic Approach to Scope Ambiguity in Compositional Vector Space Models

abstract: We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form "Every man loves some woman"). Such sentences containing two quantifiers introduce two readings, a direct scope reading and an inverse scope reading. This ambiguity has been treated in a vector space model using bialgebras by (Hedges and Sadrzadeh, 2016) and (Sadrzadeh, 2016), though without an explanation of the mechanism by which the ambiguity arises. We combine a polarised focussed sequent calculus for the non-associative Lambek calculus NL, as described in (Moortgat and Moot, 2011), with the vector based approach to quantifier scope ambiguity. In particular, we establish a procedure for obtaining a vector space model for quantifier scope ambiguity in a derivational way.


title: Convergence of Lobatto-type Runge-Kutta methods for partitioned differential-algebraic systems of index 2

abstract: In this paper we propose a numerical scheme for partitioned systems of index 2 DAEs, such as those arising from nonholonomic mechanical problems and prove the order of a certain class of Runge-Kutta methods we call of Lobatto-type. The study of nonholonomic systems has recently shown a new interest in that theory and also in its relation to the new developments in control theory, subriemannian geometry, robotics, etc. The proofs and general outline of the paper follow a similar procedure of the one by L.O. Jay in the non-partitioned setting, but we tackle the issue of having two different sets of coefficients in interaction.


title: Higher order stable generalized finite element method for the elliptic eigenvalue problem with an interface in 1D

abstract: We study the generalized finite element methods (GFEMs) for the second-order elliptic eigenvalue problem with an interface in 1D. The linear stable generalized finite element methods (SGFEM) were recently developed for the elliptic source problem with interfaces. We first generalize SGFEM to arbitrary order elements and establish the optimal error convergence of the approximate solutions for the elliptic source problem with an interface. We then apply the abstract theory of spectral approximation of compact operators to establish the error estimation for the eigenvalue problem with an interface. The error estimations on eigenpairs strongly depend on the estimation of the discrete solution operator for the source problem. We verify our theoretical findings in various numerical examples including both source and eigenvalue problems.


title: Adsorption of neighbor-avoiding walks on the simple cubic lattice

abstract: We investigate neighbor-avoiding walks on the simple cubic lattice in the presence of an adsorbing surface. This class of lattice paths has been less studied using Monte Carlo simulations. Our investigation follows on from our previous results using self-avoiding walks and self-avoiding trails. The connection is that neighbor-avoiding walks are equivalent to the infinitely repulsive limit of self-avoiding walks with monomer-monomer interactions. Such repulsive interactions can be seen to enhance the excluded volume effect. We calculate the critical behavior of the adsorption transition for neighbor-avoiding walks, finding a critical temperature $T_{\text a}=3.274(9)$ and a crossover exponent $\phi=0.482(13)$, which is consistent with the exponent for self-avoiding walks and trails, leading to an overall combined estimate for three dimensions of $\phi_\text{3D}=0.484(7)$. While questions of universality have previously been raised regarding the value of adsorption exponents in three dimensions, our results indicate that the value of $\phi$ in the strongly repulsive regime does not differ from its non-interacting value. However, it is clearly different from the mean-field value of $1/2$ and therefore not super-universal.


title: Towards a determination of the nucleon EDM from the quark chromo-EDM operator with the gradient flow

abstract: In this proceedings, we lay the foundation for computing the contribution of quark chromo-electric dipole moment (qCEDM) operator to the nucleon electric dipole moment. By applying the gradient flow technique, we can parameterize the renormalization and operator mixing issues associated with the qCEDM operator on the lattice. As the nucleon mixing angle $\alpha_N$ is a key component for determining the neutron and proton electric dipole moments induced by the qCEDM operator, we present the formalism and preliminary results for $\alpha_N$ with respect to the gradient flow time $t_f$. The results are computed on $N_f=2+1$ Wilson-clover lattices provided by PACS-CS. The 3 ensembles have lattice spacing values of $a=\lbrace 0.1095,\,0.0936,\,0.0684\rbrace $fm, whilst keeping a similar $m_{\pi}\approx701$MeV, and a fixed box size of $L\approx1.9$fm.


title: Variational approaches to quantum impurities: from the Fr\"{o}hlich polaron to the angulon

abstract: Problems involving quantum impurities, in which one or a few particles are interacting with a macroscopic environment, represent a pervasive paradigm, spanning across atomic, molecular, and condensed-matter physics. In this paper we introduce new variational approaches to quantum impurities and apply them to the Fr\"{o}hlich polaron -- a quasiparticle formed out of an electron (or other point-like impurity) in a polar medium, and to the angulon -- a quasiparticle formed out of a rotating molecule in a bosonic bath. We benchmark these approaches against established theories, evaluating their accuracy as a function of the impurity-bath coupling.

categories: cond-mat.mes-hall cond-mat.quant-gas physics.atm-clus physics.atom-ph physics.chem-ph


title: Constraints on shear stress tensor in viscous relativistic hydrodynamics

abstract: We extend our hybrid model HydHSD by taking into account shear viscosity within the Israel-Stewart hydrodynamics. The influence of different forms of $\pi^{\mu\nu}$ constraints on observables is analyzed. We show that the form of the corresponding condition plays an important role for the sensitivity of viscous hydrodynamics to the ratio of shear viscosity to the entropy density, $\eta/s$. It is shown that the constraint used in the vHLLE model, results in most sensitivity of rapidity distributions and transverse momentum spectra to a change of the $\eta/s$ ratio; however, their applicability for large values of $\eta/s$ is doubtful. On the contrary, the strict constraints from \cite{MNR2010} are very strong but most established. We also found that $\eta/s$ as a function of the collision energy probably has an extremum at $E_{\rm lab}=10.7$ AGeV. However, we obtain that any considered condition does not allow to reproduce simultaneously pion and proton experimental data within our model.


title: Optimal Algorithm for Bayesian Incentive-Compatible Exploration

abstract: We consider a social planner faced with a stream of myopic selfish agents. The goal of the social planner is to maximize the social welfare, however, it is limited to using only information asymmetry (regarding previous outcomes) and cannot use any monetary incentives. The planner recommends actions to agents, but her recommendations need to be Bayesian Incentive Compatible to be followed by the agents. Our main result is an optimal algorithm for the planner, in the case that the actions realizations are deterministic and have limited support, making significant important progress on this open problem. Our optimal protocol has two interesting features. First, it always completes the exploration of a priori more beneficial actions before exploring a priori less beneficial actions. Second, the randomization in the protocol is correlated across agents and actions (and not independent at each decision time).


title: Strong Coupling of Magnons to Microwave Photons in Three-Dimensional Printed Resonators

abstract: We report on ferromagnetic resonant mode hybridization in re-entrant cavities made with a commercial three-dimensional (3D) printer, followed by conventional 3D metalization with copper and tin. The cavity volume was only 7% that of a standard cavity resonating at the same frequency, while maintaining a high quality factor. Simulations were in very good agreement. We obtained an effective coupling of about 40 MHz in two cavities at room temperature. These experimental results demonstrate the utility of tunable filters based on complex 3D printed cavities.


title: Magnetic competition in iron-based germanide and silicide superconductors

abstract: We address the ferromagnetic tendencies detrimental for superconductivity that are related to the substitution of the pnictogen As atom with Ge or Si, together with additional substitutions in the spacer layers in 122 and 1111 Fe-based superconductors. Intermediate compounds in which these substitutions are realized individually are studied within density functional theory. We thus single out the control of spacer ions as an effective way to handle such a ferromagnetism, and we also show that it is suppressed in YFe$_2$Ge$_2$ under pressure ---which then can be expected to enhance its superconductivity.


title: Topic representation: finding more representative words in topic models

abstract: The top word list, i.e., the top-M words with highest marginal probability in a given topic, is the standard topic representation in topic models. Most of recent automatical topic labeling algorithms and popular topic quality metrics are based on it. However, we find, empirically, words in this type of top word list are not always representative. The objective of this paper is to find more representative top word lists for topics. To achieve this, we rerank the words in a given topic by further considering marginal probability on words over every other topic. The reranking list of top-M words is used to be a novel topic representation for topic models. We investigate three reranking methodologies, using (1) standard deviation weight, (2) standard deviation weight with topic size and (3) Chi Square \c{hi}2statistic selection. Experimental results on real world collections indicate that our representations can extract more representative words for topics, agreeing with human judgements.


title: TweetsKB: A Public and Large-Scale RDF Corpus of Annotated Tweets

abstract: Publicly available social media archives facilitate research in a variety of fields, such as data science, sociology or the digital humanities, where Twitter has emerged as one of the most prominent sources. However, obtaining, archiving and annotating large amounts of tweets is costly. In this paper, we describe TweetsKB, a publicly available corpus of currently more than 1.5 billion tweets, spanning almost 5 years (Jan'13-Nov'17). Metadata information about the tweets as well as extracted entities, hashtags, user mentions and sentiment information are exposed using established RDF/S vocabularies. Next to a description of the extraction and annotation process, we present use cases to illustrate scenarios for entity-centric information exploration, data integration and knowledge discovery facilitated by TweetsKB.


title: Dental pathology detection in 3D cone-beam CT

abstract: Cone-beam computed tomography (CBCT) is a valuable imaging method in dental diagnostics that provides information not available in traditional 2D imaging. However, interpretation of CBCT images is a time-consuming process that requires a physician to work with complicated software. In this work we propose an automated pipeline composed of several deep convolutional neural networks and algorithmic heuristics. Our task is two-fold: a) find locations of each present tooth inside a 3D image volume, and b) detect several common tooth conditions in each tooth. The proposed system achieves 96.3\% accuracy in tooth localization and an average of 0.94 AUROC for 6 common tooth conditions.


title: QuanFuzz: Fuzz Testing of Quantum Program

abstract: Nowadays, quantum program is widely used and quickly developed. However, the absence of testing methodology restricts their quality. Different input format and operator from traditional program make this issue hard to resolve. In this paper, we present QuanFuzz, a search-based test input generator for quantum program. We define the quantum sensitive information to evaluate test input for quantum program and use matrix generator to generate test cases with higher coverage. First, we extract quantum sensitive information -- measurement operations on those quantum registers and the sensitive branches associated with those measurement results, from the quantum source code. Then, we use the sensitive information guided algorithm to mutate the initial input matrix and select those matrices which improve the probability weight for a value of the quantum register to trigger the sensitive branch. The process keeps iterating until the sensitive branch triggered. We tested QuanFuzz on benchmarks and acquired 20% - 60% more coverage compared to traditional testing input generation.


title: Influence of chemical kinetics on spontaneous waves and detonation initiation in highly reactive and low reactive mixtures

abstract: Understanding the mechanisms of explosions is important for minimizing devastating hazards. Due to the complexity of real chemistry, a single-step reaction mechanism is usually used for theoretical and numerical studies. The purpose of this study is to look more deeply into the influence of chemistry on detonation initiated by a spontaneous wave. Results of high resolution simulations performed for one-step models are compared with simulations for detailed chemical models for highly reactive and low reactive mixtures. The calculated induction times for H2/air and for CH4/air are validated against experimental measurements for a wide range of temperatures and pressures. It is found that the requirements in terms of temperature and size of the hot spots, which produce a spontaneous wave capable to initiate detonation, are quantitatively and qualitatively different for one-step models compared to the detailed chemical models. The impact of detailed chemical model is particularly pronounced for the methane-air mixture. In this case, not only the hot spot size is much greater than that predicted by a one-step model, but even at elevated pressure the initiation of detonation by a temperature gradient is possible only if the temperature outside the gradient is so high, that can ignite thermal explosion. The obtained results suggest that the one-step models do not reproduce correctly the transient and ignition processes, so that interpretation of the simulations performed using a one-step model for understanding mechanisms of flame acceleration, DDT and the origin of explosions must be considered with great caution.


title: Phase Dynamics of the Dysthe equation and the Bifurcation of Plane Waves

abstract: The bifurcation of plane waves to localised structures is investigated in the Dysthe equation, which incorporates the effects of mean flow and wave steepening. Through the use of phase modulation techniques, it is demonstrated that such occurrences may be described using a Korteweg - de Vries (KdV) equation. The solitary wave solutions of this system form a qualitative prototype for the bifurcating dynamics, and the role of mean flow and steepening is then made clear through how they enter the amplitude and width of these solitary waves. Additionally, higher order phase dynamics are investigated, leading to increased nonlinear regimes which in turn have a more profound impact on how the plane waves transform under defects in the phase.


title: First and Second Order Shape Optimization based on Restricted Mesh Deformations

abstract: We consider shape optimization problems subject to elliptic partial differential equations. In the context of the finite element method, the geometry to be optimized is represented by the computational mesh, and the optimization proceeds by repeatedly updating the mesh node positions. It is well known that such a procedure eventually may lead to a deterioration of mesh quality, or even an invalidation of the mesh, when interior nodes penetrate neighboring cells. We examine this phenomenon, which can be traced back to the ineptness of the discretized objective when considered over the space of mesh node positions. As a remedy, we propose a restriction in the admissible mesh deformations, inspired by the Hadamard structure theorem. First and second order methods are considered in this setting. Numerical results show that mesh degeneracy can be overcome, avoiding the need for remeshing or other strategies. FEniCS code for the proposed methods is available on GitHub.


title: On a general implementation of $h$- and $p$-adaptive curl-conforming finite elements

abstract: Edge (or N\'ed\'elec) finite elements are theoretically sound and widely used by the computational electromagnetics community. However, its implementation, specially for high order methods, is not trivial, since it involves many technicalities that are not properly described in the literature. To fill this gap, we provide a comprehensive description of a general implementation of edge elements of first kind within the scientific software project FEMPAR. We cover into detail how to implement arbitrary order (i.e., $p$-adaptive) elements on hexahedral and tetrahedral meshes. First, we set the three classical ingredients of the finite element definition by Ciarlet, both in the reference and the physical space: cell topologies, polynomial spaces and moments. With these ingredients, shape functions are automatically implemented by defining a judiciously chosen polynomial pre-basis that spans the local finite element space combined with a change of basis to automatically obtain a canonical basis with respect to the moments at hand. Next, we discuss global finite element spaces putting emphasis on the construction of global shape functions through oriented meshes, appropriate geometrical mappings, and equivalence classes of moments, in order to preserve the inter-element continuity of tangential components of the magnetic field. Finally, we extend the proposed methodology to generate global curl-conforming spaces on non-conforming hierarchically refined (i.e., $h$-adaptive) meshes with arbitrary order finite elements. Numerical results include experimental convergence rates to test the proposed implementation.


title: Translation Invariant Bipolaron Theory of Superconductivity and Spectroscopic Experiments

abstract: The explanation of the nature of superconducting gap in high temperature superconductors (HTSC) is a fundamental task which solution can lead to the understanding of superconducting mechanism. However, it has not been fully solved yet. From the mid of the twentieth century when Bardeen, Cooper and Schrieffer constructed their theory it has been believed that a superconducting gap is a collective phenomenon of electron excitations. In this work it is demonstrated that according to translation-invariant bipolaron theory of HTSC the different types of experiments measure for the gap different values. Thus tunneling experiments determine the bipolaron energy for a superconducting gap. On the other hand, the angle - resolved photoemission spectroscopy method measures the phonon frequency for which the electron-phonon interaction is maximum. Such effects as kinks in spectral measurements of gap, its angular dependence, existence of pseudogap and others have got natural explanations.


title: Revisiting low-frequency susceptibility data in superconducting materials

abstract: Old susceptibility data, measured in superconducting materials at low-frequency, are shown to be accounted for consistently within the framework of a recently published\cite{sz1} analysis of the skin effect. Their main merit is to emphasize the significance of the skin-depth measurements, performed \textit{just beneath} the critical temperature $T_c$, in order to disprove an assumption, which thwarted any understanding of the skin-depth data, achieved so far by conventional high-frequency methods, so that those data might, from now on, give access to the temperature dependence of the concentration of superconducting electrons.


title: Learning to Discriminate Noises for Incorporating External Information in Neural Machine Translation

abstract: Previous studies show that incorporating external information could improve the translation quality of Neural Machine Translation (NMT) systems. However, there are inevitably noises in the external information, severely reducing the benefit that the existing methods could receive from the incorporation. To tackle the problem, this study pays special attention to the discrimination of the noises during the incorporation. We argue that there exist two kinds of noise in this external information, i.e. global noise and local noise, which affect the translations for the whole sentence and for some specific words, respectively. Accordingly, we propose a general framework that learns to jointly discriminate both the global and local noises, so that the external information could be better leveraged. Our model is trained on the dataset derived from the original parallel corpus without any external labeled data or annotation. Experimental results in various real-world scenarios, language pairs, and neural architectures indicate that discriminating noises contributes to significant improvements in translation quality by being able to better incorporate the external information, even in very noisy conditions.


title: Topological circuits of inductors and capacitors

abstract: Alternating current (ac) circuits can have electromagnetic edge modes protected by symmetries, analogous to topological band insulators or semimetals. How to make such a topological circuit? This paper illustrates a particular design idea by analyzing a series of topological circuits consisting purely of inductors (L) and capacitors (C) connected to each other by wires to form periodic lattices. All the examples are treated using a unifying approach based on Lagrangians and the dynamical $H$-matrix. First, the building blocks and permutation wiring are introduced using simple circuits in one dimension, the SSH transmission line and a braided ladder analogous to the ice-tray model also known as the $\pi$-flux ladder. Then, more general building blocks (loops and stars) and wiring schemes ($m$-shifts) are introduced. The key concepts of emergent pseudo-spin degrees of freedom and synthetic gauge fields are discussed, and the connection to quantum lattice Hamiltonians is clarified. A diagrammatic notation is introduced to simplify the design and presentation of more complicated circuits. These building blocks are then used to construct topological circuits in higher dimensions. The examples include the circuit analog of Haldane's Chern insulator in two dimensions and quantum Hall insulator in four dimensions featuring finite second Chern numbers. The topological invariants and symmetry protection of the edge modes are discussed based on the $H$-matrix.

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


title: Evolution of gas-filled pore in bounded particles

abstract: In the present work, evolution of gas-filled pore inside spherical nanoshells is considered. On the supposition that diffusion fluxes are quasistationary, the nonlinear equation system is obtained analytically, that describes completely the behaviour of gas-filled pore and matrix shell. Two limiting cases are considered: the case when the pore is small as compared to the matrix shell and the case of the pore close to the matrix shell boundary. The characteristic regularities of pore behaviour are established.


title: The MeMAD Submission to the IWSLT 2018 Speech Translation Task

abstract: This paper describes the MeMAD project entry to the IWSLT Speech Translation Shared Task, addressing the translation of English audio into German text. Between the pipeline and end-to-end model tracks, we participated only in the former, with three contrastive systems. We tried also the latter, but were not able to finish our end-to-end model in time. All of our systems start by transcribing the audio into text through an automatic speech recognition (ASR) model trained on the TED-LIUM English Speech Recognition Corpus (TED-LIUM). Afterwards, we feed the transcripts into English-German text-based neural machine translation (NMT) models. Our systems employ three different translation models trained on separate training sets compiled from the English-German part of the TED Speech Translation Corpus (TED-Trans) and the OpenSubtitles2018 section of the OPUS collection. In this paper, we also describe the experiments leading up to our final systems. Our experiments indicate that using OpenSubtitles2018 in training significantly improves translation performance. We also experimented with various pre- and postprocessing routines for the NMT module, but we did not have much success with these. Our best-scoring system attains a BLEU score of 16.45 on the test set for this year's task.


title: Active Ranking with Subset-wise Preferences

abstract: We consider the problem of probably approximately correct (PAC) ranking $n$ items by adaptively eliciting subset-wise preference feedback. At each round, the learner chooses a subset of $k$ items and observes stochastic feedback indicating preference information of the winner (most preferred) item of the chosen subset drawn according to a Plackett-Luce (PL) subset choice model unknown a priori. The objective is to identify an $\epsilon$-optimal ranking of the $n$ items with probability at least $1 - \delta$. When the feedback in each subset round is a single Plackett-Luce-sampled item, we show $(\epsilon, \delta)$-PAC algorithms with a sample complexity of $O\left(\frac{n}{\epsilon^2} \ln \frac{n}{\delta} \right)$ rounds, which we establish as being order-optimal by exhibiting a matching sample complexity lower bound of $\Omega\left(\frac{n}{\epsilon^2} \ln \frac{n}{\delta} \right)$---this shows that there is essentially no improvement possible from the pairwise comparisons setting ($k = 2$). When, however, it is possible to elicit top-$m$ ($\leq k$) ranking feedback according to the PL model from each adaptively chosen subset of size $k$, we show that an $(\epsilon, \delta)$-PAC ranking sample complexity of $O\left(\frac{n}{m \epsilon^2} \ln \frac{n}{\delta} \right)$ is achievable with explicit algorithms, which represents an $m$-wise reduction in sample complexity compared to the pairwise case. This again turns out to be order-wise unimprovable across the class of symmetric ranking algorithms. Our algorithms rely on a novel {pivot trick} to maintain only $n$ itemwise score estimates, unlike $O(n^2)$ pairwise score estimates that has been used in prior work. We report results of numerical experiments that corroborate our findings.


title: Economic impact of IoT cyber risk -- Analysing past and present to predict the future developments in IoT risk analysis and IoT cyber insurance

abstract: This paper is focused on mapping the current evolution of Internet of Things (IoT) and its associated cyber risks for the Industry 4.0 (I4.0) sector. We report the results of a qualitative empirical study that correlates academic literature with 14 - I4.0 frameworks and initiatives. We apply the grounded theory approach to synthesise the findings from our literature review, to compare the cyber security frameworks and cyber security quantitative impact assessment models, with the world leading I4.0 technological trends. From the findings, we build a new impact assessment model of IoT cyber risk in Industry 4.0. We therefore advance the efforts of integrating standards and governance into Industry 4.0 and offer a better understanding of economics impact assessment models for I4.0.


title: Incremental Deep Learning for Robust Object Detection in Unknown Cluttered Environments

abstract: Object detection in streaming images is a major step in different detection-based applications, such as object tracking, action recognition, robot navigation, and visual surveillance applications. In mostcases, image quality is noisy and biased, and as a result, the data distributions are disturbed and imbalanced. Most object detection approaches, such as the faster region-based convolutional neural network (Faster RCNN), Single Shot Multibox Detector with 300x300 inputs (SSD300), and You Only Look Once version 2 (YOLOv2), rely on simple sampling without considering distortions and noise under real-world changing environments, despite poor object labeling. In this paper, we propose an Incremental active semi-supervised learning (IASSL) technology for unseen object detection. It combines batch-based active learning (AL) and bin-based semi-supervised learning (SSL) to leverage the strong points of AL's exploration and SSL's exploitation capabilities. A collaborative sampling method is also adopted to measure the uncertainty and diversity of AL and the confidence in SSL. Batch-based AL allows us to select more informative, confident, and representative samples with low cost. Bin-based SSL divides streaming image samples into several bins, and each bin repeatedly transfers the discriminative knowledge of convolutional neural network (CNN) deep learning to the next bin until the performance criterion is reached. IASSL can overcome noisy and biased labels in unknown, cluttered data distributions. We obtain superior performance, compared to state-of-the-art technologies such as Faster RCNN, SSD300, and YOLOv2.


title: Multi-scale Geometric Summaries for Similarity-based Sensor Fusion

abstract: In this work, we address fusion of heterogeneous sensor data using wavelet-based summaries of fused self-similarity information from each sensor. The technique we develop is quite general, does not require domain specific knowledge or physical models, and requires no training. Nonetheless, it can perform surprisingly well at the general task of differentiating classes of time-ordered behavior sequences which are sensed by more than one modality. As a demonstration of our capabilities in the audio to video context, we focus on the differentiation of speech sequences. Data from two or more modalities first are represented using self-similarity matrices(SSMs) corresponding to time-ordered point clouds in feature spaces of each of these data sources; we note that these feature spaces can be of entirely different scale and dimensionality. A fused similarity template is then derived from the modality-specific SSMs using a technique called similarity network fusion (SNF). We investigate pipelines using SNF as both an upstream (feature-level) and a downstream (ranking-level) fusion technique. Multiscale geometric features of this template are then extracted using a recently-developed technique called the scattering transform, and these features are then used to differentiate speech sequences. This method outperforms unsupervised techniques which operate directly on the raw data, and it also outperforms stovepiped methods which operate on SSMs separately derived from the distinct modalities. The benefits of this method become even more apparent as the simulated peak signal to noise ratio decreases.


title: Multi-Stage Reinforcement Learning For Object Detection

abstract: We present a reinforcement learning approach for detecting objects within an image. Our approach performs a step-wise deformation of a bounding box with the goal of tightly framing the object. It uses a hierarchical tree-like representation of predefined region candidates, which the agent can zoom in on. This reduces the number of region candidates that must be evaluated so that the agent can afford to compute new feature maps before each step to enhance detection quality. We compare an approach that is based purely on zoom actions with one that is extended by a second refinement stage to fine-tune the bounding box after each zoom step. We also improve the fitting ability by allowing for different aspect ratios of the bounding box. Finally, we propose different reward functions to lead to a better guidance of the agent while following its search trajectories. Experiments indicate that each of these extensions leads to more correct detections. The best performing approach comprises a zoom stage and a refinement stage, uses aspect-ratio modifying actions and is trained using a combination of three different reward metrics.


title: Coherence Constraints in Facial Expression Recognition

abstract: Recognizing facial expressions from static images or video sequences is a widely studied but still challenging problem. The recent progresses obtained by deep neural architectures, or by ensembles of heterogeneous models, have shown that integrating multiple input representations leads to state-of-the-art results. In particular, the appearance and the shape of the input face, or the representations of some face parts, are commonly used to boost the quality of the recognizer. This paper investigates the application of Convolutional Neural Networks (CNNs) with the aim of building a versatile recognizer of expressions in static images that can be further applied to video sequences. We first study the importance of different face parts in the recognition task, focussing on appearance and shape-related features. Then we cast the learning problem in the Semi-Supervised setting, exploiting video data, where only a few frames are supervised. The unsupervised portion of the training data is used to enforce three types of coherence, namely temporal coherence, coherence among the predictions on the face parts and coherence between appearance and shape-based representation. Our experimental analysis shows that coherence constraints can improve the quality of the expression recognizer, thus offering a suitable basis to profitably exploit unsupervised video sequences. Finally we present some examples with occlusions where the shape-based predictor performs better than the appearance one.


title: BshapeNet: Object Detection and Instance Segmentation with Bounding Shape Masks

abstract: Recent object detectors use four-coordinate bounding box (bbox) regression to predict object locations. Providing additional information indicating the object positions and coordinates will improve detection performance. Thus, we propose two types of masks: a bbox mask and a bounding shape (bshape) mask, to represent the object's bbox and boundary shape, respectively. For each of these types, we consider two variants: the Thick model and the Scored model, both of which have the same morphology but differ in ways to make their boundaries thicker. To evaluate the proposed masks, we design extended frameworks by adding a bshape mask (or a bbox mask) branch to a Faster R-CNN framework, and call this BshapeNet (or BboxNet). Further, we propose BshapeNet+, a network that combines a bshape mask branch with a Mask R-CNN to improve instance segmentation as well as detection. Among our proposed models, BshapeNet+ demonstrates the best performance in both tasks and achieves highly competitive results with state of the art (SOTA) models. Particularly, it improves the detection results over Faster R-CNN+RoIAlign (37.3% and 28.9%) with a detection AP of 42.4% and 32.3% on MS COCO test-dev and Cityscapes val, respectively. Furthermore, for small objects, it achieves 24.9% AP on COCO test-dev, a significant improvement over previous SOTA models. For instance segmentation, it is substantially superior to Mask R-CNN on both test datasets.


title: Label Propagation for Learning with Label Proportions

abstract: Learning with Label Proportions (LLP) is the problem of recovering the underlying true labels given a dataset when the data is presented in the form of bags. This paradigm is particularly suitable in contexts where providing individual labels is expensive and label aggregates are more easily obtained. In the healthcare domain, it is a burden for a patient to keep a detailed diary of their daily routines, but often they will be amenable to provide higher level summaries of daily behavior. We present a novel and efficient graph-based algorithm that encourages local smoothness and exploits the global structure of the data, while preserving the `mass' of each bag.


title: Vehicle classification using ResNets, localisation and spatially-weighted pooling

abstract: We investigate whether ResNet architectures can outperform more traditional Convolutional Neural Networks on the task of fine-grained vehicle classification. We train and test ResNet-18, ResNet-34 and ResNet-50 on the Comprehensive Cars dataset without pre-training on other datasets. We then modify the networks to use Spatially Weighted Pooling. Finally, we add a localisation step before the classification process, using a network based on ResNet-50. We find that using Spatially Weighted Pooling and localisation both improve classification accuracy of ResNet50. Spatially Weighted Pooling increases accuracy by 1.5 percent points and localisation increases accuracy by 3.4 percent points. Using both increases accuracy by 3.7 percent points giving a top-1 accuracy of 96.351\% on the Comprehensive Cars dataset. Our method achieves higher accuracy than a range of methods including those that use traditional CNNs. However, our method does not perform quite as well as pre-trained networks that use Spatially Weighted Pooling.


title: Hyper-Process Model: A Zero-Shot Learning algorithm for Regression Problems based on Shape Analysis

abstract: Zero-shot learning (ZSL) can be defined by correctly solving a task where no training data is available, based on previous acquired knowledge from different, but related tasks. So far, this area has mostly drawn the attention from computer vision community where a new unseen image needs to be correctly classified, assuming the target class was not used in the training procedure. Apart from image classification, only a couple of generic methods were proposed that are applicable to both classification and regression. These learn the relation among model coefficients so new ones can be predicted according to provided conditions. So far, up to our knowledge, no methods exist that are applicable only to regression, and take advantage from such setting. Therefore, the present work proposes a novel algorithm for regression problems that uses data drawn from trained models, instead of model coefficients. In this case, a shape analyses on the data is performed to create a statistical shape model and generate new shapes to train new models. The proposed algorithm is tested in a theoretical setting using the beta distribution where main problem to solve is to estimate a function that predicts curves, based on already learned different, but related ones.