The Modal Logics of Kripke Feferman Truth. We determine the modal logic of fixed point models of truth and their axiomatizations by Solomon Feferman via Solovay style completeness results. Given a fixed point model mathcal M , or an axiomatization S thereof, we find a modal logic M such that a modal sentence varphi is a theorem of M if and only if the sentence varphi obtained by translating the modal operator with the truth predicate is true in mathcal M or a theorem of S under all such translations. To this end, we introduce a novel version of possible worlds semantics featuring both classical and nonclassical worlds and establish the completeness of a family of non congruent modal logics whose internal logic is subclassical with respect to this semantics.


Improving Question Generation With to the Point Context. Question generation (QG) is the task of generating a question from a reference sentence and a specified answer within the sentence. A major challenge in QG is to identify answer relevant context words to finish the declarative to interrogative sentence transformation. Existing sequence to sequence neural models achieve this goal by proximity based answer position encoding under the intuition that neighboring words of answers are of high possibility to be answer relevant. However, such intuition may not apply to all cases especially for sentences with complex answer relevant relations. Consequently, the performance of these models drops sharply when the relative distance between the answer fragment and other non stop sentence words that also appear in the ground truth question increases. To address this issue, we propose a method to jointly model the unstructured sentence and the structured answer relevant relation (extracted from the sentence in advance) for question generation. Specifically, the structured answer relevant relation acts as the to the point context and it thus naturally helps keep the generated question to the point, while the unstructured sentence provides the full information. Extensive experiments show that to the point context helps our question generation model achieve significant improvements on several automatic evaluation metrics. Furthermore, our model is capable of generating diverse questions for a sentence which conveys multiple relations of its answer fragment.


Location of Ritz values in the numerical range of normal matrices. Let mu 1 be a complex number in the numerical range W(A) of a normal matrix A . In the case when no eigenvalues of A lie in the interior of W(A) , we identify the smallest convex region containing all possible complex numbers mu 2 for which begin bmatrix mu 1 0 mu 2 end bmatrix is a 2 by 2 compression of A .


A Locking Free P 0 Finite Element Method for Linear Elasticity Equations on Polytopal Partitions. This article presents a P 0 finite element method for boundary value problems for linear elasticity equations. The new method makes use of piecewise constant approximating functions on the boundary of each polytopal element, and is devised by simplifying and modifying the weak Galerkin finite element method based on P 1 P 0 approximations for the displacement. This new scheme includes a tangential stability term on top of the simplified weak Galerkin to ensure the necessary stability due to the rigid motion. The new method involves a small number of unknowns on each element it is user friendly in computer implementation and the element stiffness matrix can be easily computed for general polytopal elements. The numerical method is of second order accurate, locking free in the nearly incompressible limit, ease polytopal partitions in practical computation. Error estimates in H 1 , L 2 , and some negative norms are established for the corresponding numerical displacement. Numerical results are reported for several 2D and 3D test problems, including the classical benchmark Cook's membrane problem in two dimensions as well as some three dimensional problems involving shear loaded phenomenon. The numerical results show clearly the simplicity, stability, accuracy, and the efficiency of the new method.


On the distribution of rational points on ramified covers of abelian varieties. We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields k of characteristic zero. For example, given a ramified cover pi X to A , where A is an abelian variety over k with a dense set of k rational points, we prove that there is a finite index coset C subset A(k) such that pi(X(k)) is disjoint from C . Our results do not seem to be in the range of other methods available at present they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised by Serre regarding possible applications to the Inverse Galois Problem. Finally, the conclusions of our work may be seen as a sharp version of Hilbert's irreducibility theorem for abelian varieties.


Some properties of h extendible domains in mathbb C n 1 . The purpose of this article is twofold. The first aim is to characterize h extendibility of smoothly bounded pseudoconvex domains in mathbb C n 1 by their noncompact automorphism groups. Our second goal is to show that if the squeezing function tends to 1 at an h extendible boundary point of a smooth pseudoconvex domain in mathbb C n 1 , then this point must be strongly pseudoconvex.


Adjoint Complement to the Universal Momentum Law of the Wall. The paper is devoted to an adjoint complement to the universal Law of the Wall (LoW) for fluid dynamic momentum boundary layers. The latter typically follows from a strongly simplified, unidirectional shear flow under a constant stress assumption. We first derive the adjoint companion of the simplified momentum equation, while distinguishing between two strategies. Using mixing length arguments, we demonstrate that the frozen turbulence strategy and a LoW consistent (differentiated) approach provide virtually the same adjoint momentum equations, that differ only in a single scalar coefficient controlling the inclination in the logarithmic region. Moreover, it is seen that an adjoint LoW can be derived which resembles its primal counterpart in many aspects. The strategy is also compatible with wall function assumptions for prominent RANS type two equation turbulence models, which ground on the mixing length hypothesis. As a direct consequence of the frequently employed assumption that all primal flow properties algebraically scale with the friction velocity, it is demonstrated that a simple algebraic expression provides a consistent closure of the adjoint momentum equation in the logarithmic layer. This algebraic adjoint closure might also serve as an approximation for more general adjoint flow optimization studies using standard one or two equation Boussinesq viscosity models for the primal flow. Results obtained from the suggested algebraic closure are verified against the primal adjoint LoW formulations for both, low and high Re settings. Applications included in this paper refer to two and three dimensional shape optimizations of internal and external engineering flows. Related results indicate that the proposed adjoint algebraic turbulence closure accelerates the optimization process and provides improved optima in comparison to the frozen turbulence approach.


Secrecy Outage Analysis of Two Hop Decode and Forward Mixed RF UWOC Systems. We analyze the secrecy performance of a two hop mixed radio frequency (RF) underwater wireless optical communication (UWOC) system using a decode and forward (DF) relay. All RF and UWOC links are modeled by the alpha mu and exponential generalized Gamma distributions, respectively. We first derive the expressions of the secrecy outage probability (SOP) in exact closed form, which are subsequently used to derive asymptotic expressions at high SNR that only includes simple functions for further insight. Moreover, based on the asymptotic expression, we can determine the optimal transmit power for a wide variety of RF and UWOC channel conditions. All analyses are validated using Monte Carlo simulation.


Laser driven jetting of nanoscale non conducting liquid droplets via hollow optical fiber. Along a single strand of micro capillary optical waveguide, we achieved an efficient transfer of the light momentum onto the liquid contained there within, successfully atomizing it into nanoscale droplets. A hollow optical fiber (HOF), with a ring core and central air hole, was used to optically drive jetting of non conducting transparent liquid of sub pico liter volume, out of a surface treated facet orifice, producing droplets ranging from nano to micrometer scale. These droplets were carried over the propagating light field forming a spherical cone, which were then deposited on a silica substrate in a Gaussian spatial distribution. The deposited patterns and sizes of individual droplets were characterized as a function of the laser power, irradiation time, and distance between the HOF and a substrate. This HOF based laser driven atomization technique obviates imperative electrode or aerial pressure requirements in prior methods, opening a new pathway to drastically scale down the form factor of liquid jetting devices, and has a high potential to in situ atomization and delivery of bio medical non conducting liquids in a microscopic environment, which was not possible in prior arts.


Noise induced acceleration of single molecule kinesin 1. The movement of single kinesin molecules was observed while applying noisy external forces that mimic intracellular active fluctuations. We found kinesin accelerates under noise, especially when a large hindering load is added. The behavior quantitatively conformed to a theoretical model that describes the kinesin movement with simple two state reactions. The universality of the kinetic theory suggests that intracellular enzymes share a similar noise induced acceleration mechanism, i.e. active fluctuations in cells are not just noise but are utilized to promote various physiological processes.


Adaptive numerical homogenization of non linear diffusion problems. We propose an efficient numerical strategy for simulating fluid flow through porous media with highly oscillatory characteristics. Specifically, we consider non linear diffusion models. This scheme is based on the classical homogenization theory and uses a locally mass conservative formulation. In addition, we discuss some properties of the standard non linear solvers and use an error estimator to perform a local mesh refinement. The main idea is to compute the effective parameters in such a way that the computational complexity is reduced without affecting the accuracy. We perform some numerical examples to illustrate the behaviour of the adaptive scheme and of the non linear solvers. Finally, we discuss the advantages of the implementation of the numerical homogenization in a periodic media and the applicability of the same scheme in non periodic test cases such as SPE10th project.


Bridging Anaphora Resolution as Question Answering. Most previous studies on bridging anaphora resolution (Poesio et al., 2004 Hou et al., 2013b Hou, 2018a) use the pairwise model to tackle the problem and assume that the gold mention information is given. In this paper, we cast bridging anaphora resolution as question answering based on context. This allows us to find the antecedent for a given anaphor without knowing any gold mention information (except the anaphor itself). We present a question answering framework (BARQA) for this task, which leverages the power of transfer learning. Furthermore, we propose a novel method to generate a large amount of "quasi bridging" training data. We show that our model pre trained on this dataset and fine tuned on a small amount of in domain dataset achieves new state of the art results for bridging anaphora resolution on two bridging corpora (ISNotes (Markert et al., 2012) and BASHI (Roesiger, 2018)).


Analytic Gradients of Approximate Coupled Cluster Methods with Quadruple Excitations. The analytic gradient theory for both iterative and non iterative coupled cluster approximations that include connected quadruple excitations is presented. These methods include, in particular, CCSDT(Q), which is an analog of the well known CCSD(T) method which starts from the full CCSDT method rather than CCSD. The resulting methods are implemented in the CFOUR program suite, and pilot applications are presented for the equilibrium geometries and harmonic vibrational frequencies of the simplest Criegee intermediate, CH 2 OO, as well as to the isomerization pathway between dimethylcarbene and propene. While all methods are seen to approximate the full CCSDTQ results well for "well behaved" systems, the more difficult case of the Criegee intermediate shows that CCSDT(Q), as well as certain iterative approximations, display problematic behavior.


Database Meets Deep Learning Challenges and Opportunities. Deep learning has recently become very popular on account of its incredible success in many complex data driven applications, such as image classification and speech recognition. The database community has worked on data driven applications for many years, and therefore should be playing a lead role in supporting this new wave. However, databases and deep learning are different in terms of both techniques and applications. In this paper, we discuss research problems at the intersection of the two fields. In particular, we discuss possible improvements for deep learning systems from a database perspective, and analyze database applications that may benefit from deep learning techniques.


Perverse sheaves over real hyperplane arrangements II. Let H be an arrangement of hyperplanes in R n and Perv(C n,H) be the category of perverse sheaves on C n smooth with respect to the stratification given by complexified flats of H. We give a description of Perv(C n,H) in terms of "matrix diagrams", i.e., diagrams formed by vector spaces E AB labelled by pairs A,B of real faces of H (of all dimensions) or, equivalently, by the cells iA B of a natural cell decomposition of C n. A matrix diagram is formally similar to a datum describing a constructible (non perverse) sheaf but with the direction of one half of the arrows reversed.


Rational Groups and a Characterization of a Class of Permutation Groups. We prove that a finite group is rational if and only if it has a set of permutation characters which separate conjugacy classes. It follows from this that a finite group is rational if and only if it has a representation as a permutation group in which any two elements fixing the same number of letters are conjugate.


Dynamic Longest Common Substring in Polylogarithmic Time. The longest common substring problem consists in finding a longest string that appears as a (contiguous) substring of two input strings. We consider the dynamic variant of this problem, in which we are to maintain two dynamic strings S and T , each of length at most n , that undergo substitutions of letters, in order to be able to return a longest common substring after each substitution. Recently, Amir et al. ESA 2019 presented a solution for this problem that needs only tilde mathcal O (n 2 3 ) time per update. This brought the challenge of determining whether there exists a faster solution with polylogarithmic update time, or (as is the case for other dynamic problems), we should expect a polynomial (conditional) lower bound. We answer this question by designing a significantly faster algorithm that processes each substitution in amortized log mathcal O (1) n time with high probability. Our solution relies on exploiting the local consistency of the parsing of a collection of dynamic strings due to Gawrychowski et al. SODA 2018 , and on maintaining two dynamic trees with labeled bicolored leaves, so that after each update we can report a pair of nodes, one from each tree, of maximum combined weight, which have at least one common leaf descendant of each color. We complement this with a lower bound of Omega( log n log log n) for the update time of any polynomial size data structure that maintains the LCS of two dynamic strings, and the same lower bound for the update time of any data structure of size tilde mathcal O (n) that maintains the LCS of a static and a dynamic string. Both lower bounds hold even allowing amortization and randomization.


An Asymptotically Compatible Formulation for Local to Nonlocal Coupling Problems without Overlapping Regions. In this paper we design and analyze an explicit partitioned procedure for a 2D dynamic local to nonlocal (LtN) coupling problem, based on a new nonlocal Robin type transmission condition. The nonlocal subproblem is modeled by the nonlocal heat equation with a finite horizon parameter delta characterizing the range of nonlocal interactions, and the local subproblem is described by the classical heat equation. We consider a heterogeneous system where the local and nonlocal subproblems present different physical properties, and employ no overlapping region between the two subdomains. We first propose a new generalization of classical local Neumann type condition by converting the local flux to a correction term in the nonlocal model, and show that the proposed Neumann type boundary formulation recovers the local case as O( delta 2) in the L infty norm. We then extend the nonlocal Neumann type boundary condition to a Robin type boundary condition, and develop a local to nonlocal coupling formulation with Robin Dirichlet transmission conditions. To stabilize the explicit coupling procedure and to achieve asymptotic compatibility, the choice of the coefficient in the Robin condition is obtained via amplification factor analysis for the discretized system with coarse grids. Employing a high order meshfree discretization method in the nonlocal solver and a linear finite element method in the local solver, the selection of optimal Robin coefficients are verified with numerical experiments on heterogeneous and complicated domains. With the developed optimal coupling strategy, we numerically demonstrate the coupling framework's asymptotic convergence to the local limit with an O( delta) O(h) rate, when there is a fixed ratio between the horizon size delta and the spatial discretization size h .


Superposition principles for the Zakai equations and the Fokker Planck equations on measure spaces. The work concerns the superposition between the Zakai equations and the Fokker Planck equations on measure spaces. First, we prove a superposition principle for the Fokker Planck equations on mR mN under the integrable condition. And then by means of it, we show two superposition principles for the weak solutions of the Zakai equations from the nonlinear filtering problems and the weak solutions of the Fokker Planck equations on measure spaces. As a by product, we give some weak conditions under which the Fokker Planck equations can be solved in the weak sense.


Ultra wideband Reflection type Metasurface for Generating Integer and Fractional Orbital Angular Momentum. Vortex beams carrying orbital angular momentum are extensively studied owing to its potential to expand channel capacity of microwave and optical communication. By utilizing the Pancharatnam Berry phase concept, an ultra wideband single layer metasurface is proposed to realize the conversion from incident plane waves to reflected vortex beams covering a considerable bandwidth from 6.75 to 21.85 GHz . An equivalent circuit model combined with broadband phase shift network is developed to effectively design the meta atoms in metasurface. It is the first time to design wideband metasurfaces with the phase based characteristics. To verify the proposed model, some deformed square loop meta atoms are proposed to construct the metasurfaces with broadband OAM characteristic. Moreover, the vortex beams with the integer (l 3), fractional (l 1.5), and high order (l 10) OAM mode are generated respectively. Based on an OAM spectral analysis, the mode purity of the generated vortex waves is discussed in detail. The experimental results achieve a good agreement with those obtained from the simulation, thus proving the effectiveness and practicability of the proposed method.


Capacity achieving codes a review on double transitivity. Recently it was proved that if a linear code is invariant under the action of a doubly transitive permutation group, it achieves the capacity of erasure channel. Therefore, it is of sufficient interest to classify all codes, invariant under such permutation groups. We take a step in this direction and give a review of all suitable groups and the known results on codes invariant under these groups. It turns out that there are capacity achieving families of algebraic geometric codes.


How to model honeybee population dynamics stage structure and seasonality. Western honeybees (Apis Mellifera) serve extremely important roles in our ecosystem and economics as they are responsible for pollinating 215 billion dollars annually over the world. Unfortunately, honeybee population and their colonies have been declined dramatically. The purpose of this article is to explore how we should model honeybee population with age structure and validate the model using empirical data so that we can identify different factors that lead to the survival and healthy of the honeybee colony. Our theoretical study combined with simulations and data validation suggests that the proper age structure incorporated in the model and seasonality are important for modeling honeybee population. Specifically, our work implies that the model assuming that (1) the adult bees are survived from the egg population rather than the brood population and (2) seasonality in the queen egg laying rate, give the better fit than other honeybee models. The related theoretical and numerical analysis of the most fit model indicate that (a) the survival of honeybee colonies requires a large queen egg laying rate and smaller values of the other life history parameter values in addition to proper initial condition (b) both brood and adult bee populations are increasing with respect to the increase in the egg laying rate and the decreasing in other parameter values and (c) seasonality may promote suppress the survival of the honeybee colony.


Downlink Pilot Precoding and Compressed Channel Feedback for FDD Based Cell Free Systems. Cell free system where a group of base stations (BSs) cooperatively serves users has received much attention as a promising technology for the future wireless systems. In order to maximize the cooperation gain in the cell free systems, acquisition of downlink channel state information (CSI) at the BSs is crucial. While this task is relatively easy for the time division duplexing (TDD) systems due to the channel reciprocity, it is not easy for the frequency division duplexing (FDD) systems due to the CSI feedback overhead. This issue is even more pronounced in the cell free systems since the user needs to feed back the CSIs of multiple BSs. In this paper, we propose a novel feedback reduction technique for the FDD based cell free systems. Key feature of the proposed technique is to choose a few dominating paths and then feed back the path gain information (PGI) of the chosen paths. By exploiting the property that the angles of departure (AoDs) are quite similar in the uplink and downlink channels (this property is referred to as angle reciprocity), the BSs obtain the AoDs directly from the uplink pilot signal. From the extensive simulations, we observe that the proposed technique can achieve more than 80 of feedback overhead reduction over the conventional CSI feedback scheme.


Geodesic Paths for Image Segmentation with Implicit Region based Homogeneity Enhancement. Minimal paths are regarded as a powerful and efficient tool for boundary detection and image segmentation due to its global optimality and the well established numerical solutions such as fast marching method. In this paper, we introduce a flexible interactive image segmentation model based on the Eikonal partial differential equation (PDE) framework in conjunction with region based homogeneity enhancement. A key ingredient in the introduced model is the construction of local geodesic metrics, which are capable of integrating anisotropic and asymmetric edge features, implicit region based homogeneity features and or curvature regularization. The incorporation of the region based homogeneity features into the metrics considered relies on an implicit representation of these features, which is one of the contributions of this work. Moreover, we also introduce a way to build simple closed contours as the concatenation of two disjoint open curves. Experimental results prove that the proposed model indeed outperforms state of the art minimal paths based image segmentation approaches.


Predict and Use Latent Patterns for Short Text Conversation. Many neural network models nowadays have achieved promising performances in Chit chat settings. The majority of them rely on an encoder for understanding the post and a decoder for generating the response. Without given assigned semantics, the models lack the fine grained control over responses as the semantic mapping between posts and responses is hidden on the fly within the end to end manners. Some previous works utilize sampled latent words as a controllable semantic form to drive the generated response around the work, but few works attempt to use more complex semantic patterns to guide the generation. In this paper, we propose to use more detailed semantic forms, including latent responses and part of speech sequences sampled from the corresponding distributions, as the controllable semantics to guide the generation. Our results show that the richer semantics are not only able to provide informative and diverse responses, but also increase the overall performance of response quality, including fluency and coherence.


Extending Implicit Discourse Relation Recognition to the PDTB 3. The PDTB 3 contains many more Implicit discourse relations than the previous PDTB 2. This is in part because implicit relations have now been annotated within sentences as well as between them. In addition, some now co occur with explicit discourse relations, instead of standing on their own. Here we show that while this can complicate the problem of identifying the location of implicit discourse relations, it can in turn simplify the problem of identifying their senses. We present data to support this claim, as well as methods that can serve as a non trivial baseline for future state of the art recognizers for implicit discourse relations.


On Shamsuddin derivations and the isotropy groups. In the paper, we give an affirmative answer to the conjecture in cite 13 . We prove that a Shamsuddin derivation D is simple if and only if operatorname Aut (K x,y 1, allowbreak ldots,y n ) D id . In addition, we calculate the isotropy groups of the Shamsuddin derivations d partial x sum j 1 r(a(x)y j b j(x)) partial j of K x,y 1, ldots,y r . We also prove that d is a Mathieu Zhao subspace if and only if a(x) in K .


Intrinsic Hierarchical Clustering Behavior Recovers Higher Dimensional Shape Information. We show that specific higher dimensional shape information of point cloud data can be recovered by observing lower dimensional hierarchical clustering dynamics. We generate multiple point samples from point clouds and perform hierarchical clustering within each sample to produce dendrograms. From these dendrograms, we take cluster evolution and merging data that capture clustering behavior to construct simplified diagrams that record the lifetime of clusters akin to what zero dimensional persistence diagrams do in topological data analysis. We compare differences between these diagrams using the bottleneck metric, and examine the resulting distribution. Finally, we show that statistical features drawn from these bottleneck distance distributions detect artefacts of, and can be tapped to recover higher dimensional shape characteristics.


Seven properties of self organization in the human brain. The principle of self organization has acquired a fundamental significance in the newly emerging field of computational philosophy. Self organizing systems have been described in various domains in science and philosophy including physics, neuroscience, biology and medicine, ecology, and sociology. While system architecture and their general purpose may depend on domain specific concepts and definitions, there are at least seven key properties of self organization clearly identified in brain systems modular connectivity, unsupervised learning, adaptive ability, functional resiliency, functional plasticity, from local to global functional organization and dynamic system growth. These are defined here in the light of insight from neurobiology, cognitive neuroscience and Adaptive Resonance Theory (ART), and physics to show that self organization achieves stability and functional plasticity while minimizing structural system complexity. A specific example informed by empirical research is discussed to illustrate how modularity, adaptive learning, and dynamic network growth enable stable yet plastic somatosensory representation for human grip force control. Implications for the design of strong artificial intelligence in robotics are brought forward.


Learn to Predict Sets Using Feed Forward Neural Networks. This paper addresses the task of set prediction using deep feed forward neural networks. A set is a collection of elements which is invariant under permutation and the size of a set is not fixed in advance. Many real world problems, such as image tagging and object detection, have outputs that are naturally expressed as sets of entities. This creates a challenge for traditional deep neural networks which naturally deal with structured outputs such as vectors, matrices or tensors. We present a novel approach for learning to predict sets with unknown permutation and cardinality using deep neural networks. In our formulation we define a likelihood for a set distribution represented by a) two discrete distributions defining the set cardinally and permutation variables, and b) a joint distribution over set elements with a fixed cardinality. Depending on the problem under consideration, we define different training models for set prediction using deep neural networks. We demonstrate the validity of our set formulations on relevant vision problems such as 1) multi label image classification where we outperform the other competing methods on the PASCAL VOC and MS COCO datasets, 2) object detection, for which our formulation outperforms popular state of the art detectors, and 3) a complex CAPTCHA test, where we observe that, surprisingly, our set based network acquired the ability of mimicking arithmetics without any rules being coded.


Syntax driven Iterative Expansion Language Models for Controllable Text Generation. The dominant language modeling paradigm handles text as a sequence of discrete tokens. While that approach can capture the latent structure of the text, it is inherently constrained to sequential dynamics for text generation. We propose a new paradigm for introducing a syntactic inductive bias into neural text generation, where the dependency parse tree is used to drive the Transformer model to generate sentences iteratively. Our experiments show that this paradigm is effective at text generation, with quality between LSTMs and Transformers, and comparable diversity, requiring less than half their decoding steps, and its generation process allows direct control over the syntactic constructions of the generated text, enabling the induction of stylistic variations.


Universal Tutte polynomial. The Tutte polynomial is a well studied invariant of graphs and matroids. We first extend the Tutte polynomial from graphs to hypergraphs, and more generally from matroids to polymatroids, as a two variable polynomial. Our definition is related to previous works of Cameron and Fink and of K 'alm 'an and Postnikov. We then define the universal Tutte polynomial T n , which is a polynomial of degree n in 2 (2 n 1) variables that specializes to the Tutte polynomials of all polymatroids (hence all matroids) on a ground set with n elements. The universal polynomial T n admits three kinds of symmetries translation invariance, S n invariance, and duality.


A surface finite element method for computational modelling of cell blebbing. Cell blebs are protrusions of the cell membrane and can be instrumental for cell migration. We derive a continuum model for the mechanical and geometrical aspects of the onset of blebbing in terms of a force balance. It is abstract and flexible in that it allows for amending force contributions related to membrane tension or the presence of linker molecules between membrane and cell cortex. The deforming membrane and all forces are expressed by means of a parametrisation over a stationary reference surface. A variational formulation is presented and analysed for well posedness. For this purpose, we derive a semi discrete scheme based on the surface finite element method. We provide a convergence result and estimates of the error due to the spatial discretisation. Furthermore, we present a computational framework where specific models can be implemented and later on conveniently amended if desired, using a domain specific language implemented in Python. While the high level program control can be done within the Python scripting environment, the actual computationally expensive step of evolving the solution over time is carried out by binding to an efficient software backend. Cell membrane geometries given in terms of a parametrisation or obtained from image data can be accounted for. A couple of numerical simulation results illustrate the approach.


From Equations to Distinctions Two Interpretations of Effectful Computations. There are several ways to define program equivalence for functional programs with algebraic effects. We consider two complementing ways to specify behavioural equivalence. One way is to specify a set of axiomatic equations, and allow proof methods to show that two programs are equivalent. Another way is to specify an Eilenberg Moore algebra, which generate tests that could distinguish programs. These two methods are said to complement each other if any two programs can be shown to be equivalent if and only if there is no test to distinguish them. In this paper, we study a generic method to formulate from a set of axiomatic equations an Eilenberg Moore algebra which complements it. We will look at an additional condition which must be satisfied for this to work. We then apply this method to a handful of examples of effects, including probability and global store, and show they coincide with the usual algebras from the literature. We will moreover study whether or not it is possible to specify a set of unary Boolean modalities which could function as distinction tests complementing the equational theory.


Display object alignment may influence location recall in unexpected ways. There is a presumption in human computer interaction that laying out menus and most other material in neat rows and columns helps users get work done. The rule has been so implicit in the field of design as to allow for no debate. However, the idea that perfect collinearity benefits creates an advantage for both either search and or recall has rarely been tested. Drawing from separate branches of cognitive literature, we tested a minimal brainstorming interface with either aligned or eccentrically arranged layouts on 96 college students. Incidental exact recall of recently worked locations improved in the eccentric condition. And in both conditions there were frequent near miss recall errors to neighboring aligned objects and groups of objects. Further analysis found only marginal performance advantages specifically for females with the eccentric design. However, NASA TLX subjective measures showed that in eccentric, females reported higher performance, less effort, and yet also higher frustration while males reported lower performance with about the same effort, and lower frustration.


Towards a calibration of laboratory setups for grazing incidence and total reflection X ray fluorescence analysis. Grazing Incidence X ray fluorescence (GIXRF) analysis, which is closely related to total reflection XRF, is a very powerful technique for the in depth analysis of many types of technologically relevant samples, e.g. nanoparticle depositions, shallow dopant profiles, thin layered samples or even well ordered nanostructures. However, the GIXRF based determination of the depth dependent information about the sample is usually based on a modelling of the experimental data. This requires profound knowledge of the geometrical parameters of the setup employed, especially the incident beam profile as well as the detector aperture parameters. Together they determine the incident angle dependent so called effective solid angle of detection which must be known in order to model any experimental data set. In this work, we demonstrate how these instrumental parameters, which are typically not known with sufficient accuracy, can be determined using dedicated experiments with a well known calibration sample. In addition, this paves the way for a full calibration of the setup, as also information about other parameters, e.g. the incident photon flux is gained. Here, we are using a Bruker S4 T STAR instrument for this demonstration but the principle can also be applied for other GIXRF setups.


Human Like Active Learning Machines Simulating the Human Learning Process. Although the use of active learning to increase learners' engagement has recently been introduced in a variety of methods, empirical experiments are lacking. In this study, we attempted to align two experiments in order to (1) make a hypothesis for machine and (2) empirically confirm the effect of active learning on learning. In Experiment 1, we compared the effect of a passive form of learning to active form of learning. The results showed that active learning had a greater learning outcomes than passive learning. In the machine experiment based on the human result, we imitated the human active learning as a form of knowledge distillation. The active learning framework performed better than the passive learning framework. In the end, we showed not only that we can make build better machine training framework through the human experiment result, but also empirically confirm the result of human experiment through imitated machine experiments human like active learning have crucial effect on learning performance.


Session A Model for End To End Encrypted Conversations With Minimal Metadata Leakage. Session is an open source, public key based secure messaging application which uses a set of decentralised storage servers and an onion routing protocol to send end to end encrypted messages with minimal exposure of user metadata. It does this while also providing common features of mainstream messaging applications.


Energy Efficient Node Deployment in Heterogeneous Two Tier Wireless Sensor Networks with Limited Communication Range. We study a heterogeneous two tier wireless sensor network in which N heterogeneous access points (APs) collect sensing data from densely distributed sensors and then forward the data to M heterogeneous fusion centers (FCs). This heterogeneous node deployment problem is modeled as an optimization problem with the total power consumption of the network as its cost function. The necessary conditions of the optimal AP and FC node deployment are explored in this paper. We provide a variation of Voronoi Diagram as the optimal cell partition for this network and show that each AP should be placed between its connected FC and the geometric center of its cell partition. In addition, we propose a heterogeneous two tier Lloyd algorithm to optimize the node deployment. Furthermore, we study the sensor deployment when the communication range is limited for sensors and APs. Simulation results show that our proposed algorithms outperform the existing clustering methods like Minimum Energy Routing, Agglomerative Clustering, Divisive Clustering, Particle Swarm Optimization, Relay Node placement in Double tiered Wireless Sensor Networks, and Improved Relay Node Placement, on average.


Path Planning Problems with Side Observations When Colonels Play Hide and Seek. Resource allocation games such as the famous Colonel Blotto (CB) and Hide and Seek (HS) games are often used to model a large variety of practical problems, but only in their one shot versions. Indeed, due to their extremely large strategy space, it remains an open question how one can efficiently learn in these games. In this work, we show that the online CB and HS games can be cast as path planning problems with side observations (SOPPP) at each stage, a learner chooses a path on a directed acyclic graph and suffers the sum of losses that are adversarially assigned to the corresponding edges and she then receives semi bandit feedback with side observations (i.e., she observes the losses on the chosen edges plus some others). We propose a novel algorithm, EXP3 OE, the first of its kind with guaranteed efficient running time for SOPPP without requiring any auxiliary oracle. We provide an expected regret bound of EXP3 OE in SOPPP matching the order of the best benchmark in the literature. Moreover, we introduce additional assumptions on the observability model under which we can further improve the regret bounds of EXP3 OE. We illustrate the benefit of using EXP3 OE in SOPPP by applying it to the online CB and HS games.


ER AE Differentially Private Text Generation for Authorship Anonymization. Most of privacy protection studies for textual data focus on removing explicit sensitive identifiers. However, personal writing style, as a strong indicator of the authorship, is often neglected. Recent studies, such as SynTF, have shown promising results on privacy preserving text mining. However, their anonymization algorithm can only output numeric term vectors which are difficult for the recipients to interpret. We propose a novel text generation model with a two set exponential mechanism for authorship anonymization. By augmenting the semantic information through a REINFORCE training reward function, the model can generate differentially private text that has a close semantic and similar grammatical structure to the original text while removing personal traits of the writing style. It does not assume any conditioned labels or paralleled text data for training. We evaluate the performance of the proposed model on the real life peer reviews dataset and the Yelp review dataset. The result suggests that our model outperforms the state of the art on semantic preservation, authorship obfuscation, and stylometric transformation.


A Liouville property for eternal solutions to a supercritical semilinear heat equation. We are concerned with solutions to the nonlinear heat equation u t Delta u u p 1 u , x in mathbb R N , that are defined for all positive and negative time. If the exponent p is greater or equal to the Joseph Lundgren exponent p c and u stays below some positive radially symmetric steady state, under a mild condition on the behaviour of u as x to infty , we show that u is independent of time. Our method of proof uses Serrin's sweeping principle, based on the strong maximum principle, applied to the linearized equation for u t . Our result covers that of Pol ' a v c ik and Yanagida JDE (2005) who had further assumed that the solution stays above some positive radial steady state and p p c . In contrast, they relied on the use of similarity variables and invariant manifold ideas. Remarkably, to the best of our knowledge, a corresponding Liouville property was previously missing for p p c . We emphasize that such Liouville type theorems imply the quasiconvergence of a class of solutions to the corresponding Cauchy problem. As our viewpoint originates from the study of elliptic problems, we can prove new rigidity results for the corresponding steady state problem that are motivated by the aforementioned ones for the parabolic flow.


PYCSP3 Modeling Combinatorial Constrained Problems in Python. In this document, we introduce PyCSP 3 , a Python library that allows us to write models of combinatorial constrained problems in a declarative manner. Currently, with PyCSP 3 , you can write models of constraint satisfaction and optimization problems. More specifically, you can build CSP (Constraint Satisfaction Problem) and COP (Constraint Optimization Problem) models. Importantly, there is a complete separation between the modeling and solving phases you write a model, you compile it (while providing some data) in order to generate an XCSP 3 instance (file), and you solve that problem instance by means of a constraint solver. You can also directly pilot the solving procedure in PyCSP 3 , possibly conducting an incremental solving strategy. In this document, you will find all that you need to know about PyCSP 3 , with more than 50 illustrative models.


Data driven Koopman Operators for Model based Shared Control of Human Machine Systems. We present a data driven shared control algorithm that can be used to improve a human operator's control of complex dynamic machines and achieve tasks that would otherwise be challenging, or impossible, for the user on their own. Our method assumes no a priori knowledge of the system dynamics. Instead, both the dynamics and information about the user's interaction are learned from observation through the use of a Koopman operator. Using the learned model, we define an optimization problem to compute the autonomous partner's control policy. Finally, we dynamically allocate control authority to each partner based on a comparison of the user input and the autonomously generated control. We refer to this idea as model based shared control (MbSC). We evaluate the efficacy of our approach with two human subjects studies consisting of 32 total participants (16 subjects in each study). The first study imposes a linear constraint on the modeling and autonomous policy generation algorithms. The second study explores the more general, nonlinear variant. Overall, we find that model based shared control significantly improves task and control metrics when compared to a natural learning, or user only, control paradigm. Our experiments suggest that models learned via the Koopman operator generalize across users, indicating that it is not necessary to collect data from each individual user before providing assistance with MbSC. We also demonstrate the data efficiency of MbSC and consequently, it's usefulness in online learning paradigms. Finally, we find that the nonlinear variant has a greater impact on a user's ability to successfully achieve a defined task than the linear variant.


Tautological rings and stabilisation. We construct a ring homomorphism comparing the tautological ring, fixing a point, of a closed smooth manifold with that of its stabilisation by S 2a times S 2b .


Leibniz's law and its paraconsistent models. This paper aims at discussing the importance of Leibniz Law to getting models for Paraconsistent Set Theories.


Logarithmic abelian varieties, Part VI Local moduli and GAGF. This is Part VI of our series of papers on log abelian varieties. In this part, we study local moduli and GAGF of log abelian varieties.


The foreshadow of a second wave An analysis of current COVID 19 fatalities in Germany. A second wave of SARS CoV 2 is unfolding in dozens of countries. However, this second wave manifests itself strongly in new reported cases, but less in death counts compared to the first wave. Over the past three months in Germany, the reported cases increased by a factor five or more, whereas the death counts hardly grew. This discrepancy fueled speculations that the rise of reported cases would not reflect a second wave but only wider testing. We find that this apparent discrepancy can be explained to a large extent by the age structure of the infected, and predict a pronounced increase of death counts in the near future, as the spread once again expands into older age groups. To re establish control, and to avoid the tipping point when TTI capacity is exceeded, case numbers have to be lowered. Otherwise the control of the spread and the protection of vulnerable people will require more restrictive measures latest when the hospital capacity is reached.


Flying through a narrow gap using neural network an end to end planning and control approach. In this paper, we investigate the problem of enabling a drone to fly through a tilted narrow gap, without a traditional planning and control pipeline. To this end, we propose an end to end policy network, which imitates from the traditional pipeline and is fine tuned using reinforcement learning. Unlike previous works which plan dynamical feasible trajectories using motion primitives and track the generated trajectory by a geometric controller, our proposed method is an end to end approach which takes the flight scenario as input and directly outputs thrust attitude control commands for the quadrotor. Key contributions of our paper are 1) presenting an imitate reinforce training framework. 2) flying through a narrow gap using an end to end policy network, showing that learning based method can also address the highly dynamic control problem as the traditional pipeline does (see attached video https www.youtube.com watch?v jU1qRcLdjx0). 3) propose a robust imitation of an optimal trajectory generator using multilayer perceptrons. 4) show how reinforcement learning can improve the performance of imitation learning, and the potential to achieve higher performance over the model based method.


A State Failure Network Method to Identify Critical Components in Power Systems. In order to mitigate cascading failure blackout risks in power systems, the critical components whose failures lead to high blackout risks should be identified. In this paper, such critical components are identified by the state failure network (SF network) formed by cascading failure chain and loss data, which can be gathered from either utilities or simulations. The failures along the chains are recombined in the SF network, where each failure is allocated a value that can reveal the blackout risks after their occurrences. Thus, critical failures can be identified in the SF network where the failures raise up blackout risks, and thus the critical components can be found based on their critical failure risks. The simulation results validate the effectiveness of the proposed method.


LivDet in Action Fingerprint Liveness Detection Competition 2019. The International Fingerprint liveness Detection Competition (LivDet) is an open and well acknowledged meeting point of academies and private companies that deal with the problem of distinguishing images coming from reproductions of fingerprints made of artificial materials and images relative to real fingerprints. In this edition of LivDet we invited the competitors to propose integrated algorithms with matching systems. The goal was to investigate at which extent this integration impact on the whole performance. Twelve algorithms were submitted to the competition, eight of which worked on integrated systems.


Satellite Image Time Series Classification with Pixel Set Encoders and Temporal Self Attention. Satellite image time series, bolstered by their growing availability, are at the forefront of an extensive effort towards automated Earth monitoring by international institutions. In particular, large scale control of agricultural parcels is an issue of major political and economic importance. In this regard, hybrid convolutional recurrent neural architectures have shown promising results for the automated classification of satellite image time series.We propose an alternative approach in which the convolutional layers are advantageously replaced with encoders operating on unordered sets of pixels to exploit the typically coarse resolution of publicly available satellite images. We also propose to extract temporal features using a bespoke neural architecture based on self attention instead of recurrent networks. We demonstrate experimentally that our method not only outperforms previous state of the art approaches in terms of precision, but also significantly decreases processing time and memory requirements. Lastly, we release a large open access annotated dataset as a benchmark for future work on satellite image time series.


Shadowing, internal chain transitivity and alpha limit sets. Let f colon X to X be a continuous map on a compact metric space X and let alpha f , omega f and ICT f denote the set of alpha limit sets, omega limit sets and nonempty closed internally chain transitive sets respectively. We show that if the map f has shadowing then every element of ICT f can be approximated (to any prescribed accuracy) by both the alpha limit set and the omega limit set of a full trajectory. Furthermore, if f is additionally c expansive then every element of ICT f is equal to both the alpha limit set and the omega limit set of a full trajectory. In particular this means that shadowing guarantees that overline alpha f overline omega f ICT(f) (where the closures are taken with respect to the Hausdorff topology on the space of compact sets), whilst the addition of c expansivity entails alpha f omega f ICT(f) . We progress by introducing novel variants of shadowing which we use to characterise both maps for which overline alpha f ICT(f) and maps for which alpha f ICT(f) .


Enabling End to End Simulation for Host Networking Evaluation using SimBricks. Full system "end to end" measurements in physical testbeds are the gold standard for evaluation of network systems but are fraught with challenges. Adequate testbeds are often not available, as projects target next generation devices, propose new hardware, or require larger scale. Further, evaluations in testbeds limit what we can observe without affecting system behavior, are frequently hard to reproduce, and are only available to groups with sufficient funding. Yet, we lack an accepted alternative, leaving us with ad hoc non end to end evaluations that do not form a solid basis for future work. We argue that full system simulations enable comparable end to end evaluation and are the next best alternative when a physical testbed is not available. To this end, we present SimBricks, a modular full system simulation framework for network systems. SimBricks combines multiple existing simulators for individual components, including processor and memory, NIC, and network, into full virtual testbeds running unmodified software. The architecture combines well defined component interfaces for extensibility with new simulators, efficient communication channels for local and distributed simulators, and a novel efficient synchronization protocol for accurate timing across different simulators. We demonstrate that SimBricks simulations reproduce key findings from prior work in congestion control, NIC architecture, and in network computing, and show scalability to 1000 simulated hosts.


Addressing the Privacy Implications of Mixed Reality A Regulatory Approach. Mixed reality (MR) technologies are emerging into the mainstream with affordable devices like the Oculus Quest. These devices blend the physical and virtual in novel ways that blur the lines that exist in legal precedent, like those between speech and conduct. In this paper, we discuss the challenges of regulating immersive technologies, focusing on the potential for extensive data collection, and examine the trade offs of three potential approaches to protecting data privacy in the context of mixed reality environments.


Refining Network Intents for Self Driving Networks. Recent advances in artificial intelligence (AI) offer an opportunity for the adoption of self driving networks. However, network operators or home network users still do not have the right tools to exploit these new advancements in AI, since they have to rely on low level languages to specify network policies. Intent based networking (IBN) allows operators to specify high level policies that dictate how the network should behave without worrying how they are translated into configuration commands in the network devices. However, the existing research proposals for IBN fail to exploit the knowledge and feedback from the network operator to validate or improve the translation of intents. In this paper, we introduce a novel intent refinement process that uses machine learning and feedback from the operator to translate the operator's utterances into network configurations. Our refinement process uses a sequence to sequence learning model to extract intents from natural language and the feedback from the operator to improve learning. The key insight of our process is an intermediate representation that resembles natural language that is suitable to collect feedback from the operator but is structured enough to facilitate precise translations. Our prototype interacts with a network operator using natural language and translates the operator input to the intermediate representation before translating to SDN rules. Our experimental results show that our process achieves a correlation coefficient squared (i.e., R squared) of 0.99 for a dataset with 5000 entries and the operator feedback significantly improves the accuracy of our model.


Modular Constraint Solver Cooperation via Abstract Interpretation. Cooperation among constraint solvers is difficult because different solving paradigms have different theoretical foundations. Recent works have shown that abstract interpretation can provide a unifying theory for various constraint solvers. In particular, it relies on abstract domains which capture constraint languages as ordered structures. The key insight of this paper is viewing cooperation schemes as abstract domains combinations. We propose a modular framework in which solvers and cooperation schemes can be seamlessly added and combined. This differs from existing approaches such as SMT where the cooperation scheme is usually fixed (e.g., Nelson Oppen). We contribute to two new cooperation schemes (i) interval propagators completion that allows abstract domains to exchange bound constraints, and (ii) delayed product which exchanges over approximations of constraints between two abstract domains. Moreover, the delayed product is based on delayed goal of logic programming, and it shows that abstract domains can also capture control aspects of constraint solving. Finally, to achieve modularity, we propose the shared product to combine abstract domains and cooperation schemes. Our approach has been fully implemented, and we provide various examples on the flexible job shop scheduling problem. Under consideration for acceptance in TPLP.


On Modification of an Adaptive Stochastic Mirror Descent Algorithm for Convex Optimization Problems with Functional Constraints. This paper is devoted to a new modification of a recently proposed adaptive stochastic mirror descent algorithm for constrained convex optimization problems in the case of several convex functional constraints. Algorithms, standard and its proposed modification, are considered for the type of problems with non smooth Lipschitz continuous convex objective function and convex functional constraints. Both algorithms, with an accuracy varepsilon of the approximate solution to the problem, are optimal in the terms of lower bounds of estimates and have the complexity O left( varepsilon 2 right) . In both algorithms, the precise first order information, which connected with (sub)gradient of the objective function and functional constraints, is replaced with its unbiased stochastic estimates. This means that in each iteration, we can still use the value of the objective function and functional constraints at the research point, but instead of their (sub)gradient, we calculate their stochastic (sub)gradient. Due to the consideration of not all functional constraints on non productive steps, the proposed modification allows saving the running time of the algorithm. Estimates for the rate of convergence of the proposed modified algorithm is obtained. The results of numerical experiments demonstrating the advantages and the efficient of the proposed modification for some examples are also given.


On the transfer of information in multiplier equations. We derive spectral width estimates for traces of tempered solutions of a large class of multiplier equations in mathbf R n . The estimates are uniform for solutions up to a given order. In the process, we find a rather explicit expression for a tempered fundamental solution of a multiplier. We successfully verify our spectral width estimates against numerical results in several scenarios involving the inhomogeneous Helmholtz equation in mathbf R n with n 1, dots,9 . Our main result is directly applicable in the stability analysis of solutions of inverse source problems.


Topological singularities in periodic media Ginzburg Landau and core radius approaches. We describe the emergence of topological singularities in periodic media within the Ginzburg Landau model and the core radius approach. The energy functionals of both models are denoted by E varepsilon, delta , where varepsilon represent the coherence length (in the Ginzburg Landau model) or the core radius size (in the core radius approach) and delta denotes the periodicity scale. We carry out the Gamma convergence analysis of E varepsilon, delta as varepsilon to 0 and delta delta varepsilon to 0 in the log varepsilon scaling regime, showing that the Gamma limit consists in the energy cost of finitely many vortex like point singularities of integer degree. After introducing the scale parameter (upon extraction of subsequences) lambda min Bigl 1, lim varepsilon to0 log delta varepsilon over log varepsilon Bigr , we show that in a sense we always have a separation of scale effect at scales less than varepsilon lambda we first have a concentration process around some vortices whose location is subsequently optimized, while for scales larger than varepsilon lambda the concentration process takes place "after" homogenization.


Empty Rainbow Triangles in k colored Point Sets. Let S be a set of n points in general position in the plane. Suppose that each point of S has been assigned one of k ge 3 possible colors and that there is the same number, m , of points of each color class. A polygon with vertices on S is empty if it does not contain points of S in its interior and it is rainbow if all its vertices have different colors. Let f(k,m) be the minimum number of empty rainbow triangles determined by S . In this paper we give tight asymptotic bounds for this function. Furthermore, we show that S may not determine an empty rainbow quadrilateral for some arbitrarily large values of k and m .


Probability density functions attached to random Euler products for automorphic L functions. In this paper, we study the value distributions of L functions of holomorphic primitive cusp forms in the level aspect. We associate such automorphic L functions with probabilistic models called the random Euler products. First, we prove the existence of probability density functions attached to the random Euler products. Then various mean values of automorphic L functions are expressed as integrals involving the density functions. Moreover, we estimate the discrepancies between the distributions of values of automorphic L functions and those of the random Euler products.


Face Dimensions of General Purpose Cutting Planes for Mixed Integer Linear Programs. Cutting planes are a key ingredient to successfully solve mixed integer linear programs. For specific problems, their strength is often theoretically assessed by showing that they are facet defining for the corresponding mixed integer hull. In this paper we experimentally investigate the dimensions of faces induced by general purpose cutting planes generated by a state of the art solver. Therefore, we relate the dimension of each cutting plane to its impact in a branch and bound algorithm.


The mathematical work of K.S.S. Nambooripad. We provide an overview of the mathematical work of K.S.S. Nambooripad, with a focus on his contributions to the theory of regular semigroups. In particular, we outline Nambooripad's seminal contributions to the structure theory of regular semigroups via his theory of em inductive groupoids , and also via his theory of em cross connections . We also provide information about outgrowths of his work in the algebraic theory of semigroups and its connections with several other fields of mathematics, in particular with the theory of operator algebras.


Blockchain based Privacy Preservation for 5G enabled Drone Communications. 5G enabled drones have potential applications in a variety of both military and civilian settings (e.g., monitoring and tracking of individuals in demonstrations and or enforcing of social physical distancing during pandemics such as COVID 19). Such applications generally involve the collection and dissemination of (massive) data from the drones to remote data centres for storage and analysis, for example via 5G networks. Consequently, there are security and privacy considerations underpinning 5G enabled drone communications. We posit the potential of leveraging blockchain to facilitate privacy preservation, and therefore in this article we will review existing blockchain based solutions after introducing the architecture for 5G enabled drone communications and blockchain. We will also review existing legislation and data privacy regulations that need to be considered in the design of blockchain based solutions, as well as identifying potential challenges and open issues which will hopefully inform future research agenda.


Hodge theory for elliptic curves and the Hopf element nu . We show that the vector bundle on the moduli stack M mathrm ell of elliptic curves associated to the 2 cell complex C nu is isomorphic to the de Rham cohomology sheaf mathrm H 1 mathrm dR ( mathcal E M mathrm ell ) of the universal elliptic curve mathcal E to M mathrm ell . We use this to calculate the homotopy groups of the mathbf E 1 quotient mathrm tmf ! ! nu of mathrm tmf by nu , called the spectrum of "topological quasimodular forms", by relating its Adams Novikov spectral sequence to the cohomology of the moduli stack of cubic curves with a chosen splitting of the Hodge de Rham filtration.


Gesture to Gesture Translation in the Wild via Category Independent Conditional Maps. Recent works have shown Generative Adversarial Networks (GANs) to be particularly effective in image to image translations. However, in tasks such as body pose and hand gesture translation, existing methods usually require precise annotations, e.g. key points or skeletons, which are time consuming to draw. In this work, we propose a novel GAN architecture that decouples the required annotations into a category label that specifies the gesture type and a simple to draw category independent conditional map that expresses the location, rotation and size of the hand gesture. Our architecture synthesizes the target gesture while preserving the background context, thus effectively dealing with gesture translation in the wild. To this aim, we use an attention module and a rolling guidance approach, which loops the generated images back into the network and produces higher quality images compared to competing works. Thus, our GAN learns to generate new images from simple annotations without requiring key points or skeleton labels. Results on two public datasets show that our method outperforms state of the art approaches both quantitatively and qualitatively. To the best of our knowledge, no work so far has addressed the gesture to gesture translation in the wild by requiring user friendly annotations.


Spectrum and Analytic Functional Calculus for Clifford Operators via Stem Functions. The main purpose of this work is the construction of an analytic functional calculus for Clifford operators, which are operators acting on certain modules over Clifford algebras. Unlike in some preceding works by other authors, we use a spectrum defined in the complex plane, and certain stem functions, analytic in neighborhoods of such a spectrum. The replacement of the slice regular functions, having values in a Clifford algebra, by analytic stem functions becomes possible because of an isomorphism induced by a Cauchy type transform, whose existence is proved in the first part of this work.


EduBERT Pretrained Deep Language Models for Learning Analytics. The use of large pretrained neural networks to create contextualized word embeddings has drastically improved performance on several natural language processing (NLP) tasks. These computationally expensive models have begun to be applied to domain specific NLP tasks such as re hospitalization prediction from clinical notes. This paper demonstrates that using large pretrained models produces excellent results on common learning analytics tasks. Pre training deep language models using student forum data from a wide array of online courses improves performance beyond the state of the art on three text classification tasks. We also show that a smaller, distilled version of our model produces the best results on two of the three tasks while limiting computational cost. We make both models available to the research community at large.


Hybridization of interval methods and evolutionary algorithms for solving difficult optimization problems. Reliable global optimization is dedicated to finding a global minimum in the presence of rounding errors. The only approaches for achieving a numerical proof of global optimality are interval branch and bound methods that interleave branching of the search space and pruning of the subdomains that cannot contain an optimal solution. It is of the utmost importance i) to compute sharp enclosures of the objective function and the constraints on a given subdomain ii) to find a good approximation (an upper bound) of the global minimum. State of the art solvers are generally integrative methods, that is they embed local optimization algorithms to compute a good upper bound of the global minimum over each subspace. In this document, we propose a cooperative framework in which interval methods cooperate with evolutionary algorithms. The latter are stochastic algorithms in which a population of candidate solutions iteratively evolves in the search space to reach satisfactory solutions. Evolutionary algorithms, endowed with operators that help individuals escape from local minima, are particularly suited for difficult problems on which traditional methods struggle to converge. Within our cooperative solver Charibde, the evolutionary algorithm and the interval based algorithm run in parallel and exchange bounds, solutions and search space via message passing. A novel strategy prevents premature convergence toward local minima. A comparison of Charibde with state of the art solvers (GlobSol, IBBA, Ibex) on a benchmark of difficult problems shows that Charibde converges faster by an order of magnitude. New optimality results are provided for five multimodal problems, for which few solutions were available in the literature. Finally, we provide the first numerical proof of optimality for the open Lennard Jones cluster problem with five atoms.


Approximation of the objective insensitivity regions using Hierarchic Memetic Strategy coupled with Covariance Matrix Adaptation Evolutionary Strategy. One of the most challenging types of ill posedness in global optimization is the presence of insensitivity regions in design parameter space, so the identification of their shape will be crucial, if ill posedness is irrecoverable. Such problems may be solved using global stochastic search followed by post processing of a local sample and a local objective approximation. We propose a new approach of this type composed of Hierarchic Memetic Strategy (HMS) powered by the Covariance Matrix Adaptation Evolutionary Strategy (CMA ES) well known as an effective, self adaptable stochastic optimization algorithm and we leverage the distribution density knowledge it accumulates to better identify and separate insensitivity regions. The results of benchmarks prove that the improved HMS CMA ES strategy is effective in both the total computational cost and the accuracy of insensitivity region approximation. The reference data for the tests was obtained by means of a well known effective strategy of multimodal stochastic optimization called the Niching Evolutionary Algorithm 2 (NEA2), that also uses CMA ES as a component.


Decidability and Periodicity of Low Complexity Tilings. We investigate the tiling problem, also known as the domino problem, that asks whether the two dimensional grid Z 2 can be colored in a way that avoids a given finite collection of forbidden local patterns. The problem is well known to be undecidable in its full generality. We consider the low complexity setup where the number of allowed local patterns is small. More precisely, suppose we are given at most nm legal rectangular patterns of size n x m, and we want to know whether there exists a coloring of Z 2 containing only legal n x m patterns. We prove that if such a coloring exists then also a periodic coloring exists. This further implies, using standard arguments, that in this setup there is an algorithm to determine if the given patterns admit at least one coloring of the grid. The results also extend to other convex shapes in place of the rectangle.


Protect, Show, Attend and Tell Empowering Image Captioning Models with Ownership Protection. By and large, existing Intellectual Property (IP) protection on deep neural networks typically i) focus on image classification task only, and ii) follow a standard digital watermarking framework that was conventionally used to protect the ownership of multimedia and video content. This paper demonstrates that the current digital watermarking framework is insufficient to protect image captioning tasks that are often regarded as one of the frontiers AI problems. As a remedy, this paper studies and proposes two different embedding schemes in the hidden memory state of a recurrent neural network to protect the image captioning model. From empirical points, we prove that a forged key will yield an unusable image captioning model, defeating the purpose of infringement. To the best of our knowledge, this work is the first to propose ownership protection on image captioning task. Also, extensive experiments show that the proposed method does not compromise the original image captioning performance on all common captioning metrics on Flickr30k and MS COCO datasets, and at the same time it is able to withstand both removal and ambiguity attacks. Code is available at https github.com jianhanlim ipr imagecaptioning


Common equivalence and size after forgetting. Forgetting variables from a propositional formula may increase its size. Introducing new variables is a way to shorten it. Both operations can be expressed in terms of common equivalence, a weakened version of equivalence. In turn, common equivalence can be expressed in terms of forgetting. An algorithm for forgetting and checking common equivalence in polynomial space is given for the Horn case it is polynomial time for the subclass of single head formulae. Minimizing after forgetting is polynomial time if the formula is also acyclic and variables cannot be introduced, NP hard when they can.


Weighted Essentially Non Oscillatory stochastic Galerkin approximation for hyperbolic conservation laws. In this paper we extensively study the stochastic Galerkin scheme for uncertain systems of conservation laws, which appears to produce oscillations already for a simple example of the linear advection equation with Riemann initial data. Therefore, we introduce a modified scheme that we call the weighted essentially non oscillatory (WENO) stochastic Galerkin scheme, which is constructed to prevent the propagation of Gibbs phenomenon into the stochastic domain by applying a slope limiter in the stochasticity. In order to achieve a high order method, we use a spatial WENO reconstruction and also compare the results to a scheme that uses WENO reconstruction in both the physical and the stochastic domain. We evaluate these methods by presenting various numerical test cases where we observe the reduction of the total variation compared to classical stochastic Galerkin.


Assessing the Efficacy of Clinical Sentiment Analysis and Topic Extraction in Psychiatric Readmission Risk Prediction. Predicting which patients are more likely to be readmitted to a hospital within 30 days after discharge is a valuable piece of information in clinical decision making. Building a successful readmission risk classifier based on the content of Electronic Health Records (EHRs) has proved, however, to be a challenging task. Previously explored features include mainly structured information, such as sociodemographic data, comorbidity codes and physiological variables. In this paper we assess incorporating additional clinically interpretable NLP based features such as topic extraction and clinical sentiment analysis to predict early readmission risk in psychiatry patients.


KPNet Towards Minimal Face Detector. The small receptive field and capacity of minimal neural networks limit their performance when using them to be the backbone of detectors. In this work, we find that the appearance feature of a generic face is discriminative enough for a tiny and shallow neural network to verify from the background. And the essential barriers behind us are 1) the vague definition of the face bounding box and 2) tricky design of anchor boxes or receptive field. Unlike most top down methods for joint face detection and alignment, the proposed KPNet detects small facial keypoints instead of the whole face by in a bottom up manner. It first predicts the facial landmarks from a low resolution image via the well designed fine grained scale approximation and scale adaptive soft argmax operator. Finally, the precise face bounding boxes, no matter how we define it, can be inferred from the keypoints. Without any complex head architecture or meticulous network designing, the KPNet achieves state of the art accuracy on generic face detection and alignment benchmarks with only sim1M parameters, which runs at 1000fps on GPU and is easy to perform real time on most modern front end chips.


Study of tantalum and iridium as adhesion layers for Pt LGS high temperature SAW devices. In this paper, we report on the use of tantalum and iridium as adhesion layers for platinum electrodes used in high temperature SAW devices based on langasite substrates (LGS). Unlike iridium, tantalum exhibits a great adhesive strength, and a very low mobility through the Pt film, ensuring a device lifetime of at least half an hour at 1000 textdegree C. The latter is limited by morphological modifications of platinum, starting by the apparition of crystallites on the surface, and followed by important terracing and breaking of the film continuity. SNMS and XRD measurements allowed us to show that these phenomena are likely intrinsic to platinum film, whatever be the nature of the adhesion layer. Finally, after having outlined a possible scenario leading to this deterioration, we consider some solutions that could replace platinum in order to increase the lifetime of LGS based SAW devices in high temperatures conditions.


Asymptotic analysis of an advection diffusion equation involving interacting boundary and internal layers. As varepsilon goes to zero, the unique solution of the scalar advection diffusion equation y varepsilon t varepsilon y varepsilon xx M y varepsilon x 0 , (x,t) in (0,1) times (0,T) submitted to Dirichlet boundary conditions exhibits a boundary layer of size mathcal O ( varepsilon) and an internal layer of size mathcal O ( sqrt varepsilon ) . If the time T is large enough, these thin layers where the solution y varepsilon displays rapid variations intersect and interact each other. Using the method of matched asymptotic expansions, we show how we can construct an explicit approximation widetilde P varepsilon of the solution y varepsilon satisfying Vert y varepsilon widetilde P varepsilon Vert L infty(0,T L 2(0,1)) mathcal O ( varepsilon 3 2 ) and Vert y varepsilon widetilde P varepsilon Vert L 2(0,T H 1(0,1)) mathcal O ( varepsilon) , for all varepsilon small enough.


Elastic execution of checkpointed MPI applications. MPI applications begin with a fixed number of rank and, by default, the rank remains constant throughout the application's lifetime. The developer can choose to increase the rank by dynamically spawning MPI processes. However doing this manually adds complexity to the MPI application. Making the MPI applications malleable cite b20 would allow HPC applications to have the same elasticity as that of cloud applications. We propose multiple approaches to change the rank of an MPI program agnostic to the modification of the user code. We use checkpointing as a tool to achieve mutability of rank by halting the execution and resuming the MPI program with a new state. In this paper, we focus on the scenario of increasing the rank of an MPI program using ExaMPI as the implementation for MPI.


Simplified calculus for semimartingales Multiplicative compensators and changes of measure. The paper develops multiplicative compensation for complex valued semimartingales and studies some of its consequences. It is shown that the stochastic exponential of any complex valued semimartingale with independent increments becomes a true martingale after multiplicative compensation, where such compensation is meaningful. This generalization of the L 'evy Khintchin formula fills an existing gap in the literature. We further report Girsanov type results based on non negative multiplicatively compensated semimartingales. In particular, we obtain a simplified expression for the multiplicative compensator under the new measure.


Decay of solitary waves. In this paper we consider the decay rate of solitary wave solutions to some classes of non linear and non local dispersive equations, including for example the Whitham equation and a Whitham Boussinesq system. The dispersive term is represented by a Fourier multiplier operator that has a real analytic symbol, and we show that all supercritical solitary wave solutions decay exponentially, and moreover provide the exact decay rate, which in general will depend on the speed of the wave. We also prove that solitary waves have only one crest and are symmetric for some class of equations.


Surprise Maximization A Dynamic Programming Approach. Borwein et al. (2000) solved a surprise maximization problem by applying results from convex analysis and mathematical programming. Although, their proof is elegant, it requires advanced knowledge from both areas to understand it. Here, we provide another approach to derive an optimal solution of the problem by utilizing dynamic programming.


Multiple Lattice Rules for Multivariate L infty Approximation in the Worst Case Setting. We develop a general framework for estimating the L infty( mathbb T d) error for the approximation of multivariate periodic functions belonging to specific reproducing kernel Hilbert spaces (RHKS) using approximants that are trigonometric polynomials computed from sampling values. The used sampling schemes are suitable sets of rank 1 lattices that can be constructed in an extremely efficient way. Furthermore, the structure of the sampling schemes allows for fast Fourier transform (FFT) algorithms. We present and discuss one FFT algorithm and analyze the worst case L infty error for this specific approach. Using this general result we work out very weak requirements on the RHKS that allow for a simple upper bound on the sampling numbers in terms of approximation numbers, where the approximation error is measured in the L infty norm. Tremendous advantages of this estimate are its pre asymptotic validity as well as its simplicity and its specification in full detail. It turns out, that approximation numbers and sampling numbers differ at most slightly. The occurring multiplicative gap does not depend on the spatial dimension d and depends at most logarithmically on the number of used linear information or sampling values, respectively. Moreover, we illustrate the capability of the new sampling method with the aid of specific highly popular source spaces, which yields that the suggested algorithm is nearly optimal from different points of view. For instance, we improve tractability results for the L infty approximation for sampling methods and we achieve almost optimal sampling rates for functions of dominating mixed smoothness. Great advantages of the suggested sampling method are the constructive methods for determining sampling sets that guarantee the shown error bounds, the simplicity and extreme efficiency of all necessary algorithms.


Multivariate non Gaussian models for financial applications. In this paper we consider several continuous time multivariate non Gaussian models applied to finance and proposed in the literature in the last years. We study the models focusing on the parsimony of the number of parameters, the properties of the dependence structure, and the computational tractability. For each model we analyze the main features, we provide the characteristic function, the marginal moments up to order four, the covariances and the correlations. Thus, we describe how to calibrate them on the time series of log returns with a view toward practical applications and possible numerical issues. To empirically compare these models, we conduct an analysis on a five dimensional series of stock index log returns.


Is MAP Decoding All You Need? The Inadequacy of the Mode in Neural Machine Translation. Recent studies have revealed a number of pathologies of neural machine translation (NMT) systems. Hypotheses explaining these mostly suggest there is something fundamentally wrong with NMT as a model or its training algorithm, maximum likelihood estimation (MLE). Most of this evidence was gathered using maximum a posteriori (MAP) decoding, a decision rule aimed at identifying the highest scoring translation, i.e. the mode. We argue that the evidence corroborates the inadequacy of MAP decoding more than casts doubt on the model and its training algorithm. In this work, we show that translation distributions do reproduce various statistics of the data well, but that beam search strays from such statistics. We show that some of the known pathologies and biases of NMT are due to MAP decoding and not to NMT's statistical assumptions nor MLE. In particular, we show that the most likely translations under the model accumulate so little probability mass that the mode can be considered essentially arbitrary. We therefore advocate for the use of decision rules that take into account the translation distribution holistically. We show that an approximation to minimum Bayes risk decoding gives competitive results confirming that NMT models do capture important aspects of translation well in expectation.


A functorial approach to monomorphism categories for species I. We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor send almost split sequences over the path algebra and the preprojective algebra to split or almost split sequences in the monomorphism category. We derive this from a general result on preservation of almost split morphisms under adjoint functors whose counit is a monomorphism. Despite of its generality, our monomorphism categories still allow for explicit computations as in the case of Ringel and Schmidmeier.


Modular forms of degree two and curves of genus two in characteristic two. We describe the ring of modular forms of degree 2 in characteristic 2 using its relation with curves of genus 2.


Dirichlet eigenvalues of the Laplacian on full one sided shift space. The full one sided shift space over finite symbols is approximated by an increasing sequence of finite subsets of the space. The Laplacian on the space is then defined as a renormalised limit of the difference operators defined on these subsets. In this work, we determine the spectrum of these difference operators completely, using the method of spectral decimation. Further, we prove that under certain conditions, the renormalised eigenvalues of the difference operators converge to an eigenvalue of the Laplacian.


Learning to Schedule Halide Pipelines for the GPU. We present a new algorithm to automatically generate high performance GPU implementations of complex imaging and machine learning pipelines, directly from high level Halide algorithm code. It is fully automatic, requiring no schedule templates or hand optimized kernels, and it targets a diverse range of computations which is significantly broader than existing autoschedulers. We address the scalability challenge of extending previous approaches to schedule large real world programs, while enabling a broad set of program rewrites that take into account the nested parallelism and memory hierarchy introduced by GPU architectures. We achieve this using a hierarchical sampling strategy that groups programs into buckets based on their structural similarity, then samples representatives to be evaluated, allowing us to explore a large space by only considering a subset of the space, and a pre pass that 'freezes' decisions for the lowest cost sections of a program, allowing more time to be spent on the important stages. We then apply an efficient cost model combining machine learning, program analysis, and GPU architecture knowledge. Our method scales combinatorially better with respect to the deeper nested parallelism required by GPUs compared to previous work. We evaluate its performance on a diverse suite of real world imaging and machine learning pipelines. We demonstrate results that are on average 1.66X faster than existing automatic solutions (up to 5X), and competitive with what the best human experts were able to achieve in an active effort to beat our automatic results.


Two new transformation formulas for 8 psi 8 and 8 W 7 series associated with Weierstrass' theta identity. In this paper, we establish two new transformation formulas for 8 psi 8 and 8 phi 7 series by means of Slater's general transformation for bilateral series. As applications, some specific transformation formulas are presented among which include a general form of Weierstrass' theta identity and new proofs of Bailey's VWP 6 psi 6 and Jackson's 8 phi 7 summation formula.


A Survey on String Constraint Solving. String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the last years given the massive use of strings in different application domains like formal analysis, automated testing, database query processing, and cybersecurity. This paper reports a comprehensive survey on string constraint solving by exploring the large number of approaches that have been proposed over the last decades to solve string constraints.


Critical Point Finding with Newton MR by Analogy to Computing Square Roots. Understanding of the behavior of algorithms for resolving the optimization problem (hereafter shortened to OP) of optimizing a differentiable loss function (OP1), is enhanced by knowledge of the critical points of that loss function, i.e. the points where the gradient is 0. Here, we describe a solution to the problem of finding critical points by proposing and solving three optimization problems 1) minimizing the norm of the gradient (OP2), 2) minimizing the difference between the pre conditioned update direction and the gradient (OP3), and 3) minimizing the norm of the gradient along the update direction (OP4). The result is a recently introduced algorithm for optimizing invex functions, Newton MR, which turns out to be highly effective at the problem of finding the critical points of the loss surfaces of neural networks. We precede this derivation with an analogous, but simpler, derivation of the nested optimization algorithm for computing square roots by combining Heron's Method with Newton Raphson division.


Mean Field Games with monotonous interactions through the law of states and controls of the agents. We consider a class of Mean Field Games in which the agents may interact through the statistical distribution of their states and controls. It is supposed that the Hamiltonian behaves like a power of its arguments as they tend to infinity, with an exponent larger than one. A monotonicity assumption is also made. Existence and uniqueness are proved using a priori estimates which stem from the monotonicity assumptions and Leray Schauder theorem. Applications of the results are given.


Temporal Knowledge Base Completion New Algorithms and Evaluation Protocols. Temporal knowledge bases associate relational (s,r,o) triples with a set of times (or a single time instant) when the relation is valid. While time agnostic KB completion (KBC) has witnessed significant research, temporal KB completion (TKBC) is in its early days. In this paper, we consider predicting missing entities (link prediction) and missing time intervals (time prediction) as joint TKBC tasks where entities, relations, and time are all embedded in a uniform, compatible space. We present TIMEPLEX, a novel time aware KBC method, that also automatically exploits the recurrent nature of some relations and temporal interactions between pairs of relations. TIMEPLEX achieves state of the art performance on both prediction tasks. We also find that existing TKBC models heavily overestimate link prediction performance due to imperfect evaluation mechanisms. In response, we propose improved TKBC evaluation protocols for both link and time prediction tasks, dealing with subtle issues that arise from the partial overlap of time intervals in gold instances and system predictions.


Automated Neuron Shape Analysis from Electron Microscopy. Morphology based analysis of cell types has been an area of great interest to the neuroscience community for several decades. Recently, high resolution electron microscopy (EM) datasets of the mouse brain have opened up opportunities for data analysis at a level of detail that was previously impossible. These datasets are very large in nature and thus, manual analysis is not a practical solution. Of particular interest are details to the level of post synaptic structures. This paper proposes a fully automated framework for analysis of post synaptic structure based neuron analysis from EM data. The processing framework involves shape extraction, representation with an autoencoder, and whole cell modeling and analysis based on shape distributions. We apply our novel framework on a dataset of 1031 neurons obtained from imaging a 1mm x 1mm x 40 micrometer volume of the mouse visual cortex and show the strength of our method in clustering and classification of neuronal shapes.


Offline Handwritten Chinese Text Recognition with Convolutional Neural Networks. Deep learning based methods have been dominating the text recognition tasks in different and multilingual scenarios. The offline handwritten Chinese text recognition (HCTR) is one of the most challenging tasks because it involves thousands of characters, variant writing styles and complex data collection process. Recently, the recurrent free architectures for text recognition appears to be competitive as its highly parallelism and comparable results. In this paper, we build the models using only the convolutional neural networks and use CTC as the loss function. To reduce the overfitting, we apply dropout after each max pooling layer and with extreme high rate on the last one before the linear layer. The CASIA HWDB database is selected to tune and evaluate the proposed models. With the existing text samples as templates, we randomly choose isolated character samples to synthesis more text samples for training. We finally achieve 6.81 character error rate (CER) on the ICDAR 2013 competition set, which is the best published result without language model correction.


Alexandroff Topology of Algebras over an Integral Domain. Let S be an integral domain with field of fractions F and let A be an F algebra. An S subalgebra R of A is called S nice if R is lying over S and the localization of R with respect to S setminus 0 is A . Let mathbb S be the set of all S nice subalgebras of A . We define a notion of open sets on mathbb S which makes this set a T 0 Alexandroff space. This enables us to study the algebraic structure of mathbb S from the point of view of topology. We prove that an irreducible subset of mathbb S has a supremum with respect to the specialization order. We present equivalent conditions for an open set of mathbb S to be irreducible, and characterize the irreducible components of mathbb S


A Stackelberg Game Approach to Resource Allocation for IRS aided Communications. It is known that the capacity of the intelligent reflecting surface (IRS) aided cellular network can be effectively improved by reflecting the incident signals from the transmitter in a low cost passive reflecting way. Nevertheless, in the actual network operation, the base station (BS) and IRS may belong to different operators, consequently, the IRS is reluctant to help the BS without any payment. Therefore, this paper investigates price based reflection resource (elements) allocation strategies for an IRS aided multiuser multiple input and single output (MISO) downlink communication systems, in which all transmissions over the same frequency band. Assuming that the IRS is composed with multiple modules, each of which is attached with a smart controller, thus, the states (active idle) of module can be operated by its controller, and all controllers can be communicated with each other via fiber links. A Stackelberg game based alternating direction method of multipliers (ADMM) is proposed to jointly optimize the transmit beamforming at the BS and the passive beamforming of the active modules. Numerical examples are presented to verify the proposed algorithm. It is shown that the proposed scheme is effective in the utilities of both the BS and IRS.