Evaluating the Data Quality of Eye Tracking Signals from a Virtual Reality System Case Study using SMI's Eye Tracking HTC Vive. We evaluated the data quality of SMI's tethered eye tracking head mounted display based on the HTC Vive (ET HMD) during a random saccade task. We measured spatial accuracy, spatial precision, temporal precision, linearity, and crosstalk. We proposed the use of a non parametric spatial precision measure based on the median absolute deviation (MAD). Our linearity analysis considered both the slope and adjusted R squared of a best fitting line. We were the first to test for a quadratic component to crosstalk. We prepended a calibration task to the random saccade task and evaluated 2 methods to employ this user supplied calibration. For this, we used a unique binning approach to choose samples to be included in the recalibration analyses. We compared our quality measures between the ET HMD and our EyeLink 1000 (SR Research, Ottawa, Ontario, CA). We found that the ET HMD had significantly better spatial accuracy and linearity fit than our EyeLink, but both devices had similar spatial precision and linearity slope. We also found that, while the EyeLink had no significant crosstalk, the ET HMD generally exhibited quadratic crosstalk. Fourier analysis revealed that the binocular signal was a low pass filtered version of the monocular signal. Such filtering resulted in the binocular signal being useless for the study of high frequency components such as saccade dynamics.


A complete characterization of the APN property of a class of quadrinomials. In this paper, by the Hasse Weil bound, we determine the necessary and sufficient condition on coefficients a 1,a 2,a 3 in mathbb F 2 n with n 2m such that f(x) x 3 cdot2 m a 1x 2 m 1 1 a 2 x 2 m 2 a 3x 3 is an APN function over mathbb F 2 n . Our result resolves the first half of an open problem by Carlet in International Workshop on the Arithmetic of Finite Fields, 83 107, 2014.


Temperature dependence of normalized sensitivity of Love wave sensor with unidirectional carbon fiber epoxy composite Mn doped 0.24PIN 0.46PMN 0.30PT ternary single crystal configuration. We have derived a general formula for sensitivity optimization of gravimetric sensors and use it to design a high precision and high sensitivity gravimetric sensor using unidirectional carbon fiber epoxy composite (CFEC) guiding layer on single crystal Mn doped yPb(In1 2Nb1 2)O3 (1 x y)Pb(Mg1 3Nb2 3)O3 xPbTiO3 (Mn PIN PMN PT) piezoelectric substrate. The normalized maximum sensitivity exhibits a decreasing tendency with temperature up to 55 degrees Celsius. For the CFEC on Mn PIN PMN PT sensor configuration with wavelength 24 mu m at 25 degrees Celsius, the maximum sensitivity can reach as high as 760.88 cm2 g, which is nearly twice that of traditional SiO2 ST quartz configuration gravimetric sensor.


Manual Label Free 3D Detection via An Open Source Simulator. LiDAR based 3D object detectors typically need a large amount of detailed labeled point cloud data for training, but these detailed labels are commonly expensive to acquire. In this paper, we propose a manual label free 3D detection algorithm that leverages the CARLA simulator to generate a large amount of self labeled training samples and introduces a novel Domain Adaptive VoxelNet (DA VoxelNet) that can cross the distribution gap from the synthetic data to the real scenario. The self labeled training samples are generated by a set of high quality 3D models embedded in a CARLA simulator and a proposed LiDAR guided sampling algorithm. Then a DA VoxelNet that integrates both a sample level DA module and an anchor level DA module is proposed to enable the detector trained by the synthetic data to adapt to real scenario. Experimental results show that the proposed unsupervised DA 3D detector on KITTI evaluation set can achieve 76.66 and 56.64 mAP on BEV mode and 3D mode respectively. The results reveal a promising perspective of training a LIDAR based 3D detector without any hand tagged label.


Fano and weak Fano Hessenberg varieties. Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.


Multi Modal Domain Adaptation for Fine Grained Action Recognition. Fine grained action recognition datasets exhibit environmental bias, where multiple video sequences are captured from a limited number of environments. Training a model in one environment and deploying in another results in a drop in performance due to an unavoidable domain shift. Unsupervised Domain Adaptation (UDA) approaches have frequently utilised adversarial training between the source and target domains. However, these approaches have not explored the multi modal nature of video within each domain. In this work we exploit the correspondence of modalities as a self supervised alignment approach for UDA in addition to adversarial alignment. We test our approach on three kitchens from our large scale dataset, EPIC Kitchens, using two modalities commonly employed for action recognition RGB and Optical Flow. We show that multi modal self supervision alone improves the performance over source only training by 2.4 on average. We then combine adversarial training with multi modal self supervision, showing that our approach outperforms other UDA methods by 3 .


Conjugation Curvature in Solvable Baumslag Solitar Groups. For an element in BS(1,n) langle t,a tat 1 a n rangle written in the normal form t u a vt w with u,w geq 0 and v in mathbb Z , we exhibit a geodesic word representing the element and give a formula for its word length with respect to the generating set t,a . Using this word length formula, we prove that there are sets of elements of positive density of positive, negative and zero conjugation curvature, as defined by Bar Natan, Duchin and Kropholler.


Exploration of Hands free Text Entry Techniques For Virtual Reality. Text entry is a common activity in virtual reality (VR) systems. There is a limited number of available hands free techniques, which allow users to carry out text entry when users' hands are busy such as holding items or hand based devices are not available. The most used hands free text entry technique is DwellType, where a user selects a letter by dwelling over it for a specific period. However, its performance is limited due to the fixed dwell time for each character selection. In this paper, we explore two other hands free text entry mechanisms in VR BlinkType and NeckType, which leverage users' eye blinks and neck's forward and backward movements to select letters. With a user study, we compare the performance of the two techniques with DwellType. Results show that users can achieve an average text entry rate of 13.47, 11.18 and 11.65 words per minute with BlinkType, NeckType, and DwellType, respectively. Users' subjective feedback shows BlinkType as the preferred technique for text entry in VR.


Deep Learning for Constrained Utility Maximisation. This paper proposes two algorithms for solving stochastic control problems with deep learning, with a focus on the utility maximisation problem. The first algorithm solves Markovian problems via the Hamilton Jacobi Bellman (HJB) equation. We solve this highly nonlinear partial differential equation (PDE) with a second order backward stochastic differential equation (2BSDE) formulation. The convex structure of the problem allows us to describe a dual problem that can either verify the original primal approach or bypass some of the complexity. The second algorithm utilises the full power of the duality method to solve non Markovian problems, which are often beyond the scope of stochastic control solvers in the existing literature. We solve an adjoint BSDE that satisfies the dual optimality conditions. We apply these algorithms to problems with power, log and non HARA utilities in the Black Scholes, the Heston stochastic volatility, and path dependent volatility models. Numerical experiments show highly accurate results with low computational cost, supporting our proposed algorithms.


Toward Maximizing the Visibility of Content in Social Media Brand Pages A Temporal Analysis. A large amount of content is generated everyday in social media. One of the main goals of content creators is to spread their information to a large audience. There are many factors that affect information spread, such as posting time, location, type of information, number of social connections, etc. In this paper, we look at the problem of finding the best posting time(s) to get high content visibility. The posting time is derived taking other factors into account, such as location, type of information, etc. In this paper, we do our analysis over Facebook pages. We propose six posting schedules that can be used for individual pages or group of pages with similar audience reaction profile. We perform our experiment on a Facebook pages dataset containing 0.3 million posts, 10 million audience reactions. Our best posting schedule can lead to seven times more number of audience reactions compared to the average number of audience reactions that users would get without following any optimized posting schedule. We also present some interesting audience reaction patterns that we obtained through daily, weekly and monthly audience reaction analysis.


Fully discrete finite element approximation for a family of degenerate parabolic problems. The aim of this work is to show an abstract framework to analyze the numerical approximation by using a finite element method in space and a Backward Euler scheme in time of a family of degenerate parabolic problems. We deduce sufficient conditions to ensure that the fully discrete problem has a unique solution and to prove quasi optimal error estimates for the approximation. Finally, we show a degenerate parabolic problem which arises from electromagnetic applications and deduce its well posedness and convergence by using the developed abstract theory, including numerical tests to illustrate the performance of the method and confirm the theoretical results. Keywords parabolic degenerate equations, parabolic elliptic equations, finite element method, backward Euler scheme, fully discrete approximation, error estimates, eddy current model.


A note on the Bohr inequality. This article focuses on the Bohr radius problem for the derivatives of analytic functions, along with a technique of establishing Bohr inequalities in classical and generalized settings.


Theoretical foundations and covariant balances for chemical engineering applications with electromagnetic field. A covariant formalism is used in order to examine the status of Maxwell equations and to unify the concept of balances, for all chemical engineering applications in relation with electrodynamics. The resulting formal structure serves as a discussion in studying the determinism of electromagnetic systems, and examining the theoretical foundations for a general classification of chemical engineering applications when non conservative forces are concerned. A strategy for modeling such applications is then sketched and the balances for the main conserved and non conserved extensive quantities are then summarized in their covariant and classical forms.


Discrete graphical models an optimization perspective. This monograph is about discrete energy minimization for discrete graphical models. It considers graphical models, or, more precisely, maximum a posteriori inference for graphical models, purely as a combinatorial optimization problem. Modeling, applications, probabilistic interpretations and many other aspects are either ignored here or find their place in examples and remarks only. It covers the integer linear programming formulation of the problem as well as its linear programming, Lagrange and Lagrange decomposition based relaxations. In particular, it provides a detailed analysis of the polynomially solvable acyclic and submodular problems, along with the corresponding exact optimization methods. Major approximate methods, such as message passing and graph cut techniques are also described and analyzed comprehensively. The monograph can be useful for undergraduate and graduate students studying optimization or graphical models, as well as for experts in optimization who want to have a look into graphical models. To make the monograph suitable for both categories of readers we explicitly separate the mathematical optimization background chapters from those specific to graphical models.


Bitwuzla at the SMT COMP 2020. In this paper, we present Bitwuzla, our Satisfiability Modulo Theories (SMT) solver for the theories of bit vectors, floating points, arrays and uninterpreted functions and their combinations. We discuss selected features and provide details of its configuration and participation in the 2020 edition of the annual SMT competition.


Primarily orientable graphs. A graph G is primarily orientable if it is possible to orient its edges in such a way that the resulting oriented graph is prime, i.e., indecomposable under modular decomposition. We characterize primarily orientable graphs.


On Drinfeld modular forms of higher rank V The behavior of distinguished forms on the fundamental domain. begin document begin This paper continues work of the earlier articles with the same title. For two classes of modular forms f begin itemize item para Eisenstein series alpha k and item coefficient forms a ell k , where k in mathbb N and a is a non constant element of mathbb F q T , end itemize the growth behavior on the fundamental domain and the zero loci Omega(f) as well as their images mathcal BT (f) in the Bruhat Tits building mathcal BT are studied. We obtain a complete description for f alpha k and for those of the forms a ell k where k leq deg a . It turns out that in these cases, alpha k and a ell k are strongly related, e.g., mathcal BT ( a ell k ) mathcal BT ( alpha k ) , and that mathcal BT ( alpha k ) is the set of mathbb Q points of a full subcomplex of mathcal BT with nice properties. As a case study, we present in detail the outcome for the forms alpha 2 in rank 3. end abstract maketitle end document


The universal p adic Gross Zagier formula. Let mathrm G be the group ( mathrm GL 2 times mathrm GU (1)) mathrm GL 1 over a totally real field F , and let mathscr X be a Hida family for mathrm G . Revisiting a construction of Howard and Fouquet, we construct an explicit section mathscr P of a sheaf of Selmer groups over mathscr X . We show, answering a question of Howard, that mathscr P is a universal Heegner class, in the sense that it interpolates geometrically defined Heegner classes at all the relevant classical points of mathscr X . We also propose a Bertolini Darmon' conjecture for the leading term of mathscr P at classical points. We then prove that the p adic height of mathscr P is given by the cyclotomic derivative of a p adic L function. This formula over mathscr X (which is an identity of functionals on some universal ordinary automorphic representations) specialises at classical points to all the Gross Zagier formulas for mathrm G that may be expected from representation theoretic considerations. Combined with a result of Fouquet, the formula implies the p adic analogue of the Beilinson Bloch Kato conjecture in analytic rank one, for the selfdual motives attached to Hilbert modular forms and their twists by CM Hecke characters. It also implies one half of the first example of a non abelian Iwasawa main conjecture for derivatives, in 2 F mathbf Q 1 variables. Other applications include two different generic non vanishing results for Heegner classes and p adic heights.


Emergence of wandering stable components. We prove the existence of a locally dense set of real polynomial automorphisms of C 2 displaying a wandering Fatou component in particular this solves the problem of their existence, reported by Bedford and Smillie in 1991. These Fatou components have non empty real trace and their statistical behavior is historical with high emergence. The proof is based on a geometric model for parameter families of surface real mappings. At a dense set of parameters, we show that the dynamics of the model displays a historical, high emergent, stable domain. We show that this model can be embedded into families of H 'e non maps of explicit degree and also in an open and dense set of 5 parameter C r families of surface diffeomorphisms in the Newhouse domain, for every 2 le r le infty and r omega . This implies a complement of the work of Kiriki and Soma (2017), a proof of the last Taken's problem in the C infty and C omega case. The main difficulty is that here perturbations are done only along finite dimensional parameter families. The proof is based on the multi renormalization introduced in Ber18 .


The global well posedness of the compressible fluid model of Korteweg type for the critical case. In this paper, we consider the compressible fluid model of Korteweg type in a critical case where the derivative of pressure equals to 0 at the given constant state. It is shown that the system admits a unique, global strong solution for small initial data in the maximal L p L q regularity class. As a result, we also prove the decay estimates of the solutions to the nonliner problem. In order to obtain the global well posedness for the critical case, we show L p L q decay properties of solutions to the linearized equations under an additional assumption for a low frequencies.


Modeling Responsible Elite. Within the ViSE (Voting in Stochastic Environment) model, we study social dynamics determined by collective decisions in a society with an elite. The model allows the analysis of the influence of participants' social attitudes, such as the effects of selfishness, collectivism, lobbying, altruism, etc., on the welfare of the society and its strata. Social dynamics is determined by the change in capital over time, as well as the formation and dissociation of groups. We show that the presence of a responsible elite, which partially cares for its own benefit, stabilizes society and removes the pit of damage' paradox. Society's gain from having a responsible elite is comparable to that from an altruistic group of the same size. If the responsible elite succumbs to the temptation to dramatically increase the weight of the group component in its combined voting strategy, then its income rises sharply, while the income of the society decreases. The rest of the participants benefit from joining the elite, while for the elite it is beneficial to maintain a moderate size. If, in response to insufficient responsibility of the elite, an altruistic group emerges that outnumbers the elite and becomes a new responsible elite, then society again stabilizes, and monopoly of the previous elite (a clique') ends. If the responsible elite competing with the clique becomes a second clique, then tough competition between the cliques is still preferable for society over having a unique clique.


Pentagon representations and complex projective structures on closed surfaces. We define a class of representations of the fundamental group of a closed surface of genus 2 to mathrm PSL 2 ( mathbb C) the pentagon representations. We show that they are exactly the non elementary mathrm PSL 2 ( mathbb C) representations of surface groups that do not admit a Schottky decomposition, i.e. a pants decomposition such that the restriction of the representation to each pair of pants is an isomorphism onto a Schottky group. In doing so, we exhibit a gap in the proof of Gallo, Kapovich and Marden that every non elementary representation of a surface group to mathrm PSL 2 ( mathbb C) is the holonomy of a projective structure, possibly with one branched point of order 2 . We show that pentagon representations arise as such holonomies and repair their proof.


Identity Preserve Transform Understand What Activity Classification Models Have Learnt. Activity classification has observed great success recently. The performance on small dataset is almost saturated and people are moving towards larger datasets. What leads to the performance gain on the model and what the model has learnt? In this paper we propose identity preserve transform (IPT) to study this problem. IPT manipulates the nuisance factors (background, viewpoint, etc.) of the data while keeping those factors related to the task (human motion) unchanged. To our surprise, we found popular models are using highly correlated information (background, object) to achieve high classification accuracy, rather than using the essential information (human motion). This can explain why an activity classification model usually fails to generalize to datasets it is not trained on. We implement IPT in two forms, i.e. image space transform and 3D transform, using synthetic images. The tool will be made open source to help study model and dataset design.


Deciding the existence of cut off in parameterized rendez vous networks. We study networks of processes which all execute the same finite state protocol and communicate thanks to a rendez vous mechanism. Given a protocol, we are interested in checking whether there exists a number, called a cut off, such that in any networks with a bigger number of participants, there is an execution where all the entities end in some final states. We provide decidability and complexity results of this problem under various assumptions, such as absence presence of a leader or symmetric asymmetric rendez vous.


Real time Embedded Person Detection and Tracking for Shopping Behaviour Analysis. Shopping behaviour analysis through counting and tracking of people in shop like environments offers valuable information for store operators and provides key insights in the stores layout (e.g. frequently visited spots). Instead of using extra staff for this, automated on premise solutions are preferred. These automated systems should be cost effective, preferably on lightweight embedded hardware, work in very challenging situations (e.g. handling occlusions) and preferably work real time. We solve this challenge by implementing a real time TensorRT optimized YOLOv3 based pedestrian detector, on a Jetson TX2 hardware platform. By combining the detector with a sparse optical flow tracker we assign a unique ID to each customer and tackle the problem of loosing partially occluded customers. Our detector tracker based solution achieves an average precision of 81.59 at a processing speed of 10 FPS. Besides valuable statistics, heat maps of frequently visited spots are extracted and used as an overlay on the video stream.


On the stable radical of some non domestic string algebras. We introduce the concept of a prime band in a string algebra Lambda and use it to associate to Lambda its finite bridge quiver. Then we introduce a new technique of recursive systems' for showing that a graph map between finite dimensional string modules lies in its stable radical. Further we study two classes of non domestic string algebras in terms of some connectedness properties of its bridge quiver. Meta bigcup cyclic' string algebras constitute the first class that is essentially characterized by the statement that each finite string is a substring of a band. Extending this class we have meta torsion free' string algebras that are characterized by a dichotomy statement for ranks of graph maps between string modules such maps either have finite rank or are in the stable radical. Their stable ranks can only take values from omega, omega 1, omega 2 .


Talk to Papers Bringing Neural Question Answering to Academic Search. We introduce Talk to Papers, which exploits the recent open domain question answering (QA) techniques to improve the current experience of academic search. It's designed to enable researchers to use natural language queries to find precise answers and extract insights from a massive amount of academic papers. We present a large improvement over classic search engine baseline on several standard QA datasets and provide the community a collaborative data collection tool to curate the first natural language processing research QA dataset via a community effort.


Analytical Moment Regularizer for Gaussian Robust Networks. Despite the impressive performance of deep neural networks (DNNs) on numerous vision tasks, they still exhibit yet to understand uncouth behaviours. One puzzling behaviour is the subtle sensitive reaction of DNNs to various noise attacks. Such a nuisance has strengthened the line of research around developing and training noise robust networks. In this work, we propose a new training regularizer that aims to minimize the probabilistic expected training loss of a DNN subject to a generic Gaussian input. We provide an efficient and simple approach to approximate such a regularizer for arbitrary deep networks. This is done by leveraging the analytic expression of the output mean of a shallow neural network avoiding the need for the memory and computationally expensive data augmentation. We conduct extensive experiments on LeNet and AlexNet on various datasets including MNIST, CIFAR10, and CIFAR100 demonstrating the effectiveness of our proposed regularizer. In particular, we show that networks that are trained with the proposed regularizer benefit from a boost in robustness equivalent to performing 3 21 folds of data augmentation.


Technical Report Benefits of Stabilization versus Rollback in Self Stabilizing Graph Based Applications on Eventually Consistent Key Value Stores. In this paper, we evaluate and compare the performance of two approaches, namely self stabilization and rollback, to handling consistency violating faults ( cvf) that occur when a self stabilizing distributed graph based program is executed on an eventually consistent key value store. Consistency violating faults are caused by reading wrong values due to weaker level of consistency provided by the key value store. One way to deal with these faults is to utilize rollback whereas another way is to rely on the property of self stabilization that is expected to provide recovery from arbitrary states. We evaluate both these approaches in different case studies planar graph coloring, arbitrary graph coloring, and maximal matching as well as for different problem dimensions such as input data characteristics, workload partition, and network latency. We also consider the effect of executing non stabilizing algorithm with rollback with a similar stabilizing algorithm that does not utilize rollback.


Hitting estimates on Einstein manifolds and applications. We generalize the Benjamini Pemantle Peres estimate relating hitting probability and Martin capacity to the setting of manifolds with Ricci curvature bounded below. As applications we obtain (1) a sharp estimate for the probability that Brownian motion comes close to the high curvature part of a Ricci flat manifold, (2) a proof of an unpublished theorem of Naber that every noncollapsed limit of Ricci flat manifolds is a weak solution of the Einstein equations, (3) an effective intersection estimate for two independent Brownian motions on manifolds with non negative Ricci curvature and positive asymptotic volume ratio. We also obtain generalizations of (1) and (2) for the manifolds with two sided Ricci bounds and Einstein manifolds with nonzero Einstein constant.


Miss the Point Targeted Adversarial Attack on Multiple Landmark Detection. Recent methods in multiple landmark detection based on deep convolutional neural networks (CNNs) reach high accuracy and improve traditional clinical workflow. However, the vulnerability of CNNs to adversarial example attacks can be easily exploited to break classification and segmentation tasks. This paper is the first to study how fragile a CNN based model on multiple landmark detection to adversarial perturbations. Specifically, we propose a novel Adaptive Targeted Iterative FGSM (ATI FGSM) attack against the state of the art models in multiple landmark detection. The attacker can use ATI FGSM to precisely control the model predictions of arbitrarily selected landmarks, while keeping other stationary landmarks still, by adding imperceptible perturbations to the original image. A comprehensive evaluation on a public dataset for cephalometric landmark detection demonstrates that the adversarial examples generated by ATI FGSM break the CNN based network more effectively and efficiently, compared with the original Iterative FGSM attack. Our work reveals serious threats to patients' health. Furthermore, we discuss the limitations of our method and provide potential defense directions, by investigating the coupling effect of nearby landmarks, i.e., a major source of divergence in our experiments. Our source code is available at https github.com qsyao attack landmark detection.


Monobrick, a uniform approach to torsion free classes and wide subcategories. For a length abelian category, we show that all torsion free classes can be classified by using only the information on bricks, including non functorially finite ones. The idea is to consider the set of simple objects in a torsion free class, which has the following property it is a set of bricks where every non zero map between them is an injection. We call such a set a monobrick. In this paper, we provide a uniform method to study torsion free classes and wide subcategories via monobricks. We show that monobricks are in bijection with left Schur subcategories, which contains all subcategories closed under extensions, kernels and images, thus unifies torsion free classes and wide subcategories. Then we show that torsion free classes bijectively correspond to cofinally closed monobricks. Using monobricks, we deduce several known results on torsion( free) classes and wide subcategories (e.g. finiteness result and bijections) in length abelian categories, without using tau tilting theory. For Nakayama algebras, left Schur subcategories are the same as subcategories closed under extensions, kernels and images, and we show that its number is related to the large Schr "oder number.


Finite time blow up for the nematic liquid crystal flow in dimension two. We consider the initial boundary value problem of a simplified nematic liquid crystal flow in a bounded, smooth domain Omega subset mathbb R 2 . Given any k distinct points in the domain, we develop a new em inner outer gluing method to construct solutions which blow up exactly at those k points as t goes to a finite time T . Moreover, we obtain a precise description of the blow up.


Vector Single Source Surface Integral Equation for TE Scattering From Cylindrical Multilayered Objects. A single source surface integral equation (SS SIE) for transverse electric (TE) scattering from cylindrical multilayered objects is proposed in this paper. By incorporating the differential surface admittance operator (DSAO) and recursively applying the surface equivalence theorem from innermost to outermost boundaries, an equivalent model with only electric current density on the outermost boundary can be obtained. In addition, an integration approach is proposed, where the small argument expansion of the Hankel function is used to evaluate the singular and nearly singular integrals. Compared with other SIEs, such as the Poggio Miller Chang Harrington Wu Tsai (PMCHWT) formulation, the computational expenditure is reduced for multilayered structures because only a single source is needed on the outermost boundary. As shown in the numerical results, the proposed method generates only 19 of unknowns, uses 26 of memory, and requires 29 of the CPU time of the PMCHWT formulation.


Unicoder A Universal Language Encoder by Pre training with Multiple Cross lingual Tasks. We present Unicoder, a universal language encoder that is insensitive to different languages. Given an arbitrary NLP task, a model can be trained with Unicoder using training data in one language and directly applied to inputs of the same task in other languages. Comparing to similar efforts such as Multilingual BERT and XLM, three new cross lingual pre training tasks are proposed, including cross lingual word recovery, cross lingual paraphrase classification and cross lingual masked language model. These tasks help Unicoder learn the mappings among different languages from more perspectives. We also find that doing fine tuning on multiple languages together can bring further improvement. Experiments are performed on two tasks cross lingual natural language inference (XNLI) and cross lingual question answering (XQA), where XLM is our baseline. On XNLI, 1.8 averaged accuracy improvement (on 15 languages) is obtained. On XQA, which is a new cross lingual dataset built by us, 5.5 averaged accuracy improvement (on French and German) is obtained.


Common Fixed Point results in Complex valued metric spaces via simulation functions. In this paper, the notion of mathbb C simulation function is introduced and the existence and uniqueness of common fixed points of two self mappings satisfying contractive conditions in the setting of complex valued metric spaces via mathbb C simulation functions are studied. Examples are also provided to demonstrate the results. The existence and uniqueness of a first order periodic differential equation is also obtained as an application of the result.


Towards Expressive Graph Representation. Graph Neural Network (GNN) aggregates the neighborhood of each node into the node embedding and shows its powerful capability for graph representation learning. However, most existing GNN variants aggregate the neighborhood information in a fixed non injective fashion, which may map different graphs or nodes to the same embedding, reducing the model expressiveness. We present a theoretical framework to design a continuous injective set function for neighborhood aggregation in GNN. Using the framework, we propose expressive GNN that aggregates the neighborhood of each node with a continuous injective set function, so that a GNN layer maps similar nodes with similar neighborhoods to similar embeddings, different nodes to different embeddings and the equivalent nodes or isomorphic graphs to the same embeddings. Moreover, the proposed expressive GNN can naturally learn expressive representations for graphs with continuous node attributes. We validate the proposed expressive GNN (ExpGNN) for graph classification on multiple benchmark datasets including simple graphs and attributed graphs. The experimental results demonstrate that our model achieves state of the art performances on most of the benchmarks.


Hierarchy of Transportation Network Parameters and Hardness Results. The graph parameters highway dimension and skeleton dimension were introduced to capture the properties of transportation networks. As many important optimization problems like Travelling Salesperson, Steiner Tree or k Center arise in such networks, it is worthwhile to study them on graphs of bounded highway or skeleton dimension. We investigate the relationships between mentioned parameters and how they are related to other important graph parameters that have been applied successfully to various optimization problems. We show that the skeleton dimension is incomparable to any of the parameters distance to linear forest, bandwidth, treewidth and highway dimension and hence, it is worthwhile to study mentioned problems also on graphs of bounded skeleton dimension. Moreover, we prove that the skeleton dimension is upper bounded by the max leaf number and that for any graph on at least three vertices there are edge weights such that both parameters are equal. Then we show that computing the highway dimension according to most recent definition is NP hard, which answers an open question stated by Feldmann et al. Finally we prove that on graphs G (V,E) of skeleton dimension mathcal O ( log 2 vert V vert) it is NP hard to approximate the k Center problem within a factor less than 2 .


Generalized Cline's Formula for G Drazin Inverse. Let R be an associative ring with an identity and suppose that a,b,c,d in R satisfy bdb bac,dbd acd . If ac has generalized Drazin ( respectively, pseudo Drazin, Drazin) inverse, we prove that bd has generalized Drazin (respectively, pseudo Drazin, Drazin) inverse. In particular, as applications, we obtain new common spectral properties of bounded linear operators over Banach spaces.


Learning 2D to 3D Lifting for Object Detection in 3D for Autonomous Vehicles. We address the problem of 3D object detection from 2D monocular images in autonomous driving scenarios. We propose to lift the 2D images to 3D representations using learned neural networks and leverage existing networks working directly on 3D data to perform 3D object detection and localization. We show that, with carefully designed training mechanism and automatically selected minimally noisy data, such a method is not only feasible, but gives higher results than many methods working on actual 3D inputs acquired from physical sensors. On the challenging KITTI benchmark, we show that our 2D to 3D lifted method outperforms many recent competitive 3D networks while significantly outperforming previous state of the art for 3D detection from monocular images. We also show that a late fusion of the output of the network trained on generated 3D images, with that trained on real 3D images, improves performance. We find the results very interesting and argue that such a method could serve as a highly reliable backup in case of malfunction of expensive 3D sensors, if not potentially making them redundant, at least in the case of low human injury risk autonomous navigation scenarios like warehouse automation.


g2tmn at Constraint AAAI2021 Exploiting CT BERT and Ensembling Learning for COVID 19 Fake News Detection. The COVID 19 pandemic has had a huge impact on various areas of human life. Hence, the coronavirus pandemic and its consequences are being actively discussed on social media. However, not all social media posts are truthful. Many of them spread fake news that cause panic among readers, misinform people and thus exacerbate the effect of the pandemic. In this paper, we present our results at the Constraint AAAI2021 Shared Task COVID 19 Fake News Detection in English. In particular, we propose our approach using the transformer based ensemble of COVID Twitter BERT (CT BERT) models. We describe the models used, the ways of text preprocessing and adding extra data. As a result, our best model achieved the weighted F1 score of 98.69 on the test set (the first place in the leaderboard) of this shared task that attracted 166 submitted teams in total.


Who2com Collaborative Perception via Learnable Handshake Communication. In this paper, we propose the problem of collaborative perception, where robots can combine their local observations with those of neighboring agents in a learnable way to improve accuracy on a perception task. Unlike existing work in robotics and multi agent reinforcement learning, we formulate the problem as one where learned information must be shared across a set of agents in a bandwidth sensitive manner to optimize for scene understanding tasks such as semantic segmentation. Inspired by networking communication protocols, we propose a multi stage handshake communication mechanism where the neural network can learn to compress relevant information needed for each stage. Specifically, a target agent with degraded sensor data sends a compressed request, the other agents respond with matching scores, and the target agent determines who to connect with (i.e., receive information from). We additionally develop the AirSim CP dataset and metrics based on the AirSim simulator where a group of aerial robots perceive diverse landscapes, such as roads, grasslands, buildings, etc. We show that for the semantic segmentation task, our handshake communication method significantly improves accuracy by approximately 20 over decentralized baselines, and is comparable to centralized ones using a quarter of the bandwidth.


Perseus Characterizing Performance and Cost of Multi Tenant Serving for CNN Models. Deep learning models are increasingly used for end user applications, supporting both novel features such as facial recognition, and traditional features, e.g. web search. To accommodate high inference throughput, it is common to host a single pre trained Convolutional Neural Network (CNN) in dedicated cloud based servers with hardware accelerators such as Graphics Processing Units (GPUs). However, GPUs can be orders of magnitude more expensive than traditional Central Processing Unit (CPU) servers. These resources could also be under utilized facing dynamic workloads, which may result in inflated serving costs. One potential way to alleviate this problem is by allowing hosted models to share the underlying resources, which we refer to as multi tenant inference serving. One of the key challenges is maximizing the resource efficiency for multi tenant serving given hardware with diverse characteristics, models with unique response time Service Level Agreement (SLA), and dynamic inference workloads. In this paper, we present Perseus, a measurement framework that provides the basis for understanding the performance and cost trade offs of multi tenant model serving. We implemented Perseus in Python atop a popular cloud inference server called Nvidia TensorRT Inference Server. Leveraging Perseus, we evaluated the inference throughput and cost for serving various models and demonstrated that multi tenant model serving led to up to 12 cost reduction.


Performance and Complexity of the Sequential Successive Cancellation Decoding Algorithm. Simulation results illustrating the performance and complexity of the sequential successive cancellation decoding algorithm are presented for the case of polar subcodes with Arikan and large kernels, as well as for extended BCH codes. Performance comparison with Arikan PAC and LDPC codes is provided. Furthermore, complete description of the decoding algorithm is presented.


Enhancing Factorization Machines with Generalized Metric Learning. Factorization Machines (FMs) are effective in incorporating side information to overcome the cold start and data sparsity problems in recommender systems. Traditional FMs adopt the inner product to model the second order interactions between different attributes, which are represented via feature vectors. The problem is that the inner product violates the triangle inequality property of feature vectors. As a result, it cannot well capture fine grained attribute interactions, resulting in sub optimal performance. Recently, the Euclidean distance is exploited in FMs to replace the inner product and has delivered better performance. However, previous FM methods including the ones equipped with the Euclidean distance all focus on the attribute level interaction modeling, ignoring the critical intrinsic feature correlations inside attributes. Thereby, they fail to model the complex and rich interactions exhibited in the real world data. To tackle this problem, in this paper, we propose a FM framework equipped with generalized metric learning techniques to better capture these feature correlations. In particular, based on this framework, we present a Mahalanobis distance and a deep neural network (DNN) methods, which can effectively model the linear and non linear correlations between features, respectively. Besides, we design an efficient approach for simplifying the model functions. Experiments on several benchmark datasets demonstrate that our proposed framework outperforms several state of the art baselines by a large margin. Moreover, we collect a new large scale dataset on second hand trading to justify the effectiveness of our method over cold start and data sparsity problems in recommender systems.


Achieving Multi Tasking Robots in Multi Robot Tasks. One simplifying assumption made in distributed robot systems is that the robots are single tasking each robot operates on a single task at any time. While such a sanguine assumption is innocent to make in situations with sufficient resources so that the robots can operate independently, it becomes impractical when they must share their capabilities. In this paper, we consider multi tasking robots with multi robot tasks. Given a set of tasks, each achievable by a coalition of robots, our approach allows the coalitions to overlap and task synergies to be exploited by reasoning about the physical constraints that can be synergistically satisfied for achieving the tasks. The key contribution of this work is a general and flexible framework to achieve this ability for multi robot systems in resource constrained situations to extend their capabilities. The proposed approach is built on the information invariant theory, which specifies the interactions between information requirements. In our work, we map physical constraints to information requirements, thereby allowing task synergies to be identified via the information invariant framework. We show that our algorithm is sound and complete under a problem setting with multi tasking robots. Simulation results show its effectiveness under resource constrained situations and in handling challenging situations in a multi UAV simulator.


Lattices in Chip Firing. We analyze the poset of moves in chip firing, as defined by Klivans and Liscio. Answering a question of Propp, we show that the move poset forms the join irreducibles of the poset of configurations. The proof involves a graph augmentation and an analysis of configurations in which only one firing move is available. We then use this framework to analyze the problem of chip firing on a line, where the move poset is relevant to the problem of labeled chip firing.


Resonant Asymmetric All Dielectric Metasurface for Boosting Third Harmonic Generation. Resonant metasurfaces have received extensive attention due to their sharp spectral feature and extraordinary field enhancement. In this work, by breaking the in plane symmetry of silicon nanopillars, we achieve a sharp Fano resonance. The far field radiation and near field distribution of metasurfaces are calculated and analyzed to further uncover the resonant performance of metasurfaces. Moreover, the theoretical derivation and simulation exhibit an inverse quadratic dependence of Q factors on asymmetry parameters, revealing that the resonance is governed by the symmetry protected bound states in the continuum. Finally we experimentally demonstrate the sharp resonance, and employ it to effciently boost the third harmonic generation. This enhancement can be attributed to the strong optical intensity enhancement inside the metasurface.


Empirical Study of Restarted and Flaky Builds on Travis CI. Continuous Integration (CI) is a development practice where developers frequently integrate code into a common codebase. After the code is integrated, the CI server runs a test suite and other tools to produce a set of reports (e.g., output of linters and tests). If the result of a CI test run is unexpected, developers have the option to manually restart the build, re running the same test suite on the same code this can reveal build flakiness, if the restarted build outcome differs from the original build. In this study, we analyze restarted builds, flaky builds, and their impact on the development workflow. We observe that developers restart at least 1.72 of builds, amounting to 56,522 restarted builds in our Travis CI dataset. We observe that more mature and more complex projects are more likely to include restarted builds. The restarted builds are mostly builds that are initially failing due to a test, network problem, or a Travis CI limitations such as execution timeout. Finally, we observe that restarted builds have a major impact on development workflow. Indeed, in 54.42 of the restarted builds, the developers analyze and restart a build within an hour of the initial failure. This suggests that developers wait for CI results, interrupting their workflow to address the issue. Restarted builds also slow down the merging of pull requests by a factor of three, bringing median merging time from 16h to 48h.


Feedback Stabilization of the Three Dimensional Navier Stokes Equations using Generalized Lyapunov Equations. The approximation of the value function associated to a stabilization problem formulated as optimal control problem for the Navier Stokes equations in dimension three by means of solutions to generalized Lyapunov equations is proposed and analyzed. The specificity, that the value function is not differentiable on the state space must be overcome. For this purpose a new class of generalized Lyapunov equations is introduced. Existence of unique solutions to these equations is demonstrated. They provide the basis for feedback operators, which approximate the value function, the optimal states and controls, up to arbitrary order.


A stabilized DG cut cell method for discretizing the linear transport equation. We present new stabilization terms for solving the linear transport equation on a cut cell mesh using the discontinuous Galerkin (DG) method in two dimensions with piecewise linear polynomials. The goal is to allow for explicit time stepping schemes, despite the presence of cut cells. Using a method of lines approach, we start with a standard upwind DG discretization for the background mesh and add penalty terms that stabilize the solution on small cut cells in a conservative way. Then, one can use explicit time stepping, even on cut cells, with a time step length that is appropriate for the background mesh. In one dimension, we show monotonicity of the proposed scheme for piecewise constant polynomials and total variation diminishing in the means stability for piecewise linear polynomials. We also present numerical results in one and two dimensions that support our theoretical findings.


Structural Knowledge Distillation Tractably Distilling Information for Structured Predictor. Knowledge distillation is a critical technique to transfer knowledge between models, typically from a large model (the teacher) to a more fine grained one (the student). The objective function of knowledge distillation is typically the cross entropy between the teacher and the student's output distributions. However, for structured prediction problems, the output space is exponential in size therefore, the cross entropy objective becomes intractable to compute and optimize directly. In this paper, we derive a factorized form of the knowledge distillation objective for structured prediction, which is tractable for many typical choices of the teacher and student models. In particular, we show the tractability and empirical effectiveness of structural knowledge distillation between sequence labeling and dependency parsing models under four different scenarios 1) the teacher and student share the same factorization form of the output structure scoring function 2) the student factorization produces more fine grained substructures than the teacher factorization 3) the teacher factorization produces more fine grained substructures than the student factorization 4) the factorization forms from the teacher and the student are incompatible.


Surgical Gesture Recognition with Optical Flow only. In this paper, we address the open research problem of surgical gesture recognition using motion cues from video data only. We adapt Optical flow ConvNets initially proposed by Simonyan et al.. While Simonyan uses both RGB frames and dense optical flow, we use only dense optical flow representations as input to emphasize the role of motion in surgical gesture recognition, and present it as a robust alternative to kinematic data. We also overcome one of the limitations of Optical flow ConvNets by initializing our model with cross modality pre training. A large number of promising studies that address surgical gesture recognition highly rely on kinematic data which requires additional recording devices. To our knowledge, this is the first paper that addresses surgical gesture recognition using dense optical flow information only. We achieve competitive results on JIGSAWS dataset, moreover, our model achieves more robust results with less standard deviation, which suggests optical flow information can be used as an alternative to kinematic data for the recognition of surgical gestures.


Explainability in Human Agent Systems. This paper presents a taxonomy of explainability in Human Agent Systems. We consider fundamental questions about the Why, Who, What, When and How of explainability. First, we define explainability, and its relationship to the related terms of interpretability, transparency, explicitness, and faithfulness. These definitions allow us to answer why explainability is needed in the system, whom it is geared to and what explanations can be generated to meet this need. We then consider when the user should be presented with this information. Last, we consider how objective and subjective measures can be used to evaluate the entire system. This last question is the most encompassing as it will need to evaluate all other issues regarding explainability.


Evidential positive opinion influence measures for viral marketing. The Viral Marketing is a relatively new form of marketing that exploits social networks to promote a brand, a product, etc. The idea behind it is to find a set of influencers on the network that can trigger a large cascade of propagation and adoptions. In this paper, we will introduce an evidential opinion based influence maximization model for viral marketing. Besides, our approach tackles three opinions based scenarios for viral marketing in the real world. The first scenario concerns influencers who have a positive opinion about the product. The second scenario deals with influencers who have a positive opinion about the product and produce effects on users who also have a positive opinion. The third scenario involves influence users who have a positive opinion about the product and produce effects on the negative opinion of other users concerning the product in question. Next, we proposed six influence measures, two for each scenario. We also use an influence maximization model that the set of detected influencers for each scenario. Finally, we show the performance of the proposed model with each influence measure through some experiments conducted on a generated dataset and a real world dataset collected from Twitter.


PEGASUS Pre training with Extracted Gap sentences for Abstractive Summarization. Recent work pre training Transformers with self supervised objectives on large text corpora has shown great success when fine tuned on downstream NLP tasks including text summarization. However, pre training objectives tailored for abstractive text summarization have not been explored. Furthermore there is a lack of systematic evaluation across diverse domains. In this work, we propose pre training large Transformer based encoder decoder models on massive text corpora with a new self supervised objective. In PEGASUS, important sentences are removed masked from an input document and are generated together as one output sequence from the remaining sentences, similar to an extractive summary. We evaluated our best PEGASUS model on 12 downstream summarization tasks spanning news, science, stories, instructions, emails, patents, and legislative bills. Experiments demonstrate it achieves state of the art performance on all 12 downstream datasets measured by ROUGE scores. Our model also shows surprising performance on low resource summarization, surpassing previous state of the art results on 6 datasets with only 1000 examples. Finally we validated our results using human evaluation and show that our model summaries achieve human performance on multiple datasets.


Adversarial Patch Generation for Automatic Program Repair. Automatic program repair (APR) has seen a growing interest in recent years with numerous techniques proposed. One notable line of research work in APR is search based techniques which generate repair candidates via syntactic analyses and search for valid repairs in the generated search space. In this work, we explore an alternative approach which is inspired by the adversarial notion of bugs and repairs. Our approach leverages the deep learning Generative Adversarial Networks (GANs) architecture to suggest repairs that are as close as possible to human generated repairs. Preliminary evaluations demonstrate promising results of our approach (generating repairs exactly the same as human fixes for 21.2 of 500 bugs).


Computing the rearrangement distance of natural genomes. The computation of genomic distances has been a very active field of computational comparative genomics over the last 25 years. Substantial results include the polynomial time computability of the inversion distance by Hannenhalli and Pevzner in 1995 and the introduction of the double cut and join (DCJ) distance by Yancopoulos et al. in 2005. Both results, however, rely on the assumption that the genomes under comparison contain the same set of unique markers (syntenic genomic regions, sometimes also referred to as genes). In 2015, Shao, Lin and Moret relax this condition by allowing for duplicate markers in the analysis. This generalized version of the genomic distance problem is NP hard, and they give an ILP solution that is efficient enough to be applied to real world datasets. A restriction of their approach is that it can be applied only to balanced genomes, that have equal numbers of duplicates of any marker. Therefore it still needs a delicate preprocessing of the input data in which excessive copies of unbalanced markers have to be removed. In this paper we present an algorithm solving the genomic distance problem for natural genomes, in which any marker may occur an arbitrary number of times. Our method is based on a new graph data structure, the multi relational diagram, that allows an elegant extension of the ILP by Shao, Lin and Moret to count runs of markers that are under or over represented in one genome with respect to the other and need to be inserted or deleted, respectively. With this extension, previous restrictions on the genome configurations are lifted, for the first time enabling an uncompromising rearrangement analysis. Any marker sequence can directly be used for the distance calculation. The evaluation of our approach shows that it can be used to analyze genomes with up to a few ten thousand markers, which we demonstrate on simulated and real data.


First Order Methods for Convex Constrained Optimization under Error Bound Conditions with Unknown Growth Parameters. We propose first order methods based on a level set technique for convex constrained optimization that satisfies an error bound condition with unknown growth parameters. The proposed approach solves the original problem by solving a sequence of unconstrained subproblems defined with different level parameters. Different from the existing level set methods where the subproblems are solved sequentially, our method applies a first order method to solve each subproblem independently and simultaneously, which can be implemented with either a single or multiple processors. Once the objective value of one subproblem is reduced by a constant factor, a sequential restart is performed to update the level parameters and restart the first order methods. When the problem is non smooth, our method finds an epsilon optimal and epsilon feasible solution by computing at most O( frac G 2 d epsilon 2 2 d ln 3( frac 1 epsilon )) subgradients where G 0 and d geq 1 are the growth rate and the exponent, respectively, in the error bound condition. When the problem is smooth, the complexity is improved to O( frac G 1 d epsilon 1 1 d ln 3( frac 1 epsilon )) . Our methods do not require knowing G , d and any problem dependent parameters.


Several extremal problems on graphs involving the circumference, girth, and hyperbolicity constant. To compute the hyperbolicity constant is an almost intractable problem, thus it is natural to try to bound it in terms of some parameters of the graph. Let mathcal G (g,c,n) be the set of graphs G with girth g(G) g , circumference c(G) c , and n vertices and let mathcal H (g,c,m) be the set of graphs with girth g , circumference c , and m edges. In this work, we study the four following extremal problems on graphs A(g,c,n) min delta(G) , G in mathcal G (g,c,n) , B(g,c,n) max delta(G) , G in mathcal G (g,c,n) , alpha(g,c,m) min delta(G) , in mathcal H (g,c,m) and beta(g,c,m) max delta(G) , G in mathcal H (g,c,m) . In particular, we obtain bounds for A(g,c,n) and alpha(g,c,m) , and we compute the precise value of B(g,c,n) and beta(g,c,m) for all values of g , c , n and m .


Formal Methods for An Iterated Volunteer's Dilemma. Game theory provides a paradigm through which we can study the evolving communication and phenomena that occur via rational agent interaction. In this work, we design a model framework and explore The Volunteer's Dilemma with the goals of 1) modeling it as a stochastic concurrent multiplayer game, 2) constructing properties to verify model correctness and reachability, 3) constructing strategy synthesis graphs to understand how the game is iteratively stepped through most optimally and, 4) analyzing a series of parameters to understand correlations with expected local and global rewards over a finite time horizon.


Computational Methods in Professional Communication. The digitization of the world has also led to a digitization of communication processes. Traditional research methods fall short in understanding communication in digital worlds as the scope has become too large in volume, variety, and velocity to be studied using traditional approaches. In this paper, we present computational methods and their use in public and mass communication research and how those could be adapted to professional communication research. The paper is a proposal for a panel in which the panelists, each an expert in their field, will present their current work using computational methods and will discuss transferability of these methods to professional communication.


A note on the topological slice genus of satellite knots. This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot P(K) is bounded above by the sum of the slice genera of K and P(U) . Our main result establishes this conjecture for a variant of the topological slice genus, the mathbb Z slice genus. As an application, we show that the (n,1) cable of any 3 genus 1 knot (e.g. the figure 8 or trefoil knot) has topological slice genus at most 1. Further, we show that the lower bounds on the slice genus coming from the Tristram Levine and Casson Gordon signatures cannot be used to disprove the conjecture. Notably, the conjectured upper bound does not involve the algebraic winding number of the pattern P . This stands in stark contrast with the smooth category, where for example there are many genus 1 knots whose (n,1) cables have arbitrarily large smooth 4 genera.


Efficient Subspace Search in Data Streams. In the real world, data streams are ubiquitous think of network traffic or sensor data. Mining patterns, e.g., outliers or clusters, from such data must take place in real time. This is challenging because (1) streams often have high dimensionality, and (2) the data characteristics may change over time. Existing approaches tend to focus on only one aspect, either high dimensionality or the specifics of the streaming setting. For static data, a common approach to deal with high dimensionality known as subspace search extracts low dimensional, interesting' projections (subspaces), in which patterns are easier to find. In this paper, we address both Challenge (1) and (2) by generalising subspace search to data streams. Our approach, Streaming Greedy Maximum Random Deviation (SGMRD), monitors interesting subspaces in high dimensional data streams. It leverages novel multivariate dependency estimators and monitoring techniques based on bandit theory. We show that the benefits of SGMRD are twofold (i) It monitors subspaces efficiently, and (ii) this improves the results of downstream data mining tasks, such as outlier detection. Our experiments, performed against synthetic and real world data, demonstrate that SGMRD outperforms its competitors by a large margin.


Could regulating the creators deliver trustworthy AI?. Is a new regulated profession, such as Artificial Intelligence (AI) Architect who is responsible and accountable for AI outputs necessary to ensure trustworthy AI? AI is becoming all pervasive and is often deployed in everyday technologies, devices and services without our knowledge. There is heightened awareness of AI in recent years which has brought with it fear. This fear is compounded by the inability to point to a trustworthy source of AI, however even the term "trustworthy AI" itself is troublesome. Some consider trustworthy AI to be that which complies with relevant laws, while others point to the requirement to comply with ethics and standards (whether in addition to or in isolation of the law). This immediately raises questions of whose ethics and which standards should be applied and whether these are sufficient to produce trustworthy AI in any event.


Variance Reduced Accelerated First order Methods Central Limit Theorems and Confidence Statements. In this paper, we study a stochastic strongly convex optimization problem and propose three classes of variable sample size stochastic first order methods including the standard stochastic gradient descent method, its accelerated variant, and the stochastic heavy ball method. In the iterates of each scheme, the unavailable exact gradients are approximated by averaging across an increasing batch size of sampled gradients. We prove that when the sample size increases geometrically, the generated estimates converge in mean to the optimal solution at a geometric rate. Based on this result, we provide a unified framework to show that the rescaled estimation errors converge in distribution to a normal distribution, in which the covariance matrix depends on the Hessian matrix, covariance of the gradient noise, and the steplength. If the sample size increases at a polynomial rate, we show that the estimation errors decay at the corresponding polynomial rate and establish the corresponding central limit theorems (CLTs). Finally, we provide an avenue to construct confidence regions for the optimal solution based on the established CLTs, and test the theoretic findings on a stochastic parameter estimation problem.


The ( alpha, beta) ramification invariants of a number field. Let L be a number field. For a given prime p we define integers alpha p L and beta p L with some interesting arithmetic properties. For instance, beta p L is equal to 1 whenever p does not ramify in L and alpha p L is divisible by p whenever p is wildly ramified in L . The aforementioned properties, although interesting, follow easily from definitions however a more interesting application of these invariants is the fact that they completely characterize the Dedekind zeta function of L . Moreover, if the residue class mod p of alpha p L is not zero for all p then such residues determine the genus of the integral trace.


Time memory effect in entropy decay of Ornstein Uhlenbeck operators. We investigate the effect of memory terms on the entropy decay of the solutions to equations with Ornstein Uhlenbeck operators. Our assumptions on the memory kernels include Caputo Fabrizio operators and, more generally, the stretched exponential functions. We establish a sharp rate decay for the entropy. Examples and numerical simulations are also given to illustrate the results.


Correctness by construction for probabilistic programs. The "correct by construction" paradigm is an important component of modern Formal Methods, and here we use the probabilistic Guarded Command Language mathit pGCL to illustrate its application to mathit probabilistic programming. mathit pGCL extends Dijkstra's guarded command language mathit GCL with probabilistic choice, and is equipped with a correctness preserving refinement relation ( sqsubseteq) that enables compact, abstract specifications of probabilistic properties to be transformed gradually to concrete, executable code by applying mathematical insights in a systematic and layered way. Characteristically for "correctness by construction", as far as possible the reasoning in each refinement step layer does not depend on earlier layers, and does not affect later ones. We demonstrate the technique by deriving a fair coin implementation of any given discrete probability distribution. In the special case of simulating a fair die, our correct by construction algorithm turns out to be "within spitting distance" of Knuth and Yao's optimal solution.


A note on purely imaginary independence roots. The independence polynomial of a graph is the generating polynomial for the number of independent sets of each cardinality and its roots are called independence roots. We investigate here purely imaginary independence roots. We show that there are infinitely many connected graphs with purely imaginary independence roots and that every graph is a subgraph of such a graph. We also classify every rational purely imaginary number that is an independence root.


New stable, explicit, first order method to solve the heat conduction equation. We introduce a novel explicit and stable numerical algorithm to solve the spatially discretized heat or diffusion equation. We compare the performance of the new method with analytical and numerical solutions. We show that the method is first order in time and can give approximate results for extremely large systems faster than the commonly used explicit or implicit methods.


The Gehring Hayman type theorems on complex domains. In this paper we establish Gehring Hayman type theorems for some complex domains. Suppose that Omega subset mathbb C n is a bounded m convex domain with Dini smooth boundary, or a bounded strongly pseudoconvex domain with C 2 smooth boundary. Then we prove that the Euclidean length of Kobayashi geodesic x,y in Omega is less than c 1 x y c 2 . Furthermore, if Omega endowed with the Kobayashi metric is Gromov hyperbolic, then we can generalize this result to quasi geodesics with respect to Bergman metric, Carath ' e odory metric or K " a hler Einstein metric. As applications, we prove the bi H " o lder equivalence between the Euclidean boundary and the Gromov boundary. Moreover, by using this boundary correspondence, we can show some extension results for biholomorphisms, and more general rough quasi isometries with respect to the Kobayashi metrics between the domains.


SoK Diving into DAG based Blockchain Systems. Blockchain plays an important role in cryptocurrency markets and technology services. However, limitations on high latency and low scalability retard their adoptions and applications in classic designs. Reconstructed blockchain systems have been proposed to avoid the consumption of competitive transactions caused by linear sequenced blocks. These systems, instead, structure transactions blocks in the form of Directed Acyclic Graph (DAG) and consequently re build upper layer components including consensus, incentives, textit etc. The promise of DAG based blockchain systems is to enable fast confirmation (complete transactions within million seconds) and high scalability (attach transactions in parallel) without significantly compromising security. However, this field still lacks systematic work that summarises the DAG technique. To bridge the gap, this Systematization of Knowledge (SoK) provides a comprehensive analysis of DAG based blockchain systems. Through deconstructing open sourced systems and reviewing academic researches, we conclude the main components and featured properties of systems, and provide the approach to establish a DAG. With this in hand, we analyze the security and performance of several leading systems, followed by discussions and comparisons with concurrent (scaling blockchain) techniques. We further identify open challenges to highlight the potentiality of DAG based solutions and indicate their promising directions for future research.


Modeling Single Picker Routing Problems in Classical and Modern Warehouses. The standard single picker routing problem (SPRP) seeks the cost minimal tour to collect a set of given articles in a rectangular single block warehouse with parallel picking aisles and a dedicated storage policy, i.e, each SKU is only available from one storage location in the warehouse. We present a compact formulation that forgoes classical subtour elimination constraints by directly exploiting two of the properties of an optimal picking tour used in the dynamic programming algorithm of Ratliff and Rosenthal (1983). We extend the formulation to three important settings prevalent in modern e commerce warehouses scattered storage, decoupling of picker and cart, and multiple end depots. In numerical studies, our formulation outperforms existing standard SPRP formulations from the literature and proves able to solve large instances within short runtimes. Realistically sized instances of the three problem extensions can also be solved with low computational effort. We find that decoupling of picker and cart can lead to substantial cost savings depending on the speed and capacity of the picker when traveling alone, whereas additional end depots have rather limited benefits in a single block warehouse.


RoboTed a case study in Ethical Risk Assessment. Risk Assessment is a well known and powerful method for discovering and mitigating risks, and hence improving safety. Ethical Risk Assessment uses the same approach but extends the envelope of risk to cover ethical risks in addition to safety risks. In this paper we outline Ethical Risk Assessment (ERA) and set ERA within the broader framework of Responsible Robotics. We then illustrate ERA with a case study of a hypothetical smart robot toy teddy bear RoboTed. The case study shows the value of ERA and how consideration of ethical risks can prompt design changes, resulting in a more ethical and sustainable robot.


Joint Deep Cross Domain Transfer Learning for Emotion Recognition. Deep learning has been applied to achieve significant progress in emotion recognition. Despite such substantial progress, existing approaches are still hindered by insufficient training data, and the resulting models do not generalize well under mismatched conditions. To address this challenge, we propose a learning strategy which jointly transfers the knowledge learned from rich datasets to source poor datasets. Our method is also able to learn cross domain features which lead to improved recognition performance. To demonstrate the robustness of our proposed framework, we conducted experiments on three benchmark emotion datasets including eNTERFACE, SAVEE, and EMODB. Experimental results show that the proposed method surpassed state of the art transfer learning schemes by a significant margin.


Concentration solutions to singularly prescribed Gaussian and geodesic curvatures problem. We consider the following Liouville type equation with exponential Neumann boundary condition Delta tilde u varepsilon 2 K(x) e 2 tilde u , quad x in D, qquad frac partial tilde u partial n 1 varepsilon kappa(x) e tilde u , quad x in partial D, where D subset mathbb R 2 is the unit disc, varepsilon 2 K(x) and varepsilon kappa(x) stand for the prescribed Gaussian curvature and the prescribed geodesic curvature of the boundary, respectively. We prove the existence of concentration solutions if kappa(x) sqrt K(x) kappa(x) 2 ( x in partial D ) has a strictly local extremum point, which is a total new result for exponential Neumann boundary problem.


DeepAtlas Joint Semi Supervised Learning of Image Registration and Segmentation. Deep convolutional neural networks (CNNs) are state of the art for semantic image segmentation, but typically require many labeled training samples. Obtaining 3D segmentations of medical images for supervised training is difficult and labor intensive. Motivated by classical approaches for joint segmentation and registration we therefore propose a deep learning framework that jointly learns networks for image registration and image segmentation. In contrast to previous work on deep unsupervised image registration, which showed the benefit of weak supervision via image segmentations, our approach can use existing segmentations when available and computes them via the segmentation network otherwise, thereby providing the same registration benefit. Conversely, segmentation network training benefits from the registration, which essentially provides a realistic form of data augmentation. Experiments on knee and brain 3D magnetic resonance (MR) images show that our approach achieves large simultaneous improvements of segmentation and registration accuracy (over independently trained networks) and allows training high quality models with very limited training data. Specifically, in a one shot scenario (with only one manually labeled image) our approach increases Dice scores ( ) over an unsupervised registration network by 2.7 and 1.8 on the knee and brain images respectively.


Understanding the Automated Parameter Optimization on Transfer Learning for CPDP An Empirical Study. Data driven defect prediction has become increasingly important in software engineering process. Since it is not uncommon that data from a software project is insufficient for training a reliable defect prediction model, transfer learning that borrows data knowledge from other projects to facilitate the model building at the current project, namely cross project defect prediction (CPDP), is naturally plausible. Most CPDP techniques involve two major steps, i.e., transfer learning and classification, each of which has at least one parameter to be tuned to achieve their optimal performance. This practice fits well with the purpose of automated parameter optimization. However, there is a lack of thorough understanding about what are the impacts of automated parameter optimization on various CPDP techniques. In this paper, we present the first empirical study that looks into such impacts on 62 CPDP techniques, 13 of which are chosen from the existing CPDP literature while the other 49 ones have not been explored before. We build defect prediction models over 20 real world software projects that are of different scales and characteristics. Our findings demonstrate that (1) Automated parameter optimization substantially improves the defect prediction performance of 77 CPDP techniques with a manageable computational cost. Thus more efforts on this aspect are required in future CPDP studies. (2) Transfer learning is of ultimate importance in CPDP. Given a tight computational budget, it is more cost effective to focus on optimizing the parameter configuration of transfer learning algorithms (3) The research on CPDP is far from mature where it is "not difficult" to find a better alternative by making a combination of existing transfer learning and classification techniques. This finding provides important insights about the future design of CPDP techniques.


Software Development with Feature Toggles Practices used by Practitioners. Background Using feature toggles is a technique that allows developers to either turn a feature on or off with a variable in a conditional statement. Feature toggles are increasingly used by software companies to facilitate continuous integration and continuous delivery. However, using feature toggles inappropriately may cause problems which can have a severe impact, such as code complexity, dead code, and system failure. For example, the erroneous repurposing of an old feature toggle caused Knight Capital Group, an American global financial services firm, to go bankrupt due to the implications of the resultant incorrect system behavior. Aim The goal of this research project is to aid software practitioners in the use of practices to support software development with feature toggles through an empirical study of feature toggle practice usage by practitioners. Method We conducted a qualitative analysis of 99 artifacts from the grey literature and 10 peer reviewed papers about feature toggles. We conducted a survey of practitioners from 38 companies. Results We identified 17 practices in 4 categories Management practices, Initialization practices, Implementation practices, and Clean up practices. We observed that all of the survey respondents use a dedicated tool to create and manage feature toggles in their code. Documenting feature toggle's metadata, setting up the default value for feature toggles, and logging the changes made on feature toggles are also frequently observed practices. Conclusions The feature toggle development practices discovered and enumerated in this work can help practitioners more effectively use feature toggles. This work can enable future mining of code repositories to automatically identify feature toggle practices.


Second order accurate TVD numerical methods for nonlocal nonlinear conservation laws. We present a second order accurate numerical method for a class of nonlocal nonlinear conservation laws called the "nonlocal pair interaction model" which was recently introduced by Du, Huang, and LeFloch. Our numerical method uses second order accurate reconstruction based schemes for local conservation laws in conjunction with appropriate numerical integration. We show that the resulting method is total variation diminishing (TVD) and converges towards a weak solution. In fact, in contrast to local conservation laws, our second order reconstruction based method converges towards the unique entropy solution provided that the nonlocal interaction kernel satisfies a certain growth condition near zero. Furthermore, as the nonlocal horizon parameter in our method approaches zero we recover a well known second order method for local conservation laws. In addition, we answer several questions from the paper from Du, Huang, and LeFloch concerning regularity of solutions. In particular, we prove that any discontinuity present in a weak solution must be stationary and that, if the interaction kernel satisfies a certain growth condition, then weak solutions are unique. We present a series of numerical experiments in which we investigate the accuracy of our second order scheme, demonstrate shock formation in the nonlocal pair interaction model, and examine how the regularity of the solution depends on the choice of flux function.


The Logarithm of the Modulus of an Entire Function as a Minorant for a Subharmonic Function outside a Small Exceptional Set. Let u not equiv infty be a subharmonic function on the complex plane mathbb C . In 2016, we obtained a result on the existence of an entire function f neq 0 satisfying the estimate log f leq sf B u on mathbb C , where functions sf B u are integral averages of u for rapidly shrinking disks as it approaches infinity. We give another equivalent version of this result with log f leq u outside a very small exceptional set if u is of finite order.


Optimal management of pumped hydroelectric production with state constrained optimal control. We present a novel technique to solve the problem of managing optimally a pumped hydroelectric storage system. This technique relies on representing the system as a stochastic optimal control problem with state constraints, these latter corresponding to the finite volume of the reservoirs. Following the recent level set approach presented in O. Bokanowski, A. Picarelli, H. Zidani, "State constrained stochastic optimal control problems via reachability approach", SIAM J. Control and Optim. 54 (5) (2016), we transform the original constrained problem in an auxiliary unconstrained one in augmented state and control spaces, obtained by introducing an exact penalization of the original state constraints. The latter problem is fully treatable by classical dynamic programming arguments.


Fast In place Algorithms for Polynomial Operations Division, Evaluation, Interpolation. We consider space saving versions of several important operations on univariate polynomials, namely power series inversion and division, division with remainder, multi point evaluation, and interpolation. Now classical results show that such problems can be solved in (nearly) the same asymptotic time as fast polynomial multiplication. However, these reductions, even when applied to an in place variant of fast polynomial multiplication, yield algorithms which require at least a linear amount of extra space for intermediate results. We demonstrate new in place algorithms for the aforementioned polynomial computations which require only constant extra space and achieve the same asymptotic running time as their out of place counterparts. We also provide a precise complexity analysis so that all constants are made explicit, parameterized by the space usage of the underlying multiplication algorithms.


AnyHLS High Level Synthesis with Partial Evaluation. FPGAs excel in low power and high throughput computations, but they are challenging to program. Traditionally, developers rely on hardware description languages like Verilog or VHDL to specify the hardware behavior at the register transfer level. High Level Synthesis (HLS) raises the level of abstraction, but still requires FPGA design knowledge. Programmers usually write pragma annotated C C programs to define the hardware architecture of an application. However, each hardware vendor extends its own C dialect using its own vendor specific set of pragmas. This prevents portability across different vendors. Furthermore, pragmas are not first class citizens in the language. This makes it hard to use them in a modular way or design proper abstractions. In this paper, we present AnyHLS, an approach to synthesize FPGA designs in a modular and abstract way. AnyHLS is able to raise the abstraction level of existing HLS tools by resorting to programming language features such as types and higher order functions as follows It relies on partial evaluation to specialize and to optimize the user application based on a library of abstractions. Then, vendor specific HLS code is generated for Intel and Xilinx FPGAs. Portability is obtained by avoiding any vendor specific pragmas at the source code. In order to validate achievable gains in productivity, a library for the domain of image processing is introduced as a case study, and its synthesis results are compared with several state of theart Domain Specific Language (DSL) approaches for this domain.


Multi officer Routing for Patrolling High Risk Areas Jointly Learned from Check ins, Crime and Incident Response Data. A well crafted police patrol route design is vital in providing community safety and security in the society. Previous works have largely focused on predicting crime events with historical crime data. The usage of large scale mobility data collected from Location Based Social Network, or check ins, and Point of Interests (POI) data for designing an effective police patrol is largely understudied. Given that there are multiple police officers being on duty in a real life situation, this makes the problem more complex to solve. In this paper, we formulate the dynamic crime patrol planning problem for multiple police officers using check ins, crime, incident response data, and POI information. We propose a joint learning and non random optimisation method for the representation of possible solutions where multiple police officers patrol the high crime risk areas simultaneously first rather than the low crime risk areas. Later, meta heuristic Genetic Algorithm (GA) and Cuckoo Search (CS) are implemented to find the optimal routes. The performance of the proposed solution is verified and compared with several state of art methods using real world datasets.


Query Specific Knowledge Summarization with Entity Evolutionary Networks. Given a query, unlike traditional IR that finds relevant documents or entities, in this work, we focus on retrieving both entities and their connections for insightful knowledge summarization. For example, given a query "computer vision" on a CS literature corpus, rather than returning a list of relevant entities like "cnn", "imagenet" and "svm", we are interested in the connections among them, and furthermore, the evolution patterns of such connections along particular ordinal dimensions such as time. Particularly, we hope to provide structural knowledge relevant to the query, such as "svm" is related to "imagenet" but not "cnn". Moreover, we aim to model the changing trends of the connections, such as "cnn" becomes highly related to "imagenet" after 2010, which enables the tracking of knowledge evolutions. In this work, to facilitate such a novel insightful search system, we propose textsc SetEvolve , which is a unified framework based on nonparanomal graphical models for evolutionary network construction from large text corpora. Systematic experiments on synthetic data and insightful case studies on real world corpora demonstrate the utility of textsc SetEvolve .


Dividing and Conquering Cross Modal Recipe Retrieval from Nearest Neighbours Baselines to SoTA. We propose a novel non parametric method for cross modal recipe retrieval which is applied on top of precomputed image and text embeddings. By combining our method with standard approaches for building image and text encoders, trained independently with a self supervised classification objective, we create a baseline model which outperforms most existing methods on a challenging image to recipe task. We also use our method for comparing image and text encoders trained using different modern approaches, thus addressing the issues hindering the development of novel methods for cross modal recipe retrieval. We demonstrate how to use the insights from model comparison and extend our baseline model with standard triplet loss that improves state of the art on the Recipe1M dataset by a large margin, while using only precomputed features and with much less complexity than existing methods. Further, our approach readily generalizes beyond recipe retrieval to other challenging domains, achieving state of the art performance on Politics and GoodNews cross modal retrieval tasks.


Study of gravitational waves in high school a theoretical and experimental approach. In this paper we present in a theoretical, historical and practical way the inclusion of gravitational waves in the teaching of physics. Through the explanation of the theme through debates and experimental practices in the classroom, we discuss the presence of Modern and Contemporary Physics (MCP) in High School, presenting positive points and showing above all that students have the ability to assimilate modern physical concepts and relate them with their day by day and also to discuss the barriers to this inclusion in teaching of physics. In addition to the introductory theoretical presentation of gravitational waves, the following work also raises the important question of classroom experimental practice, building a low cost Michelson Morley interferometer, using it as a comparison to the LIGO (Laser Interferometer for Gravitational Waves Observatory) detector detector and basing even more so is the evidence of gravitational waves for students in class. With all this theoretical and experimental construction of gravitational waves, the work presents indicators and fundamental data for this inclusion in order to improve the teaching of physics in basic education.


High speed generation of vector beams through random spatial multiplexing. Complex vector modes have become topical of late due to their fascinating properties and the many applications they have found across a broad variety of research fields. Even though such modes can be generated in a wide variety of ways, digital holography stands out as one of the most flexible and versatile. Along this line, Digital Micromirror Devices (DMDs) have gain popularity in recent time due to their high refresh rates, which allows the generation of vector modes at kHz rates. Nonetheless, most techniques are limited either by the diversity of vector modes that can be generated or by the speed at which they can be switched. Here we propose a technique based on the concept of random encoding, which allows the generation of arbitrary vector beams at speeds limited only by the refresh rate of the DMD. Our technique will be of great relevance in research fields such as optical communications, laser material processing and optical manipulation, amongst others.


Scene Text Recognition with Temporal Convolutional Encoder. Texts from scene images typically consist of several characters and exhibit a characteristic sequence structure. Existing methods capture the structure with the sequence to sequence models by an encoder to have the visual representations and then a decoder to translate the features into the label sequence. In this paper, we study text recognition framework by considering the long term temporal dependencies in the encoder stage. We demonstrate that the proposed Temporal Convolutional Encoder with increased sequential extents improves the accuracy of text recognition. We also study the impact of different attention modules in convolutional blocks for learning accurate text representations. We conduct comparisons on seven datasets and the experiments demonstrate the effectiveness of our proposed approach.


Theoretical analysis and kinetic modeling on hydrogen addition and abstraction by H radical of 1,3 cyclopentadiene and the associated chain branching reactions. Cyclopentadiene (CPD) is an important intermediate in the combustion of fuel and the formation of aromatics. In the present study, the kinetics and thermodynamic properties for hydrogen abstraction and addition with CPD, and the related reactions including the isomerization and decomposition on the C5H7 potential energy surface were systematically investigated by theoretical calculations. High level ab initio calculations were adopted to obtain the stationary points on the potential energy surfaces of CPD H. Phenomenological rate coefficients for temperature and pressure dependent reactions in the full potential energy surface were calculated by solving the time dependent multiple well RRKM master equation, and the hydrogen abstraction reactions were based on the conventional transition state theory. In terms of the hydrogen abstraction reactions, the hydrogen abstraction from the saturated carbon atom in CPD is found to be the dominant channel. For the hydrogen addition and the associated reactions on the C5H7 PES, the allylic and vinylic cyclopentenyl radicals and C2H2 C3H5 were found to be the most important channels and reactivity promoting products, respectively. The previously neglected role of open chain intermediates in the evaluation of the reaction kinetics has been suggested and the corresponding rate constants have been recommended for inclusion in the modeling of the H c C5H6 reaction. Results indicate that the transformation from to straight chain C5H7 is kinetically unfavorable due to the high strain energy of the 3 membered ring structure of the isomerization transition state. Moreover, the thermodynamic data and the calculated rate coefficients for both H atom abstraction and addition were incorporated into the kinetics model to examine the impact of the computed pressure dependent kinetics of C5H6 H reactions on model predictions.


A Comparison Between Meshless Radial Basis Function Collocation Method and Finite Element Method for Solving Poisson and Stokes Problems. Steady and unsteady Poisson and Stokes equations are solved using mesh dependent Finite Element Method and meshless Radial Basis Function Collocation Method to compare the performances of these two numerical techniques across several criteria. The accuracy of Radial Basis Function Collocation Method with multiquadrics is enhanced by implementing a shape parameter optimization algorithm. For the time dependent problems, time discretization is conducted using Backward Euler Method. The performances are assessed over the accuracy, runtime, condition number, and ease of implementation criteria. Three kinds of errors were calculated least square error, root mean square error and maximum relative error. To calculate the least square error while using meshless Radial Basis Function Collocation Method, a novel technique is implemented. Imaginary numerical solution surfaces are created and then the volume between those imaginary surfaces and the analytic solution surfaces is calculated, enabling a fair error calculation. Lastly, all solutions are put together and solution trends are observed over the number of solution nodes vs. runtime, accuracy vs. runtime, and accuracy vs. the number of nodes. The assessment indicates the criteria under which Finite Element Method perform better and those when Radial Basis Function Collocation Method outperforms its mesh dependent counterpart.


Bellman type strategy for the continuous time mean variance model. To investigate a time consistent optimal strategy for the continuous time mean variance model, we develop a new method to establish the Bellman principle. Based on this new method, we obtain a time consistent dynamic optimal strategy that differs from the pre committed and game theoretic strategies. A comparison with the existing results on the continuous time mean variance model shows that our method has several advantages. The explicit solutions of the dynamic optimal strategy and optimal wealth are given. When the dynamic optimal strategy is given at the initial time, we do not change it in the following investment time interval.


A Rule Based Relational XML Access Control Model in the Presence of Authorization Conflicts. There is considerable amount of sensitive XML data stored in relational databases. It is a challenge to enforce node level fine grained authorization policies for XML data stored in relational databases which typically support table and column level access control. Moreover, it is common to have conflicting authorization policies over the hierarchical nested structure of XML data. There are a couple of XML access control models for relational XML databases proposed in the literature. However, to our best knowledge, none of them discussed handling authorization conflicts with conditions in the domain of relational XML databases. Therefore, we believe that there is a need to define and incorporate effective fine grained XML authorization models with conflict handling mechanisms in the presence of conditions into relational XML databases. We address this issue in this study.