Reweighting of molecular simulations with explicit solvent SAXS restraints elucidates ion dependent RNA ensembles. Small angle X ray scattering (SAXS) experiments are increasingly used to probe RNA structure. A number of emph forward models that relate measured SAXS intensities and structural features, and that are suitable to model either explicit solvent effects or solute dynamics, have been proposed in the past years. Here we introduce an approach that integrates atomistic molecular dynamics simulations and SAXS experiments to reconstruct RNA structural ensembles while simultaneously accounting for both RNA conformational dynamics and explicit solvent effects. Our protocol exploits SAXS pure solute forward models and enhanced sampling methods to sample an heterogenous ensemble of structures, with no information towards the experiments provided on the fly. The generated structural ensemble is then reweighted through the maximum entropy principle so as to match reference SAXS experimental data at multiple ionic conditions. Importantly, accurate explicit solvent forward models are used at this reweighting stage. We apply this framework to the GTPase associated center, a relevant RNA molecule involved in protein translation, in order to elucidate its ion dependent conformational ensembles. We show that (a) both solvent and dynamics are crucial to reproduce experimental SAXS data and (b) the resulting dynamical ensembles contain an ion dependent fraction of extended structures.


Legendre Expansions of Products of Functions with Applications to Nonlinear Partial Differential Equations. Given the Fourier Legendre expansions of f and g , and mild conditions on f and g , we derive the Fourier Legendre expansion of their product in terms of their corresponding Fourier Legendre coefficients. In this way, expansions of whole number powers of f may be obtained. We establish upper bounds on rates of convergence. We then employ these expansions to solve semi analytically a class of nonlinear PDEs with a polynomial nonlinearity of degree 2. The obtained numerical results illustrate the efficiency and performance accuracy of this Fourier Legendre based solution methodology for solving an important class of nonlinear PDEs.


Towards Reference Architectures for Trustworthy Collaborative Cyber Physical Systems Reference Architectures as Boundary Objects. This paper presents our work in progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems engineering experts from industry and academia are also discussed. The interview results reveal challenges in using reference architectures during the system development process. Furthermore, exactly which trustworthiness attributes (security, availability, reliability, etc.) should be addressed to realize trustworthy collaborative CPS is identified as an open question, which we will address in our future work.


Dynamic Movement Primitives in Robotics A Tutorial Survey. Biological systems, including human beings, have the innate ability to perform complex tasks in versatile and agile manner. Researchers in sensorimotor control have tried to understand and formally define this innate property. The idea, supported by several experimental findings, that biological systems are able to combine and adapt basic units of motion into complex tasks finally lead to the formulation of the motor primitives theory. In this respect, Dynamic Movement Primitives (DMPs) represent an elegant mathematical formulation of the motor primitives as stable dynamical systems, and are well suited to generate motor commands for artificial systems like robots. In the last decades, DMPs have inspired researchers in different robotic fields including imitation and reinforcement learning, optimal control,physical interaction, and human robot co working, resulting a considerable amount of published papers. The goal of this tutorial survey is two fold. On one side, we present the existing DMPs formulations in rigorous mathematical terms,and discuss advantages and limitations of each approach as well as practical implementation details. In the tutorial vein, we also search for existing implementations of presented approaches and release several others. On the other side, we provide a systematic and comprehensive review of existing literature and categorize state of the art work on DMP. The paper concludes with a discussion on the limitations of DMPs and an outline of possible research directions.


Probabilistic hypergraph containers. Given a k uniform hypergraph mathcal H and sufficiently large m gg m 0( mathcal H ) , we show that an m element set I subseteq V( mathcal H ) , chosen uniformly at random, with probability 1 e omega(m) is either not independent or belongs to an almost independent set in mathcal H which, crucially, can be constructed from carefully chosen o(m) vertices of I . With very little effort, this implies that if the largest almost independent set in mathcal H is of size o(v( mathcal H )) then I itself is an independent set with probability e omega(m) . More generally, I is very likely to inherit structural properties of almost independent sets in mathcal H . The value m 0 coincides with that for which Janson's inequality gives that I is independent with probability at most e Theta(m 0) . On the one hand, our result is a significant strengthening of Janson's inequality in the range m gg m 0 . On the other hand, it can be seen as a probabilistic variant of hypergraph container theorems, developed by Balogh, Morris and Samotij and, independently, by Saxton and Thomason. While being strictly weaker than the original container theorems in the sense that it does not apply to all independent sets of size m , it is nonetheless sufficient for many applications, admits a short proof using probabilistic ideas, and has weaker requirements on m 0 .


Tweed and wireframe accelerated relaxation algorithms for multigrid solution of elliptic PDEs on stretched structured grids. Two new relaxation schemes are proposed for the smoothing step in the geometric multigrid solution of PDEs on 2D and 3D stretched structured grids. The new schemes are characterized by efficient line relaxation on branched sets of lines of alternating colour, where the lines are constructed to be everywhere orthogonal to the local direction of maximum grid clustering. Tweed relaxation is best suited for grid clustering near the boundaries of the computational domain, whereas wireframe relaxation is best suited for grid clustering near the centre of the computational domain. On strongly stretched grids of these types, multigrid leveraging these new smoothing schemes significantly outperforms multigrid based on other leading relaxation schemes, such as checkerboard and alternating direction zebra relaxation, for the numerical solution of large linear systems arising from the discretization of elliptic PDEs.


On the generating functions of pattern avoiding Motzkin paths. Using a recursive approach, we show that the generating function for sets of Motzkin paths avoiding a single (not necessarily consecutive) pattern is rational over x and the Catalan generating function C(x) frac 1 sqrt 1 4x 2 2x 2 , where x keeps track of the length of the path. Moreover, an algorithm is provided for finding the generating function in the more general case of an arbitrary set of patterns. In addition, this algorithm allows us to find a combinatorial specification for pattern avoiding Motzkin paths, which can be used not only for enumeration, but also for exhaustive and random generation.


Color image restoration with impulse noise based on fractional order total variation and framelet. Restore lost images due to noise and blurred is a burgeoning subject in image processing and despite the different algorithms on this subject, but the effort to improve is always considered. The definition of fractional derivatives in recent years has created a powerful tool for this purpose. In the present paper, using fractional order total variation and framelet transform, the nonconvex model for image restoration with impulse noise problem is improved. Then by alternating direction method of multipliers (ADMM) and primal dual problem, the proposed model is solved. The convergence of the proposed algorithm is studied. And the proposed algorithm is evaluated using different types of tests. The output results show the efficiency of proposed method.


Effect of Key Match Events on Football Passmaps. A team of association football players may be envisioned as a directed network with player nodes and weighted pass edges. Such a simplistic representation of an otherwise complex structure yields several benefits, but also permits the application of well established network analysis approaches, to gain insights into the match flow. The authors of this work propose the application of these, including centrality measures, community detection methods, and the analysis of induced subgraphs, to analyze the potential effects certain match events have on the team. In addition to reporting on their findings, they emphasize their work's contribution of over 9000 novel football network representations to the Network Analysis community.


ARKitScenes A Diverse Real World Dataset For 3D Indoor Scene Understanding Using Mobile RGB D Data. Scene understanding is an active research area. Commercial depth sensors, such as Kinect, have enabled the release of several RGB D datasets over the past few years which spawned novel methods in 3D scene understanding. More recently with the launch of the LiDAR sensor in Apple's iPads and iPhones, high quality RGB D data is accessible to millions of people on a device they commonly use. This opens a whole new era in scene understanding for the Computer Vision community as well as app developers. The fundamental research in scene understanding together with the advances in machine learning can now impact people's everyday experiences. However, transforming these scene understanding methods to real world experiences requires additional innovation and development. In this paper we introduce ARKitScenes. It is not only the first RGB D dataset that is captured with a now widely available depth sensor, but to our best knowledge, it also is the largest indoor scene understanding data released. In addition to the raw and processed data from the mobile device, ARKitScenes includes high resolution depth maps captured using a stationary laser scanner, as well as manually labeled 3D oriented bounding boxes for a large taxonomy of furniture. We further analyze the usefulness of the data for two downstream tasks 3D object detection and color guided depth upsampling. We demonstrate that our dataset can help push the boundaries of existing state of the art methods and it introduces new challenges that better represent real world scenarios.


Graph Denoising with Framelet Regularizer. As graph data collected from the real world is merely noise free, a practical representation of graphs should be robust to noise. Existing research usually focuses on feature smoothing but leaves the geometric structure untouched. Furthermore, most work takes L2 norm that pursues a global smoothness, which limits the expressivity of graph neural networks. This paper tailors regularizers for graph data in terms of both feature and structure noises, where the objective function is efficiently solved with the alternating direction method of multipliers (ADMM). The proposed scheme allows to take multiple layers without the concern of over smoothing, and it guarantees convergence to the optimal solutions. Empirical study proves that our model achieves significantly better performance compared with popular graph convolutions even when the graph is heavily contaminated.


Mittag Leffler functions and their applications in network science. We describe a complete theory for walk based centrality indices in complex networks defined in terms of Mittag Leffler functions. This overarching theory includes as special cases well known centrality measures like subgraph centrality and Katz centrality. The indices we introduce are parametrized by two numbers by letting these vary, we show that Mittag Leffler centralities interpolate between degree and eigenvector centrality, as well as between resolvent based and exponential based indices. We further discuss modeling and computational issues, and provide guidelines on parameter selection. The theory is then extended to the case of networks that evolve over time. Numerical experiments on synthetic and real world networks are provided.


Mixed boundary value problems for fully nonlinear degenerate or singular equations. We prove existence, uniqueness and regularity results for mixed boundary value problems associated with fully nonlinear, possibly singular or degenerate elliptic equations. Our main result is a global H "older estimate for solutions, obtained by means of the comparison principle and the construction of ad hoc barriers. The global H "older estimate immediately yields a compactness result in the space of solutions, which could be applied in the study of principal eigenvalues and principal eigenfunctions of mixed boundary value problems.


A fundamental identity for extensions of Dedekind domains. The well known fundamental identity in number theory expresses the degree of an extension of global fields in terms of local information. In this article we show a generalized fundamental identity for arbitrary Dedekind domains. As an application, we show that any Japanese Dedekind domain is already excellent.


Sentiment Dynamics of Success Fractal Scaling of Story Arcs Predicts Reader Preferences. We explore the correlation between the sentiment arcs of H. C. Andersen's fairy tales and their popularity, measured as their average score on the platform GoodReads. Specifically, we do not conceive a story's overall sentimental trend as predictive textit per se , but we focus on its coherence and predictability over time as represented by the arc's Hurst exponent. We find that degrading Hurst values tend to imply degrading quality scores, while a Hurst exponent between .55 and .65 might indicate a "sweet spot" for literary appreciation.


BeliefBank Adding Memory to a Pre Trained Language Model for a Systematic Notion of Belief. Although pretrained language models (PTLMs) contain significant amounts of world knowledge, they can still produce inconsistent answers to questions when probed, even after specialized training. As a result, it can be hard to identify what the model actually "believes" about the world, making it susceptible to inconsistent behavior and simple errors. Our goal is to reduce these problems. Our approach is to embed a PTLM in a broader system that also includes an evolving, symbolic memory of beliefs a BeliefBank that records but then may modify the raw PTLM answers. We describe two mechanisms to improve belief consistency in the overall system. First, a reasoning component a weighted MaxSAT solver revises beliefs that significantly clash with others. Second, a feedback component issues future queries to the PTLM using known beliefs as context. We show that, in a controlled experimental setting, these two mechanisms result in more consistent beliefs in the overall system, improving both the accuracy and consistency of its answers over time. This is significant as it is a first step towards PTLM based architectures with a systematic notion of belief, enabling them to construct a more coherent picture of the world, and improve over time without model retraining.


Convolution Neural Network Hyperparameter Optimization Using Simplified Swarm Optimization. Convolutional neural networks (CNNs) are widely used in image recognition. Numerous CNN models, such as LeNet, AlexNet, VGG, ResNet, and GoogLeNet, have been proposed by increasing the number of layers, to improve the performance of CNNs. However, performance deteriorates beyond a certain number of layers. Hence, hyperparameter optimisation is a more efficient way to improve CNNs. To validate this concept, a new algorithm based on simplified swarm optimisation is proposed to optimise the hyperparameters of the simplest CNN model, which is LeNet. The results of experiments conducted on the MNIST, Fashion MNIST, and Cifar10 datasets showed that the accuracy of the proposed algorithm is higher than the original LeNet model and PSO LeNet and that it has a high potential to be extended to more complicated models, such as AlexNet.


OSOUM Framework for Trading Data Research. In the last decades, data have become a cornerstone component in many business decisions, and copious resources are being poured into production and acquisition of the high quality data. This emerging market possesses unique features, and thus came under the spotlight for the stakeholders and researchers alike. In this work, we aspire to provide the community with a set of tools for making business decisions, as well as analysis of markets behaving according to certain rules. We supply, to the best of our knowledge, the first open source simulation platform, termed Open SOUrce Market Simulator (OSOUM) to analyze trading markets and specifically data markets. We also describe and implement a specific data market model, consisting of two types of agents sellers who own various datasets available for acquisition, and buyers searching for relevant and beneficial datasets for purchase. The current simulation treats data as an infinite supply product. Yet, other market settings may be easily implemented using OSOUM. Although commercial frameworks, intended for handling data markets, already exist, we provide a free and extensive end to end research tool for simulating possible behavior for both buyers and sellers participating in (data) markets.


Evolving Reinforcement Learning Algorithms. We propose a method for meta learning reinforcement learning algorithms by searching over the space of computational graphs which compute the loss function for a value based model free RL agent to optimize. The learned algorithms are domain agnostic and can generalize to new environments not seen during training. Our method can both learn from scratch and bootstrap off known existing algorithms, like DQN, enabling interpretable modifications which improve performance. Learning from scratch on simple classical control and gridworld tasks, our method rediscovers the temporal difference (TD) algorithm. Bootstrapped from DQN, we highlight two learned algorithms which obtain good generalization performance over other classical control tasks, gridworld type tasks, and Atari games. The analysis of the learned algorithm behavior shows resemblance to recently proposed RL algorithms that address overestimation in value based methods.


Text Simplification for Comprehension based Question Answering. Text simplification is the process of splitting and rephrasing a sentence to a sequence of sentences making it easier to read and understand while preserving the content and approximating the original meaning. Text simplification has been exploited in NLP applications like machine translation, summarization, semantic role labeling, and information extraction, opening a broad avenue for its exploitation in comprehension based question answering downstream tasks. In this work, we investigate the effect of text simplification in the task of question answering using a comprehension context. We release Simple SQuAD, a simplified version of the widely used SQuAD dataset. Firstly, we outline each step in the dataset creation pipeline, including style transfer, thresholding of sentences showing correct transfer, and offset finding for each answer. Secondly, we verify the quality of the transferred sentences through various methodologies involving both automated and human evaluation. Thirdly, we benchmark the newly created corpus and perform an ablation study for examining the effect of the simplification process in the SQuAD based question answering task. Our experiments show that simplification leads to up to 2.04 and 1.74 increase in Exact Match and F1, respectively. Finally, we conclude with an analysis of the transfer process, investigating the types of edits made by the model, and the effect of sentence length on the transfer model.


Archimedean Zeta Functions and Oscillatory Integrals. This note is a short survey of two topics Archimedean zeta functions and Archimedean oscillatory integrals. We have tried to portray some of the history of the subject and some of its connections with similar devices in mathematics. We present some of the main results of the theory and at the end we discuss some generalizations of the classical objects.


A Case Study of Onboarding in Software Teams Tasks and Strategies. Developers frequently move into new teams or environments across software companies. Their onboarding experience is correlated with productivity, job satisfaction, and other short term and long term outcomes. The majority of the onboarding process comprises engineering tasks such as fixing bugs or implementing small features. Nevertheless, we do not have a systematic view of how tasks influence onboarding. In this paper, we present a case study of Microsoft, where we interviewed 32 developers moving into a new team and 15 engineering managers onboarding a new developer into their team to understand and characterize developers' onboarding experience and expectations in relation to the tasks performed by them while onboarding. We present how tasks interact with new developers through three representative themes learning, confidence building, and socialization. We also discuss three onboarding strategies as inferred from the interviews that managers commonly use unknowingly, and discuss their pros and cons and offer situational recommendations. Furthermore, we triangulate our interview findings with a developer survey ( N 189 ) and a manager survey ( N 37 ) and find that survey results suggest that our findings are representative and our recommendations are actionable. Practitioners could use our findings to improve their onboarding processes, while researchers could find new research directions from this study to advance the understanding of developer onboarding. Our research instruments and anonymous data are available at url https zenodo.org record 4455937 .YCOQCs 0lFd


Rubric based holistic review a promising route to equitable graduate admissions in physics. As systematic inequities in higher education and society have been brought to the forefront, graduate programs are interested in increasing the diversity of their applicants and enrollees. Yet, structures in place to evaluate applicants may not support such aims. One potential solution to support those aims is rubric based holistic review. Starting in 2018, our physics department implemented a rubric based holistic review process for all applicants to our graduate program. The rubric assessed applicants on 18 metrics covering their grades, test scores, research experiences, noncognitive competencies, and fit with the program. We then compared faculty's ratings of applicants by admission status, sex, and undergraduate program over a three year period. We find that the rubric scores show statistically significant differences between admitted and non admitted students as hoped and that statistically significant differences based on sex or undergraduate program aligned with known disparities in GRE scores and service work expectations. Our results then suggest rubric based holistic review as a possible route to making graduate admissions in physics more equitable.


Autonomous Vision based UAV Landing with Collision Avoidance using Deep Learning. There is a risk of collision when multiple UAVs land simultaneously without communication on the same platform. This work accomplishes vision based autonomous landing and uses a deep learning based method to realize collision avoidance during the landing process.


Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non Uniqueness Region. For spin systems, such as the q colorings and independent set models, approximating the partition function in the so called non uniqueness region, where the model exhibits long range correlations, is typically computationally hard for bounded degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non uniqueness region on random regular bipartite graphs. We give an mathsf FPRAS for counting q colorings for even q O big( tfrac Delta log Delta big) on almost every Delta regular bipartite graph. This is within a factor O( log Delta ) of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of q O big( tfrac sqrt Delta ( log Delta) 2 big) by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard core model on independent sets weighted by lambda 0 , we present an mathsf FPRAS for estimating the partition function when lambda Omega big( tfrac log Delta Delta big) , which improves upon previous results by an Omega( log Delta) factor. Our results for the colorings and hard core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer method approaches.


Effect of vibronic relaxation in fluorescence resonance energy transfer An exact analytical solution. Fluorescence resonance energy transfer (FRET) is widely used as a 'spectroscopic ruler' to measure fluctuations in macromolecules because of the strong dependence of the rate on the separation (R) between the donor (D) and acceptor (A). However, the well known Forster rate expression that predicts an R 6 dependence, is limited by several approximations. Notable among them is the neglect of the vibronic relaxation in the reactant (donor) and product (acceptor) manifolds. Vibronic relaxation can play an important role when the energy transfer rate is faster than the vibronic relaxation rate. Under such conditions, donor to acceptor energy transfer can occur from the excited vibronic states. This phenomenon is not captured by the usual formulation based on the overlap of donor emission and acceptor absorption spectra. Here, we attempt to eliminate this lacuna, by allowing relaxation in the vibronic energy levels and adopting a relaxation model to account for vibronic cascading down in the donor manifold. We develop a Green's function based generalized formalism and provide an exact solution for the excited state population relaxation and the rate of energy transfer in the presence of vibronic relaxation. We find and verify that the neglect of vibronic relaxations can significantly alter the energy transfer rate and overestimates the distance between D and A.


Automatic continuity of transversal distributions. We prove that every transversal distribution is automatically continuous.


A Knowledge Grounded Dialog System Based on Pre Trained Language Models. We present a knowledge grounded dialog system developed for the ninth Dialog System Technology Challenge (DSTC9) Track 1 Beyond Domain APIs Task oriented Conversational Modeling with Unstructured Knowledge Access. We leverage transfer learning with existing language models to accomplish the tasks in this challenge track. Specifically, we divided the task into four sub tasks and fine tuned several Transformer models on each of the sub tasks. We made additional changes that yielded gains in both performance and efficiency, including the combination of the model with traditional entity matching techniques, and the addition of a pointer network to the output layer of the language model.


Homogeneous algebras via heat kernel estimates. We study homogeneous Besov and Triebel Lizorkin spaces defined on doubling metric measure spaces in terms of a self adjoint operator whose heat kernel satisfies Gaussian estimates together with its derivatives. When the measure space is a smooth manifold and such operator is a sum of squares of smooth vector fields, we prove that their intersection with L infty is an algebra for pointwise multiplication. Our results apply to nilpotent Lie groups and Grushin settings.


Enhanced electro optic modulation in resonant metasurfaces of lithium niobate. In display technologies or data processing, planar and subwavelength free space components suited for flat photonic devices are needed. Metasurfaces, which shape the optical wavefront within hundreds of nanometers, can provide a solution for thin and portable photonic devices, e.g. as CMOS compatible modules. While conventional electro optic modulators are inconvenient to operate in free space configurations, its principle can largely be applied to the development of active metasurfaces with the prospect of modulation speeds up to the GHz region. Here, we use this concept to realize fast and continuous modulation of light at low voltage and MHz speed with a lithium niobate metasurface tuned by the linear electro optic effect. Furthermore, we exploit the resonance in the visible to enhance the modulation of the transmitted light by two orders of magnitude, namely by a factor of 80, compared to the unstructured substrate. This proof of concept work is a first important step towards the use of lithium niobate metasurfaces for free space modulation.


The Dynamic Complexity of Acyclic Hypergraph Homomorphisms. Finding a homomorphism from some hypergraph mathcal Q (or some relational structure) to another hypergraph mathcal D is a fundamental problem in computer science. We show that an answer to this problem can be maintained under single edge changes of mathcal Q , as long as it stays acyclic, in the DynFO framework of Patnaik and Immerman that uses updates expressed in first order logic. If additionally also changes of mathcal D are allowed, we show that it is unlikely that existence of homomorphisms can be maintained in DynFO.


Empowering News Recommendation with Pre trained Language Models. Personalized news recommendation is an essential technique for online news services. News articles usually contain rich textual content, and accurate news modeling is important for personalized news recommendation. Existing news recommendation methods mainly model news texts based on traditional text modeling methods, which is not optimal for mining the deep semantic information in news texts. Pre trained language models (PLMs) are powerful for natural language understanding, which has the potential for better news modeling. However, there is no public report that show PLMs have been applied to news recommendation. In this paper, we report our work on exploiting pre trained language models to empower news recommendation. Offline experimental results on both monolingual and multilingual news recommendation datasets show that leveraging PLMs for news modeling can effectively improve the performance of news recommendation. Our PLM empowered news recommendation models have been deployed to the Microsoft News platform, and achieved significant gains in terms of both click and pageview in both English speaking and global markets.


Diachronic Analysis of German Parliamentary Proceedings Ideological Shifts through the Lens of Political Biases. We analyze bias in historical corpora as encoded in diachronic distributional semantic models by focusing on two specific forms of bias, namely a political (i.e., anti communism) and racist (i.e., antisemitism) one. For this, we use a new corpus of German parliamentary proceedings, DeuPARL, spanning the period 1867 2020. We complement this analysis of historical biases in diachronic word embeddings with a novel measure of bias on the basis of term co occurrences and graph based label propagation. The results of our bias measurements align with commonly perceived historical trends of antisemitic and anti communist biases in German politics in different time periods, thus indicating the viability of analyzing historical bias trends using semantic spaces induced from historical corpora.


Global stability for a nonlinear system of anisotropic wave equations. In this paper, we initiate the study of global stability for anisotropic systems of quasilinear wave equations. Equations of this kind arise naturally in the study of crystal optics, and they exhibit birefringence. We introduce a physical space strategy based on bilinear energy estimates that allows us to prove decay for the nonlinear problem. This uses decay for the homogeneous wave equation as a black box. The proof also requires us to interface this strategy with the vector field method and take advantage of the scaling vector field. A careful analysis of the spacetime geometry of the interaction between waves is necessary in the proof.


On the cocartesian image of preorders and equivalence relations in regular categories. In a regular category mathbb E , the direct image along a regular epimorphism f of a preorder is not a preorder in general. In Set , its best preorder approximation is then its cocartesian image above f . In a regular category, the existence of such a cocartesian image above f of a preorder S is actually equivalent to the existence of the supremum R f vee S among the preorders. We investigate here some conditions ensuring the existence of these cocartesian images or equivalently of these suprema. They applied to two very dissimilar contexts any topos mathbb E with suprema of chains of subobjects or any n permutable regular category.


Rotation Coordinate Descent for Fast Globally Optimal Rotation Averaging. Under mild conditions on the noise level of the measurements, rotation averaging satisfies strong duality, which enables global solutions to be obtained via semidefinite programming (SDP) relaxation. However, generic solvers for SDP are rather slow in practice, even on rotation averaging instances of moderate size, thus developing specialised algorithms is vital. In this paper, we present a fast algorithm that achieves global optimality called rotation coordinate descent (RCD). Unlike block coordinate descent (BCD) which solves SDP by updating the semidefinite matrix in a row by row fashion, RCD directly maintains and updates all valid rotations throughout the iterations. This obviates the need to store a large dense semidefinite matrix. We mathematically prove the convergence of our algorithm and empirically show its superior efficiency over state of the art global methods on a variety of problem configurations. Maintaining valid rotations also facilitates incorporating local optimisation routines for further speed ups. Moreover, our algorithm is simple to implement see supplementary material for a demonstration program.


Separation of tectonic and local components of horizontal GPS station velocities a case study for glacial isostatic adjustment in East Antarctica. Accurate measurement of the local component of geodetic motion at GPS stations presents a challenge due to the need to separate this signal from the tectonic plate rotation. A pressing example is the observation of glacial isostatic adjustment (GIA) which constrains the Earth's response to ice unloading, and hence, contributions of ice covered regions such as Antarctica to global sea level rise following ice mass loss. We focus on horizontal GPS velocities which typically contain a large component of plate rotation and a smaller local component primarily relating to GIA. Incomplete separation of these components introduces significant bias into estimates of GIA motion vectors. We present the results of a series of tests based on the motions of GPS stations from East Antarctica 1) signal separation for sets of synthetic data that replicate the geometric character of non separable, and separable, GIA like horizontal velocities and 2) signal separation for real GPS station data with an appraisal of uncertainties. For both synthetic and real motions, we compare results where the stations are unweighted, and where each station is areal weighted using a metric representing the inverse of the spatial density of neighbouring stations. From the synthetic tests, we show that a GIA like signal is recoverable from the plate rotation signal providing it has geometric variability across East Antarctica. We also show that areal weighting has a very significant effect on the ability to recover a GIA like signal with geometric variability, and hence on separating the plate rotation and local components. For the real data, assuming a rigid Antarctic plate, fitted plate rotation parameters compare well with other studies in the literature. We find that 25 out of 36 GPS stations examined in East Antarctica have non zero local horizontal velocities, at the 2 sigma level, after signal separation.


More on total domination polynomial and mathcal D t equivalence classes of some graphs. Let G (V, E) be a simple graph of order n . The total dominating set of G is a subset D of V that every vertex of V is adjacent to some vertices of D . The total domination number of G is equal to minimum cardinality of total dominating set in G and is denoted by gamma t(G) . The total domination polynomial of G is the polynomial D t(G,x) sum i gamma t(G) n d t(G,i)x i , where d t(G,i) is the number of total dominating sets of G of size i . Two graphs G and H are said to be total dominating equivalent or simply mathcal D t equivalent, if D t(G,x) D t(H,x) . The equivalence class of G , denoted G , is the set of all graphs mathcal D t equivalent to G . In this paper, we investigate mathcal D t equivalence classes of some graphs. Also we introduce some families of graphs whose total domination polynomials are unimodal.


Couplformer Rethinking Vision Transformer with Coupling Attention Map. With the development of the self attention mechanism, the Transformer model has demonstrated its outstanding performance in the computer vision domain. However, the massive computation brought from the full attention mechanism became a heavy burden for memory consumption. Sequentially, the limitation of memory reduces the possibility of improving the Transformer model. To remedy this problem, we propose a novel memory economy attention mechanism named Couplformer, which decouples the attention map into two sub matrices and generates the alignment scores from spatial information. A series of different scale image classification tasks are applied to evaluate the effectiveness of our model. The result of experiments shows that on the ImageNet 1k classification task, the Couplformer can significantly decrease 28 memory consumption compared with regular Transformer while accessing sufficient accuracy requirements and outperforming 0.92 on Top 1 accuracy while occupying the same memory footprint. As a result, the Couplformer can serve as an efficient backbone in visual tasks, and provide a novel perspective on the attention mechanism for researchers.


Small Gaps Between Three Almost Primes and Almost Prime Powers. A positive integer is called an E j number if it is the product of j distinct primes. We prove that there are infinitely many triples of E 2 numbers within a gap size of 32 and infinitely many triples of E 3 numbers within a gap size of 15 . Assuming the Elliot Halberstam conjecture for primes and E 2 numbers, we can improve these gaps to 12 and 5 , respectively. We can obtain even smaller gaps for almost primes, almost prime powers, or integers having the same exponent pattern in the their prime factorizations. In particular, if d(x) denotes the number of divisors of x , we prove that there are integers a,b with 1 leq a b leq 9 such that d(x) d(x a) d(x b) 192 for infinitely many x . Assuming Elliot Halberstam, we prove that there are integers a,b with 1 leq a b leq 4 such that d(x) d(x a) d(x b) 24 for infinitely many x .


ConDA Unsupervised Domain Adaptation for LiDAR Segmentation via Regularized Domain Concatenation. Transferring knowledge learned from the labeled source domain to the raw target domain for unsupervised domain adaptation (UDA) is essential to the scalable deployment of an autonomous driving system. State of the art methods in UDA often employ a key idea utilizing joint supervision signals from both of the source domain (with ground truth) and target domain (with pseudo labels) for self training. In this work, we improve and extend on this aspect. We present ConDA, a concatenation based domain adaptation framework for LiDAR segmentation that 1) constructs an intermediate domain consisting of fine grained interchange signals from both source and target domains without destabilizing the semantic coherency of objects and background around the ego vehicle and 2) utilizes the intermediate domain for self training. To improve both the network training on the source domain and self training on the intermediate domain, we propose an anti aliasing regularizer and an entropy aggregator to reduce the negative effect caused by the aliasing artifacts and noisy pseudo labels. Through extensive experiments, we demonstrate that ConDA significantly outperforms prior arts in mitigating the domain gap not only in UDA, but also in other DAs with minimum supervisions, such as semi weakly supervised DAs.


1st Place Solution for the UVO Challenge on Image based Open World Segmentation 2021. We describe our two stage instance segmentation framework we use to compete in the challenge. The first stage of our framework consists of an object detector, which generates object proposals in the format of bounding boxes. Then, the images and the detected bounding boxes are fed to the second stage, where a segmentation network is applied to segment the objects in the bounding boxes. We train all our networks in a class agnostic way. Our approach achieves the first place in the UVO 2021 Image based Open World Segmentation Challenge.


Machine Learning for the Detection and Identification of Internet of Things (IoT) Devices A Survey. The Internet of Things (IoT) is becoming an indispensable part of everyday life, enabling a variety of emerging services and applications. However, the presence of rogue IoT devices has exposed the IoT to untold risks with severe consequences. The first step in securing the IoT is detecting rogue IoT devices and identifying legitimate ones. Conventional approaches use cryptographic mechanisms to authenticate and verify legitimate devices' identities. However, cryptographic protocols are not available in many systems. Meanwhile, these methods are less effective when legitimate devices can be exploited or encryption keys are disclosed. Therefore, non cryptographic IoT device identification and rogue device detection become efficient solutions to secure existing systems and will provide additional protection to systems with cryptographic protocols. Non cryptographic approaches require more effort and are not yet adequately investigated. In this paper, we provide a comprehensive survey on machine learning technologies for the identification of IoT devices along with the detection of compromised or falsified ones from the viewpoint of passive surveillance agents or network operators. We classify the IoT device identification and detection into four categories device specific pattern recognition, Deep Learning enabled device identification, unsupervised device identification, and abnormal device detection. Meanwhile, we discuss various ML related enabling technologies for this purpose. These enabling technologies include learning algorithms, feature engineering on network traffic traces and wireless signals, continual learning, and abnormality detection.


Thompson's semigroup and the first Hochschild cohomology. In this paper, we apply the theory of algebraic cohomology to study the amenability of Thompson's group mathcal F . We introduce the notion of unique factorization semigroup which contains Thompson's semigroup mathcal S and the free semigroup mathcal F n on n generators ( geq2 ). Let mathfrak B ( mathcal S ) and mathfrak B ( mathcal F n) be the Banach algebras generated by the left regular representations of mathcal S and mathcal F n , respectively. It is proved that all derivations on mathfrak B ( mathcal S ) and mathfrak B ( mathcal F n) are automatically continuous, and every derivation on mathfrak B ( mathcal S ) is induced by a bounded linear operator in mathcal L ( mathcal S ) , the weak closed Banach algebra consisting of all bounded left convolution operators on l 2( mathcal S ) . Moreover, we show that the first continuous Hochschild cohomology group of mathfrak B ( mathcal S ) with coefficients in mathcal L ( mathcal S ) vanishes. These conclusions provide positive indications for the left amenability of Thompson's semigroup.


Maximum Number of Almost Similar Triangles in the Plane. A triangle T' is varepsilon similar to another triangle T if their angles pairwise differ by at most varepsilon . Given a triangle T , varepsilon 0 and n in mathbb N , B 'ar 'any and F "uredi asked to determine the maximum number of triangles h(n,T, varepsilon) being varepsilon similar to T in a planar point set of size n . We show that for almost all triangles T there exists varepsilon varepsilon(T) 0 such that h(n,T, varepsilon) n 3 24 (1 o(1)) . Exploring connections to hypergraph Tur 'an problems, we use flag algebras and stability techniques for the proof.


MapRE An Effective Semantic Mapping Approach for Low resource Relation Extraction. Neural relation extraction models have shown promising results in recent years however, the model performance drops dramatically given only a few training samples. Recent works try leveraging the advance in few shot learning to solve the low resource problem, where they train label agnostic models to directly compare the semantic similarities among context sentences in the embedding space. However, the label aware information, i.e., the relation label that contains the semantic knowledge of the relation itself, is often neglected for prediction. In this work, we propose a framework considering both label agnostic and label aware semantic mapping information for low resource relation extraction. We show that incorporating the above two types of mapping information in both pretraining and fine tuning can significantly improve the model performance on low resource relation extraction tasks.


AutoSpace Neural Architecture Search with Less Human Interference. Current neural architecture search (NAS) algorithms still require expert knowledge and effort to design a search space for network construction. In this paper, we consider automating the search space design to minimize human interference, which however faces two challenges the explosive complexity of the exploration space and the expensive computation cost to evaluate the quality of different search spaces. To solve them, we propose a novel differentiable evolutionary framework named AutoSpace, which evolves the search space to an optimal one with following novel techniques a differentiable fitness scoring function to efficiently evaluate the performance of cells and a reference architecture to speedup the evolution procedure and avoid falling into sub optimal solutions. The framework is generic and compatible with additional computational constraints, making it feasible to learn specialized search spaces that fit different computational budgets. With the learned search space, the performance of recent NAS algorithms can be improved significantly compared with using previously manually designed spaces. Remarkably, the models generated from the new search space achieve 77.8 top 1 accuracy on ImageNet under the mobile setting (MAdds 500M), out performing previous SOTA EfficientNet B0 by 0.7 . All codes will be made public.


Between Post Flaneur and Smartphone Zombie Smartphone Users Altering Visual Attention and Walking Behavior in Public Space. The extensive use of smartphones in our everyday lives has created new modes of appropriation and behavior in public spaces. Recognition of these are essential for urban design and planning practices which help us to improve the relationship between humans, technologies, and urban environment. This study aims to research smartphone users in public space by observing their altering visual attention and walking behavior, and, in this way, to reveal the emergent new figures. For this purpose, Korenmarkt square in Ghent, Belgium, was observed for seven days in 10 min time intervals. The gaze and walking behavior of smartphone users were encoded as geo located and temporal data, analyzed and mapped using statistical and spatial analysis methods. Developing and implementing new methods for identifying the characteristics of smartphone users, this study resulted in a nuanced characterization of novel spatial appropriations. The findings led to a better understanding and knowledge of the different behavior patterns of emergent figures such as post flaneurs and smartphone zombies while uncovering their altering visual interactions with and movements in the public space. The results evoked questions on how researchers and designers can make use of spatial analysis methods and rethink the public space of the future as a hybrid construct integrating the virtual and the physical.


High order Positivity preserving L2 stable Spectral Collocation Schemes for the 3 D compressible Navier Stokes equations. This paper extends a new class of positivity preserving, entropy stable spectral collocation schemes developed for the one dimensional compressible Navier Stokes equations in 1,2 to three spatial dimensions. The new high order schemes are provably L2 stable, design order accurate for smooth solutions, and guarantee the pointwise positivity of thermodynamic variables for 3 D compressible viscous flows. Similar to the 1 D counterpart, the proposed schemes for the 3 D Navier Stokes equations are constructed by using a flux limiting technique that combines a positivity violating entropy stable method of arbitrary order of accuracy and a novel first order positivity preserving entropy stable finite volume type scheme discretized on the same Legendre Gauss Lobatto grid points used for constructing the high order discrete operators. The positivity preservation and excellent discontinuity capturing properties are achieved by adding an artificial dissipation in the form of the low and high order Brenner Navier Stokes diffusion operators. To our knowledge, this is the first family of positivity preserving, entropy stable schemes of arbitrary order of accuracy for the 3 D compressible Navier Stokes equations.


Weakly Supervised Photo realistic Texture Generation for 3D Face Reconstruction. Although much progress has been made recently in 3D face reconstruction, most previous work has been devoted to predicting accurate and fine grained 3D shapes. In contrast, relatively little work has focused on generating high fidelity face textures. Compared with the prosperity of photo realistic 2D face image generation, high fidelity 3D face texture generation has yet to be studied. In this paper, we proposed a novel UV map generation model that predicts the UV map from a single face image. The model consists of a UV sampler and a UV generator. By selectively sampling the input face image's pixels and adjusting their relative locations, the UV sampler generates an incomplete UV map that could faithfully reconstruct the original face. Missing textures in the incomplete UV map are further full filled by the UV generator. The training is based on pseudo ground truth blended by the 3DMM texture and the input face texture, thus weakly supervised. To deal with the artifacts in the imperfect pseudo UV map, multiple partial UV map discriminators are leveraged.


Improved inequalities for the numerical radius via Cartesian decomposition. We develop various lower bounds for the numerical radius w(A) of a bounded linear operator A defined on a complex Hilbert space, which improve the existing inequality w 2(A) geq frac 1 4 A A AA . In particular, for r geq 1 , we show that begin eqnarray frac 1 4 A A AA leq frac 1 2 left( frac 1 2 Re(A) Im(A) 2r frac 1 2 Re(A) Im(A) 2r right) frac 1 r leq w 2 (A), end eqnarray where Re(A) and Im(A) are the real and imaginary parts of A , respectively. Furthermore, we obtain upper bounds for w 2(A) refining the well known upper bound w 2(A) leq frac 1 2 left(w(A 2) A 2 right) . Separate complete characterizations for w(A) frac A 2 and w(A) frac 1 2 sqrt A A AA are also given.


Universal Joint Source Channel Coding Under an Input Energy Constraint. We consider the problem of transmitting a source over an infinite bandwidth additive white Gaussian noise channel with unknown noise level under an input energy constraint. We construct a universal scheme that uses modulo lattice modulation with multiple layers for each layer we employ either analog linear modulation or analog pulse position modulation (PPM). We show that the designed scheme with linear layers requires less energy compared to existing solutions to achieve the same quadratically increasing distortion profile with the noise level replacing the linear layers with PPM layers offers an additional improvement.


Blockchains' federation for integrating distributed health data using a patient centered approach. Today's world is a globalized and connected one, where people are increasingly moving around and interacting with a greater number of services and devices of all kinds, including those that allow them to monitor their health. However, each company, institution or health system usually store its patients' data in an isolated way. Although this approach can have some benefits related with privacy, security, etc., it also implies that each one of them generates different, incomplete and possibly contradictory views of a patient's health data, losing part of the value that this information could bring to the patient. That is the reason why researchers from all over the world are determined to replace the current institution centered health systems with new patient centered ones. In these new systems, all the health information of a patient is integrated into a unique global vision. However, some questions are still unanswered. Specifically, who should store and maintain the information of a given patient and how should this information be made available for other systems. To address this situation, this work proposes a new solution towards making the Personal Health Trajectory of patients available for both, the patients themselves and health institutions. By using the concept of blockchains' federation and web services access to the global vision of a person health can be granted to existing and new solutions. To demonstrate the viability of the proposal, an implementation is provided alongside the obtained results in a potential scenario.


The Computational Complexity of Finding Arithmetic Expressions With and Without Parentheses. We show NP completeness for various problems about the existence of arithmetic expression trees. When given a set of operations, inputs, and a target value does there exist an expression tree with those inputs and operations that evaluates to the target? We consider the variations where the structure of the tree is also given and the variation where no parentheses are allowed in the expression.


Sturm Liouville type operators with frozen argument and Chebyshev polynomials. The paper deals with Sturm Liouville type operators with frozen argument of the form ell y y''(x) q(x)y(a), y ( alpha) (0) y ( beta) (1) 0, where alpha, beta in 0,1 and a in 0,1 is an arbitrary fixed rational number. Such nonlocal operators belong to the so called loaded differential operators, which often appear in mathematical physics. We focus on the inverse problem of recovering the potential q(x) from the spectrum of the operator ell. Our goal is two fold. Firstly, we establish a deep connection between the so called main equation of this inverse problem and Chebyshev polynomials of the first and the second kinds. This connection gives a new perspective method for solving the inverse problem. In particular, it allows one to completely describe all non degenerate and degenerate cases, i.e. when the solution of the inverse problem is unique or not, respectively. Secondly, we give a complete and convenient description of iso spectral potentials in the space of complex valued integrable functions.


On conjugacy between natural extensions of 1 dimensional maps. We prove that for any nondegenerate dendrite D there exist topologically mixing maps F D to D and f 0, 1 to 0, 1 , such that the natural extensions (aka shift homeomorphisms) sigma F and sigma f are conjugate, and consequently the corresponding inverse limits are homeomorphic. Moreover, the map f does not depend on the dendrite D , and can be selected so that the inverse limit underleftarrow lim (D, F) is homeomorphic to the pseudo arc. The result extends to any finite number of dendrites. Our work is motivated by, but independent of, the recent result of the first and third author on conjugation of Lozi and H 'enon maps to natural extensions of dendrite maps.


Learning Semantics An Opportunity for Effective 6G Communications. Recently, semantic communications are envisioned as a key enabler of future 6G networks. Back to Shannon's information theory, the goal of communication has long been to guarantee the correct reception of transmitted messages irrespective of their meaning. However, in general, whenever communication occurs to convey a meaning, what matters is the receiver's understanding of the transmitted message and not necessarily its correct reconstruction. Hence, semantic communications introduce a new paradigm transmitting only relevant information sufficient for the receiver to capture the meaning intended can save significant communication bandwidth. Thus, this work explores the opportunity offered by semantic communications for beyond 5G networks. In particular, we focus on the benefit of semantic compression. We refer to semantic message as a sequence of well formed symbols learned from the "meaning" underlying data, which have to be interpreted at the receiver. This requires a reasoning unit, here artificial, on a knowledge base a symbolic knowledge representation of the specific application. Therefore, we present and detail a novel architecture that enables representation learning of semantic symbols for effective semantic communications. We first discuss theoretical aspects and successfully design objective functions, which help learn effective semantic encoders and decoders. Eventually, we show promising numerical results for the scenario of text transmission, especially when the sender and receiver speak different languages.


On the unsteady dynamics of partially shrouded compressible jets. We experimentally investigate a partially shrouded sonic jet (a sonic free jet shielded by a solid wall extension on one side) exiting from a planar nozzle at two different nozzle pressure ratio ( zeta 4 and 5 ). We experimentally show that the inherent jet unsteadiness from the shock induced flow separation on the wall and the emitted noise in the far field is strongly coupled through a series of experiments like high speed schlieren, wall static pressure, unsteady pressure spectra, and microphone measurements. The partially shrouded jet's lateral free expansion is also identified to be complicated, three dimensional, and the produced noise is directional. The emitted acoustic pulses from the flapping jet, the radiated noise from the shock induced separation on the wall, and the shock shear layer interaction on the other side of the wall are responsible for the generated acoustic disturbances. The non uniform aeroacoustic forcing on the top and bottom portion of the partially wall bounded jet shear layer leads to a self sustained jet oscillation and a discrete sound emission. The vital features are identified through the proper orthogonal decomposition of high speed schlieren images and supplemented by other measurements.


Equations for a K3 Lehmer map. McMullen proved that there exists an automorphism of minimal topological entropy on a projective K3 surface. We derive equations for the surface and its automorphism. We reconstruct the surface and its automorphism from the Hodge theoretic model provided by McMullen. The approach is computer aided and relies on finite non symplectic automorphisms, p adic lifting, elliptic fibrations and the Kneser neighbor method for integer lattices.


Predictive machine learning for prescriptive applications a coupled training validating approach. In this research we propose a new method for training predictive machine learning models for prescriptive applications. This approach, which we refer to as coupled validation, is based on tweaking the validation step in the standard training validating testing scheme. Specifically, the coupled method considers the prescription loss as the objective for hyper parameter calibration. This method allows for intelligent introduction of bias in the prediction stage to improve decision making at the prescriptive stage, and is generally applicable to most machine learning methods, including recently proposed hybrid prediction stochastic optimization techniques, and can be easily implemented without model specific mathematical modeling. Several experiments with synthetic and real data demonstrate promising results in reducing the prescription costs in both deterministic and stochastic models.


Information Access Equality on Network Generative Models. It is well known that networks generated by common mechanisms such as preferential attachment and homophily can disadvantage the minority group by limiting their ability to establish links with the majority group. This has the effect of limiting minority nodes' access to information. We present the results of an empirical study on the equality of information access in network models with different growth mechanisms and spreading processes. For growth mechanisms, we focus on the majority minority dichotomy, homophily, preferential attachment, and diversity. For spreading processes, we investigate simple vs. complex contagions, different transmission rates within and between groups, and various seeding conditions. We observe two phenomena. First, information access equality is a complex interplay between network structures and the spreading processes. Second, there is a trade off between equality and efficiency of information access under certain circumstances (e.g., when inter group edges are low and information transmits asymmetrically). Our findings can be used to make recommendations for mechanistic design of social networks with information access equality.


Where and What? Examining Interpretable Disentangled Representations. Capturing interpretable variations has long been one of the goals in disentanglement learning. However, unlike the independence assumption, interpretability has rarely been exploited to encourage disentanglement in the unsupervised setting. In this paper, we examine the interpretability of disentangled representations by investigating two questions where to be interpreted and what to be interpreted? A latent code is easily to be interpreted if it would consistently impact a certain subarea of the resulting generated image. We thus propose to learn a spatial mask to localize the effect of each individual latent dimension. On the other hand, interpretability usually comes from latent dimensions that capture simple and basic variations in data. We thus impose a perturbation on a certain dimension of the latent code, and expect to identify the perturbation along this dimension from the generated images so that the encoding of simple variations can be enforced. Additionally, we develop an unsupervised model selection method, which accumulates perceptual distance scores along axes in the latent space. On various datasets, our models can learn high quality disentangled representations without supervision, showing the proposed modeling of interpretability is an effective proxy for achieving unsupervised disentanglement.


When Neural Networks Using Different Sensors Create Similar Features. Multimodal problems are omnipresent in the real world autonomous driving, robotic grasping, scene understanding, etc... We draw from the well developed analysis of similarity to provide an example of a problem where neural networks are trained from different sensors, and where the features extracted from these sensors still carry similar information. More precisely, we demonstrate that for each sensor, the linear combination of the features from the last layer that correlates the most with other sensors corresponds to the classification components of the classification layer.


Recovering the initial condition in the One Phase Stefan problem. We consider the problem of recovering the initial condition in the one dimensional one phase Stefan problem for the heat equation from the knowledge of the position of the melting point. We first recall some properties of the free boundary solution. Then we study the uniqueness and stability of the inversion. The principal contribution of the paper is a new logarithmic type stability estimate that shows that the inversion may be severely ill posed. The proof is based on integral equations representation techniques, and the unique continuation property for parabolic type solutions. We also present few numerical examples operating with noisy synthetic data.


Metric Comparisons of Relations. This paper defines a new pseudometric for binary relations between finite sets that measures consensus among subsets. The main results are (1) a concise restatement of this pseudometric with an intuitively appealing interpretation via a full and faithful functor from the category of relations to a category of relation multisets and (2) that the pseudometric can be bounded without an expensive search of possible mappings, based solely on the dimensions of the relations themselves. Additionally, (3) an algorithm is described to calculate this bound with time and memory complexity at worst proportional to the product of those dimensions mathcal O (m times n). . The tools developed in this paper should find broad application in exploratory data analysis. We provide one such application by briefly exploring ad hoc consensus specifications for the well known PDF file format.


DTWSSE Data Augmentation with a Siamese Encoder for Time Series. Access to labeled time series data is often limited in the real world, which constrains the performance of deep learning models in the field of time series analysis. Data augmentation is an effective way to solve the problem of small sample size and imbalance in time series datasets. The two key factors of data augmentation are the distance metric and the choice of interpolation method. SMOTE does not perform well on time series data because it uses a Euclidean distance metric and interpolates directly on the object. Therefore, we propose a DTW based synthetic minority oversampling technique using siamese encoder for interpolation named DTWSSE. In order to reasonably measure the distance of the time series, DTW, which has been verified to be an effective method forts, is employed as the distance metric. To adapt the DTW metric, we use an autoencoder trained in an unsupervised self training manner for interpolation. The encoder is a Siamese Neural Network for mapping the time series data from the DTW hidden space to the Euclidean deep feature space, and the decoder is used to map the deep feature space back to the DTW hidden space. We validate the proposed methods on a number of different balanced or unbalanced time series datasets. Experimental results show that the proposed method can lead to better performance of the downstream deep learning model.


Plasma Shock Layer Equations. This paper is devoted to derivation of plasma equations, considering chemical reactions and radiations. After deriving the governing equations of multi particle plasmas, the ordinary differential equations of plasma shock layer equations are derived. These ODEs are in the form of a singularly perturbed systems of ordinary differential equations. Many of physical environments consist of two or more types of particles, each having its own characteristics, such an environment may undergo some evolutions in the presence of external forces, e.g., in the presence of electromagnetic or gravitation fields, and may also be affected by a source of energy or by interaction with its external environment. The situation becomes more complex when there are some internal interactions due to collisions between particles, chemical reactions and various dissipation mechanisms. From microscopic point of view, the random motion of different particles and local forces, energy or mass transaction and their recursive dependence with that of global makes the qualitative behaviors of the environment even more complex. Heat convection in a liquid mixture, a vibrating or rotating viscose fluid, chemically reacting multiphase media and plasma in an electric and magnetic field are examples, to say a few. Up to the author knowledge there is no general and precise mathematical formulation efficiently describing such environments, although statistical formulation in Kinetic theory combined with some physical interpretations is a good approach but insufficient, say in describing radiation. Our aim in this note is to give a set of partial differential equation governing evaluation of a multispecies environment consisting of charged particles in an electromagnetic field.


Dual Ramsey properties for classes of algebras. Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In this paper we show that any nontrivial variety (that is, equationally defined class of algebras) enjoys various emph dual Ramsey properties. We develop a completely new set of strategies that rely on the fact that left adjoints preserve the dual Ramsey property, and then treat classes of algebras as Eilenberg Moore categories for a monad. We show that finite algebras in any nontrivial variety have finite dual small Ramsey degrees, and that every finite algebra has finite dual big Ramsey degree in the free algebra on countably many free generators. As usual, these come as consequences of ordered versions of the statements.


Stability estimates for the complex Monge Amp ere and Hessian equations. A new proof for stability estimates for the complex Monge Amp ere and Hessian equations is given, which does not require pluripotential theory. A major advantage is that the resulting stability estimates are then uniform under general degenerations of the background metric in the case of the Monge Amp ere equation, and under degenerations to a big class in the case of Hessian equations.


Proceedings of the 8th OMNeT Community Summit, Virtual Summit, September 8 10, 2021. These are the Proceedings of the 8th OMNeT Community Summit, which was held virtually on September 8 10, 2021.


Deep Superpixel Cut for Unsupervised Image Segmentation. Image segmentation, one of the most critical vision tasks, has been studied for many years. Most of the early algorithms are unsupervised methods, which use hand crafted features to divide the image into many regions. Recently, owing to the great success of deep learning technology, CNNs based methods show superior performance in image segmentation. However, these methods rely on a large number of human annotations, which are expensive to collect. In this paper, we propose a deep unsupervised method for image segmentation, which contains the following two stages. First, a Superpixelwise Autoencoder (SuperAE) is designed to learn the deep embedding and reconstruct a smoothed image, then the smoothed image is passed to generate superpixels. Second, we present a novel clustering algorithm called Deep Superpixel Cut (DSC), which measures the deep similarity between superpixels and formulates image segmentation as a soft partitioning problem. Via backpropagation, DSC adaptively partitions the superpixels into perceptual regions. Experimental results on the BSDS500 dataset demonstrate the effectiveness of the proposed method.


Higher topological type semiclassical states for Sobolev critical Dirac equations with degenerate potential. In this paper, we are concerned with semiclassical states to the following Sobolev critical Dirac equation with degenerate potential, begin align textnormal i eps alpha cdot nabla u a beta u V(x) u u q 2 u u u quad mbox in , , R 3, end align where u mathbb R 3 rightarrow mathbb C 4 , 2 q 3 , eps 0 is a small parameter, a 0 is a constant, alpha ( alpha 1, alpha 2, alpha 3) , alpha j and beta are 4 times 4 Pauli Dirac matrices. We construct an infinite sequence of higher topological type semiclassical states with higher energies concentrating around the local minimum points of the degenerate potential V . The solutions are obtained from a minimax characterization of higher dimensional symmetric linking structure, which correspond to critical points of the underlying energy functional at energy levels where compactness condition breaks down. Our approach is variational, which mainly relies on penalization method and blow up arguments along with local type Pohozaev identity.


Galerkin Neural Networks A Framework for Approximating Variational Equations with Error Control. We present a new approach to using neural networks to approximate the solutions of variational equations, based on the adaptive construction of a sequence of finite dimensional subspaces whose basis functions are realizations of a sequence of neural networks. The finite dimensional subspaces are then used to define a standard Galerkin approximation of the variational equation. This approach enjoys a number of advantages, including the sequential nature of the algorithm offers a systematic approach to enhancing the accuracy of a given approximation the sequential enhancements provide a useful indicator for the error that can be used as a criterion for terminating the sequential updates the basic approach is largely oblivious to the nature of the partial differential equation under consideration and, some basic theoretical results are presented regarding the convergence (or otherwise) of the method which are used to formulate basic guidelines for applying the method.


An anisotropic inverse mean curvature flow for spacelike graphic curves in Lorentz Minkowski plane mathbb R 2 1 . In this paper, we consider the evolution of spacelike graphic curves defined over a piece of hyperbola mathscr H 1 (1) , of center at origin and radius 1 , in the 2 dimensional Lorentz Minkowski plane mathbb R 2 1 along an anisotropic inverse mean curvature flow with the vanishing Neumann boundary condition, and prove that this flow exists for all the time. Moreover, we can show that, after suitable rescaling, the evolving spacelike graphic curves converge smoothly to a piece of hyperbola of center at origin and prescribed radius, which actually corresponds to a constant function defined over the piece of mathscr H 1 (1) , as time tends to infinity.


Exploring the impact of mobility restrictions on the COVID 19 spreading through an agent based approach. Mobility restriction is considered one of the main policies to contain COVID 10 spreading. However, there are multiple ways to reduce mobility via differentiated restrictions, and it is not easy to predict the actual impact on virus spreading. This is a limitation for policy makers who need to implement effective and timely measures. Notwithstanding the big role of data analysis to understand this phenomenon, it is also important to have more general models capable of predicting the impact of different scenarios. Besides, they should be able to simulate scenarios in a disaggregated way, so to understand the possible impact of targeted strategies, e.g. on a geographical scale or in relation to other variables associated with the potential risk of infection. This paper presents an agent based model (ABM) able to dynamically simulate the COVID 19 spreading under different mobility restriction scenarios. The model uses the Italian case study with its 20 administrative regions and considers parameters that can be attributed to the diffusion and lethality of the virus (based on a virus spread risk model) and population mobility patterns. The model is calibrated with real data and reproduces the impact that different mobility restrictions can have on the pandemic diffusion based on a combination of static and dynamic parameters. Results suggest that virus spreading would have been similar if differentiated mobility restriction strategies based on a priori risk parameters instead of a national lockdown would have been put in place in Italy during the first wave of the pandemic. The proposed model could give useful suggestions for decision makers to tackle pandemics and virus spreading at a strategic level.


A Benchmarks Library for Extended Parametric Timed Automata. Parametric timed automata are a powerful formalism for reasoning on concurrent real time systems with unknown or uncertain timing constants. In order to test the efficiency of new algorithms, a fair set of benchmarks is required. We present an extension of the IMITATOR benchmarks library, that accumulated over the years a number of case studies from academic and industrial contexts. We extend here the library with several dozens of new benchmarks these benchmarks highlight several new features liveness properties, extensions of (parametric) timed automata (including stopwatches or multi rate clocks), and unsolvable toy benchmarks. These latter additions help to emphasize the limits of state of the art parameter synthesis techniques, with the hope to develop new dedicated algorithms in the future.


Key Varieties for Prime mathbb Q Fano Threefolds Related with mathbb P 2 times mathbb P 2 Fibrations. Part II. We construct a 15 dimensional affine variety Pi mathbb A 15 with a rm GL 2 and ( mathbb C ) 4 actions. We denote by Pi mathbb A 14 the affine variety obtained from Pi mathbb A 15 by setting one specified variable to 1 (we refer the precise definition to Definition 1.1 of the paper). Let Pi mathbb P 13 be several weighted projectivizations of Pi mathbb A 14 , and Pi mathbb P 14 the weighted cone over Pi mathbb P 13 with a weight one coordinate added. We show that Pi mathbb P 13 or Pi mathbb P 14 produce, as weighted complete intersections, examples of prime mathbb Q Fano threefolds of codimension four belonging to the eight classes No.308, 501, 512, 550, 577, 872, 878, and 1766 of the graded ring database. The construction of Pi mathbb A 15 is based on a certain type of unprojection and is inspired by R.Taylor's thesis submitted to University of Warwick. We also show that a partial projectivization of Pi mathbb A 15 has a mathbb P 2 times mathbb P 2 fibration over the affine space mathbb A 10 . To show this, we introduce another 13 dimensional affine variety H mathbb A 13 whose product with an open subset of mathbb A 2 is isomorphic to a sextic cover of an open subset of Pi mathbb A 15 .


Component Stability in Low Space Massively Parallel Computation. We study the power and limitations of component stable algorithms in the low space model of Massively Parallel Computation (MPC). Recently Ghaffari, Kuhn and Uitto (FOCS 2019) introduced the class of component stable low space MPC algorithms, which are, informally, defined as algorithms for which the outputs reported by the nodes in different connected components are required to be independent. This very natural notion was introduced to capture most (if not all) of the known efficient MPC algorithms to date, and it was the first general class of MPC algorithms for which one can show non trivial conditional lower bounds. In this paper we enhance the framework of component stable algorithms and investigate its effect on the complexity of randomized and deterministic low space MPC. Our key contributions include 1) We revise and formalize the lifting approach of Ghaffari, Kuhn and Uitto. This requires a very delicate amendment of the notion of component stability, which allows us to fill in gaps in the earlier arguments. 2) We also extend the framework to obtain conditional lower bounds for deterministic algorithms and fine grained lower bounds that depend on the maximum degree Delta . 3) We demonstrate a collection of natural graph problems for which non component stable algorithms break the conditional lower bound obtained for component stable algorithms. This implies that, for both deterministic and randomized algorithms, component stable algorithms are conditionally weaker than the non component stable ones. Altogether our results imply that component stability might limit the computational power of the low space MPC model, at least in certain contexts, paving the way for improved upper bounds that escape the conditional lower bound setting of Ghaffari, Kuhn, and Uitto.


Average Sensitivity of Dynamic Programming. When processing data with uncertainty, it is desirable that the output of the algorithm is stable against small perturbations in the input. Varma and Yoshida SODA'21 recently formalized this idea and proposed the notion of average sensitivity of algorithms, which is roughly speaking, the average Hamming distance between solutions for the original input and that obtained by deleting one element from the input, where the average is taken over the deleted element. In this work, we consider average sensitivity of algorithms for problems that can be solved by dynamic programming. We first present a (1 delta) approximation algorithm for finding a maximum weight chain (MWC) in a transitive directed acyclic graph with average sensitivity O( delta 1 log 3 n) , where n is the number of vertices in the graph. We then show algorithms with small average sensitivity for various dynamic programming problems by reducing them to the MWC problem while preserving average sensitivity, including the longest increasing subsequence problem, the interval scheduling problem, the longest common subsequence problem, the longest palindromic subsequence problem, the knapsack problem with integral weight, and the RNA folding problem. For the RNA folding problem, our reduction is highly nontrivial because a naive reduction generates an exponentially large graph, which only provides a trivial average sensitivity bound.


Finite element and semi analytical study of elastic wave propagation in strongly scattering polycrystals. This work studies scattering induced elastic wave attenuation and phase velocity variation in 3D untextured cubic polycrystals with statistically equiaxed grains using the theoretical second order approximation (SOA) and Born approximation models and the grain scale finite element (FE) model, pushing the boundary towards strongly scattering materials. The results for materials with Zener anisotropy indices A 1 show a good agreement between the theoretical and FE models in the transition and stochastic regions. In the Rayleigh regime, the agreement is reasonable for common structural materials with 1 A 3.2 but it deteriorates as A increases. The wavefields and signals from FE modelling show the emergence of very strong scattering at low frequencies for strongly scattering materials that cannot be fully accounted for by the theoretical models. To account for such strong scattering at A 1, a semi analytical model is proposed by iterating the far field Born approximation and optimising the iterative coefficient. The proposed model agrees remarkably well with the FE model across all studied materials with greatly differing microstructures the model validity also extends to the quasi static velocity limit. For polycrystals with A 1, it is found that the agreement between the SOA and FE results is excellent for all studied materials and the correction of the model is not needed.


Analytical Mechanics With Quasi Velocities. This paper presents a formulation of Lagrangian dynamics of constrained mechanical systems in terms of reduced quasi velocities and quasi forces that can be used for simulation, analysis, and control purposes. In this formulation, Cholesky decomposition of the mass matrix in conjunction with adequate orthogonal matrices are used to define reduced quasi velocities, input quasi forces, and constraint quasi forces which possess natural metric. The new state and input variables always have homogeneous units despite the generalized coordinates may involve in both translational and rotational components and the constraint wrench may involve in both force and moment components. Therefore, this formulation is inherently invariant with respect to changes in dimensional units without requiring weighting matrices. Moreover, in this formulation the equations of motion are completely decoupled from those of constrained force. This allows the possibility of a simple force control action that is totally independent of the motion control action facilitating a hybrid force motion control. The properties of the new dynamics formulation are investigated and subsequently, force motion tracking control and regulation of constrained multibody systems based on quasi velocities and quasi forces are presented.


Finite groups of birational transformations. We survey new results on finite groups of birational transformations of algebraic varieties.


Learning Deep Multimodal Feature Representation with Asymmetric Multi layer Fusion. We propose a compact and effective framework to fuse multimodal features at multiple layers in a single network. The framework consists of two innovative fusion schemes. Firstly, unlike existing multimodal methods that necessitate individual encoders for different modalities, we verify that multimodal features can be learnt within a shared single network by merely maintaining modality specific batch normalization layers in the encoder, which also enables implicit fusion via joint feature representation learning. Secondly, we propose a bidirectional multi layer fusion scheme, where multimodal features can be exploited progressively. To take advantage of such scheme, we introduce two asymmetric fusion operations including channel shuffle and pixel shift, which learn different fused features with respect to different fusion directions. These two operations are parameter free and strengthen the multimodal feature interactions across channels as well as enhance the spatial feature discrimination within channels. We conduct extensive experiments on semantic segmentation and image translation tasks, based on three publicly available datasets covering diverse modalities. Results indicate that our proposed framework is general, compact and is superior to state of the art fusion frameworks.


Emotions are Subtle Learning Sentiment Based Text Representations Using Contrastive Learning. Contrastive learning techniques have been widely used in the field of computer vision as a means of augmenting datasets. In this paper, we extend the use of these contrastive learning embeddings to sentiment analysis tasks and demonstrate that fine tuning on these embeddings provides an improvement over fine tuning on BERT based embeddings to achieve higher benchmarks on the task of sentiment analysis when evaluated on the DynaSent dataset. We also explore how our fine tuned models perform on cross domain benchmark datasets. Additionally, we explore upsampling techniques to achieve a more balanced class distribution to make further improvements on our benchmark tasks.


Low rank State action Value function Approximation. Value functions are central to Dynamic Programming and Reinforcement Learning but their exact estimation suffers from the curse of dimensionality, challenging the development of practical value function (VF) estimation algorithms. Several approaches have been proposed to overcome this issue, from non parametric schemes that aggregate states or actions to parametric approximations of state and action VFs via, e.g., linear estimators or deep neural networks. Relevantly, several high dimensional state problems can be well approximated by an intrinsic low rank structure. Motivated by this and leveraging results from low rank optimization, this paper proposes different stochastic algorithms to estimate a low rank factorization of the Q(s, a) matrix. This is a non parametric alternative to VF approximation that dramatically reduces the computational and sample complexities relative to classical Q learning methods that estimate Q(s,a) separately for each state action pair.


Exploring and mining attributed sequences of interactions. We are faced with data comprised of entities interacting over time this can be individuals meeting, customers buying products, machines exchanging packets on the IP network, among others. Capturing the dynamics as well as the structure of these interactions is of crucial importance for analysis. These interactions can almost always be labeled with content group belonging, reviews of products, abstracts, etc. We model these stream of interactions as stream graphs, a recent framework to model interactions over time. Formal Concept Analysis provides a framework for analyzing concepts evolving within a context. Considering graphs as the context, it has recently been applied to perform closed pattern mining on social graphs. In this paper, we are interested in pattern mining in sequences of interactions. After recalling and extending notions from formal concept analysis on graphs to stream graphs, we introduce algorithms to enumerate closed patterns on a labeled stream graph, and introduce a way to select relevant closed patterns. We run experiments on two real world datasets of interactions among students and citations between authors, and show both the feasibility and the relevance of our method.


THz detection of biomolecules in aqueous environments status and perspectives for analysis under physiological conditions and clinical use. Bioanalytical THz sensing techniques have proven to be an interesting and viable tool for the label free detection and analysis of biomolecules. However, a major challenge for THz bioanalytics is to perform investigations in the native aqueous environments of the analytes. This review recapitulates the status and future requirements for establishing THz biosensing as a complementary toolbox in the repertoire of standard bioanalytic methods. The potential use in medical research and clinical diagnosis is discussed. Under these considerations, this article presents a comprehensive categorization of biochemically relevant analytes that have been investigated by THz sensing techniques in aqueous media. The detectable concentration levels of ions, carbohydrates, (poly )nucleotides, active agents, proteins and different biomacromolecules from THz experiments are compared to characteristic physiological concentrations and lower detection limits of state of the art bioanalytical methods. Finally, recent experimental developments and achievements are discussed, which potentially pave the way for THz analysis of biomolecules under clinically relevant conditions.


A dependence of the cost of fast controls for the heat equation on the support of initial datum. The controllability cost for the heat equation as the control time T goes to 0 is well known of the order e C T for some positive constant C , depending on the controlled domain and for all initial datum. In this paper, we prove that the constant C can be chosen to be arbitrarily small if the support of the initial data is sufficiently close to the controlled domain, but not necessary inside the controlled domain. The proof is in the spirit on Lebeau and Robbiano's approach in which a new spectral inequality is established. The main ingredient of the proof of the new spectral inequality is three sphere inequalities with partial data.


Acyclic and Cyclic Reversing Computations in Petri Nets. Reversible computations constitute an unconventional form of computing where any sequence of performed operations can be undone by executing in reverse order at any point during a computation. It has been attracting increasing attention as it provides opportunities for low power computation, being at the same time essential or eligible in various applications. In recent work, we have proposed a structural way of translating Reversing Petri Nets (RPNs) a type of Petri nets that embeds reversible computation, to bounded Coloured Petri Nets (CPNs) an extension of traditional Petri Nets, where tokens carry data values. Three reversing semantics are possible in RPNs backtracking (reversing of the lately executed action), causal reversing (action can be reversed only when all its effects have been undone) and out of causal reversing (any previously performed action can be reversed). In this paper, we extend the RPN to CPN translation with formal proofs of correctness. Moreover, the possibility of introduction of cycles to RPNs is discussed. We analyze which type of cycles could be allowed in RPNs to ensure consistency with the current semantics. It emerged that the most interesting case related to cycles in RPNs occurs in causal semantics, where various interpretations of dependency result in different net's behaviour during reversing. Three definitions of dependence are presented and discussed.


E Commerce and E Health Strategies and Implementation Activities in the United Kingdom Review Study. This study deals with the review of e commerce and e health. The investigation of e commerce and e health in the United Kingdom is proposed. The related works of e commerce and e health sectors is analysed. The world market for e commerce is studied.


A new class of higher ordered extended Boussinesq system for efficient numerical simulations by splitting operators. In this work, we numerically study the higher ordered extended Boussinesq system describing the propagation of water waves over flat topography. An equivalent suitable reformulation is proposed, making the model more appropriate for the numerical implementation and significantly improved in terms of linear dispersive properties in high frequency regimes due to the suitable adjustment of a dispersion correction parameter. Moreover, we show that a significant interest is behind the derivation of a new formulation of the higher ordered extended Boussinesq system that avoids the calculation of high order derivatives existing in the model. We show that this formulation enjoys an extended range of applicability while remaining stable. We develop a second order splitting scheme where the hyperbolic part of the system is treated with a high order finite volume scheme and the dispersive part is treated with a finite difference approach. Numerical simulations are then performed to validate the model and the numerical methods.


The dependence of evanescent wave polarization on the losses of guided optical modes. Spin momentum locking of evanescent waves describes the relationship between the propagation constant of an evanescent mode and the polarization of its electromagnetic field, giving rise to applications in light nano routing and polarimetry among many others. The use of complex numbers in physics is a powerful representation in areas such as quantum mechanics or electromagnetism it is well known that a lossy waveguide can be modelled with the addition of an imaginary part to the propagation constant. Here we explore how these losses are entangled with the polarization of the associated evanescent tails for the waveguide, revealing a well defined mapping between waveguide losses and the Poincar 'e sphere of polarizations, in what could be understood as a "polarization loss locking" of evanescent waves. We analyse the implications for near field directional coupling of sources to waveguides, as optimized dipoles must take into account the losses for a perfectly unidirectional excitation. We also reveal the potential advantage of calculating the angular spectrum of a source defined in a complex, rather than the traditionally purely real, transverse wavevector space formalism.


Individual versus Social Benefit on the Heterogeneous Networks. The focus of structural balance theory is dedicated to social benefits, while in a real network individual benefits sometimes get the importance as well. In Strauss's model, the local minima are modeled by considering an individual term besides a social one and the assumption is based on equal strength of individual benefits. The results show that the competition between two terms leads to a phase transition between individual and social benefits and there is a critical point, CP , that represents a first order phase transition in the network. Concerning a real network of relations, individuals adjust the strength of their relationships based on the benefits they acquire from. Therefore, addressing heterogeneity in the individual interactions, we study a modified version of Strauss's model in which the first term represents the heterogeneous individual benefit by theta ij , and the coefficient of the second term, alpha , measures the strength of social benefit. Our studies show that there is a region where the triangles are in a crumpled state rather than being dispersed in the network and increasing the heterogeneity of individual benefits results in the narrower region of crumpled state. Out of this region, the network is a mixture of links and triangles and the value of alpha determines whether the individual benefit or social benefit overcomes. For the small value of alpha the individual benefit dominates whereas in the large value of alpha the social benefit overcomes.