Explaining AI based Decision Support Systems using Concept Localization Maps. Human centric explainability of AI based Decision Support Systems (DSS) using visual input modalities is directly related to reliability and practicality of such algorithms. An otherwise accurate and robust DSS might not enjoy trust of experts in critical application areas if it is not able to provide reasonable justification of its predictions. This paper introduces Concept Localization Maps (CLMs), which is a novel approach towards explainable image classifiers employed as DSS. CLMs extend Concept Activation Vectors (CAVs) by locating significant regions corresponding to a learned concept in the latent space of a trained image classifier. They provide qualitative and quantitative assurance of a classifier's ability to learn and focus on similar concepts important for humans during image recognition. To better understand the effectiveness of the proposed method, we generated a new synthetic dataset called Simple Concept DataBase (SCDB) that includes annotations for 10 distinguishable concepts, and made it publicly available. We evaluated our proposed method on SCDB as well as a real world dataset called CelebA. We achieved localization recall of above 80 for most relevant concepts and average recall above 60 for all concepts using SE ResNeXt 50 on SCDB. Our results on both datasets show great promise of CLMs for easing acceptance of DSS in practice.


A survey on spectral embeddings and their applications in data analysis. The aim of this survey is to present some aspects of the B 'erard Besson Gallot spectral embeddings of a closed Riemannian manifold from their origins in Riemannian geometry to more recent applications in data analysis.


Version 0 An Educational Package for Helium Atom Scattering Studies. Helium atom scattering studies have the potential for making numerous breakthroughs in the study of processes on surfaces. As this field remains active, there will frequently be new young researchers entering the field. The transition from student to researcher is often met with difficulty, consequently wasting limited time available for a PhD or masters level research. Addressing this issue, we present an educational package for emerging research students in the field of helium atom scattering. We hope that this package serves as sufficient material to significantly accelerate the progress made by new postgraduate students.


FDD Massive MIMO Antenna Duplex Pattern an Reciprocity A Missing Brick. Obtaining down link (DL) channel state information (CSI) at the base station (BS) is challenging for frequencydivision duplex (FDD) massive MIMO (MM) systems. Considerable overhead is required for DL training and feedback. Instead studies often assume highly correlated average spatial signal signatures (i.e. directional clusters) between FDD duplex links. These assumptions, however, only represent use of antennas with the same radiation pattern over the duplex band, leading to illumination of the same cluster. In this paper, we investigate pattern reciprocity, over the duplex band, for practical user handsets. We first show how a population of measured contemporary phones exhibits noticeable duplex pattern divergence. We then show measured complex pattern duplex divergence of a mock up phone, where depolarization comes on top of gain differences. Thus we reveal a significant but overlooked brick in DL CSI assessment for FDD MM operation. Namely, in order for the FDD MM performance studies to be realistic, practical user handsets have to be considered.


SelfText Beyond Polygon Unconstrained Text Detection with Box Supervision and Dynamic Self Training. Although a polygon is a more accurate representation than an upright bounding box for text detection, the annotations of polygons are extremely expensive and challenging. Unlike existing works that employ fully supervised training with polygon annotations, we propose a novel text detection system termed SelfText Beyond Polygon (SBP) with Bounding Box Supervision (BBS) and Dynamic Self Training (DST), where training a polygon based text detector with only a limited set of upright bounding box annotations. For BBS, we firstly utilize the synthetic data with character level annotations to train a Skeleton Attention Segmentation Network (SASN). Then the box level annotations are adopted to guide the generation of high quality polygon liked pseudo labels, which can be used to train any detectors. In this way, our method achieves the same performance as text detectors trained with polygon annotations (i.e., both are 85.0 F score for PSENet on ICDAR2015 ). For DST, through dynamically removing the false alarms, it is able to leverage limited labeled data as well as massive unlabeled data to further outperform the expensive baseline. We hope SBP can provide a new perspective for text detection to save huge labeling costs. Code is available at github.com weijiawu SBP.


Cubic Surfaces of Characteristic Two. In this paper, we study cubic surfaces in characteristic two from the perspective of positive characteristic commutative algebra and completely classify those which are Frobenius split. In particular, we explicitly describe the finitely many non F pure cubics (up to projective change of coordinates in mathbb P 3 ), exactly one of which is smooth. We also describe the configurations of lines on these cubic surfaces a cubic surface in characteristic two is Frobenius split unless every pair of intersecting lines meets in an Eckardt point, which, in the smooth case, means no three lines form a "triangle".


CFD Analysis of Latent Heat Energy Storage System with Different Geometric Configurations and Flow Conditions. The Latent heat storage technology is being used worldwide to bridge the gap between supply and demand of energy. The material store energy during the charging process (melting) and releases energy during the discharging process (solidification). In spite of having various advantages such as high storage energy density, it suffers from the fact that most Phase Change Materials (PCMs) commonly used have a very low thermal conductivity, hence, very slow charging discharging times. In the current work, a shell and tube type heat exchanger with phase change material on the shell side and heat transfer fluid on the tube side are considered. The effect of flow rate and inlet temperature of heat transfer fluid on melting and solidification times are investigated with single and double pass (counter and parallel) arrangements of Heat Transfer Fluid (HTF). The major difficulty encountered in the melting of the PCM is the accumulation of solid (unmelted) part at the bottom during the charging process, while the liquid part remains at the top during the discharging process, which decreases the efficiency of the system to quite a great extent. In this study, an attempt has been made to improve the efficiency of the system by considering two configurations (double and triple tube) of the shell and tube heat exchanger and it is found that the latter case has better performance.


Experimental investigation of tsunami waves generated by granular collapse into water. The generation of a tsunami wave by an aerial landslide is investigated through model laboratory experiments. We examine the collapse of an initially dry column of grains into a shallow water layer and the subsequent generation of waves. The experiments show that the collective entry of the granular material into water governs the wave generation process. We observe that the amplitude of the wave relative to the water height scales linearly with the Froude number based on the horizontal velocity of the moving granular front relative to the wave velocity. For all the different parameters considered here, the aspect ratio and the volume of the column, the diameter and density of the grains, and the height of the water, the granular collapse acts like a moving piston displacing the water. We also highlight that the density of the falling grains has a negligible influence on the wave amplitude, which suggests that the volume of grains entering the water is the relevant parameter in the wave generation.


Vision Language Navigation with Self Supervised Auxiliary Reasoning Tasks. Vision Language Navigation (VLN) is a task where agents learn to navigate following natural language instructions. The key to this task is to perceive both the visual scene and natural language sequentially. Conventional approaches exploit the vision and language features in cross modal grounding. However, the VLN task remains challenging, since previous works have neglected the rich semantic information contained in the environment (such as implicit navigation graphs or sub trajectory semantics). In this paper, we introduce Auxiliary Reasoning Navigation (AuxRN), a framework with four self supervised auxiliary reasoning tasks to take advantage of the additional training signals derived from the semantic information. The auxiliary tasks have four reasoning objectives explaining the previous actions, estimating the navigation progress, predicting the next orientation, and evaluating the trajectory consistency. As a result, these additional training signals help the agent to acquire knowledge of semantic representations in order to reason about its activity and build a thorough perception of the environment. Our experiments indicate that auxiliary reasoning tasks improve both the performance of the main task and the model generalizability by a large margin. Empirically, we demonstrate that an agent trained with self supervised auxiliary reasoning tasks substantially outperforms the previous state of the art method, being the best existing approach on the standard benchmark.


Sector Neutral Portfolios Long memory motifs persistence in market structure dynamics. We study soft persistence (existence in subsequent temporal layers of motifs from the initial layer) of motif structures in Triangulated Maximally Filtered Graphs (TMFG) generated from time varying Kendall correlation matrices computed from stock prices log returns over rolling windows with exponential smoothing. We observe long memory processes in these structures in the form of power law decays in the number of persistent motifs. The decays then transition to a plateau regime with a power law decay with smaller exponent. We demonstrate that identifying persistent motifs allows for forecasting and applications to portfolio diversification. Balanced portfolios are often constructed from the analysis of historic correlations, however not all past correlations are persistently reflected into the future. Sector neutrality has also been a central theme in portfolio diversification and systemic risk. We present an unsupervised technique to identify persistently correlated sets of stocks. These are empirically found to identify sectors driven by strong fundamentals. Applications of these findings are tested in two distinct ways on four different markets, resulting in significant reduction in portfolio volatility. A persistence based measure for portfolio allocation is proposed and shown to outperform volatility weighting when tested out of sample.


Sequential Adversarial Learning for Self Supervised Deep Visual Odometry. We propose a self supervised learning framework for visual odometry (VO) that incorporates correlation of consecutive frames and takes advantage of adversarial learning. Previous methods tackle self supervised VO as a local structure from motion (SfM) problem that recovers depth from single image and relative poses from image pairs by minimizing photometric loss between warped and captured images. As single view depth estimation is an ill posed problem, and photometric loss is incapable of discriminating distortion artifacts of warped images, the estimated depth is vague and pose is inaccurate. In contrast to previous methods, our framework learns a compact representation of frame to frame correlation, which is updated by incorporating sequential information. The updated representation is used for depth estimation. Besides, we tackle VO as a self supervised image generation task and take advantage of Generative Adversarial Networks (GAN). The generator learns to estimate depth and pose to generate a warped target image. The discriminator evaluates the quality of generated image with high level structural perception that overcomes the problem of pixel wise loss in previous methods. Experiments on KITTI and Cityscapes datasets show that our method obtains more accurate depth with details preserved and predicted pose outperforms state of the art self supervised methods significantly.


Limit Theorems for Trawl Processes. In this work we derive limit theorems for trawl processes. First,we study the asymptotic behaviour of the partial sums of the discretized trawl process (X i Delta n ) i 0 lfloor nt rfloor 1 , under the assumption that as n uparrow infty , Delta n downarrow0 and n Delta n rightarrow mu in 0, infty . Second, we derive a functional limit theorem for trawl processes as the L ' e vy measure of the trawl seed grows to infinity and show that the limiting process has a Gaussian moving average representation.


Exploiting Multiple Embeddings for Chinese Named Entity Recognition. Identifying the named entities mentioned in text would enrich many semantic applications at the downstream level. However, due to the predominant usage of colloquial language in microblogs, the named entity recognition (NER) in Chinese microblogs experience significant performance deterioration, compared with performing NER in formal Chinese corpus. In this paper, we propose a simple yet effective neural framework to derive the character level embeddings for NER in Chinese text, named ME CNER. A character embedding is derived with rich semantic information harnessed at multiple granularities, ranging from radical, character to word levels. The experimental results demonstrate that the proposed approach achieves a large performance improvement on Weibo dataset and comparable performance on MSRA news dataset with lower computational cost against the existing state of the art alternatives.


Transition to turbulence in quasi two dimensional MHD flow driven by lateral walls. This manuscript has been accepted for publication in Physical Review Fluids, see https journals.aps.org prfluids accepted d5074S28J6b11905012b7cb06505e8f2149dd5f20. This work investigates the mechanisms that underlie transitions to turbulence in a three dimensional domain in which the variation of flow quantities in the out of plane direction is much weaker than any in plane variation. This is achieved using a model for the quasi two dimensional magnetohydrodynamic flow in a duct with moving lateral walls and an orthogonal magnetic field. In this environment, conventional subcritical routes to turbulence, which are highly three dimensional, are prohibited. To elucidate the remaining mechanisms involved in quasi two dimensional turbulent transitions, the magnetic field strength and degree of antisymmetry in the base flow are varied, the latter via the relative motion of the lateral duct walls. Introduction of any amount of antisymmetry to the base flow drives the critical Reynolds number infinite, as the TS instabilities take on opposite signs of rotation, and destructively interfere. However, an increasing magnetic field strength limits interaction between the instabilities, permitting finite critical Reynolds numbers. The transient growth only mildly depends on the base flow, with negligible differences for friction parameters H gtrsim 30 . Direct numerical simulations, initiated with random noise, indicate that for H leq 1 , supercritical exponential growth leads to saturation, but not turbulence. For higher 3 leq H leq 10 , a turbulent transition occurs, and is maintained at H 10 . For H geq 30 , the turbulent transition still occurs, but is short lived, as the turbulent state quickly collapses. In addition, for H geq 3 , an inertial subrange is identified, with the perturbation energy exhibiting a 5 3 power law dependence on wave number.


The Persian Dependency Treebank Made Universal. We describe an automatic method for converting the Persian Dependency Treebank (Rasooli et al, 2013) to Universal Dependencies. This treebank contains 29107 sentences. Our experiments along with manual linguistic analysis show that our data is more compatible with Universal Dependencies than the Uppsala Persian Universal Dependency Treebank (Seraji et al., 2016), and is larger in size and more diverse in vocabulary. Our data brings in a labeled attachment F score of 85.2 in supervised parsing. Our delexicalized Persian to English parser transfer experiments show that a parsing model trained on our data is 2 absolutely more accurate than that of Seraji et al. (2016) in terms of labeled attachment score.


A Lie algebra action on the Chow ring of the Hilbert scheme of points of a K3 surface. We construct an action of the Neron Severi part of the Looijenga Lunts Verbitsky Lie algebra on the Chow ring of the Hilbert scheme of points on a K3 surface. This yields a simplification of Maulik and Negut's proof that the cycle class map is injective on the subring generated by divisor classes as conjectured by Beauville. The key step in the construction is an explicit formula for Lefschetz duals in terms of Nakajima operators. Our results also lead to a formula for the monodromy action on Hilbert schemes in terms of Nakajima operators.


Griefing Penalty Countermeasure for Griefing Attack in Lightning Network. Lightning Network can execute unlimited number of off chain payments, without incurring the cost of recording each of them in the blockchain. However, conditional payments in such networks is susceptible to Griefing Attack. In this attack, an adversary doesn't resolve the payment with the intention of blocking channel capacity of the network. We propose an efficient countermeasure for the attack, known as Griefing Penalty. If any party in the network mounts a griefing attack, it needs to pay a penalty proportional to the collateral cost of executing a payment. The penalty is used for compensating affected parties in the network. We propose a new payment protocol HTLC GP or Hashed Timelock Contract with Griefing Penalty to demonstrate the utility of the countermeasure. Upon comparing our protocol with existing payment protocol Hashed Timelock Contract, we observe that the average revenue earned by the attacker decreases substantially for HTLC GP as compared to HTLC. We also study the impact of path length for routing a transaction and rate of griefing penalty on the budget invested by an adversary for mounting the attack. The budget needed for mounting griefing attack in HTLC GP is 12 times more than the budget needed by attacker in HTLC, given that each payment instance being routed via path length of hop count 20.


How Many Impulses Redux. A central problem in orbit transfer optimization is to determine the number, time, direction and magnitude of velocity impulses that minimize the total impulse. This problem was posed in 1967 by T. N. Edelbaum, and while notable advances have been made, a rigorous means to answer Edelbaum's question for multiple revolution maneuvers has remained elusive for over five decades. We revisit Edelbaum's question by taking a bottom up approach to generate a minimum fuel switching surface. Sweeping through time profiles of the minimum fuel switching function for increasing admissible thrust magnitude, and in the high thrust limit, we find that the continuous thrust switching surface reveals the N impulse solution. It is also shown that a textit fundamental minimum thrust solution plays a pivotal role in our process to determine the optimal minimum fuel maneuver for all thrust levels. We find the answer to Edelbaum's question is not generally unique, but is frequently a set of equal Delta v extremals. We further find, when Edelbaum's question is refined to seek the number of finite duration thrust arcs for a specific rocket engine, that a unique extremal is usually found. Numerical results demonstrate the ideas and their utility for several interplanetary and Earth bound optimal transfers that consist of up to eleven impulses or, for finite thrust, short thrust arcs. Another significant contribution of the paper can be viewed as a unification in astrodynamics where the connection between impulsive and continuous thrust trajectories are demonstrated through the notion of textit optimal switching surfaces


A reinforcement learning based decision support system in textile manufacturing process. This paper introduced a reinforcement learning based decision support system in textile manufacturing process. A solution optimization problem of color fading ozonation is discussed and set up as a Markov Decision Process (MDP) in terms of tuple S, A, P, R . Q learning is used to train an agent in the interaction with the setup environment by accumulating the reward R. According to the application result, it is found that the proposed MDP model has well expressed the optimization problem of textile manufacturing process discussed in this paper, therefore the use of reinforcement learning to support decision making in this sector is conducted and proven that is applicable with promising prospects.


SQuAP Ont an Ontology of Software Quality Relational Factors from Financial Systems. Quality, architecture, and process are considered the keystones of software engineering. ISO defines them in three separate standards. However, their interaction has been scarcely studied, so far. The SQuAP model (Software Quality, Architecture, Process) describes twenty eight main factors that impact on software quality in banking systems, and each factor is described as a relation among some characteristics from the three ISO standards. Hence, SQuAP makes such relations emerge rigorously, although informally. In this paper, we present SQuAP Ont, an OWL ontology designed by following a well established methodology based on the re use of Ontology Design Patterns (i.e. ODPs). SQuAP Ont formalises the relations emerging from SQuAP to represent and reason via Linked Data about software engineering in a three dimensional model consisting of quality, architecture, and process ISO characteristics.


Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors Extended Version. Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful software based side channel attacks have been developed that break, or at least significantly weaken the isolation that these mechanisms offer. Extending a processor with new architectural or micro architectural features, brings a risk of introducing new such side channel attacks. This paper studies the problem of extending a processor with new features without weakening the security of the isolation mechanisms that the processor offers. We propose to use full abstraction as a formal criterion for the security of a processor extension, and we instantiate that criterion to the concrete case of extending a microprocessor that supports enclaved execution with secure interruptibility of these enclaves. This is a very relevant instantiation as several recent papers have shown that interruptibility of enclaves leads to a variety of software based side channel attacks. We propose a design for interruptible enclaves, and prove that it satisfies our security criterion. We also implement the design on an open source enclave enabled microprocessor, and evaluate the cost of our design in terms of performance and hardware size.


Cross Layer Distillation with Semantic Calibration. Knowledge distillation is a technique to enhance the generalization ability of a student model by exploiting outputs from a teacher model. Recently, feature map based variants explore knowledge transfer between manually assigned teacher student pairs in intermediate layers for further improvement. However, layer semantics may vary in different neural networks and semantic mismatch in manual layer associations will lead to performance degeneration due to negative regularization. To address this issue, we propose Semantic Calibration for cross layer Knowledge Distillation (SemCKD), which automatically assigns proper target layers of the teacher model for each student layer with an attention mechanism. With a learned attention distribution, each student layer distills knowledge contained in multiple teacher layers rather than a specific intermediate layer for appropriate cross layer supervision. We further provide theoretical analysis of the association weights and conduct extensive experiments to demonstrate the effectiveness of our approach. Code is avaliable at url https github.com DefangChen SemCKD .


Generalization Bounds for Stochastic Saddle Point Problems. This paper studies the generalization bounds for the empirical saddle point (ESP) solution to stochastic saddle point (SSP) problems. For SSP with Lipschitz continuous and strongly convex strongly concave objective functions, we establish an mathcal O (1 n) generalization bound by using a uniform stability argument. We also provide generalization bounds under a variety of assumptions, including the cases without strong convexity and without bounded domains. We illustrate our results in two examples batch policy learning in Markov decision process, and mixed strategy Nash equilibrium estimation for stochastic games. In each of these examples, we show that a regularized ESP solution enjoys a near optimal sample complexity. To the best of our knowledge, this is the first set of results on the generalization theory of ESP.


On Partial Differential Encodings, with Application to Boolean Circuits. Abstract. We introduce partial differential encodings of Boolean functions as a way of measuring the complexity of Boolean functions. These encodings enable us to derive from group actions non trivial bounds on the Chow Rank of polynomials used to specify partial differential encodings of Boolean functions. We also introduce variants of partial differential encodings called partial differential programs. We show that such programs optimally describe important families of polynomials including determinants and permanents. Partial differential programs also enables to quantitively contrast these two families of polynomials. Finally we derive from polynomial constructions inspired by partial differential programs which exhibit an unconditional exponential separation between high order hypergraph isomorhism instances and their sub isomorphism counterparts.


Map Enhanced Ego Lane Detection in the Missing Feature Scenarios. As one of the most important tasks in autonomous driving systems, ego lane detection has been extensively studied and has achieved impressive results in many scenarios. However, ego lane detection in the missing feature scenarios is still an unsolved problem. To address this problem, previous methods have been devoted to proposing more complicated feature extraction algorithms, but they are very time consuming and cannot deal with extreme scenarios. Different from others, this paper exploits prior knowledge contained in digital maps, which has a strong capability to enhance the performance of detection algorithms. Specifically, we employ the road shape extracted from OpenStreetMap as lane model, which is highly consistent with the real lane shape and irrelevant to lane features. In this way, only a few lane features are needed to eliminate the position error between the road shape and the real lane, and a search based optimization algorithm is proposed. Experiments show that the proposed method can be applied to various scenarios and can run in real time at a frequency of 20 Hz. At the same time, we evaluated the proposed method on the public KITTI Lane dataset where it achieves state of the art performance. Moreover, our code will be open source after publication.


Real rooted polynomials and a generalised Hermite Sylvester theorem. A polynomial is real rooted if all of its roots are real. For every polynomial f(t) in mathbf R t , the Hermite Sylvester theorem associates a quadratic form Phi 2 such that f(t) is real rooted if and only if Phi 2 is positive semidefinite. In this note, for every positive integer m , an 2m adic form Phi 2m is constructed such that f(t) is real rooted if and only if Phi 2m is positive semidefinite for some m if and only if Phi 2m (x 1, ldots, x n) is positive semidefinite for all m .


A type of algebraic structure related to sets of intervals. F. Wehrung has asked Given a family mathcal C of subsets of a set Omega , under what conditions will there exist a total ordering on Omega under which every member of mathcal C is convex? p Note that if A and B are nondisjoint convex subsets of a totally ordered set, neither of which contains the other, then A cup B , A cap B , and A setminus B are also convex. So let mathcal C be an arbitrary set of subsets of a set Omega , and form its closure mathcal P under forming, whenever A and B are nondisjoint and neither contains the other, the sets A cup B , A cap B , and A setminus B . We determine the form mathcal P can take when mathcal C , and hence mathcal P , is finite, and for this case get necessary and sufficient conditions for there to exist an ordering of Omega of the desired sort. From this we obtain a condition which works without the finiteness hypothesis. p We establish bounds on the cardinality of the subset mathcal P generated as above by an n element set mathcal C . p We note connections with the theory of i interval graphs i and i hypergraphs i , which lead to other ways of answering Wehrung's question.


Learning 2D 3D Correspondences To Solve The Blind Perspective n Point Problem. Conventional absolute camera pose via a Perspective n Point (PnP) solver often assumes that the correspondences between 2D image pixels and 3D points are given. When the correspondences between 2D and 3D points are not known a priori, the task becomes the much more challenging blind PnP problem. This paper proposes a deep CNN model which simultaneously solves for both the 6 DoF absolute camera pose and 2D 3D correspondences. Our model comprises three neural modules connected in sequence. First, a two stream PointNet inspired network is applied directly to both the 2D image keypoints and the 3D scene points in order to extract discriminative point wise features harnessing both local and contextual information. Second, a global feature matching module is employed to estimate a matchability matrix among all 2D 3D pairs. Third, the obtained matchability matrix is fed into a classification module to disambiguate inlier matches. The entire network is trained end to end, followed by a robust model fitting (P3P RANSAC) at test time only to recover the 6 DoF camera pose. Extensive tests on both real and simulated data have shown that our method substantially outperforms existing approaches, and is capable of processing thousands of points a second with the state of the art accuracy.


ATZSL Defensive Zero Shot Recognition in the Presence of Adversaries. Zero shot learning (ZSL) has received extensive attention recently especially in areas of fine grained object recognition, retrieval, and image captioning. Due to the complete lack of training samples and high requirement of defense transferability, the ZSL model learned is particularly vulnerable against adversarial attacks. Recent work also showed adversarially robust generalization requires more data. This may significantly affect the robustness of ZSL. However, very few efforts have been devoted towards this direction. In this paper, we take an initial attempt, and propose a generic formulation to provide a systematical solution (named ATZSL) for learning a robust ZSL model. It is capable of achieving better generalization on various adversarial objects recognition while only losing a negligible performance on clean images for unseen classes, by casting ZSL into a min max optimization problem. To address it, we design a defensive relation prediction network, which can bridge the seen and unseen class domains via attributes to generalize prediction and defense strategy. Additionally, our framework can be extended to deal with the poisoned scenario of unseen class attributes. An extensive group of experiments are then presented, demonstrating that ATZSL obtains remarkably more favorable trade off between model transferability and robustness, over currently available alternatives under various settings.


Question Generation from Paragraphs A Tale of Two Hierarchical Models. Automatic question generation from paragraphs is an important and challenging problem, particularly due to the long context from paragraphs. In this paper, we propose and study two hierarchical models for the task of question generation from paragraphs. Specifically, we propose (a) a novel hierarchical BiLSTM model with selective attention and (b) a novel hierarchical Transformer architecture, both of which learn hierarchical representations of paragraphs. We model a paragraph in terms of its constituent sentences, and a sentence in terms of its constituent words. While the introduction of the attention mechanism benefits the hierarchical BiLSTM model, the hierarchical Transformer, with its inherent attention and positional encoding mechanisms also performs better than flat transformer model. We conducted empirical evaluation on the widely used SQuAD and MS MARCO datasets using standard metrics. The results demonstrate the overall effectiveness of the hierarchical models over their flat counterparts. Qualitatively, our hierarchical models are able to generate fluent and relevant questions


On the Solutions of Systems of Difference Equations via Tribonacci Numbers. The main objective of this paper is to investigate the explicit form, stability character and global behavior of solutions of the following two systems of rational difference equations x n 1 (( ( )1) (y n (x n 1 ( )1) 1)), y n 1 (( ( )1) (x n (y n 1 ( )1) 1)), n 0,1,... such that their solutions are associated with Tribonacci numbers.


Robust Instance Optimal Recovery of Sparse Signals at Unknown Noise Levels. We consider the problem of sparse signal recovery from noisy measurements. Many of frequently used recovery methods rely on some sort of tuning depending on either noise or signal parameters. If no estimates for either of them are available, the noisy recovery problem is significantly harder. The square root LASSO and the least absolute deviation LASSO are known to be noise blind, in the sense that the tuning parameter can be chosen independent on the noise and the signal. We generalize those recovery methods to the hrlone and give a recovery guarantee once the tuning parameter is above a threshold. Moreover, we analyze the effect of a bad chosen tuning parameter mistuning on a theoretic level and prove the optimality of our recovery guarantee. Further, for Gaussian matrices we give a refined analysis of the threshold of the tuning parameter and proof a new relation of the tuning parameter on the dimensions. Indeed, for a certain amount of measurements the tuning parameter becomes independent on the sparsity. Finally, we verify that the least absolute deviation LASSO can be used with random walk matrices of uniformly at random chosen left regular biparitite graphs.


Minimal supplements in normalizers of maximal tori of F 4(q) . Let G be a finite group of Lie type F 4 with the Weyl group W . For every maximal torus T of G , we find the minimal order of a supplement to T in its algebraic normalizer N(G,T) . In particular, we obtain all maximal tori having complements in N(G,T) . Assume that T corresponds to an element w of W . We find the minimal order of lifts of w to N(G,T) .


CheasePy. CheasePy is code written in Python to run the CHEASE (Cubic Hermite Element Axisymmetric Static Equilibrium) code, which solves the Grad Shafranov equation for toroidal MHD equilibria using pressure and current profiles and fixed plasma boundaries that is defined by a set of experimental data points (R,Z). The CheasePy code allows an iterative running of the CHEASE code either to check the preservation of MHD equilibria or converging to an experimentally defined total toroidal plasma current by modifying any input quantity.


Second order cone interior point method for quasistatic and moderate dynamic cohesive fracture. Cohesive fracture is among the few techniques able to model complex fracture nucleation and propagation with a sharp (nonsmeared) representation of the crack. Implicit time stepping schemes are often favored in mechanics due to their ability to take larger time steps in quasistatic and moderate dynamic problems. Furthermore, initially rigid cohesive models are typically preferred when the location of the crack is not known in advance, since initially elastic models artificially lower the material stiffness. It is challenging to include an initially rigid cohesive model in an implicit scheme because the initiation of fracture corresponds to a nondifferentiability of the underlying potential. In this work, an interior point method is proposed for implicit time stepping of initially rigid cohesive fracture. It uses techniques developed for convex second order cone programming for the nonconvex problem at hand. The underlying cohesive model is taken from Papoulia (2017) and is based on a nondifferentiable energy function. That previous work proposed an algorithm based on successive smooth approximations to the nondifferential objective for solving the resulting optimization problem. It is argued herein that cone programming can capture the nondifferentiability without smoothing, and the resulting cone formulation is amenable to interior point algorithms. A further benefit of the formulation is that other conic inequality constraints are straightforward to incorporate. Computational results are provided showing that certain contact constraints can be easily handled and that the method is practical.


The BGG Category for Generalised Reductive Lie Algebras. A Lie algebra is said to be generalised reductive if it is a direct sum of a semisimple Lie algebra and a commutative radical. In this paper we extend the BGG category mathcal O over complex semisimple Lie algebras to the category mathcal O' over complex generalised reductive Lie algebras. Then we make a preliminary research on the highest weight modules and the projective modules in this new category mathcal O' , and generalize some conclusions in the classical case. As a critical difference from the complex semisimple Lie algebra case, we prove that there is no projective module in mathcal O' .


Stable Boundary Conditions and Discretization for PN Equations. A solution to the linear Boltzmann equation satisfies an energy bound, which reflects a natural fact The energy of particles in a finite volume is bounded in time by the energy of particles initially occupying the volume augmented by the energy transported into the volume by particles entering the volume over time. In this paper, we present boundary conditions (BCs) for the spherical harmonic (PN) approximation, which ensure that this fundamental energy bound is satisfied by the PN approximation. Our BCs are compatible with the characteristic waves of PN equations and determine the incoming waves uniquely. Both, energy bound and compatibility, are shown based on abstract formulations of PN equations and BCs to isolate the necessary structures and properties. The BCs are derived from a Marshak type formulation of BC and base on a non classical even odd classification of spherical harmonic functions and a stabilization step, which is similar to the truncation of the series expansion in the PN method. We show that summation by parts (SBP) finite differences on staggered grids in space and the method of simultaneous approximation terms (SAT) allows to maintain the energy bound also on the semi discrete level.


The 0,1 knapsack problem with qualitative levels. A variant of the classical knapsack problem is considered in which each item is associated with an integer weight and a qualitative level. We define a dominance relation over the feasible subsets of the given item set and show that this relation defines a preorder. We propose a dynamic programming algorithm to compute the entire set of non dominated rank cardinality vectors and we state two greedy algorithms, which efficiently compute a single efficient solution.


Class group of real cyclotomic fields. In this article, we prove that every finite abelian group G of odd order occurs as a subgroup of the class group of infinitely many real cyclotomic fields.


Entropy flow and De Bruijn's identity for a class of stochastic differential equations driven by fractional Brownian motion. Motivated by the classical De Bruijn's identity for the additive Gaussian noise channel, in this paper we consider a generalized setting where the channel is modelled via stochastic differential equations driven by fractional Brownian motion with Hurst parameter H in(0,1) . We derive generalized De Bruijn's identity for Shannon entropy and Kullback Leibler divergence by means of It o's formula, and present two applications. In the first application we demonstrate its equivalence with Stein's identity for Gaussian distributions, while in the second application, we show that for H in (0,1 2 , the entropy power is concave in time while for H in (1 2,1) it is convex in time when the initial distribution is Gaussian. Compared with the classical case of H 1 2 , the time parameter plays an interesting and significant role in the analysis of these quantities.


Enumeration of algebraic and tropical singular hypersurfaces. We develop a version of Mikhalkin's lattice path algorithm for projective hypersurfaces of arbitrary degree and dimension, which enumerates singular tropical hypersurfaces passing through appropriate configuration of points. By proving a correspondence theorem combined with the lattice path algorithm, we construct a delta dimensional linear space of degree d real hypersurfaces containing frac 1 delta! ( gamma nd n) delta O(d n delta 1 ) hypersurfaces with delta real nodes, where gamma n are positive and given by a recursive formula. This is asymptotically comparable to the number frac 1 delta! left( (n 1)(d 1) n right) delta O left(d n( delta 1) right) of complex hypersurfaces having delta nodes in a delta dimensional linear space. In the case delta 1 we give a slightly better leading term.


On Lightlike Geometry of Indefinite Sasakian Statistical Manifolds. In this study, we introduce indefinite sasakian statistical manifolds and lightlike hypersurfaces of an indefinite sasakian statistical manifold. Some relations among induced geometrical objects with respect to dual connections in a lightlike hypersurface of an indefinite sasakian manifold are obtained. Some examples related to these concepts are also presented. Finally, we prove that an invariant lightlike submanifold of indefinite sasakian statistical manifold is an indefinite sasakian statistical manifold.


A concise and critical literature review on approaches for the modelling of the deformation behavior of soils subjected to cyclic loads. This paper focuses on state of the art of various approaches for the modelling of deformation behavior of soils when subjected to cyclic loading. The various approaches are broadly classified into implicit and explicit. Models within each category are discussed and some of their limitations are pointed out.


DONE Distributed Approximate Newton type Method for Federated Edge Learning. There is growing interest in applying distributed machine learning to edge computing, forming federated edge learning. Federated edge learning faces non i.i.d. and heterogeneous data, and the communication between edge workers, possibly through distant locations and with unstable wireless networks, is more costly than their local computational overhead. In this work, we propose DONE, a distributed approximate Newton type algorithm with fast convergence rate for communication efficient federated edge learning. First, with strongly convex and smooth loss functions, DONE approximates the Newton direction in a distributed manner using the classical Richardson iteration on each edge worker. Second, we prove that DONE has linear quadratic convergence and analyze its communication complexities. Finally, the experimental results with non i.i.d. and heterogeneous data show that DONE attains a comparable performance to the Newton's method. Notably, DONE requires fewer communication iterations compared to distributed gradient descent and outperforms DANE and FEDL, state of the art approaches, in the case of non quadratic loss functions.


Reaction Cycles of Halogen Species in the Immune Defense Implications for Human Health and Diseases and the Pathology and Treatment of COVID 19. There is no vaccine or specific antiviral treatment for COVID 19. One current focus is drug repurposing research, but those drugs have limited therapeutic efficacies and known adverse effects. The pathology of COVID 19 is essentially unknown. It is therefore challenging to discover a successful treatment to be approved for clinical use. This paper addresses several key biological processes of reactive oxygen, halogen and nitrogen species (ROS, RHS and RNS) that play crucial physiological roles in organisms from plants to humans. These include why superoxide dismutases, the enzymes to catalyze the formation of H2O2, are required for protecting ROS induced injury in cell metabolism, why the amount of ROS RNS produced by ionizing radiation at clinically relevant doses is 1000 fold lower than the endogenous ROS RNS level routinely produced in the cell and why a low level of endogenous RHS plays a crucial role in phagocytosis for immune defense. Herein we propose a plausible amplification mechanism in immune defense ozone depleting like halogen cyclic reactions enhancing RHS effects are responsible for all the mentioned physiological functions, which are activated by H2O2 and deactivated by NO signaling molecule. Our results show that the reaction cycles can be repeated thousands of times and amplify the RHS pathogen killing (defense) effects by 100,000 fold in phagocytosis, resembling the cyclic ozone depleting reactions in the stratosphere. It is unraveled that H2O2 is a required protective signaling molecule (angel) in the defense system for human health and its dysfunction can cause many diseases or conditions such as autoimmune disorders, aging and cancer. We also identify a class of potent drugs for effective treatment of invading pathogens such as HIV and SARS CoV 2 (COVID 19), cancer and other diseases, and provide a molecular mechanism of action of the drugs or candidates.


Cross modal video representations for weakly supervised active speaker localization. An objective understanding of media depictions, such as inclusive portrayals of how much someone is heard and seen on screen such as in film and television, requires the machines to discern automatically who, when, how, and where someone is talking, and not. Speaker activity can be automatically discerned from the rich multimodal information present in the media content. This is however a challenging problem due to the vast variety and contextual variability in the media content, and the lack of labeled data. In this work, we present a cross modal neural network for learning visual representations, which have implicit information pertaining to the spatial location of a speaker in the visual frames. Avoiding the need for manual annotations for active speakers in visual frames, acquiring of which is very expensive, we present a weakly supervised system for the task of localizing active speakers in movie content. We use the learned cross modal visual representations, and provide weak supervision from movie subtitles acting as a proxy for voice activity, thus requiring no manual annotations. We evaluate the performance of the proposed system on the AVA active speaker dataset and demonstrate the effectiveness of the cross modal embeddings for localizing active speakers in comparison to fully supervised systems. We also demonstrate state of the art performance for the task of voice activity detection in an audio visual framework, especially when speech is accompanied by noise and music.


Fair Meta Learning For Few Shot Classification. Artificial intelligence nowadays plays an increasingly prominent role in our life since decisions that were once made by humans are now delegated to automated systems. A machine learning algorithm trained based on biased data, however, tends to make unfair predictions. Developing classification algorithms that are fair with respect to protected attributes of the data thus becomes an important problem. Motivated by concerns surrounding the fairness effects of sharing and few shot machine learning tools, such as the Model Agnostic Meta Learning framework, we propose a novel fair fast adapted few shot meta learning approach that efficiently mitigates biases during meta train by ensuring controlling the decision boundary covariance that between the protected variable and the signed distance from the feature vectors to the decision boundary. Through extensive experiments on two real world image benchmarks over three state of the art meta learning algorithms, we empirically demonstrate that our proposed approach efficiently mitigates biases on model output and generalizes both accuracy and fairness to unseen tasks with a limited amount of training samples.


The Bang Calculus Revisited. Call by Push Value (CBPV) is a programming paradigm subsuming both Call by Name (CBN) and Call by Value (CBV) semantics. The paradigm was recently modelled by means of the Bang Calculus, a term language connecting CBPV and Linear Logic. This paper presents a revisited version of the Bang Calculus, called lambda ! , enjoying some important properties missing in the original system. Indeed, the new calculus integrates commutative conversions to unblock value redexes while being confluent at the same time. A second contribution is related to non idempotent types. We provide a quantitative type system for our lambda ! calculus, and we show that the length of the (weak) reduction of a typed term to its normal form emph plus the size of this normal form is bounded by the size of its type derivation. We also explore the properties of this type system with respect to CBN CBV translations. We keep the original CBN translation from lambda calculus to the Bang Calculus, which preserves normal forms and is sound and complete with respect to the (quantitative) type system for CBN. However, in the case of CBV, we reformulate both the translation and the type system to restore two main properties preservation of normal forms and completeness. Last but not least, the quantitative system is refined to a emph tight one, which transforms the previous upper bound on the length of reduction to normal form plus its size into two independent emph exact measures for them.


PANDORA Talks Personality and Demographics on Reddit. Personality and demographics are important variables in social sciences, while in NLP they can aid in interpretability and removal of societal biases. However, datasets with both personality and demographic labels are scarce. To address this, we present PANDORA, the first large scale dataset of Reddit comments labeled with three personality models (including the well established Big 5 model) and demographics (age, gender, and location) for more than 10k users. We showcase the usefulness of this dataset on three experiments, where we leverage the more readily available data from other personality models to predict the Big 5 traits, analyze gender classification biases arising from psycho demographic variables, and carry out a confirmatory and exploratory analysis based on psychological theories. Finally, we present benchmark prediction models for all personality and demographic variables.


Demographic Inference and Representative Population Estimates from Multilingual Social Media Data. Social media provide access to behavioural data at an unprecedented scale and granularity. However, using these data to understand phenomena in a broader population is difficult due to their non representativeness and the bias of statistical inference tools towards dominant languages and groups. While demographic attribute inference could be used to mitigate such bias, current techniques are almost entirely monolingual and fail to work in a global environment. We address these challenges by combining multilingual demographic inference with post stratification to create a more representative population sample. To learn demographic attributes, we create a new multimodal deep neural architecture for joint classification of age, gender, and organization status of social media users that operates in 32 languages. This method substantially outperforms current state of the art while also reducing algorithmic bias. To correct for sampling biases, we propose fully interpretable multilevel regression methods that estimate inclusion probabilities from inferred joint population counts and ground truth population counts. In a large experiment over multilingual heterogeneous European regions, we show that our demographic inference and bias correction together allow for more accurate estimates of populations and make a significant step towards representative social sensing in downstream applications with multilingual social media.


Concentration of product spaces. We investigate the relation between the concentration and the product of metric measure spaces. We have the natural question whether, for two concentrating sequences of metric measure spaces, the sequence of their product spaces also concentrates. A partial answer is mentioned in Gromov's book. We obtain a complete answer for this question.


Direct Solution of FEM Models Are Sparse Direct Solvers the Best Strategy?. A brief summary of direct solution approaches for finite element methods (FEM) in computational electromagnetics (CEM) is given along with an alternative direct solution based on domain decomposition (DD). Unlike recent trends in approximate low rank solvers, this work focuses on numerically exact' solution methods as they are more reliable for complex real life' models. Preliminary studies on general three dimensional geometries with unstructured FEM meshes suggest that the proposed direct DD methodology offers significant memory advantages over highly optimized, high performance sparse direct solver libraries, while maintaining approximately comparable or slightly slower serial serial execution speed but with significantly better parallel and GPU processing prospects.


Improving Abstractive Text Summarization with History Aggregation. Recent neural sequence to sequence models have provided feasible solutions for abstractive summarization. However, such models are still hard to tackle long text dependency in the summarization task. A high quality summarization system usually depends on strong encoder which can refine important information from long input texts so that the decoder can generate salient summaries from the encoder's memory. In this paper, we propose an aggregation mechanism based on the Transformer model to address the challenge of long text representation. Our model can review history information to make encoder hold more memory capacity. Empirically, we apply our aggregation mechanism to the Transformer model and experiment on CNN DailyMail dataset to achieve higher quality summaries compared to several strong baseline models on the ROUGE metrics.


Anosov diffeomorphisms, anisotropic BV spaces and regularity of foliations. Given any smooth Anosov map we construct a Banach space on which the associated transfer operator is quasi compact. The peculiarity of such a space is that in the case of expanding maps it reduces exactly to the usual space of functions of bounded variation which has proven particularly successful in studying the statistical properties of piecewise expanding maps. Our approach is based on a new method of studying the absolute continuity of foliations which provides new information that could prove useful in treating hyperbolic systems with singularities.


Global Mirrors and Discrepant Transformations for Toric Deligne Mumford Stacks. We introduce a global Landau Ginzburg model which is mirror to several toric Deligne Mumford stacks and describe the change of the Gromov Witten theories under discrepant transformations. We prove a formal decomposition of the quantum cohomology D modules (and of the all genus Gromov Witten potentials) under a discrepant toric wall crossing. In the case of weighted blowups of weak Fano compact toric stacks along toric centres, we show that an analytic lift of the formal decomposition corresponds, via the widehat Gamma integral structure, to an Orlov type semiorthogonal decomposition of topological K groups. We state a conjectural functoriality of Gromov Witten theories under discrepant transformations in terms of a Riemann Hilbert problem.


A Computational Analysis of Polarization on Indian and Pakistani Social Media. Between February 14, 2019 and March 4, 2019, a terrorist attack in Pulwama, Kashmir followed by retaliatory airstrikes led to rising tensions between India and Pakistan, two nuclear armed countries. In this work, we examine polarizing messaging on Twitter during these events, particularly focusing on the positions of Indian and Pakistani politicians. We use a label propagation technique focused on hashtag co occurrences to find polarizing tweets and users. Our analysis reveals that politicians in the ruling political party in India (BJP) used polarized hashtags and called for escalation of conflict more so than politicians from other parties. Our work offers the first analysis of how escalating tensions between India and Pakistan manifest on Twitter and provides a framework for studying polarizing messages.


On the rules of science game. Credit allocation in the mainstream bibliometrics is fundamentally flawed and the popular indicators have been misleading science for decades. Originally a simple technical mistake has become an integral part of our culture and is very difficult to correct. Although the problem has been raised in scientific articles, it seems mostly unknown to wider audience.


Towards Obfuscated Malware Detection for Low Powered IoT Devices. With the increased deployment of IoT and edge devices into commercial and user networks, these devices have become a new threat vector for malware authors. It is imperative to protect these devices as they become more prevalent in commercial and personal networks. However, due to their limited computational power and storage space, especially in the case of battery powered devices, it is infeasible to deploy state of the art malware detectors onto these systems. In this work, we propose using and extracting features from Markov matrices constructed from opcode traces as a low cost feature for unobfuscated and obfuscated malware detection. We empirically show that our approach maintains a high detection rate while consuming less power than similar work.


Explainable AI for Software Engineering. Artificial Intelligence Machine Learning techniques have been widely used in software engineering to improve developer productivity, the quality of software systems, and decision making. However, such AI ML models for software engineering are still impractical, not explainable, and not actionable. These concerns often hinder the adoption of AI ML models in software engineering practices. In this article, we first highlight the need for explainable AI in software engineering. Then, we summarize three successful case studies on how explainable AI techniques can be used to address the aforementioned challenges by making software defect prediction models more practical, explainable, and actionable.


Forensic Analysis of Residual Information in Adobe PDF Files. In recent years, as electronic files include personal records and business activities, these files can be used as important evidences in a digital forensic investigation process. In general, the data that can be verified using its own application programs is largely used in the investigation of document files. However, in the case of the PDF file that has been largely used at the present time, certain data, which include the data before some modifications, exist in electronic document files unintentionally. Because such residual information may present the writing process of a file, it can be usefully used in a forensic viewpoint. This paper introduces why the residual information is stored inside the PDF file and explains a way to extract the information. In addition, we demonstrate the attributes of PDF files can be used to hide data.


6 infinity new expressions for the Euler Mascheroni constant. In the first part we present results of four experimental'' determinations of the Euler Mascheroni constant gamma . Next we give new formulas expressing the gamma constant in terms of the Ramanujan Soldner constant mu . Employing the cosine integral we obtain the infinity of formulas for gamma .


MAPPER Multi Agent Path Planning with Evolutionary Reinforcement Learning in Mixed Dynamic Environments. Multi agent navigation in dynamic environments is of great industrial value when deploying a large scale fleet of robot to real world applications. This paper proposes a decentralized partially observable multi agent path planning with evolutionary reinforcement learning (MAPPER) method to learn an effective local planning policy in mixed dynamic environments. Reinforcement learning based methods usually suffer performance degradation on long horizon tasks with goal conditioned sparse rewards, so we decompose the long range navigation task into many easier sub tasks under the guidance of a global planner, which increases agents' performance in large environments. Moreover, most existing multi agent planning approaches assume either perfect information of the surrounding environment or homogeneity of nearby dynamic agents, which may not hold in practice. Our approach models dynamic obstacles' behavior with an image based representation and trains a policy in mixed dynamic environments without homogeneity assumption. To ensure multi agent training stability and performance, we propose an evolutionary training approach that can be easily scaled to large and complex environments. Experiments show that MAPPER is able to achieve higher success rates and more stable performance when exposed to a large number of non cooperative dynamic obstacles compared with traditional reaction based planner LRA and the state of the art learning based method.


Sustainability of ICT hardware procurement in Switzerland A status quo analysis of the public procurement sector. Sustainable procurement requires organizations to align their purchasing behavior with regard to broader goals linked to resource efficiency, climate change, social responsibility and other sustainability criteria. The level of sustainability in Information and Communication Technology (ICT) hardware procurement is analyzed for two reasons First, ICT hardware belongs to the six key product groups in sustainable procurement. Second, ICT in general is expected to be an important enabler for low carbon economies, providing solutions to reduce Green House Gas (GHG) emissions. While the advantages of sustainable procurement are obvious, certain barriers hinder the adoption in day to day procurement. This case study on ICT hardware discusses the three important barriers "lack of clear definitions per product group", "missing market intelligence about sustainable products" and "inflexible procedures and attitudes as barriers for innovative approaches" based on an in depth analysis of sustainable procurement of ICT hardware by the public sector in Switzerland. To this end, tender data published on the national procurement platform simap.ch is screened for sustainability criteria using the Common Procurement Vocabulary (CPV) nomenclature to identify relevant ICT projects. The results reveal to which extent such criteria as well as their determinants are currently included in public tenders. Using two different approaches, only a small number of tenders were found containing sustainability criteria of a wide range from basic to comprehensive. The overall performance of Swiss public procurement is benchmarked by comparing the identified sustainability criteria with available criteria from international key actors in sustainable procurement. Thus, this analysis provides novel insights on how public agencies today take sustainability into account when procuring ICT hardware.


Deployable Tensegrity Lunar Tower. A tensegrity tower design to support a given payload for the moon mining operation is proposed in this paper. A non linear optimization problem for the minimal mass structure design is posed and solved, subject to the yielding constraints for strings and yielding and buckling constraints for bars in the presence of lunar gravity. The optimization variables for this non linear problem are structural complexity and pre stress in the strings. Apart from local failure constraints of yielding and buckling, global buckling is also considered. The structure designed as a deployable tower is a TnD1 tensegrity structure. A case study demonstrates the feasibility and advantage of the tower design. The principles developed in this paper are also applicable for building other structures on the Earth or other planets.


Rateless Codes for Private Distributed Matrix Matrix Multiplication. We consider the problem of designing rateless coded private distributed matrix matrix multiplication. A master server owns two private matrices mathbf A and mathbf B and wants to hire worker nodes to help compute the multiplication. The matrices should remain private from the workers, in an information theoretic sense. This problem has been considered in the literature and codes with a predesigned threshold are constructed. More precisely, the master assigns tasks to the workers and waits for a predetermined number of workers to finish their assigned tasks. The size of the tasks assigned to the workers depends on the designed threshold. We are interested in settings where the size of the task must be small and independent of the designed threshold. We design a rateless private matrix matrix multiplications scheme, called RPM3. Our scheme fixes the size of the tasks and allows the master to send multiple tasks to the workers. The master keeps receiving results until it can decode the multiplication. Two main applications require this property i) leverage the possible heterogeneity in the system and assign more tasks to workers that are faster and ii) assign tasks adaptively to account for a possibly time varying system.


Obtaining Basic Algebra Formulas with Genetic Programming and Functional Rewriting. In this paper, we develop a set of genetic programming operators and an initialization population process based on concepts of functional programming rewriting for boosting inductive genetic programming. Such genetic operators are used within a hybrid adaptive evolutionary algorithm that evolves operator rates at the same time it evolves the solution. Solutions are represented using recursive functions where genome is encoded as an ordered list of trees and phenotype is written in a simple functional programming language that uses rewriting as operational semantic (computational model). The fitness is the number of examples successfully deduced over the cardinal of the set of examples. Parents are selected following a tournament selection mechanism and the next population is obtained following a steady state strategy. The evolutionary process can use some previous functions (programs) induced as background knowledge. We compare the performance of our technique in a set of hard problems (for classical genetic programming). In particular, we take as test bed the problem of obtaining equivalent algebraic expressions of some notable products (such as square of a binomial, and cube of a binomial), and the recursive formulas of sum of the first n and squares of the first n natural numbers.


The Lagrangian Mechanics and Pseudo Periodicity of The Many Body Planar Pendulum System. We present the Euler Langrage equations for a many body system of coupled planar pendulums. Hence, imposing initial condition data, the equations of motion are linearized and later developed in an idealized model for the pseudo periodicity of the system as a function of the number of pendulums N . The result is empirically corroborated by comparing the model with data obtained via a numerical simulation, and by employing Kane's Method integrator in Python.


Mitigation of Collective Effects by Optics Optimisation. This paper covers recent progress in the design of optics solutions to minimize collective effects such as beam instabilities, intra beam scattering or space charge in hadron and lepton rings. The necessary steps are reviewed for designing the optics of high intensity and high brightness synchrotrons but also ultra low emittance lepton storage rings, whose performance is strongly dominated by collective effects. Particular emphasis is given to proposed and existing designs illustrated by simulations and beam measurements.


Hierarchical DWR Error Estimates for the Navier Stokes Equation h and p Enrichment. In this work, we further develop multigoal oriented a posteriori error estimation for the nonlinear, stationary, incompressible Navier Stokes equations. It is an extension of our previous work B. Endtmayer, U. Langer, T. Wick Two side a posteriori error estimates for the DWR method, SISC , 2019, accepted . We now focus on h mesh refinement and p enrichment for the error estimator. These advancements are demonstrated with the help of a numerical example


Proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human Robot Teaming. This record contains the proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human Robot Teaming, which was held in conjunction with the 2020 ACM IEEE International Conference on Human Robot Interaction (HRI). This workshop was originally scheduled to occur in Cambridge, UK on March 23, but was moved to a set of online talks due to the COVID 19 pandemic.


Stochastic Stabilization of Transient Axisymmetric Taylor Couette Flow. Structured on the paradigmatic Navier Stokes flow model, we study a stochastically forced Taylor Couette system in the narrow gap limit, in order to analyze the simultaneous impact of a non conserved (Gaussian) force and a nonlinear perturbation, in determining linear stability. Our analysis identifies key parametric windows within which the model remarkably retains its linear stability, even against jointly varying stochastic forcing and nonlinear fluctuations. We identify this feature as a it latent universality , that we then utilize to answer the elusive question as to how a recent groundbreaking accretion flow model retains its stability, even in presence of nonlinear perturbations and non conserved stochastic forcing. Our analytical outline goes beyond the immediate model studied and lays a generic foundation of analyzing stability for nonlinear sheared models acted on by external forces and subjected to boundary layer instability. presence of nonlinear perturbations and non conserved stochastic forcing. Our analytical outline goes beyond the immediate model studied and lays a generic foundation of analyzing stability for nonlinear sheared models acted on by external forces and subjected to boundary layer instability.


Search Based Software Engineering for Self Adaptive Systems Survey, Disappointments, Suggestions and Opportunities. Search Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self adaptive system (SAS) is one category of such complex systems that permits to optimize different functional and non functional objectives criteria under changing environments (e.g., requirements and workload), which involves problems that are subject to search. In this regard, over years, there has been a considerable amount of work that investigates SBSE for SASs. In this paper, we provide the first systematic and comprehensive survey exclusively on SBSE for SASs, covering papers in 27 venues from 7 repositories, which eventually leads to several key statistics from the most notable 74 primary studies in this particular field of research. Our results, surprisingly, have revealed five disappointments that are of utmost importance and can result in serve consequences but have been overwhelmingly ignored in existing studies. We provide theoretical and or experimental evidence to justify our arguments against the disappointments, present suggestions, and highlight the promising research opportunities towards their mitigation. We also elaborate on three other emergent, but currently under explored opportunities for future work on SBSE for SASs. By mitigating the disappointments revealed in this work, together with the highlighted opportunities, we hope to be able to excite a much more significant growth in this particular research direction.


DFSSD Deep Faults and Shallow State Duality, A Provably Strong Obfuscation Solution for Circuits with Restricted Access to Scan Chain. In this paper, we introduce DFSSD, a novel logic locking solution for sequential and FSM circuits with a restricted (locked) access to the scan chain. DFSSD combines two techniques for obfuscation (1) Deep Faults, and (2) Shallow State Duality. Both techniques are specifically designed to resist against sequential SAT attacks based on bounded model checking. The shallow state duality prevents a sequential SAT attack from taking a shortcut for early termination without running an exhaustive unbounded model checker to assess if the attack could be terminated. The deep fault, on the other hand, provides a designer with a technique for building deep, yet key recoverable faults that could not be discovered by sequential SAT (and bounded model checker based) attacks in a reasonable time.


The achromatic number of the Cartesian product of K 6 and K q . Let G be a graph and C a finite set of colours. A vertex colouring f V(G) to C is complete if for any pair of distinct colours c 1,c 2 in C one can find an edge v 1,v 2 in E(G) such that f(v i) c i , i 1,2 . The achromatic number of G is defined to be the maximum number mathrm achr (G) of colours in a proper complete vertex colouring of G . In the paper mathrm achr (K 6 square K q) is determined for any integer q such that either 8 le q le40 or q ge42 is even.


Optimization of Robot Grasping Forces and Worst Case Loading. We consider the optimization of the vector of grasping forces that support a known generalized force acting on the grasped object a rigid body or a mechanism. Working in the framework of finite dimensional normed vector spaces and their dual spaces, the cost function to be minimized is assumed to be a norm on the space of grasping forces. We present an expression for the optimum which depends on the external force and the kinematics of the grasping system. Next, assuming that optimal grasping forces are applied using force control, and assuming that there is a bound on the norm of the admissible grasping forces, we characterize the largest norm of an external force that the grasping system may support, that is, the norm of the worst case loading that may be applied and still be supported. A few simple examples are given for the sake of illustration.


Neural Generation Meets Real People Towards Emotionally Engaging Mixed Initiative Conversations. We present Chirpy Cardinal, an open domain dialogue agent, as a research platform for the 2019 Alexa Prize competition. Building an open domain socialbot that talks to real people is challenging such a system must meet multiple user expectations such as broad world knowledge, conversational style, and emotional connection. Our socialbot engages users on their terms prioritizing their interests, feelings and autonomy. As a result, our socialbot provides a responsive, personalized user experience, capable of talking knowledgeably about a wide variety of topics, as well as chatting empathetically about ordinary life. Neural generation plays a key role in achieving these goals, providing the backbone for our conversational and emotional tone. At the end of the competition, Chirpy Cardinal progressed to the finals with an average rating of 3.6 5.0, a median conversation duration of 2 minutes 16 seconds, and a 90th percentile duration of over 12 minutes.


Real time reconstruction of moving point dipole wave sources from boundary measurements. This paper is concerned with a reconstruction method for multiple moving point dipole wave sources. We assume that the number, locations, and magnitudes moments of wave sources are unknown, and consider the problem to reconstruct these parameters from the measurement of the wave field on the boundary. For this problem, we derive algebraic relations between the parameters of wave sources and the reciprocity gap functionals, and propose a real time reconstruction procedure based on these relations. We perform some numerical experiments, and show the effectiveness of our reconstruction procedure.


Pontryagin Krein Theorem Lomonosov's proof and related results. We discuss Lomonosov's proof of the Pontryagin Krein Theorem on invariant maximal non positive subspaces, prove the refinement of one theorem from cite OShT on common fixed points for a group of fractional linear maps of operator ball and deduce its consequences. Some Burnside type counterparts of the Pontryagin Krein Theorem are also considered.


A Conceptual Framework for Assessing Anonymization Utility Trade Offs Based on Principal Component Analysis. An anonymization technique for databases is proposed that employs Principal Component Analysis. The technique aims at releasing the least possible amount of information, while preserving the utility of the data released in response to queries. The general scheme is described, and alternative metrics are proposed to assess utility, based respectively on matrix norms correlation coefficients divergence measures, and quality indices of database images. This approach allows to properly measure the utility of output data and incorporate that measure in the anonymization method.


Towards a Modelling Framework for Self Sovereign Identity Systems. Self sovereign Identity promises to give users control of their own data, and has the potential to foster advancements in terms of personal data privacy. Self sovereign concepts can also be applied to other entities, such as datasets and devices. Systems adopting this paradigm will be decentralised, with messages passing between multiple actors, both human and representing other entities, in order to issue and request credentials necessary to meet individual and collective goals. Such systems are complex, and build upon social and technical interactions and behaviours. Modelling self sovereign identity systems seeks to provide stakeholders and software architects with tools to enable them to communicate effectively, and lead to effective and well regarded system designs and implementations. This paper draws upon research from Actor based Modelling to guide a way forward in modelling self sovereign systems, and reports early success in utilising the iStar 2.0 framework to provide a representation of a birth registration case study.


Volume Above Distance Below. Given a pair of metric tensors g 1 ge g 0 on a Riemannian manifold, M , it is well known that operatorname Vol 1(M) ge operatorname Vol 0(M) . Furthermore one has rigidity the volumes are equal if and only if the metric tensors are the same g 1 g 0 . Here we prove that if g j ge g 0 and operatorname Vol 1(M) to operatorname Vol 0(M) then (M,g j) converge to (M,g 0) in the volume preserving intrinsic flat sense. Well known examples demonstrate that one need not obtain smooth, C 0 , Lipschitz, or even Gromov Hausdorff convergence in this setting. Our theorem may also be applied as a tool towards proving other open conjectures concerning the geometric stability of a variety of rigidity theorems in Riemannian geometry. To complete our proof, we provide a novel way of estimating the intrinsic flat distance between Riemannian manifolds which is interesting in its own right.


Analyzing Root Causes of Intrusion Detection False Negatives Methodology and Case Study. Intrusion Detection Systems (IDSs) are a necessary cyber defense mechanism. Unfortunately, their capability has fallen behind that of attackers. This motivates us to improve our understanding of the root causes of their false negatives. In this paper we make a first step towards the ultimate goal of drawing useful insights and principles that can guide the design of next generation IDSs. Specifically, we propose a methodology for analyzing the root causes of IDS false negatives and conduct a case study based on Snort and a real world dataset of cyber attacks. The case study allows us to draw useful insights.


Autoencoding Improves Pre trained Word Embeddings. Prior work investigating the geometry of pre trained word embeddings have shown that word embeddings to be distributed in a narrow cone and by centering and projecting using principal component vectors one can increase the accuracy of a given set of pre trained word embeddings. However, theoretically, this post processing step is equivalent to applying a linear autoencoder to minimise the squared l2 reconstruction error. This result contradicts prior work (Mu and Viswanath, 2018) that proposed to remove the top principal components from pre trained embeddings. We experimentally verify our theoretical claims and show that retaining the top principal components is indeed useful for improving pre trained word embeddings, without requiring access to additional linguistic resources or labelled data.


Lower bounds for the first eigenvalue of the Laplacian with zero magnetic field in planar domains. We study the Laplacian with zero magnetic field acting on complex functions of a planar domain Omega , with magnetic Neumann boundary conditions. If Omega is simply connected then the spectrum reduces to the spectrum of the usual Neumann Laplacian therefore we focus on multiply connected domains bounded by convex curves and prove lower bounds for its ground state depending on the geometry and the topology of Omega . Besides the area, the perimeter and the diameter, the geometric invariants which play a crucial role in the estimates are the the fluxes of the potential one form around the inner holes and the distance between the boundary components of the domain more precisely, the ratio between its minimal and maximal width. Then, we give a lower bound for doubly connected domains which is sharp in terms of this ratio, and a general lower bound for domains with an arbitrary number of holes. When the inner holes shrink to points, we obtain as a corollary a lower bound for the first eigenvalue of the so called Aharonov Bohm operators with an arbitrary number of poles.


A probabilistic proof of apriori l p estimates for a class of divergence form elliptic operators. Suppose that cal L is a divergence form differential operator of the form cal L f (1 2) e U nabla x cdot big e U (I H) nabla x f big , where U is scalar valued, I identity matrix and H an anti symmetric matrix valued function. The coefficients are not assumed to be bounded, but are C 2 regular. We show that if Z int mathbb R d e U(x) dx infty and the supremum of the numerical range of matrix frac12 nabla 2 x U frac12 nabla x left nabla x cdot H nabla x U TH right satisfies some exponential integrability condition with respect to measure d mu Z 1 e U dx , then for any 1 le p q infty there exists a constant C 0 such that left f right W 2,p ( mu) le C Big( left cal L f right L q( mu) left f right L q( mu) Big) for f in C 0 infty( mathbb R d) . Here W 2,p ( mu) is the Sobolev space of functions that are L p( mu) integrable with two derivatives. Our proof is probabilistic and relies on an application of the Malliavin calculus.


Vertex removal in biclique graphs. A textit biclique is a maximal induced complete bipartite subgraph. The textit biclique graph of a graph H , denoted by KB(H) , is the intersection graph of the family of all bicliques of H . In this work we address the following question Given a biclique graph G KB(H) , is it possible to remove a vertex beta of G , such that G q is a biclique graph? And if possible, can we obtain a graph H' such that G q KB(H') ? We show that the general question has a "no" for answer. However, we prove that if G has a vertex q such that d(q) 2 , then G q is a biclique graph and we show how to obtain H' .


Beyond Ternary OPV High Throughput Experimentation and Self Driving Laboratories Optimize Multi Component Systems. Fundamental advances to increase the efficiency as well as stability of organic photovoltaics (OPVs) are achieved by designing ternary blends which represents a clear trend towards multi component active layer blends. We report the development of high throughput and autonomous experimentation methods for the effective optimization of multi component polymer blends for OPVs. A method for automated film formation enabling the fabrication of up to 6048 films per day is introduced. Equipping this automated experimentation platform with a Bayesian optimization, a self driving laboratory is constructed that autonomously evaluates measurements to design and execute the next experiments. To demonstrate the potential of these methods, a four dimensional parameter space of quaternary OPV blends is mapped and optimized for photo stability. While with conventional approaches roughly 100 mg of material would be necessary, the robot based platform can screen 2,000 combinations with less than 10 mg and machine learning enabled autonomous experimentation identifies the stable compositions with less than 1 mg.


Optimum Low Complexity Decoder for Spatial Modulation. In this paper, a novel low complexity detection algorithm for spatial modulation (SM), referred to as the minimum distance of maximum length (m M) algorithm, is proposed and analyzed. The proposed m M algorithm is a smart searching method that is applied for the SM tree search decoders. The behavior of the m M algorithm is studied for three different scenarios i) perfect channel state information at the receiver side (CSIR), ii) imperfect CSIR of a fixed channel estimation error variance, and iii) imperfect CSIR of a variable channel estimation error variance. Moreover, the complexity of the m M algorithm is considered as a random variable, which is carefully analyzed for all scenarios, using probabilistic tools. Based on a combination of the sphere decoder (SD) and ordering concepts, the m M algorithm guarantees to find the maximum likelihood (ML) solution with a significant reduction in the decoding complexity compared to SM ML and existing SM SD algorithms it can reduce the complexity up to 94 and 85 in the perfect CSIR and the worst scenario of imperfect CSIR, respectively, compared to the SM ML decoder. Monte Carlo simulation results are provided to support our findings as well as the derived analytical complexity reduction expressions.


Quantum Cascade Laser Based Hybrid Dual Comb Spectrometer. Four wave mixing based quantum cascade laser frequency combs (QCL FC) are a powerful photonic tool, driving a recent revolution in major molecular fingerprint regions, i.e. mid and far infrared domains. Their compact and frequency agile design, together with their high optical power and spectral purity, promise to deliver an all in one source for the most challenging spectroscopic applications. Here, we demonstrate a metrological grade hybrid dual comb spectrometer, combining the advantages of a THz QCL FC with the accuracy and absolute frequency referencing provided by a free standing, optically rectified THz frequency comb. A proof of principle application to methanol molecular transitions is presented. The multi heterodyne molecular spectra retrieved provide state of the art results in line center determination, achieving the same precision as currently available molecular databases. The devised setup provides a solid platform for a new generation of THz spectrometers, paving the way to more refined and sophisticated systems exploiting full phase control of QCL FCs, or Doppler free spectroscopic schemes.


Analyzing Defense Strategies Against Mobile Information Leakages A Game Theoretic Approach. Abuse of zero permission sensors on board mobile and wearable devices to infer users' personal context and information is a well known privacy threat that has received significant attention. Efforts towards protection mechanisms that prevent or limit the success of such threats, however, have been ad hoc so far and have primarily focused on designing threat specific customized defense mechanisms. Such approaches are not very practical, as evident from their limited adoption within major mobile wearable operating systems. In the end, it is clear that all privacy threats that take advantage of unrestricted access to zero permission sensors can be prevented if access to these sensors is regulated. However, due to the dynamic nature of sensor usage and requirements of different mobile applications, design of such access control mechanisms is not trivial. To effectively design an automated mobile defense mechanism that can dynamically measure the threat level of different sensor access requests from different applications and appropriately block suspicious requests, the problem of zero permission sensor access needs to be first formally defined and analyzed. This paper accomplishes the above objective by employing game theory, specifically, signaling games, to analytically model the sensor access scenario for mobile applications, including, formalizing sensor access strategies of mobile applications and defense strategies of the on board defense mechanism and the associated costs and benefits. Within the confines of a formal and practical game model, the paper then outlines conditions under which equilibria can be achieved between entities (applications and defense mechanism) with conflicting goals. The game model is further analyzed using numerical simulations, and also extended in the form of a repeated signaling game.


Stable tuning of photorefractive micro cavities using an auxiliary laser. Cavity nonlinear optics enables intriguing physical phenomena to occur at micro or nano scales with modest input powers. While this enhances capabilities in applications such as comb generation, frequency conversion and quantum optics, undesired nonlinear effects including photorefraction and thermal bistability are exacerbated. In this letter, we propose and demonstrate a highly effective method of achieving cavity stabilization using an auxiliary laser for controlling photorefraction in a z cut periodically poled lithium niobate (LN) microcavity system. Our numerical study accurately models the photorefractive effect under high input powers, guiding future analyses and development of LN microcavity systems.


SceneAdapt Scene based domain adaptation for semantic segmentation using adversarial learning. Semantic segmentation methods have achieved outstanding performance thanks to deep learning. Nevertheless, when such algorithms are deployed to new contexts not seen during training, it is necessary to collect and label scene specific data in order to adapt them to the new domain using fine tuning. This process is required whenever an already installed camera is moved or a new camera is introduced in a camera network due to the different scene layouts induced by the different viewpoints. To limit the amount of additional training data to be collected, it would be ideal to train a semantic segmentation method using labeled data already available and only unlabeled data coming from the new camera. We formalize this problem as a domain adaptation task and introduce a novel dataset of urban scenes with the related semantic labels. As a first approach to address this challenging task, we propose SceneAdapt, a method for scene adaptation of semantic segmentation algorithms based on adversarial learning. Experiments and comparisons with state of the art approaches to domain adaptation highlight that promising performance can be achieved using adversarial learning both when the two scenes have different but points of view, and when they comprise images of completely different scenes. To encourage research on this topic, we made our code available at our web page https iplab.dmi.unict.it ParkSmartSceneAdaptation .


Extreme Covering Systems of the Integers. It is proved that if the least modulus of a distinct covering system is 4, its largest modulus is at least 60 also if the least modulus is 3, the LCM of the moduli is at least 120 finally, if the least modulus is 4, the LCM of the moduli is at least 360. The constants 60, 120, and 360 can not be replaced by larger constants.


Slide polynomials and subword complexes. Subword complexes were defined by A.Knutson and E.Miller in 2004 for describing Gr "obner degenerations of matrix Schubert varieties. The facets of such a complex are indexed by pipe dreams, or, equivalently, by the monomials in the corresponding Schubert polynomial. In 2017 S.Assaf and D.Searles defined a basis of slide polynomials, generalizing Stanley symmetric functions, and described a combinatorial rule for expanding Schubert polynomials in this basis. We describe a decomposition of subword complexes into strata called slide complexes, that correspond to slide polynomials. The slide complexes are shown to be homeomorphic to balls or spheres.


Towards Hardware Agnostic Gaze Trackers. Gaze tracking is a novel way of interacting with computers which allows new scenarios, such as enabling people with motor neuron disabilities to control their computers or doctors to interact with patient information without touching screen or keyboard. Further, there are emerging applications of gaze tracking in interactive gaming, user experience research, human attention analysis and behavioral studies. Accurate estimation of the gaze may involve accounting for head pose, head position, eye rotation, distance from the object as well as operating conditions such as illumination, occlusion, background noise and various biological aspects of the user. Commercially available gaze trackers utilize specialized sensor assemblies that usually consist of an infrared light source and camera. There are several challenges in the universal proliferation of gaze tracking as accessibility technologies, specifically its affordability, reliability, and ease of use. In this paper, we try to address these challenges through the development of a hardware agnostic gaze tracker. We present a deep neural network architecture as an appearance based method for constrained gaze tracking that utilizes facial imagery captured on an ordinary RGB camera ubiquitous in all modern computing devices. Our system achieved an error of 1.8073cm on GazeCapture dataset without any calibration or device specific fine tuning. This research shows promise that one day soon any computer, tablet, or phone will be controllable using just your eyes due to the prediction capabilities of deep neutral networks.


Concerning the pathological set in the context of probabilistic well posedness. We prove a complementary result to the probabilistic well posedness for the nonlinear wave equation. More precisely, we show that there is a dense set S of the Sobolev space of super critical regularity such that (in sharp contrast with the probabilistic well posedness results) the family of global smooth solutions, generated by the convolution with some approximate identity of the elements of S , does not converge in the space of super critical Sobolev regularity.


Is Your Classifier Actually Biased? Measuring Fairness under Uncertainty with Bernstein Bounds. Most NLP datasets are not annotated with protected attributes such as gender, making it difficult to measure classification bias using standard measures of fairness (e.g., equal opportunity). However, manually annotating a large dataset with a protected attribute is slow and expensive. Instead of annotating all the examples, can we annotate a subset of them and use that sample to estimate the bias? While it is possible to do so, the smaller this annotated sample is, the less certain we are that the estimate is close to the true bias. In this work, we propose using Bernstein bounds to represent this uncertainty about the bias estimate as a confidence interval. We provide empirical evidence that a 95 confidence interval derived this way consistently bounds the true bias. In quantifying this uncertainty, our method, which we call Bernstein bounded unfairness, helps prevent classifiers from being deemed biased or unbiased when there is insufficient evidence to make either claim. Our findings suggest that the datasets currently used to measure specific biases are too small to conclusively identify bias except in the most egregious cases. For example, consider a co reference resolution system that is 5 more accurate on gender stereotypical sentences to claim it is biased with 95 confidence, we need a bias specific dataset that is 3.8 times larger than WinoBias, the largest available.


Global well posedness for the derivative nonlinear Schr "odinger equation. This paper is dedicated to the study of the derivative nonlinear Schr "odinger equation on the real line. The local well posedness of this equation in the Sobolev spaces is well understood since a couple of decades, while the global well posedness is not completely settled. For the latter issue, the best known results up to date concern either Cauchy data in H frac12 with mass strictly less than 4 pi or general initial conditions in the weighted Sobolev space H 2, 2 . In this article, we prove that the derivative nonlinear Schr "odinger equation is globally well posed for general Cauchy data in H frac12 and that furthermore the H frac12 norm of the solutions remains globally bounded in time. One should recall that for H s , with s 1 2 , the associated Cauchy problem is ill posed in the sense that uniform continuity with respect to the initial data fails. Thus, our result closes the discussion in the setting of the Sobolev spaces H s . The proof is achieved by combining the profile decomposition techniques with the integrability structure of the equation.