Tabular GANs for uneven distribution. GANs are well known for success in the realistic image generation. However, they can be applied in tabular data generation as well. We will review and examine some recent papers about tabular GANs in action. We will generate data to make train distribution bring closer to the test. Then compare model performance trained on the initial train dataset, with trained on the train with GAN generated data, also we train the model by sampling train by adversarial training. We show that using GAN might be an option in case of uneven data distribution between train and test data.


Online Selection of CMA ES Variants. In the field of evolutionary computation, one of the most challenging topics is algorithm selection. Knowing which heuristics to use for which optimization problem is key to obtaining high quality solutions. We aim to extend this research topic by taking a first step towards a selection method for adaptive CMA ES algorithms. We build upon the theoretical work done by van Rijn textit et al. PPSN'18 , in which the potential of switching between different CMA ES variants was quantified in the context of a modular CMA ES framework. We demonstrate in this work that their proposed approach is not very reliable, in that implementing the suggested adaptive configurations does not yield the predicted performance gains. We propose a revised approach, which results in a more robust fit between predicted and actual performance. The adaptive CMA ES approach obtains performance gains on 18 out of 24 tested functions of the BBOB benchmark, with stable advantages of up to 23 . An analysis of module activation indicates which modules are most crucial for the different phases of optimizing each of the 24 benchmark problems. The module activation also suggests that additional gains are possible when including the (B)IPOP modules, which we have excluded for this present work.


Improved compressible Hybrid Lattice Boltzmann Method on standard lattice for subsonic and supersonic flows. A D2Q9 Hybrid Lattice Boltzmann Method (HLBM) is proposed for the simulation of both compressible subsonic and supersonic flows. This HLBM is an extension of the model of Feng et al 12 , which has been found, via different test cases, to be unstable for supersonic regimes. The improvements consist of (1) a new discretization of the lattice closure correction term making possible to properly simulate supersonic flows, (2) a corrected viscous stress tensor that takes into account polyatomic gases, and (3) a novel discretization of the viscous heat production term fitting with the regularized formalism. The result is a hybrid method that resolves the mass and momentum equations with an LBM algorithm, and resolves the entropy based energy equation with a finite volume method. This approach fully recovers the physics of the Navier Stokes Fourier equations with the ideal gas equation of state, and is valid from subsonic to supersonic regimes. It is then successfully assessed with both smooth flows and flows involving shocks. The proposed model is shown to be an efficient, accurate, and robust alternative to classic Navier Stokes methods for the simulation of compressible flows


Satisfiability Threshold for Power Law Random 2 SAT in Configuration Model. The Random Satisfiability problem has been intensively studied for decades. For a number of reasons the focus of this study has mostly been on the model, in which instances are sampled uniformly at random from a set of formulas satisfying some clear conditions, such as fixed density or the probability of a clause to occur. However, some non uniform distributions are also of considerable interest. In this paper we consider Random 2 SAT problems, in which instances are sampled from a wide range of non uniform distributions. The model of random SAT we choose is the so called configuration model, given by a distribution xi for the degree (or the number of occurrences) of each variable. Then to generate a formula the degree of each variable is sampled from xi , generating several emph clones of the variable. Then 2 clauses are created by choosing a random paritioning into 2 element sets on the set of clones and assigning the polarity of literals at random. Here we consider the random 2 SAT problem in the configuration model for power law like distributions xi . More precisely, we assume that xi is such that its right tail F xi (x) satisfies the conditions W ell alpha le F xi ( ell) le V ell alpha for some constants V,W . The main goal is to study the satisfiability threshold phenomenon depending on the parameters alpha,V,W . We show that a satisfiability threshold exists and is determined by a simple relation between the first and second moments of xi .


MELD Meta Reinforcement Learning from Images via Latent State Models. Meta reinforcement learning algorithms can enable autonomous agents, such as robots, to quickly acquire new behaviors by leveraging prior experience in a set of related training tasks. However, the onerous data requirements of meta training compounded with the challenge of learning from sensory inputs such as images have made meta RL challenging to apply to real robotic systems. Latent state models, which learn compact state representations from a sequence of observations, can accelerate representation learning from visual inputs. In this paper, we leverage the perspective of meta learning as task inference to show that latent state models can emph also perform meta learning given an appropriately defined observation space. Building on this insight, we develop meta RL with latent dynamics (MELD), an algorithm for meta RL from images that performs inference in a latent state model to quickly acquire new skills given observations and rewards. MELD outperforms prior meta RL methods on several simulated image based robotic control problems, and enables a real WidowX robotic arm to insert an Ethernet cable into new locations given a sparse task completion signal after only 8 hours of real world meta training. To our knowledge, MELD is the first meta RL algorithm trained in a real world robotic control setting from images.


Congruences of algebraic automorphic forms and supercuspidal representations. Let G be a connected reductive group over a totally real field F which is compact modulo center at archimedean places. We find congruences modulo an arbitrary power of p between the space of arbitrary automorphic forms on G( mathbb A F) and that of automorphic forms with supercuspidal components at p, provided that p is larger than the Coxeter number of the absolute Weyl group of G . We illustrate how such congruences can be applied in the construction of Galois representations. Our proof is based on type theory for representations of p adic groups, generalizing the prototypical case of GL(2) in arXiv 1506.04022, Section 7 to general reductive groups. We exhibit a plethora of new supercuspidal types consisting of arbitrarily small compact open subgroups and characters thereof. We expect these results of independent interest to have further applications. For example, we extend the result by Emerton Pa v s k unas on density of supercuspidal points from definite unitary groups to general G as above.


American Sign Language Alphabet Recognition using Deep Learning. Tremendous headway has been made in the field of 3D hand pose estimation but the 3D depth cameras are usually inaccessible. We propose a model to recognize American Sign Language alphabet from RGB images. Images for the training were resized and pre processed before training the Deep Neural Network. The model was trained on a squeezenet architecture to make it capable of running on mobile devices with an accuracy of 83.29 .


Exploring EOSIO via Graph Characterization. Designed for commercial decentralized applications (DApps), EOSIO is a Delegated Proof of Stake (DPoS) based blockchain system. It has overcome some shortages of the traditional blockchain systems like Bitcoin and Ethereum with its outstanding features (e.g., free for usage, high throughput and eco friendly), and thus becomes one of the mainstream blockchain systems. Though there exist billions of transactions in EOSIO, the ecosystem of EOSIO is still relatively unexplored. To fill this gap, we conduct a systematic graph analysis on the early EOSIO by investigating its four major activities, namely account creation, account vote, money transfer and contract authorization. We obtain some novel observations via graph metric analysis, and our results reveal some abnormal phenomenons like voting gangs and sham transactions.


Virtual Forward Dynamics Models for Cartesian Robot Control. In industrial context, admittance control represents an important scheme in programming robots for interaction tasks with their environments. Those robots usually implement high gain disturbance rejection on joint level and hide direct access to the actuators behind velocity or position controlled interfaces. Using wrist force torque sensors to add compliance to these systems, force resolved control laws must map the control signals from Cartesian space to joint motion. Although forward dynamics algorithms would perfectly fit to that task description, their application to Cartesian robot control is not well researched. This paper proposes a general concept of virtual forward dynamics models for Cartesian robot control and investigates how the forward mapping behaves in comparison to well established alternatives. Through decreasing the virtual system's link masses in comparison to the end effector, the virtual system becomes linear in the operational space dynamics. Experiments focus on stability and manipulability, particularly in singular configurations. Our results show that through this trick, forward dynamics can combine both benefits of the Jacobian inverse and the Jacobian transpose and, in this regard, outperforms the Damped Least Squares method.


Groups with star free commuting graphs. Let G be a group and Z(G) be its center. We associate a commuting graph Gamma (G) , whose vertex set is G setminus Z(G) and two distinct vertices are adjacent if they commute. We say that Gamma (G) is strong k star free if the k star graph is not a subgraph of Gamma (G) . In this paper, we characterize all strong 5 star free commuting graphs. As a byproduct, we classify all strong claw free graphs. Also, we prove that the set of all non abelian groups whose commuting graph is strong k star free is finite.


Bad oracles in higher computability and randomness. Many constructions in computability theory rely on "time tricks". In the higher setting, relativising to some oracles shows the necessity of these. We construct an oracle A and a set X , higher Turing reducible to X , but for which Psi(A) ne X for any higher functional Psi which is consistent on all oracles. We construct an oracle A relative to which there is no universal higher ML test. On the other hand, we show that badness has its limits there are no higher self PA oracles, and for no A can we construct a higher A c.e. set which is also higher A ML random. We study various classes of bad oracles and differentiate between them using other familiar classes. For example, bad oracles for consistent reductions can be higher ML random, whereas bad oracles for universal tests cannot.


Situation Awareness and Information Fusion in Sales and Customer Engagement A Paradigm Shift. With today's savvy and empowered customers, sales requires more judgment and becomes more cognitively intense than ever before. We argue that Situation Awareness (SA) is at the center of effective sales and customer engagement in this new era, and Information Fusion (IF) is the key for developing the next generation of decision support systems for digital and AI transformation, leveraging the ubiquitous virtual presence of sales and customer engagement which provides substantially richer capacity to access information. We propose a vision and path for the paradigm shift from Customer Relationship Management (CRM) to the new paradigm of IF. We argue this new paradigm solves major problems of the current CRM paradigm (1) it reduces the burden of manual data entry and enables more reliable, comprehensive and up to date data and knowledge, (2) it enhances individual and team SA and alleviates information silos with increased knowledge transferability, and (3) it enables a more powerful ecosystem of applications by providing common shared layer of computable knowledge assets.


Group actions on matrices over local rings. Annihilators of T 1 modules for the groups mathcal G lr , mathcal G congr . We consider matrices with entries in a local ring, Mat(R). Fix a group action, G on Mat(R), and a subset of allowed deformations, Sigma. The traditional objects of study in Singularity Theory and Algebraic Geometry are the tangent spaces T ( Sigma,A) , T (GA,A) , and their quotient, the tangent module to the miniversal deformation, T 1 ( Sigma,G,A) . This module plays the key role in various deformation problems, e.g., deformations of maps, of modules, of (skew )symmetric forms. In particular, the first question is to determine the support annihilator of this tangent module. In Belitski Kerner.1 we have studied this tangent module for various R linear group actions. In the current work we study the support of the module T 1 ( Sigma,G,A) for group actions that involve automorphisms of the ring. (Geometrically, these are group actions that involve the local coordinate changes.) We obtain various bounds on localizations of T 1 ( Sigma,G,A) and compute the radical of the annihilator of T 1 ( Sigma,G,A) , i.e., the set theoretic support. This brings the definition of an (apparently new) type of singular locus, the "essential singular locus" of a map sub scheme. It reflects the "unexpected" singularities of a subscheme, ignoring those imposed by the singularities of the ambient space. Unlike the classical singular locus (defined by a Fitting ideal of the module of differentials) the essential is defined by the annihilator ideal of the module of derivations.


The existence and utility of Giry algebras in probability theory. Giry algebras are barycenters maps, which are coequalizers of contractible coequalizer pairs (like any algebras), and their existence, in general, requires the measurable space be coseparated by the discrete two point space, and the hypothesis that no measurable cardinals exist. Under that hypothesis, every measurable space which is coseparated has an algebra, and the category of Giry algebras provides a convenient setting for probability theory because it is a symmetric monoidal closed category with all limits and colimits, as well as having a seperator and coseperator. This is in stark contrast to the Kleisi category of the Giry monad, which is often used to model conditional probability, which has a seperator but not much else.


Quasi Monte Carlo finite element analysis for wave propagation in heterogeneous random media. We propose and analyze a quasi Monte Carlo (QMC) algorithm for efficient simulation of wave propagation modeled by the Helmholtz equation in a bounded region in which the refractive index is random and spatially heterogenous. Our focus is on the case in which the region can contain multiple wavelengths. We bypass the usual sign indefiniteness of the Helmholtz problem by switching to an alternative sign definite formulation recently developed by Ganesh and Morgenstern (Numerical Algorithms, 83, 1441 1487, 2020). The price to pay is that the regularity analysis required for QMC methods becomes much more technical. Nevertheless we obtain a complete analysis with error comprising stochastic dimension truncation error, finite element error and cubature error, with results comparable to those obtained for the diffusion problem.


Using AI ML to gain situational understanding from passive network observations. The data available in the network traffic fromany Government building contains a significant amount ofinformation. An analysis of the traffic can yield insightsand situational understanding about what is happening inthe building. However, the use of traditional network packet inspection, either deep or shallow, is useful for only a limited understanding of the environment, with applicability limited to some aspects of network and security management. If weuse AI ML based techniques to understand the network traffic, we can gain significant insights which increase our situational awareness of what is happening in the environment.At IBM, we have created a system which uses a combination of network domain knowledge and machine learning techniques to convert network traffic into actionable insights about the on premise environment. These insights include characterization of the communicating devices, discovering unauthorized devices that may violate policy requirements, identifying hidden components and vulnerability points, detecting leakage of sensitive information, and identifying the presence of people and devices.In this paper, we will describe the overall design of this system, the major use cases that have been identified for it, and the lessons learnt when deploying this system for some of those use cases


All Word Embeddings from One Embedding. In neural network based models for natural language processing (NLP), the largest part of the parameters often consists of word embeddings. Conventional models prepare a large embedding matrix whose size depends on the vocabulary size. Therefore, storing these models in memory and disk storage is costly. In this study, to reduce the total number of parameters, the embeddings for all words are represented by transforming a shared embedding. The proposed method, ALONE (all word embeddings from one), constructs the embedding of a word by modifying the shared embedding with a filter vector, which is word specific but non trainable. Then, we input the constructed embedding into a feed forward neural network to increase its expressiveness. Naively, the filter vectors occupy the same memory size as the conventional embedding matrix, which depends on the vocabulary size. To solve this issue, we also introduce a memory efficient filter construction approach. We indicate our ALONE can be used as word representation sufficiently through an experiment on the reconstruction of pre trained word embeddings. In addition, we also conduct experiments on NLP application tasks machine translation and summarization. We combined ALONE with the current state of the art encoder decoder model, the Transformer, and achieved comparable scores on WMT 2014 English to German translation and DUC 2004 very short summarization with less parameters.


At Most One Constraints in Efficient Representations of Mutex Networks. The At Most One (AMO) constraint is a special case of cardinality constraint that requires at most one variable from a set of Boolean variables to be set to TRUE. AMO is important for modeling problems as Boolean satisfiability (SAT) from domains where decision variables represent spatial or temporal placements of some objects that cannot share the same spatial or temporal slot. The AMO constraint can be used for more efficient representation and problem solving in mutex networks consisting of pair wise mutual exclusions forbidding pairs of Boolean variable to be simultaneously TRUE. An on line method for automated detection of cliques for efficient representation of incremental mutex networks where new mutexes arrive using AMOs is presented. A comparison of SAT based problem solving in mutex networks represented by AMO constraints using various encodings is shown.


Semimartingale dynamics and estimation for a semi Markov chain. We consider a finite state discrete time process X. Without loss of generality the finite state space can be identified with the set of unit vectors e1, e2, . . . , eN with ei (0, . . . , 0, 1, 0, . . . , 0)0 2 RN. For a Markov chain the times the process stays in any state are geometrically distributed. This condition is relaxed for a semi Markov chain. We first derive the semimartingale dynamics for a semi Markov chain. We then consider the situation where the chain is observed in noise. We suggest how to estimate the occupation times in the states and derive filters and smoothers for quantities associated with the chain.


Robust quantitative single exposure laser speckle imaging with true flow speckle contrast in the temporal and spatial domains. A systematic and robust laser speckle contrast imaging (LSCI) method and procedure is presented, covering the LSCI system calibration, static scattering removal, and measurement noise estimation and correction to obtain a true flow speckle contrast and the flow speed from single exposure LSCI measurements. We advocate to use as the speckle contrast instead of the conventional contrast K as the former relates simply to the flow velocity and is with additive noise alone. We demonstrate the efficacy of the proposed true flow speckle contrast by imaging phantom flow at varying speeds, showing that (1) the proposed recipe greatly enhances the linear sensitivity of the flow index (inverse decorrelation time) and the linearity covers the full span of flow speeds from 0 mm s to 40 mm s and (2) the true flow speed can be recovered regardless of the overlying static scattering layers and the type of speckle statistics (temporal or spatial). The fundamental difference between the apparent temporal and spatial speckle contrasts is further revealed. The flow index recovered in the spatial domain is much more susceptible to static scattering and exhibit a shorter linearity range than that obtained in the temporal domain. The proposed LSCI analysis framework paves the way to estimate the true flow speed in the wide array of laser speckle contrast imaging applications.


Self Supervised Visual Learning by Variable Playback Speeds Prediction of a Video. We propose a self supervised visual learning method by predicting the variable playback speeds of a video. Without semantic labels, we learn the spatio temporal visual representation of the video by leveraging the variations in the visual appearance according to different playback speeds under the assumption of temporal coherence. To learn the spatio temporal visual variations in the entire video, we have not only predicted a single playback speed but also generated clips of various playback speeds and directions with randomized starting points. Hence the visual representation can be successfully learned from the meta information (playback speeds and directions) of the video. We also propose a new layer dependable temporal group normalization method that can be applied to 3D convolutional networks to improve the representation learning performance where we divide the temporal features into several groups and normalize each one using the different corresponding parameters. We validate the effectiveness of our method by fine tuning it to the action recognition and video retrieval tasks on UCF 101 and HMDB 51.


Kolmogorov reform of mathematical education, 1970 1980. This reform was a part of a transnational movement as 'the New Math' in the United States or the activity of the Lichnerowicz commission in France. The Russian version of these events involved the whole secondary and high school (4 10 grades). The leaders of the reformation were Alexey Markushevich and Andrey Kolmogorov. Their team consisted of best educationalists and best specialists in supplementary education. The project offered unqualified support of the Academy of Sciences and of the Ministry of education. However, the program of the reform was too optimistic, apparently some strategical ideas were unrealizable (and certainly there were no sufficient preliminary experiments for their verification). Starting September 1972 Soviet school was depressed, enormous efforts of participants of the reformation and simplification of the new school curriculum could not improve the situation. The reform was stopped by Lev Pontryagin in autumn 1980. The counterreformation required quick not prepared steps and was not well ordered. In 1981 1985 the heavy crisis was overcome but the mathematical education did not return to the pre reform level.


cs.CE physics.app-ph physics.chem-ph physics.comp-ph

An optimal scaling to computationally tractable dimensionless models Study of latex particles morphology formation. In modelling of chemical, physical or biological systems it may occur that the coefficients, multiplying various terms in the equation of interest, differ greatly in magnitude, if a particular system of units is used. Such is, for instance, the case of the Population Balance Equations (PBE) proposed to model the Latex Particles Morphology formation. The obvious way out of this difficulty is the use of dimensionless scaled quantities, although often the scaling procedure is not unique. In this paper, we introduce a conceptually new general approach, called Optimal Scaling (OS). The method is tested on the known examples from classical and quantum mechanics, and applied to the Latex Particles Morphology model, where it allows us to reduce the variation of the relevant coefficients from 49 to just 4 orders of magnitudes. The PBE are then solved by a novel Generalised Method Of Characteristics, and the OS is shown to help reduce numerical error, and avoid unphysical behaviour of the solution. Although inspired by a particular application, the proposed scaling algorithm is expected find application in a wide range of chemical, physical and biological problems.


Poset subdivisions and the mixed cd index. The cd index is an invariant of Eulerian posets expressed as a polynomial in noncommuting variables c and d. It determines another invariant, the h polynomial. In this paper, we study the relative setting, that of subdivisions of posets. We introduce the mixed cd index, an invariant of strong formal subdivisions of posets, which determines the mixed h polynomial introduced by the second author with Stapledon. The mixed cd index is a polynomial in noncommuting variables c',d',c,d, and e and is defined in terms of the local cd index of Karu. Here, use is made of the decomposition theorem for the cd index. We extend the proof of the decomposition theorem, originally due to Ehrenborg Karu, to the class of strong formal subdivisions. We also compute the mixed cd index in a number of examples.


Pre defined Sparsity for Low Complexity Convolutional Neural Networks. The high energy cost of processing deep convolutional neural networks impedes their ubiquitous deployment in energy constrained platforms such as embedded systems and IoT devices. This work introduces convolutional layers with pre defined sparse 2D kernels that have support sets that repeat periodically within and across filters. Due to the efficient storage of our periodic sparse kernels, the parameter savings can translate into considerable improvements in energy efficiency due to reduced DRAM accesses, thus promising significant improvements in the trade off between energy consumption and accuracy for both training and inference. To evaluate this approach, we performed experiments with two widely accepted datasets, CIFAR 10 and Tiny ImageNet in sparse variants of the ResNet18 and VGG16 architectures. Compared to baseline models, our proposed sparse variants require up to 82 fewer model parameters with 5.6times fewer FLOPs with negligible loss in accuracy for ResNet18 on CIFAR 10. For VGG16 trained on Tiny ImageNet, our approach requires 5.8times fewer FLOPs and up to 83.3 fewer model parameters with a drop in top 5 (top 1) accuracy of only 1.2 (2.1 ). We also compared the performance of our proposed architectures with that of ShuffleNet andMobileNetV2. Using similar hyperparameters and FLOPs, our ResNet18 variants yield an average accuracy improvement of 2.8 .


A Weakly Supervised Convolutional Network for Change Segmentation and Classification. Fully supervised change detection methods require difficult to procure pixel level labels, while weakly supervised approaches can be trained with image level labels. However, most of these approaches require a combination of changed and unchanged image pairs for training. Thus, these methods can not directly be used for datasets where only changed image pairs are available. We present W CDNet, a novel weakly supervised change detection network that can be trained with image level semantic labels. Additionally, W CDNet can be trained with two different types of datasets, either containing changed image pairs only or a mixture of changed and unchanged image pairs. Since we use image level semantic labels for training, we simultaneously create a change mask and label the changed object for single label images. W CDNet employs a W shaped siamese U net to extract feature maps from an image pair which then get compared in order to create a raw change mask. The core part of our model, the Change Segmentation and Classification (CSC) module, learns an accurate change mask at a hidden layer by using a custom Remapping Block and then segmenting the current input image with the change mask. The segmented image is used to predict the image level semantic label. The correct label can only be predicted if the change mask actually marks relevant change. This forces the model to learn an accurate change mask. We demonstrate the segmentation and classification performance of our approach and achieve top results on AICD and HRSCD, two public aerial imaging change detection datasets as well as on a Food Waste change detection dataset. Our code is available at https github.com PhiAbs W CDNet .


Arithmetic topology of 4 manifolds. We construct a functor from the smooth 4 dimensional manifolds to the hyper algebraic number fields, i.e. fields with non commutative multiplication. It is proved that that the simply connected 4 manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of the non commutative fields.


A Data Structure Perspective to the RDD based Apriori Algorithm on Spark. During the recent years, a number of efficient and scalable frequent itemset mining algorithms for big data analytics have been proposed by many researchers. Initially, MapReduce based frequent itemset mining algorithms on Hadoop cluster were proposed. Although, Hadoop has been developed as a cluster computing system for handling and processing big data, but the performance of Hadoop does not meet the expectation for the iterative algorithms of data mining, due to its high I O, and writing and then reading intermediate results in the disk. Consequently, Spark has been developed as another cluster computing infrastructure which is much faster than Hadoop due to its in memory computation. It is highly suitable for iterative algorithms and supports batch, interactive, iterative, and stream processing of data. Many frequent itemset mining algorithms have been re designed on the Spark, and most of them are Apriori based. All these Spark based Apriori algorithms use Hash Tree as the underlying data structure. This paper investigates the efficiency of various data structures for the Spark based Apriori. Although, the data structure perspective has been investigated previously, but for MapReduce based Apriori, and it must be re investigated in the distributed computing environment of Spark. The considered underlying data structures are Hash Tree, Trie, and Hash Table Trie. The experimental results on the benchmark datasets show that the performance of Spark based Apriori with Trie and Hash Table Trie are almost similar but both perform many times better than Hash Tree in the distributed computing environment of Spark.


Surface Drinfeld Torsors I Higher Genus Associators. We develop a higher genus version of Drinfeld associators by means of operad theory. We start by introducing a framed version of rational associators and Grothendieck Teichm "uller groups and show that their definition is independent of the framing data. Next, we define a framed version of the universal KZ connection and we use it to show that over the complex numbers, the rational framed Drinfeld torsor is not empty. Next, we concentrate on the higher genus version of this story. We define an operad module of framed parenthesized higher genus braidings in prounipotent groupoids and we define its chord diagram counterpart. We then use these operadic modules to operadicly define higher genus associators and Grothendieck Teichm "uller groups, which again do not depend on the framing data. Finally, we compare our results in the genus 1 case with those appearing in the litterature.


Welcome to Gab Alt Right Discourses. Social media has become an important venue for diverse groups to share information, discuss political issues, and organize social movements. Recent scholarship has shown that the social media ecosystem can affect political thinking and expression. Individuals and groups across the political spectrum have engaged in the use of these platforms extensively, even creating their own forums with varying approaches to content moderation in pursuit of freer standards of speech. The Gab social media platform arose in this context. Gab is a social media platform for the so called alt right, and much of the popular press has opined about the thematic content of discourses on Gab and platforms like it, but little research has examined the content itself. Using a publicly available dataset of all Gab posts from August 2016 until July 2019, the current paper explores a five percent random sample of this dataset to explore thematic content on the platform. We run multiple structural topic models, using standard procedures to arrive at an optimal k number of topics. The final model specifies 85 topics for 403,469 documents. We include as prevalence variables whether the source account has been flagged as a bot and the number of followers for the source account. Results suggest the most nodal topics in the dataset pertain to the authenticity of the Holocaust, the meaning of red pill, and the journalistic merit of mainstream media. We conclude by discussing the implications of our findings for work in ethical content moderation, online community development, political polarization, and avenues for future research.


Effectiveness of Self Normalizing Neural Networks for Text Classification. Self Normalizing Neural Networks(SNN) proposed on Feed Forward Neural Networks(FNN) outperform regular FNN architectures in various machine learning tasks. Particularly in the domain of Computer Vision, the activation function Scaled Exponential Linear Units (SELU) proposed for SNNs, perform better than other non linear activations such as ReLU. The goal of SNN is to produce a normalized output for a normalized input. Established neural network architectures like feed forward networks and Convolutional Neural Networks(CNN) lack the intrinsic nature of normalizing outputs. Hence, requiring additional layers such as Batch Normalization. Despite the success of SNNs, their characteristic features on other network architectures like CNN haven't been explored, especially in the domain of Natural Language Processing. In this paper we aim to show the effectiveness of proposed, Self Normalizing Convolutional Neural Networks(SCNN) on text classification. We analyze their performance with the standard CNN architecture used on several text classification datasets. Our experiments demonstrate that SCNN achieves comparable results to standard CNN model with significantly fewer parameters. Furthermore it also outperforms CNN with equal number of parameters.


Quasi popular Matchings, Optimality, and Extended Formulations. Let G ((A,B),E) be an instance of the stable marriage problem where every vertex ranks its neighbors in a strict order of preference. A matching M in G is popular if M does not lose a head to head election against any matching. Popular matchings are a well studied generalization of stable matchings, introduced with the goal of enlarging the set of admissible solutions, while maintaining a certain level of fairness. Every stable matching is a min size popular matching. Unfortunately, when there are edge costs, it is NP hard to find a popular matching of minimum cost even worse, the min cost popular matching problem is hard to approximate up to any factor. Let opt be the cost of a min cost popular matching. Our goal is to efficiently compute a matching of cost at most opt by paying the price of mildly relaxing popularity. Our main positive results are two bi criteria algorithms that find in polynomial time a near popular or quasi popular matching of cost at most opt. Moreover, one of the algorithms finds a quasi popular matching of cost at most that of a min cost popular fractional matching, which could be much smaller than opt. Key to the other algorithm is a polynomial size extended formulation for an integral polytope sandwiched between the popular and quasi popular matching polytopes. We complement these results by showing that it is NP hard to find a quasi popular matching of minimum cost, and that both the popular and quasi popular matching polytopes have near exponential extension complexity. This version of the paper goes beyond the conference version 12 in the following two points (i) the algorithm for finding a quasi popular matching of cost at most that of a min cost popular fractional matching is new (ii) the proofs from Section 6.1 and Section 7.3 are now self contained (the conference version used constructions from 10 to show these lower bounds).


The estimation of training accuracy for two layer neural networks on random datasets without training. Although the neural network (NN) technique plays an important role in machine learning, understanding the mechanism of NN models and the transparency of deep learning still require more basic research. In this study we propose a novel theory based on space partitioning to estimate the approximate training accuracy for two layer neural networks on random datasets without training. There appear to be no other studies that have proposed a method to estimate training accuracy without using input data or trained models. Our method estimates the training accuracy for two layer fully connected neural networks on two class random datasets using only three arguments the dimensionality of inputs (d), the number of inputs (N), and the number of neurons in the hidden layer (L). We have verified our method using real training accuracies in our experiments. The results indicate that the method will work for any dimension, and the proposed theory could extend also to estimate deeper NN models. This study may provide a starting point for a new way for researchers to make progress on the difficult problem of understanding deep learning.


Data efficient visuomotor policy training using reinforcement learning and generative models. We present a data efficient framework for solving visuomotor sequential decision making problems which exploits the combination of reinforcement learning (RL) and latent variable generative models. Our framework trains deep visuomotor policies by introducing an action latent variable such that the feed forward policy search can be divided into three parts (i) training a sub policy that outputs a distribution over the action latent variable given a state of the system, (ii) unsupervised training of a generative model that outputs a sequence of motor actions conditioned on the latent action variable, and (iii) supervised training of the deep visuomotor policy in an end to end fashion. Our approach enables safe exploration and alleviates the data inefficiency problem as it exploits prior knowledge about valid sequences of motor actions. Moreover, we provide a set of measures for evaluation of generative models such that we are able to predict the performance of the RL policy training prior to the actual training on a physical robot. We define two novel measures of disentanglement and local linearity for assessing the quality of latent representations, and complement them with existing measures for assessment of the learned distribution. We experimentally determine the characteristics of different generative models that have the most influence on performance of the final policy training on a robotic picking task.


A New Characterization of Path Graphs. Path graphs are intersection graphs of paths in a tree. In this paper we give a "6 good characterization" of path graphs, namely, we prove that path graph membership is in NP cap CoNP without resorting to existing polynomial time algorithms. The characterization is given in terms of the collection of the emph attachedness graphs of a graph, a novel device to deal with the connected components of a graph after the removal of clique separators. On the one hand, the characterization refines and simplifies the characterization of path graphs due to Monma and Wei C.L. Monma, and V.K. Wei, Intersection G raphs of P aths in a T ree, J. Combin. Theory Ser. B, 41 2 (1986) 141 181 , which we build on, by reducing a constrained vertex coloring problem defined on the emph attachedness graphs to a vertex 2 coloring problem on the same graphs. On the other hand, the characterization allows us to exhibit two exhaustive lists of obstructions to path graph membership in the form of minimal forbidden induced partial 2 edge colored subgraphs in each of the emph attachedness graphs .


Canonical Representations of k Safety Hyperproperties. Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information flow policies. For trace properties, algorithms for verification, monitoring, and synthesis are typically based on a representation of the properties as omega automata. For hyperproperties, a similar, canonical automata theoretic representation is, so far, missing. This is a serious obstacle for the development of algorithms, because basic constructions, such as learning algorithms, cannot be applied. In this paper, we present a canonical representation for the widely used class of regular k safety hyperproperties, which includes important polices such as noninterference. We show that a regular k safety hyperproperty S can be represented by a finite automaton, where each word accepted by the automaton represents a violation of S. The representation provides an automata theoretic approach to regular k safety hyperproperties and allows us to compare regular k safety hyperproperties, simplify them, and learn such hyperproperties. We investigate the problem of constructing automata for regular k safety hyperproperties in general and from formulas in HyperLTL, and provide complexity bounds for the different translations. We also present a learning algorithm for regular k safety hyperproperties based on the L learning algorithm for deterministic finite automata.


Mean Field Exponential Utility Game A Probabilistic Approach. We study an N player and a mean field exponential utility game. Each player manages two stocks one is driven by an individual shock and the other is driven by a common shock. Moreover, each player is concerned not only with her own terminal wealth but also with the relative performance of her competitors. We use the probabilistic approach to study these two games. We show the unique equilibrium of the N player game and the mean field game can be characterized by a novel multi dimensional FBSDE with quadratic growth and a novel mean field FBSDEs, respectively. The well posedness result and the convergence result are established.


Duality between range and no response tests and its application for inverse problems. In this paper we will show the duality between the range test (RT) and no response test (NRT) for the inverse boundary value problem for the Laplace equation in Omega setminus overline D with an obstacle D Subset Omega whose boundary partial D is visible from the boundary partial Omega of Omega and a measurement is given as a set of Cauchy data on partial Omega . Here the Cauchy data is given by a unique solution u of the boundary value problem for the Laplace equation in Omega setminus overline D with homogeneous and inhomogeneous Dirichlet boundary condition on partial D and partial Omega , respectively. These testing methods are domain sampling method to estimate the location of the obstacle using test domains and the associated indicator functions. Also both of these testing methods can test the analytic extension of u to the exterior of a test domain. Since these methods are defined via some operators which are dual to each other, we could expect that there is a duality between the two methods. We will give this duality in terms of the equivalence of the pre indicator functions associated to their indicator functions. As an application of the duality, the reconstruction of D using the RT gives the reconstruction of D using the NRT and vice versa. We will also give each of these reconstructions without using the duality if the Dirichlet data of the Cauchy data on partial Omega is not identically zero and the solution to the associated forward problem does not have any analytic extension across partial D . Moreover, we will show that these methods can still give the reconstruction of D if D is a convex polygon and it satisfies one of the following two properties all of its corner angles are irrational and its diameter is less than its distance to partial Omega .


Incubation Induced Light Concentration Beyond the Diffraction Limit for High Resolution Glass Printing. In the past two decades, tremendous efforts have been exerted to understand and control the delivery of ultrashort laser pulses into various types of transparent materials ranging from glass and crystal to polymer and even bio materials. This approach opens up the route toward determinative and highly localized modification within the transparent materials, enabling three dimensional (3D) micromachining of the materials into sophisticated structures and devices with the extreme geometrical flexibility. Owing to the linear diffraction and nonlinear self focusing effects, the focal volume typically exhibits an asymmetric profile stretching along the longitudinal direction. This effect becomes more severe when focusing deeply into the transparent substrates for printing objects of large heights. In this work a new laser material interaction regime is identified with the exceptional incubation effect originating from self regulated multiple pulse interactions with accumulated material changes. Our finding reveals a focal volume invariant modification deeply inside the fused silica glass, in striking contrary to the traditional believes that the geometrical shape of the laser induced modification follows the intensity distribution of the inscription laser. A macro scale geometrically complex glass sculpture is successfully manufactured with the incubation assisted ultrashort laser inscription at uniform micrometer resolutions in all three dimensions.


Performance of the Uniform Closure Method for open knotting as a Bayes type classifier. The discovery of knotting in proteins and other macromolecular chains has motivated researchers to more carefully consider how to identify and classify knots in open arcs. Most definitions classify knotting in open arcs by constructing an ensemble of closures and measuring the probability of different knot types among these closures. In this paper, we think of assigning knot types to open curves as a classification problem and compare the performance of the Bayes MAP classifier to the standard Uniform Closure Method. Surprisingly, we find that both methods are essentially equivalent as classifiers, having comparable accuracy and positive predictive value across a wide range of input arc lengths and knot types.


A Model based Chatbot Generation Approach to Converse with Open Data Sources. The Open Data movement promotes the free distribution of data. More and more companies and governmental organizations are making their data available online following the Open Data philosophy, resulting in a growing market of technologies and services to help publish and consume data. One of the emergent ways to publish such data is via Web APIs, which offer a powerful means to reuse this data and integrate it with other services. Socrata, CKAN or OData are examples of popular specifications for publishing data via Web APIs. Nevertheless, querying and integrating these Web APIs is time consuming and requires technical skills that limit the benefits of Open Data movement for the regular citizen. In other contexts, chatbot applications are being increasingly adopted as a direct communication channel between companies and end users. We believe the same could be true for Open Data as a way to bridge the gap between citizens and Open Data sources. This paper describes an approach to automatically derive full fledged chatbots from API based Open Data sources. Our process relies on a model based intermediate representation (via UML class diagrams and profiles) to facilitate the customization of the chatbot to be generated.


On the Existence of Algebraically Natural Proofs. For every constant c 0, we show that there is a family P N, c of polynomials whose degree and algebraic circuit complexity are polynomially bounded in the number of variables, that satisfies the following properties For every family f n of polynomials in VP, where f n is an n variate polynomial of degree at most n c with bounded integer coefficients and for N binom n c n n , P N,c emph vanishes on the coefficient vector of f n. There exists a family h n of polynomials where h n is an n variate polynomial of degree at most n c with bounded integer coefficients such that for N binom n c n n , P N,c emph does not vanish on the coefficient vector of h n. In other words, there are efficiently computable equations for polynomials in VP that have small integer coefficients. In fact, we also prove an analogous statement for the seemingly larger class VNP. Thus, in this setting of polynomials with small integer coefficients, this provides evidence emph against a natural proof like barrier for proving algebraic circuit lower bounds, a framework for which was proposed in the works of Forbes, Shpilka and Volk (2018), and Grochow, Kumar, Saks and Saraf (2017). Our proofs are elementary and rely on the existence of (non explicit) hitting sets for VP (and VNP) to show that there are efficiently constructible, low degree equations for these classes. Our proofs also extend to finite fields of small size.


Multiple relaxation time discrete Boltzmann modeling of multicomponent mixture with nonequilibrium effects. A multiple relaxation time discrete Boltzmann model (DBM) is proposed for multicomponent mixtures, where compressible, hydrodynamic, and thermodynamic nonequilibrium effects are taken into account. It allows the specific heat ratio and the Prandtl number to be adjustable, and is suitable for both low and high speed fluid flows. From the physical side, besides being consistent with the multicomponent Navier Stokes equations, Fick's law and Stefan Maxwell diffusion equation in the hydrodynamic limit, the DBM provides more kinetic information about the nonequilibrium effects. The physical capability of DBM to describe the nonequilibrium flows, beyond the Navier Stokes representation, enables the study of the entropy production mechanism in complex flows, especially in multicomponent mixtures. Moreover, the current kinetic model is employed to investigate nonequilibrium behaviors of the compressible Kelvin Helmholtz instability (KHI). It is found that, in the dynamic KHI process, the mixing degree and fluid flow are similar for cases with various thermal conductivity and initial temperature configurations. Physically, both heat conduction and temperature exert slight influences on the formation and evolution of the KHI.


A linear time parameterized algorithm for computing the width of a DAG. The width k of a directed acyclic graph (DAG) G (V, E) equals the largest number of pairwise non reachable vertices. Computing the width dates back to Dilworth's and Fulkerson's results in the 1950s, and is doable in quadratic time in the worst case. Since k can be small in practical applications, research has also studied algorithms whose complexity is parameterized on k . Despite these efforts, it is still open whether there exists a linear time O(f(k)( V E )) parameterized algorithm computing the width. We answer this question affirmatively by presenting an O(k 24 k V k2 k E ) time algorithm, based on a new notion of frontier antichains. As we process the vertices in a topological order, all frontier antichains can be maintained with the help of several combinatorial properties, paying only f(k) along the way. The fact that the width can be computed by a single f(k) sweep of the DAG is a new surprising insight into this classical problem. Our algorithm also allows deciding whether the DAG has width at most w in time O(f( min(w,k))( V E )) .


Combinatorial proof for the rationality of the bivariate generating series of maps in positive genus. In this paper, we give the first combinatorial proof of a rationality scheme for the generating series of maps in positive genus enumerated by both vertices and faces, which was first obtained by Bender, Canfield and Richmond in 1993 by purely computational techniques. To do so, we rely on a bijection obtained by the second author in a previous work between those maps and a family of decorated unicellular maps. Our main contribution consists in a fine analysis of this family of maps. As a byproduct, we also obtain a new and simpler combinatorial proof of the rationality scheme for the generating series of maps enumerated by their number of edges, originally obtained computationally by Bender and Canfield in 1991 and combinatorially by the second author in 2019.


Algorithms of evaluation of the waiting time and the modelling of the terminal activity. This paper approaches the application of the waiting model with Poisson inputs and priorities in the port activity. The arrival of ships in the maritime terminal is numerically modelled, and specific parameters for the distribution functions of service and of inputs are determined, in order to establish the waiting time of ships in the seaport and a stationary process. The modelling is based on waiting times and on the traffic coefficient.


Extreme Scale Density Functional Theory High Performance Computing of DGDFT for Tens of Thousands of Atoms using Millions of Cores on Sunway TaihuLight. High performance computing (HPC) is a powerful tool to accelerate the Kohn Sham density functional theory (KS DFT) calculations on modern heterogeneous supercomputers. Here, we describe a massively extreme scale parallel and portable implementation of discontinuous Galerkin density functional theory (DGDFT) method on the Sunway TaihuLight supercomputer. The DGDFT method uses the adaptive local basis (ALB) functions generated on the fly during the self consistent field (SCF) iteration to solve the KS equations with the high precision comparable to that of plane wave basis set. In particular, the DGDFT method adopts a two level parallelization strategy that makes use of different types of data distribution, task scheduling, and data communication schemes, and combines with the feature of master slave multi thread heterogeneous parallelism of SW26010 processor, resulting in extreme scale HPC KS DFT calculations on the Sunway TaihuLight supercomputer. We show that the DGDFT method can scale up to 8,519,680 processing cores (131,072 core groups) on the Sunway TaihuLight supercomputer for investigating the electronic structures of two dimensional (2D) metallic graphene systems containing tens of thousands of carbon atoms.


Quantifiability Concurrent Correctness from First Principles. Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential histories motivate a new approach to concurrent correctness. Desiderata for a new correctness condition are that it be independent of sequential histories, compositional, flexible as to timing, modular as to semantics and free of inherent locking or waiting. We propose Quantifiability, a novel correctness condition based on intuitive first principles. Quantifiability models a system in vector space to launch a new mathematical analysis of concurrency. The vector space model is suitable for a wide range of concurrent systems and their associated data structures. This paper formally defines quantifiability and demonstrates useful properties such as compositionality. Analysis is facilitated with linear algebra, better supported and of much more efficient time complexity than traditional combinatorial methods. We present results showing that quantifiable data structures are highly scalable due to the usage of relaxed semantics and propose entropy to evaluate the implementation trade offs permitted by quantifiability.


ResNet like Architecture with Low Hardware Requirements. One of the most computationally intensive parts in modern recognition systems is an inference of deep neural networks that are used for image classification, segmentation, enhancement, and recognition. The growing popularity of edge computing makes us look for ways to reduce its time for mobile and embedded devices. One way to decrease the neural network inference time is to modify a neuron model to make it moreefficient for computations on a specific device. The example ofsuch a model is a bipolar morphological neuron model. The bipolar morphological neuron is based on the idea of replacing multiplication with addition and maximum operations. This model has been demonstrated for simple image classification with LeNet like architectures 1 . In the paper, we introduce a bipolar morphological ResNet (BM ResNet) model obtained from a much more complex ResNet architecture by converting its layers to bipolar morphological ones. We apply BM ResNet to image classification on MNIST and CIFAR 10 datasets with only a moderate accuracy decrease from 99.3 to 99.1 and from 85.3 to 85.1 . We also estimate the computational complexity of the resulting model. We show that for the majority of ResNet layers, the considered model requires 2.1 2.9 times fewer logic gates for implementation and 15 30 lower latency.


Collaborative Video Object Segmentation by Foreground Background Integration. This paper investigates the principles of embedding learning to tackle the challenging semi supervised video object segmentation. Different from previous practices that only explore the embedding learning using pixels from foreground object (s), we consider background should be equally treated and thus propose Collaborative video object segmentation by Foreground Background Integration (CFBI) approach. Our CFBI implicitly imposes the feature embedding from the target foreground object and its corresponding background to be contrastive, promoting the segmentation results accordingly. With the feature embedding from both foreground and background, our CFBI performs the matching process between the reference and the predicted sequence from both pixel and instance levels, making the CFBI be robust to various object scales. We conduct extensive experiments on three popular benchmarks, i.e., DAVIS 2016, DAVIS 2017, and YouTube VOS. Our CFBI achieves the performance (J F) of 89.4 , 81.9 , and 81.4 , respectively, outperforming all the other state of the art methods. Code https github.com z x yang CFBI.


Elliptic curves and lower bounds for class numbers. Ideal class pairings map the rational points of rank r geq 1 elliptic curves E Q to the ideal class groups CL( D) of certain imaginary quadratic fields. These pairings imply that h( D) geq frac 1 2 (c(E) varepsilon)( log D) frac r 2 for sufficiently large discriminants D in certain families, where c(E) is a natural constant. These bounds are effective, and they offer improvements to known lower bounds for many discriminants.


Dependence of great geomagnetic storm intensity ( Delta SYM H le 200 nT) on associated solar wind parameters. We use Delta SYM H to capture the variation in the SYM H index during the main phase of a geomagnetic storm. We define great geomagnetic storms as those with Delta SYM H le 200 nT. After analyzing the data that were not obscured by solar winds, we determined that 11 such storms occurred during solar cycle 23. We calculated time integrals for the southward interplanetary magnetic field component I(B s ), the solar wind electric field I(E y ), and a combination of E y and the solar wind dynamic pressure I(Q) during the main phase of a great geomagnetic storm. The strength of the correlation coefficient (CC) between Delta SYM H and each of the three integrals I(B s ) (CC 0.74), I(E y ) (CC 0.85), and I(Q) (CC 0.94) suggests that Q, which encompasses both the solar wind electric field and the solar wind dynamic pressure, is the main driving factor that determines the intensity of a great geomagnetic storm. The results also suggest that the impact of B s on the great geomagnetic storm intensity is much more significant than that of the solar wind speed and the dynamic pressure during the main phase of associated great geomagnetic storm. How to estimate the intensity of an extreme geomagnetic storm based on solar wind parameters is also discussed.


Galois Cohomology for Lubin Tate ( varphi q, Gamma LT ) modules over Coefficient rings. The classification of the local Galois representations using ( varphi, Gamma) modules by Fontaine has been generalized by Kisin and Ren over the Lubin Tate extensions of local fields using the theory of ( varphi q, Gamma LT ) modules. In this paper, we extend the work of (Fontaine) Herr by introducing a complex which allows us to compute cohomology over the Lubin Tate extensions and compare it with the Galois cohomology groups. We further extend that complex to include certain non abelian extensions. We then deduce some relations of this cohomology with those arising from ( psi q, Gamma LT ) modules. We also compute the Iwasawa cohomology over the Lubin Tate extensions in terms of psi q operator acting on the ' e tale ( varphi q, Gamma LT ) module attached to the local Galois representation. Moreover, we generalize the notion of ( varphi q, Gamma LT ) modules over the coefficient ring R and show that the equivalence given by Kisin and Ren extends to the Galois representations over R . This equivalence allows us to generalize our results to the case of coefficient rings.


2 intersecting permutations. In this paper we consider the Erd H o s Ko Rado property for both 2 pointwise and 2 setwise intersecting permutations. Two permutations sigma, tau in Sym(n) are t setwise intersecting if there exists a t subset S of 1,2, dots,n such that S sigma S tau . If for each s in S , s sigma s tau , then we say sigma and tau are t pointwise intersecting. We say that Sym(n) has the t setwise (resp. t pointwise) intersecting property if for any family mathcal F of t setwise (resp. t pointwise) intersecting permutations, mathcal F leq (n t)!t! (resp. mathcal F leq (n t)! ). Ellis ( "Setwise intersecting families of permutation". Journal of Combinatorial Theory, Series A , 119(4) 825 849, 2012. ), proved that for n sufficiently large relative to t , Sym(n) has the t setwise intersecting property. Ellis also conjuctured that this result holds for all n geq t . Ellis, Friedgut and Pilpel Ellis, David, Ehud Friedgut, and Haran Pilpel. "Intersecting families of permutations." Journal of the American Mathematical Society 24(3) 649 682, 2011. also proved that for n sufficiently large relative to t , Sym(n) has the t pointwise intersecting property. It is also conjectured that Sym(n) has the t pointwise intersecting propoperty for n geq 2t 1 . In this work, we prove these two conjectures for Sym(n) when t 2 .


A parallel in time approach for wave type PDEs. Numerical solutions to wave type PDEs utilizing method of lines require the ODE solver's stability domain to include a large stretch of the imaginary axis surrounding the origin. We show here that extrapolation based solvers of Gragg Bulirsch Stoer (GBS) type can meet this requirement. Extrapolation methods utilize several independent time stepping sequences, making them highly suited for parallel execution. Traditional extrapolation schemes use all time stepping sequences to maximize the method's order of accuracy. The present method instead maintains a desired order of accuracy while employing additional time stepping sequences to shape the resulting stability domain. We optimize the extrapolation coefficients to maximize the stability domain's imaginary axis coverage. This yields a family of explicit schemes that approaches maximal time step size for wave propagation problems. On a computer with several cores we achieve both high order and fast time to solution compared with traditional ODE integrators.


Temperature profiles, plumes and spectra in the surface layer of convective boundary layers. We survey temperature patterns and heat transport in convective boundary layers (CBLs) from the perspective that these are emergent properties of far from equilibrium, complex dynamical systems. We introduce a two temperature (2T) toy model to define the cross sectional areas of plumes, and connect the scaling properties of temperature gradients, temperature variance and heat transport to this area. We examine temperature ( T ) probability density functions and w T joint probability density functions, T spectra and wT cospectra observed both within and above the surface friction layer. Here w is vertical velocity. In our discussion of T spectra and wT cospectra we focus on the self similarity property of the plumes and flux events above the SFL. We interpret the z 1 2 dependence of the mixed length scale for wavenumbers in the T spectra as reflecting the cross sectional areas of the plumes, and so with the z 1 2 form of the temperature profile, where z is observation height. We introduce new scaling results for T spectra and wT cospectra from within the surface friction layer (SFL), based on a data from the SLTEST experiment. We confirm earlier results showing that the scaling behaviours of T spectra and wT cospectra change for heights below z z s 0.1 , where z s the height of the SFL, and come to display properties associated with random diffusion. We conclude by contrasting our interpretation of the role of buoyancy as a system wide action in CBL flows with that of Richardson, whose ideas inform the current interpretation of the statistical fluid mechanics model of boundary layer flows.


ALPaCA vs. GP based Prior Learning A Comparison between two Bayesian Meta Learning Algorithms. Meta learning or few shot learning, has been successfully applied in a wide range of domains from computer vision to reinforcement learning. Among the many frameworks proposed for meta learning, bayesian methods are particularly favoured when accurate and calibrated uncertainty estimate is required. In this paper, we investigate the similarities and disparities among two recently published bayesian meta learning methods ALPaCA (Harrison et al. 2018 ) and PACOH (Rothfuss et al. 2020 ). We provide theoretical analysis as well as empirical benchmarks across synthetic and real world dataset. While ALPaCA holds advantage in computation time by the usage of a linear kernel, general GP based methods provide much more flexibility and achieves better result across datasets when using a common kernel such as SE (Squared Exponential) kernel. The influence of different loss function choice is also discussed.


Geology of symmetric grounds. Let us say that a model of mathsf ZF is a symmetric ground if V is a symmetric extension of the model. In this paper, we investigate set theoretic geology of symmetric grounds. Under a certain assumption, we show that all symmetric grounds of V are uniformly definable. We also show that if mathsf AC is forceable over V , then the symmetric grounds are downward directed.


A soft robot that adapts to environments through shape change. Many organisms, including various species of spiders and caterpillars, change their shape to switch gaits and adapt to different environments. Recent technological advances, ranging from stretchable circuits to highly deformable soft robots, have begun to make shape changing robots a possibility. However, it is currently unclear how and when shape change should occur, and what capabilities could be gained, leading to a wide range of unsolved design and control problems. To begin addressing these questions, here we simulate, design, and build a soft robot that utilizes shape change to achieve locomotion over both a flat and inclined surface. Modeling this robot in simulation, we explore its capabilities in two environments and demonstrate the automated discovery of environment specific shapes and gaits that successfully transfer to the physical hardware. We found that the shape changing robot traverses these environments better than an equivalent but non morphing robot, in simulation and reality.


The turnpike property in the maximum hands off control. This paper presents analyses for the maximum hands off control using the geometric methods developed for the theory of turnpike in optimal control. First, a sufficient condition is proved for the existence of the maximum hands off control for linear time invariant systems with arbitrarily fixed initial and terminal points using the relation with L 1 optimal control. Next, a sufficient condition is derived for the maximum hands off control to have the turnpike property, which may be useful for approximate design of the control.


Model order reduction of thermo mechanical models with parametric convective boundary conditions focus on machine tool. This paper presents a parametric Model Order Reduction (MOR) method for weakly coupled thermo mechanical Finite Element (FE) models of machine tools and other similar mechatronic systems. This work proposes a reduction method, Krylov Modal Subspace (KMS), and a theoretical bound of the reduction error. The developed method addresses the parametric dependency of the convective boundary conditions using the concept of system bilinearization. Additionally, this paper investigates the coupling between the reduced order thermal system and the mechanical response. A numerical example shows that the reduced order model captures the response of the original system in the frequency range of interest.


The Evolution of IJHCS and CHI A Quantitative Analysis. In this paper we focus on the International Journal of Human Computer Studies (IJHCS) as a domain of analysis, to gain insights about its evolution in the past 50 years and what this evolution tells us about the research landscape associated with the journal. To this purpose we use techniques from the field of Science of Science and analyse the relevant scholarly data to identify a variety of phenomena, including significant geopolitical patterns, the key trends that emerge from a topic centric analysis, and the insights that can be drawn from an analysis of citation data. Because the area of Human Computer Interaction (HCI) has always been a central focus for IJHCS, we also include in the analysis the CHI conference, which is the premiere scientific venue in HCI. Analysing both venues provides more data points to our study and allows us to consider two alternative viewpoints on the evolution of HCI research.


Optimal Control of Convection Cooling and Numerical Implementation. This paper is concerned with the problem of enhancing convection cooling via active control of the incompressible velocity field, described by a stationary diffusion convection model. This essentially leads to a bilinear optimal control problem. A rigorous proof of the existence of an optimal control is presented and the first order optimality conditions are derived for solving the control using a variational inequality. Moreover, the second order sufficient conditions are established to characterize the local minimizer. Finally, numerical experiments are conducted utilizing finite elements methods together with nonlinear iterative schemes, to demonstrate and validate the effectiveness of our control design.


Functional limit theorems for the Multi dimensional Elephant Random Walk. In this article we shall derive functional limit theorems for the multi dimensional elephant random walk (MERW) and thus extend the results provided for the one dimensional marginal by Bercu and Laulin (2019). The MERW is a non Markovian discrete time random walk on mathbb Z d which has a complete memory of its whole past, in allusion to the traditional saying that an elephant never forgets. As the name suggests, the MERW is a d dimensional generalisation of the elephant random walk (ERW), the latter was first introduced by Sch "utz and Trimper in 2004. We measure the influence of the elephant's memory by a so called memory parameter p between zero and one. A striking feature that has been observed by Sch "utz and Trimper is that the long time behaviour of the ERW exhibits a phase transition at some critical memory parameter p c . We investigate the asymptotic behaviour of the MERW in all memory regimes by exploiting a connection between the MERW and P 'olya urns, following similar ideas as in the work by Baur and Bertoin for the ERW.


Mis classified Vector Guided Softmax Loss for Face Recognition. Face recognition has witnessed significant progress due to the advances of deep convolutional neural networks (CNNs), the central task of which is how to improve the feature discrimination. To this end, several margin based ( textit e.g. , angular, additive and additive angular margins) softmax loss functions have been proposed to increase the feature margin between different classes. However, despite great achievements have been made, they mainly suffer from three issues 1) Obviously, they ignore the importance of informative features mining for discriminative learning 2) They encourage the feature margin only from the ground truth class, without realizing the discriminability from other non ground truth classes 3) The feature margin between different classes is set to be same and fixed, which may not adapt the situations very well. To cope with these issues, this paper develops a novel loss function, which adaptively emphasizes the mis classified feature vectors to guide the discriminative feature learning. Thus we can address all the above issues and achieve more discriminative face features. To the best of our knowledge, this is the first attempt to inherit the advantages of feature margin and feature mining into a unified loss function. Experimental results on several benchmarks have demonstrated the effectiveness of our method over state of the art alternatives.


Cellular Automata Can Reduce Memory Requirements of Collective State Computing. Various non classical approaches of distributed information processing, such as neural networks, computation with Ising models, reservoir computing, vector symbolic architectures, and others, employ the principle of collective state computing. In this type of computing, the variables relevant in a computation are superimposed into a single high dimensional state vector, the collective state. The variable encoding uses a fixed set of random patterns, which has to be stored and kept available during the computation. Here we show that an elementary cellular automaton with rule 90 (CA90) enables space time tradeoff for collective state computing models that use random dense binary representations, i.e., memory requirements can be traded off with computation running CA90. We investigate the randomization behavior of CA90, in particular, the relation between the length of the randomization period and the size of the grid, and how CA90 preserves similarity in the presence of the initialization noise. Based on these analyses we discuss how to optimize a collective state computing model, in which CA90 expands representations on the fly from short seed patterns rather than storing the full set of random patterns. The CA90 expansion is applied and tested in concrete scenarios using reservoir computing and vector symbolic architectures. Our experimental results show that collective state computing with CA90 expansion performs similarly compared to traditional collective state models, in which random patterns are generated initially by a pseudo random number generator and then stored in a large memory.


Further remarks on rigidity of H ' e non maps. For a H ' e non map H in mathbb C 2 , we characterize the polynomial automorphisms of mathbb C 2 which keep any fixed level set of the Green function of H completely invariant. The interior of any non zero sublevel set of the Green function of a H ' e non map turns out to be a Short mathbb C 2 and as a consequence of our characterization, it follows that there exists no polynomial automorphism apart from possibly the affine automorphisms which acts as an automorphism on any of these Short mathbb C 2 's. Further, we prove that if any two level sets of the Green functions of a pair of H ' e non maps coincide, then they almost commute.


Term Revealing Furthering Quantization at Run Time on Quantized DNNs. We present a novel technique, called Term Revealing (TR), for furthering quantization at run time for improved performance of Deep Neural Networks (DNNs) already quantized with conventional quantization methods. TR operates on power of two terms in binary expressions of values. In computing a dot product computation, TR dynamically selects a fixed number of largest terms to use from the values of the two vectors in the dot product. By exploiting normal like weight and data distributions typically present in DNNs, TR has a minimal impact on DNN model performance (i.e., accuracy or perplexity). We use TR to facilitate tightly synchronized processor arrays, such as systolic arrays, for efficient parallel processing. We show an FPGA implementation that can use a small number of control bits to switch between conventional quantization and TR enabled quantization with a negligible delay. To enhance TR efficiency further, we use a signed digit representation (SDR), as opposed to classic binary encoding with only nonnegative power of two terms. To perform conversion from binary to SDR, we develop an efficient encoding method called HESE (Hybrid Encoding for Signed Expressions) that can be performed in one pass looking at only two bits at a time. We evaluate TR with HESE encoded values on an MLP for MNIST, multiple CNNs for ImageNet, and an LSTM for Wikitext 2, and show significant reductions in inference computations (between 3 10x) compared to conventional quantization for the same level of model performance.


A Knowledge Enhanced Recommendation Model with Attribute Level Co Attention. Deep neural networks (DNNs) have been widely employed in recommender systems including incorporating attention mechanism for performance improvement. However, most of existing attention based models only apply item level attention on user side, restricting the further enhancement of recommendation performance. In this paper, we propose a knowledge enhanced recommendation model ACAM, which incorporates item attributes distilled from knowledge graphs (KGs) as side information, and is built with a co attention mechanism on attribute level to achieve performance gains. Specifically, each user and item in ACAM are represented by a set of attribute embeddings at first. Then, user representations and item representations are augmented simultaneously through capturing the correlations between different attributes by a co attention module. Our extensive experiments over two realistic datasets show that the user representations and item representations augmented by attribute level co attention gain ACAM's superiority over the state of the art deep models.


Code Switched Language Models Using Neural Based Synthetic Data from Parallel Sentences. Training code switched language models is difficult due to lack of data and complexity in the grammatical structure. Linguistic constraint theories have been used for decades to generate artificial code switching sentences to cope with this issue. However, this require external word alignments or constituency parsers that create erroneous results on distant languages. We propose a sequence to sequence model using a copy mechanism to generate code switching data by leveraging parallel monolingual translations from a limited source of code switching data. The model learns how to combine words from parallel sentences and identifies when to switch one language to the other. Moreover, it captures code switching constraints by attending and aligning the words in inputs, without requiring any external knowledge. Based on experimental results, the language model trained with the generated sentences achieves state of the art performance and improves end to end automatic speech recognition.


When Deep Reinforcement Learning Meets Federated Learning Intelligent Multi Timescale Resource Management for Multi access Edge Computing in 5G Ultra Dense Network. Ultra dense edge computing (UDEC) has great potential, especially in the 5G era, but it still faces challenges in its current solutions, such as the lack of i) efficient utilization of multiple 5G resources (e.g., computation, communication, storage and service resources) ii) low overhead offloading decision making and resource allocation strategies and iii) privacy and security protection schemes. Thus, we first propose an intelligent ultra dense edge computing (I UDEC) framework, which integrates blockchain and Artificial Intelligence (AI) into 5G ultra dense edge computing networks. First, we show the architecture of the framework. Then, in order to achieve real time and low overhead computation offloading decisions and resource allocation strategies, we design a novel two timescale deep reinforcement learning ( textit 2Ts DRL ) approach, consisting of a fast timescale and a slow timescale learning process, respectively. The primary objective is to minimize the total offloading delay and network resource usage by jointly optimizing computation offloading, resource allocation and service caching placement. We also leverage federated learning (FL) to train the textit 2Ts DRL model in a distributed manner, aiming to protect the edge devices' data privacy. Simulation results corroborate the effectiveness of both the textit 2Ts DRL and FL in the I UDEC framework and prove that our proposed algorithm can reduce task execution time up to 31.87 .


Efficient space time reduced order model for linear dynamical systems in Python using less than 120 lines of code. A classical reduced order model (ROM) for dynamical problems typically involves only the spatial reduction of a given problem. Recently, a novel space time ROM for linear dynamical problems has been developed, which further reduces the problem size by introducing a temporal reduction in addition to a spatial reduction without much loss in accuracy. The authors show an order of a thousand speed up with a relative error of less than 0.00001 for a large scale Boltzmann transport problem. In this work, we present for the first time the derivation of the space time Petrov Galerkin projection for linear dynamical systems and its corresponding block structures. Utilizing these block structures, we demonstrate the ease of construction of the space time ROM method with two model problems 2D diffusion and 2D convection diffusion, with and without a linear source term. For each problem, we demonstrate the entire process of generating the full order model (FOM) data, constructing the space time ROM, and predicting the reduced order solutions, all in less than 120 lines of Python code. We compare our Petrov Galerkin method with the traditional Galerkin method and show that the space time ROMs can achieve O(100) speed ups with O(0.001) to O(0.0001) relative errors for these problems. Finally, we present an error analysis for the space time Petrov Galerkin projection and derive an error bound, which shows an improvement compared to traditional spatial Galerkin ROM methods.


Unsupervised part representation by Flow Capsules. Capsule networks aim to parse images into a hierarchy of objects, parts and relations. While promising, they remain limited by an inability to learn effective low level part descriptions. To address this issue we propose a way to learn primary capsule encoders that detect atomic parts from a single image. During training we exploit motion as a powerful perceptual cue for part definition, with an expressive decoder for part generation within a layered image model with occlusion. Experiments demonstrate robust part discovery in the presence of multiple objects, cluttered backgrounds, and occlusion. The part decoder infers the underlying shape masks, effectively filling in occluded regions of the detected shapes. We evaluate FlowCapsules on unsupervised part segmentation and unsupervised image classification.


Additive properties of numbers with restricted digits. In this paper, we consider some additive properties of integers with restricted digit expansions. Let b geq 3 be an integer and B b be the set of integers whose base b expansions have only digits 0,1 . Let a,b,c be three integers greater than 2. We give some estimates on the size of (B a B b ) cap B c . In particular, under mild conditions, (B a B b ) cap B c is a very thin set in the following sense that for each epsilon 0, as N to infty, ((B a B b ) cap B c cap 1,N ) O(N epsilon ).


Generic Birkhoff Spectra. Suppose that Omega 0, 1 mathbb N and sigma is the one sided shift. The Birkhoff spectrum displaystyle S f ( alpha ) dim H Big omega in Omega lim N to infty frac 1 N sum n 1 N f( sigma n omega) alpha Big , where dim H is the Hausdorff dimension. It is well known that the support of S f ( alpha ) is a bounded and closed interval L f alpha f, min , alpha f, max and S f ( alpha ) on L f is concave and upper semicontinuous. We are interested in possible shapes properties of the spectrum, especially for generic typical f in C( Omega ) in the sense of Baire category. For a dense set in C( Omega ) the spectrum is not continuous on mathbb R , though for the generic f in C( Omega ) the spectrum is continuous on mathbb R , but has infinite one sided derivatives at the endpoints of L f . We give an example of a function which has continuous S f on mathbb R , but with finite one sided derivatives at the endpoints of L f . The spectrum of this function can be as close as possible to a "minimal spectrum". We use that if two functions f and g are close in C( Omega ) then S f and S g are close on L f apart from neighborhoods of the endpoints.


What It Would Take to Use Mutation Testing in Industry A Study at Facebook. Traditionally, mutation testing generates an abundance of small deviations of a program, called mutants. At industrial systems the scale and size of Facebook's, doing this is infeasible. We should not create mutants that the test suite would likely fail on or that give no actionable signal to developers. To tackle this problem, in this paper, we semi automatically learn error inducing patterns from a corpus of common Java coding errors and from changes that caused operational anomalies at Facebook specifically. We combine the mutations with instrumentation that measures which tests exactly visited the mutated piece of code. Results on more than 15,000 generated mutants show that more than half of the generated mutants survive Facebook's rigorous test suite of unit, integration, and system tests. Moreover, in a case study with 26 developers, all but two found information of automatically detected test holes interesting in principle. As such, almost half of the 26 would actually act on the mutant presented to them by adapting an existing or creating a new test. The others did not for a variety of reasons often outside the scope of mutation testing. It remains a practical challenge how we can include such external information to increase the true actionability rate on mutants.


Quartic Graphs with Minimum Spectral Gap. Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with n vertices is (1 o(1)) frac 3n 2 2 pi 2 . This conjecture can be rephrased in terms of the spectral gap as follows the spectral gap (algebraic connectivity) of a connected k regular graph on n vertices is at least (1 o(1)) frac 2k pi 2 3n 2 , and the bound is attained for at least one value of k . We determine the structure of connected quartic graphs on n vertices with minimum spectral gap which enable us to show that the minimum spectral gap of connected quartic graph on n vertices is (1 o(1)) frac 4 pi 2 n 2 . From this result, the Aldous Fill conjecture follows for k 4 .


Perturbed Operators on Banach Spaces. Let X be a Banach Space over K R or C, and let f F C be a weakly coercive operator from X onto X, where F is a C 1 operator, and C a C 1 compact operator. Sufficient conditions are provided to assert that the perturbed operator f is a C 1 diffeomorphism. Three corollaries are given. The first one, when F is a linear homeomorphism. The second one, when F is a k contractive perturbation of the identity. The third one, when X is a Hilbert space and F a particular linear operator. The proof of our results is based on properties of Fredholm operators, as well as on local and global inverse mapping theorems, and the Banach fixed point theorem. As an application two examples are given


The Time Triggered Wireless Architecture. Wirelessly interconnected sensors, actuators, and controllers promise greater flexibility, lower installation and maintenance costs, and higher robustness in harsh conditions than wired solutions. However, to facilitate the adoption of wireless communication in cyber physical systems (CPS), the functional and non functional properties must be similar to those known from wired architectures. We thus present Time Triggered Wireless (TTW), a wireless architecture for multi mode CPS that offers reliable communication with guarantees on end to end delays among distributed applications executing on low cost, low power embedded devices. We achieve this by exploiting the high reliability and deterministic behavior of a synchronous transmission based communication stack we design, and by coupling the timings of distributed task executions and message exchanges across the wireless network by solving a novel co scheduling problem. While some of the concepts in TTW have existed for some time and TTW has already been successfully applied for feedback control and coordination of multiple mechanical systems with closed loop stability guarantees, this paper presents the key algorithmic, scheduling, and networking mechanisms behind TTW, along with their experimental evaluation, which have not been known so far. TTW is open source and ready to use ttw.ethz.ch


Improving Multi Word Entity Recognition for Biomedical Texts. Biomedical Named Entity Recognition (BioNER) is a crucial step for analyzing Biomedical texts, which aims at extracting biomedical named entities from a given text. Different supervised machine learning algorithms have been applied for BioNER by various researchers. The main requirement of these approaches is an annotated dataset used for learning the parameters of machine learning algorithms. Segment Representation (SR) models comprise of different tag sets used for representing the annotated data, such as IOB2, IOE2 and IOBES. In this paper, we propose an extension of IOBES model to improve the performance of BioNER. The proposed SR model, FROBES, improves the representation of multi word entities. We used Bidirectional Long Short Term Memory (BiLSTM) network an instance of Recurrent Neural Networks (RNN), to design a baseline system for BioNER and evaluated the new SR model on two datasets, i2b2 VA 2010 challenge dataset and JNLPBA 2004 shared task dataset. The proposed SR model outperforms other models for multi word entities with length greater than two. Further, the outputs of different SR models have been combined using majority voting ensemble method which outperforms the baseline models performance.


Does observability amplify sensitivity to moral frames? Evaluating a reputation based account of moral preferences. A growing body of work suggests that people are sensitive to moral framing in economic games involving prosociality, suggesting that people hold moral preferences for doing the "right thing". What gives rise to these preferences? Here, we evaluate the explanatory power of a reputation based account, which proposes that people respond to moral frames because they are motivated to look good in the eyes of others. Across two pre registered experiments (total N 3,610), we investigated whether reputational incentives amplify sensitivity to framing effects. Both experiments manipulated (i) whether moral or neutral framing was used to describe a Trade Off Game (in which participants chose between prioritizing equality or efficiency) and (ii) whether Trade Off Game choices were observable to a social partner in a subsequent Trust Game. We find that framing effects are relatively insensitive to reputational incentives observability did not significantly amplify sensitivity to moral framing. However, our results are not inconsistent with the possibility that observability has some amplification effect quantitatively, the observed framing effect was 74 as large when decisions were private as when they were observable. These results suggest that moral frames may tap into moral preferences that are relatively deeply internalized, and that power of moral frames to promote prosociality may not be strongly enhanced by making the morally framed behavior observable to others.


Foundation ranks and supersimplicity. We introduce a new foundation rank based in the relation of dividing between partial types. We call DU to this rank. We also introduce a new way to define the D rank over formulas as a foundation rank. In this way, SU, DU and D are foundation ranks based in the relation of dividing. We study the properties and the relations between these ranks. Next, we discuss the possible definitions of a supersimple type. This is a concept that it is not clear in the previous literature. In this paper we give solid arguments to set up a concrete definition of this concept and its properties. We also see that DU characterizes supersimplicity, while D not.


Irregular Accesses Reorder Unit Improving GPGPU Memory Coalescing for Graph Based Workloads. GPGPU architectures have become established as the dominant parallelization and performance platform achieving exceptional popularization and empowering domains such as regular algebra, machine learning, image detection and self driving cars. However, irregular applications struggle to fully realize GPGPU performance as a result of control flow divergence and memory divergence due to irregular memory access patterns. To ameliorate these issues, programmers are obligated to carefully consider architecture features and devote significant efforts to modify the algorithms with complex optimization techniques, which shift programmers priorities yet struggle to quell the shortcomings. We show that in graph based GPGPU irregular applications these inefficiencies prevail, yet we find that it is possible to relax the strict relationship between thread and data processed to empower new optimizations. Based on this key idea, we propose the Irregular accesses Reorder Unit (IRU), a novel hardware extension tightly integrated in the GPGPU pipeline. The IRU reorders data processed by the threads on irregular accesses which significantly improves memory coalescing, and allows increased performance and energy efficiency. Additionally, the IRU is capable of filtering and merging duplicated irregular access which further improves graph based irregular applications. Programmers can easily utilize the IRU with a simple API, or compiler optimized generated code with the extended ISA instructions provided. We evaluate our proposal for state of the art graph based algorithms and a wide selection of applications. Results show that the IRU achieves a memory coalescing improvement of 1.32x and a 46 reduction in the overall traffic in the memory hierarchy, which results in 1.33x and 13 improvement in performance and energy savings respectively, while incurring in a small 5.6 area overhead.


Predictive analysis of Bitcoin price considering social sentiments. We report on the use of sentiment analysis on news and social media to analyze and predict the price of Bitcoin. Bitcoin is the leading cryptocurrency and has the highest market capitalization among digital currencies. Predicting Bitcoin values may help understand and predict potential market movement and future growth of the technology. Unlike (mostly) repeating phenomena like weather, cryptocurrency values do not follow a repeating pattern and mere past value of Bitcoin does not reveal any secret of future Bitcoin value. Humans follow general sentiments and technical analysis to invest in the market. Hence considering people's sentiment can give a good degree of prediction. We focus on using social sentiment as a feature to predict future Bitcoin value, and in particular, consider Google News and Reddit posts. We find that social sentiment gives a good estimate of how future Bitcoin values may move. We achieve the lowest test RMSE of 434.87 using an LSTM that takes as inputs the historical price of various cryptocurrencies, the sentiment of news articles and the sentiment of Reddit posts.


Ideal categories of rings and ring of cones. In this paper we describe the ideal category of a ring R as preadditive proper category. Further it is also shown that the cones in this category is a ring with appropriate addition and multiplication.


Quantale semantics of Lambek calculus with subexponential modalities. In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale semantics. In our approach, subexponential modalities have an interpretation in terms of quantic conuclei. We show that this extension of Lambek calculus is complete w.r.t quantales with quantic conuclei. Also, we prove a representation theorem for quantales with quantic conuclei and show that Lambek calculus with subexponentials is relationally complete. Finally, we extend this representation theorem to the category of quantales with quantic conuclei.