Backtracking algorithms for constructing the Hamiltonian decomposition of a 4 regular multigraph. We consider a Hamiltonian decomposition problem of partitioning a regular multigraph into edge disjoint Hamiltonian cycles. It is known that verifying vertex nonadjacency in the 1 skeleton of the symmetric and asymmetric traveling salesperson polytopes is an NP complete problem. On the other hand, a sufficient condition for two vertices to be nonadjacent can be formulated as a combinatorial problem of finding a Hamiltonian decomposition of a 4 regular multigraph. We present two backtracking algorithms for verifying vertex nonadjacency in the 1 skeleton of the traveling salesperson polytope and constructing a Hamiltonian decomposition an algorithm based on a simple path extension and an algorithm based on the chain edge fixing procedure. According to the results of computational experiments for undirected multigraphs, both backtracking algorithms lost to the known general variable neighborhood search algorithm. However, for directed multigraphs, the algorithm based on chain edge fixing showed comparable results with heuristics on instances with the existing solution and better results on instances of the problem where the Hamiltonian decomposition does not exist.


AraNet A Deep Learning Toolkit for Arabic Social Media. We describe AraNet, a collection of deep learning Arabic social media processing tools. Namely, we exploit an extensive host of publicly available and novel social media datasets to train bidirectional encoders from transformer models (BERT) to predict age, dialect, gender, emotion, irony, and sentiment. AraNet delivers state of the art performance on a number of the cited tasks and competitively on others. In addition, AraNet has the advantage of being exclusively based on a deep learning framework and hence feature engineering free. To the best of our knowledge, AraNet is the first to performs predictions across such a wide range of tasks for Arabic NLP and thus meets a critical needs. We publicly release AraNet to accelerate research and facilitate comparisons across the different tasks.


A Cross Genre Ensemble Approach to Robust Reddit Part of Speech Tagging. Part of speech tagging is a fundamental NLP task often regarded as solved for high resource languages such as English. Current state of the art models have achieved high accuracy, especially on the news domain. However, when these models are applied to other corpora with different genres, and especially user generated data from the Web, we see substantial drops in performance. In this work, we study how a state of the art tagging model trained on different genres performs on Web content from unfiltered Reddit forum discussions. More specifically, we use data from multiple sources OntoNotes, a large benchmark corpus with 'well edited' text, the English Web Treebank with 5 Web genres, and GUM, with 7 further genres other than Reddit. We report the results when training on different splits of the data, tested on Reddit. Our results show that even small amounts of in domain data can outperform the contribution of data an order of magnitude larger coming from other Web domains. To make progress on out of domain tagging, we also evaluate an ensemble approach using multiple single genre taggers as input features to a meta classifier. We present state of the art performance on tagging Reddit data, as well as error analysis of the results of these models, and offer a typology of the most common error types among them, broken down by training corpus.


COVID 19 SignSym a fast adaptation of a general clinical NLP tool to identify and normalize COVID 19 signs and symptoms to OMOP common data model. The COVID 19 pandemic swept across the world rapidly, infecting millions of people. An efficient tool that can accurately recognize important clinical concepts of COVID 19 from free text in electronic health records (EHRs) will be valuable to accelerate COVID 19 clinical research. To this end, this study aims at adapting the existing CLAMP natural language processing tool to quickly build COVID 19 SignSym, which can extract COVID 19 signs symptoms and their 8 attributes (body location, severity, temporal expression, subject, condition, uncertainty, negation, and course) from clinical text. The extracted information is also mapped to standard concepts in the Observational Medical Outcomes Partnership common data model. A hybrid approach of combining deep learning based models, curated lexicons, and pattern based rules was applied to quickly build the COVID 19 SignSym from CLAMP, with optimized performance. Our extensive evaluation using 3 external sites with clinical notes of COVID 19 patients, as well as the online medical dialogues of COVID 19, shows COVID 19 Sign Sym can achieve high performance across data sources. The workflow used for this study can be generalized to other use cases, where existing clinical natural language processing tools need to be customized for specific information needs within a short time. COVID 19 SignSym is freely accessible to the research community as a downloadable package (https clamp.uth.edu covid nlp.php) and has been used by 16 healthcare organizations to support clinical research of COVID 19.


On period, cycles and fixed points of a quantum channel. We consider a quantum channel acting on an infinite dimensional von Neumann algebra of operators on a separable Hilbert space. When there exists an invariant normal faithful state, the cyclic properties of such channels are investigated passing through the decoherence free algebra and the fixed points domain. Both these spaces are proved to be images of a normal conditional expectation so that their consequent atomic structure are analyzed in order to give a better description of the action of the channel and, for instance, of its Kraus form and invariant densities.


Restyling Data Application to Unsupervised Domain Adaptation. Machine learning is driven by data, yet while their availability is constantly increasing, training data require laborious, time consuming and error prone labelling or ground truth acquisition, which in some cases is very difficult or even impossible. Recent works have resorted to synthetic data generation, but the inferior performance of models trained on synthetic data when applied to the real world, introduced the challenge of unsupervised domain adaptation. In this work we investigate an unsupervised domain adaptation technique that descends from another perspective, in order to avoid the complexity of adversarial training and cycle consistencies. We exploit the recent advances in photorealistic style transfer and take a fully data driven approach. While this concept is already implicitly formulated within the intricate objectives of domain adaptation GANs, we take an explicit approach and apply it directly as data pre processing. The resulting technique is scalable, efficient and easy to implement, offers competitive performance to the complex state of the art alternatives and can open up new pathways for domain adaptation.


Short Text Conversation Based on Deep Neural Network and Analysis on Evaluation Measures. With the development of Natural Language Processing, Automatic question answering system such as Waston, Siri, Alexa, has become one of the most important NLP applications. Nowadays, enterprises try to build automatic custom service chatbots to save human resources and provide a 24 hour customer service. Evaluation of chatbots currently relied greatly on human annotation which cost a plenty of time. Thus, has initiated a new Short Text Conversation subtask called Dialogue Quality (DQ) and Nugget Detection (ND) which aim to automatically evaluate dialogues generated by chatbots. In this paper, we solve the DQ and ND subtasks by deep neural network. We proposed two models for both DQ and ND subtasks which is constructed by hierarchical structure embedding layer, utterance layer, context layer and memory layer, to hierarchical learn dialogue representation from word level, sentence level, context level to long range context level. Furthermore, we apply gating and attention mechanism at utterance layer and context layer to improve the performance. We also tried BERT to replace embedding layer and utterance layer as sentence representation. The result shows that BERT produced a better utterance representation than multi stack CNN for both DQ and ND subtasks and outperform other models proposed by other researches. The evaluation measures are proposed by , that is, NMD, RSNOD for DQ and JSD, RNSS for ND, which is not traditional evaluation measures such as accuracy, precision, recall and f1 score. Thus, we have done a series of experiments by using traditional evaluation measures and analyze the performance and error.


Symmetric div quasiconvexity and the relaxation of static problems. We consider problems of static equilibrium in which the primary unknown is the stress field and the solutions maximize a complementary energy subject to equilibrium constraints. A necessary and sufficient condition for the sequential lower semicontinuity of such functionals is symmetric rm div quasiconvexity, a special case of Fonseca and M "uller's A quasiconvexity with A rm div acting on R n times n sym . We specifically consider the example of the static problem of plastic limit analysis and seek to characterize its relaxation in the non standard case of a non convex elastic domain. We show that the symmetric rm div quasiconvex envelope of the elastic domain can be characterized explicitly for isotropic materials whose elastic domain depends on pressure p and Mises effective shear stress q . The envelope then follows from a rank 2 hull construction in the (p,q) plane. Remarkably, owing to the equilibrium constraint the relaxed elastic domain can still be strongly non convex, which shows that convexity of the elastic domain is not a requirement for existence in plasticity.


Growth in the Muskat problem. We review some recent results on the Muskat problem modelling multiphase flow in porous media. Furthermore, we prove a new regularity criterion in terms of some norms of the initial data in critical spaces ( dot W 1, infty and dot H 3 2 ).


Gr "obner bases of toric ideals associated with matroids. In 1980, White conjectured that the toric ideal of a matroid is generated by quadratic binomials corresponding to a symmetric exchange. In this paper, we compute Gr "obner bases of toric ideals associated with matroids and show that, for every matroid on ground sets of size at most seven except for two matroids, Gr "obner bases of toric ideals consist of quadratic binomials corresponding to a symmetric exchange.


Gauging the happiness benefit of US urban parks through Twitter. The relationship between nature contact and mental well being has received increasing attention in recent years. While a body of evidence has accumulated demonstrating a positive relationship between time in nature and mental well being, there have been few studies comparing this relationship in different locations over long periods of time. In this study, we estimate a happiness benefit, the difference in expressed happiness between in and out of park tweets, for the 25 largest cities in the US by population. People write happier words during park visits when compared with non park user tweets collected around the same time. While the words people write are happier in parks on average and in most cities, we find considerable variation across cities. Tweets are happier in parks at all times of the day, week, and year, not just during the weekend or summer vacation. Across all cities, we find that the happiness benefit is highest in parks larger than 100 acres. Overall, our study suggests the happiness benefit associated with park visitation is on par with US holidays such as Thanksgiving and New Year's Day.


Regular Tur 'an numbers of complete bipartite graphs. Let mathrm rex (n, F) denote the maximum number of edges in an n vertex graph that is regular and does not contain F as a subgraph. We give lower bounds on mathrm rex (n, F) , that are best possible up to a constant factor, when F is one of C 4 , K 2,t , K 3,3 or K s,t when t s! .


The continuum directed polymer in L 'evy Noise. We present in this paper the construction of a continuum directed polymer model in an environment given by space time L 'evy noise. One of the main objectives of this construction is to describe the scaling limit of discrete directed polymer in an heavy tail environment and for this reason we put special emphasis on the case of alpha stable noises with alpha in (1,2) . Our construction can be performed in arbitrary dimension, provided that the L 'evy measure satisfies specific (and dimension dependent) conditions. We also discuss a few basic properties of the continuum polymer and the relation between this model and the Stochastic Heat Equation with multiplicative L 'evy noise.


The structure of multiplicative functions with small partial sums. The Landau Selberg Delange method provides an asymptotic formula for the partial sums of a multiplicative function whose average value on primes is a fixed complex number v . The shape of this asymptotic implies that f can get very small on average only if v 0, 1, 2, dots . Moreover, if v 0 , then the Dirichlet series associated to f must have a zero of multiplicity v at s 1 . In this paper, we prove a converse result that shows that if f is a multiplicative function that is bounded by a suitable divisor function, and f has very small partial sums, then there must be finitely many real numbers gamma 1 , dots , gamma m such that f(p) approx p i gamma 1 cdots p i gamma m on average. The numbers gamma j correspond to ordinates of zeroes of the Dirichlet series associated to f , counted with multiplicity. This generalizes a result of the first author, who handled the case when f le 1 in previous work.


Exponentially Convergent Algorithm Design for Constrained Distributed Optimization via Non smooth Approach. We consider minimizing a sum of non smooth objective functions with set constraints in a distributed manner. As to this problem, we propose a distributed algorithm with an exponential convergence rate for the first time. By the exact penalty method, we reformulate the problem equivalently as a standard distributed one without consensus constraints. Then we design a distributed projected subgradient algorithm with the help of differential inclusions. Furthermore, we show that the algorithm converges to the optimal solution exponentially for strongly convex objective functions.


Thermometry of intermediate level nuclear waste containers in multiple environmental conditions. Intermediate level nuclear waste must be stored until it is safe for permanent disposal. Temperature monitoring of waste packages is important to the nuclear decommissioning industry to support management of each package. Phosphor thermometry and thermal imaging have been used to monitor the temperature of intermediate level waste containers within the expected range of environmental storage conditions at the Sellafield Ltd site temperatures from 10 deg C to 25 deg C and relative humidities from 60 rh to 90 rh. The feasibility of determining internal temperature from external surface temperature measurement in the required range of environmental conditions has been demonstrated.


Multi Agent Deep Reinforcement Learning Multiple Access for Heterogeneous Wireless Networks with Imperfect Channels. This paper investigates a futuristic spectrum sharing paradigm for heterogeneous wireless networks with imperfect channels. In the heterogeneous networks, multiple wireless networks adopt different medium access control (MAC) protocols to share a common wireless spectrum and each network is unaware of the MACs of others. This paper aims to design a distributed deep reinforcement learning (DRL) based MAC protocol for a particular network, and the objective of this network is to achieve a global alpha fairness objective. In the conventional DRL framework, feedback reward given to the agent is always correctly received, so that the agent can optimize its strategy based on the received reward. In our wireless application where the channels are noisy, the feedback reward (i.e., the ACK packet) may be lost due to channel noise and interference. Without correct feedback, the agent (i.e., the network user) may fail to find a good solution. Moreover, in the distributed protocol, each agent makes decisions on its own. It is a challenge to guarantee that the multiple agents will make coherent decisions and work together to achieve the same objective, particularly in the face of imperfect feedback channels. To tackle the challenge, we put forth (i) a feedback recovery mechanism to recover missing feedback information, and (ii) a two stage action selection mechanism to aid coherent decision making to reduce transmission collisions among the agents. Extensive simulation results demonstrate the effectiveness of these two mechanisms. Last but not least, we believe that the feedback recovery mechanism and the two stage action selection mechanism can also be used in general distributed multi agent reinforcement learning problems in which feedback information on rewards can be corrupted.


Groupes pleins topologiques d'apr es Matui, Juschenko, Monod... . This is the written version of the Bourbaki seminar given in January 2013 and published in 2014 (modulo an additional early reference added subsequently). It describes the first construction of infinite, finitely generated amenable simple groups. It starts with a general study of topological full groups, along with indications on the first appearances of such groups. Then the theorem is proved, namely that the derived subgroup of the topological full group of an infinite minimal subshift is both simple and finitely generated (Matui 2006) and amenable (Juschenko Monod 2013, after being conjectured by Grigorchuk Medynets). Some other properties of these groups are discussed. None of the numerous subsequent developments since 2013 are mentioned.


Gene Environment Interaction in the Era of Precision Medicine Fix the Potholes or Start Building a New Road?. Genetic mapping sprung in the last decade of the 20th century with the development of statistical procedures putting classical models of genetic effects together with molecular biology techniques. It eventually became clear that those models, originally developed to serve other purposes, implied limitations at different stages of the analyses disclosing loci, measuring their effects and providing additional parameters for adequate biological medical interpretations. The present paper is aimed to ponder whether it is realistic and worth to try and further amend classical models of genetic effects or it proves more sensible to undertake alternative theoretical strategies instead. In order to further feed into that debate, mathematical developments for gene environment interaction stemming from the classical models of genetic effects are here revised and brought up to date with the prospects present day available data bestow, particularly in the context of precision medicine. Those developments strengthen the methodology required to overcome the COVID 19 pandemic.


On using SMT solvers for Modeling and Verifying Dynamic Network Emulators. A novel model based approach to verify dynamic networks is proposed the approach consists in formally describing the network topology and dynamic link parameters. A many sorted first order logic formula is constructed to check the model with respect to a set of properties. The network consistency is verified using an SMT solver, and the formula is used for the run time network verification when a given static network instance is implemented. The z3 solver is used for this purpose and corresponding preliminary experiments showcase the expressiveness and current limitations of the proposed approach.


Structure of multiplicative simple Hom Jordan algebras. In this paper, we mainly study structure of multiplicative simple Hom Jordan algebras. We talk about equivalent conditions for multiplicative Hom Jordan algebras being solvable, simple and semi simple. As an application, we give a theorem about classification of multiplicative simple Hom Jordan algebras. Moreover, some propositions about bimodules of multiplicative Hom Jordan algebras are also displayed.


Quasi f Ideals. The notion off ideals is recent and has been studied in the papers 1 2 , 5 , 10 , 11 , 12 , 13 , 14 and 15 . In this paper, we have generalized the idea off ideals to quasi f ideals. This extended class of ideals is much bigger than the class of all f ideals. Apart from giving various characterizations of quasi f ideals of degree 2, we have determined all the minimal primes ideals of these ideals. Moreover, construction of quasi f ideals of degree 2 has been described the formula for computing Hilbert function and Hilbert series of the polynomial ring modulo quasi f ideal has been provided.


A category theory approach using preradicals to model information flows in networks. Category theory has been recently used as a tool for constructing and modeling an information flow framework. Here, we show that the flow of information can be described using preradicals. We prove that preradicals generalize the notion of persistence in spaces where the underlying structure forms a directed acyclic graph. We show that a particular alpha preradical describes the persistence of a commutative G module associated with a directed acyclic graph. Furthermore, given how preradicals are defined, they are able to preserve the modeled system's underlying structure. This allows us to generalize the notions of standard persistence, zigzag persistence, and multidirectional persistence.


Tense, aspect and mood based event extraction for situation analysis and crisis management. Nowadays event extraction systems mainly deal with a relatively small amount of information about temporal and modal qualifications of situations, primarily processing assertive sentences in the past tense. However, systems with a wider coverage of tense, aspect and mood can provide better analyses and can be used in a wider range of text analysis applications. This thesis develops such a system for Turkish language. This is accomplished by extending Open Source Information Mining and Analysis (OPTIMA) research group's event extraction software, by implementing appropriate extensions in the semantic representation format, by adding a partial grammar which improves the TAM (Tense, Aspect and Mood) marker, adverb analysis and matching functions of ExPRESS, and by constructing an appropriate lexicon in the standard of CORLEONE. These extensions are based on iv the theory of anchoring relations (Tem "urc "u, 2007, 2011) which is a crosslinguistically applicable semantic framework for analyzing tense, aspect and mood related categories. The result is a system which can, in addition to extracting basic event structures, classify sentences given in news reports according to their temporal, modal and volitional illocutionary values. Although the focus is on news reports of natural disasters, disease outbreaks and man made disasters in Turkish language, the approach can be adapted to other languages, domains and genres. This event extraction and classification system, with further developments, can provide a basis for automated browsing systems for preventing environmental and humanitarian risk.


Symplectic keys and Demazure atoms in type C. We compute, mimicking the Lascoux Sch "utzenberger type A combinatorial procedure, left and right keys for a Kashiwara Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Sch "utzenberger evacuation is defined to realize that involution.


Optimal Error Pseudodistributions for Read Once Branching Programs. In a seminal work, Nisan (Combinatorica'92) constructed a pseudorandom generator for length n and width w read once branching programs with seed length O( log n cdot log(nw) log n cdot log(1 varepsilon)) and error varepsilon . It remains a central question to reduce the seed length to O( log (nw varepsilon)) , which would prove that mathbf BPL mathbf L . However, there has been no improvement on Nisan's construction for the case n w , which is most relevant to space bounded derandomization. Recently, in a beautiful work, Braverman, Cohen and Garg (STOC'18) introduced the notion of a pseudorandom pseudo distribution (PRPD) and gave an explicit construction of a PRPD with seed length tilde O ( log n cdot log(nw) log(1 varepsilon)) . A PRPD is a relaxation of a pseudorandom generator, which suffices for derandomizing mathbf BPL and also implies a hitting set. Unfortunately, their construction is quite involved and complicated. Hoza and Zuckerman (FOCS'18) later constructed a much simpler hitting set generator with seed length O( log n cdot log(nw) log(1 varepsilon)) , but their techniques are restricted to hitting sets. In this work, we construct a PRPD with seed length O( log n cdot log (nw) cdot log log(nw) log(1 varepsilon)). This improves upon the construction in BCG18 by a O( log log(1 varepsilon)) factor, and is optimal in the small error regime. In addition, we believe our construction and analysis to be simpler than the work of Braverman, Cohen and Garg.


A spectral property for concurrent systems and some probabilistic applications. We study trace theoretic concurrent systems. This setting encompasses safe (1 bounded) Petri nets. We introduce a notion of irreducible concurrent system and we prove the equivalence between irreducibility and a "spectral property". The spectral property states a strict inequality between radii of convergence of certain growth series associated with the system. The proof that we present relies on analytic combinatorics techniques. The spectral property is the cornerstone of our theory, in a framework where the Perron Frobenius theory does not apply directly. This restriction is an inherent difficulty in the study of concurrent systems. We apply the spectral property to the probabilistic theory of concurrent systems. We prove on the one hand the uniqueness of the uniform measure, a question left open in a previous paper. On the other hand, we prove that this uniform measure can be realized as a Markov chain of states and cliques on a state space that can be precisely characterized.


Uncovering the Corona Virus Map Using Deep Entities and Relationship Models. We extract entities and relationships related to COVID 19 from a corpus of articles related to Corona virus by employing a novel entities and relationship model. The entity recognition and relationship discovery models are trained with a multi task learning objective on a large annotated corpus. We employ a concept masking paradigm to prevent the evolution of neural networks functioning as an associative memory and induce right inductive bias guiding the network to make inference using only the context. We uncover several import subnetworks, highlight important terms and concepts and elucidate several treatment modalities employed in related ailments in the past.


Learning Active Constraints to Efficiently Solve Linear Bilevel Problems. Bilevel programming can be used to formulate many engineering and economics problems. However, common reformulations of bilevel problems to mixed integer linear programs (through the use of Karush Kuhn Tucker conditions) make solving such problems hard, which impedes their implementation in real life. In this paper, we significantly improve solution speed and tractability by introducing decision trees to learn the active constraints of the lower level problem, while avoiding to introduce binaries and big M constants. The application of machine learning reduces the online solving time, and becomes particularly beneficial when the same problem has to be solved multiple times. We apply our approach to power systems problems, and especially to the strategic bidding of generators in electricity markets, where generators solve the same problem many times for varying load demand or renewable production. Three methods are developed and applied to the problem of a strategic generator, with a DCOPF in the lower level. We show that for networks of varying sizes, the computational burden is significantly reduced, while we also manage to find solutions for strategic bidding problems that were previously intractable.


The Tur 'an number for the edge blow up of trees. The edge blow up of a graph F is the graph obtained from replacing each edge in F by a clique of the same size where the new vertices of the cliques are all different. In this article, we concern about the Tur 'an problem for the edge blow up of trees. Erd H o s et al. (1995) and Chen et al. (2003) solved the problem for stars. The problem for paths was resolved by Glebov (2011). Liu (2013) extended the above results to cycles and a special family of trees with the minimum degree at most two in the smaller color class (paths and proper subdivisions of stars were included in the family). In this article, we extend Liu's result to all the trees with the minimum degree at least two in the smaller color class. Combining with Liu's result, except one particular case, the Tur 'an problem for the edge blow up of trees is completely resolved. Moreover, we determine the maximum number of edges in the family of K 1,k , kK 2, 2K 1,k 1 free graphs and the extremal graphs, which is an extension of a result given by Abbott et al. (1972).


Self healing Dilemmas in Distributed Systems Fault Correction vs. Fault Tolerance. Large scale decentralized systems of autonomous agents interacting via asynchronous communication often experience the following self healing dilemma fault detection inherits network uncertainties making a remote faulty process indistinguishable from a slow process. In the case of a slow process without fault, fault correction is undesirable as it can trigger new faults that could be prevented with fault tolerance that is a more proactive system maintenance. But in the case of an actual faulty process, fault tolerance alone without eventually correcting persistent faults can make systems underperforming. Measuring, understanding and resolving such self healing dilemmas is a timely challenge and critical requirement given the rise of distributed ledgers, edge computing, the Internet of Things in several energy, transport and health applications. This paper contributes a novel and general purpose modeling of fault scenarios during system runtime. They are used to accurately measure and predict inconsistencies generated by the undesirable outcomes of fault correction and fault tolerance as the means to improve self healing of large scale decentralized systems at the design phase. A rigorous experimental methodology is designed that evaluates 696 experimental settings of different fault scales, fault profiles and fault detection thresholds in a prototyped decentralized network of 3000 nodes. Almost 9 million measurements of inconsistencies were collected in a network, where each node monitors the health status of another node, while both can defect. The prediction performance of the modeled fault scenarios is validated in a challenging application scenario of decentralized and dynamic in network data aggregation using real world data from a Smart Grid pilot project. Findings confirm the origin of inconsistencies at design phase.


Simple Strategies in Multi Objective MDPs (Technical Report). We consider the verification of multiple expected reward objectives at once on Markov decision processes (MDPs). This enables a trade off analysis among multiple objectives by obtaining the Pareto front. We focus on strategies that are easy to employ and implement. That is, strategies that are pure (no randomization) and have bounded memory. We show that checking whether a point is achievable by a pure stationary strategy is NP complete, even for two objectives, and we provide an MILP encoding to solve the corresponding problem. The bounded memory case can be reduced to the stationary one by a product construction. Experimental results using Storm and Gurobi show the feasibility of our algorithms.


Motivation to Run in One Day Cricket. In this paper we introduce a new methodology to determine an optimal coefficient for a positive finite measure of batting average, strike rate, and bowling average of a player in order to get an optimal score of a team under dynamic modeling using a path integral method. We also introduce new run dynamics modeled as a stochastic differential equation in order to incorporate the average weather conditions at the cricket ground, the weather condition on the day of the match including sudden deterioration which leads to a partial or complete stop of the game, total attendance, and home field advantage.


Existence for a free boundary problem describing a propagating disturbance. We prove the existence of a solution to an 1 D free boundary problem which describes the propagation of disturbances of shock type, modeled by a non standard variational inequality.


The Multilingual Amazon Reviews Corpus. We present the Multilingual Amazon Reviews Corpus (MARC), a large scale collection of Amazon reviews for multilingual text classification. The corpus contains reviews in English, Japanese, German, French, Spanish, and Chinese, which were collected between 2015 and 2019. Each record in the dataset contains the review text, the review title, the star rating, an anonymized reviewer ID, an anonymized product ID, and the coarse grained product category (e.g., 'books', 'appliances', etc.) The corpus is balanced across the 5 possible star ratings, so each rating constitutes 20 of the reviews in each language. For each language, there are 200,000, 5,000, and 5,000 reviews in the training, development, and test sets, respectively. We report baseline results for supervised text classification and zero shot cross lingual transfer learning by fine tuning a multilingual BERT model on reviews data. We propose the use of mean absolute error (MAE) instead of classification accuracy for this task, since MAE accounts for the ordinal nature of the ratings.


Paths Explored, Paths Omitted, Paths Obscured Decision Points Selective Reporting in End to End Data Analysis. Drawing reliable inferences from data involves many, sometimes arbitrary, decisions across phases of data collection, wrangling, and modeling. As different choices can lead to diverging conclusions, understanding how researchers make analytic decisions is important for supporting robust and replicable analysis. In this study, we pore over nine published research studies and conduct semi structured interviews with their authors. We observe that researchers often base their decisions on methodological or theoretical concerns, but subject to constraints arising from the data, expertise, or perceived interpretability. We confirm that researchers may experiment with choices in search of desirable results, but also identify other reasons why researchers explore alternatives yet omit findings. In concert with our interviews, we also contribute visualizations for communicating decision processes throughout an analysis. Based on our results, we identify design opportunities for strengthening end to end analysis, for instance via tracking and meta analysis of multiple decision paths.


On the P 'olya conjecture for the Neumann problem in tiling sets. In 1954, G. P 'olya conjectured that the counting function of the eigenvalues of the Laplace operator of Dirichlet (resp. Neumann) boundary value problem in a bounded set Omega subset mathbb R d is lesser (resp. greater) than C W Omega lambda d 2 . Here lambda is the spectral parameter, and C W is the constant in the Weyl asymptotics. In 1961, P 'olya proved this conjecture for tiling sets in the Dirichlet case, and for tiling sets under some additional restrictions for the Neumann case. We prove the P 'olya conjecture in the Neumann case for all tiling sets.


A Note on UK Covid19 death rates by religion which groups are most at risk?. There has been great concern in the UK that people from the BAME (Black And Minority Ethnic) community have a far higher risk of dying from Covid19 than those of other ethnicities. However, the overall fatalities data from the Government's ONS (Office of National Statistics) most recent report on deaths by religion shows that Jews (very few of whom are classified as BAME) have a much higher risk than those of religions (Hindu, Sikh, Muslim) with predominantly BAME people. This apparently contradictory result is, according to the ONS statistical analysis, implicitly explained by age as the report claims that, when 'adjusted for age' Muslims have the highest fatality risk. However, the report fails to provide the raw data to support this. There are many factors other than just age that must be incorporated into any analysis of the observed data before making definitive conclusions about risk based on religion ethnicity. We propose the need for a causal model for this. If we discount unknown genetic factors, then religion and ethnicity have NO impact at all on a person's Covid19 death risk once we know their age, underlying medical conditions, work living conditions, and extent of social distancing.


Planar minimal surfaces with polynomial growth in the mathrm Sp (4, mathbb R ) symmetric space. We study the asymptotic geometry of a family of conformally planar minimal surfaces with polynomial growth in the mathrm Sp (4, mathbb R ) symmetric space. We describe a homeomomorphism between the "Hitchin component" of wild mathrm Sp (4, mathbb R ) Higgs bundles over mathbb CP 1 with a single pole at infinity and a component of maximal surfaces with light like polygonal boundary in mathbb H 2,2 . Moreover, we identify those surfaces with convex embeddings into the Grassmannian of symplectic planes of mathbb R 4 . We show, in addition, that our planar maximal surfaces are the local limits of equivariant maximal surfaces in mathbb H 2,2 associated to mathrm Sp (4, mathbb R ) Hitchin representations along rays of holomorphic quartic differentials.


Comparison between ARIMA and Deep Learning Models for Temperature Forecasting. Weather forecasting benefits us in various ways from farmers in cultivation and harvesting their crops to airlines to schedule their flights. Weather forecasting is a challenging task due to the chaotic nature of the atmosphere. Therefore lot of research attention has drawn to obtain the benefits and to overcome the challenges of weather forecasting. This paper compares ARIMA (Auto Regressive Integrated Moving Average) model and deep learning models to forecast temperature. The deep learning model consists of one dimensional convolutional layers to extract spatial features and LSTM layers to extract temporal features. Both of these models are applied to hourly temperature data set from Szeged, Hungry. According to the experimental results deep learning model was able to perform better than the traditional ARIMA methodology.


Analysis of distracted pedestrians' waiting time Head Mounted Immersive Virtual Reality application. This paper analyzes the distracted pedestrians' waiting time before crossing the road in three conditions 1) not distracted, 2) distracted with a smartphone and 3) distracted with a smartphone in the presence of virtual flashing LED lights on the crosswalk as a safety measure. For the means of data collection, we adapted an in house developed virtual immersive reality environment (VIRE). A total of 42 volunteers participated in the experiment. Participants' positions and head movements were recorded and used to calculate walking speeds, acceleration and deceleration rates, surrogate safety measures, time spent playing smartphone game, etc. After a descriptive analysis on the data, the effects of these variables on pedestrians' waiting time are analyzed by employing a cox proportional hazard model. Several factors were identified as having impact on waiting time. The results show that an increase in initial walk speed, percentage of time the head was oriented toward smartphone during crossing, bigger minimum missed gaps and unsafe crossings resulted in shorter waiting times. On the other hand, an increase in the percentage of time the head was oriented toward smartphone during waiting time, crossing time and maze solving time, means longer waiting times for participants.


QSPR analysis of some novel neighborhood degree based topological descriptors. Topological index is a numerical value associated with chemical constitution for correlation of chemical structure with various physical properties, chemical reactivity or biological activity. In this work, some new indices based on neighbourhood degree sum of nodes are proposed. To make the computation of the novel indices convenient, an algorithm is designed. QSPR analysis of these newly introduced indices are studied here which reveals their predicting power. Some mathematical properties of these indices are also discussed here.


Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and produce a collection of nonexistence certificates that, when taken together, imply that such ovals do not exist. Our search program uses the cube and conquer paradigm from the field of satisfiability (SAT) checking, coupled with a programmatic SAT solver and the nauty symbolic computation library for removing symmetries from the search.


Characterizing the Variability in Face Recognition Accuracy Relative to Race. Many recent news headlines have labeled face recognition technology as biased or racist. We report on a methodical investigation into differences in face recognition accuracy between African American and Caucasian image cohorts of the MORPH dataset. We find that, for all four matchers considered, the impostor and the genuine distributions are statistically significantly different between cohorts. For a fixed decision threshold, the African American image cohort has a higher false match rate and a lower false non match rate. ROC curves compare verification rates at the same false match rate, but the different cohorts achieve the same false match rate at different thresholds. This means that ROC comparisons are not relevant to operational scenarios that use a fixed decision threshold. We show that, for the ResNet matcher, the two cohorts have approximately equal separation of impostor and genuine distributions. Using ICAO compliance as a standard of image quality, we find that the initial image cohorts have unequal rates of good quality images. The ICAO compliant subsets of the original image cohorts show improved accuracy, with the main effect being to reducing the low similarity tail of the genuine distributions.


Conductors and minimal discriminants of hyperelliptic curves A comparison in the tame case. Let C be a hyperelliptic curve of genus g over the fraction field K of a discrete valuation ring R . Assume that the residue field k of R is perfect and that mathrm char k 2g 1 . Let S mathrm Spec R . Let X be the minimal proper regular model of C over S . Let mathrm Art (C K) denote the Artin conductor of the S scheme X and let nu ( Delta C) denote the minimal discriminant of C . We prove that mathrm Art (C K) leq nu ( Delta C) . The key ingredients are a combinatorial refinement of the discriminant introduced in this paper (called the metric tree) and a recent refinement of Abhyankar's inversion formula for studying plane curve singularities. We also prove combinatorial restrictions for mathrm Art (C K) nu ( Delta C) .


On the asymptotic behavior of solutions to time fractional elliptic equations driven a multiplicative white noise. This paper devoted to study of fractional elliptic equations driven a multiplicative noise. By combining the eigenfunction expansion method for symmetry elliptic operators, the variation of constant formula for strong solutions to scalar stochastic fractional differential equations, Ito's formula and establishing a new weighted norm associated with a Lyapunov Perron operator defined from this representation of solutions, we show the asymptotic behaviour of solutions to these systems in mean square sense. As a consequence, we also prove existence, uniqueness and the convergence rate of their solutions.


Prediction of Aerodynamic Flow Fields Using Convolutional Neural Networks. An approximation model based on convolutional neural networks (CNNs) is proposed for flow field predictions. The CNN is used to predict the velocity and pressure field in unseen flow conditions and geometries given the pixelated shape of the object. In particular, we consider Reynolds Averaged Navier Stokes (RANS) flow solutions over airfoil shapes. The CNN can automatically detect essential features with minimal human supervision and shown to effectively estimate the velocity and pressure field orders of magnitude faster than the RANS solver, making it possible to study the impact of the airfoil shape and operating conditions on the aerodynamic forces and the flow field in near real time. The use of specific convolution operations, parameter sharing, and robustness to noise are shown to enhance the predictive capabilities of CNN. We explore the network architecture and its effectiveness in predicting the flow field for different airfoil shapes, angles of attack, and Reynolds numbers.


The exact entire solutions of certain type of nonlinear difference equations. In this paper, we consider the entire solutions of nonlinear difference equation f 3 q(z) Delta f p 1 e alpha 1 z p 2 e alpha 2 z where q is a polynomial, and p 1, p 2, alpha 1, alpha 2 are nonzero constants with alpha 1 neq alpha 2 . It is showed that if f is a non constant entire solution of rho 2(f) 1 to the above equation, then f(z) e 1e frac alpha 1 z 3 e 2e frac alpha 2 z 3 , where e 1 and e 2 are two constants. Meanwhile, we give an affirmative answer to the conjecture posed by Zhang et al in 18 .


On Malcev algebras nilpotent by Lie center and corresponding analytic Moufang loops. In this note we describe the structure of finite dimensional Malcev algebras over a field of real numbers mathbb R , which are nilpotent module its Lie center. It is proved that the corresponding analytic global Moufang loops are nilpotent module their nucleus.


Learning Implicit Functions for Topology Varying Dense 3D Shape Correspondence. The goal of this paper is to learn dense 3D shape correspondence for topology varying objects in an unsupervised manner. Conventional implicit functions estimate the occupancy of a 3D point given a shape latent code. Instead, our novel implicit function produces a part embedding vector for each 3D point, which is assumed to be similar to its densely corresponded point in another 3D shape of the same object category. Furthermore, we implement dense correspondence through an inverse function mapping from the part embedding to a corresponded 3D point. Both functions are jointly learned with several effective loss functions to realize our assumption, together with the encoder generating the shape latent code. During inference, if a user selects an arbitrary point on the source shape, our algorithm can automatically generate a confidence score indicating whether there is a correspondence on the target shape, as well as the corresponding semantic point if there is one. Such a mechanism inherently benefits man made objects with different part constitutions. The effectiveness of our approach is demonstrated through unsupervised 3D semantic correspondence and shape segmentation.


EAO SLAM Monocular Semi Dense Object SLAM Based on Ensemble Data Association. Object level data association and pose estimation play a fundamental role in semantic SLAM, which remain unsolved due to the lack of robust and accurate algorithms. In this work, we propose an ensemble data associate strategy for integrating the parametric and nonparametric statistic tests. By exploiting the nature of different statistics, our method can effectively aggregate the information of different measurements, and thus significantly improve the robustness and accuracy of data association. We then present an accurate object pose estimation framework, in which an outliers robust centroid and scale estimation algorithm and an object pose initialization algorithm are developed to help improve the optimality of pose estimation results. Furthermore, we build a SLAM system that can generate semi dense or lightweight object oriented maps with a monocular camera. Extensive experiments are conducted on three publicly available datasets and a real scenario. The results show that our approach significantly outperforms state of the art techniques in accuracy and robustness. The source code is available on https github.com yanmin wu EAO SLAM.


Characterizing viscoelastic materials via ensemble based data assimilation of bubble collapse observations. Viscoelastic material properties at high strain rates are needed to model many biological and medical systems. Bubble cavitation can induce such strain rates, and the resulting bubble dynamics are sensitive to the material properties. Thus, in principle, these properties can be inferred via measurements of the bubble dynamics. Estrada et al. (2018) demonstrated such bubble dynamic high strain rate rheometry by using least squares shooting to minimize the difference between simulated and experimental bubble radius histories. We generalize their technique to account for additional uncertainties in the model, initial conditions, and material properties needed to uniquely simulate the bubble dynamics. Ensemble based data assimilation minimizes the computational expense associated with the bubble cavitation model. We test an ensemble Kalman filter (EnKF), an iterative ensemble Kalman smoother (IEnKS), and a hybrid ensemble based 4D Var method (En4D Var) on synthetic data, assessing their estimations of the viscosity and shear modulus of a Kelvin Voigt material. Results show that En4D Var and IEnKS provide better moduli estimates than EnKF. Applying these methods to the experimental data of Estrada et al. (2018) yields similar material property estimates to those they obtained, but provides additional information about uncertainties. In particular, the En4D Var yields lower viscosity estimates for some experiments, and the dynamic estimators reveal a potential mechanism that is unaccounted for in the model, whereby the viscosity is reduced in some cases due to material damage occurring at bubble collapse.


UKPGAN A General Self Supervised Keypoint Detector. Keypoint detection is an essential component for the object registration and alignment. In this work, we reckon keypoint detection as information compression, and force the model to distill out irrelevant points of an object. Based on this, we propose UKPGAN, a general self supervised 3D keypoint detector where keypoints are detected so that they could reconstruct the original object shape. Two modules GAN based keypoint sparsity control and salient information distillation modules are proposed to locate those important keypoints. Extensive experiments show that our keypoints align well with human annotated keypoint labels, and can be applied to SMPL human bodies under various non rigid deformations. Furthermore, our keypoint detector trained on clean object collections generalizes well to real world scenarios, thus further improves geometric registration when combined with off the shelf point descriptors. Repeatability experiments show that our model is stable under both rigid and non rigid transformations, with local reference frame estimation. Our code is available on https github.com qq456cvb UKPGAN.


Spectral properties of some complex Jacobi matrices. We study spectral properties of bounded and unbounded complex Jacobi matrices. In particular, we formulate conditions assuring that the spectrum of the studied operators is continuous on some subsets of the complex plane and we provide uniform asymptotics of their generalised eigenvectors. We illustrate our results by considering complex perturbations of real Jacobi matrices belonging to several classes asymptotically periodic, periodically modulated and the blend of these two. Moreover, we provide conditions implying existence of a unique closed extension. The method of the proof is based on the analysis of a generalisation of shifted Tur 'an determinants to the complex setting.


Learning Poisson systems and trajectories of autonomous systems via Poisson neural networks. We propose the Poisson neural networks (PNNs) to learn Poisson systems and trajectories of autonomous systems from data. Based on the Darboux Lie theorem, the phase flow of a Poisson system can be written as the composition of (1) a coordinate transformation, (2) an extended symplectic map and (3) the inverse of the transformation. In this work, we extend this result to the unknotted trajectories of autonomous systems. We employ structured neural networks with physical priors to approximate the three aforementioned maps. We demonstrate through several simulations that PNNs are capable of handling very accurately several challenging tasks, including the motion of a particle in the electromagnetic potential, the nonlinear Schr "o dinger equation, and pixel observations of the two body problem.


A Deep Ensemble Multi Agent Reinforcement Learning Approach for Air Traffic Control. Air traffic control is an example of a highly challenging operational problem that is readily amenable to human expertise augmentation via decision support technologies. In this paper, we propose a new intelligent decision making framework that leverages multi agent reinforcement learning (MARL) to dynamically suggest adjustments of aircraft speeds in real time. The goal of the system is to enhance the ability of an air traffic controller to provide effective guidance to aircraft to avoid air traffic congestion, near miss situations, and to improve arrival timeliness. We develop a novel deep ensemble MARL method that can concisely capture the complexity of the air traffic control problem by learning to efficiently arbitrate between the decisions of a local kernel based RL model and a wider reaching deep MARL model. The proposed method is trained and evaluated on an open source air traffic management simulator developed by Eurocontrol. Extensive empirical results on a real world dataset including thousands of aircraft demonstrate the feasibility of using multi agent RL for the problem of en route air traffic control and show that our proposed deep ensemble MARL method significantly outperforms three state of the art benchmark approaches.


Compressive Phase Retrieval Optimal Sample Complexity with Deep Generative Priors. Advances in compressive sensing provided reconstruction algorithms of sparse signals from linear measurements with optimal sample complexity, but natural extensions of this methodology to nonlinear inverse problems have been met with potentially fundamental sample complexity bottlenecks. In particular, tractable algorithms for compressive phase retrieval with sparsity priors have not been able to achieve optimal sample complexity. This has created an open problem in compressive phase retrieval under generic, phaseless linear measurements, are there tractable reconstruction algorithms that succeed with optimal sample complexity? Meanwhile, progress in machine learning has led to the development of new data driven signal priors in the form of generative models, which can outperform sparsity priors with significantly fewer measurements. In this work, we resolve the open problem in compressive phase retrieval and demonstrate that generative priors can lead to a fundamental advance by permitting optimal sample complexity by a tractable algorithm in this challenging nonlinear inverse problem. We additionally provide empirics showing that exploiting generative priors in phase retrieval can significantly outperform sparsity priors. These results provide support for generative priors as a new paradigm for signal recovery in a variety of contexts, both empirically and theoretically. The strengths of this paradigm are that (1) generative priors can represent some classes of natural signals more concisely than sparsity priors, (2) generative priors allow for direct optimization over the natural signal manifold, which is intractable under sparsity priors, and (3) the resulting non convex optimization problems with generative priors can admit benign optimization landscapes at optimal sample complexity, perhaps surprisingly, even in cases of nonlinear measurements.


SAHDL Sparse Attention Hypergraph Regularized Dictionary Learning. In recent years, the attention mechanism contributes significantly to hypergraph based neural networks. However, these methods update the attention weights with the network propagating. That is to say, this type of attention mechanism is only suitable for deep learning based methods while not applicable to the traditional machine learning approaches. In this paper, we propose a hypergraph based sparse attention mechanism to tackle this issue and embed it into dictionary learning. More specifically, we first construct a sparse attention hypergraph, asset attention weights to samples by employing the ell 1 norm sparse regularization to mine the high order relationship among sample features. Then, we introduce the hypergraph Laplacian operator to preserve the local structure for subspace transformation in dictionary learning. Besides, we incorporate the discriminative information into the hypergraph as the guidance to aggregate samples. Unlike previous works, our method updates attention weights independently, does not rely on the deep network. We demonstrate the efficacy of our approach on four benchmark datasets.


Towards Physically consistent, Data driven Models of Convection. Data driven algorithms, in particular neural networks, can emulate the effect of sub grid scale processes in coarse resolution climate models if trained on high resolution climate simulations. However, they may violate key physical constraints and lack the ability to generalize outside of their training set. Here, we show that physical constraints can be enforced in neural networks, either approximately by adapting the loss function or to within machine precision by adapting the architecture. As these physical constraints are insufficient to guarantee generalizability, we additionally propose to physically rescale the training and validation data to improve the ability of neural networks to generalize to unseen climates.


Multimarginal Optimal Transport by Accelerated Alternating Minimization. We consider a multimarginal optimal transport, which includes as a particular case the Wasserstein barycenter problem. In this problem one has to find an optimal coupling between m probability measures, which amounts to finding a tensor of the order m . We propose an accelerated method based on accelerated alternating minimization and estimate its complexity to find the approximate solution to the problem. We use entropic regularization with sufficiently small regularization parameter and apply accelerated alternating minimization to the dual problem. A novel primal dual analysis is used to reconstruct the approximately optimal coupling tensor. Our algorithm exhibits a better computational complexity than the state of the art methods for some regimes of the problem parameters.


Logical depth for reversible Turing machines with an application to the rate of decrease in logical depth for general Turing machines. The logical depth of a em reversible Turing machine equals the shortest running time of a shortest program for it. This is applied to show that the result in L.F. Antunes, A. Souto, and P.M.B. Vit 'anyi, On the Rate of Decrease in Logical Depth, Theor. Comput. Sci., 702(2017), 60 64 is valid notwithstanding the error noted in Corrigendum P.M.B. Vit 'anyi, Corrigendum to "On the rate of decrease in logical depth" by L.F. Antunes, A. Souto, and P.M.B. Vit 'anyi Theoret. Comput. Sci. 702 (2017) 60 64 , em Theoret. Comput. Sci. , https doi.org 10.1016 j.tcs.2018.07.009 .


Stably embedded submodels of Henselian valued fields. We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows a Henselian valued fields is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types over the Hahn field mathbb R (( mathbb Z )) are definable. Similarly, all types over the quotient field of the Witt ring W( mathbb F p text alg ) are definable. This extends a work of Cubides and Delon and of Cubides and Ye.


Varieties of modules over the quantum plane. The quantum plane is the non commutative polynomial algebra in variables x and y with xy qyx . In this paper, we study the module variety of n dimensional modules over the quantum plane, and provide an explicit description of its irreducible components and their dimensions. We also describe the irreducible components and their dimensions of the GIT quotient of the module variety with respect to the conjugation action of rm GL n .


A Quasi Helmholtz Projector Stabilized Full Wave Solver Encompassing the Eddy Current Regime. Despite its several qualities, the Poggio Miller Chang Harrington Wu Tsai (PMCHWT) formulation for simulating scattering by dielectric media suffers from numerical instabilities and severe ill conditioning at low frequencies. While this drawback has been the object of numerous solution attempts in the standard low frequency breakdown regime for scattering problems, the eddy current regime requires a specific treatment. In this contribution, we present an extension of the recently introduced quasi Helmholtz projectors based preconditioning of the PMCHWT to obtain an equation stable at low frequencies and specifically in three regimes relevant for eddy currents analyses (i) when the frequency decreases with a constant conductivity, (ii) when the conductivity increases at fixed frequency and (iii) when the frequency decreases while keeping the product of the frequency and the conductivity constant. Being based on quasi Helmholtz projectors our new strategy does not further degrade the conditioning of the original equation and is compatible with existing fast solvers. The resulting full wave formulation is capable of smoothly transitioning from simulations at high frequencies to the different low frequency regimes which encompass, in particular, eddy currents applications. Numerical results demonstrate the validity of our approach in all the regimes with a special emphasis given to eddy currents.


Metamorphic Testing for Quality Assurance of Protein Function Prediction Tools. Proteins are the workhorses of life and gaining insight on their functions is of paramount importance for applications such as drug design. However, the experimental validation of functions of proteins is highly resource consuming. Therefore, recently, automated protein function prediction (AFP) using machine learning has gained significant interest. Many of these AFP tools are based on supervised learning models trained using existing gold standard functional annotations, which are known to be incomplete. The main challenge associated with conducting systematic testing on AFP software is the lack of a test oracle, which determines passing or failing of a test case unfortunately, due to the incompleteness of gold standard data, the exact expected outcomes are not well defined for the AFP task. Thus, AFP tools face the emph oracle problem . In this work, we use metamorphic testing (MT) to test nine state of the art AFP tools by defining a set of metamorphic relations (MRs) that apply input transformations to protein sequences. According to our results, we observe that several AFP tools fail all the test cases causing concerns over the quality of their predictions.


SyGuS Comp 2018 Results and Analysis. Syntax guided synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula phi in a background theory mathbb T , and a syntactic constraint given by a grammar G , which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in the SyGuS input format (SyGuS IF), a language that is built on top of SMT LIB. The Syntax Guided Synthesis competition (SyGuS Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In the 5th SyGuS Comp, five solvers competed on over 1600 benchmarks across various tracks. This paper presents and analyses the results of this year's (2018) SyGuS competition.


Sketch Generation with Drawing Process Guided by Vector Flow and Grayscale. We propose a novel image to pencil translation method that could not only generate high quality pencil sketches but also offer the drawing process. Existing pencil sketch algorithms are based on texture rendering rather than the direct imitation of strokes, making them unable to show the drawing process but only a final result. To address this challenge, we first establish a pencil stroke imitation mechanism. Next, we develop a framework with three branches to guide stroke drawing the first branch guides the direction of the strokes, the second branch determines the shade of the strokes, and the third branch enhances the details further. Under this framework's guidance, we can produce a pencil sketch by drawing one stroke every time. Our method is fully interpretable. Comparison with existing pencil drawing algorithms shows that our method is superior to others in terms of texture quality, style, and user evaluation.


Extendibility and boundedness of invariants on singularities of wavefronts. We investigate necessary and sufficient conditions for the extendibility and boundedness of Gaussian curvature, Mean curvature and principal curvatures near all types of singularities on fronts. We also study the convergence to infinite limits of these geometrical invariants and show how this is tightly related to a particular property of uniform approximation of fronts by parallel surfaces.


HOMFLYPT homology for links in handlebodies via type A Soergel bimodules. We define a triply graded invariant of links in a genus g handlebody, generalizing the colored HOMFLYPT (co)homology of links in the 3 ball. Our main tools are the description of these links in terms of a subgroup of the classical braid group, and a family of categorical actions built from complexes of (singular) Soergel bimodules.


The local discontinuous Galerkin method on layer adapted meshes for time dependent singularly perturbed convection diffusion problems. In this paper we analyze the error as well for the semi discretization as the full discretization of a time dependent convection diffusion problem. We use for the discretization in space the local discontinuous Galerkin (LDG) method on a class of layer adapted meshes including Shishkin type and Bakhvalov type meshes and the implicit theta scheme in time. For piecewise tensor product polynomials of degree k we obtain uniform or almost uniform error estimates with respect to space of order k 1 2 in some energy norm and optimal error estimates with respect to time. Our analysis is based on careful approximation error estimates for the Ritz projection related to the stationary problem on the anisotropic meshes used. We discuss also improved estimates in the one dimensional case and the use of a discontinuous Galekin discretization in time. Numerical experiments are given to support our theoretical results.


Blocking dominating sets for H free graphs via edge contractions. In this paper, we consider the following problem given a connected graph G , can we reduce the domination number of G by one by using only one edge contraction? We show that the problem is mathsf NP hard when restricted to P 6,P 4 P 2 free graphs and that it is mathsf coNP hard when restricted to subcubic claw free graphs and 2P 3 free graphs. As a consequence, we are able to establish a complexity dichotomy for the problem on H free graphs when H is connected.


Uncertainty Aware Weakly Supervised Action Detection from Untrimmed Videos. Despite the recent advances in video classification, progress in spatio temporal action recognition has lagged behind. A major contributing factor has been the prohibitive cost of annotating videos frame by frame. In this paper, we present a spatio temporal action recognition model that is trained with only video level labels, which are significantly easier to annotate. Our method leverages per frame person detectors which have been trained on large image datasets within a Multiple Instance Learning framework. We show how we can apply our method in cases where the standard Multiple Instance Learning assumption, that each bag contains at least one instance with the specified label, is invalid using a novel probabilistic variant of MIL where we estimate the uncertainty of each prediction. Furthermore, we report the first weakly supervised results on the AVA dataset and state of the art results among weakly supervised methods on UCF101 24.


Strongly self absorbing C algebras and Fra "iss 'e limits. We show that the Fra "iss 'e limit of a category of unital separable C algebras which is sufficiently closed under tensor products of its objects and morphisms is strongly self absorbing, given that it has approximate inner half flip. We use this connection between Fra "iss 'e limits and strongly self absorbing C algebras to give a self contained and rather elementary proof for the well known fact that the Jiang Su algebra is strongly self absorbing.


A heat equation approach to intertwining. In this paper we present a new approach based on the heat equation and extension problems to some intertwining formulas arising in conformal CR geometry.


Duality based approximation algorithms for depth queries and maximum depth. We design an efficient data structure for computing a suitably defined approximate depth of any query point in the arrangement mathcal A (S) of a collection S of n halfplanes or triangles in the plane or of halfspaces or simplices in higher dimensions. We then use this structure to find a point of an approximate maximum depth in mathcal A (S) . Specifically, given an error parameter epsilon 0 , we compute, for any query point q , an underestimate d (q) of the depth of q , that counts only objects containing q , but is allowed to exclude objects when q is epsilon close to their boundary. Similarly, we compute an overestimate d (q) that counts all objects containing q but may also count objects that do not contain q but q is epsilon close to their boundary. Our algorithms for halfplanes and halfspaces are linear in the number of input objects and in the number of queries, and the dependence of their running time on epsilon is considerably better than that of earlier techniques. Our improvements are particularly substantial for triangles and in higher dimensions.


Supersolutions for parabolic equations with unbounded diffusion and its applications to some classes of parabolic and hyperbolic equations. This paper is concerned with supersolutions to parabolic equations of the form begin equation partial t U (x,t) D(x) Delta U(x,t) 0, quad (x,t) in mathbb R N times (0, infty), end equation where D in C( mathbb R N) is positive. Under the behavior of the diffusion coefficient D with polynomial order at spatial infinity, a family of supersolutions with slowly decaying property at spatial infinity is provided. As a first application, weighted L 2 type decay estimates for the initial boundary value problem of the corresponding parabolic equation are proved. The second application is the study of the exterior problem of wave equations with space dependent damping terms. By using supersolutions provided above, energy estimates with polynomial weight and diffusion phenomena are shown.


Species Area Relationship (SAR) Pattern Description with Geometrical Approach. Several formulations are describing the pattern of species area relationship, log log linear, semi log linear, among others. These patterns mainly explain the species area relationship for large areas, and for the small area, they provide significant differences from real data. We consider the geometric position of individuals of species, and base on that, we find the probability of observing at least one individual of the species. We apply a translation of the well studied problem of mixed salt water in a tank to describe the formula of SAR. For a rectangular sample area the species area relationship follows the pattern, with some simplification, S c A beta a z , where S is the number of species in the area of size A and a,c,z , and beta are constants with z 1 and beta leq1 . We also show how the constant z relates to some macroecological patterns, namely spatial aggregation, percentage of area coverage, and the core satellite model. We exemplify our method using data on tropical tree species from a 50ha plot in Barro Colorado Island (BCI), Panama, using all individuals.


Construction of LDPC convolutional codes via difference triangle sets. In this paper, a construction of (n,k, delta) LDPC convolutional codes over arbitrary finite fields, which generalizes the work of Robinson and Bernstein and the later work of Tong is provided. The sets of integers forming a (k,w) (weak) difference triangle set are used as supports of some columns of the sliding parity check matrix of an (n,k, delta) convolutional code, where n in mathbb N , n k . The parameters of the convolutional code are related to the parameters of the underlying difference triangle set. In particular, a relation between the free distance of the code and w is established as well as a relation between the degree of the code and the scope of the difference triangle set. Moreover, we show that some conditions on the weak difference triangle set ensure that the Tanner graph associated to the sliding parity check matrix of the convolutional code is free from 2 ell cycles not satisfying the full rank condition over any finite field. Finally, we relax these conditions and provide a lower bound on the field size, depending on the parity of ell , that is sufficient to still avoid 2 ell cycles. This is important for improving the performance of a code and avoiding the presence of low weight codewords and absorbing sets.


On uniqueness and structure of renormalized solutions to integro differential equations with general measure data. We propose a new definition of renormalized solution to linear equation with self adjoint operator generating a Markov semigroup and bounded Borel measure on the right hand side. We give a uniqueness result and study the structure of solutions to truncated equations.


Rational G spectra for profinite G . In this thesis we will investigate rational G spectra for a profinite group G. We will provide an algebraic model for this model category whose injective dimension can be calculated in terms of the Cantor Bendixson rank of the space of closed subgroups of G, denoted SG. The algebraic model we consider is chain complexes of Weyl G sheaves of rational vector spaces over the spaces. The key step in proving that this is an algebraic model for G spectra is in proving that the category of rational G Mackey functors is equivalent to Weyl G sheaves. In addition to the fact that this sheaf description utilises the topology of G and the closed subgroups of G in a more explicit way than Mackey functors do, we can also calculate the injective dimension. In the final part of the thesis we will see that the injective dimension of the category of Weyl G sheaves can be calculated in terms of the Cantor Bendixson rank of SG, hence giving the injective dimension of the category of Mackey functors via the earlier equivalence.


Robust numerical computation of the 3D scalar potential field of the cubic Galileon gravity model at solar system scales. Direct detection of dark energy or modified gravity may finally be within reach due to ultrasensitive instrumentation such as atom interferometry capable of detecting incredibly small scale accelerations. Forecasts, constraints and measurement bounds can now too perhaps be estimated from accurate numerical simulations of the fifth force and its Laplacian field at solar system scales. The cubic Galileon gravity scalar field model (CGG), which derives from the DGP braneworld model, describes modified gravity incorporating a Vainshtein screening mechanism. The nonlinear derivative interactions in the CGG equation suppress the field near regions of high density, thereby restoring general relativity (GR) while far from such regions, field enhancement is comparable to GR and the equation is dominated by a linear term. This feature of the governing PDE poses some numerical challenges for computation of the scalar potential, force and Laplacian fields even under stationary conditions. Here we present a numerical method based on finite differences for solution of the static CGG scalar field for a 2D axisymmetric Sun Earth system and a 3D Cartesian Sun Earth Moon system. The method relies on gradient descent of an integrated residual based on the normal attractive branch of the CGG equation. The algorithm is shown to be stable, accurate and rapidly convergent toward the global minimum state. We hope this numerical study, which can easily be extended to include smaller bodies such as detection satellites, will prove useful to future measurement of modified gravity force fields at solar system scales.


Weak type (1, 1) estimates for maximal functions along 1 regular sequences of integers. We show the pointwise convergence of the averages mathcal A N f(x) frac 1 mathbf B N sum n in mathbf B N f(x n) for f in ell 1( mathbb Z ) where mathbf B N mathbf B cap 1, N , and mathbf B is a 1 regular sequence of integers, for example mathbf B lfloor n log n rfloor n in mathbb N .


Convective transport in nanofluids the stationary problem. We analyze the existence of solutions to the stationary problem from a mathematical model for convective transport in nanofluids including thermophoretic effects that is very similar to the celebrated model of Buongiorno 6 .


Rethinking Metadynamics from bias potentials to probability distributions. Metadynamics is an enhanced sampling method of great popularity, based on the on the fly construction of a bias potential that is function of a selected number of collective variables. We propose here a change in perspective that shifts the focus from the bias to the probability distribution reconstruction, while keeping some of the key characteristics of metadynamics, such as the flexible on the fly adjustments to the free energy estimate. The result is an enhanced sampling method that presents a drastic improvement in convergence speed, especially when dealing with suboptimal and or multidimensional sets of collective variables. The method is especially robust and easy to use, in fact it requires only few simple parameters to be set, and it has a straightforward reweighting scheme to recover the statistics of the unbiased ensemble. Furthermore it gives more control on the desired exploration of the phase space, since the deposited bias is not allowed to grow indefinitely and it does not push the simulation to uninteresting high free energy regions. We demonstrate the performance of the method in a number of representative examples.


Existence, nonexistence and multiplicity of positive solutions for singular boundary value problems involving varphi Laplacian. In this paper, we establish the results on the existence, nonexistence and multiplicity of positive solutions to singular boundary value problems involving varphi Laplacian. Our approach is based on the fixed point index theory. The interesting point is that a result for the existence of three positive solutions is given.


BaseSAFE Baseband SAnitized Fuzzing through Emulation. Rogue base stations are an effective attack vector. Cellular basebands represent a critical part of the smartphone's security they parse large amounts of data even before authentication. They can, therefore, grant an attacker a very stealthy way to gather information about calls placed and even to escalate to the main operating system, over the air. In this paper, we discuss a novel cellular fuzzing framework that aims to help security researchers find critical bugs in cellular basebands and similar embedded systems. BaseSAFE allows partial rehosting of cellular basebands for fast instrumented fuzzing off device, even for closed source firmware blobs. BaseSAFE's sanitizing drop in allocator, enables spotting heap based buffer overflows quickly. Using our proof of concept harness, we fuzzed various parsers of the Nucleus RTOS based MediaTek cellular baseband that are accessible from rogue base stations. The emulator instrumentation is highly optimized, reaching hundreds of executions per second on each core for our complex test case, around 15k test cases per second in total. Furthermore, we discuss attack vectors for baseband modems. To the best of our knowledge, this is the first use of emulation based fuzzing for security testing of commercial cellular basebands. Most of the tooling and approaches of BaseSAFE are also applicable for other low level kernels and firmware. Using BaseSAFE, we were able to find memory corruptions including heap out of bounds writes using our proof of concept fuzzing harness in the MediaTek cellular baseband. BaseSAFE, the harness, and a large collection of LTE signaling message test cases will be released open source upon publication of this paper.


physics.ao-ph cs.LG cs.NA math.NA physics.comp-ph physics.flu-dyn

Machine Learned Preconditioners for Linear Solvers in Geophysical Fluid Flows. It is tested whether machine learning methods can be used for preconditioning to increase the performance of the linear solver the backbone of the semi implicit, grid point model approach for weather and climate models. Embedding the machine learning method within the framework of a linear solver circumvents potential robustness issues that machine learning approaches are often criticized for, as the linear solver ensures that a sufficient, pre set level of accuracy is reached. The approach does not require prior availability of a conventional preconditioner and is highly flexible regarding complexity and machine learning design choices. Several machine learning methods are used to learn the optimal preconditioner for a shallow water model with semi implicit timestepping that is conceptually similar to more complex atmosphere models. The machine learning preconditioner is competitive with a conventional preconditioner and provides good results even if it is used outside of the dynamical range of the training dataset.


PONAS Progressive One shot Neural Architecture Search for Very Efficient Deployment. We achieve very efficient deep learning model deployment that designs neural network architectures to fit different hardware constraints. Given a constraint, most neural architecture search (NAS) methods either sample a set of sub networks according to a pre trained accuracy predictor, or adopt the evolutionary algorithm to evolve specialized networks from the supernet. Both approaches are time consuming. Here our key idea for very efficient deployment is, when searching the architecture space, constructing a table that stores the validation accuracy of all candidate blocks at all layers. For a stricter hardware constraint, the architecture of a specialized network can be very efficiently determined based on this table by picking the best candidate blocks that yield the least accuracy loss. To accomplish this idea, we propose Progressive One shot Neural Architecture Search (PONAS) that combines advantages of progressive NAS and one shot methods. In PONAS, we propose a two stage training scheme, including the meta training stage and the fine tuning stage, to make the search process efficient and stable. During search, we evaluate candidate blocks in different layers and construct the accuracy table that is to be used in deployment. Comprehensive experiments verify that PONAS is extremely flexible, and is able to find architecture of a specialized network in around 10 seconds. In ImageNet classification, 75.2 top 1 accuracy can be obtained, which is comparable with the state of the arts.


Single Image Deraining A Comprehensive Benchmark Analysis. We present a comprehensive study and evaluation of existing single image deraining algorithms, using a new large scale benchmark consisting of both synthetic and real world rainy images.This dataset highlights diverse data sources and image contents, and is divided into three subsets (rain streak, rain drop, rain and mist), each serving different training or evaluation purposes. We further provide a rich variety of criteria for dehazing algorithm evaluation, ranging from full reference metrics, to no reference metrics, to subjective evaluation and the novel task driven evaluation. Experiments on the dataset shed light on the comparisons and limitations of state of the art deraining algorithms, and suggest promising future directions.


Colength, multiplicity, and ideal closure operations. In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then R is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.


F FDN Federation of Fog Computing Systems for Low Latency Video Streaming. Video streaming is growing in popularity and has become the most bandwidth consuming Internet service. As such, robust streaming in terms of low latency and uninterrupted streaming experience, particularly for viewers in distant areas, has become a challenge. The common practice to reduce latency is to pre process multiple versions of each video and use Content Delivery Networks (CDN) to cache videos that are popular in a geographical area. However, with the fast growing video repository sizes, caching video contents in multiple versions on each CDN is becoming inefficient. Accordingly, in this paper, we propose the architecture for Fog Delivery Networks (FDN) and provide methods to federate them (called F FDN) to reduce video streaming latency. In addition to caching, FDNs have the ability to process videos in an on demand manner. F FDN leverages cached contents on the neighboring FDNs to further reduce latency. In particular, F FDN is equipped with methods that aim at reducing latency through probabilistically evaluating the cost benefit of fetching video segments either from neighboring FDNs or by processing them. Experimental results against alternative streaming methods show that both on demand processing and leveraging cached video segments on neighboring FDNs can remarkably reduce streaming latency (on average 52 ).


Progressive Multi Stage Learning for Discriminative Tracking. Visual tracking is typically solved as a discriminative learning problem that usually requires high quality samples for online model adaptation. It is a critical and challenging problem to evaluate the training samples collected from previous predictions and employ sample selection by their quality to train the model. To tackle the above problem, we propose a joint discriminative learning scheme with the progressive multi stage optimization policy of sample selection for robust visual tracking. The proposed scheme presents a novel time weighted and detection guided self paced learning strategy for easy to hard sample selection, which is capable of tolerating relatively large intra class variations while maintaining inter class separability. Such a self paced learning strategy is jointly optimized in conjunction with the discriminative tracking process, resulting in robust tracking results. Experiments on the benchmark datasets demonstrate the effectiveness of the proposed learning framework.


A structural model for the Coronavirus Nucleocapsid. We propose a mesoscale model structure for the coronavirus nucleocapsid, assembled from the high resolution structures of the basic building blocks of the N protein, CryoEM imaging and mathematical constraints for an overall quasi spherical particle. The structure is a truncated octahedron that accommodates two layers an outer shell composed of triangular and quadrangular lattices of the N terminal domain and an inner shell of equivalent lattices of coiled parallel helices of the C terminal domain. The model is consistent with the dimensions expected for packaging large viral genomes and provides a rationale to interpret the apparent pleomorphic nature of coronaviruses.


HybCache Hybrid Side Channel Resilient Caches for Trusted Execution Environments. Modern multi core processors share cache resources for maximum cache utilization and performance gains. However, this leaves the cache vulnerable to side channel attacks, where timing differences in shared cache behavior are exploited to infer information on the victim's execution patterns, ultimately leaking private information. The root cause for these attacks is mutually distrusting processes sharing cache entries and accessing them in a deterministic manner. Various defenses against cache side channel attacks have been proposed. However, they either degrade performance significantly, impose impractical restrictions, or can only defeat certain classes of these attacks. More importantly, they assume that side channel resilient caches are required for the entire execution workload and do not allow to selectively enable the mitigation only for the security critical portion of the workload. We present a generic mechanism for a flexible and soft partitioning of set associative caches and propose a hybrid cache architecture, called HybCache. HybCache can be configured to selectively apply side channel resilient cache behavior only for isolated execution domains, while providing the non isolated execution with conventional cache behavior, capacity and performance. An isolation domain can include one or more processes, specific portions of code, or a Trusted Execution Environment. We show that, with minimal hardware modifications and kernel support, HybCache can provide side channel resilient cache only for isolated execution with a performance overhead of 3.5 5 , while incurring no performance overhead for the remaining execution workload. We provide a simulator based and hardware implementation of HybCache to evaluate the performance and area overheads, and show how it mitigates typical access based and contention based cache attacks.


Some Characterizations of Timelike Rectifying Curves in De Sitter 3 Space. De Sitter space is a non flat Lorentzian space form with positive constant curvature which plays an important role in the theory of relativity. In this paper, we define the notions of timelike rectifying curve and timelike conical surface in De Sitter 3 space as Lorentzian viewpoint. Moreover, we give some nice characterizations and results of a timelike rectifying curves with respect to curve hypersurface frame in De Sitter 3 space which is a three dimensional pseudo sphere in Minkowski 4 space.


Empirical Understanding of Deletion Privacy Experiences, Expectations, and Measures. Social platforms are heavily used by individuals to share their thoughts and personal information. However, due to regret over time about posting inappropriate social content, embarrassment, or even life or relationship changes, some past posts might also pose serious privacy concerns for them. To cope with these privacy concerns, social platforms offer deletion mechanisms that allow users to remove their contents. Quite naturally, these deletion mechanisms are really useful for removing past posts as and when needed. However, these same mechanisms also leave the users potentially vulnerable to attacks by adversaries who specifically seek the users' damaging content and exploit the act of deletion as a strong signal for identifying such content. Unfortunately, today user experiences and contextual expectations regarding such attacks on deletion privacy and deletion privacy in general are not well understood. To that end, in this paper, we conduct a user survey based exploration involving 191 participants to unpack their prior deletion experiences, their expectations of deletion privacy, and how effective they find the current deletion mechanisms. We find that more than 80 of the users have deleted at least a social media post, and users self reported that, on average, around 35 of their deletions happened after a week of posting. While the participants identified the irrelevancy (due to time passing) as the main reason for content removal, most of them believed that deletions indicate that the deleted content includes some damaging information to the owner. Importantly, the participants are significantly more concerned about their deletions being noticed by large scale data collectors (e.g., the government) than individuals from their social circle. Finally, the participants felt that popular deletion mechanisms are not very effective in protecting the privacy of those deletions.


A generalization of the Art Gallery Theorem. Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set S of vertices of an n vertex graph G such that G N S , the graph obtained by deleting the closed neighborhood of S , contains no vertices. A classical result of Chv ' a tal, the Art Gallery Theorem, tells us that the minimum size is at most n 3 if G is a mop. Here we consider a modification by allowing G N S to have a maximum degree of at most k . Let iota k(G) denote the size of a smallest set S for which this is achieved. If n le 2k 3 , then trivially iota k(G) leq 1 . Let G be a mop on n ge max 5,2k 3 vertices, n 2 of which are of degree 2 . Sharp bounds on iota k(G) have been obtained for k 0 and k 1 , namely iota 0 (G) le min frac n 4 , frac n n 2 5 , frac n n 2 3 and iota 1(G) le min frac n 5 , frac n n 2 6 , frac n n 2 3 . We prove that iota k (G) le min frac n k 4 , frac n n 2 k 5 , frac n n 2 k 2 for any k ge 0 , and that this bound is sharp. We also prove that frac n n 2 2 is a sharp upper bound on the domination number of G .


The Dodecahedron as a Voronoi Cell and its (minor) importance for the Kepler conjecture. The regular dodecahedron has a 2 smaller volume than the rhombic dodecahedron which is the Voronoi cell of a fcc packing. From this point of view it seems possible that the dodecahedral aspect which is the core of the so called dodecahedral conjecture, will play a major part for an elementary proof of the Kepler conjecture. In this paper we will show that the icosahedral configuration caused by dodecahedron leads to tetrahedra with significantly larger volume than the fcc fundamental parallelotope tessellation tetrahedra. Therefore on the basis of a tetrahedral based point of view for sphere packing densities we will demonstrate the minor importance of the dodecahedron as a Voronoi cell for the Kepler conjecture.


Payment Networks as Creation Games. Payment networks were introduced to address the limitation on the transaction throughput of popular blockchains. To open a payment channel one has to publish a transaction on chain and pay the appropriate transaction fee. A transaction can be routed in the network, as long as there is a path of channels with the necessary capital. The intermediate nodes on this path can ask for a fee to forward the transaction. Hence, opening channels, although costly, can benefit a party, both by reducing the cost of the party for sending a transaction and by collecting the fees from forwarding transactions of other parties. This trade off spawns a network creation game between the channel parties. In this work, we introduce the first game theoretic model for analyzing the network creation game on blockchain payment channels. Further, we examine various network structures (path, star, complete bipartite graph and clique) and determine for each one of them the constraints (fee value) under which they constitute a Nash equilibrium, given a fixed fee policy. Last, we show that the star is a Nash equilibrium when each channel party can freely decide the channel fee. On the other hand, we prove the complete bipartite graph can never be a Nash equilibrium, given a free fee policy.


Computability, orders, and solvable groups. The main objective of this paper is the following two results. (1) There exists a computable bi orderable group that does not have a computable bi ordering (2) There exists a bi orderable, two generated recursively presented solvable group with undecidable word problem. Both of the groups can be found among two generated solvable groups of derived length 3 . (1) answers a question posed by Downey and Kurtz (2) answers a question posed by Bludov and Glass in Kourovka Notebook. One of the technical tools used to obtain the main results is a computational extension of an embedding theorem of B. Neumann that was studied by the author earlier. In this paper we also compliment that result and derive new corollaries that might be of independent interest.


Challenging deep image descriptors for retrieval in heterogeneous iconographic collections. This article proposes to study the behavior of recent and efficient state of the art deep learning based image descriptors for content based image retrieval, facing a panel of complex variations appearing in heterogeneous image datasets, in particular in cultural collections that may involve multi source, multi date and multi view Permission to make digital