Real time Hair Segmentation and Recoloring on Mobile GPUs. We present a novel approach for neural network based hair segmentation from a single camera input specifically designed for real time, mobile application. Our relatively small neural network produces a high quality hair segmentation mask that is well suited for AR effects, e.g. virtual hair recoloring. The proposed model achieves real time inference speed on mobile GPUs (30 100 FPS, depending on the device) with high accuracy. We also propose a very realistic hair recoloring scheme. Our method has been deployed in major AR application and is used by millions of users.


Reducing Sentiment Bias in Language Models via Counterfactual Evaluation. Advances in language modeling architectures and the availability of large text corpora have driven progress in automatic text generation. While this results in models capable of generating coherent texts, it also prompts models to internalize social biases present in the training corpus. This paper aims to quantify and reduce a particular type of bias exhibited by language models bias in the sentiment of generated text. Given a conditioning context (e.g., a writing prompt) and a language model, we analyze if (and how) the sentiment of the generated text is affected by changes in values of sensitive attributes (e.g., country names, occupations, genders) in the conditioning context using a form of counterfactual evaluation. We quantify sentiment bias by adopting individual and group fairness metrics from the fair machine learning literature, and demonstrate that large scale models trained on two different corpora (news articles, and Wikipedia) exhibit considerable levels of bias. We then propose embedding and sentiment prediction derived regularization on the language model's latent representations. The regularizations improve fairness metrics while retaining comparable levels of perplexity and semantic similarity.


An Experimental Study of a 1 planarity Testing and Embedding Algorithm. The definition of 1 planar graphs naturally extends graph planarity, namely a graph is 1 planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time, deciding whether a graph is 1 planar is NP complete, even for restricted classes of graphs. Although several polynomial time algorithms have been described for recognizing specific subfamilies of 1 planar graphs, no implementations of general algorithms are available to date. We investigate the feasibility of a 1 planarity testing and embedding algorithm based on a backtracking strategy. While the experiments show that our approach can be successfully applied to graphs with up to 30 vertices, they also suggest the need of more sophisticated techniques to attack larger graphs. Our contribution provides initial indications that may stimulate further research on the design of practical approaches for the 1 planarity testing problem.


Using Natural Language Relations between Answer Choices for Machine Comprehension. When evaluating an answer choice for Reading Comprehension task, other answer choices available for the question and the answers of related questions about the same paragraph often provide valuable information. In this paper, we propose a method to leverage the natural language relations between the answer choices, such as entailment and contradiction, to improve the performance of machine comprehension. We use a stand alone question answering (QA) system to perform QA task and a Natural Language Inference (NLI) system to identify the relations between the choice pairs. Then we perform inference using an Integer Linear Programming (ILP) based relational framework to re evaluate the decisions made by the standalone QA system in light of the relations identified by the NLI system. We also propose a multitask learning model that learns both the tasks jointly.


An Efficient Requirement Aware Attachment Policy for Future Millimeter Wave Vehicular Networks. The automotive industry is rapidly evolving towards connected and autonomous vehicles, whose ever more stringent data traffic requirements might exceed the capacity of traditional technologies for vehicular networks. In this scenario, densely deploying millimeter wave (mmWave) base stations is a promising approach to provide very high transmission speeds to the vehicles. However, mmWave signals suffer from high path and penetration losses which might render the communication unreliable and discontinuous. Coexistence between mmWave and Long Term Evolution (LTE) communication systems has therefore been considered to guarantee increased capacity and robustness through heterogeneous networking. Following this rationale, we face the challenge of designing fair and efficient attachment policies in heterogeneous vehicular networks. Traditional methods based on received signal quality criteria lack consideration of the vehicle's individual requirements and traffic demands, and lead to suboptimal resource allocation across the network. In this paper we propose a Quality of Service (QoS) aware attachment scheme which biases the cell selection as a function of the vehicular service requirements, preventing the overload of transmission links. Our simulations demonstrate that the proposed strategy significantly improves the percentage of vehicles satisfying application requirements and delivers efficient and fair association compared to state of the art schemes.


Independent Double Roman Domination on Block Graphs. Given a graph G (V,E) , f V rightarrow 0,1,2 is the Italian dominating function of G if f satisfies sum u in N(v) f(u) geq 2 when f(v) 0 . Denote w(f) sum v in V f(v) as the weight of f . Let V i v f(v) i ,i 0,1,2 , we call f the independent Italian dominating function if V 1 cup V 2 is an independent set. The independent Italian domination number of G is the minimum weight of independent Italian dominating function f , denoted by i I (G) . We equivalently transform the independent domination problem of the connected block graph G to the induced independent domination problem of its block cutpoint graph T , then a linear time algorithm is given to find i I (G) of any connected block graph G based on dynamic programming.


Accuracy of the semiclassical picture of photoionization in intense laser fields. In the semiclassical picture of photoionization process in intense laser fields, the ionization rate solely depends on the amplitude of the electric field and the final photoelectron momentum corresponds to the instant of ionization of the photoelectron, however, this picture has never been checked rigorously. Recently an attosecond angular streaking technique based on this semiclassical perspective has been widely applied to temporal measurement of the atomic and molecular dynamics in intense laser fields. We use a Wigner distribution like function to calculate the time emission angle distribution, angular distribution and ionization time distribution for atomic ionization process in elliptically polarized few cycle laser fields. By comparing with semiclassical calculations, we find that the two methods always show discrepancies except in some specific cases and the offset angles are generally not consistent with the offset times of the ionization time distributions obtained by the two methods even when the non adiabatic effect is taken into account, indicating that the "attoclock" technique is in principle inaccurate. Moreover, calculations for linearly polarized laser fields also show similar discrepancies between two methods in the ionization time distribution. Our analysis indicates that the discrepancy between the semiclassical and quantum calculations can be attributed to correlation, i. e., temporal nonlocalization effect.


Drinfeld isomorphisms from quantum Stokes matrices. In this paper, we show that the quantum Stokes matrices, of certain meromorphic linear system of ordinary differential equations, give rise to a family of Drinfeld isomorphisms from quantum groups to the undeformed universal enveloping algebra of frak gl (n) . In particular, we compute explicitly the Drinfeld isomorphisms corresponding to caterpillar points on the parameter space. Our computation unveils a relation between the asymptotics of confluent hypergeometric functions and the Gelfand Zeitlin subalgebras. As by products, we show that the Drinfeld isomorphisms at caterpillar points coincide with the Appel Gautam isomorphisms. Then by going to the semiclassical limit, we place the results in this paper into the context of Poisson geometry. As an application, we prove the conjecture of Appel and Gautam, i.e., their isomorphisms are canonical quantization of the Alekseev Meinrenken diffeomorphisms arising from the linearization problem in Poisson geometry.


Vibrational Investigation of Nucleobases by Means of Divide and Conquer Semiclassical Dynamics. In this work we report a computational study of the vibrational features of four different nucleobases employing the divide and conquer semiclassical initial value representation molecular dynamics method. Calculations are performed on uracil, cytosine, thymine, and adenine. Results show that the overall accuracy with respect to experiments is within 20 wavenumbers, regardless of the dimensionality of the nucleobase. Vibrational estimates are accurate even in the complex case of cytosine, where two relevant conformers are taken into account. These results are promising in the perspective of future studies on more complex systems, such as nucleotides or nucleobase pairs.


Combating Misinformation in Bangladesh Roles and Responsibilities as Perceived by Journalists, Fact checkers, and Users. There has been a growing interest within CSCW community in understanding the characteristics of misinformation propagated through computational media, and the devising techniques to address the associated challenges. However, most work in this area has been concentrated on the cases in the western world leaving a major portion of this problem unaddressed that is situated in the Global South. This paper aims to broaden the scope of this discourse by focusing on this problem in the context of Bangladesh, a country in the Global South. The spread of misinformation on Facebook in Bangladesh, a country with a population over 163 million, has resulted in chaos, hate attacks, and killings. By interviewing journalists, fact checkers, in addition to surveying the general public, we analyzed the current state of verifying misinformation in Bangladesh. Our findings show that most people in the news audience' want the news media to verify the authenticity of online information that they see online. However, the newspaper journalists say that fact checking online information is not a part of their job, and it is also beyond their capacity given the amount of information being published online everyday. We further find that the voluntary fact checkers in Bangladesh are not equipped with sufficient infrastructural support to fill in this gap. We show how our findings are connected to some of the core concerns of CSCW community around social media, collaboration, infrastructural politics, and information inequality. From our analysis, we also suggest several pathways to increase the impact of fact checking efforts through collaboration, technology design, and infrastructure development.


Orbit Growth Of Contact Structures After Surgery. Investigation of the effects of a contact surgery construction and of invariance of contact homology reveals a rich new field of inquiry at the intersection of dynamical systems and contact geometry. We produce contact 3 flows not topologically orbit equivalent to any algebraic flow, including examples on many hyperbolic 3 manifolds, and we show how the surgery produces dynamical complexity for any Reeb flow compatible with the resulting contact structure. This includes exponential complexity when neither the surg ered flow nor the surgered manifold are hyperbolic. We also demonstrate the use in dynamics of contact homology, a powerful tool in contact geometry.


Counting minimal surfaces in negatively curved 3 manifolds. We introduced an asymptotic quantity that counts area minimizing surfaces in negatively curved closed 3 manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal 1, by the hyperbolic metric.


Automatic Nonrigid Histological Image Registration with Adaptive Multistep Algorithm. In this paper, we present a short description of the method proposed to ANHIR challenge organized jointly with the IEEE ISBI 2019 conference. We propose a method consisting of preprocessing, initial alignment, nonrigid registration algorithms and a method to automatically choose the best result. The method turned out to be robust (99.792 robustness) and accurate (0.38 average median rTRE). The main drawback of the proposed method is relatively high computation time. However, this aspect can be easily improved by cleaning the code and proposing a GPU implementation.


Proactive Pseudo Intervention Causally Informed Contrastive Learning For Interpretable Vision Models. Deep neural networks excel at comprehending complex visual signals, delivering on par or even superior performance to that of human experts. However, ad hoc visual explanations of model decisions often reveal an alarming level of reliance on exploiting non causal visual cues that strongly correlate with the target label in training data. As such, deep neural nets suffer compromised generalization to novel inputs collected from different sources, and the reverse engineering of their decision rules offers limited interpretability. To overcome these limitations, we present a novel contrastive learning strategy called it Proactive Pseudo Intervention (PPI) that leverages proactive interventions to guard against image features with no causal relevance. We also devise a novel causally informed salience mapping module to identify key image pixels to intervene, and show it greatly facilitates model interpretability. To demonstrate the utility of our proposals, we benchmark on both standard natural images and challenging medical image datasets. PPI enhanced models consistently deliver superior performance relative to competing solutions, especially on out of domain predictions and data integration from heterogeneous sources. Further, our causally trained saliency maps are more succinct and meaningful relative to their non causal counterparts.


Recursively squeezable sets are squeezable. In work by Freedman F2 and Freedman Quinn FQ on the topology of 4 manifolds, null decompositions whose non singleton elements are, in the terminology of MOR , recursively starlike equivalent sets of filtration length 1 arise and are shown to be shrinkable. The main result of MOR is a general theorem covering these types of decompositions. It establishes the shrinkability of null decompositions whose non singleton elements are recursively starlike equivalent sets whose filtration lengths have a uniform finite upper bound. That result is the inspiration for this article. Here it is shown that the hypothesis of a uniform finite upper bound on filtration lengths is unnecessary. In outline notions of squeezable subsets and squashable subsets of a compact metric space are defined. It is observed that starlike equivalent sets are squeezable, and that any null decomposition of a compact metric space whose non singleton elements are squeezable is shrinkable. It is also proved that a set is squeezable if and only if it is squashable, and that every recursively squashable set is squashable. It follows that any null decomposition of a compact metric space whose non singleton elements are recursively squeezable is shrinkable. The latter theorem has as a corollary the main result of MOR with the hypothesis of a uniform finite upper bound on filtration lengths removed.


Few shot Font Generation with Localized Style Representations and Factorization. Automatic few shot font generation is a practical and widely studied problem because manual designs are expensive and sensitive to the expertise of designers. Existing few shot font generation methods aim to learn to disentangle the style and content element from a few reference glyphs, and mainly focus on a universal style representation for each font style. However, such approach limits the model in representing diverse local styles, and thus makes it unsuitable to the most complicated letter system, e.g., Chinese, whose characters consist of a varying number of components (often called "radical") with a highly complex structure. In this paper, we propose a novel font generation method by learning localized styles, namely component wise style representations, instead of universal styles. The proposed style representations enable us to synthesize complex local details in text designs. However, learning component wise styles solely from reference glyphs is infeasible in the few shot font generation scenario, when a target script has a large number of components, e.g., over 200 for Chinese. To reduce the number of reference glyphs, we simplify component wise styles by a product of component factor and style factor, inspired by low rank matrix factorization. Thanks to the combination of strong representation and a compact factorization strategy, our method shows remarkably better few shot font generation results (with only 8 reference glyph images) than other state of the arts, without utilizing strong locality supervision, e.g., location of each component, skeleton, or strokes. The source code is available at https github.com clovaai lffont.


Towards Digital Retina in Smart Cities A Model Generation, Utilization and Communication Paradigm. The digital retina in smart cities is to select what the City Eye tells the City Brain, and convert the acquired visual data from front end visual sensors to features in an intelligent sensing manner. By deploying deep learning and or handcrafted models in front end devices, the compact features can be extracted and subsequently delivered to back end cloud for search and advanced analytics. In this context, we propose a model generation, utilization, and communication paradigm, aiming to address a set of unique challenges for better artificial intelligence services in smart cities. In particular, we present an integrated multiple deep learning models reuse and prediction strategy, which greatly increases the feasibility of the digital retina in processing and analyzing the large scale visual data in smart cities. The promise of the proposed paradigm is demonstrated through a set of experiments.


A Class of Efficient Presentations of Finite Simple Groups. We exhibit a new presentation of the (equilateral) Von Dyck groups D(2,3,n), n ge 3 , in terms of two generators of order n satisfying three relations, one of which is Artin's braid relation. By dropping the relation which fixes the order of the generators we obtain the universal covering groups of the corresponding Von Dyck groups. In the cases n 3, , 4, ,5 , these are respectively the double covers of the finite rotational tetrahedral, octahedral and icosahedral groups. When n ge 6 we obtain infinite covers of the corresponding infinite Von Dyck groups. The interesting cases arise for n ge 7 when these groups act as discrete groups of isometries of the hyperbolic plane. Imposing a suitable third relation we obtain a host of (efficient) presentations of finite simple Chevalley groups of type A 1 as well as the sporadic Janko group J 2 .


User Intention Recognition and Requirement Elicitation Method for Conversational AI Services. In recent years, chat bot has become a new type of intelligent terminal to guide users to consume services. However, it is criticized most that the services it provides are not what users expect or most expect. This defect mostly dues to two problems, one is that the incompleteness and uncertainty of user's requirement expression caused by the information asymmetry, the other is that the diversity of service resources leads to the difficulty of service selection. Conversational bot is a typical mesh device, so the guided multi rounds Q A is the most effective way to elicit user requirements. Obviously, complex Q A with too many rounds is boring and always leads to bad user experience. Therefore, we aim to obtain user requirements as accurately as possible in as few rounds as possible. To achieve this, a user intention recognition method based on Knowledge Graph (KG) was developed for fuzzy requirement inference, and a requirement elicitation method based on Granular Computing was proposed for dialog policy generation. Experimental results show that these two methods can effectively reduce the number of conversation rounds, and can quickly and accurately identify the user intention.


Functions of perturbed commuting dissipative operators. The main objective of the paper is to obtain sharp Lipschitz type estimates for the norm of operator differences f(L 1,M 1) f(L 2,M 2) for pairs (L 1,M 1) and (L 2,M 2) of commuting maximal dissipative operators. To obtain such estimates, we use double operator integrals with respect to semi spectral measures associated with the pairs (L 1,M 1) and (L 2,M 2) . Note that the situation is considerably more complicated than in the case of functions of two commuting contractions and to overcome difficulties we had to elaborate new techniques. We deduce from the main result H "older type estimates for operator differences as well as their estimates in Schatten von Neumann norms.


Procedural Content Generation through Quality Diversity. Quality diversity (QD) algorithms search for a set of good solutions which cover a space as defined by behavior metrics. This simultaneous focus on quality and diversity with explicit metrics sets QD algorithms apart from standard single and multi objective evolutionary algorithms, as well as from diversity preservation approaches such as niching. These properties open up new avenues for artificial intelligence in games, in particular for procedural content generation. Creating multiple systematically varying solutions allows new approaches to creative human AI interaction as well as adaptivity. In the last few years, a handful of applications of QD to procedural content generation and game playing have been proposed we discuss these and propose challenges for future work.


Norm Based Curriculum Learning for Neural Machine Translation. A neural machine translation (NMT) system is expensive to train, especially with high resource settings. As the NMT architectures become deeper and wider, this issue gets worse and worse. In this paper, we aim to improve the efficiency of training an NMT by introducing a novel norm based curriculum learning method. We use the norm (aka length or module) of a word embedding as a measure of 1) the difficulty of the sentence, 2) the competence of the model, and 3) the weight of the sentence. The norm based sentence difficulty takes the advantages of both linguistically motivated and model based sentence difficulties. It is easy to determine and contains learning dependent features. The norm based model competence makes NMT learn the curriculum in a fully automated way, while the norm based sentence weight further enhances the learning of the vector representation of the NMT. Experimental results for the WMT'14 English German and WMT'17 Chinese English translation tasks demonstrate that the proposed method outperforms strong baselines in terms of BLEU score ( 1.17 1.56) and training speedup (2.22x 3.33x).


Finite symmetric tensor categories with the Chevalley property in characteristic 2 . We prove an analog of Deligne's theorem for finite symmetric tensor categories mathcal C with the Chevalley property over an algebraically closed field k of characteristic 2 . Namely, we prove that every such category mathcal C admits a symmetric fiber functor to the symmetric tensor category mathcal D of representations of the triangular Hopf algebra (k dd ( dd 2),1 ot 1 dd ot dd) . Equivalently, we prove that there exists a unique finite group scheme G in mathcal D such that mathcal C is symmetric tensor equivalent to Rep mathcal D (G) . Finally, we compute the group H 2 rm inv (A,K) of equivalence classes of twists for the group algebra K A of a finite abelian p group A over an arbitrary field K of characteristic p 0 , and the Sweedler cohomology groups H i rm Sw ( mathcal O (A),K) , i ge 1 , of the function algebra mathcal O (A) of A .


A nudged hybrid analysis and modeling approach for realtime wake vortex transport and decay prediction. We put forth a long short term memory (LSTM) nudging framework for the enhancement of reduced order models (ROMs) of fluid flows utilizing noisy measurements for air traffic improvements. Toward emerging applications of digital twins in aviation, the proposed approach allows for constructing a realtime predictive tool for wake vortex transport and decay systems. We build on the fact that in realistic application, there are uncertainties in initial and boundary conditions, model parameters, as well as measurements. Moreover, conventional nonlinear ROMs based on Galerkin projection (GROMs) suffer from imperfection and solution instabilities, especially for advection dominated flows with slow decay in the Kolmogorov width. In the presented LSTM nudging (LSTM N) approach, we fuse forecasts from a combination of imperfect GROM and uncertain state estimates, with sparse Eulerian sensor measurements to provide more reliable predictions in a dynamical data assimilation framework. We illustrate our concept by solving a two dimensional vorticity transport equation. We investigate the effects of measurements noise and state estimate uncertainty on the performance of the LSTM N behavior. We also demonstrate that it can sufficiently handle different levels of temporal and spatial measurement sparsity, and offer a huge potential in developing next generation digital twin technologies.


An Algorithm to Find Rational Points on Elliptic Curves Related to the Concordant Form Problem. We derive an efficient algorithm to find solutions to Euler's concordant form problem and rational points on elliptic curves associated with this problem.


Clustering Based Collaborative Filtering Using an Incentivized Penalized User Model. Giving or recommending appropriate content based on the quality of experience is the most important and challenging issue in recommender systems. As collaborative filtering (CF) is one of the most prominent and popular techniques used for recommender systems, we propose a new clustering based CF (CBCF) method using an incentivized penalized user (IPU) model only with ratings given by users, which is thus easy to implement. We aim to design such a simple clustering based approach with no further prior information while improving the recommendation accuracy. To be precise, the purpose of CBCF with the IPU model is to improve recommendation performance such as precision, recall, and F 1 score by carefully exploiting different preferences among users. Specifically, we formulate a constrained optimization problem, in which we aim to maximize the recall (or equivalently F 1 score) for a given precision. To this end, users are divided into several clusters based on the actual rating data and Pearson correlation coefficient. Afterwards, we give each item an incentive penalty according to the preference tendency by users within the same cluster. Our experimental results show a significant performance improvement over the baseline CF scheme without clustering in terms of recall or F 1 score for a given precision.


Precise Task Formalization Matters in Winograd Schema Evaluations. Performance on the Winograd Schema Challenge (WSC), a respected English commonsense reasoning benchmark, recently rocketed from chance accuracy to 89 on the SuperGLUE leaderboard, with relatively little corroborating evidence of a correspondingly large improvement in reasoning ability. We hypothesize that much of this improvement comes from recent changes in task formalization the combination of input specification, loss function, and reuse of pretrained parameters by users of the dataset, rather than improvements in the pretrained model's reasoning ability. We perform an ablation on two Winograd Schema datasets that interpolates between the formalizations used before and after this surge, and find (i) framing the task as multiple choice improves performance by 2 6 points and (ii) several additional techniques, including the reuse of a pretrained language modeling head, can mitigate the model's extreme sensitivity to hyperparameters. We urge future benchmark creators to impose additional structure to minimize the impact of formalization decisions on reported results.


An accelerated, high order accurate direct solver for the Lippmann Schwinger equation for acoustic scattering in the plane. An efficient direct solver for solving the Lippmann Schwinger integral equation modeling acoustic scattering in the plane is presented. For a problem with N degrees of freedom, the solver constructs an approximate inverse in mathcal O (N 3 2 ) operations and then, given an incident field, can compute the scattered field in mathcal O (N log N) operations. The solver is based on a previously published direct solver for integral equations that relies on rank deficiencies in the off diagonal blocks specifically, the so called Hierarchically Block Separable format is used. The particular solver described here has been reformulated in a way that improves numerical stability and robustness, and exploits the particular structure of the kernel in the Lippmann Schwinger equation to accelerate the computation of an approximate inverse. The solver is coupled with a Nystr "om discretization on a regular square grid, using a quadrature method developed by Ran Duan and Vladimir Rokhlin that attains high order accuracy despite the singularity in the kernel of the integral equation. A particularly efficient solver is obtained when the direct solver is run at four digits of accuracy, and is used as a preconditioner to GMRES, with each forwards application of the integral operators accelerated by the FFT. Extensive numerical experiments are presented that illustrate the high performance of the method in challenging environments. Using the 10 rm th order accurate version of the Duan Rokhlin quadrature rule, the scheme is capable of solving problems on domains that are over 500 wavelengths wide to residual error below 10 10 in a couple of hours on a workstation, using 26M degrees of freedom.


Approximate Queries and Representations for Large Data Sequences. Many new database application domains such as experimental sciences and medicine are characterized by large sequences as their main form of data. Using approximate representation can significantly reduce the required storage and search space. A good choice of representation, can support a broad new class of approximate queries, needed in these domains. These queries are concerned with application dependent features of the data as opposed to the actual sampled points. We introduce a new notion of generalized approximate queries and a general divide and conquer approach that supports them. This approach uses families of real valued functions as an approximate representation. We present an algorithm for realizing our technique, and the results of applying it to medical cardiology data. (Extended version is available in Tech Report CS 95 03, Dept of Computer Science, Brown University. http cs.brown.edu research pubs techreports reports CS 95 03.html)


Impact of different belief facets on agents' decision a refined cognitive architecture to model the interaction between organisations' institutional characteristics and agents' behaviour. This paper presents a conceptual refinement of agent cognitive architecture inspired from the beliefs desires intentions (BDI) and the theory of planned behaviour (TPB) models, with an emphasis on different belief facets. This enables us to investigate the impact of personality and the way that an agent weights its internal beliefs and social sanctions on an agent's actions. The study also uses the concept of cognitive dissonance associated with the fairness of institutions to investigate the agents' behaviour. To showcase our model, we simulate two historical long distance trading societies, namely Armenian merchants of New Julfa and the English East India Company. The results demonstrate the importance of internal beliefs of agents as a pivotal aspect for following institutional rules.


Sharp existence and classification results for nonlinear elliptic equations in mathbb R N setminus 0 with Hardy potential. For N geq 3 , by the seminal paper of Brezis and V 'eron (Arch. Rational Mech. Anal. 75(1) 1 6, 1980 81), no positive solutions of Delta u u q 0 in mathbb R N setminus 0 exist if q geq N (N 2) for 1 q N (N 2) the existence and profiles near zero of all positive C 1( mathbb R N setminus 0 ) solutions are given by Friedman and V 'eron (Arch. Rational Mech. Anal. 96(4) 359 387, 1986). In this paper, for every q 1 and theta in mathbb R , we prove that the nonlinear elliptic problem ( ) Delta u lambda , x 2 ,u x theta u q 0 in mathbb R N setminus 0 with u 0 has a C 1( mathbb R N setminus 0 ) solution if and only if lambda lambda , where lambda Theta(N 2 Theta) with Theta ( theta 2) (q 1) . We show that (a) if lambda (N 2) 2 4 , then U 0(x) ( lambda lambda ) 1 (q 1) x Theta is the only solution of ( ) and (b) if lambda lambda leq (N 2) 2 4 , then all solutions of ( ) are radially symmetric and their total set is U 0 cup U gamma,q, lambda gamma in (0, infty) . We give the precise behavior of U gamma,q, lambda near zero and at infinity, distinguishing between 1 q q N, theta and q max q N, theta ,1 , where q N, theta (N 2 theta 2) (N 2) . In addition, for theta leq 2 we settle the structure of the set of all positive solutions of ( ) in Omega setminus 0 , subject to u partial Omega 0 , where Omega is a smooth bounded domain containing zero, complementing the works of C i rstea (Mem. Amer. Math. Soc. 227, 2014) and Wei Du (J. Differential Equations 262(7) 3864 3886, 2017).


Chain Decompositions of q,t Catalan Numbers via Local Chains. The q,t Catalan number mathrm Cat n(q,t) enumerates integer partitions contained in an n times n triangle by their dinv and external area statistics. The paper LLL18 (Lee, Li, Loehr, SIAM J. Discrete Math. 32(2018)) proposed a new approach to understanding the symmetry property mathrm Cat n(q,t) mathrm Cat n(t,q) based on decomposing the set of all integer partitions into infinite chains. Each such global chain mathcal C mu has an opposite chain mathcal C mu these combine to give a new small slice of mathrm Cat n(q,t) that is symmetric in q and t . Here we advance the agenda of LLL18 by developing a new general method for building the global chains mathcal C mu from smaller elements called local chains. We define a local opposite property for local chains that implies the needed opposite property of the global chains. This local property is much easier to verify in specific cases compared to the corresponding global property. We apply this machinery to construct all global chains for partitions with deficit at most 11 . This proves that for all n , the terms in mathrm Cat n(q,t) of degree at least binom n 2 11 are symmetric in q and t .


Improving Gradient Estimation in Evolutionary Strategies With Past Descent Directions. Evolutionary Strategies (ES) are known to be an effective black box optimization technique for deep neural networks when the true gradients cannot be computed, such as in Reinforcement Learning. We continue a recent line of research that uses surrogate gradients to improve the gradient estimation of ES. We propose a novel method to optimally incorporate surrogate gradient information. Our approach, unlike previous work, needs no information about the quality of the surrogate gradients and is always guaranteed to find a descent direction that is better than the surrogate gradient. This allows to iteratively use the previous gradient estimate as surrogate gradient for the current search point. We theoretically prove that this yields fast convergence to the true gradient for linear functions and show under simplifying assumptions that it significantly improves gradient estimates for general functions. Finally, we evaluate our approach empirically on MNIST and reinforcement learning tasks and show that it considerably improves the gradient estimation of ES at no extra computational cost.


Automating Resolution is NP Hard. We show that the problem of finding a Resolution refutation that is at most polynomially longer than a shortest one is NP hard. In the parlance of proof complexity, Resolution is not automatizable unless P NP. Indeed, we show it is NP hard to distinguish between formulas that have Resolution refutations of polynomial length and those that do not have subexponential length refutations. This also implies that Resolution is not automatizable in subexponential time or quasi polynomial time unless NP is included in SUBEXP or QP, respectively.


On the construction of explosive relation algebras. Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation. The further study of this class of algebras led to many meaningful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90's, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of non isomorphic expansions, referred to as explosive relation algebras. In this work we discuss some general techniques for constructing algebras of this type.


Jointly Learnable Behavior and Trajectory Planning for Self Driving Vehicles. The motion planners used in self driving vehicles need to generate trajectories that are safe, comfortable, and obey the traffic rules. This is usually achieved by two modules behavior planner, which handles high level decisions and produces a coarse trajectory, and trajectory planner that generates a smooth, feasible trajectory for the duration of the planning horizon. These planners, however, are typically developed separately, and changes in the behavior planner might affect the trajectory planner in unexpected ways. Furthermore, the final trajectory outputted by the trajectory planner might differ significantly from the one generated by the behavior planner, as they do not share the same objective. In this paper, we propose a jointly learnable behavior and trajectory planner. Unlike most existing learnable motion planners that address either only behavior planning, or use an uninterpretable neural network to represent the entire logic from sensors to driving commands, our approach features an interpretable cost function on top of perception, prediction and vehicle dynamics, and a joint learning algorithm that learns a shared cost function employed by our behavior and trajectory components. Experiments on real world self driving data demonstrate that jointly learned planner performs significantly better in terms of both similarity to human driving and other safety metrics, compared to baselines that do not adopt joint behavior and trajectory learning.


A Topological Method for Comparing Document Semantics. Comparing document semantics is one of the toughest tasks in both Natural Language Processing and Information Retrieval. To date, on one hand, the tools for this task are still rare. On the other hand, most relevant methods are devised from the statistic or the vector space model perspectives but nearly none from a topological perspective. In this paper, we hope to make a different sound. A novel algorithm based on topological persistence for comparing semantics similarity between two documents is proposed. Our experiments are conducted on a document dataset with human judges' results. A collection of state of the art methods are selected for comparison. The experimental results show that our algorithm can produce highly human consistent results, and also beats most state of the art methods though ties with NLTK.


Squeezing function corresponding to polydisk. In the present article, we define squeezing function corresponding to polydisk and study its properties. We investigate relationship between squeezing fuction and squeezing function corresponding to polydisk.


Method Cards for Designing for Situational Impairment. Despite significant research that was influenced by Situationally Induced Impairments and Disabilities (SIIDs) to improve the accessibility of mobile technology, there is still lack of awareness on how to design for SIIDs. Designing for situational impairments does not only affect usability for people who have temporary or long term disabilities, but also for the "ideal" users who get impacted. Limited resources on how to design for situational impairments overlook inclusive interactions and hinder the creation of accessible technology. Thus, I am going to create method cards that can be used during the design process to figure out how to get designers to design for SIIDs. These method cards help us better understand how to improve the design process by addressing the subject of how to design in order to reduce SIIDs.


A Predictive Strategy for the Iterated Prisoner's Dilemma. The iterated prisoner's dilemma is a game that produces many counter intuitive and complex behaviors in a social environment, based on very simple basic rules. It illustrates that cooperation can be a good thing even in a competitive world, that individual fitness needs not to be the most important criteria of success, and that some strategies are very strong in a direct confrontation but could still perform poorly on average or are evolutionarily unstable. In this contribution, we present a strategy PREDICTOR which appears to be "sentient" and chooses to cooperate when playing against some strategies, but defects when playing against others, without the need to record "tags" for its opponents or an involved decision making mechanism. To be able to operate in the highly contextual environment, as modeled by the iterated prisoner's dilemma, PREDICTOR learns from its experience to choose optimal actions by modeling its opponent and predicting a (fictive) future. It is shown that PREDICTOR is an efficient strategy for playing the iterated prisoner's dilemma and is simple to implement. In a simulated and representative tournament, it achieves high average scores and wins the tournament for various parameter settings. PREDICTOR thereby relies on a brief phase of exploration to improve its model, and it can evolve morality from intrinsically selfish behavior.


Nonrecursive canonical basis computations for low rank Kashiwara crystals of type A. For symmetric Kashiwara crystals of type A and rank e 2 , and for the canonical basis elements that we call external, corresponding to weights on the outer skin of the Kashiwara crystal, we construct the canonical basis elements in a non recursive manner. In particular, for a symmetric crystal with Lambda a Lambda 0 a Lambda 1 , we give formulae for the canonical basis elements for all the e regular multipartitions with defects either k(a k) or k(a k) 2a , for 0 leq k leq a .


Analysis of the Conradi Kahle Algorithm for Detecting Binomiality on Biological Models. We analyze the Conradi Kahle Algorithm for detecting binomiality. We present experiments using two implementations of the algorithm in Macaulay2 and Maple on biological models and assess the performance of the algorithm on these models. We compare the two implementations with each other and with Gr "obner bases computations up to their performance on these biological models.


Computing strong regular characteristic pairs with Groebner bases. The W characteristic set of a polynomial ideal is the minimal triangular set contained in the reduced lexicographical Groebner basis of the ideal. A pair (G,C) of polynomial sets is a strong regular characteristic pair if G is a reduced lexicographical Groebner basis, C is the W characteristic set of the ideal G , the saturated ideal sat(C) of C is equal to G , and C is regular. In this paper, we show that for any polynomial ideal I with given generators one can either detect that I is unit, or construct a strong regular characteristic pair (G,C) by computing Groebner bases such that I subseteq sat(C) G and sat(C) divides I, so the ideal I can be split into the saturated ideal sat(C) and the quotient ideal I sat(C). Based on this strategy of splitting by means of quotient and with Groebner basis and ideal computations, we devise a simple algorithm to decompose an arbitrary polynomial set F into finitely many strong regular characteristic pairs, from which two representations for the zeros of F are obtained one in terms of strong regular Groebner bases and the other in terms of regular triangular sets. We present some properties about strong regular characteristic pairs and characteristic decomposition and illustrate the proposed algorithm and its performance by examples and experimental results.


Structural Parameterizations of Clique Coloring. A clique coloring of a graph is an assignment of colors to its vertices such that no maximal clique is monochromatic. We initiate the study of structural parameterizations of the Clique Coloring problem which asks whether a given graph has a clique coloring with q colors. For fixed q ge 2 , we give an mathcal O star (q tw ) time algorithm when the input graph is given together with one of its tree decompositions of width tw . We complement this result with a matching lower bound under the Strong Exponential Time Hypothesis. We furthermore show that (when the number of colors is unbounded) Clique Coloring is XP parameterized by clique width.


A Multi Agent based Approach for Simulating the Impact of Human Behaviours on Air Pollution. This paper presents a Multi Agent System (MAS) approach for designing an air pollution simulator. The aim is to simulate the concentration of air pollutants emitted from sources (e.g. factories) and to investigate the emergence of cooperation between the emission source managers and the impact this has on air quality. The emission sources are controlled by agents. The agents try to achieve their goals (i.e. increase production, which has the side effect of raising air pollution) and also cooperate with others agents by altering their emission rate according to the air quality. The agents play an adapted version of the evolutionary N Person Prisoners' Dilemma game in a non deterministic environment they have two decisions decrease or increase the emission. The rewards penalties are influenced by the pollutant concentration which is, in turn, determined using climatic parameters. In order to give predictions about the Plume Dispersion) model and an ANN (Artificial Neural Network) prediction model. The prediction is calculated using the dispersal information and real data about climatic parameters (wind speed, humidity, temperature and rainfall). Every agent cooperates with its neighbours that emit the same pollutant, and it learns how to adapt its strategy to gain more reward. When the pollution level exceeds the maximum allowed level, agents are penalised according to their participation. The system has been tested using real data from the region of Annaba (North East Algeria). It helped to investigate how the regulations enhance the cooperation and may help controlling the air quality. The designed system helps the environmental agencies to assess their air pollution controlling policies.


Trends in Integration of Vision and Language Research A Survey of Tasks, Datasets, and Methods. Interest in Artificial Intelligence (AI) and its applications has seen unprecedented growth in the last few years. This success can be partly attributed to the advancements made in the sub fields of AI such as machine learning, computer vision, and natural language processing. Much of the growth in these fields has been made possible with deep learning, a sub area of machine learning that uses artificial neural networks. This has created significant interest in the integration of vision and language. In this survey, we focus on ten prominent tasks that integrate language and vision by discussing their problem formulation, methods, existing datasets, evaluation measures, and compare the results obtained with corresponding state of the art methods. Our efforts go beyond earlier surveys which are either task specific or concentrate only on one type of visual content, i.e., image or video. Furthermore, we also provide some potential future directions in this field of research with an anticipation that this survey stimulates innovative thoughts and ideas to address the existing challenges and build new applications.


Software defect prediction with zero inflated Poisson models. In this work we apply several Poisson and zero inflated models for software defect prediction. We apply different functions from several R packages such as pscl, MASS, R2Jags and the recent glmmTMB. We test the functions using the Equinox dataset. The results show that Zero inflated models, fitted with either maximum likelihood estimation or with Bayesian approach, are slightly better than other models, using the AIC as selection criterion.


Fast isogeometric solvers for hyperbolic wave propagation problems. We use the alternating direction method to simulate implicit dynamics. ur spatial discretization uses isogeometric analysis. Namely, we simulate a (hyperbolic) wave propagation problem in which we use tensor product B splines in space and an implicit time marching method to fully discretize the problem. We approximate our discrete operator as a Kronecker product of one dimensional mass and stiffness matrices. As a result of this algebraic transformation, we can factorize the resulting system of equations in linear (i.e., O(N)) time at each step of the implicit method. We demonstrate the performance of our method in the model P wave propagation problem. We then extend it to simulate the linear elasticity problem once we decouple the vector problem using alternating triangular methods. We proof theoretically and experimentally the unconditional stability of both methods.


Book Success Prediction with Pretrained Sentence Embeddings and Readability Scores. Predicting the potential success of a book in advance is vital in many applications. This could help both publishers and readers in their decision making process whether or not a book is worth publishing and reading, respectively. In this paper, we propose a model that leverages pretrained sentence embeddings along with various readability scores for book success prediction. Unlike previous methods, the proposed method requires no count based, lexical, or syntactic features. Instead, we use a convolutional neural network over pretrained sentence embeddings and leverage different readability scores through a simple concatenation operation. Our proposed model outperforms strong baselines for this task by as large as 6.4 F1 score points. Moreover, our experiments show that according to our model, only the first 1K sentences are good enough to predict the potential success of books.


The Bloom Clock for Causality Testing. Testing for causality between events in distributed executions is a fundamental problem. Vector clocks solve this problem but do not scale well. The probabilistic Bloom clock can determine causality between events with lower space, time, and message space overhead than vector clock however, predictions suffer from false positives. We give the protocol for the Bloom clock based on Counting Bloom filters and study its properties including the probabilities of a positive outcome and a false positive. We show the results of extensive experiments to determine how these above probabilities vary as a function of the Bloom timestamps of the two events being tested, and to determine the accuracy, precision, and false positive rate of a slice of the execution containing events in the temporal proximity of each other. Based on these experiments, we make recommendations for the setting of the Bloom clock parameters. We postulate the causality spread hypothesis from the application's perspective to indicate whether Bloom clocks will be suitable for correct predictions with high confidence. The Bloom clock design can serve as a viable space , time , and message space efficient alternative to vector clocks if false positives can be tolerated by an application.


Measurement of the radial matrix elements for the 6s 2S 1 2 rightarrow 7p 2P J transitions in cesium. We report measurements of the electric dipole matrix elements of the 133 Cs 6s , 2S 1 2 rightarrow 7p , 2P 1 2 and 6s , 2S 1 2 rightarrow 7p , 2P 3 2 transitions. Each of these determinations is based on direct, precise comparisons of the absorption coefficients between two absorption lines. For the langle 6s , 2S 1 2 r 7p , 2P 3 2 rangle matrix element, we measure the ratio of the absorption coefficient on this line with that of the D 1 transition, 6s , 2S 1 2 rightarrow 6p , 2P 1 2 . The matrix element of the D 1 line has been determined with high precision previously by many groups. For the langle 6s , 2S 1 2 r 7p , 2P 1 2 rangle matrix element, we measure the ratio of the absorption coefficient on this line with that of the 6s , 2S 1 2 rightarrow 7p , 2P 3 2 transition. Our results for these matrix elements are langle 6s , 2S 1 2 r 7p , 2P 3 2 rangle 0.57417 (57) a 0 and langle 6s , 2S 1 2 r 7p , 2P 1 2 rangle 0.27810 (45) a 0 . These measurements have implications for the interpretation of parity nonconservation in atoms.


RepGN Object Detection with Relational Proposal Graph Network. Region based object detectors achieve the state of the art performance, but few consider to model the relation of proposals. In this paper, we explore the idea of modeling the relationships among the proposals for object detection from the graph learning perspective. Specifically, we present relational proposal graph network (RepGN) which is defined on object proposals and the semantic and spatial relation modeled as the edge. By integrating our RepGN module into object detectors, the relation and context constraints will be introduced to the feature extraction of regions and bounding boxes regression and classification. Besides, we propose a novel graph cut based pooling layer for hierarchical coarsening of the graph, which empowers the RepGN module to exploit the inter regional correlation and scene description in a hierarchical manner. We perform extensive experiments on COCO object detection dataset and show promising results.


Shift R CNN Deep Monocular 3D Object Detection with Closed Form Geometric Constraints. We propose Shift R CNN, a hybrid model for monocular 3D object detection, which combines deep learning with the power of geometry. We adapt a Faster R CNN network for regressing initial 2D and 3D object properties and combine it with a least squares solution for the inverse 2D to 3D geometric mapping problem, using the camera projection matrix. The closed form solution of the mathematical system, along with the initial output of the adapted Faster R CNN are then passed through a final ShiftNet network that refines the result using our newly proposed Volume Displacement Loss. Our novel, geometrically constrained deep learning approach to monocular 3D object detection obtains top results on KITTI 3D Object Detection Benchmark, being the best among all monocular methods that do not use any pre trained network for depth estimation.


First Order Logic for Flow Limited Authorization. We present the Flow Limited Authorization First Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information flow policies. We formalize the FLAFOL proof system, characterize its proof theoretic properties, and develop its security guarantees. In particular, FLAFOL is the first logic to provide a non interference guarantee while supporting all connectives of first order logic. Furthermore, this guarantee is the first to combine the notions of non interference from both authorization logic and information flow systems. All theorems in this paper are proven in Coq.


Structure determination of the tetracene dimer in helium nanodroplets using femtosecond strong field ionization. Dimers of tetracene molecules are formed inside helium nanodroplets and identified through covariance analysis of the emission directions of kinetic tetracene cations stemming from femtosecond laser induced Coulomb explosion. Next, the dimers are aligned in either one or three dimensions under field free conditions by a nonresonant, moderately intense laser pulse. The experimental angular covariance maps of the tetracene ions are compared to calculated covariance maps for seven different dimer conformations and found to be consistent with four of these. Additional measurements of the alignment dependent strong field ionization yield of the dimer narrows the possible conformations down to either a slipped parallel or parallel slightly rotated structure. According to our quantum chemistry calculations, these are the two most stable gas phase conformations of the dimer and one of them is favorable for singlet fission.


Wave Triad with Forcings as a Nambu System. The dynamics of an ideal wave triad with real amplitudes has a well known Nambu representation with energy and enstrophy as conservation laws. Here we derive Nambu representations for systems with constant forcings. These equations have been applied to triads of Rossby Haurwitz waves in the atmosphere where they are forced with orography. The conservation laws are based on relations for the unforced amplitudes and a Hamiltonian given by the total energy plus terms involving the unforced amplitudes. The forcing of the unstable wavenumber causes a recharge cycle.


Mathematical decisions and non causal elements of explainable AI. The social implications of algorithmic decision making in sensitive contexts have generated lively debates among multiple stakeholders, such as moral and political philosophers, computer scientists, and the public. Yet, the lack of a common language and a conceptual framework for an appropriate bridging of the moral, technical, and political aspects of the debate prevents the discussion to be as effective as it can be. Social scientists and psychologists are contributing to this debate by gathering a wealth of empirical data, yet a philosophical analysis of the social implications of algorithmic decision making remains comparatively impoverished. In attempting to address this lacuna, this paper argues that a hierarchy of different types of explanations for why and how an algorithmic decision outcome is achieved can establish the relevant connection between the moral and technical aspects of algorithmic decision making. In particular, I offer a multi faceted conceptual framework for the explanations and the interpretations of algorithmic decisions, and I claim that this framework can lay the groundwork for a focused discussion among multiple stakeholders about the social implications of algorithmic decision making, as well as AI governance and ethics more generally.


Existence and Approximations of Moments for Polling Systems under the Binomial Exhaustive Policy. We establish sufficient conditions for the existence of moments of the steady state queue in polling systems operating under the binomial exhaustive policy (BEP). We assume that the server switches between the different buffers according to a pre specified table, and that switchover times are incurred whenever the server moves from one buffer to the next. We further assume that customers arrive according to independent Poisson processes, and that the service and switchover times are independent random variables with general distributions. We then propose a simple scheme to approximate the moments, which is shown to be asymptotically exact as the switchover times grow without bound, and whose computation complexity does not grow with the order of the moment. Finally, we demonstrate that the proposed asymptotic approximation for the moments is related to the fluid limit under a large switchover time scaling thus, similar approximations can be easily derived for other server switching policies, by simply identifying the fluid limits under those controls. Numerical examples demonstrate the effectiveness of our approximations for the moments under BEP and under other policies, and their increased accuracy as the switchover times increase.


An infinite dimensional representation of the Ray Knight theorems. The classical Ray Knight theorems for Brownian motion determine the law of its local time process either at the first hitting time of a given value a by the local time at the origin, or at the first hitting time of a given position b by Brownian motion. We extend these results by describing the local time process jointly for all a and all b, by means of stochastic integral with respect to an appropriate white noise. Our result applies to mu processes, and has an immediate application a mu process is the height process of a Feller continuous state branching process (CSBP) with immigration (Lambert 10 ), whereas a Feller CSBP with immigration satisfies a stochastic differential equation driven by a white noise (Dawson and Li 7 ) our result gives an explicit relation between these two descriptions and shows that the stochastic differential equation in question is a reformulation of Tanaka's formula.


On the group of unit valued polynomial functions. Let R be a finite commutative ring with 1 ne 0 . The set mathcal F (R) of polynomial functions on R is a finite commutative ring with pointwise operations. Its group of units mathcal F (R) times is just the set of all unit valued polynomial functions, that is the set of polynomial functions which map R into its group of units. We show that mathcal P R(R x (x 2)) the group of polynomial permutations on the ring R x (x 2) , consisting of permutations represented by polynomials over R , is embedded in a semidirect product of mathcal F (R) times by mathcal P (R) the group of polynomial permutations on R . In particular, when R mathbb F q , we prove that mathcal P mathbb F q ( mathbb F q x (x 2)) cong mathcal P ( mathbb F q) ltimes theta mathcal F ( mathbb F q) times . Furthermore, we count unit valued polynomial functions pmod p n and obtain canonical representations for these functions.


A note on analytic continuation of characteristic functions. We derive necessary and sufficient conditions for a continuous bounded function f R to C to be a characteristic function of a probability measure. The Cauchy transform K f of f is used as analytic continuation of f to the upper and lower half planes in C . The conditions depend on the behavior of K f(z) and its derivatives on the imaginary axis in C . The main results are given in terms of completely monotonic and absolutely monotonic functions.


Semi Lagrangian Subgrid Reconstruction for Advection Dominant Multiscale Problems. We introduce a new framework of numerical multiscale methods for advection dominated problems motivated by climate sciences. Current numerical multiscale methods (MsFEM) work well on stationary elliptic problems but have difficulties when the model involves dominant lower order terms. Our idea to overcome the assocociated difficulties is a semi Lagrangian based reconstruction of subgrid variablity into a multiscale basis by solving many local inverse problems. Globally the method looks like a Eulerian method with multiscale stabilized basis. We show example runs in one and two dimensions and a comparison to standard methods to support our ideas and discuss possible extensions to other types of Galerkin methods, higher dimensions and nonlinear problems.


The hardest language for grammars with context operators. In 1973, Greibach ("The hardest context free language", SIAM J. Comp., 1973) constructed a context free language L 0 with the property that every context free language can be reduced to L 0 by a homomorphism, thus representing it as an inverse homomorphic image h 1 (L 0) . In this paper, a similar characterization is established for a family of grammars equipped with operators for referring to the left context of any substring, recently defined by Barash and Okhotin ("An extension of context free grammars with one sided context specifications", Inform. Comput., 2014). An essential step of the argument is a new normal form for grammars with context operators, in which every nonterminal symbol defines only strings of odd length in left contexts of even length the even odd normal form. The characterization is completed by showing that the language family defined by grammars with context operators is closed under inverse homomorphisms actually, it is closed under injective nondeterministic finite transductions.


The regularity method for graphs with few 4 cycles. We develop a sparse graph regularity method that applies to graphs with few 4 cycles, including new counting and removal lemmas for 5 cycles in such graphs. Some applications include Every n vertex graph with no 5 cycle can be made triangle free by deleting o(n 3 2 ) edges. For r geq 3 , every n vertex r graph with girth greater than 5 has o(n 3 2 ) edges. Every subset of n without a nontrivial solution to the equation x 1 x 2 2x 3 x 4 3x 5 has size o( sqrt n ) .


Masking by Moving Learning Distraction Free Radar Odometry from Pose Information. This paper presents an end to end radar odometry system which delivers robust, real time pose estimates based on a learned embedding space free of sensing artefacts and distractor objects. The system deploys a fully differentiable, correlation based radar matching approach. This provides the same level of interpretability as established scan matching methods and allows for a principled derivation of uncertainty estimates. The system is trained in a (self )supervised way using only previously obtained pose information as a training signal. Using 280km of urban driving data, we demonstrate that our approach outperforms the previous state of the art in radar odometry by reducing errors by up 68 whilst running an order of magnitude faster.


Sticky polymatroids on at most five elements. The sticky polymatroid conjecture states that any two extensions of the polymatroid have an amalgam if and only if the polymatroid has no non modular pairs of flats. We show that the conjecture holds for polymatroids on five or less elements.


On a functional inequality stemming from the Gr "uss type inequalities. We study functional inequality of the form T(f,h) T(f,g)T(g,h) leq F(f,g)F(g,h) F(f,h) where T is a complex valued functional and F is a real valued map. Motivation for our studies comes from some generalizations of Gr "uss inequality.


Algorithmic coincidence classification of mesh patterns. We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size three. We also show that this concept can be used to enumerate classical permutation classes.


Multilevel Monte Carlo for Solving POMDPs Online. Planning under partial obervability is essential for autonomous robots. A principled way to address such planning problems is the Partially Observable Markov Decision Process (POMDP). Although solving POMDPs is computationally intractable, substantial advancements have been achieved in developing approximate POMDP solvers in the past two decades. However, computing robust solutions for systems with complex dynamics remain challenging. Most on line solvers rely on a large number of forward simulations and standard Monte Carlo methods to compute the expected outcomes of actions the robot can perform. For systems with complex dynamics, e.g., those with non linear dynamics that admit no closed form solution, even a single forward simulation can be prohibitively expensive. Of course, this issue exacerbates for problems with long planning horizons. This paper aims to alleviate the above difficulty. To this end, we propose a new on line POMDP solver, called Multilevel POMDP Planner (MLPP), that combines the commonly known Monte Carlo Tree Search with the concept of Multilevel Monte Carlo to speed up our capability in generating approximately optimal solutions for POMDPs with complex dynamics. Experiments on four different problems of POMDP based torque control, navigation and grasping indicate that MLPP substantially outperforms state of the art POMDP solvers.


L 2 small ball asymptotics for a family of finite dimensional perturbations of Gaussian functions. In this article we study the small ball probabilities in L 2 norm for a family of finite dimensional perturbations of Gaussian functions. We define three types of perturbations non critical, partially critical and critical and derive small ball asymptotics for the perturbated process in terms of the small ball asymptotics for the original process. The natural examples of such perturbations appear in statistics in the study of empirical processes with estimated parameters (the so called Durbin's processes). We show that the Durbin's processes are critical perturbations of the Brownian bridge. Under some additional assumptions, general results can be simplified. As an example we find the exact L 2 small ball asymptotics for critical perturbations of the Green processes (the processes which covariance function is the Green function of the ordinary differential operator).


Deformation and Unobstructedness of Determinantal Schemes. Let Hilb p(t) (P n) be the Hilbert scheme of closed subschemes of P n with Hilbert polynomial p(t) in Q t , and let W overline W( underline b underline a r) be the closure of the locus in Hilb p(t) (P n) of determinantal schemes defined by the vanishing of the (t r 1) times (t r 1) minors of some matrix mathcal A of size t times (t c 1) with ij enty a homogeneous form of degree a j b i and with r satisfying max 1,2 c le r t . W is an irreducible algebraic set. First of all, we compute an upper r independent bound for the dimension of W in terms of a j and b i which is sharp for r 1 . In the linear case ( a j 1, b i 0 ) and cases sufficiently close, we conjecture and to a certain degree prove that this bound is achieved for all r . Then, we study to what extent W is a generically smooth component of Hilb p(t) (P n) . Under some weak numerical assumptions on the integers a j and b i (or under some depth conditions) we conjecture and often prove that W is a generically smooth component. Moreover, we also study the depth of the normal module of the homogeneous coordinate ring of (X) in W and of a closely related module. We conjecture, and in some cases prove, that their codepth is often 1 (resp. r ). These results extend previous results on standard determinantal schemes to determinantal schemes i.e. previous results of the authors on W( underline b underline a 1) to W with 1 le r t and c ge 2 r . Finally, deformations of exterior powers of the cokernel of the map determined by mathcal A are studied and proven to be given as deformations of X subset P n if dim X ge 3 . The work contains many examples which illustrate the results obtained and a considerable number of open problems some of them are collected as conjectures in the final section.


Enhancing strength of MICP treated sandy soils from micro to macro scale. Microbial Induced Calcium carbonate (CaCO3) Precipitation (MICP) has been extensively studied for soil improvement in geotechnical engineering. The properties of calcium carbonate crystals such as size and quantity affect the strength of MICP treated soil. This study demonstrates how the data from micro scale microfluidic experiments that examine the effects of injection intervals and concentration of cementation solution on the properties of calcium carbonate crystals can be used to optimise the MICP treatment of macro scale sand soil column experiments for effective strength enhancement. The micro scale experiments reveal that, due to Ostwald ripening, longer injection intervals allow smaller crystals to dissolve and reprecipitate into larger crystals regardless of the concentration of cementation solution. By applying this finding in the macro scale experiments, a treatment duration of 6 days, where injection intervals were 12 h, 24 h, and 48 h for cementation solution concentration of 0.25 M, 0.5 M and 1.0 M, respectively, was long enough to precipitate crystals large enough for effective strength enhancement. This was indicated by the fact that significantly higher soil strength and larger crystals were produced when treatment duration increased from 3 days to 6 days, but not when it increased from 6 days to 12 days.


Top k Connected Overlapping Densest Subgraphs in Dual Networks. Networks are largely used for modelling and analysing data and relations among them. Recently, it has been shown that the use of a single network may not be the optimal choice, since a single network may misses some aspects. Consequently, it has been proposed to use a pair of networks to better model all the aspects, and the main approach is referred to as dual networks (DNs). DNs are two related graphs (one weighted, the other unweighted) that share the same set of vertices and two different edge sets. In DNs is often interesting to extract common subgraphs among the two networks that are maximally dense in the conceptual network and connected in the physical one. The simplest instance of this problem is finding a common densest connected subgraph (DCS), while we here focus on the detection of the Top k Densest Connected subgraphs, i.e. a set k subgraphs having the largest density in the conceptual network which are also connected in the physical network. We formalise the problem and then we propose a heuristic to find a solution, since the problem is computationally hard. A set of experiments on synthetic and real networks is also presented to support our approach.


Basic concepts, definitions, and methods in D number theory. As a generalization of Dempster Shafer theory, D number theory (DNT) aims to provide a framework to deal with uncertain information with non exclusiveness and incompleteness. Although there are some advances on DNT in previous studies, however, they lack of systematicness, and many important issues have not yet been solved. In this paper, several crucial aspects in constructing a perfect and systematic framework of DNT are considered. At first the non exclusiveness in DNT is formally defined and discussed. Secondly, a method to combine multiple D numbers is proposed by extending previous exclusive conflict redistribution (ECR) rule. Thirdly, a new pair of belief and plausibility measures for D numbers are defined and many desirable properties are satisfied by the proposed measures. Fourthly, the combination of information incomplete D numbers is studied specially to show how to deal with the incompleteness of information in DNT. In this paper, we mainly give relative math definitions, properties, and theorems, concrete examples and applications will be considered in the future study.


Layer Wise Data Free CNN Compression. We present a computationally efficient method for compressing a trained neural network without using any data. We break the problem of data free network compression into independent layer wise compressions. We show how to efficiently generate layer wise training data, and how to precondition the network to maintain accuracy during layer wise compression. Our generic technique can be used with any compression method. We outperform related works for data free low bit width quantization on MobileNetV1, MobileNetV2, and ResNet18. We also demonstrate the efficacy of our layer wise method when applied to pruning. We outperform baselines in the low computation regime suitable for on device edge compression while using orders of magnitude less memory and compute time than comparable generative methods. In the high computation regime, we show how to combine our method with generative methods to improve upon state of the art performance for several networks.


Robust Closed loop Model Predictive Control via System Level Synthesis. In this paper, we consider the robust closed loop model predictive control (MPC) of a linear time variant (LTV) system with norm bounded disturbances and LTV model uncertainty, wherein a series of constrained optimal control problems (OCPs) are solved. Guaranteeing robust feasibility of these OCPs is challenging due to disturbances perturbing the predicted states, and model uncertainty, both of which can render the closed loop system unstable. As such, a trade off between the numerical tractability and conservativeness of the solutions is often required. We use the System Level Synthesis (SLS) framework to reformulate these constrained OCPs over closed loop system responses, and show that this allows us to transparently account for norm bounded additive disturbances and LTV model uncertainty by computing robust state feedback policies. We further show that by exploiting the underlying linear fractional structure of the resulting robust OCPs, we can significantly reduce the conservativeness of existing SLS based and tube MPC based robust control methods while also improving computational efficiency. We conclude with numerical examples demonstrating the effectiveness of our methods.


The third order Benjamin Ono equation on the torus well posedness, traveling waves and stability. We consider the third order Benjamin Ono equation on the torus partial t u partial x left( partial xx u frac 3 2 u H partial x u frac 3 2 H(u partial x u) u 3 right). We prove that for any t in mathbb R , the flow map continuously extends to H s r,0 ( mathbb T ) if s geq 0 , but does not admit a continuous extension to H s r,0 ( mathbb T ) if 0 s frac 1 2 . Moreover, we show that the extension is not weakly sequentially continuous in L 2 r,0 ( mathbb T ) . We then classify the traveling wave solutions for the third order Benjamin Ono equation in L 2 r,0 ( mathbb T ) and study their orbital stability.


From examples to methods Two cases from the study of units in integral group rings. In this article, we review the proofs of the first Zassenhaus Conjecture on conjugacy of torsion units in integral group rings for the alternating groups of degree 5 and 6, by Luthar Passi and Hertweck. We describe how the study of these examples led to the development of two methods the HeLP method and the lattice method. We exhibit these methods and summarize some results which were achieved using them. We then apply these methods to the study of the first Zassenhaus conjecture for the alternating group of degree 7 where only one critical case remains open for a full answer. Along the way we show in examples how recently obtained results can be combined with the methods presented and collect open problems some of which could be attacked using these methods.


Uncovering Flaming Events on News Media in Social Media. Social networking sites (SNSs) facilitate the sharing of ideas and information through different types of feedback including publishing posts, leaving comments and other type of reactions. However, some comments or feedback on SNSs are inconsiderate and offensive, and sometimes this type of feedback has a very negative effect on a target user. The phenomenon known as flaming goes hand in hand with this type of posting that can trigger almost instantly on SNSs. Most popular users such as celebrities, politicians and news media are the major victims of the flaming behaviors and so detecting these types of events will be useful and appreciated. Flaming event can be monitored and identified by analyzing negative comments received on a post. Thus, our main objective of this study is to identify a way to detect flaming events in SNS using a sentiment prediction method. We use a deep Neural Network (NN) model that can identity sentiments of variable length sentences and classifies the sentiment of SNSs content (both comments and posts) to discover flaming events. Our deep NN model uses Word2Vec and FastText word embedding methods as its training to explore which method is the most appropriate. The labeled dataset for training the deep NN is generated using an enhanced lexicon based approach. Our deep NN model classifies the sentiment of a sentence into five classes Very Positive, Positive, Neutral, Negative and Very Negative. To detect flaming incidents, we focus only on the comments classified into the Negative and Very Negative classes. As a use case, we try to explore the flaming phenomena in the news media domain and therefore we focused on news items posted by three popular news media on Facebook (BBCNews, CNN and FoxNews) to train and test the model.


Comparison Against Task Driven Artificial Neural Networks Reveals Functional Organization of Mouse Visual Cortex. Partially inspired by features of computation in visual cortex, deep neural networks compute hierarchical representations of their inputs. While these networks have been highly successful in machine learning, it remains unclear to what extent they can aid our understanding of cortical function. Several groups have developed metrics that provide a quantitative comparison between representations computed by networks and representations measured in cortex. At the same time, neuroscience is well into an unprecedented phase of large scale data collection, as evidenced by projects such as the Allen Brain Observatory. Despite the magnitude of these efforts, in a given experiment only a fraction of units are recorded, limiting the information available about the cortical representation. Moreover, only a finite number of stimuli can be shown to an animal over the course of a realistic experiment. These limitations raise the question of how and whether metrics that compare representations of deep networks are meaningful on these datasets. Here, we empirically quantify the capabilities and limitations of these metrics due to limited image presentations and neuron samples. We find that the comparison procedure is robust to different choices of stimuli set and the level of subsampling that one might expect in a large scale brain survey with thousands of neurons. Using these results, we compare the representations measured in the Allen Brain Observatory in response to natural image presentations to deep neural network. We show that the visual cortical areas are relatively high order representations (in that they map to deeper layers of convolutional neural networks). Furthermore, we see evidence of a broad, more parallel organization rather than a sequential hierarchy, with the primary area VISp(V1) being lower order relative to the other areas.


A stress driven local nonlocal mixture model for Timoshenko nano beams. A well posed stress driven mixture is proposed for Timoshenko nano beams. The model is a convex combination of local and nonlocal phases and circumvents some problems of ill posedness emerged in strain driven Eringen like formulations for structures of nanotechnological interest. The nonlocal part of the mixture is the integral convolution between stress field and a bi exponential averaging kernel function characterized by a scale parameter. The stress driven mixture is equivalent to a differential problem equipped with constitutive boundary conditions involving bending and shear fields. Closed form solutions of Timoshenko nano beams for selected boundary and loading conditions are established by an effective analytical strategy. The numerical results exhibit a stiffening behavior in terms of scale parameter.


Two Restricted ABC Conjectures. Ellenberg proved that the abc conjecture would follow if this conjecture were known for sums a b c such that D mid abc for some integer D . Mochizuki proved a theorem with an opposite restriction, that the full abc conjecture would follow if it were known for abc sums that are not highly divisible. We prove both theorems for general number fields.


On the Dissipation Rate of Temperature Fluctuations in Stably Stratified Flows. In this study, we explore several integral and outer length scales of turbulence which can be formulated by using the dissipation of temperature fluctuations ( chi ) and other relevant variables. Our analyses directly lead to simple yet non trivial parameterizations for both chi and the structure parameter of temperature ( C T 2 ). For our purposes, we make use of high fidelity data from direct numerical simulations of stratified channel flows.


Twisting operators and centralisers of Lie type groups over local rings. We extend the classical result asserting that the twisting operator preserves certain Deligne Lusztig character values for truncated formal power series along the way we discuss some properties of centralisers. This leads us to the construction of an action of mathrm GL n( mathbb F q pi pi r) on a Springer fibre intersected by Deligne Lusztig varieties we determine the primitivities of the induced cohomological representations for single cycles. The case of mathrm SL 2 over finite dual numbers is presented with a criterion on semisimple orbit representations.


Evolution of longitudinal plasma density profiles in discharge capillaries for plasma wakefield accelerators. Precise characterization and tailoring of the spatial and temporal evolution of plasma density within plasma sources is critical for realizing high quality accelerated beams in plasma wakefield accelerators. The simultaneous use of two independent diagnostic techniques allowed the temporally and spatially resolved detection of plasma density with unprecedented sensitivity and enabled the characterization of the plasma temperature at local thermodynamic equilibrium in discharge capillaries. A common path two color laser interferometer for obtaining the average plasma density with a sensitivity of 2 times 10 15 cm 2 was developed together with a plasma emission spectrometer for analyzing spectral line broadening profiles with a resolution of 5 times 10 15 cm 3 . Both diagnostics show good agreement when applying the spectral line broadening analysis methodology of Gigosos and Carde n oso. Measured longitudinally resolved plasma density profiles exhibit a clear temporal evolution from an initial flat top to a Gaussian like shape in the first microseconds as material is ejected out from the capillary, deviating from the often desired flat top profile. For plasma with densities of 0.5 2.5 times 10 17 cm 3 , temperatures of 1 7 eV were indirectly measured. These measurements pave the way for highly detailed parameter tuning in plasma sources for particle accelerators and beam optics.


Formalism Driven Development of Decentralized Systems. Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger technology. However, it is challenging to ensure their correct functioning with respect to their designs and minimize the technical risk before the delivery. Although formal methods have made significant progress over the past decades, a feasible solution based on formal methods from a development process perspective has not been well developed. In this paper, we formulate an iterative and incremental development process, named formalism driven development (FDD), for developing provably correct decentralized systems under the guidance of formal methods. We also present a framework named Seniz, to practicalize FDD with a new modeling language and scaffolds. Furthermore, we conduct case studies to demonstrate the effectiveness of FDD in practice with the support of Seniz.


Compositional theories for host core languages. The syntax of a host core language is spitted in two parts, representing respectively a emph host language H and a emph core language C, embedded in H. This idea is rooted in Benton's Linear non Linear formulation of Linear logic and allows a flexible management of data linearity, which is particularly useful in non classical computational paradigms. Moreover, the host core style can be viewed as a simplified notion of multi language programming, the process of software development in a heterogeneous programming language. In this paper, we present the typed calculus HC0, a minimal and flexible host core system that captures and standardizes common properties of an ideal class of host core languages. We provide a denotation in terms of enriched categories and we state a strong correspondence between syntax and semantics through the notion of emph internal language . The latter result provides some interesting characterizations of host core style, otherwise difficult to achieve. We also show discuss some concrete instances, extensions and specializations of HC0.


Approximation of the Exit Probability of a Stable Markov Modulated Constrained Random Walk. Let X be the constrained random walk on mathbb Z 2 having increments (1,0) , ( 1,1) , (0, 1) with jump probabilities lambda(M k) , mu 1(M k) , and mu 2(M k) where M is an irreducible aperiodic finite state Markov chain. The process X represents the lengths of two tandem queues with arrival rate lambda(M k) , and service rates mu 1(M k) , and mu 2(M k) . We assume that the average arrival rate with respect to the stationary measure of M is less than the average service rates, i.e., X is assumed stable. Let tau n be the first time when the sum of the components of X equals n for the first time. Let Y be the random walk on mathbb Z times mathbb Z having increments ( 1,0) , (1,1) , (0, 1) with probabilities lambda(M k) , mu 1(M k) , and mu 2(M k) . Let tau be the first time the components of Y are equal. For x in mathbb R 2 , x(1) x(2) 1 , x(1) 0 , and x n lfloor nx rfloor , we show that P (n x n(1),x n(2)),m) ( tau infty) approximates P (x n,m) ( tau n tau 0) with exponentially vanishing relative error as n rightarrow infty . For the analysis we define a characteristic matrix in terms of the jump probabilities of (X,M). The 0 level set of the characteristic polynomial of this matrix defines the characteristic surface conjugate points on this surface and the associated eigenvectors of the characteristic matrix are used to define (sub super) harmonic functions which play a fundamental role both in our analysis and the computation approximation of P (y,m) ( tau infty).


Online Meta Learning for Multi Source and Semi Supervised Domain Adaptation. Domain adaptation (DA) is the topical problem of adapting models from labelled source datasets so that they perform well on target datasets where only unlabelled or partially labelled data is available. Many methods have been proposed to address this problem through different ways to minimise the domain shift between source and target datasets. In this paper we take an orthogonal perspective and propose a framework to further enhance performance by meta learning the initial conditions of existing DA algorithms. This is challenging compared to the more widely considered setting of few shot meta learning, due to the length of the computation graph involved. Therefore we propose an online shortest path meta learning framework that is both computationally tractable and practically effective for improving DA performance. We present variants for both multi source unsupervised domain adaptation (MSDA), and semi supervised domain adaptation (SSDA). Importantly, our approach is agnostic to the base adaptation algorithm, and can be applied to improve many techniques. Experimentally, we demonstrate improvements on classic (DANN) and recent (MCD and MME) techniques for MSDA and SSDA, and ultimately achieve state of the art results on several DA benchmarks including the largest scale DomainNet.


Line Drawings of Natural Scenes Guide Visual Attention. Visual search is an important strategy of the human visual system for fast scene perception. The guided search theory suggests that the global layout or other top down sources of scenes play a crucial role in guiding object searching. In order to verify the specific roles of scene layout and regional cues in guiding visual attention, we executed a psychophysical experiment to record the human fixations on line drawings of natural scenes with an eye tracking system in this work. We collected the human fixations of ten subjects from 498 natural images and of another ten subjects from the corresponding 996 human marked line drawings of boundaries (two boundary maps per image) under free viewing condition. The experimental results show that with the absence of some basic features like color and luminance, the distribution of the fixations on the line drawings has a high correlation with that on the natural images. Moreover, compared to the basic cues of regions, subjects pay more attention to the closed regions of line drawings which are usually related to the dominant objects of the scenes. Finally, we built a computational model to demonstrate that the fixation information on the line drawings can be used to significantly improve the performances of classical bottom up models for fixation prediction in natural scenes. These results support that Gestalt features and scene layout are important cues for guiding fast visual object searching.


Learning Multi Party Turn Taking Models from Dialogue Logs. This paper investigates the application of machine learning (ML) techniques to enable intelligent systems to learn multi party turn taking models from dialogue logs. The specific ML task consists of determining who speaks next, after each utterance of a dialogue, given who has spoken and what was said in the previous utterances. With this goal, this paper presents comparisons of the accuracy of different ML techniques such as Maximum Likelihood Estimation (MLE), Support Vector Machines (SVM), and Convolutional Neural Networks (CNN) architectures, with and without utterance data. We present three corpora the first with dialogues from an American TV situated comedy (chit chat), the second with logs from a financial advice multi bot system and the third with a corpus created from the Multi Domain Wizard of Oz dataset (both are topic oriented). The results show (i) the size of the corpus has a very positive impact on the accuracy for the content based deep learning approaches and those models perform best in the larger datasets and (ii) if the dialogue dataset is small and topic oriented (but with few topics), it is sufficient to use an agent only MLE or SVM models, although slightly higher accuracies can be achieved with the use of the content of the utterances with a CNN model.


Fixed Target Runtime Analysis. Runtime analysis aims at contributing to our understanding of evolutionary algorithms through mathematical analyses of their runtimes. In the context of discrete optimization problems, runtime analysis classically studies the time needed to find an optimal solution. However, both from a practical and from a theoretical viewpoint, more fine grained performance measures are needed to gain a more detailed understanding of the main working principles and their resulting performance implications. Two complementary approaches have been suggested fixed budget analyses and fixed target analyses. In this work, we conduct an in depth study on the advantages and the limitations of fixed target analyses. We show that, different from fixed budget analyses, many classical methods from the runtime analysis of discrete evolutionary algorithms yield fixed target results without greater effort. We use this to conduct a number of new fixed target analyses. However, we also point out examples where an extension of existing runtime results to fixed target results is highly non trivial.


Boosting Object Recognition in Point Clouds by Saliency Detection. Object recognition in 3D point clouds is a challenging task, mainly when time is an important factor to deal with, such as in industrial applications. Local descriptors are an amenable choice whenever the 6 DoF pose of recognized objects should also be estimated. However, the pipeline for this kind of descriptors is highly time consuming. In this work, we propose an update to the traditional pipeline, by adding a preliminary filtering stage referred to as saliency boost. We perform tests on a standard object recognition benchmark by considering four keypoint detectors and four local descriptors, in order to compare time and recognition performance between the traditional pipeline and the boosted one. Results on time show that the boosted pipeline could turn out up to 5 times faster, with the recognition rate improving in most of the cases and exhibiting only a slight decrease in the others. These results suggest that the boosted pipeline can speed up processing time substantially with limited impacts or even benefits in recognition accuracy.


Topological K theory for discrete groups and Index theory. We give a complete solution, for discrete countable groups, to the problem of defining and computing a geometric pairing between the left hand side of the Baum Connes assembly map, given in terms of geometric cycles associated to proper actions on manifolds, and cyclic periodic cohomology of the group algebra. Indeed, for any such group Gamma (without any further assumptions on it) we construct an explicit morphism from the Left Hand side of the Baum Connes assembly map to the periodic cyclic homology of the group algebra. This morphism, called here the Chern Baum Connes assembly map, allows to give a proper and explicit formulation for a Chern Connes pairing with the periodic cyclic cohomology of the group algebra. Several theorems are needed to formulate the Chern Baum Connes assembly map. In particular we establish a delocalised Riemann Roch theorem, the wrong way functoriality for periodic delocalised cohomology for Gamma proper actions, the construction of a Chern morphism between the Left Hand side of Baum Connes and a delocalised cohomology group associated to Gamma which is an isomorphism once tensoring with mathbb C , and the construction of an explicit cohomological assembly map between the delocalised cohomology group associated to Gamma and the homology group H ( Gamma,F Gamma) . We then give an index theoretical formula for the above mentioned pairing (for any Gamma ) in terms of pairings of invariant forms, associated to geometric cycles and given in terms of delocalized Chern and Todd classes, and currents naturally associated to group cocycles using Burghelea's computation. As part of our results we prove that left Hand side group used in this paper is isomorphic to the usual analytic model for the left hand side of the assembly map.