Semi Supervised Few Shot Learning for Dual Question Answer Extraction. This paper addresses the problem of key phrase extraction from sentences. Existing state of the art supervised methods require large amounts of annotated data to achieve good performance and generalization. Collecting labeled data is, however, often expensive. In this paper, we redefine the problem as question answer extraction, and present SAMIE Self Asking Model for Information Ixtraction, a semi supervised model which dually learns to ask and to answer questions by itself. Briefly, given a sentence s and an answer a , the model needs to choose the most appropriate question hat q meanwhile, for the given sentence s and same question hat q selected in the previous step, the model will predict an answer hat a . The model can support few shot learning with very limited supervision. It can also be used to perform clustering analysis when no supervision is provided. Experimental results show that the proposed method outperforms typical supervised methods especially when given little labeled data.


New Algorithms for Mixed Dominating Set. A mixed dominating set is a collection of vertices and edges that dominates all vertices and edges of a graph. We study the complexity of exact and parameterized algorithms for textsc Mixed Dominating Set , resolving some open questions. In particular, we settle the problem's complexity parameterized by treewidth and pathwidth by giving an algorithm running in time O (5 tw ) (improving the current best O (6 tw ) ), as well as a lower bound showing that our algorithm cannot be improved under the Strong Exponential Time Hypothesis (SETH), even if parameterized by pathwidth (improving a lower bound of O ((2 varepsilon) pw ) ). Furthermore, by using a simple but so far overlooked observation on the structure of minimal solutions, we obtain branching algorithms which improve both the best known FPT algorithm for this problem, from O (4.172 k) to O (3.510 k) , and the best known exponential time exact algorithm, from O (2 n) and exponential space, to O (1.912 n) and polynomial space.


Assessment of Off the Shelf SE specific Sentiment Analysis Tools An Extended Replication Study. Sentiment analysis methods have become popular for investigating human communication, including discussions related to software projects. Since general purpose sentiment analysis tools do not fit well with the information exchanged by software developers, new tools, specific for software engineering (SE), have been developed. We investigate to what extent SE specific tools for sentiment analysis mitigate the threats to conclusion validity of empirical studies in software engineering, highlighted by previous research. First, we replicate two studies addressing the role of sentiment in security discussions on GitHub and in question writing on Stack Overflow. Then, we extend the previous studies by assessing to what extent the tools agree with each other and with the manual annotation on a gold standard of 600 documents. We find that different SE specific sentiment analysis tools might lead to contradictory results at a fine grain level, when used 'off the shelf'. Conversely, platform specific tuning or retraining might be needed to take into account differences in platform conventions, jargon, or document lengths.


Can Your Face Detector Do Anti spoofing? Face Presentation Attack Detection with a Multi Channel Face Detector. In a typical face recognition pipeline, the task of the face detector is to localize the face region. However, the face detector localizes regions that look like a face, irrespective of the liveliness of the face, which makes the entire system susceptible to presentation attacks. In this work, we try to reformulate the task of the face detector to detect real faces, thus eliminating the threat of presentation attacks. While this task could be challenging with visible spectrum images alone, we leverage the multi channel information available from off the shelf devices (such as color, depth, and infrared channels) to design a multi channel face detector. The proposed system can be used as a live face detector obviating the need for a separate presentation attack detection module, making the system reliable in practice without any additional computational overhead. The main idea is to leverage a single stage object detection framework, with a joint representation obtained from different channels for the PAD task. We have evaluated our approach in the multi channel WMCA dataset containing a wide variety of attacks to show the effectiveness of the proposed framework.


Spatially Adaptive Inference with Stochastic Feature Sampling and Interpolation. In the feature maps of CNNs, there commonly exists considerable spatial redundancy that leads to much repetitive processing. Towards reducing this superfluous computation, we propose to compute features only at sparsely sampled locations, which are probabilistically chosen according to activation responses, and then densely reconstruct the feature map with an efficient interpolation procedure. With this sampling interpolation scheme, our network avoids expending computation on spatial locations that can be effectively interpolated, while being robust to activation prediction errors through broadly distributed sampling. A technical challenge of this sampling based approach is that the binary decision variables for representing discrete sampling locations are non differentiable, making them incompatible with backpropagation. To circumvent this issue, we make use of a reparameterization trick based on the Gumbel Softmax distribution, with which backpropagation can iterate these variables towards binary values. The presented network is experimentally shown to save substantial computation while maintaining accuracy over a variety of computer vision tasks.


Nonrepetitive graph colouring. A vertex colouring of a graph G is "nonrepetitive" if G contains no path for which the first half of the path is assigned the same sequence of colours as the second half. Thue's famous theorem says that every path is nonrepetitively 3 colourable. This paper surveys results about nonrepetitive colourings of graphs. The goal is to give a unified and comprehensive presentation of the major results and proof methods, as well as to highlight numerous open problems.


Adversarial symmetric GANs bridging adversarial samples and adversarial networks. Generative adversarial networks have achieved remarkable performance on various tasks but suffer from training instability. Despite many training strategies proposed to improve training stability, this issue remains as a challenge. In this paper, we investigate the training instability from the perspective of adversarial samples and reveal that adversarial training on fake samples is implemented in vanilla GANs, but adversarial training on real samples has long been overlooked. Consequently, the discriminator is extremely vulnerable to adversarial perturbation and the gradient given by the discriminator contains non informative adversarial noises, which hinders the generator from catching the pattern of real samples. Here, we develop adversarial symmetric GANs (AS GANs) that incorporate adversarial training of the discriminator on real samples into vanilla GANs, making adversarial training symmetrical. The discriminator is therefore more robust and provides more informative gradient with less adversarial noise, thereby stabilizing training and accelerating convergence. The effectiveness of the AS GANs is verified on image generation on CIFAR 10 , CelebA, and LSUN with varied network architectures. Not only the training is more stabilized, but the FID scores of generated samples are consistently improved by a large margin compared to the baseline. The bridging of adversarial samples and adversarial networks provides a new approach to further develop adversarial networks.


A Simple Improvement for Permanent Magnet Systems for Kibble Balances More Flat Field at Almost No Cost. Permanent magnets together with yokes to concentrate the magnetic flux into a cylindrical air gap are widely employed in Kibble balances. These experiments require a uniform magnetic flux density along a vertical path, typically a substantial fraction of the length of the air gap. Fringe fields that are present at both ends of the air gap limit the region where the flux density does not change more than a certain relative fraction (here 5 times 10 4 ) of the flux density in the center of the magnet system. By simply adding an iron ring with a rectangular cross section to the inner yoke at each end of the air gap, the effects of the fringe fields can be counteracted, and, hence, the length of the region, where the flux density remains within a given tolerance band is increased. Compared to the alternative, employing a taller magnet, the proposed method yields a magnet system with an extended region of a uniform field without significantly increasing the mass of the magnet system. Potential applications include compact and table top Kibble balances. We investigate possible adverse effects on the performance of the magnet system caused by the additional rings magnetic field strength, coil current effect, and a dependence of the radial field on the radial position in the field. No substantial disadvantage was found. Instead, the method presented here outperformed previously suggested methods to improve the radial dependence of the radial field, e.g., shorter outer yoke. In summary, adding rings to the inner yoke improves the uniformity of the field without a detrimental effect to function, cost, and form factor of the magnet system.


Hilbert schemes with few Borel fixed points. We characterize Hilbert polynomials that give rise to Hilbert schemes with two Borel fixed points and determine when the associated Hilbert schemes or its irreducible components are smooth. In particular, we show that the Hilbert scheme is reduced and has at most two irreducible components. By describing the singularities in a neighbourhood of the Borel fixed points, we prove that the irreducible components are Cohen Macaulay and normal. We end by giving many examples of Hilbert schemes with three Borel fixed points.


Lyapunov functions and finite time stabilization in optimal time for homogeneous linear and quasilinear hyperbolic systems. Hyperbolic systems in one dimensional space are frequently used in modeling of many physical systems. In our recent works, we introduced time independent feedbacks leading to the finite stabilization for the optimal time of homogeneous linear and quasilinear hyperbolic systems. In this work, we present Lyapunov's functions for these feedbacks and use estimates for Lyapunov's functions to rediscover the finite stabilization results.


New families of highly neighborly centrally symmetric spheres. In 1995, Josckusch constructed an infinite family of centrally symmetric (cs, for short) triangulations of 3 spheres that are cs 2 neighborly. Recently, Novik and Zheng extended Jockusch's construction for all d and n d , they constructed a cs triangulation of a d sphere with 2n vertices, Delta d n , that is cs lceil d 2 rceil neighborly. Here, several new cs constructions, related to Delta d n , are provided. It is shown that for all k 2 and a sufficiently large n , there is another cs triangulation of a (2k 1) sphere with 2n vertices that is cs k neighborly, while for k 2 there are Omega(2 n) such pairwise non isomorphic triangulations. It is also shown that for all k 2 and a sufficiently large n , there are Omega(2 n) pairwise non isomorphic cs triangulations of a (2k 1) sphere with 2n vertices that are cs (k 1) neighborly. The constructions are based on studying facets of Delta d n , and, in particular, on some necessary and some sufficient conditions similar in spirit to Gale's evenness condition. Along the way, it is proved that Jockusch's spheres Delta 3 n are shellable and an affirmative answer to Murai Nevo's question about 2 stacked shellable balls is given.


Dynamics of vertically and horizontally transmitted parasites Continuous vs Discrete Models. In this paper we analyze a continuous time epidemic model and its discrete counterpart, where infection spreads both horizontally and vertically. We consider three cases model with horizontal and imperfect vertical transmissions, model with horizontal and perfect vertical transmissions, and model with perfect vertical and no horizontal transmissions. Stability of different equilibrium points of both the continuous and discrete systems in all cases are determined. It is shown that the stability criteria are identical for continuous and discrete systems. The dynamics of the discrete system have also shown to be independent of the step size. Numerical computations are presented to illustrate analytical results of both the systems and their subsystems.


Generative Model Based Loss to the Rescue A Method to Overcome Annotation Errors for Depth Based Hand Pose Estimation. We propose to use a model based generative loss for training hand pose estimators on depth images based on a volumetric hand model. This additional loss allows training of a hand pose estimator that accurately infers the entire set of 21 hand keypoints while only using supervision for 6 easy to annotate keypoints (fingertips and wrist). We show that our partially supervised method achieves results that are comparable to those of fully supervised methods which enforce articulation consistency. Moreover, for the first time we demonstrate that such an approach can be used to train on datasets that have erroneous annotations, i.e. "ground truth" with notable measurement errors, while obtaining predictions that explain the depth images better than the given "ground truth".


Big mapping class groups and rigidity of the simple circle. Let Gamma denote the mapping class group of the plane minus a Cantor set. We show that every action of Gamma on the circle is either trivial or semi conjugate to a unique minimal action on the so called simple circle.


Energy fluxes in quasi equilibrium flows. We examine the relation between the absolute equilibrium state of the spectrally truncated Euler equations (TEE) predicted by Kraichnan (1973) to the forced and dissipated flows of the spectrally truncated Navier Stokes (TNS) equations. In both of these idealized systems a finite number of Fourier modes is kept contained inside a sphere of radius k max but while the first conserves energy in the second energy is injected by a body force bf f and dissipated by the viscosity nu . For the TNS system stochastically forced with energy injection rate mathcal I mathcal E we show, using an asymptotic expansion of the Fokker Planck equation, that in the limit of small k max eta (where eta ( nu 3 mathcal I mathcal E ) 1 4 the Kolmogorov lengthscale) the flow approaches the absolute equilibrium solution of Kraichnan with such an effective "temperature" so that there is a balance between the energy injection and the energy dissipation rate. Numerical simulations verify the predictions of the model for small values of k max eta . For intermediate values of k max eta a transition from the quasi equilibrium "thermal" state to Kolmogorov turbulence is observed. If the forcing is applied at small scales and the dissipation acts only at large scales then the equipartition spectrum appears at all scales for all values of nu . In both cases a finite forward or inverse flux is present even for the cases where the flow is close to the equilibrium state solutions. However, unlike the classical turbulence where an energy cascade develops with a mean energy flux that is large compared to its fluctuations, the quasi equilibrium state has a mean flux of energy that is subdominant to the large flux fluctuations observed.


R 'enyi Bounds on Information Combining. Bounds on information combining are entropic inequalities that determine how the information, or entropy, of a set of random variables can change when they are combined in certain prescribed ways. Such bounds play an important role in information theory, particularly in coding and Shannon theory. The arguably most elementary kind of information combining is the addition of two binary random variables, i.e. a CNOT gate, and the resulting quantities are fundamental when investigating belief propagation and polar coding. In this work we will generalize the concept to R 'enyi entropies. We give optimal bounds on the conditional R 'enyi entropy after combination, based on a certain convexity or concavity property and discuss when this property indeed holds. Since there is no generally agreed upon definition of the conditional R 'enyi entropy, we consider four different versions from the literature. Finally, we discuss the application of these bounds to the polarization of R 'enyi entropies under polar codes.


The regular indefinite linear quadratic optimal control problem stabilizable case. This paper addresses an open problem in the area of linear quadratic optimal control. We consider the regular, infinite horizon, stability modulo a subspace, indefinite linear quadratic problem under the assumption that the dynamics are stabilizable. Our result generalizes previous works dealing with the same problem in the case of controllable dynamics. We explicitly characterize the unique solution of the algebraic Riccati equation that gives the optimal cost and optimal feedback control, as well as necessary and sufficient conditions for the existence of optimal controls.


Automated Symbolic Verification of Telegram's MTProto 2.0. MTProto 2.0 is a suite of cryptographic protocols for instant messaging at the core of the popular Telegram messenger application. In this paper we analyse MTProto 2.0 using the symbolic verifier ProVerif. We provide fully automated proofs of the soundness of MTProto 2.0's authentication, normal chat, end to end encrypted chat, and rekeying mechanisms with respect to several security properties, including authentication, integrity, secrecy and perfect forward secrecy at the same time, we discover that the rekeying protocol is vulnerable to an unknown key share (UKS) attack. We proceed in an incremental way each protocol is examined in isolation, relying only on the guarantees provided by the previous ones and the robustness of the basic cryptographic primitives. Our research proves the formal correctness of MTProto 2.0 w.r.t. most relevant security properties, and it can serve as a reference for implementation and analysis of clients and servers.


Convolutional neural net face recognition works in non human like ways. Convolutional neural networks (CNNs) give state of the art performance in many pattern recognition problems but can be fooled by carefully crafted patterns of noise. We report that CNN face recognition systems also make surprising "errors". We tested six commercial face recognition CNNs and found that they outperform typical human participants on standard face matching tasks. However, they also declare matches that humans would not, where one image from the pair has been transformed to look a different sex or race. This is not due to poor performance the best CNNs perform almost perfectly on the human face matching tasks, but also declare the most matches for faces of a different apparent race or sex. Although differing on the salience of sex and race, humans and computer systems are not working in completely different ways. They tend to find the same pairs of images difficult, suggesting some agreement about the underlying similarity space.


A Robust Hyperviscosity Formulation for Stable RBF FD Discretizations of Advection Diffusion Reaction Equations on Manifolds. We present a new hyperviscosity formulation for stabilizing radial basis function finite difference (RBF FD) discretizations of advection diffusion reaction equations on manifolds mathbb M subset mathbb R 3 of co dimension one. Our technique involves automatic addition of artificial hyperviscosity to damp out spurious modes in the differentiation matrices corresponding to surface gradients, in the process overcoming a technical limitation of a recently developed Euclidean formulation. Like the Euclidean formulation, the manifold formulation relies on von Neumann stability analysis performed on auxiliary differential operators that mimic the spurious solution growth induced by RBF FD differentiation matrices. We demonstrate high order convergence rates on problems involving surface advection and surface advection diffusion. Finally, we demonstrate the applicability of our formulation to advection diffusion reaction equations on manifolds described purely as point clouds. Our surface discretizations use the recently developed RBF LOI method, and with the addition of hyperviscosity, are now empirically high order accurate, stable, and free of stagnation errors.


Noise Pollution in Hospital Readmission Prediction Long Document Classification with Reinforcement Learning. This paper presents a reinforcement learning approach to extract noise in long clinical documents for the task of readmission prediction after kidney transplant. We face the challenges of developing robust models on a small dataset where each document may consist of over 10K tokens with full of noise including tabular text and task irrelevant sentences. We first experiment four types of encoders to empirically decide the best document representation, and then apply reinforcement learning to remove noisy text from the long documents, which models the noise extraction process as a sequential decision problem. Our results show that the old bag of words encoder outperforms deep learning based encoders on this task, and reinforcement learning is able to improve upon baseline while pruning out 25 text segments. Our analysis depicts that reinforcement learning is able to identify both typical noisy tokens and task specific noisy text.


Learning Blended, Precise Semantic Program Embeddings. Learning neural program embeddings is key to utilizing deep neural networks in program languages research precise and efficient program representations enable the application of deep models to a wide range of program analysis tasks. Existing approaches predominately learn to embed programs from their source code, and, as a result, they do not capture deep, precise program semantics. On the other hand, models learned from runtime information critically depend on the quality of program executions, thus leading to trained models with highly variant quality. This paper tackles these inherent weaknesses of prior approaches by introducing a new deep neural network, liger, which learns program representations from a mixture of symbolic and concrete execution traces. We have evaluated liger on coset, a recently proposed benchmark suite for evaluating neural program embeddings. Results show liger (1) is significantly more accurate than the state of the art syntax based models Gated Graph Neural Network and code2vec in classifying program semantics, and (2) requires on average 10x fewer executions covering 74 fewer paths than the state of the art dynamic model dypro. Furthermore, we extend liger to predict the name for a method from its body's vector representation. Learning on the same set of functions (more than 170K in total), liger significantly outperforms code2seq, the previous state of the art for method name prediction.


Arabs and Atheism Religious Discussions in the Arab Twittersphere. Most previous research on online discussions of atheism has focused on atheism within a Christian context. In contrast, discussions about atheism in the Arab world and from Islamic background are relatively poorly studied. An added complication is that open atheism is against the law in some Arab countries, which may further restrict atheist activity on social media. In this work, we explore atheistic discussion in the Arab Twittersphere. We identify four relevant categories of Twitter users according to the content they post atheistic, theistic, tanweeri (religious renewal), and other. We characterise the typical content posted by these four sets of users and their social networks, paying particular attention to the topics discussed and the interaction among them. Our findings have implication for the study of religious and spiritual discourse on social media and provide a better cross cultural understanding of relevant aspects.


Existence of infinite energy and discretely self similar global weak solutions for 3D MHD equations. This paper deals with the existence of global weak solutions for 3D MHD equations when the initial data belong to the weighted spaces L 2 w gamma , with w gamma(x) (1 x ) gamma and 0 leq gamma leq 2 . Moreover, we prove the existence of discretely self similar solutions for 3D MHD equations for discretely self similar initial data which are locally square integrable. Our methods are inspired of a recent work of P. Fern 'andez Dalgo and P.G. Lemari 'e Riseusset for the 3D Navier Stokes equations.


Arithmetic on Moran sets. Let ( mathcal M , c k,n k) be a class of Moran sets. We assume that the convex hull of any E in ( mathcal M , c k,n k) is 0,1 . Let A,B be two non empty sets in mathbb R . Suppose that f is a continuous function defined on an open set U subset mathbb R 2 . Denote the continuous image of f by begin equation f U (A,B) f(x,y) (x,y) in (A times B) cap U . end equation In this paper, we prove the following result. Let E 1,E 2 in( mathcal M , c k, n k) . If there exists some (x 0,y 0) in (E 1 times E 2) cap U such that sup k geq 1 left 1 c kn k right left vert frac partial y f (x 0 ,y 0 ) partial x f (x 0 ,y 0 ) right vert inf k geq 1 left dfrac c k 1 n kc k right , then f U(E 1, E 2) contains an interior.


Efficient Uncertainty aware Decision making for Automated Driving Using Guided Branching. Decision making in dense traffic scenarios is challenging for automated vehicles (AVs) due to potentially stochastic behaviors of other traffic participants and perception uncertainties (e.g., tracking noise and prediction errors, etc.). Although the partially observable Markov decision process (POMDP) provides a systematic way to incorporate these uncertainties, it quickly becomes computationally intractable when scaled to the real world large size problem. In this paper, we present an efficient uncertainty aware decision making (EUDM) framework, which generates long term lateral and longitudinal behaviors in complex driving environments in real time. The computation complexity is controlled to an appropriate level by two novel techniques, namely, the domain specific closed loop policy tree (DCP Tree) structure and conditional focused branching (CFB) mechanism. The key idea is utilizing domain specific expert knowledge to guide the branching in both action and intention space. The proposed framework is validated using both onboard sensing data captured by a real vehicle and an interactive multi agent simulation platform. We also release the code of our framework to accommodate benchmarking.


The Search direction Correction makes first order methods faster. The so called fast inertial relaxation engine is a first order method for unconstrained smooth optimization problems. It updates the search direction by a linear combination of the past search direction, the current gradient and the normalized gradient direction. We explore more general combination rules and call this generalized technique as the search direction correction (SDC). SDC is extended to composite and stochastic optimization problems as well. Deriving from a second order ODE, we propose a fast inertial search direction correction (FISC) algorithm as an example of methods with SDC. We prove the mathcal O (k 2 ) convergence rate of FISC for convex optimization problems. Numerical results on sparse optimization, logistic regression as well as deep learning demonstrate that our proposed methods are quite competitive to other state of the art first order algorithms.


Finite difference method on flat surfaces with a flat unitary vector bundle. We establish an asymptotic relation between the spectrum of the discrete Laplacian associated to discretizations of a half translation surface with a flat unitary vector bundle and the spectrum of the Friedrichs extension of the Laplacian with von Neumann boundary conditions. As an interesting byproduct of our study, we obtain Harnack type estimates on "almost harmonic" discrete functions, defined on the graphs, which approximate a given surface. The results of this paper will be later used to relate the asymptotic expansion of the number of spanning trees, spanning forests and weighted cycle rooted spanning forests on the discretizations to the corresponding zeta regularized determinants.


Maximizing the number of independent sets of fixed size in K n covered graphs. A graph G is H covered by some given graph H if each vertex in G is contained in a copy of H . In this note, we give the maximum number of independent sets of size t ge 3 in K n covered graphs of size N ge n t 1 and determine its extremal graph. The result answers a question proposed by Chakraborit and Loh. The proof uses an edge switching operation of hypergraphs which remains the number of independent sets nondecreasing.


Unsupervised Domain Adaptation for Semantic Segmentation of NIR Images through Generative Latent Search. Segmentation of the pixels corresponding to human skin is an essential first step in multiple applications ranging from surveillance to heart rate estimation from remote photoplethysmography. However, the existing literature considers the problem only in the visible range of the EM spectrum which limits their utility in low or no light settings where the criticality of the application is higher. To alleviate this problem, we consider the problem of skin segmentation from the Near infrared images. However, Deep learning based state of the art segmentation techniques demands large amounts of labelled data that is unavailable for the current problem. Therefore we cast the skin segmentation problem as that of target independent Unsupervised Domain Adaptation (UDA) where we use the data from the Red channel of the visible range to develop skin segmentation algorithm on NIR images. We propose a method for target independent segmentation where the 'nearest clone' of a target image in the source domain is searched and used as a proxy in the segmentation network trained only on the source domain. We prove the existence of 'nearest clone' and propose a method to find it through an optimization algorithm over the latent space of a Deep generative model based on variational inference. We demonstrate the efficacy of the proposed method for NIR skin segmentation over the state of the art UDA segmentation methods on the two newly created skin segmentation datasets in NIR domain despite not having access to the target NIR data. Additionally, we report state of the art results for adaption from Synthia to Cityscapes which is a popular setting in Unsupervised Domain Adaptation for semantic segmentation. The code and datasets are available at https github.com ambekarsameer96 GLSS.


Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint. Combinatorial problems stated as Constraint Satisfaction Problems (CSP) are examined. It is shown by example that any algorithm designed for the original CSP, and involving the AllDifferent constraint, has at least the same level of efficacy when simultaneously applied to both the original and its complementary problem. The 1 to 1 mapping employed to transform a CSP to its complementary problem, which is also a CSP, is introduced. This "Dual CSP" method and its application are outlined. The analysis of several random problem instances demonstrate the benefits of this method for variable domain reduction compared to the standard approach to CSP. Extensions to additional constraints other than AllDifferent, as well as the use of hybrid algorithms, are proposed as candidates for this Dual CSP method.


Coupling of localization and depth data for mapping using Intel RealSense T265 and D435i cameras. We propose to couple two types of Intel RealSense sensors (tracking T265 and depth D435i) in order to obtain localization and 3D occupancy map of the indoor environment. We implemented a python based observer pattern with multi threaded approach for camera data synchronization. We compared different point cloud (PC) alignment methods (using transformations obtained from tracking camera and from ICP family methods). Tracking camera and PC alignment allow us to generate a set of transformations between frames. Based on these transformations we obtained different trajectories and provided their analysis. Finally, having poses for all frames, we combined depth data. Firstly we obtained a joint PC representing the whole scene. Then we used Octomap representation to build a map.


Douglas Rachford splitting and ADMM for nonconvex optimization Accelerated and Newton type linesearch algorithms. Although the performance of popular optimization algorithms such as Douglas Rachford splitting (DRS) and the ADMM is satisfactory in small and well scaled problems, ill conditioning and problem size pose a severe obstacle to their reliable employment. Expanding on recent convergence results for DRS and ADMM applied to nonconvex problems, we propose two linesearch algorithms to enhance and robustify these methods by means of quasi Newton directions. The proposed algorithms are suited for nonconvex problems, require the same black box oracle of DRS and ADMM, and maintain their (subsequential) convergence properties. Numerical evidence shows that the employment of L BFGS in the proposed framework greatly improves convergence of DRS and ADMM, making them robust to ill conditioning. Under regularity and nondegeneracy assumptions at the limit point, superlinear convergence is shown when quasi Newton Broyden directions are adopted.


Approval Based Apportionment. In the apportionment problem, a fixed number of seats must be distributed among parties in proportion to the number of voters supporting each party. We study a generalization of this setting, in which voters can support multiple parties by casting approval ballots. This approval based apportionment setting generalizes traditional apportionment and is a natural restriction of approval based multiwinner elections, where approval ballots range over individual candidates instead of parties. Using techniques from both apportionment and multiwinner elections, we identify rules that generalize the D'Hondt apportionment method and that satisfy strong axioms which are generalizations of properties commonly studied in the apportionment literature. In fact, the rules we discuss provide representation guarantees that are currently out of reach in the general setting of multiwinner elections First, we show that core stable committees are guaranteed to exist and can be found in polynomial time. Second, we demonstrate that extended justified representation is compatible with committee monotonicity (also known as house monotonicity).


On the position of nodes of plane curves. The Severi variety V d,n of plane curves of a given degree d and exactly n nodes admits a map to the Hilbert scheme mathbb P 2 n of zero dimensional subschemes of mathbb P 2 of degree n . This map assigns to every curve C in V d,n its nodes. For some n , we consider the image under this map of many known divisors of the Severi variety and its partial compactification. We compute the divisor classes of such images in Pic ( mathbb P 2 n ) and provide enumerative numbers of nodal curves. We also answer directly a question of Diaz Harris about whether the canonical class of the Severi variety is effective.


Deep learning to discover and predict dynamics on an inertial manifold. A data driven framework is developed to represent chaotic dynamics on an inertial manifold (IM), and applied to solutions of the Kuramoto Sivashinsky equation. A hybrid method combining linear and nonlinear (neural network) dimension reduction transforms between coordinates in the full state space and on the IM. Additional neural networks predict time evolution on the IM. The formalism accounts for translation invariance and energy conservation, and substantially outperforms linear dimension reduction, reproducing very well key dynamic and statistical features of the attractor.


On the identification of piecewise constant coefficients in optical diffusion tomography by level set. In this paper, we propose a level set regularization approach combined with a split strategy for the simultaneous identification of piecewise constant diffusion and absorption coefficients from a finite set of optical tomography data (Neumann to Dirichlet data). This problem is a high nonlinear inverse problem combining together the exponential and mildly ill posedness of diffusion and absorption coefficients, respectively. We prove that the parameter to measurement map satisfies sufficient conditions (continuity in the L 1 topology) to guarantee regularization properties of the proposed level set approach. On the other hand, numerical tests considering different configurations bring new ideas on how to propose a convergent split strategy for the simultaneous identification of the coefficients. The behavior and performance of the proposed numerical strategy is illustrated with some numerical examples.


Renormalized Mutual Information for Artificial Scientific Discovery. We derive a well defined renormalized version of mutual information that allows to estimate the dependence between continuous random variables in the important case when one is deterministically dependent on the other. This is the situation relevant for feature extraction, where the goal is to produce a low dimensional effective description of a high dimensional system. Our approach enables the discovery of collective variables in physical systems, thus adding to the toolbox of artificial scientific discovery, while also aiding the analysis of information flow in artificial neural networks.


C (k, ell) Sum Free Sets. The Minkowski sum of two subsets A and B of a finite abelian group G is defined as all pairwise sums of elements of A and B A B a b a in A, b in B . The largest size of a (k, ell) sum free set in G has been of interest for many years and in the case G mathbb Z n mathbb Z has recently been computed by Bajnok and Matzke. Motivated by sum free sets of the torus, Kravitz introduces the noisy Minkowski sum of two sets, which can be thought of as discrete evaluations of these continuous sumsets. That is, given a noise set C , the noisy Minkowski sum is defined as A C B A B C . We give bounds on the maximum size of a (k, ell) sum free subset of mathbb Z n mathbb Z under this new sum, for C equal to an arithmetic progression with common difference relatively prime to n and for any two element set C .


Dynamic Scheduling for Stochastic Edge Cloud Computing Environments using A3C learning and Residual Recurrent Neural Networks. The ubiquitous adoption of Internet of Things (IoT) based applications has resulted in the emergence of the Fog computing paradigm, which allows seamlessly harnessing both mobile edge and cloud resources. Efficient scheduling of application tasks in such environments is challenging due to constrained resource capabilities, mobility factors in IoT, resource heterogeneity, network hierarchy, and stochastic behaviors. xisting heuristics and Reinforcement Learning based approaches lack generalizability and quick adaptability, thus failing to tackle this problem optimally. They are also unable to utilize the temporal workload patterns and are suitable only for centralized setups. However, Asynchronous Advantage Actor Critic (A3C) learning is known to quickly adapt to dynamic scenarios with less data and Residual Recurrent Neural Network (R2N2) to quickly update model parameters. Thus, we propose an A3C based real time scheduler for stochastic Edge Cloud environments allowing decentralized learning, concurrently across multiple agents. We use the R2N2 architecture to capture a large number of host and task parameters together with temporal patterns to provide efficient scheduling decisions. The proposed model is adaptive and able to tune different hyper parameters based on the application requirements. We explicate our choice of hyper parameters through sensitivity analysis. The experiments conducted on real world data set show a significant improvement in terms of energy consumption, response time, Service Level Agreement and running cost by 14.4 , 7.74 , 31.9 , and 4.64 , respectively when compared to the state of the art algorithms.


Dynamic Matching Algorithms in Practice. In recent years, significant advances have been made in the design and analysis of fully dynamic maximal matching algorithms. However, these theoretical results have received very little attention from the practical perspective. Few of the algorithms are implemented and tested on real datasets, and their practical potential is far from understood. In this paper, we attempt to bridge the gap between theory and practice that is currently observed for the fully dynamic maximal matching problem. We engineer several algorithms and empirically study those algorithms on an extensive set of dynamic instances.


StrokeGAN Reducing Mode Collapse in Chinese Font Generation via Stroke Encoding. The generation of stylish Chinese fonts is an important problem involved in many applications. Most of existing generation methods are based on the deep generative models, particularly, the generative adversarial networks (GAN) based models. However, these deep generative models may suffer from the mode collapse issue, which significantly degrades the diversity and quality of generated results. In this paper, we introduce a one bit stroke encoding to capture the key mode information of Chinese characters and then incorporate it into CycleGAN, a popular deep generative model for Chinese font generation. As a result we propose an efficient method called StrokeGAN, mainly motivated by the observation that the stroke encoding contains amount of mode information of Chinese characters. In order to reconstruct the one bit stroke encoding of the associated generated characters, we introduce a stroke encoding reconstruction loss imposed on the discriminator. Equipped with such one bit stroke encoding and stroke encoding reconstruction loss, the mode collapse issue of CycleGAN can be significantly alleviated, with an improved preservation of strokes and diversity of generated characters. The effectiveness of StrokeGAN is demonstrated by a series of generation tasks over nine datasets with different fonts. The numerical results demonstrate that StrokeGAN generally outperforms the state of the art methods in terms of content and recognition accuracies, as well as certain stroke error, and also generates more realistic characters.


Price of Privacy in the Keynesian Beauty Contest. The Keynesian Beauty Contest is a classical game in which strategic agents seek to both accurately guess the true state of the world as well as the average action of all agents. We study an augmentation of this game where agents are concerned about revealing their private information and additionally suffer a loss based on how well an observer can infer their private signals. We solve for an equilibrium of this augmented game and quantify the loss of social welfare as a result of agents acting to obscure their private information, which we call the 'price of privacy'. We analyze two versions of this this price one from the perspective of the agents measuring their diminished ability to coordinate due to acting to obscure their information and another from the perspective of an aggregator whose statistical estimate of the true state of the world is of lower precision due to the agents adding random noise to their actions. We show that these quantities are high when agents care very strongly about protecting their personal information and low when the quality of the signals the agents receive is poor.


Representations having vectors fixed by a Levi subgroup. For any semisimple real Lie algebra mathfrak g mathbb R , we classify the representations of mathfrak g mathbb R that have at least one nonzero vector on which the centralizer of a Cartan subspace, also known as the centralizer of a maximal split torus, acts trivially. In the process, we revisit the notion of mathfrak g standard Young tableaux, introduced by Lakshmibai and studied by Littelmann, that provides a combinatorial model for the characters of the irreducible representations of any classical semisimple Lie algebra mathfrak g . We construct a new version of these objects, which differs from the old one for mathfrak g mathfrak so (2r) and seems, in some sense, simpler and more natural.


CCA Exploring the Possibility of Contextual Camouflage Attack on Object Detection. Deep neural network based object detection hasbecome the cornerstone of many real world applications. Alongwith this success comes concerns about its vulnerability tomalicious attacks. To gain more insight into this issue, we proposea contextual camouflage attack (CCA for short) algorithm to in fluence the performance of object detectors. In this paper, we usean evolutionary search strategy and adversarial machine learningin interactions with a photo realistic simulated environment tofind camouflage patterns that are effective over a huge varietyof object locations, camera poses, and lighting conditions. Theproposed camouflages are validated effective to most of the state of the art object detectors.


Distributed Distance r Dominating Set on Sparse High Girth Graphs. The dominating set problem and its generalization, the distance r dominating set problem, are among the well studied problems in the sequential settings. In distributed models of computation, unlike for domination, not much is known about distance r domination. This is actually the case for other important closely related covering problem, namely, the distance r independent set problem. By result of Kuhn et al. we know the distributed domination problem is hard on high girth graphs we study the problem on a slightly restricted subclass of these graphs graphs of bounded expansion with high girth, i.e. their girth should be at least 4r 3 . We show that in such graphs, for every constant r , a simple greedy CONGEST algorithm provides a constant factor approximation of the minimum distance r dominating set problem, in a constant number of rounds. More precisely, our constants are dependent to r , not to the size of the graph. This is the first algorithm that shows there are non trivial constant factor approximations in constant number of rounds for any distance r covering problem in distributed settings. To show the dependency on r is inevitable, we provide an unconditional lower bound showing the same problem is hard already on rings. We also show that our analysis of the algorithm is relatively tight, that is any significant improvement to the approximation factor requires new algorithmic ideas.


Delegated RingCT faster anonymous transactions. We present a modification to RingCT protocol with stealth addresses that makes it compatible with Delegated Proof of Stake based consensus mechanisms called Delegated RingCT. Our scheme has two building blocks a customised version of an Integrated Signature and Encryption scheme composed of a public key encryption scheme and two signature schemes (a digital signature and a linkable ring signature) and non interactive zero knowledge proofs. We give a description of the scheme, security proofs and a prototype implementation whose benchmarking is discussed. Although Delegated RingCT doesn't have the same degree of anonymity as other RingCT constructions, we argue that the benefits that the compatibility with DPoS consensus mechanisms brings constitutes a reasonable trade off for being able to develop an anonymous decentralised cryptocurrency that is faster and more scalable than existing ones.


Finding Rats in Cats Detecting Stealthy Attacks using Group Anomaly Detection. Advanced attack campaigns span across multiple stages and stay stealthy for long time periods. There is a growing trend of attackers using off the shelf tools and pre installed system applications (such as emph powershell and emph wmic ) to evade the detection because the same tools are also used by system administrators and security analysts for legitimate purposes for their routine tasks. To start investigations, event logs can be collected from operational systems however, these logs are generic enough and it often becomes impossible to attribute a potential attack to a specific attack group. Recent approaches in the literature have used anomaly detection techniques, which aim at distinguishing between malicious and normal behavior of computers or network systems. Unfortunately, anomaly detection systems based on point anomalies are too rigid in a sense that they could miss the malicious activity and classify the attack, not an outlier. Therefore, there is a research challenge to make better detection of malicious activities. To address this challenge, in this paper, we leverage Group Anomaly Detection (GAD), which detects anomalous collections of individual data points. Our approach is to build a neural network model utilizing Adversarial Autoencoder (AAE alpha ) in order to detect the activity of an attacker who leverages off the shelf tools and system applications. In addition, we also build textit Behavior2Vec and textit Command2Vec sentence embedding deep learning models specific for feature extraction tasks. We conduct extensive experiments to evaluate our models on real world datasets collected for a period of two months. The empirical results demonstrate that our approach is effective and robust in discovering targeted attacks, pen tests, and attack campaigns leveraging custom tools.


Analysis and fabrication of a photonic crystal based anti reflective coating for photovoltaics generated by evolutionary optimization. We optimize multilayered anti reflective coatings for photovoltaic devices, using modern evolutionary algorithms. We apply a rigorous methodology to show that a given structure, which is particularly regular, emerge spontaneously in a very systematical way for a very broad range of conditions. The very regularity of the structure allows for a thorough physical analysis of how the designs operate. This allows to understand that the central part is a photonic crystal utilized as a buffer for light, and that the external layers have the purpose of reducing the impedance mismatch between the outer media and the Bloch mode supported by the photonic crystal. This shows how optimization can suggest new design rules and be considered as a source of inspiration. Finally, we fabricate these structures with easily deployable techniques.


Improving Sample Efficiency and Multi Agent Communication in RL based Train Rescheduling. We present preliminary results from our sixth placed entry to the Flatland international competition for train rescheduling, including two improvements for optimized reinforcement learning (RL) training efficiency, and two hypotheses with respect to the prospect of deep RL for complex real world control tasks first, that current state of the art policy gradient methods seem inappropriate in the domain of high consequence environments second, that learning explicit communication actions (an emerging machine to machine language, so to speak) might offer a remedy. These hypotheses need to be confirmed by future work. If confirmed, they hold promises with respect to optimizing highly efficient logistics ecosystems like the Swiss Federal Railways railway network.


Semi Supervised Variational Autoencoder for Survival Prediction. In this paper we propose a semi supervised variational autoencoder for classification of overall survival groups from tumor segmentation masks. The model can use the output of any tumor segmentation algorithm, removing all assumptions on the scanning platform and the specific type of pulse sequences used, thereby increasing its generalization properties. Due to its semi supervised nature, the method can learn to classify survival time by using a relatively small number of labeled subjects. We validate our model on the publicly available dataset from the Multimodal Brain Tumor Segmentation Challenge (BraTS) 2019.


Asymptotics of sloshing eigenvalues for a triangular prism. We consider the three dimensional sloshing problem on a triangular prism whose angles with the sloshing surface are of the form frac pi 2q , where q is an integer. We are interested in finding a two term asymptotic expansion of the eigenvalue counting function. When both angles are frac pi 4 , we compute the exact value of the second term. As for the general case, we conjecture an asymptotic expansion by constructing quasimodes for the problem and computing the counting function of the related quasi eigenvalues. These quasimodes come from solutions of the sloping beach problem and correspond to two kinds of waves, edge waves and surface waves. We show that the quasi eigenvalues are exponentially close to real eigenvalues of the sloshing problem. The asymptotic expansion of their counting function is closely related to a lattice counting problem inside a perturbed ellipse where the perturbation is in a sense random. The contribution of the angles can then be detected through that perturbation.


Development of a novel calorimetry setup based on metallic paramagnetic temperature sensors. We have developed a new micro fabricated platform for the measurement of the specific heat of low heat capacity mg sized metallic samples, such as superconductors, down to temperatures of as low as 10 , mathrm mK . It addresses challenging aspects of setups of this kind such as the thermal contact between sample and platform, the thermometer resolution, and an addenda heat capacity exceeding that of the samples of interest (typically mbox nJ K at 20 , mbox mK ). The setup allows us to use the relaxation method, where the thermal relaxation following a well defined heat pulse is monitored to extract the specific heat. The sample platform ( 5 times 5 , mathrm mm 2 ) includes a micro structured paramagnetic underline Ag Er temperature sensor, which is read out by a dc SQUID via a superconducting flux transformer. In this way, a relative temperature precision of 30 , mathrm nK sqrt Hz can be reached, while the addenda heat capacity falls well below 0.5 , mathrm nJ K for T 300 , mathrm mK . A gold coated mounting area ( 4.4 times 3 , mathrm mm 2 ) is included to improve the thermal contact between sample and platform.


Fingerprints of Closed Trajectories of a Strebel Quadratic Differential. In this note, we study the fingerprints of closed smooth curves that are trajectories of a particular Strebel quadratic differentials. It is a generalization of the cases of polynomials and rational lemniscates.


Integrated and Spectrally Selective Thermal Emitters Enabled by Layered Metamaterials. Nanophotonic engineering of light matter interaction at subwavelength scale allows thermal radiation that is fundamentally different from that of traditional thermal emitters and provides exciting opportunities for various thermal photonic applications. We propose a new kind of integrated and electrically controlled thermal emitter that exploits layered metamaterials with lithography free and dielectric metallic nanolayers. We demonstrate both theoretically and experimentally that the proposed concept can create a strong photonic bandgap in the visible regime and allow small impedance mismatch at the infrared wavelengths, which gives rise to optical features of significantly enhanced emissivity at the broad infrared wavelengths of 1.4 14 um as well as effectively suppressed emissivity in the visible region. The electrically driven metamaterial devices are optically and thermally stable at temperature up to 800 K with electro optical conversion efficiency reaching 30 . We believe that the proposed high efficiency thermal emitters will pave the way towards integrated infrared light source platforms for various thermal photonic applications and particularly provide a novel alternative for cost effective, compact, low glare, and energy efficient infrared heating.


Efficient Join Processing Over Incomplete Data Streams (Technical Report). For decades, the join operator over fast data streams has always drawn much attention from the database community, due to its wide spectrum of real world applications, such as online clustering, intrusion detection, sensor data monitoring, and so on. Existing works usually assume that the underlying streams to be joined are complete (without any missing values). However, this assumption may not always hold, since objects from streams may contain some missing attributes, due to various reasons such as packet losses, network congestion failure, and so on. In this paper, we formalize an important problem, namely join over incomplete data streams (Join iDS), which retrieves joining object pairs from incomplete data streams with high confidences. We tackle the Join iDS problem in the style of "data imputation and query processing at the same time". To enable this style, we design an effective and efficient cost model based imputation method via deferential dependency (DD), devise effective pruning strategies to reduce the Join iDS search space, and propose efficient algorithms via our proposed cost model based data synopsis indexes. Extensive experiments have been conducted to verify the efficiency and effectiveness of our proposed Join iDS approach on both real and synthetic data sets.


Relaxation by nonlinear diffusion enhancement in a two dimensional cross diffusion model for urban crime propagation. We consider a class of macroscopic models for the spatio temporal evolution of urban crime, as originally going back to Short et al. (Math. Mod. Meth. Appl. Sci. 18, 2008). The focus here is on the question how far a certain nonlinear enhancement in the random diffusion of criminal agents may exert visible relaxation effects. Specifically, in the context of the system begin eqnarray left begin array l u t nabla cdot (u m 1 nabla u) chi nabla cdot Big( frac u v nabla v Big) uv B 1(x,t), 1mm v t Delta v uv v B 2(x,t), end array right. end eqnarray it is shown that whenever chi 0 and the given nonnegative source terms B 1 and B 2 are sufficiently regular, the assumption begin eqnarray m frac 3 2 end eqnarray is sufficient to ensure that a corresponding Neumann type initial boundary value problem, posed in a smoothly bounded planar convex domain, admits locally bounded solutions for a wide class of arbitrary initial data. Furthermore, this solution is seen to be globally bounded if both B 1 and B 2 are bounded and liminf t to infty int Omega B 2( cdot,t) is positive. This is supplemented by numerical evidence which, besides illustrating associated smoothing effects in particular situations of sharply structured initial data in the presence of such porous medium type diffusion mechanisms, indicates a significant tendency toward support of singular structures in the linear diffusion case m 1 .


1 point RANSAC for Circular Motion Estimation in Computed Tomography (CT). This paper proposes a RANSAC based algorithm for determining the axial rotation angle of an object from a pair of its tomographic projections. An equation is derived for calculating the rotation angle using one correct keypoints correspondence of two tomographic projections. The proposed algorithm consists of the following steps keypoints detection and matching, rotation angle estimation for each correspondence, outliers filtering with the RANSAC algorithm, finally, calculation of the desired angle by minimizing the re projection error from the remaining correspondences. To validate the proposed method an experimental comparison against methods based on analysis of the distribution of the angles computed from all correspondences is conducted.


Human Engagement Providing Evaluative and Informative Advice for Interactive Reinforcement Learning. Reinforcement learning is an approach used by intelligent agents to autonomously learn new skills. Although reinforcement learning has been demonstrated to be an effective learning approach in several different contexts, a common drawback exhibited is the time needed in order to satisfactorily learn a task, especially in large state action spaces. To address this issue, interactive reinforcement learning proposes the use of externally sourced information in order to speed up the learning process. Up to now, different information sources have been used to give advice to the learner agent, among them human sourced advice. When interacting with a learner agent, humans may provide either evaluative or informative advice. From the agent's perspective these styles of interaction are commonly referred to as reward shaping and policy shaping respectively. Evaluation requires the human to provide feedback on the prior action performed, while informative advice they provide advice on the best action to select for a given situation. Prior research has focused on the effect of human sourced advice on the interactive reinforcement learning process, specifically aiming to improve the learning speed of the agent, while reducing the engagement with the human. This work presents an experimental setup for a human trial designed to compare the methods people use to deliver advice in term of human engagement. Obtained results show that users giving informative advice to the learner agents provide more accurate advice, are willing to assist the learner agent for a longer time, and provide more advice per episode. Additionally, self evaluation from participants using the informative approach has indicated that the agent's ability to follow the advice is higher, and therefore, they feel their own advice to be of higher accuracy when compared to people providing evaluative advice.


SciTokens Demonstrating Capability Based Access to Remote Scientific Data using HTCondor. The management of security credentials (e.g., passwords, secret keys) for computational science workflows is a burden for scientists and information security officers. Problems with credentials (e.g., expiration, privilege mismatch) cause workflows to fail to fetch needed input data or store valuable scientific results, distracting scientists from their research by requiring them to diagnose the problems, re run their computations, and wait longer for their results. SciTokens introduces a capabilities based authorization infrastructure for distributed scientific computing, to help scientists manage their security credentials more reliably and securely. SciTokens uses IETF standard OAuth JSON Web Tokens for capability based secure access to remote scientific data. These access tokens convey the specific authorizations needed by the workflows, rather than general purpose authentication impersonation credentials, to address the risks of scientific workflows running on distributed infrastructure including NSF resources (e.g., LIGO Data Grid, Open Science Grid, XSEDE) and public clouds (e.g., Amazon Web Services, Google Cloud, Microsoft Azure). By improving the interoperability and security of scientific workflows, SciTokens 1) enables use of distributed computing for scientific domains that require greater data protection and 2) enables use of more widely distributed computing resources by reducing the risk of credential abuse on remote systems. In this extended abstract, we present the results over the past year of our open source implementation of the SciTokens model and its deployment in the Open Science Grid, including new OAuth support added in the HTCondor 8.8 release series.


A computational insight of the improved nicotine binding with ACE2 SARS CoV 2 complex with its clinical impact. Smokers being witnessed with the mild adverse clinical symptoms of SARS CoV 2, the in silico study is intended to explore the effect of nicotine binding to the soluble angiotensin converting enzyme II (ACE2) receptor with or without SARS CoV 2 binding. Nicotine established a stable interaction with the conserved amino acid residues Asp382, Gly405, His378 and Tyr385 through His401 of the soluble ACE2 that seals its interaction with the INS1. Also, nicotine binding has significantly reduced the affinity score of ACE2 with INS1 to 12.6 kcal mol (versus 15.7 kcal mol without nicotine) and the interface area to 1933.6 square Angstrom (versus 2057.3 square Angstrom without nicotine). Nicotine exhibited a higher binding affinity score with ACE2 SARS CoV 2 complex with 6.33 kcal mol (Vs 5.24 kcal mol without SARS CoV 2) and a lowered inhibitory contant value of 22.95 micromolar (Vs 151.69 micromolar without SARS CoV). Eventhough ACE2 is not a potential receptor for nicotine binding in the healthy people, in COVID19 patients, it may exhibit better binding affinity with the ACE2 receptor. In overall, nicotines strong preference for ACE2 SARS CoV 2 complex might drastically reduce the SARS CoV 2 virulence by intervening the ACE2 conserved residues interaction with the spike (S1) protein of SARS CoV 2.


A Very Simple Estimate Of Rational Homological Dimension Of Moduli Spaces Of Riemann Surfaces With Boundary And Marked Points. The moduli spaces of compact and connected Riemann surfaces has been a central topic in modern mathematics in recent years. Thus their homological dimensions become important invariants. Motivated by the emergence mathematical counterparts of open closed string theory, we give an estimate of rational homological dimension of Riemann suraces with possible boundary and marked points(can lie on both interior and boundary). We hope it will have applications in open closed theory, for example, open closed Gromov Witten theory in the future.


Periodic projections of alternating knots. This paper is devoted to prove the existence of q periodic alternating projections of prime alternating q periodic knots. The main tool is the Menasco Thistlethwaite's Flyping theorem. Let K be an oriented prime alternating knot that is q periodic with q geq 3 , i.e. K admits a symmetry that is a rotation of order q . Then K has an alternating q periodic projection. As applications, we obtain the crossing number of a q periodic alternating knot with q geq 3 is a multiple of q and we give an elementary proof that the knot 12 a634 is not 3 periodic this proof does not depend on computer computations as in "Periodic knots and Heegaard Floer correction terms" by Stanilav Jabuka and Swatee Naik (arXiv 1307.5116 math.GT ).


Control of fixation duration during visual search task execution. We study the ability of human observer to control fixation duration during execution of visual search tasks. We conducted the eye tracking experiments with natural and synthetic images and found the dependency of fixation duration on difficulty of the task and the lengths of preceding and succeeding saccades. In order to explain it, we developed the novel control model of human eye movements that incorporates continuous time decision making, observation and update of belief state. This model is based on Partially Observable Markov Decision Process with delay in observation and saccade execution that accounts for a delay between eye and cortex. We validated the computational model through comparison of statistical properties of simulated and experimental eye movement trajectories.


Mining Large Quasi cliques with Quality Guarantees from Vertex Neighborhoods. Mining dense subgraphs is an important primitive across a spectrum of graph mining tasks. In this work, we formally establish that two recurring characteristics of real world graphs, namely heavy tailed degree distributions and large clustering coefficients, imply the existence of substantially large vertex neighborhoods with high edge density. This observation suggests a very simple approach for extracting large quasi cliques simply scan the vertex neighborhoods, compute the clustering coefficient of each vertex, and output the best such subgraph. The implementation of such a method requires counting the triangles in a graph, which is a well studied problem in graph mining. When empirically tested across a number of real world graphs, this approach reveals a surprise vertex neighborhoods include maximal cliques of non trivial sizes, and the density of the best neighborhood often compares favorably to subgraphs produced by dedicated algorithms for maximizing subgraph density. For graphs with small clustering coefficients, we demonstrate that small vertex neighborhoods can be refined using a local search method to grow'' larger cliques and near cliques. Our results indicate that contrary to worst case theoretical results, mining cliques and quasi cliques of non trivial sizes from real world graphs is often not a difficult problem, and provides motivation for further work geared towards a better explanation of these empirical successes.


A System of Local Nonlocal p Laplacians The Eigenvalue Problem and Its Asymptotic Limit as p to infty . In this work, given p in (1, infty) , we prove the existence and simplicity of the first eigenvalue lambda p and its corresponding eigenvector (u p,v p) , for the following local nonlocal PDE system begin equation label Eq0 left begin array rclcl Delta p u ( Delta) r p u frac 2 alpha alpha beta lambda u alpha 2 v beta u mbox in Omega Delta p v ( Delta) s p v frac 2 beta alpha beta lambda u alpha v beta 2 v mbox in Omega u 0 text on mathbb R N setminus Omega v 0 text on mathbb R N setminus Omega, end array right. end equation where Omega subset mathbb R N is a bounded open domain, 0 r, s 1 and alpha(p) beta(p) p . Moreover, we address the asymptotic limit as p to infty , proving the explicit geometric characterization of the corresponding first infty eigenvalue, namely lambda infty , and the uniformly convergence of the pair (u p,v p) to the infty eigenvector (u infty ,v infty ) . Finally, the triple (u infty ,v infty , lambda infty ) verifies, in the viscosity sense, a limiting PDE system.


Enhanced low flux sensitivity (ELFS) effect of neutron induced displacement damage in bipolar devices physical mechanism and parametric model. Similar to the enhanced low dose rate sensitivity (ELDRS) effect of ionization damage, an enhanced low flux senstivity (ELFS) effect has been reported in ions neutron irradiation on n type silicon or PNP transistors. However, the existing mechanism and simulation dominated by the diffusion dynamics give much higher transition flux than the experimental observations. In this work, we develop a new model based on the annealing of defect clusters for the ELFS effect. Simulations considering Si interstitial mediated inter cluster interactions during their annealing processes successfully reproduce the ELFS effect. The ratio of Si interstitials captured by defect clusters to those dissipating off on the sample edges or re merging into the bulk is found as the key parameter dominating the enhancement factor (EF) of the ELFS effect. We also establish a compact parametric model based on the mechanism, which is found to provide a good quantitative description of the experimental results. The model predicts the existence of nonsensitive regions at sufficiently low and high fluxes as well as a non trivial fluence and temperature dependence of the enhancement factor.


Two generalizations of Krull domains. In this paper we introduce two new generalizations of Krull domains ast almost independent rings of Krull type ( ast almost IRKTs) and ast almost generalized Krull domains ( ast AGKDs), neither of which need be integrally closed. We characterize them using certain types of ast homogeneous ideals. To do this we introduce ast almost super homogeneous ideals and ast almost super SH domains. We prove that a domain D is a ast almost IRKT if and only if D is a ast almost super SH domain and that a domain is a ast AGKD if and only if D is a type 1 ast almost super SH domain. Further, we study ast almost factorial general SH domains ( ast afg SH domains) and we prove that a domain D is a ast afg SH domain if and only if D is a ast IRKT and an AGCD domain.


Dynamics Randomization Revisited A Case Study for Quadrupedal Locomotion. Understanding the gap between simulation and reality is critical for reinforcement learning with legged robots, which are largely trained in simulation. However, recent work has resulted in sometimes conflicting conclusions with regard to which factors are important for success, including the role of dynamics randomization. In this paper, we aim to provide clarity and understanding on the role of dynamics randomization in learning robust locomotion policies for the Laikago quadruped robot. Surprisingly, in contrast to prior work with the same robot model, we find that direct sim to real transfer is possible without dynamics randomization or on robot adaptation schemes. We conduct extensive ablation studies in a sim to sim setting to understand the key issues underlying successful policy transfer, including other design decisions that can impact policy robustness. We further ground our conclusions via sim to real experiments with various gaits, speeds, and stepping frequencies. Additional Details https www.pair.toronto.edu understanding dr .


Efficient stream based Max Min diversification with minimal failure rate. The stream based Max Min diversification problem concerns the task of selecting a limited number of diverse instances from a data stream. The nature of the problem demands immediate and irrevocable decisions. The set wise diversity to be maximized is the minimum distance among any pair of the selected instances. Standard algorithmic approaches for sequential selection disregard the possibility of selection failures, which is the situation where the last instances of the stream are picked by default to prevent having an incomplete selection. This defect can be catastrophic for the Max Min diversification objective. In this paper we present the Failure Rate Minimization (FRM) algorithm that allows the selection of a set of disparate instances while reducing significantly the probability of having failures. This is achieved by means of both analytical and empirical techniques. FRM is put in comparison with relevant algorithms from the literature through simulations on real datasets, where we demonstrate its efficiency and low time complexity.


Modeling Curtailment in Germany How Spatial Resolution Impacts Line Congestion. This paper investigates the effects of network constraints in energy system models at transmission level on renewable energy generation and curtailment as the network is being spatially aggregated. We seek to reproduce historically measured curtailment in Germany for the years 2013 2018 using an open model of the transmission system, PyPSA Eur. Our simulations include spatial and temporal considerations, including congestion per line as well as curtailment per control zone and quarter. Results indicate that curtailment at high network resolution is significantly overestimated due to inaccurate allocation of electricity demand and renewable capacities to overloaded sites. However, high congestion rates of the transmission network decrease as the network is clustered to a smaller number of nodes, thus reducing curtailment. A measure to capture errors in the assignment of electricity demand and power plants is defined and hints towards a preferable spatial resolution. Thus, we are able to balance the effects of accurate node assignment and network congestion revealing that a reduced model can capture curtailment from recent historical data. This shows that it is possible to reduce the network to improve computation times and capture the most important effects of network constraints on variable renewable energy feed in at the same time.


Refinements in Motion and Appearance for Online Multi Object Tracking. Modern multi object tracking (MOT) system usually involves separated modules, such as motion model for location and appearance model for data association. However, the compatible problems within both motion and appearance models are always ignored. In this paper, a general architecture named as MIF is presented by seamlessly blending the Motion integration, three dimensional(3D) Integral image and adaptive appearance feature Fusion. Since the uncertain pedestrian and camera motions are usually handled separately, the integrated motion model is designed using our defined intension of camera motion. Specifically, a 3D integral image based spatial blocking method is presented to efficiently cut useless connections between trajectories and candidates with spatial constraints. Then the appearance model and visibility prediction are jointly built. Considering scale, pose and visibility, the appearance features are adaptively fused to overcome the feature misalignment problem. Our MIF based tracker (MIFT) achieves the state of the art accuracy with 60.1 MOTA on both MOT16 17 challenges.


An Empirical Evaluation Study on the Training of SDC Features for Dense Pixel Matching. Training a deep neural network is a non trivial task. Not only the tuning of hyperparameters, but also the gathering and selection of training data, the design of the loss function, and the construction of training schedules is important to get the most out of a model. In this study, we perform a set of experiments all related to these issues. The model for which different training strategies are investigated is the recently presented SDC descriptor network (stacked dilated convolution). It is used to describe images on pixel level for dense matching tasks. Our work analyzes SDC in more detail, validates some best practices for training deep neural networks, and provides insights into training with multiple domain data.


Obnoxious facility location the case of weighted demand points. The problem considered in this paper is the weighted obnoxious facility location in the convex hull of demand points. The objective function is to maximize the smallest weighted distance between a facility and a set of demand points. Three new optimal solution approaches are proposed. Two variants of the "Big Triangle Small Triangle" global optimization method, and a procedure based on intersection points between Apollonius circles. We also compared the results with a multi start approach using the non linear multi purpose software SNOPT. Problems with 1,000 demand points are optimally solved in a fraction of a second of computer time.


Topic Classification Method for Analyzing Effect of eWOM on Consumer Game Sales. Electronic word of mouth (eWOM) has become an important resource for the analysis of marketing research. In this study, in order to analyze user needs for consumer game software, we focus on tweet data. And we proposed topic extraction method using entropy based feature selection based feature expansion. We also applied it to the classification of the data extracted from tweet data by using SVM. As a result, we achieved a 0.63 F measure.


Restoring betatron phase coherence in a beam loaded laser wakefield accelerator. Matched beam loading in laser wakefield acceleration (LWFA), characterizing the state of flattening of the acceleration electric field along the bunch, leads to the minimization of energy spread at high bunch charges. Here, we demonstrate by independently controlling injected charge and acceleration gradients, using the self truncated ionization injection scheme, that minimal energy spread coincides with a reduction of the normalized beam divergence. With the simultaneous confirmation of a constant beam radius at the plasma exit, deduced from betatron radiation spectroscopy, we attribute this effect to the reduction of chromatic betatron decoherence. Thus, beam loaded LWFA enables highest longitudinal and transverse phase space densities.


On boundedness and growth of unsteady solutions under the double porosity permeability model. There is a recent surge in research activities on modeling the flow of fluids in porous media with complex pore networks. A prominent mathematical model, which describes the flow of incompressible fluids in porous media with two dominant pore networks allowing mass transfer across them, is the double porosity permeability (DPP) model. However, we currently do not have a complete understanding of unsteady solutions under the DPP model. Also, because of the complex nature of the mathematical model, it is not possible to find analytical solutions, and one has to resort to numerical solutions. It is therefore desirable to have a procedure that can serve as a measure to assess the veracity of numerical solutions. In this paper, we establish that unsteady solutions under the transient DPP model are stable in the sense of Lyapunov. We also show that the unsteady solutions grow at most linear with time. These results not only have a theoretical value but also serve as valuable a posteriori measures to verify numerical solutions in the transient setting and under anisotropic medium properties, as analytical solutions are scarce for these scenarios under the DPP model.


Square root p adic L functions, I Construction of a one variable measure. The Ichino Ikeda conjecture, and its generalization to unitary groups by N. Harris, has given explicit formulas for central critical values of a large class of Rankin Selberg tensor products. Although the conjecture is not proved in full generality, there has been considerable progress, especially for L values of the form L(1 2,BC( pi) times BC( pi')) , where pi and pi' are cohomological automorphic representations of unitary groups U(V) and U(V') , respectively. Here V and V' are hermitian spaces over a CM field, V of dimension n , V' of codimension 1 in V , and BC denotes the twisted base change to GL(n) times GL(n 1) . This paper contains the first steps toward generalizing the construction of my paper with Tilouine on triple product L functions to this situation. We assume pi is a holomorphic representation and pi' varies in an ordinary Hida family (of antiholomorphic forms). The construction of the measure attached to pi uses recent work of Eischen, Fintzen, Mantovan, and Varma.


Cohorting to isolate asymptomatic spreaders An agent based simulation study on the Mumbai Suburban Railway. The Mumbai Suburban Railways, emph locals , are a key transit infrastructure of the city and is crucial for resuming normal economic activity. To reduce disease transmission, policymakers can enforce reduced crowding and mandate wearing of masks. emph Cohorting forming groups of travelers that always travel together, is an additional policy to reduce disease transmission on textit locals without severe restrictions. Cohorting allows us to ( i ) form traveler bubbles, thereby decreasing the number of distinct interactions over time ( ii ) potentially quarantine an entire cohort if a single case is detected, making contact tracing more efficient, and ( iii ) target cohorts for testing and early detection of symptomatic as well as asymptomatic cases. Studying impact of cohorts using compartmental models is challenging because of the ensuing representational complexity. Agent based models provide a natural way to represent cohorts along with the representation of the cohort members with the larger social network. This paper describes a novel multi scale agent based model to study the impact of cohorting strategies on COVID 19 dynamics in Mumbai. We achieve this by modeling the Mumbai urban region using a detailed agent based model comprising of 12.4 million agents. Individual cohorts and their inter cohort interactions as they travel on locals are modeled using local mean field approximations. The resulting multi scale model in conjunction with a detailed disease transmission and intervention simulator is used to assess various cohorting strategies. The results provide a quantitative trade off between cohort size and its impact on disease dynamics and well being. The results show that cohorts can provide significant benefit in terms of reduced transmission without significantly impacting ridership and or economic social activity.


Auditory streaming emerges from fast excitation and slow delayed inhibition. In the auditory streaming paradigm alternating sequences of pure tones can be perceived as a single galloping rhythm (integration) or as two sequences with separated low and high tones (segregation). Although studied for decades, the neural mechanisms underlining this perceptual grouping of sound remains a mystery. With the aim of identifying a plausible minimal neural circuit that captures this phenomenon, we propose a firing rate model with two periodically forced neural populations coupled by fast direct excitation and slow delayed inhibition. By analyzing the model in a non smooth, slow fast regime we analytically prove the existence of a rich repertoire of dynamical states and of their parameter dependent transitions. We impose plausible parameter restrictions and link all states with perceptual interpretations. Regions of stimulus parameters occupied by states linked with each percept matches those found in behavioral experiments. Our model suggests that slow inhibition masks the perception of subsequent tones during segregation (forward masking), while fast excitation enables integration for large pitch differences between the two tones.


CircuitBot Learning to Survive with Robotic Circuit Drawing. Robots with the ability to actively acquire power from surroundings will be greatly beneficial for long term autonomy, and to survive in dynamic, uncertain environments. In this work, a scenario is presented where a robot has limited energy, and the only way to survive is to access the energy from a power source. With no cables or wires available, the robot learns to construct an electrical path and avoid potential obstacles during the connection. We present this robot, capable of drawing connected circuit patterns with graphene based conductive ink. A state of the art Mix Variable Bayesian Optimization is adopted to optimize the placement of conductive shapes to maximize the power this robot receives. Our results show that, within a small number of trials, the robot learns to build parallel circuits to maximize the voltage received and avoid obstacles which steal energy from the robot.


Source location on multilayer networks. Nowadays it is not uncommon to have to deal with dissemination on multi layered networks and often finding the source of said propagation can be a crucial task. In this paper we tackle this exact problem with a maximum likelihood approach that we extend to be operational on multi layered graphs. We test our method for source location estimation on synthetic networks and outline its potential strengths and limitations. We also observe some non trivial and perhaps surprising phenomena where the more of the system one observes the worse the results become whereas increased problem complexity in the form of more layers can actually improve our performance.


The number of rooted forests in circulant graphs. In this paper, we develop a new method to produce explicit formulas for the number f G (n) of rooted spanning forests in the circulant graphs G C n (s 1,s 2, ldots,s k) and G C 2n (s 1,s 2, ldots,s k,n). These formulas are expressed through Chebyshev polynomials. We prove that in both cases the number of rooted spanning forests can be represented in the form f G (n) p ,a(n) 2, where a(n) is an integer sequence and p is a prescribed natural number depending on the parity of n . Finally, we find an asymptotic formula for f G (n) through the Mahler measure of the associated Laurent polynomial P(z) 2k 1 sum limits i 1 k(z s i z s i ).


On essential selfadjointness of differential operators on closed manifolds. The goal of this note is to present some arguments leading to the conjecture that a formally self adjoint differential operator on a closed manifold is essentially self adjoint if and only if the Hamiltonian flow of its symbol is complete. This holds for differential operators of degree two on the circle, for differential operators of degree one on any closed manifold and for generic Lorentzian Laplacians on surfaces.


Machine Learning for Offensive Security Sandbox Classification Using Decision Trees and Artificial Neural Networks. The merits of machine learning in information security have primarily focused on bolstering defenses. However, machine learning (ML) techniques are not reserved for organizations with deep pockets and massive data repositories the democratization of ML has lead to a rise in the number of security teams using ML to support offensive operations. The research presented here will explore two models that our team has used to solve a single offensive task, detecting a sandbox. Using process list data gathered with phishing emails, we will demonstrate the use of Decision Trees and Artificial Neural Networks to successfully classify sandboxes, thereby avoiding unsafe execution. This paper aims to give unique insight into how a real offensive team is using machine learning to support offensive operations.


You2Me Inferring Body Pose in Egocentric Video via First and Second Person Interactions. The body pose of a person wearing a camera is of great interest for applications in augmented reality, healthcare, and robotics, yet much of the person's body is out of view for a typical wearable camera. We propose a learning based approach to estimate the camera wearer's 3D body pose from egocentric video sequences. Our key insight is to leverage interactions with another person whose body pose we can directly observe as a signal inherently linked to the body pose of the first person subject. We show that since interactions between individuals often induce a well ordered series of back and forth responses, it is possible to learn a temporal model of the interlinked poses even though one party is largely out of view. We demonstrate our idea on a variety of domains with dyadic interaction and show the substantial impact on egocentric body pose estimation, which improves the state of the art. Video results are available at http vision.cs.utexas.edu projects you2me


Visually Grounding Language Instruction for History Dependent Manipulation. This paper emphasizes the importance of a robot's ability to refer to its task history, especially when it executes a series of pick and place manipulations by following language instructions given one by one. The advantage of referring to the manipulation history can be categorized into two folds (1) the language instructions omitting details but using expressions referring to the past can be interpreted, and (2) the visual information of objects occluded by previous manipulations can be inferred. For this, we introduce a history dependent manipulation task which objective is to visually ground a series of language instructions for proper pick and place manipulations by referring to the past. We also suggest a relevant dataset and model which can be a baseline, and show that our model trained with the proposed dataset can also be applied to the real world based on the CycleGAN. Our dataset and code are publicly available on the project website https sites.google.com view history dependent manipulation.


Extended abstract Type oriented programming for task based parallelism. Writing parallel codes is difficult and exhibits a fundamental trade off between abstraction and performance. The high level language abstractions designed to simplify the complexities of parallelism make certain assumptions that impacts performance and scalability. On the other hand lower level languages, providing many opportunities for optimisation, require in depth knowledge and the programmer to consider tricky details of parallelism. An approach is required which can bridge the gap and provide both the ease of programming and opportunities for control and optimisation. By optionally decorating their codes with additional type information, programmers can either direct the compiler to make certain decisions or rely on sensible default choices.


Pretrained AI Models Performativity, Mobility, and Change. The paradigm of pretrained deep learning models has recently emerged in artificial intelligence practice, allowing deployment in numerous societal settings with limited computational resources, but also embedding biases and enabling unintended negative uses. In this paper, we treat pretrained models as objects of study and discuss the ethical impacts of their sociological position. We discuss how pretrained models are developed and compared under the common task framework, but that this may make self regulation inadequate. Further how pretrained models may have a performative effect on society that exacerbates biases. We then discuss how pretrained models move through actor networks as a kind of computationally immutable mobile, but that users also act as agents of technological change by reinterpreting them via fine tuning and transfer. We further discuss how users may use pretrained models in malicious ways, drawing a novel connection between the responsible innovation and user centered innovation literatures. We close by discussing how this sociological understanding of pretrained models can inform AI governance frameworks for fairness, accountability, and transparency.


3D Object Recognition By Corresponding and Quantizing Neural 3D Scene Representations. We propose a system that learns to detect objects and infer their 3D poses in RGB D images. Many existing systems can identify objects and infer 3D poses, but they heavily rely on human labels and 3D annotations. The challenge here is to achieve this without relying on strong supervision signals. To address this challenge, we propose a model that maps RGB D images to a set of 3D visual feature maps in a differentiable fully convolutional manner, supervised by predicting views. The 3D feature maps correspond to a featurization of the 3D world scene depicted in the images. The object 3D feature representations are invariant to camera viewpoint changes or zooms, which means feature matching can identify similar objects under different camera viewpoints. We can compare the 3D feature maps of two objects by searching alignment across scales and 3D rotations, and, as a result of the operation, we can estimate pose and scale changes without the need for 3D pose annotations. We cluster object feature maps into a set of 3D prototypes that represent familiar objects in canonical scales and orientations. We then parse images by inferring the prototype identity and 3D pose for each detected object. We compare our method to numerous baselines that do not learn 3D feature visual representations or do not attempt to correspond features across scenes, and outperform them by a large margin in the tasks of object retrieval and object pose estimation. Thanks to the 3D nature of the object centric feature maps, the visual similarity cues are invariant to 3D pose changes or small scale changes, which gives our method an advantage over 2D and 1D methods.


A greedy algorithm to compute arrangements of lines in the projective plane. We introduce a greedy algorithm optimizing arrangements of lines with respect to a property. We apply this algorithm to the case of simpliciality it recovers all known simplicial arrangements of lines in a very short time and also produces a yet unknown simplicial arrangement with 35 lines. We compute a (certainly incomplete) database of combinatorially simplicial complex arrangements of hyperplanes with up to 50 lines. Surprisingly, it contains several examples whose matroids have an infinite space of realizations up to projectivities.


Review4Repair Code Review Aided Automatic Program Repairing. Context Learning based automatic program repair techniques are showing promise to provide quality fix suggestions for detected bugs in the source code of the software. These tools mostly exploit historical data of buggy and fixed code changes and are heavily dependent on bug localizers while applying to a new piece of code. With the increasing popularity of code review, dependency on bug localizers can be reduced. Besides, the code review based bug localization is more trustworthy since reviewers' expertise and experience are reflected in these suggestions. Objective The natural language instructions scripted on the review comments are enormous sources of information about the bug's nature and expected solutions. However, none of the learning based tools has utilized the review comments to fix programming bugs to the best of our knowledge. In this study, we investigate the performance improvement of repair techniques using code review comments. Method We train a sequence to sequence model on 55,060 code reviews and associated code changes. We also introduce new tokenization and preprocessing approaches that help to achieve significant improvement over state of the art learning based repair techniques. Results We boost the top 1 accuracy by 20.33 and top 10 accuracy by 34.82 . We could provide a suggestion for stylistics and non code errors unaddressed by prior techniques. Conclusion We believe that the automatic fix suggestions along with code review generated by our approach would help developers address the review comment quickly and correctly and thus save their time and effort.


Traveling waves of the quintic focusing NLS Szeg "o equation. We study the influence of Szeg "o projector Pi on the L 2 critical one dimensional non linear focusing Schr "o dinger equation, leading to the quintic focusing NLS Szeg "o equation i partial t u partial 2 x u Pi ( u 4 u) 0, (t, x) in R x R, u(0, times ) u 0. This equation is globally well posed in H 1 Pi (H 1 (R)), for every initial datum u 0. The solution L 2 scatters both forward and backward in time if u 0 has sufficiently small mass. We prove the orbital stability with scaling of the traveling wave u omega ,c (t, x) e i omega t Q(x ct), for some omega , c 0, where Q is a ground state associated to Gagliardo Nirenberg type functional I ( gamma ) (f) partial x f 2 L 2 f 4 L 2 gamma i partial x f, f 2 L 2 f 2 L 2 f 6 L 6 , forall f in H 1 0 , for some gamma ge 0. The ground states are completely classified in the case gamma 2, leading to the actual orbital stability without scaling for appropriate traveling waves. As a consequence, the scattering mass threshold of the focusing quintic NLS Szeg "o equation is strictly below the mass of ground state associated to the functional I (0) , unlike the recent result by Dodson 6 on the usual quintic focusing non linear Schr "o dinger equation.