Harbsafe 162. A Domain Specific Data Set for the Intrinsic Evaluation of Semantic Representations for Terminological Data. The article presents Harbsafe 162, a domain specific data set for evaluating distributional semantic models. It originates from a cooperation by Technische Universit "at Braunschweig and the German Commission for Electrical, Electronic Information Technologies of DIN and VDE, the Harbsafe project. One objective of the project is to apply distributional semantic models to terminological entries, that is, complex lexical data comprising of at least one or several terms, term phrases and a definition. This application is needed to solve a more complex problem the harmonization of terminologies of standards and standards bodies (i.e. resolution of doublettes and inconsistencies). Due to a lack of evaluation data sets for terminological entries, the creation of Harbsafe 162 was a necessary step towards harmonization assistance. Harbsafe 162 covers data from nine electrotechnical standards in the domain of functional safety, IT security, and dependability. An intrinsic evaluation method in the form of a similarity rating task has been applied in which two linguists and three domain experts from standardization participated. The data set is used to evaluate a specific implementation of an established sentence embedding model. This implementation proves to be satisfactory for the domain specific data so that further implementations for harmonization assistance may be brought forward by the project. Considering recent criticism on intrinsic evaluation methods, the article concludes with an evaluation of Harbsafe 162 and joins a more general discussion about the nature of similarity rating tasks. Harbsafe 162 has been made available for the community.


Intersection torsion and analytic torsion of spaces with conical singularities. We prove an extension of the Cheeger M " u ller theorem to spaces with isolated conical singularities the L 2 analytic torsion coincides with the Ray Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray Singer intersection torsion is well defined. On the other side, we elaborate the spectral theory for the Hodge Laplace operator on the square integrable forms on a space with conical singularities it 'a la Cheeger, and we extend the classical results of the Hodge theory and the analytic torsion.


Push for Quantization Deep Fisher Hashing. Current massive datasets demand light weight access for analysis. Discrete hashing methods are thus beneficial because they map high dimensional data to compact binary codes that are efficient to store and process, while preserving semantic similarity. To optimize powerful deep learning methods for image hashing, gradient based methods are required. Binary codes, however, are discrete and thus have no continuous derivatives. Relaxing the problem by solving it in a continuous space and then quantizing the solution is not guaranteed to yield separable binary codes. The quantization needs to be included in the optimization. In this paper we push for quantization We optimize maximum class separability in the binary space. We introduce a margin on distances between dissimilar image pairs as measured in the binary space. In addition to pair wise distances, we draw inspiration from Fisher's Linear Discriminant Analysis (Fisher LDA) to maximize the binary distances between classes and at the same time minimize the binary distance of images within the same class. Experiments on CIFAR 10, NUS WIDE and ImageNet100 demonstrate compact codes comparing favorably to the current state of the art.


Preconditioners for Fractional Diffusion Equations Based on the Spectral Symbol. It is well known that the discretization of fractional diffusion equations (FDEs) with fractional derivatives alpha in(1,2) , using the so called weighted and shifted Gr "unwald formula, leads to linear systems whose coefficient matrices show a Toeplitz like structure. More precisely, in the case of variable coefficients, the related matrix sequences belong to the so called Generalized Locally Toeplitz (GLT) class. Conversely, when the given FDE have constant coefficients, using a suitable discretization, we encounter a Toeplitz structure associated to a nonnegative function mathcal F alpha , called the spectral symbol, having a unique zero at zero of real positive order between one and two. For the fast solution of such systems by preconditioned Krylov methods, several preconditioning techniques have been proposed in both the one and two dimensional cases. In this note we propose a new preconditioner denoted by mathcal P mathcal F alpha which belongs to the tau algebra and it is based on the spectral symbol mathcal F alpha . Comparing with some of the previously proposed preconditioners, we show that although the low band structure preserving preconditioners are more effective in the one dimensional case, the new preconditioner performs better in the more challenging multi dimensional setting.


Online Posted Pricing with Unknown Time Discounted Valuations. We study the problem of designing posted price mechanisms in order to sell a single unit of a single item within a finite period of time. Motivated by real world problems, such as, e.g., long term rental of rooms and apartments, we assume that customers arrive online according to a Poisson process, and their valuations are drawn from an unknown distribution and discounted over time. We evaluate our mechanisms in terms of competitive ratio, measuring the worst case ratio between their revenue and that of an optimal mechanism that knows the distribution of valuations. First, we focus on the identical valuation setting, where all the customers value the item for the same amount. In this setting, we provide a mechanism M c that achieves the best possible competitive ratio, discussing its dependency on the parameters in the case of linear discount. Then, we switch to the random valuation setting. We show that, if we restrict the attention to distributions of valuations with a monotone hazard rate, then the competitive ratio of M c is lower bounded by a strictly positive constant that does not depend on the distribution. Moreover, we provide another mechanism, called M pc, which is defined by a piecewise constant pricing strategy and reaches performances comparable to those obtained with M c. This mechanism is useful when the seller cannot change the posted price too often. Finally, we empirically evaluate the performances of our mechanisms in a number of experimental settings.


Overdetermined boundary problems with nonconstant Dirichlet and Neumann data. In this paper we consider the overdetermined boundary problem for a general second order semilinear elliptic equation on bounded domains of mathbf R n , where one prescribes both the Dirichlet and Neumann data of the solution. We are interested in the case where the data are not necessarily constant and where the coefficients of the equation can depend on the position, so that the overdetermined problem does not generally admit a radial solution. Our main result is that, nevertheless, under minor technical hypotheses nontrivial solutions to the overdetermined boundary problem always exist.


Exploiting Group level Behavior Pattern forSession based Recommendation. Session based recommendation (SBR) is a challenging task, which aims to predict users' future interests based on anonymous behavior sequences. Existing methods leverage powerful representation learning approaches to encode sessions into a low dimensional space. However, despite such achievements, all the existing studies focus on the instance level session learning, while neglecting the group level users' preference, which is significant to model the users' behavior. To this end, we propose a novel Repeat aware Neural Mechanism for Session based Recommendation (RNMSR). In RNMSR, we propose to learn the user preference from both instance level and group level, respectively (i) instance level, which employs GNNs on a similarity based item pairwise session graph to capture the users' preference in instance level. (ii) group level, which converts sessions into group level behavior patterns to model the group level users' preference. In RNMSR, we combine instance level user preference and group level user preference to model the repeat consumption of users, ie whether users take repeated consumption and which items are preferred by users. Extensive experiments are conducted on three real world datasets, ie Diginetica, Yoochoose, and Nowplaying, demonstrating that the proposed method consistently achieves state of the art performance in all the tests.


Equilibrium Validation in Models for Pattern Formation Based on Sobolev Embeddings. In the study of equilibrium solutions for partial differential equations there are so many equilibria that one cannot hope to find them all. Therefore one usually concentrates on finding individual branches of equilibrium solutions. On the one hand, a rigorous theoretical understanding of these branches is ideal but not generally tractable. On the other hand, numerical bifurcation searches are useful but not guaranteed to give an accurate structure, in that they could miss a portion of a branch or find a spurious branch where none exists. In a series of recent papers, we have aimed for a third option. Namely, we have developed a method of computer assisted proofs to prove both existence and isolation of branches of equilibrium solutions. In the current paper, we extend these techniques to the Ohta Kawasaki model for the dynamics of diblock copolymers in dimensions one, two, and three, by giving a detailed description of the analytical underpinnings of the method. Although the paper concentrates on applying the method to the Ohta Kawasaki model, the functional analytic approach and techniques can be generalized to other parabolic partial differential equations.


6 PACK Category level 6D Pose Tracker with Anchor Based Keypoints. We present 6 PACK, a deep learning approach to category level 6D object pose tracking on RGB D data. Our method tracks in real time novel object instances of known object categories such as bowls, laptops, and mugs. 6 PACK learns to compactly represent an object by a handful of 3D keypoints, based on which the interframe motion of an object instance can be estimated through keypoint matching. These keypoints are learned end to end without manual supervision in order to be most effective for tracking. Our experiments show that our method substantially outperforms existing methods on the NOCS category level 6D pose estimation benchmark and supports a physical robot to perform simple vision based closed loop manipulation tasks. Our code and video are available at https sites.google.com view 6packtracking.


Avoiding 5 4 powers on the alphabet of nonnegative integers. We identify the structure of the lexicographically least word avoiding 5 4 powers on the alphabet of nonnegative integers. Specifically, we show that this word has the form p tau( varphi(z) varphi 2(z) cdots) where p, z are finite words, varphi is a 6 uniform morphism, and tau is a coding. This description yields a recurrence for the i th letter, which we use to prove that the sequence of letters is 6 regular with rank 188. More generally, we prove k regularity for a sequence satisfying a recurrence of the same type.


Strictly positive polynomials in the boundary of the SOS cone. We study the boundary of the cone of real polynomials that can be decomposed as a sum of squares (SOS) of real polynomials. This cone is included in the cone of nonnegative polynomials and both cones share a part of their boundary, which corresponds to polynomials that vanish at at least one point. We focus on the part of the boundary which is not shared, corresponding to strictly positive polynomials. For the cases of polynomials of degree 6 in 3 variables and degree 4 in 4 variables, this boundary has been completely characterized by G. Blekherman in a recent work. For the cases of more variables or higher degree, the problem is more complicated and very few examples or general results are known. Assuming a conjecture by D. Eisenbud, M. Green, and J. Harris, we obtain bounds for the maximum number of polynomials that can appear in a SOS decomposition and the maximum rank of the matrices in the Gram spectrahedron. In particular, for the case of homogeneous quartic polynomials in 5 variables, for which the required case of the conjecture has been recently proved, we obtain bounds that improve the general bounds known up to date. Finally, combining theoretical results with computational techniques, we find examples and counterexamples that allow us to better understand which of the results obtained by G. Blekherman can be extended to the general case and show that the bounds predicted by our results are attainable.


The effects of simple density dependent prey diffusion and refuge in a predator prey system. We study a spatial (two dimensional) Rosenzweig MacArthur model under the following assumptions (1) prey movement follows a nonlinear diffusion, (2) preys have a refuge zone (sometimes called "protection zone") where predators cannot enter, (3) predators move following linear diffusion. We present a bifurcation analysis for the system that shows the existence of positive solutions at the steady state. We complement the theoretical results with numerical computations and compare our results with those obtained in the case of having linear diffusion for the prey movement. Our results show that both models, with linear and nonlinear diffusion for the prey, have the same bifurcation point and the positive solution curves are virtually the same in a neighborhood of this point, but they get drastically different as the bifurcation parameter approaches to zero.


Optimal convergence rates for goal oriented FEM with quadratic goal functional. We consider a linear elliptic PDE and a quadratic goal functional. The goal oriented adaptive FEM algorithm (GOAFEM) solves the primal as well as a dual problem, where the goal functional is always linearized around the discrete primal solution at hand. We show that the marking strategy proposed in Feischl et al, SIAM J. Numer. Anal., 54 (2016) for a linear goal functional is also optimal for quadratic goal functionals, i.e., GOAFEM leads to linear convergence with optimal convergence rates.


Transfer Learning Aware Neuro Evolution for Diseases Detection in Chest X Ray Images. The neural network needs excessive costs of time because of the complexity of architecture when trained on images. Transfer learning and fine tuning can help improve time and cost efficiency when training a neural network. Yet, Transfer learning and fine tuning needs a lot of experiment to try with. Therefore, a method to find the best architecture for transfer learning and fine tuning is needed. To overcome this problem, neuro evolution using a genetic algorithm can be used to find the best architecture for transfer learning. To check the performance of this study, dataset ChestX Ray 14 and DenseNet 121 as a base neural network model are used. This study used the AUC score, differences in execution time for training, and McNemar's test to the significance test. In terms of result, this study got a 5 difference in the AUC score, 3 faster in terms of execution time, and significance in most of the disease detection. Finally, this study gives a concrete summary of how neuro evolution transfer learning can help in terms of transfer learning and fine tuning.


Lie groups of real analytic diffeomorphisms are L 1 regular. Let M be a compact, real analytic manifold and G be the Lie group of all real analytic diffeomorphisms of M , which is modelled on the (DFS) space mathfrak g of real analytic vector fields on M . We study flows of time dependent real analytic vector fields on M which are integrable functions in time, and their dependence on the time dependent vector field. Notably, we show that the Lie group G is L 1 regular in the sense that each gamma in L 1( 0,1 , mathfrak g ) has an evolution which is an absolutely continuous G valued function on 0,1 and smooth in gamma . As tools for the proof, we develop several new results concerning L p regularity of infinite dimensional Lie groups, for 1 leq p leq infty , which will be useful also for the discussion of other classes of groups. Moreover, we obtain new results concerning the continuity and complex analyticity of non linear mappings on open subsets of locally convex direct limits.


Research of Stability in Ad Hoc Self Organizated Wireless Networks. To date, there is a need for the development of efficient data and device exchange protocols that this exchange will provide, since standard protocols used in traditional networks can not fully meet the needs of a new type of network. The article describes the process of development and implementation of a full scale model of noise resistant and sensor network breaks. The stability of this network is achieved by building a distributed network, in which all nodes send messages to all available nodes. Wireless mobile peer to peer network (MANET) can be configured automatically, so the nodes in it can move freely. Wireless networks do not have the complexity of infrastructure and management, which allows devices to create and join on the go networks anywhere, anytime. In this paper, the theoretical part of the functioning of such networks and the field of their use is considered. After that, an initial analysis of the available equipment used for constructing such hardware solutions was conducted. The software for developing such solutions is considered in detail, as well as examples of finished models that implement the investigated functional. After that, several variants of the model of network nodes, as well as the test device for creating a payload on the network, are collected. For this purpose, third party open solutions were used in conjunction with their own developments. The system received a series of tests that made it possible to understand the weak and strong points of such a network and draw conclusions for the further development of the project and the creation of an improved working prototype. The article presents the basic electrical circuits of devices, the list of used equipment and software used and the photographic material of prototypes of the created system.


Elitism in Mathematics and Inequality. The Fields Medal, often referred as the Nobel Prize of mathematics, is awarded to no more than four mathematician under the age of 40, every four years. In recent years, its conferral has come under scrutiny of math historians, for rewarding the existing elite rather than its original goal of elevating mathematicians from under represented communities. Prior studies of elitism focus on citational practices and sub fields the structural forces that prevent equitable access remain unclear. Here we show the flow of elite mathematicians between countries and lingo ethnic identity, using network analysis and natural language processing on 240,000 mathematicians and their advisor advisee relationships. We found that the Fields Medal helped integrate Japan after WWII, through analysis of the elite circle formed around Fields Medalists. Arabic, African, and East Asian identities remain under represented at the elite level. Through analysis of inflow and outflow, we rebuts the myth that minority communities create their own barriers to entry. Our results demonstrate concerted efforts by international academic committees, such as prize giving, are a powerful force to give equal access. We anticipate our methodology of academic genealogical analysis can serve as a useful diagnostic for equality within academic fields.


Systolic inequalities, Ginzburg dg algebras and Milnor fibers. We prove categorical systolic inequalities for the derived categories of 2 Calabi Yau Ginzburg dg algebras associated to ADE quivers and explore their symplecto geometric aspects.


Reading Articles Online. We study the online problem of reading articles that are listed in an aggregated form in a dynamic stream, e.g., in news feeds, as abbreviated social media posts, or in the daily update of new articles on arXiv. In such a context, the brief information on an article in the listing only hints at its content. We consider readers who want to maximize their information gain within a limited time budget, hence either discarding an article right away based on the hint or accessing it for reading. The reader can decide at any point whether to continue with the current article or skip the remaining part irrevocably. In this regard, Reading Articles Online, RAO, does differ substantially from the Online Knapsack Problem, but also has its similarities. Under mild assumptions, we show that any alpha competitive algorithm for the Online Knapsack Problem in the random order model can be used as a black box to obtain an ( mathrm e alpha)C competitive algorithm for RAO, where C measures the accuracy of the hints with respect to the information profiles of the articles. Specifically, with the current best algorithm for Online Knapsack, which is 6.65 2.45 mathrm e competitive, we obtain an upper bound of 3.45 mathrm e C on the competitive ratio of RAO. Furthermore, we study a natural algorithm that decides whether or not to read an article based on a single threshold value, which can serve as a model of human readers. We show that this algorithmic technique is O(C) competitive. Hence, our algorithms are constant competitive whenever the accuracy C is a constant.


Adapting Object Detectors with Conditional Domain Normalization. Real world object detectors are often challenged by the domain gaps between different datasets. In this work, we present the Conditional Domain Normalization (CDN) to bridge the domain gap. CDN is designed to encode different domain inputs into a shared latent space, where the features from different domains carry the same domain attribute. To achieve this, we first disentangle the domain specific attribute out of the semantic features from one domain via a domain embedding module, which learns a domain vector to characterize the corresponding domain attribute information. Then this domain vector is used to encode the features from another domain through a conditional normalization, resulting in different domains' features carrying the same domain attribute. We incorporate CDN into various convolution stages of an object detector to adaptively address the domain shifts of different level's representation. In contrast to existing adaptation works that conduct domain confusion learning on semantic features to remove domain specific factors, CDN aligns different domain distributions by modulating the semantic features of one domain conditioned on the learned domain vector of another domain. Extensive experiments show that CDN outperforms existing methods remarkably on both real to real and synthetic to real adaptation benchmarks, including 2D image detection and 3D point cloud detection.


Coding of billiards in hyperbolic 3 space. In this article, we produce the coding rules of billiards for a class of ideal polyhedrons in the 3 dimensional hyperbolic space. Building on it, further we establish conjugacy between the space of pointed billiard trajectories and the corresponding shift space of codes. This opens up a direct route to study the related geometric properties via the analytical tools available in Symbolic Dynamics.


SignCol Open Source Software for Collecting Sign Language Gestures. Sign(ed) languages use gestures, such as hand or head movements, for communication. Sign language recognition is an assistive technology for individuals with hearing disability and its goal is to improve such individuals' life quality by facilitating their social involvement. Since sign languages are vastly varied in alphabets, as known as signs, a sign recognition software should be capable of handling eight different types of sign combinations, e.g. numbers, letters, words and sentences. Due to the intrinsic complexity and diversity of symbolic gestures, recognition algorithms need a comprehensive visual dataset to learn by. In this paper, we describe the design and implementation of a Microsoft Kinect based open source software, called SignCol, for capturing and saving the gestures used in sign languages. Our work supports a multi language database and reports the recorded items statistics. SignCol can capture and store colored(RGB) frames, depth frames, infrared frames, body index frames, coordinate mapped color body frames, skeleton information of each frame and camera parameters simultaneously.


A fast online cascaded regression algorithm for face alignment. Traditional face alignment based on machine learning usually tracks the localizations of facial landmarks employing a static model trained offline where all of the training data is available in advance. When new training samples arrive, the static model must be retrained from scratch, which is excessively time consuming and memory consuming. In many real time applications, the training data is obtained one by one or batch by batch. It results in that the static model limits its performance on sequential images with extensive variations. Therefore, the most critical and challenging aspect in this field is dynamically updating the tracker's models to enhance predictive and generalization capabilities continuously. In order to address this question, we develop a fast and accurate online learning algorithm for face alignment. Particularly, we incorporate on line sequential extreme learning machine into a parallel cascaded regression framework, coined incremental cascade regression(ICR). To the best of our knowledge, this is the first incremental cascaded framework with the non linear regressor. One main advantage of ICR is that the tracker model can be fast updated in an incremental way without the entire retraining process when a new input is incoming. Experimental results demonstrate that the proposed ICR is more accurate and efficient on still or sequential images compared with the recent state of the art cascade approaches. Furthermore, the incremental learning proposed in this paper can update the trained model in real time.


Learning temporal structure of the input with a network of integrate and fire neurons. The task of the brain is to look for structure in the external input. We study a network of integrate and fire neurons with several types of recurrent connections that learns the structure of its time varying feedforward input by attempting to efficiently represent this input with spikes. The efficiency of the representation arises from incorporating the structure of the input into the decoder, which is implicit in the learned synaptic connectivity of the network. While in the original work of Boerlin, Machens, Den eve 2013 and Brendel et al., 2017 the structure learned by the network to make the representation efficient was the low dimensionality of the feedforward input, in the present work it is its temporal dynamics. The network achieves the efficiency by adjusting its synaptic weights in such a way, that for any neuron in the network, the recurrent input cancels the feedforward for most of the time. We show that if the only temporal structure that the input possesses is that it changes slowly on the time scale of neuronal integration, the dimensionality of the network dynamics is equal to the dimensionality of the input. However, if the input follows a linear differential equation of the first order, the efficiency of the representation can be increased by increasing the dimensionality of the network dynamics in comparison to the dimensionality of the input. If there is only one type of slow synaptic current in the network, the increase is two fold, while if there are two types of slow synaptic currents that decay with different rates and whose amplitudes can be adjusted separately, it is advantageous to make the increase three fold. We numerically simulate the network with synaptic weights that imply the most efficient input representation in the above cases. We also propose a learning rule by means of which the corresponding synaptic weights can be learned.


Multi Agent Manipulation via Locomotion using Hierarchical Sim2Real. Manipulation and locomotion are closely related problems that are often studied in isolation. In this work, we study the problem of coordinating multiple mobile agents to exhibit manipulation behaviors using a reinforcement learning (RL) approach. Our method hinges on the use of hierarchical sim2real a simulated environment is used to learn low level goal reaching skills, which are then used as the action space for a high level RL controller, also trained in simulation. The full hierarchical policy is then transferred to the real world in a zero shot fashion. The application of domain randomization during training enables the learned behaviors to generalize to real world settings, while the use of hierarchy provides a modular paradigm for learning and transferring increasingly complex behaviors. We evaluate our method on a number of real world tasks, including coordinated object manipulation in a multi agent setting. See videos at https sites.google.com view manipulation via locomotion


Clickbait Detection using Multiple Categorization Techniques. Clickbaits are online articles with deliberately designed misleading titles for luring more and more readers to open the intended web page. Clickbaits are used to tempted visitors to click on a particular link either to monetize the landing page or to spread the false news for sensationalization. The presence of clickbaits on any news aggregator portal may lead to unpleasant experience to readers. Automatic detection of clickbait headlines from news headlines has been a challenging issue for the machine learning community. A lot of methods have been proposed for preventing clickbait articles in recent past. However, the recent techniques available in detecting clickbaits are not much robust. This paper proposes a hybrid categorization technique for separating clickbait and non clickbait articles by integrating different features, sentence structure, and clustering. During preliminary categorization, the headlines are separated using eleven features. After that, the headlines are recategorized using sentence formality, syntactic similarity measures. In the last phase, the headlines are again recategorized by applying clustering using word vector similarity based on t Stochastic Neighbourhood Embedding (t SNE) approach. After categorization of these headlines, machine learning models are applied to the data set to evaluate machine learning algorithms. The obtained experimental results indicate the proposed hybrid model is more robust, reliable and efficient than any individual categorization techniques for the real world dataset we used.


Mixed finite elements for convection coupled phase change in enthalpy form Open software verified and applied to 2D benchmarks. Melting and solidification processes are often affected by natural convection of the liquid, posing a multi physics problem involving fluid flow, convective and diffusive heat transfer, and phase change reactions. Enthalpy methods formulate this convection coupled phase change problem on a single computational domain. The governing equations can be solved accurately with a monolithic approach using mixed finite elements and Newton's method. Previously, the monolithic approach has relied on adaptive mesh refinement to regularize local nonlinearities at phase interfaces. This contribution instead separates mesh refinement from nonlinear problem regularization and provides a continuation procedure which robustly obtains accurate solutions on the tested 2D uniform meshes. A flexible and extensible open source implementation is provided. The code is formally verified to accurately solve the governing equations in time and in 2D space, and convergence rates are shown. Two benchmark simulations are presented in detail with comparison to experimental data sets and corresponding results from the literature, one for the melting of octadecane and another for the freezing of water. Sensitivities to key numerical parameters are presented. For the case of freezing water, effective reduction of numerical errors from these key parameters is successfully demonstrated. Two more simulations are briefly presented, one for melting at a higher Rayleigh number and one for melting gallium.


Investigating transversals as generating sets for groups. In 3 is was shown that for any group G whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup H leq G with index G H geq rank(G) , one can always find a left right transversal of H which generates G . In this paper we extend this result to groups of rank at most 4. We also extend this to groups G of arbitrary (finite) rank r provided all the non trivial divisors of G core G(H) are at least 2r 1 . Finally, we extend this to groups G of arbitrary (finite) rank provided H is malnormal in G .


The DG Products of Peeva and Srinivasan Coincide. Consider the ideal (x 1 , dotsc , x n) d subseteq k x 1 , dotsc , x n , where k is any field. This ideal can be resolved by both the L complexes of Buchsbaum and Eisenbud, and the Eliahou Kervaire resolution. Both of these complexes admit the structure of an associative DG algebra, and it is a question of Peeva as to whether these DG structures coincide in general. In this paper, we construct an isomorphism of complexes between the aforementioned complexes that is also an isomorphism of algebras with their respective products, thus giving an affirmative answer to Peeva's question.


Weighted norm inequalities in a bounded domain by the sparse domination method. We prove a local two weight Poincar 'e inequality for cubes using the sparse domination method that has been influential in harmonic analysis. The proof involves a localized version of the Fefferman Stein inequality for the sharp maximal function. By establishing a local to global result in a bounded domain satisfying a Boman chain condition, we show a two weight p Poincar 'e inequality in such domains. As an application we show that certain nonnegative supersolutions of the p Laplace equation and distance weights are p admissible in a bounded domain, in the sense that they support versions of the p Poincar 'e inequality.


The Heterogeneity Hypothesis Finding Layer Wise Differentiated Network Architectures. In this paper, we tackle the problem of convolutional neural network design. Instead of focusing on the design of the overall architecture, we investigate a design space that is usually overlooked, i.e. adjusting the channel configurations of predefined networks. We find that this adjustment can be achieved by shrinking widened baseline networks and leads to superior performance. Based on that, we articulate the heterogeneity hypothesis with the same training protocol, there exists a layer wise differentiated network architecture (LW DNA) that can outperform the original network with regular channel configurations but with a lower level of model complexity. The LW DNA models are identified without extra computational cost or training time compared with the original network. This constraint leads to controlled experiments which direct the focus to the importance of layer wise specific channel configurations. LW DNA models come with advantages related to overfitting, i.e. the relative relationship between model complexity and dataset size. Experiments are conducted on various networks and datasets for image classification, visual tracking and image restoration. The resultant LW DNA models consistently outperform the baseline models. Code is available at https github.com ofsoundof Heterogeneity Hypothesis.


Set theoretical analogues of the Barwise Schlipf theorem. We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel Bernays class theory plus Delta 1 1 Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to Goedel Bernays class theory plus Sigma 1 1 Choice.


Families In Wild Multimedia A Multimodal Database for Recognizing Kinship. Kinship, a soft biometric detectable in media, is fundamental for a myriad of use cases. Despite the difficulty of detecting kinship, annual data challenges using still images have consistently improved performances and attracted new researchers. Now, systems reach performance levels unforeseeable a decade ago, closing in on performances acceptable to deploy in practice. Like other biometric tasks, we expect systems can receive help from other modalities. We hypothesize that adding modalities to FIW, which has only still images, will improve performance. Thus, to narrow the gap between research and reality and enhance the power of kinship recognition systems, we extend FIW with multimedia (MM) data (i.e., video, audio, and text captions). Specifically, we introduce the first publicly available multi task MM kinship dataset. To build FIW MM, we developed machinery to automatically collect, annotate, and prepare the data, requiring minimal human input and no financial cost. The proposed MM corpus allows the problem statements to be more realistic template based protocols. We show significant improvements in all benchmarks with the added modalities. The results highlight edge cases to inspire future research with different areas of improvement. FIW MM supplies the data needed to increase the potential of automated systems to detect kinship in MM. It also allows experts from diverse fields to collaborate in novel ways.


Uniqueness for a system of Monge Amp ere equations. In this note, we prove a uniqueness result, up to a positive multiplicative constant, for nontrivial convex solutions to a system of Monge Amp ere equations begin equation left begin alignedat 2 det D 2 u gamma v p text in Omega, det D 2 v mu u n 2 p text in Omega, u v 0 text on partial Omega end alignedat right. end equation on bounded, smooth and uniformly convex domains Omega subset R n provided that p is close to n geq 2 . When p n , we show that the uniqueness holds for general bounded convex domains Omega subset R n .


Right for the Right Concept Revising Neuro Symbolic Concepts by Interacting with their Explanations. Most explanation methods in deep learning map importance estimates for a model's prediction back to the original input space. These "visual" explanations are often insufficient, as the model's actual concept remains elusive. Moreover, without insights into the model's semantic concept, it is difficult if not impossible to intervene on the model's behavior via its explanations, called Explanatory Interactive Learning. Consequently, we propose to intervene on a Neuro Symbolic scene representation, which allows one to revise the model on the semantic level, e.g. "never focus on the color to make your decision". We compiled a novel confounded visual scene data set, the CLEVR Hans data set, capturing complex compositions of different objects. The results of our experiments on CLEVR Hans demonstrate that our semantic explanations, i.e. compositional explanations at a per object level, can identify confounders that are not identifiable using "visual" explanations only. More importantly, feedback on this semantic level makes it possible to revise the model from focusing on these factors.


Guaranteed and robust L 2 norm a posteriori error estimates for 1D linear advection problems. We propose a reconstruction based a posteriori error estimate for linear advection problems in one space dimension. In our framework, a stable variational ultra weak formulation is adopted, and the equivalence of the L 2 norm of the error with the dual graph norm of the residual is established. This dual norm is showed to be localizable over vertex based patch subdomains of the computational domain under the condition of the orthogonality of the residual to the piecewise affine hat functions. We show that this condition is valid for some well known numerical methods including continuous discontinuous Petrov Galerkin and discontinuous Galerkin methods. Consequently, a well posed local problem on each patch is identified, which leads to a global conforming reconstruction of the discrete solution. We prove that this reconstruction provides a guaranteed upper bound on the L 2 error. Moreover, up to a constant, it also gives local lower bounds on the L 2 error, where the generic constant is proven to be independent of mesh refinement, polynomial degree of the approximation, and the advective velocity. This leads to robustness of our estimates with respect to the advection as well as the polynomial degree. All the above properties are verified in a series of numerical experiments, additionally leading to asymptotic exactness. Motivated by these results, we finally propose a heuristic extension of our methodology to any space dimension, achieved by solving local least squares problems on vertex based patches. Though not anymore guaranteed, the resulting error indicator is numerically robust with respect to both advection velocity and polynomial degree, for a collection of two dimensional test cases including discontinuous solutions.


Proof of Prestige A Useful Work Reward System for Unverifiable Tasks. As cryptographic tokens and altcoins are increasingly being built to serve as utility tokens, the notion of useful work consensus protocols, as opposed to number crunching PoW consensus, is becoming ever more important. In such contexts, users get rewards from the network after they have carried out some specific task useful for the network. While in some cases the proof of some utility or service can be proved, the majority of tasks are impossible to verify. In order to deal with such cases, we design Proof of Prestige (PoP) a reward system that can run on top of Proof of Stake blockchains. PoP introduces prestige which is a volatile resource and, in contrast to coins, regenerates over time. Prestige can be gained by performing useful work, spent when benefiting from services and directly translates to users minting power. PoP is resistant against Sybil and Collude attacks and can be used to reward workers for completing unverifiable tasks, while keeping the system free for the end users. We use two exemplar use cases to showcase the usefulness of PoP and we build a simulator to assess the cryptoeconomic behaviour of the system in terms of prestige transfer between nodes.


An Algorithm for the Exact Treedepth Problem. We present a novel algorithm for the minimum depth elimination tree problem, which is equivalent to the optimal treedepth decomposition problem. Our algorithm makes use of two cheaply computed lower bound functions to prune the search tree, along with symmetry breaking and domination rules. We present an empirical study showing that the algorithm outperforms the current state of the art solver (which is based on a SAT encoding) by orders of magnitude on a range of graph classes.


Fluctuations of Electric Fields in the Active Site of the Enzyme Ketosteroid Isomerase. We report the effect of conformational dynamics on the fluctuations of electric fields in the active site of the enzyme Ketosteroid Isomerase (KSI). While KSI is considered rigid with little conformational variation to support different stages of the catalytic cycle, we show that KSI utilizes cooperative side chain motions of the entire protein scaffold outside the active site, which contribute negligibly to the electric fields on the substrate, by progressively stabilizing electric field contributions by particular active site residues at different timescales. The design of synthetic enzymes could benefit from strategies that can take advantage of the dynamics by using electric fields fluctuations as a guide.


Transience in Countable MDPs. The Transience objective is not to visit any state infinitely often. While this is not possible in finite Markov Decision Process (MDP), it can be satisfied in countably infinite ones, e.g., if the transition graph is acyclic. We prove the following fundamental properties of Transience in countably infinite MDPs. 1. There exist uniformly epsilon optimal MD strategies (memoryless deterministic) for Transience, even in infinitely branching MDPs. 2. Optimal strategies for Transience need not exist, even if the MDP is finitely branching. However, if an optimal strategy exists then there is also an optimal MD strategy. 3. If an MDP is universally transient (i.e., almost surely transient under all strategies) then many other objectives have a lower strategy complexity than in general MDPs. E.g., epsilon optimal strategies for Safety and co B "uchi and optimal strategies for 0,1,2 Parity (where they exist) can be chosen MD, even if the MDP is infinitely branching.


QUIC EST A Transmission Scheme to Maximize VoI of Multi Stream Correlated Data Flows. New advanced applications, such as autonomous driving and haptic communication, require to transmit multi sensory data and require low latency and high reliability. These applications include. Existing implementations for such services have mostly relied on ad hoc scheduling and send rate adaptation mechanisms, implemented directly by the application and running over UDP. In this work, we propose a transmission scheme that relies on the features of the recently developed QUIC transport protocol, providing reliability where needed, and standardized congestion control, without compromising latency. Furthermore, we propose a scheduler for sensor data transmissions on the transport layer that can exploit the correlations over time and across sensors. This mechanism allows applications to maximize the Value of Information (VoI) of the transmitted data, as we demonstrate through simulations in two realistic application scenarios.


Inexact Primal Dual Gradient Projection Methods for Nonlinear Optimization on Convex Set. In this paper, we propose a novel primal dual inexact gradient projection method for nonlinear optimization problems with convex set constraint. This method only needs inexact computation of the projections onto the convex set for each iteration, consequently reducing the computational cost for projections per iteration. This feature is attractive especially for solving problems where the projections are computationally not easy to calculate. Global convergence guarantee and O(1 k) ergodic convergence rate of the optimality residual are provided under loose assumptions. We apply our proposed strategy to l1 ball constrained problems. Numerical results exhibit that our inexact gradient projection methods for solving l1 ball constrained problems are more efficient than the exact methods.


Gradient Episodic Memory with a Soft Constraint for Continual Learning. Catastrophic forgetting in continual learning is a common destructive phenomenon in gradient based neural networks that learn sequential tasks, and it is much different from forgetting in humans, who can learn and accumulate knowledge throughout their whole lives. Catastrophic forgetting is the fatal shortcoming of a large decrease in performance on previous tasks when the model is learning a novel task. To alleviate this problem, the model should have the capacity to learn new knowledge and preserve learned knowledge. We propose an average gradient episodic memory (A GEM) with a soft constraint epsilon in 0, 1 , which is a balance factor between learning new knowledge and preserving learned knowledge our method is called gradient episodic memory with a soft constraint epsilon ( epsilon SOFT GEM). epsilon SOFT GEM outperforms A GEM and several continual learning benchmarks in a single training epoch additionally, it has state of the art average accuracy and efficiency for computation and memory, like A GEM, and provides a better trade off between the stability of preserving learned knowledge and the plasticity of learning new knowledge.


Symplectic homology of convex domains and Clarke's duality. We prove that the Floer complex that is associated with a convex Hamiltonian function on mathbb R 2n is isomorphic to the Morse complex of Clarke's dual action functional that is associated with the Fenchel dual Hamiltonian. This isomorphism preserves the action filtrations. As a corollary, we obtain that the symplectic capacity from the symplectic homology of a convex domain with smooth boundary coincides with the minimal action of closed characteristics on its boundary.


A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostly in the spatial and temporal domains, with several practical applications such as naval traffic monitoring, warehouse process optimisation and robot manipulation. Even if a number of specialised qualitative reasoning tools have been developed so far, an important barrier to the wider adoption of these tools is that only qualitative reasoning is supported natively, when real world problems most often require a combination of qualitative and other forms of reasoning. In this work, we propose to overcome this barrier by using ASP as a unifying formalism to tackle problems that require qualitative reasoning in addition to non qualitative reasoning. A family of ASP encodings is proposed which can handle any qualitative calculus with binary relations. These encodings are experimentally evaluated using a real world dataset based on a case study of determining optimal coverage of telecommunication antennas, and compared with the performance of two well known dedicated reasoners. Experimental results show that the proposed encodings outperform one of the two reasoners, but fall behind the other, an acceptable trade off given the added benefits of handling any type of reasoning as well as the interpretability of logic programs. This paper is under consideration for acceptance in TPLP.


DISIR Deep Image Segmentation with Interactive Refinement. This paper presents an interactive approach for multi class segmentation of aerial images. Precisely, it is based on a deep neural network which exploits both RGB images and annotations. Starting from an initial output based on the image only, our network then interactively refines this segmentation map using a concatenation of the image and user annotations. Importantly, user annotations modify the inputs of the network not its weights enabling a fast and smooth process. Through experiments on two public aerial datasets, we show that user annotations are extremely rewarding each click corrects roughly 5000 pixels. We analyze the impact of different aspects of our framework such as the representation of the annotations, the volume of training data or the network architecture. Code is available at https github.com delair ai DISIR.


Deep Metric Learning Beyond Binary Supervision. Metric Learning for visual similarity has mostly adopted binary supervision indicating whether a pair of images are of the same class or not. Such a binary indicator covers only a limited subset of image relations, and is not sufficient to represent semantic similarity between images described by continuous and or structured labels such as object poses, image captions, and scene graphs. Motivated by this, we present a novel method for deep metric learning using continuous labels. First, we propose a new triplet loss that allows distance ratios in the label space to be preserved in the learned metric space. The proposed loss thus enables our model to learn the degree of similarity rather than just the order. Furthermore, we design a triplet mining strategy adapted to metric learning with continuous labels. We address three different image retrieval tasks with continuous labels in terms of human poses, room layouts and image captions, and demonstrate the superior performance of our approach compared to previous methods.


Flood propagation modelling with the Local Inertia Approximation theoretical and numerical analysis of its physical limitations. Attention of the researchers has increased towards a simplification of the complete Shallow water Equations called the Local Inertia Approximation (LInA), which is obtained by neglecting the advection term in the momentum conservation equation. In the present paper it is demonstrated that a shock is always developed at moving wetting drying frontiers, and this justifies the study of the Riemann problem on even and uneven beds. In particular, the general exact solution for the Riemann problem on horizontal frictionless bed is given, together with the exact solution of the non breaking wave propagating on horizontal bed with friction, while some example solution is given for the Riemann problem on discontinuous bed. From this analysis, it follows that drying of the wet bed is forbidden in the LInA model, and that there are initial conditions for which the Riemann problem has no solution on smoothly varying bed. In addition, propagation of the flood on discontinuous sloping bed is impossible if the bed drops height have the same order of magnitude of the moving frontier shock height. Finally, it is found that the conservation of the mechanical energy is violated. It is evident that all these findings pose a severe limit to the application of the model. The numerical analysis has proven that LInA numerical models may produce numerical solutions, which are unreliable because of mere algorithmic nature, also in the case that the LInA mathematical solutions do not exist. The applicability limits of the LInA model are discouragingly severe, even if the bed elevation varies continuously. More important, the non existence of the LInA solution in the case of discontinuous topography and the non existence of receding fronts radically question the viability of the LInA model in realistic cases. It is evident that classic SWE models should be preferred in the majority of the practical applications.


On diagonal equations over finite fields. Let mathbb F q be a finite field with q p t elements. In this paper, we study the number of solutions of equations of the form a 1 x 1 d 1 dots a s x s d s b over mathbb F q . A classic well konwn result from Weil yields a bound for such number of solutions. In our main result we give an explicit formula for the number of solutions for diagonal equations satisfying certain natural restrictions on the exponents. In the case d 1 dots d s , we present necessary and sufficient conditions for the number of solutions of a diagonal equation being maximal and minimal with respect to Weil's bound. In particular, we completely characterize maximal and minimal Fermat type curves.


Real time Mask Detection on Google Edge TPU. After the COVID 19 outbreak, it has become important to automatically detect whether people are wearing masks in order to reduce risk of front line workers. In addition, processing user data locally is a great way to address both privacy and network bandwidth issues. In this paper, we present a light weighted model for detecting whether people in a particular area wear masks, which can also be deployed on Coral Dev Board, a commercially available development board containing Google Edge TPU. Our approach combines the object detecting network based on MobileNetV2 plus SSD and the quantization scheme for integer only hardware. As a result, the lighter model in the Edge TPU has a significantly lower latency which is more appropriate for real time execution while maintaining accuracy comparable to a floating point device.


Saturations of Subalgebras, SAGBI Bases, and U invariants. Given a polynomial ring P over a field K , an element g in P , and a K subalgebra S of P , we deal with the problem of saturating S with respect to g , i.e. computing Sat g(S) S g, g 1 cap P . In the general case we describe a procedure algorithm to compute a set of generators for Sat g(S) which terminates if and only if it is finitely generated. Then we consider the more interesting case when S is graded. In particular, if S is graded by a positive matrix W and g is an indeterminate, we show that if we choose a term ordering sigma of g DegRev type compatible with W , then the two operations of computing a sigma SAGBI basis of S and saturating S with respect to g commute. This fact opens the doors to nice algorithms for the computation of Sat g(S) . In particular, under special assumptions on the grading one can use the truncation of a sigma SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some U invariants, classically called semi invariants, even in the case that K is not the field of complex numbers.


The lattice of cycles of an undirected graph. We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0 1 incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.


math.NA cs.NA math.AP physics.class-ph physics.flu-dyn

Viscoelastic flows with conservation laws. We propose in this work the first symmetric hyperbolic system of conservation laws to describe viscoelastic flows of Maxwell fluids, i.e. fluidswith memory that are characterized by one relaxation time parameter. Precisely, the system of quasilinear PDEs is detailed for the shallow water regime, i.e. for hydrostatic incompressible 2D flows with free surface under gravity. It generalizes Saint Venant system to viscoelastic flows of Maxwell fluids, and encompasses previous works with F. Bouchut. It also generalizes the (thin layer) elastodynamics of hyperelastic materials to viscous fluids, and to various rheologies between solid and liquid states that can be formulated using our new variable as material parameter.The new viscoelastic flow model has many potential applications, additionally to falling into the theoretical framework of (symmetric hyper bolic) systems of conservation laws. In computational rheology, it offers a new approach to the High Weissenberg Number Problem (HWNP). Fortransient geophysical flows, it offers perspectives of thermodynamically compatible numerical simulations, with a Finite Volume (FV) discretization say. Besides, one FV discretization of the new continuum model is proposed herein to precise our ideas incl. the physical meaning of the solutions. Perspectives are finally listed after some numerical simulations.


Robust Commitments and Partial Reputation. Agents rarely act in isolation their behavioral history, in particular, is public to others. We seek a non asymptotic understanding of how a leader agent should shape this history to its maximal advantage, knowing that follower agent(s) will be learning and responding to it. We study Stackelberg leader follower games with finite observations of the leader commitment, which commonly models security games and network routing in engineering, and persuasion mechanisms in economics. First, we formally show that when the game is not zero sum and the vanilla Stackelberg commitment is mixed, it is not robust to observational uncertainty. We propose observation robust, polynomial time computable commitment constructions for leader strategies that approximate the Stackelberg payoff, and also show that these commitment rules approximate the maximum obtainable payoff (which could in general be greater than the Stackelberg payoff).


Non unimodular transversely homogeneous foliations. We give sufficient conditions for the tautness of a transversely homogenous foliation defined on a compact manifold, by computing its base like cohomology. As an application, we prove that if the foliation is non unimodular then either the ambient manifold, the closure of the leaves or the total space of an associated principal bundle fiber over S 1 .


The characteristic variety for Feigin and Odesskii's elliptic algebras. This paper examines an algebraic variety that controls an important part of the structure and representation theory of the algebra Q n,k (E, tau) introduced by Feigin and Odesskii. The Q n,k (E, tau) 's are a family of quadratic algebras depending on a pair of coprime integers n k ge 1 , an elliptic curve E , and a point tau in E . It is already known that the structure and representation theory of Q n,1 (E, tau) is controlled by the geometry associated to E embedded as a degree n normal curve in the projective space mathbb P n 1 , and by the way in which the translation automorphism z mapsto z tau interacts with that geometry. For k ge 2 a similar phenomenon occurs (E, tau) is replaced by (X n k , sigma) where X n k subseteq mathbb P n 1 is the characteristic variety of the title and sigma is an automorphism of it that is determined by the negative continued fraction for frac n k . There is a surjective morphism Phi E g to X n k where g is the length of that continued fraction. The main result in this paper is that X n k is a quotient of E g by the action of an explicit finite group. We also prove some assertions made by Feigin and Odesskii. The morphism Phi is the natural one associated to a particular invertible sheaf mathcal L n k on E g . The generalized Fourier Mukai transform associated to mathcal L n k sends the set of isomorphism classes of degree zero invertible mathcal O E modules to the set of isomorphism classes of indecomposable locally free mathcal O E modules of rank k and degree n . Thus X n k has an importance independent of the role it plays in relation to Q n,k (E, tau) . The backward sigma orbit of each point on X n k determines a point module for Q n,k (E, tau) .


Fourier transformation and stability of differential equation on L 1( Bbb R ) . In the present paper by the Fourier transform we show that every linear differential equations of n th order has a solution in L 1( Bbb R ) which is infinitely differentiable in Bbb R setminus 0 . Moreover the Hyers Ulam stability of such equations on L 1( Bbb R ) is investigated.


NEP a module for the parallel solution of nonlinear eigenvalue problems in SLEPc. SLEPc is a parallel library for the solution of various types of large scale eigenvalue problems. In the last years we have been developing a module within SLEPc, called NEP, that is intended for solving nonlinear eigenvalue problems. These problems can be defined by means of a matrix valued function that depends nonlinearly on a single scalar parameter. We do not consider the particular case of polynomial eigenvalue problems (which are implemented in a different module in SLEPc) and focus here on rational eigenvalue problems and other general nonlinear eigenproblems involving square roots or any other nonlinear function. The paper discusses how the NEP module has been designed to fit the needs of applications and provides a description of the available solvers, including some implementation details such as parallelization. Several test problems coming from real applications are used to evaluate the performance and reliability of the solvers.


Maximal degrees in subgraphs of Kneser graphs. In this paper, we study the maximum degree in non empty induced subgraphs of the Kneser graph KG(n,k) . One of the main results asserts that, for k k 0 and n 64k 2 , whenever a non empty subgraph has m ge k n 2 choose k 2 vertices, its maximum degree is at least frac 12(1 frac k 2 n) m n 2 choose k 2 ge 0.49 m . This bound is essentially best possible. One of the intermediate steps is to obtain structural results on non empty subgraphs with small maximum degree.


2D Nondirect Product Discrete Variable Representation for Schr "odinger Equation with Nonseparable Angular Variables. We develop a nondirect product discrete variable representation (npDVR) for treating quantum dynamical problems which involve nonseparable angular variables. The npDVR basis is constructed on spherical functions orthogonalized on the grids of the Lebedev or Popov 2D quadratures for the unit sphere instead of the direct product of 1D quadrature rules. We compare our computational scheme with the old one that used the product of 1D Gaussian quadratures in terms of their convergence and efficiency by calculating, as an example, the spectrum of a hydrogen atom in the magnetic and electric fields arbitrarily oriented to one another. The use of the npDVR based on the Lebedev or Popov 2D quadratures substantially accelerates the convergence of the computational scheme. Moreover, we get the fastest convergence with the npDVR based on the Popov quadratures, which has the largest efficiency coefficient.


ImarisWriter Open Source Software for Storage of Large Images in Blockwise Multi Resolution Format. We publish as open source a high performance file writer library to store large images in the IMS format for high performance visualization and analysis. The library is capable of writing images at high speed. In just over 1 minute it can write a 100GB image to disk. The library takes care of all the details of multi resolution resampling, chunking, compression, and multi threading. It makes high performance writing of images in a useful format very easy.


Integrated Sensing, Computation and Communication in B5G Cellular Internet of Things. In this paper, we investigate the issue of integrated sensing, computation and communication (SCC) in beyond fifth generation (B5G) cellular internet of things (IoT) networks. According to the characteristics of B5G cellular IoT, a comprehensive design framework integrating SCC is put forward for massive IoT. For sensing, highly accurate sensed information at IoT devices are sent to the base station (BS) by using non orthogonal communication over wireless multiple access channels. Meanwhile, for computation, a novel technique, namely over the air computation (AirComp), is adopted to substantially reduce the latency of massive data aggregation via exploiting the superposition property of wireless multiple access channels. To coordinate the co channel interference for enhancing the overall performance of B5G cellular IoT integrating SCC, two joint beamforming design algorithms are proposed from the perspectives of the computation error minimization and the weighted sum rate maximization, respectively. Finally, extensive simulation results validate the effectiveness of the proposed algorithms for B5G cellular IoT over the baseline ones.


The Concept of Cyber Defence Exercises (CDX) Planning, Execution, Evaluation. This paper discusses the concept of cyber defence exercises CDX that are very important tool when it comes to enhancing the safety awareness of cyberspace, testing an organization's ability to put up resistance and respond to different cyber events to establish the secure environment, gathering empirical data related to security, and looking at the practical training of experts on this subject. The exercises can give ideas to the decision makers about the precautions in the cybersecurity area and to the officials, institutions, organizations, and staff who are responsible on the cyber tools, techniques, and procedures that can be developed for this field. In the cyber defense exercises, the scenarios that are simulated closest to reality which provides very important contributions by bringing together the necessity of making the best decisions and management capabilities under the cyber crisis by handling stress and coordinated movement as a team. The objective of this paper is to address the issue from a scientific point of view by setting out the stages of planning, implementation, and evaluation of these exercises, taking into account and comparing international firefighting exercises. Another aim of the work is to be able to reveal the necessary processes that are required for all kind of cyber exercises, regardless of the type, although the processes involved vary according to the target mass of the planned exercise.


Application of classical models to high resolution electric field strength falls in a hydrogen glow discharge. This paper presents the application of two classical models to high resolution electric field measurements carried out in a hollow cathode discharge operated in pure hydrogen plasma. The electric field determination has been done via the Stark shifting and splitting of the 2S level of hydrogen, followed by optogalvanic detection. Two classical models, Rickards' and Wro 'n ski's, are applied to these measurements with the objective of obtaining a first estimation on the discharge dynamics. The chosen models provide an idea of the ions movement, their energy and their mean free path at the cathode fall region, as well as the electric field strength behaviour depending on the discharge characteristics.


Quenched and averaged large deviation rate functions for random walks in random environments the impact of disorder. In 2003, Varadhan V03 developed a robust method for proving quenched and averaged large deviations for random walks in a uniformly elliptic and i.i.d. environment (RWRE) on mathbb Z d . One fundamental question which remained open was to determine when the quenched and averaged large deviation rate functions agree, and when they do not. In this article we show that for RWRE in uniformly elliptic and i.i.d. environment in d geq 4 , the two rate functions agree on any compact set contained in the interior of their domain which does not contain the origin, provided that the disorder of the environment is sufficiently low. Our result provides a new formulation which encompasses a set of sufficient conditions under which these rate functions agree without assuming that the RWRE is ballistic (see Y11 ), satisfies a CLT or even a law of large numbers ( Zer02,Ber08 ). Also, the equality of rate functions is not restricted to neighborhoods around given points, as long as the disorder of the environment is kept low. One of the novelties of our approach is the introduction of an auxiliary random walk in a deterministic environment which is itself ballistic (regardless of the actual RWRE behavior) and whose large deviation properties approximate those of the original RWRE in a robust manner, even if the original RWRE is not ballistic itself.


An index theorem for higher orbital integrals. Recently, two of the authors of this paper constructed cyclic cocycles on Harish Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the K theory of the corresponding group C algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions.


Automatic Knowledge Acquisition for Object Oriented Expert Systems. We describe an Object Oriented Model for building Expert Systems. This model and the detection of similarities allow to implement reasoning modes as induction, deduction and simulation. We specially focus on similarity and its use in induction. We propose original algorithms which deal with total and partial structural similitude of objects to facilitate knowledge acquisition.


How many zeros of a random sparse polynomial are real?. We investigate the number of real zeros of a univariate k sparse polynomial f over the reals, when the coefficients of f come from independent standard normal distributions. Recently B "urgisser, Erg "ur and Tonelli Cueto showed that the expected number of real zeros of f in such cases is bounded by O( sqrt k log k) . In this work, we improve the bound to O( sqrt k ) and also show that this bound is tight by constructing a family of sparse support whose expected number of real zeros is lower bounded by Omega( sqrt k ) . Our main technique is an alternative formulation of the Kac integral by Edelman Kostlan which allows us to bound the expected number of zeros of f in terms of the expected number of zeros of polynomials of lower sparsity. Using our technique, we also recover the O( log n) bound on the expected number of real zeros of a dense polynomial of degree n with coefficients coming from independent standard normal distributions.


A convergent evolving finite element algorithm for Willmore flow of closed surfaces. A proof of convergence is given for a novel evolving surface finite element semi discretization of Willmore flow of closed two dimensional surfaces, and also of surface diffusion flow. The numerical method proposed and studied here discretizes fourth order evolution equations for the normal vector and mean curvature, reformulated as a system of second order equations, and uses these evolving geometric quantities in the velocity law interpolated to the finite element space. This numerical method admits a convergence analysis in the case of continuous finite elements of polynomial degree at least two. The error analysis combines stability estimates and consistency estimates to yield optimal order H 1 norm error bounds for the computed surface position, velocity, normal vector and mean curvature. The stability analysis is based on the matrix vector formulation of the finite element method and does not use geometric arguments. The geometry enters only into the consistency estimates. Numerical experiments illustrate and complement the theoretical results.


A Method and Analysis to Elicit User reported Problems in Intelligent Everyday Applications. The complex nature of intelligent systems motivates work on supporting users during interaction, for example through explanations. However, as of yet, there is little empirical evidence in regard to specific problems users face when applying such systems in everyday situations. This paper contributes a novel method and analysis to investigate such problems as reported by users We analysed 45,448 reviews of four apps on the Google Play Store (Facebook, Netflix, Google Maps and Google Assistant) with sentiment analysis and topic modelling to reveal problems during interaction that can be attributed to the apps' algorithmic decision making. We enriched this data with users' coping and support strategies through a follow up online survey (N 286). In particular, we found problems and strategies related to content, algorithm, user choice, and feedback. We discuss corresponding implications for designing user support, highlighting the importance of user control and explanations of output, rather than processes.


SEIRD model in heterogenous populations The role of commuting and social inequalities in the COVID 19 dynamics. In this paper we analyze the effects of commuting and social inequalities for the epidemic development of the novel coronavirus (COVID 19). With this aim we consider a SEIRD (susceptible, exposed, infected, recovered and dead by disease) model without vital dynamics in a population divided into patches that have different economic resources and in which the individuals can commute from one patch to another (bilaterally). In the modeling we choose the social and commuting parameters arbitrarily. We calculate the basic reproductive number R 0 with the next generation approach and analyze the sensitivity of R 0 with respect to the parameters. Furthermore, we run numerical simulations considering a population divided into two patches to bring some conclusions on the number of total infected individuals and cumulative deaths for our model considering heterogeneous populations.


Self Supervised Learning for Visual Summary Identification in Scientific Publications. Providing visual summaries of scientific publications can increase information access for readers and thereby help deal with the exponential growth in the number of scientific publications. Nonetheless, efforts in providing visual publication summaries have been few and far apart, primarily focusing on the biomedical domain. This is primarily because of the limited availability of annotated gold standards, which hampers the application of robust and high performing supervised learning techniques. To address these problems we create a new benchmark dataset for selecting figures to serve as visual summaries of publications based on their abstracts, covering several domains in computer science. Moreover, we develop a self supervised learning approach, based on heuristic matching of inline references to figures with figure captions. Experiments in both biomedical and computer science domains show that our model is able to outperform the state of the art despite being self supervised and therefore not relying on any annotated training data.


Stochastic Navier Stokes Equations and Related Models. Regularization by noise for certain classes of fluid dynamic equations, a theme dear to Giuseppe Da Prato (see G. Da Prato and A. Debussche, Ergodicity for the 3D stochastic Navier Stokes equations, J. Math. Pures Appl., 2003), is reviewed focusing on 3D Navier Stokes equations and dyadic models of turbulence.


Difference of Weighted Composition Operators from alpha Bloch Spaces to beta Bloch Spaces. In this paper, we study the boundedness and compactness of the differences of two weighted composition operators acting from alpha Bloch space to beta Bloch space on the open unit disk. This study has a relationship to the topological structure of weighted composition from alpha Bloch space to beta Bloch space.


Enhancing the Resolution Limits of Spectral Interferometric Measurements with Swept Wavelength Interrogation by Means of a Reference Interferometer. An approach for compensating the influence of the interrogator noises on the readings of interferometric sensors, interrogated by means of spectral interferometry with wavelength tuning is proposed. Both theoretical analysis and a proof of principle experiment were performed for the example of extrinsic Fabry Perot interferometers (EFPI). Two schemes, comprising of a signal and a reference interferometers, switched in different optical channels of the interrogating unit, were proposed. The approach is based on the fact that the fluctuations of some of the interrogator parameters produce correlated fluctuations of the reference and signal interferometers optical path differences (OPD) measured values. The fluctuations of the reference interferometers measured OPD can be subtracted from the measured OPD of the signal interferometer. The fluctuations of different parameters of the interrogator are considered, the correlation properties of the produced noises of the measured OPD values are demonstrated. The first scheme contains two interferometers with similar parameters and enabled a three fold resolution improvement in the performed experiments, when the difference of the interferometers OPDs was varied within about 10 nm. The second scheme contains two interferometers with OPDs difference such that all interrogator fluctuations, except for the dominating one produce uncorrelated OPD errors. With the second scheme a two fold resolution improvement was experimentally demonstrated, when the interferometers OPDs difference was varied within more than 1 mum. The proposed approach can be used for improving the resolution of interferometric sensors with relatively large OPDs (greater than 200 300 mum), which can be advantageous for remote materials and surface inspection.


The Development of Visualization Psychology Analysis Tools to Account for Trust. Defining trust is an important endeavor given its applicability to assessing public mood to much of the innovation in the newly formed autonomous industry, such as artificial intelligence (AI),medical bots, drones, autonomous vehicles, and smart factories 19 .Through developing a reliable index or means to measure trust,this may have wide impact from fostering acceptance and adoption of smart systems to informing policy makers about the public atmosphere and willingness to adopt innovate change, and has been identified as an important indicator in a recent UK policy brief 8 .In this paper, we reflect on the importance and potential impact of developing Visualization Psychology in the context of solving definitions and policy decision making problems for complex constructs such as "trust".


Half integral weight modular forms and real quadratic p rational fields. Using half integral weight modular forms we give a criterion for the existence of real quadratic p rational fields. For p 5 we prove the existence of infinitely many real quadratic p rational fields.


About Three Dimensional Double Sided Dirichlet and Neumann Boundary Value Problems for the Laplacian. The orthogonality of Hilbert spaces whose elements can be represented as simple and double layer potentials is determined. Conditions of well posed solvability of integral equations for the sum of simple and double layer potentials equivalent to double sided Dirichlet, Neumann, and Dirichlet Neumann boundary value problems for the Laplacian are established in the Hilbert space, elements of which as well as their normal derivatives have the jump through boundary surface. The properties of boundary operators that relate the double sided boundary conditions of different types for the three dimensional Laplace equation are investigated.


Keep your Communities Clean Exploring the Routing Message Impact of BGP Communities. BGP communities are widely used to tag prefix aggregates for policy, traffic engineering, and inter AS signaling. Because individual ASes define their own community semantics, many ASes blindly propagate communities they do not recognize. Prior research has shown the potential security vulnerabilities when communities are not filtered. This work sheds light on a second unintended side effect of communities and permissive propagation an increase in unnecessary BGP routing messages. Due to its transitive property, a change in the community attribute induces update messages throughout established routes, just updating communities. We ground our work by characterizing the handling of updates with communities, including when filtered, on multiple real world BGP implementations in controlled laboratory experiments. We then examine 10 years of BGP messages observed in the wild at two route collector systems. In 2020, approximately 25 of all announcements modify the community attribute, but retain the AS path of the most recent announcement an additional 25 update neither community nor AS path. Using predictable beacon prefixes, we demonstrate that communities lead to an increase in update messages both at the tagging AS and at neighboring ASes that neither add nor filter communities. This effect is prominent for geolocation communities during path exploration on a single day, 63 of all unique community attributes are revealed exclusively due to global withdrawals.


Large deviations for surviving trajectories of general Markov processes. The purpose of this paper is to ensure the conditions of G "artner Ellis Theorem for evaluations of the empirical measure. We show that up to date conditions for ensuring the convergence to a quasi stationary distribution can be applied efficiently. By this mean, we are able to prove Large Deviation results even with a conditioning that the process is not extinct at the end of the evaluation. The domain on which these Large Deviation results apply is implicitly given by the range of penalization for which one can prove the above mentioned results of quasi stationarity. We propose a way to relate the range of controlled deviations to the range of admissible penalization. Central Limit Theorems are deduced from these results of Large Deviations. As an application, we consider the empirical measure of position and jumps of a continuous time process on aunbounded domain of R d . This model is inspired by the adaptation of a population to a changing environment. Jumps makes it possible for the process to face a deterministic dynamics leading to high extinction areas.


Small operator ideals on the Schlumprecht and Schreier spaces. We present a method of building operators on a Banach space X that generate distinct operator ideals in the algebra mathscr B (X) of bounded linear operators on X . We show that there are exactly 2 mathfrak c distinct small closed operator ideals on the Schlumprecht space and there is a chain of cardinality mathfrak c of small closed operator ideals on any Schreier space of finite order.


Stereodynamic control of overlapping resonances in cold molecular collisions. Stereodynamic control of resonant molecular collisions has emerged as a new frontier in cold molecule research. Recent experimental studies have focused on weakly interacting molecular systems such as HD collisions with H 2 , D 2 and He. We report here the possibility of such control in strongly interacting systems taking rotational relaxation in cold collisions of HCl and H 2 . Using explicit quantum scattering calculations in full six dimensions it is shown that robust control of the collision dynamics is possible even when multiple (overlapping) shape resonances coexist in a narrow energy range, indicating that cold stereochemistry offers great promise for many molecules beyond simple systems. We demonstrate a striking case where two prominent peaks in overlapping resonances are switched off simultaneously by suitable alignment of the HCl molecule.


Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers. Unit testing represents the foundational basis of the software testing pyramid, beneath integration and end to end testing. Automated software testing researchers have proposed a variety of techniques to assist developers in this time consuming task. In this paper we present an approach to support developers in writing unit test cases by generating accurate and useful assert statements. Our approach is based on a state of the art transformer model initially pretrained on an English textual corpus. This semantically rich model is then trained in a semi supervised fashion on a large corpus of source code. Finally, we finetune this model on the task of generating assert statements for unit tests. The resulting model is able to generate accurate assert statements for a given method under test. In our empirical evaluation, the model was able to predict the exact assert statements written by developers in 62 of the cases in the first attempt. The results show 80 relative improvement for top 1 accuracy over the previous RNN based approach in the literature. We also show the substantial impact of the pretraining process on the performances of our model, as well as comparing it with assert auto completion task. Finally, we demonstrate how our approach can be used to augment EvoSuite test cases, with additional asserts leading to improved test coverage.


Analysis of Two variable Recurrence Relations with Application to Parameterized Approximations. In this paper we introduce randomized branching as a tool for parameterized approximation and develop the mathematical machinery for its analysis. Our algorithms improve the best known running times of parameterized approximation algorithms for Vertex Cover and 3 Hitting Set for a wide range of approximation ratios. One notable example is a simple parameterized random 1.5 approximation algorithm for Vertex Cover, whose running time of O (1.01657 k) substantially improves the best known runnning time of O (1.0883 k) Brankovic and Fernau, 2013 . For 3 Hitting Set we present a parameterized random 2 approximation algorithm with running time of O (1.0659 k) , improving the best known O (1.29 k) algorithm of Brankovic and Fernau, 2012 . The running times of our algorithms are derived from an asymptotic analysis of a wide class of two variable recurrence relations of the form p(b,k) min 1 leq j leq N sum i 1 r j bar gamma i j cdot p(b bar b j i, k bar k i j), where bar b j and bar k j are vectors of natural numbers, and bar gamma j is a probability distribution over r j elements, for 1 leq j leq N . Our main theorem asserts that for any alpha 0 , lim k rightarrow infty frac 1 k log p( alpha k,k) max 1 leq j leq N M j, where M j depends only on alpha , bar gamma j , bar b j and bar k j , and can be efficiently calculated by solving a simple numerical optimization problem. To this end, we show an equivalence between the recurrence and a stochastic process. We analyze this process using the Method of Types, by introducing an adaptation of Sanov's theorem to our setting. We believe our novel analysis of recurrence relations which is of independent interest is a main contribution of this paper.


Improving Minimal Gated Unit for Sequential Data. In order to obtain a model which can process sequential data related to machine translation and speech recognition faster and more accurately, we propose adopting Chrono Initializer as the initialization method of Minimal Gated Unit. We evaluated the method with two tasks adding task and copy task. As a result of the experiment, the effectiveness of the proposed method was confirmed.


Capacity Region of Two users Weak Gaussian Interference Channel. Computing capacity of Gaussian Interference Channel (GIC) is complex since knowledge of input distributions is needed to find the mutual information terms in closed forms, which should be optimized over input distributions and associated resource allocation. The optimum solution may require dividing the available resources among several GIC (each called a "constituent region", hereafter) and apply time sharing among them. The current article focuses on a single constituent region (meaning the constraints on resources are all satisfied with equality) for a 2 users weak GIC. It is shown that, by relying on a different, intuitively straightforward, interpretation of the underlying optimization problem, one can determine the encoding decoding strategies in the process of computing the optimum solution. This is based on gradually moving along the boundary of the capacity region in infinitesimal steps, where the solution for the end point in each step is optimized relying on the solution at the step's starting point. This approach enables proving Gaussian distribution is optimum over the entire boundary, and also allows finding simple closed form solutions describing different parts of the capacity region. The solution for each constituent 2 users GIC coincides with the optimum solution to the Han Kobayashi (HK) system of constraints with i.i.d. (scalar) Gaussian inputs. Although the article is focused on 2 users weak GIC, the proof for optimality of Gaussian distribution is independent of the values of cross gains, and thereby is universally applicable to strong, mixed and Z interference channels, as well as to GIC with more than two users. In addition, the procedure for the construction of boundary is applicable for arbitrary cross gain values, by re deriving various conditions that have been established assuming cross gains being less than one.


Universal integral quadratic forms over dyadic local fields. A quadratic form over a non archimedian local field of characteristic zero F is called universal if it is integral and it represents all non zero integers of F . Xu Fei and Zhang Yang determined all universal quadratic forms in the case when F is non dyadic. In the more complicated dyadic case, when F is a finite extension of mathbb Q 2 , they solved the same problem only in the ternary case. In our paper we solve this problem in the general case. Our result is given in terms of BONGs (bases of norm generators) but at the end of the paper we translate our result in terms of the more traditional Jordan splittings.


Non homogeneous density functions to strengthen rectangular partially hinged plates. We consider a non homogeneous partially hinged rectangular plate having structural engineering applications. In order to study possible remedies for torsional instability phenomena we consider the gap function as a measure of the torsional performances of the plate. We treat different configurations of load and we study which density function is optimal for our aims. The analysis is in accordance with some results obtained studying the corresponding eigenvalue problem in terms of maximization of the ratio of specific eigenvalues. Some numerical experiments complete the analysis.


On algebras of Omega n finite and Omega infty infinite representation type. In this article we characterize the subcategory Omega infty ( mod A) for algebras of Omega n finite representation type. As a consequence, we charaterize when a truncated path algebra is a Co Gorenstein algebra in terms of its associated quiver. We also study the behaviour of Artin algebras of Omega infty infinite representation type. Finally, it is presented an example of a non Gorenstein algebra of Omega infty infinite representation type and an example of a finite dimensional algebra with infinite phi dimension.


A New (aleph) Stochastic Quenched Disorder Model for Interaction of Network Master node. We consider a first neighbor interaction where agents are spread through a uni dimensional network. Some agents are also connected to a hub, or master node, who has preferential values (or orientation). The role of master node is to persuade some individuals to follow a specific orientation, subject to a probability of successful persuasion. The connections between master node and the network society are quenched in disorder. Despite its simplicity, we found a phase transition from disorder to order for three different control parameters. We also discuss how this model may be useful as a framework to study the spread of morality, innovation, opinion formation and consensus. Is important to recall the route from disorder to order in social systems still a great challenge. We hope to contribute with a novel approach to model a this issues.


Higher Elastica Geodesics in the Jet Space. Carnot groups are subRiemannian manifolds. As such they admit geodesic flows, which are left invariant Hamiltonian flows on their cotangent bundles. Some of these flows are integrable. Some are not. The space of k jets for real valued functions on the real line forms a Carnot group of dimension k 2 . We show that its geodesic flow is integrable and that its geodesics generalize Euler's elastica, with the case k 2 corresponding to the elastica, as shown by Sachkov and Ardentov.


SMASH Co designing Software Compression and Hardware Accelerated Indexing for Efficient Sparse Matrix Operations. Important workloads, such as machine learning and graph analytics applications, heavily involve sparse linear algebra operations. These operations use sparse matrix compression as an effective means to avoid storing zeros and performing unnecessary computation on zero elements. However, compression techniques like Compressed Sparse Row (CSR) that are widely used today introduce significant instruction overhead and expensive pointer chasing operations to discover the positions of the non zero elements. In this paper, we identify the discovery of the positions (i.e., indexing) of non zero elements as a key bottleneck in sparse matrix based workloads, which greatly reduces the benefits of compression. We propose SMASH, a hardware software cooperative mechanism that enables highly efficient indexing and storage of sparse matrices. The key idea of SMASH is to explicitly enable the hardware to recognize and exploit sparsity in data. To this end, we devise a novel software encoding based on a hierarchy of bitmaps. This encoding can be used to efficiently compress any sparse matrix, regardless of the extent and structure of sparsity. At the same time, the bitmap encoding can be directly interpreted by the hardware. We design a lightweight hardware unit, the Bitmap Management Unit (BMU), that buffers and scans the bitmap hierarchy to perform highly efficient indexing of sparse matrices. SMASH exposes an expressive and rich ISA to communicate with the BMU, which enables its use in accelerating any sparse matrix computation. We demonstrate the benefits of SMASH on four use cases that include sparse matrix kernels and graph analytics applications.


Floating Displacement Force Conversion Mechanism as a Robotic Mechanism. To attach and detach permanent magnets with an operation force smaller than their attractive force, Internally Balanced Magnetic Unit (IB Magnet) has been developed. The unit utilizes a nonlinear spring with an inverse characteristic of magnetic attraction to produce a balancing force for canceling the internal force applied on the magnet. This paper extends the concept of shifting the equilibrium point of a system with a small operation force to linear systems such as conventional springs. Aligning a linear system and its inverse characteristic spring in series enables a mechanism to convert displacement into force generated by a spring with theoretically zero operation force. To verify the proposed principle, the authors realized a prototype model of inverse characteristic linear spring with an uncircular pulley. Experiments showed that the generating force of a linear spring can be controlled by a small and steady operation force.


Reactive Proof Labeling Schemes for Distributed Decision. We generalize the definition of Proof Labeling Schemes to reactive systems, that is, systems where the configuration is supposed to keep changing forever. As an example, we address the main classical test case of reactive tasks, namely, the task of token passing. Different RPLSs are given for the cases that the network is assumed to be a tree or an anonymous ring, or a general graph, and the sizes of RPLSs' labels are analyzed. We also address the question of whether an RPLS exists. First, on the positive side, we show that there exists an RPLS for any distributed task for a family of graphs with unique identities. For the case of anonymous networks (even for the special case of rings), interestingly, it is known that no token passing algorithm is possible even if the number n of nodes is known. Nevertheless, we show that an RPLS is possible. On the negative side, we show that if one drops the assumption that n is known, then the construction becomes impossible.