Corrective Shared Autonomy for Addressing Task Variability. Many tasks, particularly those involving interaction with the environment, are characterized by high variability, making robotic autonomy difficult. One flexible solution is to introduce the input of a human with superior experience and cognitive abilities as part of a shared autonomy policy. However, current methods for shared autonomy are not designed to address the wide range of necessary corrections (e.g., positions, forces, execution rate, etc.) that the user may need to provide to address task variability. In this paper, we present corrective shared autonomy, where users provide corrections to key robot state variables on top of an otherwise autonomous task model. We provide an instantiation of this shared autonomy paradigm and demonstrate its viability and benefits such as low user effort and physical demand via a system level user study on three tasks involving variability situated in aircraft manufacturing.


Projectors in the Virtual Temperley Lieb Algebra. We present a method of defining projectors in the virtual Temperley Lieb algebra, that generalizes the Jones Wenzl projectors in Temperley Lieb algebra. We show that the projectors have similar properties with the Jones Wenzl projectors, and contain an extra property which is associated with the virtual generator elements, that is, the product of a projector with a virtual generator is unchanged. We also show the uniqueness of the projector f n in terms of its axiomatic properties in the virtual Temperley Lieba algebra VTL n(d) . Finally, we find the coefficients of f n and give an explicit formula for the projector f n .


Towards Formal Verification of Password Generation Algorithms used in Password Managers. Password managers are important tools that enable us to use stronger passwords, freeing us from the cognitive burden of remembering them. Despite this, there are still many users who do not fully trust password managers. In this paper, we focus on a feature that most password managers offer that might impact the user's trust, which is the process of generating a random password. We survey which algorithms are most commonly used and we propose a solution for a formally verified reference implementation of a password generation algorithm. We use EasyCrypt as our framework to both specify the reference implementation and to prove its functional correctness and security.


A Logical Model for joining Property Graphs. The present paper upgrades the logical model required to exploit materialized views over property graphs as intended in the seminal paper "A Join Operator for Property Graphs". Furthermore, we provide some computational complexity proofs strengthening the contribution of a forthcoming graph equi join algorithm proposed in a recently accepted paper.


On Arithmetically Progressed Suffix Arrays and related Burrows Wheeler Transforms. We characterize those strings whose suffix arrays are based on arithmetic progressions, in particular, arithmetically progressed permutations where all pairs of successive entries of the permutation have the same difference modulo the respective string length. We show that an arithmetically progressed permutation P coincides with the suffix array of a unary, binary, or ternary string. We further analyze the conditions of a given P under which we can find a uniquely defined string over either a binary or ternary alphabet having P as its suffix array. For the binary case, we show its connection to lower Christoffel words, balanced words, and Fibonacci words. In addition to solving the arithmetically progressed suffix array problem, we give the shape of the Burrows Wheeler transform of those strings solving this problem. These results give rise to numerous future research directions.


An efficient implementation of the Shamir secret sharing scheme. The Shamir secret sharing scheme requires a Maximum Distance Separable (MDS) code, and in its most common implementation, a Reed Solomon (RS) code is used. In this paper, we observe that the encoding procedure can be made simpler and faster by dropping the MDS condition and specifying the possible symbols that can be shared. In particular, the process can be made even faster by using array codes based on XOR operations instead of RS codes.


Robust Information Retrieval for False Claims with Distracting Entities In Fact Extraction and Verification. Accurate evidence retrieval is essential for automated fact checking. Little previous research has focused on the differences between true and false claims and how they affect evidence retrieval. This paper shows that, compared with true claims, false claims more frequently contain irrelevant entities which can distract evidence retrieval model. A BERT based retrieval model made more mistakes in retrieving refuting evidence for false claims than supporting evidence for true claims. When tested with adversarial false claims (synthetically generated) containing irrelevant entities, the recall of the retrieval model is significantly lower than that for original claims. These results suggest that the vanilla BERT based retrieval model is not robust to irrelevant entities in the false claims. By augmenting the training data with synthetic false claims containing irrelevant entities, the trained model achieved higher evidence recall, including that of false claims with irrelevant entities. In addition, using separate models to retrieve refuting and supporting evidence and then aggregating them can also increase the evidence recall, including that of false claims with irrelevant entities. These results suggest that we can increase the BERT based retrieval model's robustness to false claims with irrelevant entities via data augmentation and model ensemble.


Additive Manufacturing of Fibrous Sound Absorbers. We investigate the possibility of additively manufacturing fibrous sound absorbers using fused deposition modeling. Two methods for 3D printing fibers are proposed. The fiber bridging method involves extruding the filament between two points with no underlying supports. The extrude and pull method involves extruding a filament droplet before pulling away the extruder rapidly to generate thin fibers. Both methods can produce fibers with aspect ratios greater than 100. Optical microscopy is used to investigate the effect of various printing parameters on the fiber characteristics. The sound absorption coefficient of samples printed using the two techniques are measured using a two microphone normal incidence impedance tube setup. Effects of printing parameters and fiber density variables are experimentally studied. The experimental studies are supported by the Johnson Champoux Allard semi empirical analytical model informed using an inverse characterization approach. The analytical model is then utilized to understand the effect of fiber parameters on the acoustical transport parameters. It is observed that the two methods result in individual fibers with distinct characteristics. On average, the fiber bridging method results in thicker fibers, which results in comparatively higher sound absorption. However, the extrude and pull method results in fibers with hair like characteristics (thick base with progressively decreasing thickness) and one may easily incorporate it within existing additive manufacturing routines to add fibers to a base surface, thus opening up a new route towards fiber enhanced multifunctional structures.


Hierarchical Graph Networks for 3D Human Pose Estimation. Recent 2D to 3D human pose estimation works tend to utilize the graph structure formed by the topology of the human skeleton. However, we argue that this skeletal topology is too sparse to reflect the body structure and suffer from serious 2D to 3D ambiguity problem. To overcome these weaknesses, we propose a novel graph convolution network architecture, Hierarchical Graph Networks (HGN). It is based on denser graph topology generated by our multi scale graph structure building strategy, thus providing more delicate geometric information. The proposed architecture contains three sparse to fine representation subnetworks organized in parallel, in which multi scale graph structured features are processed and exchange information through a novel feature fusion strategy, leading to rich hierarchical representations. We also introduce a 3D coarse mesh constraint to further boost detail related feature learning. Extensive experiments demonstrate that our HGN achieves the state of the art performance with reduced network parameters


Multi Agent Learning for Iterative Dominance Elimination Formal Barriers and New Algorithms. Dominated actions are natural (and perhaps the simplest possible) multi agent generalizations of sub optimal actions as in standard single agent decision making. Thus similar to standard bandit learning, a basic learning question in multi agent systems is whether agents can learn to efficiently eliminate all dominated actions in an unknown game if they can only observe noisy bandit feedback about the payoff of their played actions. Surprisingly, despite a seemingly simple task, we show a quite negative result that is, standard no regret algorithms including the entire family of Dual Averaging algorithms provably take exponentially many rounds to eliminate all dominated actions. Moreover, algorithms with the stronger no swap regret also suffer similar exponential inefficiency. To overcome these barriers, we develop a new algorithm that adjusts Exp3 with Diminishing Historical rewards (termed Exp3 DH) Exp3 DH gradually forgets history at carefully tailored rates. We prove that when all agents run Exp3 DH (a.k.a., self play in multi agent learning), all dominated actions can be iteratively eliminated within polynomially many rounds. Our experimental results further demonstrate the efficiency of Exp3 DH, and that state of the art bandit algorithms, even those developed specifically for learning in games, fail to eliminate all dominated actions efficiently.


Examining Older Adults' Information Exposure, Wellbeing, and Adherence to Protective Measures During the COVID 19 Pandemic. Older adults are at greater risk of experiencing negative physical and psychological impacts of the novel coronavirus 2019 (COVID 19) pandemic. Our ongoing study is assessing COVID 19 information exposure in adults aged 55 and above compared to other age groups living in Massachusetts and Georgia. This work investigates the potential association between information exposure and wellbeing as well as adherence to COVID 19 protective measures. Our initial results show that older adults received information related to COVID 19 less frequently than the middle aged group, yet they feel more content and less stressed than the other age groups. Further analysis to identify other potential confounding variables is addressed.


A stochastic reconstruction theorem. In a recent landmark paper, Khoa Le (2020) established a stochastic sewing lemma which since has found many applications in stochastic analysis. He further conjectured that a similar result may hold in the context of the reconstruction theorem within Hairer's regularity structures. The purpose of this article is to provide such a stochastic reconstruction theorem. Our formulation makes use of the distributional viewpoint of Caravenna Zambotti (2021).


Pouring Dynamics Estimation Using Gated Recurrent Units. One of the most commonly performed manipulation in a human's daily life is pouring. Many factors have an effect on target accuracy, including pouring velocity, rotation angle, geometric of the source, and the receiving containers. This paper presents an approach to increase the repeatability and accuracy of the robotic manipulator by estimating the change in the amount of water of the pouring cup to a sequence of pouring actions using multiple layers of the deep recurrent neural network, especially gated recurrent units (GRU). The proposed GRU model achieved a validation mean squared error as low as 1e 4 (lbf) for the predicted value of weight f(t). This paper contains a comprehensive evaluation and analysis of numerous experiments with various designs of recurrent neural networks and hyperparameters fine tuning.


Gamifying optimization a Wasserstein distance based analysis of human search. The main objective of this paper is to outline a theoretical framework to characterise humans' decision making strategies under uncertainty, in particular active learning in a black box optimization task and trading off between information gathering (exploration) and reward seeking (exploitation). Humans' decisions making according to these two objectives can be modelled in terms of Pareto rationality. If a decision set contains a Pareto efficient strategy, a rational decision maker should always select the dominant strategy over its dominated alternatives. A distance from the Pareto frontier determines whether a choice is Pareto rational. To collect data about humans' strategies we have used a gaming application that shows the game field, with previous decisions and observations, as well as the score obtained. The key element in this paper is the representation of behavioural patterns of human learners as a discrete probability distribution. This maps the problem of the characterization of humans' behaviour into a space whose elements are probability distributions structured by a distance between histograms, namely the Wasserstein distance (WST). The distributional analysis gives new insights about human search strategies and their deviations from Pareto rationality. Since the uncertainty is one of the two objectives defining the Pareto frontier, the analysis has been performed for three different uncertainty quantification measures to identify which better explains the Pareto compliant behavioural patterns. Beside the analysis of individual patterns WST has also enabled a global analysis computing the barycenters and WST k means clustering. A further analysis has been performed by a decision tree to relate non Paretian behaviour, characterized by exasperated exploitation, to the dynamics of the evolution of the reward seeking process.


Automorphisms of simple quotients of the Poisson and universal enveloping algebras of mathrm sl 2 . Let P( mathrm sl 2(K)) be the Poisson enveloping algebra of the Lie algebra mathrm sl 2(K) over an algebraically closed field K of characteristic zero. The quotient algebras P( mathrm sl 2(K)) (C P lambda) , where C P is the standard Casimir element of mathrm sl 2(K) in P( mathrm sl 2(K)) and 0 neq lambda in K , are proven to be simple in cite UZh . Using a result by L. Makar Limanov cite ML90 , we describe generators of the automorphism group of P( mathrm sl 2(K)) (C P lambda) and represent this group as an amalgamated product of its subgroups. Moreover, using similar results by J. Dixmier cite Dixmier73 and O. Fleury cite Fleury for the quotient algebras U( mathrm sl 2(K)) (C U lambda) , where C U is the standard Casimir element of mathrm sl 2(K) in the universal enveloping algebra U( mathrm sl 2(K)) , we prove that the automorphism groups of P( mathrm sl 2(K)) (C P lambda) and U( mathrm sl 2(K)) (C U lambda) are isomorphic.


Study on the simulation control of neural network algorithm in thermally coupled distillation. Thermally coupled distillation is a new energy saving method, but the traditional thermally coupled distillation simulation calculation process is complicated, and the optimization method based on the traditional simulation process is difficult to obtain a good feasible solution. The neural network algorithm has the advantages of fast learning and can approach nonlinear functions arbitrarily. For the problems in complex process control systems, neural network control does not require cumbersome control structures or precise mathematical models. When training the network, only the input and output samples it needs are given, so that the dynamics of the system can be controlled. Performance is approaching. This method can effectively solve the mathematical model of the thermally coupled distillation process, and quickly obtain the solution of the optimized variables and the objective function. This article summarizes the research progress of artificial neural network and the optimization control of thermally coupled distillation and the application of neural network in thermally coupled distillation.


An Empirical Assessment of Endpoint Security Systems Against Advanced Persistent Threats Attack Vectors. Advanced persistent threats pose a significant challenge for blue teams as they apply various attacks over prolonged periods, impeding event correlation and their detection. In this work, we leverage various diverse attack scenarios to assess the efficacy of EDRs and other endpoint security solutions against detecting and preventing APTs. Our results indicate that there is still a lot of room for improvement as state of the art endpoint security systems fail to prevent and log the bulk of the attacks that are reported in this work. Additionally, we discuss methods to tamper with the telemetry providers of EDRs, allowing an adversary to perform a more stealth attack.


Mackey's obstruction map for discrete graded algebras. G.W. Mackey's celebrated obstruction theory for projective representations of locally compact groups was remarkably generalized by J. M. G. Fell and R. S. Doran to the wide area of saturated Banach algebraic bundles. Analogous obstruction is suggested here for discrete group graded algebras which are not necessarily saturated, i.e. strongly graded in the discrete context. The obstruction is a map assigning a certain second cohomology class to every equivariance class of absolutely simple graded modules. The set of equivariance classes of such modules is equipped with an appropriate multiplication, namely a graded product, such that the obstruction map is a homomorphism of abelian monoids. Graded products, essentially arising as pull backs of bundles, admit many nice properties, including a way to twist graded algebras and their graded modules. The obstruction class turns out to determine the fine part that appears in the Bahturin Zaicev Sehgal decomposition, i.e. the graded Artin Wedderburn theorem for graded simple algebras which are graded Artinian, in case where the base algebras (i.e. the unit fiber algebras) are finite dimensional over algebraically closed fields.


Multiple Exciton Generation Solar Cells Numerical Approach of Quantum Yield Extraction and its Limiting Efficiencies. Multiple exciton generation solar cells exhibit a low power conversion efficiency owing to nonradiative recombination even if numerous electron and hole pairs are generated per incident photon. This paper elucidates the non idealities of multiple exciton generation solar cells (MEGSCs) and alternative approaches for realizing photovoltaic (PV) devices similar to MEGSCs. First, we present mathematical approaches for determining the quantum yield (QY) to discuss the non idealities of MEGSCs by adjusting the delta function. In particular, we employ the Gaussian distribution function to present the occupancy status of carriers at each energy state by Dirac delta function. By adjusting the Gaussian distribution function for each energy state, we obtain the ideal and non ideal QYs. Through this approach, we discuss the material imperfections of MEGSCs by analyzing the mathematically obtained QYs. By calculating the ratio between the radiative and nonradiative recombination, we can discuss the status of radiative recombination calculate Furthermore, we apply this approach into the detailed balance limit of MEGSC to investigate the practical limit of MEGSC.


Engagement Decision Support for Beyond Visual Range Air Combat. This work aims to provide an engagement decision support tool for Beyond Visual Range (BVR) air combat in the context of Defensive Counter Air (DCA) missions. In BVR air combat, engagement decision refers to the choice of the moment the pilot engages a target by assuming an offensive stance and executing corresponding maneuvers. To model this decision, we use the Brazilian Air Force's Aerospace Simulation Environment (Ambiente de Simula c c ao Aeroespacial ASA in Portuguese), which generated 3,729 constructive simulations lasting 12 minutes each and a total of 10,316 engagements. We analyzed all samples by an operational metric called the DCA index, which represents, based on the experience of subject matter experts, the degree of success in this type of mission. This metric considers the distances of the aircraft of the same team and the opposite team, the point of Combat Air Patrol, and the number of missiles used. By defining the engagement status right before it starts and the average of the DCA index throughout the engagement, we create a supervised learning model to determine the quality of a new engagement. An algorithm based on decision trees, working with the XGBoost library, provides a regression model to predict the DCA index with a coefficient of determination close to 0.8 and a Root Mean Square Error of 0.05 that can furnish parameters to the BVR pilot to decide whether or not to engage. Thus, using data obtained through simulations, this work contributes by building a decision support system based on machine learning for BVR air combat.


Recent Standard Development Activities on Video Coding for Machines. In recent years, video data has dominated internet traffic and becomes one of the major data formats. With the emerging 5G and internet of things (IoT) technologies, more and more videos are generated by edge devices, sent across networks, and consumed by machines. The volume of video consumed by machine is exceeding the volume of video consumed by humans. Machine vision tasks include object detection, segmentation, tracking, and other machine based applications, which are quite different from those for human consumption. On the other hand, due to large volumes of video data, it is essential to compress video before transmission. Thus, efficient video coding for machines (VCM) has become an important topic in academia and industry. In July 2019, the international standardization organization, i.e., MPEG, created an Ad Hoc group named VCM to study the requirements for potential standardization work. In this paper, we will address the recent development activities in the MPEG VCM group. Specifically, we will first provide an overview of the MPEG VCM group including use cases, requirements, processing pipelines, plan for potential VCM standards, followed by the evaluation framework including machine vision tasks, dataset, evaluation metrics, and anchor generation. We then introduce technology solutions proposed so far and discuss the recent responses to the Call for Evidence issued by MPEG VCM group.


Report on A Formally Founded Model Based Approach to Engineer Self Adaptive Systems. Self adaptive systems manage themselves to deal with uncertainties that can only be resolved during operation. A common approach to realize self adaptation is by adding a feedback loop to the system that monitors the system and adapts it to realize a set of adaptation goals. ActivFORMS (Active FORmal Models for Self adaptation) provides an end to end approach for engineering self adaptive systems. ActivFORMS relies on feedback loops that consists of formally verified models that are directly deployed and executed at runtime to realize self adaptation. At runtime, the approach relies on statistical verification techniques that allow efficient analysis of the possible options for adaptation. Further, ActivFORMS supports on the fly changes of adaptation goals and updates of the verified models to to meet the new goals. ActivFORMSi provides a tool supported instance of ActivFORMS. The approach has been validates using an IoT application for building security monitoring. This report provides complementary material to the paper ActivFORMS A Formally Founded Model Based Approach to Engineer Self Adaptive Systems'' Weyns and Iftikhar 2019 .


A function approximation approach to the prediction of blood glucose levels. The problem of real time prediction of blood glucose (BG) levels based on the readings from a continuous glucose monitoring (CGM) device is a problem of great importance in diabetes care, and therefore, has attracted a lot of research in recent years, especially based on machine learning. An accurate prediction with a 30, 60, or 90 minute prediction horizon has the potential of saving millions of dollars in emergency care costs. In this paper, we treat the problem as one of function approximation, where the value of the BG level at time t h (where h the prediction horizon) is considered to be an unknown function of d readings prior to the time t . This unknown function may be supported in particular on some unknown submanifold of the d dimensional Euclidean space. While manifold learning is classically done in a semi supervised setting, where the entire data has to be known in advance, we use recent ideas to achieve an accurate function approximation in a supervised setting i.e., construct a model for the target function. We use the state of the art clinically relevant PRED EGA grid to evaluate our results, and demonstrate that for a real life dataset, our method performs better than a standard deep network, especially in hypoglycemic and hyperglycemic regimes. One noteworthy aspect of this work is that the training data and test data may come from different distributions.


What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration. Continuous integration (CI) is a widely used practice in modern software engineering. Unfortunately, it is also an expensive practice Google and Mozilla estimate their CI systems in millions of dollars. There are a number of techniques and tools designed to or having the potential to save the cost of CI or expand its benefit reducing time to feedback. However, their benefits in some dimensions may also result in drawbacks in others. They may also be beneficial in other scenarios where they are not designed to help. In this paper, we perform the first exhaustive comparison of techniques to improve CI, evaluating 14 variants of 10 techniques using selection and prioritization strategies on build and test granularity. We evaluate their strengths and weaknesses with 10 different cost and time tofeedback saving metrics on 100 real world projects. We analyze the results of all techniques to understand the design decisions that helped different dimensions of benefit. We also synthesized those results to lay out a series of recommendations for the development of future research techniques to advance this area.


PyLUSAT An open source Python toolkit for GIS based land use suitability analysis. Desktop GIS applications, such as ArcGIS and QGIS, provide tools essential for conducting suitability analysis, an activity that is central in formulating a land use plan. But, when it comes to building complicated land use suitability models, these applications have several limitations, including operating system dependence, lack of dedicated modules, insufficient reproducibility, and difficult, if not impossible, deployment on a computing cluster. To address the challenges, this paper introduces PyLUSAT Python for Land Use Suitability Analysis Tools. PyLUSAT is an open source software package that provides a series of tools (functions) to conduct various tasks in a suitability modeling workflow. These tools were evaluated against comparable tools in ArcMap 10.4 with respect to both accuracy and computational efficiency. Results showed that PyLUSAT functions were two to ten times more efficient depending on the job's complexity, while generating outputs with similar accuracy compared to the ArcMap tools. PyLUSAT also features extensibility and cross platform compatibility. It has been used to develop fourteen QGIS Processing Algorithms and implemented on a high performance computational cluster (HiPerGator at the University of Florida) to expedite the process of suitability analysis. All these properties make PyLUSAT a competitive alternative solution for urban planners researchers to customize and automate suitability analysis as well as integrate the technique into a larger analytical framework.


On the Analysis of Adaptive Rate Applications in Data Centric Wireless Ad Hoc Networks. Adapting applications' data rates in multi hop wireless ad hoc networks is inherently challenging. Packet collision, channel contention, and queue buildup contribute to packet loss but are difficult to manage in conventional TCP IP architecture. This work explores a data centric approach based on Name Data Networking (NDN) architecture, which is considered more suitable for wireless ad hoc networks. We show that the default NDN transport offers better performance in linear topologies but struggles in more extensive networks due to high collision and contention caused by excessive Interests from out of order data retrieval and redundant data transmission from improper Interest lifetime setting as well as in network caching. To fix these, we use round trip hop count to limit Interest rate and Dynamic Interest Lifetime to minimize the negative effect of improper Interest lifetime. Finally, we analyze the effect of in network caching on transport performance and which scenarios may benefit or suffer from it.


The Sewing lemma for 0 gamma leq 1 . We establish a Sewing lemma in the regime gamma in left( 0, 1 right , constructing a Sewing map which is neither unique nor canonical, but which is nonetheless continuous with respect to the standard norms. Two immediate corollaries follow, which hold on any commutative graded connected locally finite Hopf algebra a simple constructive proof of the Lyons Victoir extension theorem which associates to a H "older path a rough path, with the additional result that this map can be made continuous the bicontinuity of a transitive free action of a space of H "older functions on the set of Rough Paths.


Acyclic reorientation lattices and their lattice quotients. We prove that the acyclic reorientation poset of a directed acyclic graph D is a lattice if and only if the transitive reduction of any induced subgraph of D is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if D is filled, and distributive if and only if D is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of D that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.


Evo 2021 Late Breaking Abstracts Volume. Volume with the Late Breaking Abstracts submitted to the Evo 2021 Conference, held online from 7 to 9 of April 2021. These papers present ongoing research and preliminary results investigating on the application of different approaches of Bioinspired Methods (mainly Evolutionary Computation) to different problems, most of them real world ones.


Twisted forms of commutative monoid structures on affine spaces. In this paper, we study affine commutative algebraic monoid structures on affine spaces over an arbitrary field of characteristic zero. We obtain full classification of such structures on mathbb A K 2 and mathbb A K 3 and describe some generalizations on mathbb A K n for any dimension n .


Task Guided Compositional Representation Learning for ZDA. Zero shot domain adaptation (ZDA) methods aim to transfer knowledge about a task learned in a source domain to a target domain, while data from target domain are not available. In this work, we address learning feature representations which are invariant to and shared among different domains considering task characteristics for ZDA. To this end, we propose a method for task guided ZDA (TG ZDA) which employs multi branch deep neural networks to learn feature representations exploiting their domain invariance and shareability properties. The proposed TG ZDA models can be trained end to end without requiring synthetic tasks and data generated from estimated representations of target domains. The proposed TG ZDA has been examined using benchmark ZDA tasks on image classification datasets. Experimental results show that our proposed TG ZDA outperforms state of the art ZDA methods for different domains and tasks.


Topology based control design for congested areas in urban networks. This paper addresses the problem of a boundary control design for traffic evolving in a large scale urban network. The traffic state is described on a macroscopic scale and corresponds to the vehicle density, whose dynamics are governed by a two dimensional conservation law. We aim at designing a boundary control law such that the throughput of vehicles in a congested area is maximized. Thereby, the only knowledge we use is the network's topology, capacities of its roads and speed limits. In order to achieve this goal, we treat a 2D equation as a set of 1D equations by introducing curvilinear coordinates satisfying special properties. The theoretical results are verified on a numerical example, where an initially fully congested area is driven to the state with maximum possible througput.


Computing Periodic Points on Veech Surfaces. A non square tiled Veech surface has finitely many periodic points, i.e. points with finite orbit under the affine automorphism group. We present an algorithm that inputs a non square tiled Veech surface and outputs its set of periodic points. Applying our algorithm to Prym eigenforms in the minimal stratum in genus 3, we obtain experimental evidence that these surfaces do not have periodic points, except for the fixed points of the Prym involution.


Deformations and homotopy theory of Rota Baxter algebras of any weight. This paper studies formal deformations and homotopy theory of Rota Baxter algebras of any weight. We define an L infty algebra, which controls simultaneous deformations of associative products and Rota Baxter operators. As a consequence, we develop a cohomology theory of Rota Baxter algebras of any weight and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions. The notion of homotopy Rota Baxter algebras is introduced and it is shown that the operad governing homotopy Rota Baxter algebras is a minimal model of the operad of Rota Baxter algebras.


Beam driven ECH waves A parametric study. Electron cyclotron harmonic (ECH) waves play a significant role in driving the diffuse aurora, which constitutes more than 75 of the particle energy input into the ionosphere. ECH waves in magnetospheric plasmas have long been thought to be excited predominantly by the loss cone anisotropy (velocity space gradients) that arises naturally in a planetary dipole field. Recent THEMIS observations, however, indicate that an electron beam can also excite such waves in Earth's magnetotail. The ambient and beam plasma conditions under which electron beam excitation can take place are unknown. Knowledge of such conditions would allow us to further explore the relative contribution of this excitation mechanism to ECH wave scattering of magnetospheric electrons at Earth and the outer planets. Using the hot plasma dispersion relation, we address the nature of beam driven ECH waves and conduct a comprehensive parametric survey of this instability. We find that growth is provided by beam electron cyclotron resonances of both first and higher orders. We also find that these waves are unstable under a wide range of plasma conditions. The growth rate increases with beam density, beam velocity, and hot electron temperature it decreases with increasing beam temperature and beam temperature anisotropy, hot electron density, and cold electron density and temperature. Such conditions abound in Earth's magnetotail, where magnetospheric electrons heated by earthward convection and magnetic reconnection coexist with colder ionospheric electrons.


When and Why does a Model Fail? A Human in the loop Error Detection Framework for Sentiment Analysis. Although deep neural networks have been widely employed and proven effective in sentiment analysis tasks, it remains challenging for model developers to assess their models for erroneous predictions that might exist prior to deployment. Once deployed, emergent errors can be hard to identify in prediction run time and impossible to trace back to their sources. To address such gaps, in this paper we propose an error detection framework for sentiment analysis based on explainable features. We perform global level feature validation with human in the loop assessment, followed by an integration of global and local level feature contribution analysis. Experimental results show that, given limited human in the loop intervention, our method is able to identify erroneous model predictions on unseen data with high precision.


The Calder ' o n problem for the fractional wave equation Uniqueness and optimal stability. We study an inverse problem for the fractional wave equation with a potential by the measurement taking on arbitrary subsets of the exterior in the space time domain. We are interested in the issues of uniqueness and stability estimate in the determination of the potential by the exterior Dirichlet to Neumann map. The main tools are the qualitative and quantitative unique continuation properties for the fractional Laplacian. For the stability, we also prove that the log type stability estimate is optimal. The log type estimate shows the striking difference between the inverse problems for the fractional and classical wave equations in the stability issue. The results hold for any spatial dimension n in N .


Twisted two dimensional material stacks for polarization optics. The ability to control light polarization state is critically important for diverse applications in information processing, telecommunications, and spectroscopy. Here, we propose that a stack of anisotropic van der Waals materials can facilitate the building of optical elements with Jones matrices of unitary, Hermitian, non normal, singular, degenerate, and defective classes. We show that the twisted stack with electrostatic control can function as arbitrary birefringent wave plate or arbitrary polarizer with tunable degree of non normality, which in turn give access to plethora of polarization transformers including rotators, pseudorotators, symmetric and ambidextrous polarizers. Moreover, we discuss an electrostatic reconfigurable stack which can be tuned to operate as four different polarizers and be used for Stokes polarimetry.


Relaxed DP 3 coloring of planar graphs without some cycles. Dvo v r ' a k and Postle introduced the concept of DP coloring to overcome some difficulties in list coloring. Sittitrai and Nakprasit combined DP coloring and defective list coloring to define a new coloring relaxed DP coloring. For relaxed DP coloring, Nakprasit et al. proved that planar graphs without 4 and 7 cycles are DP (0, 2, 2) colorable. Li et al. proved that planar graphs without 4, 8 cycles or 4, 9 cycles are DP (1, 1, 1) colorable. Lu and Zhu proved that planar graphs without 4, 5 cycles, or 4, 6 cycles, or 4, 7 cycles are DP (1, 1, 1) colorable. In this paper, we show that planar graphs without 4, 6 cycles or 4, 8 cycles are DP (0, 2, 2) colorable.


Automated Code Optimization with E Graphs. This thesis proposes an advanced, generic and high level code rewriting and analysis system in the Julia programming language, providing applied equality saturation in the presence of multiple dispatch and metaprogramming. We show how our system can practically solve some challenging problems Can programmers implement their own high level compiler optimizations for their domain specific scientific programs, without the requirement of them being compiler experts at all? Can these optimizers be implemented by users in the same language and inside the same programs they want to optimize, solving the two language problem? Can these compiler optimizers be written in a high level fashion, as equations, without the need to worry about the rewriting ordering? Thus, can symbolic mathematics do high level compiler optimizations or vice versa?


Refined Grey Box Fuzzing with SIVO. We design and implement from scratch a new fuzzer called SIVO that refines multiple stages of grey box fuzzing. First, SIVO refines data flow fuzzing in two ways (a) it provides a new taint inference engine that requires only logarithmic in the input size number of tests to infer the dependency of all program branches on the input bytes, and (b) it deploys a novel method for inverting branches by solving directly and efficiently systems of inequalities. Second, our fuzzer refines accurate tracking and detection of code coverage with simple and easily implementable methods. Finally, SIVO refines selection of parameters and strategies by parameterizing all stages of fuzzing and then dynamically selecting optimal values during fuzzing. Thus the fuzzer can easily adapt to a target program and rapidly increase coverage. We compare our fuzzer to 11 other state of the art grey box fuzzers on 27 popular benchmarks. Our evaluation shows that SIVO scores the highest both in terms of code coverage and in terms of number of found vulnerabilities.


Adaptive Cheapest Path First Scheduling in a Transport Layer Multi Path Tunnel Context. Bundling multiple access technologies increases capacity, resiliency and robustness of network connections. Multi access is currently being standardized in the ATSSS framework in 3GPP, supporting different access bundling strategies. Within ATSSS, a multipath scheduler needs to decide which path to use for each user packet based on path characteristics. The Cheapest Path First (CPF) scheduler aims to utilize the cheapest path (e.g. WiFi) before sending packets over other paths (e.g. cellular). In this paper, we demonstrate that using CPF with an MP DCCP tunnel may lead to sub optimal performance. This is due to adverse interactions between the scheduler and end to end and tunnel congestion control. Hence, we design the Adaptive Cheapest Path First (ACPF) scheduler that limits queue buildup in the primary bottleneck and moves traffic to the secondary path earlier. We implement ACPF over both TCP and DCCP congestion controlled tunnels. Our evaluation shows that ACPF improves the average throughput over CPF between 24 to 86 .


Error Detection in Large Scale Natural Language Understanding Systems Using Transformer Models. Large scale conversational assistants like Alexa, Siri, Cortana and Google Assistant process every utterance using multiple models for domain, intent and named entity recognition. Given the decoupled nature of model development and large traffic volumes, it is extremely difficult to identify utterances processed erroneously by such systems. We address this challenge to detect domain classification errors using offline Transformer models. We combine utterance encodings from a RoBERTa model with the Nbest hypothesis produced by the production system. We then fine tune end to end in a multitask setting using a small dataset of humanannotated utterances with domain classification errors. We tested our approach for detecting misclassifications from one domain that accounts for 0.5 of the traffic in a large scale conversational AI system. Our approach achieves an F1 score of 30 outperforming a bi LSTM baseline by 16.9 and a standalone RoBERTa model by 4.8 . We improve this further by 2.2 to 32.2 by ensembling multiple models.


Implementation of Live Reverse Debugging in LLDB. Debugging is an essential process with a large share of the development effort, being a relentless quest for offensive code through tracing, inspection and iterative running sessions. Probably every developer has been in a situation with a clear wish to rewind time just for a while, only to retry some actions alternatively, instead of restarting the entire session. Well, the genie to fulfill such a wish is known as a reverse debugger. Their inherent technical complexity makes them very hard to implement, while the imposed execution overhead turns them to less preferable for adoption. There are only a few available, most being off line tools, working on recorded, previously run, sessions. We consider live reverse debuggers both challenging and promising, since they can fit into existing forward debuggers, and we developed the first live reverse debugger on top of LLDB, discussing in detail our implementation approach.


Gruenberg Kegel graphs cut groups, rational groups and the Prime Graph Question. The Gruenberg Kegel graph of a group is the undirected graph whose vertices are those primes which occur as the order of an element of the group, and distinct vertices p , q are joined by an edge whenever the group has an element of order pq . It reflects interesting properties of the group. A group is said to be cut if the central units of its integral group ring are trivial. This is a rich family of groups, which contains the well studied class of rational groups, and has received attention recently. In the first part of this paper we give a complete classification of the Gruenberg Kegel graphs of finite solvable cut groups which have at most three elements in their prime spectrum. For the remaining cases of finite solvable cut groups, we strongly restrict the list of the possible Gruenberg Kegel graphs and realize most of them by finite solvable cut groups. Likewise, we give a list of the possible Gruenberg Kegel graphs of finite solvable rational groups and realize as such all but one of them. As an application, we completely classify the Gruenberg Kegel graphs of metacyclic, metabelian, supersolvable, metanilpotent and 2 Frobenius groups for the classes of cut groups and rational groups, respectively. The Prime Graph Question asks whether the Gruenberg Kegel graph of a group coincides with that of the group of normalized units of its integral group ring. The recent appearance of a counter example for the First Zassenhaus Conjecture on the torsion units of integral group rings has highlighted the relevance of this question. We answer the Prime Graph Question for integral group rings for finite rational groups and most finite cut groups.


Survey on Semantic Stereo Matching Semantic Depth Estimation. Stereo matching is one of the widely used techniques for inferring depth from stereo images owing to its robustness and speed. It has become one of the major topics of research since it finds its applications in autonomous driving, robotic navigation, 3D reconstruction, and many other fields. Finding pixel correspondences in non textured, occluded and reflective areas is the major challenge in stereo matching. Recent developments have shown that semantic cues from image segmentation can be used to improve the results of stereo matching. Many deep neural network architectures have been proposed to leverage the advantages of semantic segmentation in stereo matching. This paper aims to give a comparison among the state of art networks both in terms of accuracy and in terms of speed which are of higher importance in real time applications.


Hybrid Information driven Multi agent Reinforcement Learning. Information theoretic sensor management approaches are an ideal solution to state estimation problems when considering the optimal control of multi agent systems, however they are too computationally intensive for large state spaces, especially when considering the limited computational resources typical of large scale distributed multi agent systems. Reinforcement learning (RL) is a promising alternative which can find approximate solutions to distributed optimal control problems that take into account the resource constraints inherent in many systems of distributed agents. However, the RL training can be prohibitively inefficient, especially in low information environments where agents receive little to no feedback in large portions of the state space. We propose a hybrid information driven multi agent reinforcement learning (MARL) approach that utilizes information theoretic models as heuristics to help the agents navigate large sparse state spaces, coupled with information based rewards in an RL framework to learn higher level policies. This paper presents our ongoing work towards this objective. Our preliminary findings show that such an approach can result in a system of agents that are approximately three orders of magnitude more efficient at exploring a sparse state space than naive baseline metrics. While the work is still in its early stages, it provides a promising direction for future research.


IntelliGen Automatic Driver Synthesis for FuzzTesting. Fuzzing is a technique widely used in vulnerability detection. The process usually involves writing effective fuzz driver programs, which, when done manually, can be extremely labor intensive. Previous attempts at automation leave much to be desired, in either degree of automation or quality of output. In this paper, we propose IntelliGen, a framework that constructs valid fuzz drivers automatically. First, IntelliGen determines a set of entry functions and evaluates their respective chance of exhibiting a vulnerability. Then, IntelliGen generates fuzz drivers for the entry functions through hierarchical parameter replacement and type inference. We implemented IntelliGen and evaluated its effectiveness on real world programs selected from the Android Open Source Project, Google's fuzzer test suite and industrial collaborators. IntelliGen covered on average 1.08X 2.03X more basic blocks and 1.36X 2.06X more paths over state of the art fuzz driver synthesizers FUDGE and FuzzGen. IntelliGen performed on par with manually written drivers and found 10 more bugs.


An Approach to Partial Observability in Games Learning to Both Act and Observe. Reinforcement learning (RL) is successful at learning to play games where the entire environment is visible. However, RL approaches are challenged in complex games like Starcraft II and in real world environments where the entire environment is not visible. In these more complex games with more limited visual information, agents must choose where to look and how to optimally use their limited visual information in order to succeed at the game. We verify that with a relatively simple model the agent can learn where to look in scenarios with a limited visual bandwidth. We develop a method for masking part of the environment in Atari games to force the RL agent to learn both where to look and how to play the game in order to study where the RL agent learns to look. In addition, we develop a neural network architecture and method for allowing the agent to choose where to look and what action to take in the Pong game. Further, we analyze the strategies the agent learns to better understand how the RL agent learns to play the game.


Gluing Karcher Scherk saddle towers II Singly periodic minimal surfaces. This is the second in a series of papers that construct minimal surfaces by gluing singly periodic Karcher Scherk saddle towers along their wings. This paper aims to construct singly periodic minimal surfaces with Scherk ends. As in the first paper, we prescribe phase differences between saddle towers, and reveal that the saddle towers must be balanced under a subtle vertical interaction. As a consequence, we obtain many new examples without any horizontal reflection plane. Since the construction is not very different from previous ones, we will only provide sketched proofs. The major technical concern of the paper is to determine the embeddedness, for which we will provide detailed arguments. Previously, embeddedness can not be determined in the presence of "parallel" Scherk ends, as it was not clear if they bend towards or away from each other. Our construction provide possibilities to detect very slight bendings of Scherk ends. This allows us to identify new scenarios where the constructed surfaces are embedded.


UNITER Based Situated Coreference Resolution with Rich Multimodal Input. We present our work on the multimodal coreference resolution task of the Situated and Interactive Multimodal Conversation 2.0 (SIMMC 2.0) dataset as a part of the tenth Dialog System Technology Challenge (DSTC10). We propose a UNITER based model utilizing rich multimodal context such as textual dialog history, object knowledge base and visual dialog scenes to determine whether each object in the current scene is mentioned in the current dialog turn. Results show that the proposed approach outperforms the official DSTC10 baseline substantially, with the object F1 score boosted from 36.6 to 77.3 on the development set, demonstrating the effectiveness of the proposed object representations from rich multimodal input. Our model ranks second in the official evaluation on the object coreference resolution task with an F1 score of 73.3 after model ensembling.


Crowd Counting by Self supervised Transfer Colorization Learning and Global Prior Classification. Labeled crowd scene images are expensive and scarce. To significantly reduce the requirement of the labeled images, we propose ColorCount, a novel CNN based approach by combining self supervised transfer colorization learning and global prior classification to leverage the abundantly available unlabeled data. The self supervised colorization branch learns the semantics and surface texture of the image by using its color components as pseudo labels. The classification branch extracts global group priors by learning correlations among image clusters. Their fused resultant discriminative features (global priors, semantics and textures) provide ample priors for counting, hence significantly reducing the requirement of labeled images. We conduct extensive experiments on four challenging benchmarks. ColorCount achieves much better performance as compared with other unsupervised approaches. Its performance is close to the supervised baseline with substantially less labeled data (10 of the original one).


Towards Improving Adversarial Training of NLP Models. Adversarial training, a method for learning robust deep neural networks, constructs adversarial examples during training. However, recent methods for generating NLP adversarial examples involve combinatorial search and expensive sentence encoders for constraining the generated instances. As a result, it remains challenging to use vanilla adversarial training to improve NLP models' performance, and the benefits are mainly uninvestigated. This paper proposes a simple and improved vanilla adversarial training process for NLP models, which we name Attacking to Training (A2T). The core part of A2T is a new and cheaper word substitution attack optimized for vanilla adversarial training. We use A2T to train BERT and RoBERTa models on IMDB, Rotten Tomatoes, Yelp, and SNLI datasets. Our results empirically show that it is possible to train robust NLP models using a much cheaper adversary. We demonstrate that vanilla adversarial training with A2T can improve an NLP model's robustness to the attack it was originally trained with and also defend the model against other types of word substitution attacks. Furthermore, we show that A2T can improve NLP models' standard accuracy, cross domain generalization, and interpretability. Code is available at https github.com QData Textattack A2T .


Significance of high charge state of projectile ions inside the target and its role on electron capture leading to target ionization phenomenon. The K x ray spectra of different targets (Cu, Zn, and Ge) induced by 3 to 5 MeV u Si projectile ions have been measured to determine the K shell ionization cross section. A significant difference is observed between the measurements and theoretical estimates, with the latter being about 50 below the experimental results. This underestimation is attributed to the charge exchange from target K shell to projectile K and L shells. Such observation can only be possible if the projectile ions attain up to H and He like charge states. Corresponding projectile charge state fractions have been evaluated from the Lorentzian charge state distribution, where mean charge state is taken from the Fermi gas model Phys. Rev. Lett. 30, 358 (1973) and width from the Novikov and Teplova approach Phys. Lett. A378, 1286 1289 (2014) . The sum of the direct ionization cross section and K K K L capture cross sections gives a good agreement with the measured cross sections. Furthermore, we have validated this methodology with available data for Si ion on Ti target. Such results may be useful in many solid target based applications.


Two Sparsities Are Better Than One Unlocking the Performance Benefits of Sparse Sparse Networks. In principle, sparse neural networks should be significantly more efficient than traditional dense networks. Neurons in the brain exhibit two types of sparsity they are sparsely interconnected and sparsely active. These two types of sparsity, called weight sparsity and activation sparsity, when combined, offer the potential to reduce the computational cost of neural networks by two orders of magnitude. Despite this potential, today's neural networks deliver only modest performance benefits using just weight sparsity, because traditional computing hardware cannot efficiently process sparse networks. In this article we introduce Complementary Sparsity, a novel technique that significantly improves the performance of dual sparse networks on existing hardware. We demonstrate that we can achieve high performance running weight sparse networks, and we can multiply those speedups by incorporating activation sparsity. Using Complementary Sparsity, we show up to 100X improvement in throughput and energy efficiency performing inference on FPGAs. We analyze scalability and resource tradeoffs for a variety of kernels typical of commercial convolutional networks such as ResNet 50 and MobileNetV2. Our results with Complementary Sparsity suggest that weight plus activation sparsity can be a potent combination for efficiently scaling future AI models.


TACC A Full stack Cloud Computing Infrastructure for Machine Learning Tasks. In Machine Learning (ML) system research, efficient resource scheduling and utilization have always been an important topic given the compute intensive nature of ML applications. In this paper, we introduce the design of TACC, a full stack cloud infrastructure that efficiently manages and executes large scale machine learning applications in compute clusters. TACC implements a 4 layer application workflow abstraction through which system optimization techniques can be dynamically combined and applied to various types of ML applications. TACC also tailors to the lifecycle of ML applications with an efficient process of managing, deploying, and scaling ML tasks. TACC's design simplifies the process of integrating the latest ML system research work into cloud infrastructures, which we hope will benefit more ML researchers and promote ML system researches.


OmniHang Learning to Hang Arbitrary Objects using Contact Point Correspondences and Neural Collision Estimation. In this paper, we explore whether a robot can learn to hang arbitrary objects onto a diverse set of supporting items such as racks or hooks. Endowing robots with such an ability has applications in many domains such as domestic services, logistics, or manufacturing. Yet, it is a challenging manipulation task due to the large diversity of geometry and topology of everyday objects. In this paper, we propose a system that takes partial point clouds of an object and a supporting item as input and learns to decide where and how to hang the object stably. Our system learns to estimate the contact point correspondences between the object and supporting item to get an estimated stable pose. We then run a deep reinforcement learning algorithm to refine the predicted stable pose. Then, the robot needs to find a collision free path to move the object from its initial pose to stable hanging pose. To this end, we train a neural network based collision estimator that takes as input partial point clouds of the object and supporting item. We generate a new and challenging, large scale, synthetic dataset annotated with stable poses of objects hung on various supporting items and their contact point correspondences. In this dataset, we show that our system is able to achieve a 68.3 success rate of predicting stable object poses and has a 52.1 F1 score in terms of finding feasible paths. Supplemental material and videos are available on our project webpage.


When is Assortment Optimization Optimal?. Assortment optimization describes a retailer's general problem of deciding which variants in a product category to offer. In a typical formulation, there is a universe of substitute products whose prices have been pre determined, and a model for how customers choose between these products. The goal is to find a subset to offer that maximizes aggregate revenue. In this paper we ask whether offering an assortment is actually optimal, given the recent emergence of more sophisticated selling practices, such as offering certain products only through lotteries. To formalize this question, we introduce a mechanism design problem where the items have fixed prices and the seller optimizes over (randomized) allocations. The seller has a Bayesian prior on the buyer's ranking of the items along with an outside option. Under our formulation, revenue maximization over deterministic mechanisms is equivalent to assortment optimization, while randomized mechanisms allow for lotteries that sell fixed price items. We derive a sufficient condition, based purely on the buyer's ranking distribution, that guarantees assortments to be optimal within this larger class of randomized mechanisms. Our sufficient condition captures many preference distributions commonly studied in the assortment optimization literature Multi Nomial Logit (MNL), Markov Chain, Tversky's Elimination by Aspects model, a mixture of MNL with an Independent Demand model, and simple cases of Nested Logit. When our condition does not hold, we also bound the suboptimality of assortments in comparison to lotteries. Finally, from these results emerge two findings of independent interest an example showing that Nested Logit is not captured by Markov Chain choice models, and a tighter Linear Programming relaxation for assortment optimization.


Filling in the gaps of the tsunamigenic sources in 2018 Palu Bay tsunami. The causes of 2018 Palu bay (Indonesia) tsunami are still not entirely clear. There is still an ongoing debate on whether the main cause of the tsunami waves observed was a significant co seismic tectonic event which occurred underwater or whether it were the multiple landslides detected along the coast and triggered by the earthquake. Data from the paper by Liu et al. (2020) in which the bathymetry of the bay was analysed suggests that landslide induced waves may have contributed significantly to the tsunami. However, the data presented was incomplete and the information regarding the starting time, magnitude of these waves and the coastal landslide progression has significant uncertainties. In this paper we model each landslide generated wave with the COMCOT model and track the propagation of the waves to understand their individual contribution at several relevant locations inside the bay where free surface elevation data is available. We then explore the feasible scenarios (i.e. landslide generated wave configurations and timings) that produce tsunami waves as close as those observed using an optimization technique based on genetic algorithms. Numerical simulations of the chosen scenario point out that landslide generated waves are likely the main contributors to the tsunami, as they can arrive very fast, at the precise timing, to the locations of interest and can trigger the natural resonant modes of the bay, producing long period waves that were also observed.


Loss Function Discovery for Object Detection via Convergence Simulation Driven Search. Designing proper loss functions for vision tasks has been a long standing research direction to advance the capability of existing models. For object detection, the well established classification and regression loss functions have been carefully designed by considering diverse learning challenges. Inspired by the recent progress in network architecture search, it is interesting to explore the possibility of discovering new loss function formulations via directly searching the primitive operation combinations. So that the learned losses not only fit for diverse object detection challenges to alleviate huge human efforts, but also have better alignment with evaluation metric and good mathematical convergence property. Beyond the previous auto loss works on face recognition and image classification, our work makes the first attempt to discover new loss functions for the challenging object detection from primitive operation levels. We propose an effective convergence simulation driven evolutionary search algorithm, called CSE Autoloss, for speeding up the search progress by regularizing the mathematical rationality of loss candidates via convergence property verification and model optimization simulation. CSE Autoloss involves the search space that cover a wide range of the possible variants of existing losses and discovers best searched loss function combination within a short time (around 1.5 wall clock days). We conduct extensive evaluations of loss function search on popular detectors and validate the good generalization capability of searched losses across diverse architectures and datasets. Our experiments show that the best discovered loss function combinations outperform default combinations by 1.1 and 0.8 in terms of mAP for two stage and one stage detectors on COCO respectively. Our searched losses are available at https github.com PerdonLiu CSE Autoloss.


An Examination of Fairness of AI Models for Deepfake Detection. Recent studies have demonstrated that deep learning models can discriminate based on protected classes like race and gender. In this work, we evaluate bias present in deepfake datasets and detection models across protected subgroups. Using facial datasets balanced by race and gender, we examine three popular deepfake detectors and find large disparities in predictive performances across races, with up to 10.7 difference in error rate between subgroups. A closer look reveals that the widely used FaceForensics dataset is overwhelmingly composed of Caucasian subjects, with the majority being female Caucasians. Our investigation of the racial distribution of deepfakes reveals that the methods used to create deepfakes as positive training signals tend to produce "irregular" faces when a person's face is swapped onto another person of a different race or gender. This causes detectors to learn spurious correlations between the foreground faces and fakeness. Moreover, when detectors are trained with the Blended Image (BI) dataset from Face X Rays, we find that those detectors develop systematic discrimination towards certain racial subgroups, primarily female Asians.


Vision based Behavioral Recognition of Novelty Preference in Pigs. Behavioral scoring of research data is crucial for extracting domain specific metrics but is bottlenecked on the ability to analyze enormous volumes of information using human labor. Deep learning is widely viewed as a key advancement to relieve this bottleneck. We identify one such domain, where deep learning can be leveraged to alleviate the process of manual scoring. Novelty preference paradigms have been widely used to study recognition memory in pigs, but analysis of these videos requires human intervention. We introduce a subset of such videos in the form of the 'Pig Novelty Preference Behavior' (PNPB) dataset that is fully annotated with pig actions and keypoints. In order to demonstrate the application of state of the art action recognition models on this dataset, we compare LRCN, C3D, and TSM on the basis of various analytical metrics and discuss common pitfalls of the models. Our methods achieve an accuracy of 93 and a mean Average Precision of 96 in estimating piglet behavior. We open source our code and annotated dataset at https github.com AIFARMS NOR behavior recognition


Computation of the Beavers Joseph slip coefficient for coupled Stokes Darcy problems. Physically consistent coupling conditions at the fluid porous interface with correctly determined effective parameters are necessary for accurate mathematical modeling of various applications described by coupled free flow and porous medium problems. To model single fluid phase flows at low Reynolds numbers in such coupled systems, the Stokes Darcy equations are typically used together with the conservation of mass across the fluid porous interface, the balance of normal forces and the Beavers Joseph condition on the tangential component of velocity. In the latter condition, the value of the Beavers Joseph slip coefficient is uncertain, however, it is routinely set equal to one that is not correct for many applications. In this paper, three flow problems (pressure driven flow, lid driven cavity over porous bed, general filtration problem) with different pore geometries are studied. We determine the optimal value of the Beavers Joseph parameter for unidirectional flows minimizing the error between the pore scale resolved and macroscale simulation results. We demonstrate that the Beavers Joseph slip coefficient is not constant along the fluid porous interface for arbitrary flow directions, thus, the Beavers Joseph condition is not applicable in this case.


physics.soc-ph cs.SI math.DS physics.data-an

Flow stability for dynamic community detection. Many systems exhibit complex temporal dynamics due to the presence of different processes taking place simultaneously. Temporal networks provide a framework to describe the time resolve interactions between components of a system. An important task when investigating such systems is to extract a simplified view of the temporal network, which can be done via dynamic community detection or clustering. Several works have generalized existing community detection methods for static networks to temporal networks, but they usually rely on temporal aggregation over time windows, the assumption of an underlying stationary process, or sequences of different stationary epochs. Here, we derive a method based on a dynamical process evolving on the temporal network and restricted by its activation pattern that allows to consider the full temporal information of the system. Our method allows dynamics that do not necessarily reach a steady state, or follow a sequence of stationary states. Our framework encompasses several well known heuristics as special cases. We show that our method provides a natural way to disentangle the different natural dynamical scales present in a system. We demonstrate our method abilities on synthetic and real world examples.


Explicit isogenies of prime degree over quadratic fields. Let K be a quadratic field which is not an imaginary quadratic field of class number one. We describe an algorithm to compute the primes p for which there exists an elliptic curve over K admitting a K rational p isogeny. This builds on work of David, Larson Vaintrob, and Momose. Combining this algorithm with work of Bruin Najman, " O zman Siksek, and most recently Box, we determine the above set of primes for the three quadratic fields mathbb Q ( sqrt 10 ) , mathbb Q ( sqrt 5 ) , and mathbb Q ( sqrt 7 ) , providing the first such examples after Mazur's 1978 determination for K mathbb Q . The termination of the algorithm relies on the Generalised Riemann Hypothesis.


L1 scheme on graded mesh for subdiffusion equation with nonlocal diffusion term. The solution of time fractional partial differential equations in general exhibit a weak singularity near the initial time. In this article we propose a method for solving time fractional diffusion equation with nonlocal diffusion term. The proposed method comprises L1 scheme on graded mesh, finite element method and Newton's method. We discuss the well posedness of the weak formulation at discrete level and derive emph a priori error estimates for fully discrete formulation in L 2( Omega) and H 1( Omega) norms. Finally, some numerical experiments are conducted to validate the theoretical findings.


Plot2API Recommending Graphic API from Plot via Semantic Parsing Guided Neural Network. Plot based Graphic API recommendation (Plot2API) is an unstudied but meaningful issue, which has several important applications in the context of software engineering and data visualization, such as the plotting guidance of the beginner, graphic API correlation analysis, and code conversion for plotting. Plot2API is a very challenging task, since each plot is often associated with multiple APIs and the appearances of the graphics drawn by the same API can be extremely varied due to the different settings of the parameters. Additionally, the samples of different APIs also suffer from extremely imbalanced. Considering the lack of technologies in Plot2API, we present a novel deep multi task learning approach named Semantic Parsing Guided Neural Network (SPGNN) which translates the Plot2API issue as a multi label image classification and an image semantic parsing tasks for the solution. In SPGNN, the recently advanced Convolutional Neural Network (CNN) named EfficientNet is employed as the backbone network for API recommendation. Meanwhile, a semantic parsing module is complemented to exploit the semantic relevant visual information in feature learning and eliminate the appearance relevant visual information which may confuse the visual information based API recommendation. Moreover, the recent data augmentation technique named random erasing is also applied for alleviating the imbalance of API categories. We collect plots with the graphic APIs used to drawn them from Stack Overflow, and release three new Plot2API datasets corresponding to the graphic APIs of R and Python programming languages for evaluating the effectiveness of Plot2API techniques. Extensive experimental results not only demonstrate the superiority of our method over the recent deep learning baselines but also show the practicability of our method in the recommendation of graphic APIs.


Predicting Discourse Trees from Transformer based Neural Summarizers. Previous work indicates that discourse information benefits summarization. In this paper, we explore whether this synergy between discourse and summarization is bidirectional, by inferring document level discourse trees from pre trained neural summarizers. In particular, we generate unlabeled RST style discourse trees from the self attention matrices of the transformer model. Experiments across models and datasets reveal that the summarizer learns both, dependency and constituency style discourse information, which is typically encoded in a single head, covering long and short distance discourse dependencies. Overall, the experimental results suggest that the learned discourse information is general and transferable inter domain.


Research Communities in cyber security A Comprehensive Literature Review. In order to provide a coherent overview of cyber security research, the Scopus academic abstract and citation database was mined to create a citation graph of 98,373 authors active in the field between 1949 and early 2020. The Louvain community detection algorithm was applied to the graph in order to identify existing research communities. The analysis discovered twelve top level communities access control, authentication, biometrics, cryptography (I II), cyber physical systems, information hiding, intrusion detection, malwares, quantum cryptography, sensor networks, and usable security. These top level communities were in turn composed of a total of 80 sub communities. The analysis results are presented for each community in descriptive text, sub community graphs, and tables with, for example, the most cited papers and authors. A comparison between the detected communities and topical areas defined by other related work, is also presented, demonstrating a greater researcher emphasis on cryptography, quantum cryptography, information hiding and biometrics, at the expense of laws and regulation, risk management and governance, and security software lifecycle.


Multicategories Model All Connective Spectra. There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result extends a similar result of Thomason, that permutative categories model all connective spectra.


Bijections of silting complexes and derived Picard groups. We introduce a method that produces a bijection between the posets rm silt A and rm silt B formed by the isomorphism classes of basic silting complexes over finite dimensional k algebras A and B , by lifting A and B to two k X orders which are isomorphic as rings. We apply this to a class of algebras generalising Brauer graph and weighted surface algebras, showing that their silting posets are multiplicity independent in most cases. Under stronger hypotheses we also prove the existence of large multiplicity independent subgroups in their derived Picard groups as well as multiplicity invariance of rm TrPicent . As an application to the modular representation theory of finite groups we show that if B and C are blocks with rm IBr (B) rm IBr (C) whose defect groups are either both cyclic, both dihedral or both quaternion, then the posets rm tilt B and rm tilt C are isomorphic (except, possibly, in the quaternion case with rm IBr (B) 2 ) and rm TrPicent (B) cong rm TrPicent (C) (except, possibly, in the quaternion and dihedral cases with rm IBr (B) 2 ).


The Theory of an Arbitrary Higher lambda Model. One takes advantage of some basic properties of every lambda homotopic model (e.g. reflexive Kan complex) to explore two types of higher beta eta conversions the first, from the higher beta eta contractions (we denoted those by (n 1) beta eta contractions) of a lower beta eta conversion. Second, starting from the classical conversions, lambda n terms are introduced inductively by application and abstraction of lower beta eta conversions, to get other types of higher beta eta contractions (we denoted those by ( beta eta) n 1 contractions) between those lambda n terms already defined.


Did the Cat Drink the Coffee? Challenging Transformers with Generalized Event Knowledge. Prior research has explored the ability of computational models to predict a word semantic fit with a given predicate. While much work has been devoted to modeling the typicality relation between verbs and arguments in isolation, in this paper we take a broader perspective by assessing whether and to what extent computational approaches have access to the information about the typicality of entire events and situations described in language (Generalized Event Knowledge). Given the recent success of Transformers Language Models (TLMs), we decided to test them on a benchmark for the textit dynamic estimation of thematic fit . The evaluation of these models was performed in comparison with SDM, a framework specifically designed to integrate events in sentence meaning representations, and we conducted a detailed error analysis to investigate which factors affect their behavior. Our results show that TLMs can reach performances that are comparable to those achieved by SDM. However, additional analysis consistently suggests that TLMs do not capture important aspects of event knowledge, and their predictions often depend on surface linguistic features, such as frequent words, collocations and syntactic patterns, thereby showing sub optimal generalization abilities.


Integral Representations of Ultraspherical Polynomials II. In the first part, by the first author's work of 1972, an integral representation for an ultraspherical polynomial of higher index in terms of one of lower index and an infinite series was obtained. While this representation works well from a theoretical point of view, it is not numerically satisfactory as it involves polynomials of high degree, which are numerically unstable. Here we sum this series to obtain an integral, which is numerically tractable.


The Influence of Memory in Multi Agent Consensus. Multi agent consensus problems can often be seen as a sequence of autonomous and independent local choices between a finite set of decision options, with each local choice undertaken simultaneously, and with a shared goal of achieving a global consensus state. Being able to estimate probabilities for the different outcomes and to predict how long it takes for a consensus to be formed, if ever, are core issues for such protocols. Little attention has been given to protocols in which agents can remember past or outdated states. In this paper, we propose a framework to study what we call emph memory consensus protocol . We show that the employment of memory allows such processes to always converge, as well as, in some scenarios, such as cycles, converge faster. We provide a theoretical analysis of the probability of each option eventually winning such processes based on the initial opinions expressed by agents. Further, we perform experiments to investigate network topologies in which agents benefit from memory on the expected time needed for consensus.


Uncertainty in Minimum Cost Multicuts for Image and Motion Segmentation. The minimum cost lifted multicut approach has proven practically good performance in a wide range of applications such as image decomposition, mesh segmentation, multiple object tracking, and motion segmentation. It addresses such problems in a graph based model, where real valued costs are assigned to the edges between entities such that the minimum cut decomposes the graph into an optimal number of segments. Driven by a probabilistic formulation of minimum cost multicuts, we provide a measure for the uncertainties of the decisions made during the optimization. We argue that access to such uncertainties is crucial for many practical applications and conduct an evaluation by means of sparsifications on three different, widely used datasets in the context of image decomposition (BSDS 500) and motion segmentation (DAVIS2016 and FBMS59) in terms of variation of information (VI) and Rand index (RI).


Intel HEXL Accelerating Homomorphic Encryption with Intel AVX512 IFMA52. Modern implementations of homomorphic encryption (HE) rely heavily on polynomial arithmetic over a finite field. This is particularly true of the CKKS, BFV, and BGV HE schemes. Two of the biggest performance bottlenecks in HE primitives and applications are polynomial modular multiplication and the forward and inverse number theoretic transform (NTT). Here, we introduce Intel Homomorphic Encryption Acceleration Library (Intel HEXL), a C library which provides optimized implementations of polynomial arithmetic for Intel processors. Intel HEXL takes advantage of the recent Intel Advanced Vector Extensions 512 (Intel AVX512) instruction set to provide state of the art implementations of the NTT and modular multiplication. On the forward and inverse NTT, Intel HEXL provides up to 7.2x and 6.7x speedup, respectively, over a native C implementation. Intel HEXL also provides up to 6.0x speedup on the element wise vector vector modular multiplication, and 1.7x speedup on the element wise vector scalar modular multiplication. Intel HEXL is available open source at https github.com intel hexl under the Apache 2.0 license and has been adopted by the Microsoft SEAL and PALISADE homomorphic encryption libraries.


A Generative Federated Learning Framework for Differential Privacy. In machine learning, differential privacy and federated learning concepts are gaining more and more importance in an increasingly interconnected world. While the former refers to the sharing of private data characterized by strict security rules to protect individual privacy, the latter refers to distributed learning techniques in which a central server exchanges information with different clients for machine learning purposes. In recent years, many studies have shown the possibility of bypassing the privacy shields of these systems and exploiting the vulnerabilities of machine learning models, making them leak the information with which they have been trained. In this work, we present the 3DGL framework, an alternative to the current federated learning paradigms. Its goal is to share generative models with high levels of varepsilon differential privacy. In addition, we propose DDP beta VAE, a deep generative model capable of generating synthetic data with high levels of utility and safety for the individual. We evaluate the 3DGL framework based on DDP beta VAE, showing how the overall system is resilient to the principal attacks in federated learning and improves the performance of distributed learning algorithms.


GGP A Graph based Grouping Planner for Explicit Control of Long Text Generation. Existing data driven methods can well handle short text generation. However, when applied to the long text generation scenarios such as story generation or advertising text generation in the commercial scenario, these methods may generate illogical and uncontrollable texts. To address these aforementioned issues, we propose a graph based grouping planner(GGP) following the idea of first plan then generate. Specifically, given a collection of key phrases, GGP firstly encodes these phrases into an instance level sequential representation and a corpus level graph based representation separately. With these two synergic representations, we then regroup these phrases into a fine grained plan, based on which we generate the final long text. We conduct our experiments on three long text generation datasets and the experimental results reveal that GGP significantly outperforms baselines, which proves that GGP can control the long text generation by knowing how to say and in what order.


Asymptotic preserving scheme for anisotropic elliptic equations with deep neural network. In this paper, a new asymptotic preserving (AP) scheme is proposed for the anisotropic elliptic equations. Different from previous AP schemes, the actual one is based on first order system least squares for second order partial differential equations, and it is uniformly well posed with respect to anisotropic strength. The numerical computation is realized by a deep neural network (DNN), where least squares functionals are employed as loss functions to determine parameters of DNN. Numerical results show that the current AP scheme is easy for implementation and is robust to approximate solutions or to identify anisotropic strength in various 2D and 3D tests.


On weak Jacobi forms of rank two. We study a ring of weak Jacobi forms indexed by integral lattices of rank two. We find an explicit finite set of generators of this ring and give a dimension formula for weak Jacobi forms of rank two lattice index.


Motives of moduli spaces of rank 3 vector bundles and Higgs bundles on a curve. We prove formulas for the rational Chow motives of moduli spaces of semistable vector bundles and Higgs bundles of rank 3 and coprime degree on a smooth projective curve. Our approach involves identifying criteria to lift identities in (a completion of) the Grothendieck group of effective Chow motives to isomorphisms in the category of Chow motives. For the Higgs moduli space, we use motivic Bialynicki Birula decompositions associated to a scaling action with variation of stability and wall crossing for moduli spaces of rank 2 pairs, which occur in the fixed locus of this action.


Multiple ergodic averages in abelian groups and Khintchine type recurrence. Let G be a countable abelian group. We study ergodic averages associated with configurations of the form ag,bg,(a b)g for some a,b in mathbb Z . Under some assumptions on G , we prove that the universal characteristic factor for these averages is a factor of a 2 step nilpotent homogeneous space. As an application we derive a Khintchine type recurrence result. In particular, we prove that for every countable abelian group G , if a,b in mathbb Z are such that aG,bG,(b a)G and (a b)G are of finite index in G , then for every E subset G and varepsilon 0 the set g in G d(E cap E ag cap E bg cap E (a b)g) geq d(E) 4 varepsilon is syndetic. This generalizes previous results for G mathbb Z , G mathbb F p omega and G bigoplus p in P mathbb F p by Bergelson Host and Kra, Bergelson Tao and Ziegler and the author, respectively.


Moore Penrose inverse and applications to linear equations. In the present paper we investigate Moore Penrose inverse and characteristic matrix of unbounded WCT operators on the Hilbert space L 2( mu) . Also, we obtain some applications of the Moore Penrose inverse of unbounded operators on the Hilbert space mathcal H to variational regularization problem. Moreover,some examples are provided to illustrate the applications of our results in linear equations and specially Fredholm integral equations.


Image Modeling with Deep Convolutional Gaussian Mixture Models. In this conceptual work, we present Deep Convolutional Gaussian Mixture Models (DCGMMs) a new formulation of deep hierarchical Gaussian Mixture Models (GMMs) that is particularly suitable for describing and generating images. Vanilla (i.e., flat) GMMs require a very large number of components to describe images well, leading to long training times and memory issues. DCGMMs avoid this by a stacked architecture of multiple GMM layers, linked by convolution and pooling operations. This allows to exploit the compositionality of images in a similar way as deep CNNs do. DCGMMs can be trained end to end by Stochastic Gradient Descent. This sets them apart from vanilla GMMs which are trained by Expectation Maximization, requiring a prior k means initialization which is infeasible in a layered structure. For generating sharp images with DCGMMs, we introduce a new gradient based technique for sampling through non invertible operations like convolution and pooling. Based on the MNIST and FashionMNIST datasets, we validate the DCGMMs model by demonstrating its superiority over flat GMMs for clustering, sampling and outlier detection.


Hall Higman type theorems for exceptional groups of Lie type, I. The paper studies the minimum polynomial degrees of p elements in cross characteristic representations of simple groups of exceptional Lie type whose BN pair rank is at most 2. Specifically, we prove that the degree in question equals the order of the element.


Proceedings of the 6th Workshop on Formal Integrated Development Environment. This volume contains the proceedings of F IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24 25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High levels of safety, security and privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs. Thus tools are needed for handling specifications, program constructs and verification artifacts. The aim of the F IDE workshop is to provide a forum for presenting and discussing research efforts as well as experience returns on design, development and usage of formal IDE aiming at making formal methods more accessible for both specialists and non specialists.


QuicSDN Transitioning from TCP to QUIC for Southbound Communication in SDNs. Transport and security layer protocols make up the backbone of communication between end point devices. In Software Defined Networking (SDN), these protocols play a crucial role in both control plane and data plane communications. However, the current transport and security layer protocols TCP and TLS, are unable to keep up with the pace of SDN application development. For these applications, the TCP TLS protocol suite generates excessive network overhead. After identifying the main overhead origins, we demonstrate that using QUIC as the SDN transport layer protocol significantly reduces the overhead and improves the efficiency of the network. In this paper, we introduce quicSDN to enable robust, low overhead communication between the controller and switches. We ran a variety of experiments to highlight quicSDN's benefits, and compared experimental results with transport layer overhead prediction models. quicSDN's performance is evaluated in terms of network overhead reduction and we also demonstrated quicSDN's connection migration capabilities. First, we compare the differences in controller switch communication overhead between tcpSDN(SDN over TCP) and quicSDN. Overhead reduction was measured in three scenarios flow rule installation, queue configuration, and flow rule statistics polling. Second, we compare the connection migration of quicSDN and tcpSDN QUIC's ability to quickly migrate connections allows for reduced total traffic in comparison to TCP. Overall, our results show that quicSDN outperformed tcpSDN in our SDN scenarios, and as such, QUIC is a promising candidate as an SDN transport layer protocol in the future.


VIO Aided Structure from Motion Under Challenging Environments. In this paper, we present a robust and efficient Structure from Motion pipeline for accurate 3D reconstruction under challenging environments by leveraging the camera pose information from a visual inertial odometry. Specifically, we propose a geometric verification method to filter out mismatches by considering the prior geometric configuration of candidate image pairs. Furthermore, we introduce an efficient and scalable reconstruction approach that relies on batched image registration and robust bundle adjustment, both leveraging the reliable local odometry estimation. Extensive experimental results show that our pipeline performs better than the state of the art SfM approaches in terms of reconstruction accuracy and robustness for challenging sequential image collections.


OPAD An Optimized Policy based Active Learning Framework for Document Content Analysis. Documents are central to many business systems, and include forms, reports, contracts, invoices or purchase orders. The information in documents is typically in natural language, but can be organized in various layouts and formats. There have been recent spurt of interest in understanding document content with novel deep learning architectures. However, document understanding tasks need dense information annotations, which are costly to scale and generalize. Several active learning techniques have been proposed to reduce the overall budget of annotation while maintaining the performance of the underlying deep learning model. However, most of these techniques work only for classification problems. But content detection is a more complex task, and has been scarcely explored in active learning literature. In this paper, we propose textit OPAD , a novel framework using reinforcement policy for active learning in content detection tasks for documents. The proposed framework learns the acquisition function to decide the samples to be selected while optimizing performance metrics that the tasks typically have. Furthermore, we extend to weak labelling scenarios to further reduce the cost of annotation significantly. We propose novel rewards to account for class imbalance and user feedback in the annotation interface, to improve the active learning method. We show superior performance of the proposed textit OPAD framework for active learning for various tasks related to document understanding like layout parsing, object detection and named entity recognition. Ablation studies for human feedback and class imbalance rewards are presented, along with a comparison of annotation times for different approaches.


Abnormal topological refraction into free medium at sub wavelength scale in valley phononic crystal plates. In this work we propose a topological valley phononic crystal plate and we extensively investigate the refraction of valley modes into the surrounding homogeneous medium. This phononic crystal includes two sublattices of resonators (A and B) modeled by mass spring systems. We show that two edge states confined at the AB BA and BA AB type domain walls exhibit different symmetries in physical space and energy peaks in the Fourier space. As a result, distinct refraction behaviors, especially through an armchair cut edge, are observed. On the other hand, the decay depth of these localized topological modes, which is found to be solely determined by the relative resonant strength between the scatterers, significantly affects the refraction patterns. More interestingly, the outgoing traveling wave through a zigzag interface becomes evanescent when operating at deep sub wavelength scale. This is realized by tuning the average resonant strength. We show that the evanescent modes only exist along a particular type of outlet edge, and that they can couple with both topological interface states. We also present two designs of topological functional devices, including an elastic one way transmission waveguide and a near ideal monopole dipole emitter, both based on our phononic structure.


A One Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem. We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package RENE.txt, available from . http www.math.rutgers.edu zeilberg tokhniot RENE.txt


Covexillary Schubert varieties and Kazhdan Lusztig Polynomials. In this paper, we establish Lascoux's algorithm and Zelevinsky's inductive formula on Kazhdan Lusztig polynomials for covexillary Schubert varieties in classical types. The main ingredients of the proof involve the intersection cohomology theory over an algebraic closure of the prime field and the method by the author's joint work with Anderson, Ikeda, and Kawago.