A Lyapunov Approach to Robust Regulation of Distributed Port Hamiltonian Systems. This paper studies robust output tracking and disturbance rejection for boundary controlled infinite dimensional port Hamiltonian systems including second order models such as the Euler Bernoulli beam. The control design is achieved using the internal model principle and the stability analysis using a Lyapunov approach. Contrary to existing works on the same topic no assumption is made on the external well posedness of the considered class of PDEs. The results are applied to robust tracking of a piezo actuated tube used in atomic force imaging.


Numerical and Fitting Approach for Investigation of the Schr "odinger Equation for Flat Potentials. In this study, the Schrodinger equation for flat potentials through the pseudo perspective method is investigated.


Are Pretrained Language Models Symbolic Reasoners Over Knowledge?. How can pretrained language models (PLMs) learn factual knowledge from the training set? We investigate the two most important mechanisms reasoning and memorization. Prior work has attempted to quantify the number of facts PLMs learn, but we present, using synthetic data, the first study that investigates the causal relation between facts present in training and facts learned by the PLM. For reasoning, we show that PLMs seem to learn to apply some symbolic reasoning rules correctly but struggle with others, including two hop reasoning. Further analysis suggests that even the application of learned reasoning rules is flawed. For memorization, we identify schema conformity (facts systematically supported by other facts) and frequency as key factors for its success.


Infinite Paley graphs. Infinite analogues of the Paley graphs are constructed, based on uncountably many infinite but locally finite fields. Weil's estimate for character sums shows that they are all isomorphic to the random or universal graph of Erd H os, R 'enyi and Rado. Automorphism groups and connections with model theory are considered.


Few Shot Object Detection via Knowledge Transfer. Conventional methods for object detection usually require substantial amounts of training data and annotated bounding boxes. If there are only a few training data and annotations, the object detectors easily overfit and fail to generalize. It exposes the practical weakness of the object detectors. On the other hand, human can easily master new reasoning rules with only a few demonstrations using previously learned knowledge. In this paper, we introduce a few shot object detection via knowledge transfer, which aims to detect objects from a few training examples. Central to our method is prototypical knowledge transfer with an attached meta learner. The meta learner takes support set images that include the few examples of the novel categories and base categories, and predicts prototypes that represent each category as a vector. Then, the prototypes reweight each RoI (Region of Interest) feature vector from a query image to remodels R CNN predictor heads. To facilitate the remodeling process, we predict the prototypes under a graph structure, which propagates information of the correlated base categories to the novel categories with explicit guidance of prior knowledge that represents correlations among categories. Extensive experiments on the PASCAL VOC dataset verifies the effectiveness of the proposed method.


Hecke algebra trace algorithm and some conjectures on weaving knots. Computing polynomial invariants for knots and links using braid representations relies heavily on finding the trace of Hecke algebra elements. There is no easy method known for computing the trace and hence it becomes difficult to compute the known polynomial invariants of knots using their braid representations. In this paper, we provide an algorithm to compute the trace of the Hecke algebra representation of any braid. We simplify this algorithm and write a Mathematica program to compute the invariants such as Alexander polynomial, Jones polynomial, HOMFLY PT polynomial and Khovanov homology of a very special family of knots and links W(n,m) known as weaving knots by expressing them as closure of weaving braids. We also explore on the relationship between the topological and geometric invariants of this family of alternating and hyperbolic knots (links) by generating data for the subfamilies W(3,m) , W(4,m) , W(5,m) and W(6,m) of weaving knots.


When Text Simplification Is Not Enough Could a Graph Based Visualization Facilitate Consumers' Comprehension of Dietary Supplement Information?. Dietary supplements are widely used but not always safe. With the rapid development of the Internet, consumers usually seek health information including dietary supplement information online. To help consumers access quality online dietary supplement information, we have identified trustworthy dietary supplement information sources and built an evidence based knowledge base of dietary supplement information the integrated DIetary Supplement Knowledge base (iDISK) that integrates and standardizes dietary supplement related information across these different sources. However, as information in iDISK was collected from scientific sources, the complex medical jargon is a barrier for consumers' comprehension. To assess how different approaches to simplify and represent dietary supplement information from iDISK will affect lay consumers' comprehension, using a crowdsourcing platform, we recruited participants to read dietary supplement information in four different representations from iDISK original text, syntactic and lexical text simplification, manual text simplification, and a graph based visualization. We then assessed how the different simplification and representation strategies affected consumers' comprehension of dietary supplement information in terms of accuracy and response time to a set of comprehension questions. With responses from 690 qualified participants, our experiments confirmed that the manual approach had the best performance for both accuracy and response time to the comprehension questions, while the graph based approach ranked the second outperforming other representations. In some cases, the graph based representation outperformed the manual approach in terms of response time. A hybrid approach that combines text and graph based representations might be needed to accommodate consumers' different information needs and information seeking behavior.


Entropy Enhanced Multimodal Attention Model for Scene Aware Dialogue Generation. With increasing information from social media, there are more and more videos available. Therefore, the ability to reason on a video is important and deserves to be discussed. TheDialog System Technology Challenge (DSTC7) (Yoshino et al. 2018) proposed an Audio Visual Scene aware Dialog (AVSD) task, which contains five modalities including video, dialogue history, summary, and caption, as a scene aware environment. In this paper, we propose the entropy enhanced dynamic memory network (DMN) to effectively model video modality. The attention based GRU in the proposed model can improve the model's ability to comprehend and memorize sequential information. The entropy mechanism can control the attention distribution higher, so each to be answered question can focus more specifically on a small set of video segments. After the entropy enhanced DMN secures the video context, we apply an attention model that in corporates summary and caption to generate an accurate answer given the question about the video. In the official evaluation, our system can achieve improved performance against the released baseline model for both subjective and objective evaluation metrics.


Some multiplicative equations in finite fields. In this paper we consider estimating the number of solutions to multiplicative equations in finite fields when the variables run through certain sets with high additive structure. In particular, we consider estimating the multiplicative energy of generalized arithmetic progressions in prime fields and of boxes in arbitrary finite fields and obtain sharp bounds in more general scenarios than previously known. Our arguments extend some ideas of Konyagin and Bourgain and Chang into new settings.


On the sharp interface limit of a phase field model for near spherical two phase biomembranes. We consider sharp interface asymptotics for a phase field model of two phase near spherical biomembranes involving a coupling between the local mean curvature and the local composition proposed by the first and second authors. The model is motivated by lipid raft formation. We introduce a reduced diffuse interface energy depending only on the membrane composition and derive the Gamma limit. We demonstrate that the Euler Lagrange equations for the limiting functional and the sharp interface energy coincide. Finally, we consider a system of gradient flow equations with conserved Allen Cahn dynamics for the phase field model. Performing a formal asymptotic analysis we obtain a system of gradient flow equations for the sharp interface energy coupling geodesic curvature flow for the phase interface to a fourth order PDE free boundary problem for the surface deformation.


RF current condensation in magnetic islands and associated hysteresis phenomena. The nonlinear RF current condensation effect suggests that magnetic islands might be well controlled with broader deposition profiles than previously thought possible. To assess this possibility, a simplified energy deposition model in a symmetrised 1D slab geometry is constructed. By limiting the RF wave power that can be absorbed through damping, this model describes also the predicted hysteresis phenomena. Compared to the linear model, the nonlinear effects lead to larger temperature variations, narrower deposition widths, and more robust island stabilisation. Although, in certain regimes, the island centre can be disadvantageously shaded because of the nonlinear effects, in general, the RF condensation effect can take place, with current preferentially generated, advantageously, close to the island centre.


List colouring triangle free planar graphs. This paper proves the following result Assume G is a triangle free planar graph, X is an independent set of G . If L is a list assignment of G such that mid L(v) mid 4 for each vertex v in V(G) X and mid L(v) mid 3 for each vertex v in X , then G is L colourable.


Abelian maps, bi skew braces, and opposite pairs of H opf G alois structures. Let G be a finite nonabelian group, and let psi G to G be a homomorphism with abelian image. We show how psi gives rise to two Hopf Galois structures on a Galois extension L K with Galois group (isomorphic to) G one of these structures generalizes the construction given by a fixed point free abelian endomorphism'' introduced by Childs in 2013. We construct the skew left brace corresponding to each of the two Hopf Galois structures above. We will show that one of the skew left braces is in fact a bi skew brace, allowing us to obtain four set theoretic solutions to the Yang Baxter equation as well as a pair of Hopf Galois structures on a (potentially) different finite Galois extension.


The cyclic job shop scheduling problem The new subclass of the job shop problem and applying the Simulated annealing to solve it. In the paper, the new approach to the scheduling problem are described. The approach deals with the problem of planning the cyclic production and proposes to consider such scheduling problem as the cyclic job shop problem of the order k, where k is the number of reiterations. It was found out that planning of only one iteration of the loop is less effective than planning of the entire cycle. To the experimental research, a number of test instances of the job shop scheduling problem by Operation Research Library were used. The Simulated Annealing was applied to solve the instances. The experiments proved that the approach proposed allows increasing the efficiency of cyclic scheduling significantly.


Self biased Tri state Power Multiplexed Digital Metasurface Operating at Microwave Frequencies. Exploiting of nonlinearity has opened doors into undiscovered areas for achieving multiplexed performances in recent years. Although efforts have been made to obtain diverse nonlinear architectures at visible frequencies, the room is still free for incorporating non linearity into the design of microwave metasurfaces. In this paper, a passive dual band power intensity dependent metasurface is presented. Here, power multiplexing performance is achieved by embedding PIN diodes in the coding particles. The proposed digital metasurface has three operational states 1) it acts as a normal reflector at low power intensities whereas provides a dual band nonlinear response upon illuminating by high power incidences where 2) it perfectly absorbs the radiations at f1 6.7 GHz and 3) re distributes the scattered beams by arranging the meta atoms with a certain coding pattern at f2 9.37 GHz. The nonlinear performance of the designed tri state coding elements has been characterized by using the scattering parameters captured in the full wave simulations where the accurate models of the nonlinear diodes are involved. The emergence of microwave self biased metasurfaces with smart re actions upon illuminating by incidences of different power levels, revealing great opportunities for designing smart windows, smart camouflage coating surfaces and so on.


Privacy Preserving P2P Energy Market on the Blockchain. Quartierstrom creates a peer to peer marketplace for locally generated solar power. The marketplace is implemented as a smart contract on a permissioned blockchain governed by all prosumers. Two privacy by design concepts are presented which guarantee that the users individual load profile is not leaked to any third party despite using a blockchain. The first approach leverages UTXO based coin mixing protocols in combination with an account based on chain smart contract. The second approach relies on an off chain smart contract running in trusted execution environments.


Cost Efficient Repository Management for Cloud Based On Demand Video Streaming. Video transcoding is the process of converting a video to the format supported by the viewer's device. Video transcoding requires huge storage and computational resources, thus, many video stream providers choose to carry it out on the cloud. Video streaming providers generally need to prepare several formats of the same video (termed pre transcoding) and stream the appropriate format to the viewer. However, pre transcoding requires enormous storage space and imposes a significant cost to the stream provider. More importantly, pre transcoding proven to be inefficient due to the long tail access pattern to video streams in a repository. To reduce the incurred cost, in this research, we propose a method to partially pre transcode video streams and re transcode the rest of it in an on demand manner. We will develop a method to strike a trade off between pre transcoding and on demand transcoding of video streams to reduce the overall cost. Experimental results show the efficiency of our approach, particularly, when a high percentage of videos are accessed frequently. In such repositories, the proposed approach reduces the incurred cost by up to 70 .


The Virtual Resolutions Package for Macaulay2. We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating curves in mathbb P 1 times mathbb P 2 , providing sources for interesting virtual resolutions.


Turns in Hamilton cycles of rectangular grids. For a Hamilton cycle in a rectangular m times n grid, what is the greatest number of turns that can occur? We give the exact answer in several cases and an answer up to an additive error of 2 in all other cases. In particular, we give a new proof of the result of Beluhov for the case of a square n times n grid. Our main method is a surprising link between the problem of 'greatest number of turns' and the problem of 'least number of turns'.


A unified sparse optimization framework to learn parsimonious physics informed models from data. Machine learning (ML) is redefining what is possible in data intensive fields of science and engineering. However, applying ML to problems in the physical sciences comes with a unique set of challenges scientists want physically interpretable models that can (i) generalize to predict previously unobserved behaviors, (ii) provide effective forecasting predictions (extrapolation), and (iii) be certifiable. Autonomous systems will necessarily interact with changing and uncertain environments, motivating the need for models that can accurately extrapolate based on physical principles (e.g. Newton's universal second law for classical mechanics, F ma ). Standard ML approaches have shown impressive performance for predicting dynamics in an interpolatory regime, but the resulting models often lack interpretability and fail to generalize. We introduce a unified sparse optimization framework that learns governing dynamical systems models from data, selecting relevant terms in the dynamics from a library of possible functions. The resulting models are parsimonious, have physical interpretations, and can generalize to new parameter regimes. Our framework allows the use of non convex sparsity promoting regularization functions and can be adapted to address key challenges in scientific problems and data sets, including outliers, parametric dependencies, and physical constraints. We show that the approach discovers parsimonious dynamical models on several example systems. This flexible approach can be tailored to the unique challenges associated with a wide range of applications and data sets, providing a powerful ML based framework for learning governing models for physical systems from data.


On "mixed" modular equations of degree 21. In the proposed work, we establish a total of six new P Q modular equations involving theta function f( q) with moduli of orders 1, 3, 7 and 21.These equations can be regarded as modular identities in the alternate theory of signature 3. As a consequence, several values of quotients of theta function are evaluated.


Designing and Interpreting Probes with Control Tasks. Probes, supervised models trained to predict properties (like parts of speech) from representations (like ELMo), have achieved high accuracy on a range of linguistic tasks. But does this mean that the representations encode linguistic structure or just that the probe has learned the linguistic task? In this paper, we propose control tasks, which associate word types with random outputs, to complement linguistic tasks. By construction, these tasks can only be learned by the probe itself. So a good probe, (one that reflects the representation), should be selective, achieving high linguistic task accuracy and low control task accuracy. The selectivity of a probe puts linguistic task accuracy in context with the probe's capacity to memorize from word types. We construct control tasks for English part of speech tagging and dependency edge prediction, and show that popular probes on ELMo representations are not selective. We also find that dropout, commonly used to control probe complexity, is ineffective for improving selectivity of MLPs, but that other forms of regularization are effective. Finally, we find that while probes on the first layer of ELMo yield slightly better part of speech tagging accuracy than the second, probes on the second layer are substantially more selective, which raises the question of which layer better represents parts of speech.


Accessing Excited State Molecular Vibrations by Femtosecond Stimulated Raman Spectroscopy. Excited state vibrations are crucial for determining photophysical and photochemical properties of molecular compounds. Stimulated Raman scattering can coherently stimulate and probe molecular vibrations with optical pulses, but it is generally restricted to ground state properties. Working in resonance conditions, indeed, enables cross section enhancement and selective excitation to a targeted electronic level, but is hampered by an increased signal complexity due to the presence of overlapping spectral contributions. Here, we show how detailed information on ground and excited state vibrations can be disentangled, by exploiting the relative time delay between Raman and probe pulses to control the excited state population, combined with a diagrammatic formalism to dissect the pathways concurring to the signal generation. The proposed method is then exploited to elucidate the vibrational properties of ground and excited electronic states in the paradigmatic case of Cresyl Violet. We anticipate that the presented approach holds the potential for selective mapping the reaction coordinates pertaining to transient electronic stages implied in photo active compounds.


Secure Client and Server Geolocation Over the Internet. In this article, we provide a summary of recent efforts towards achieving Internet geolocation securely, ie without allowing the entity being geolocated to cheat about its own geographic location. Cheating motivations arise from many factors, including impersonation (in the case locations are used to reinforce authentication), and gaining location dependent benefits. In particular, we provide a technical overview of Client Presence Verification (CPV) and Server Location Verification (SLV) two recently proposed techniques designed to verify the geographic locations of clients and servers in realtime over the Internet. Each technique addresses a wide range of adversarial tactics to manipulate geolocation, including the use of IP hiding technologies like VPNs and anonymizers, as we now explain.


A counterexample to vanishing conjectures for negative K theory. In a 2006 article Schlichting conjectured that the negative it K theory of any abelian category must vanish. This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative it K theory of any category with a bounded it t structure must vanish. Both conjectures will be shown to be false.


A Neuro Symbolic Humanlike Arm Controller for Sophia the Robot. We outline the design and construction of novel robotic arms using machine perception, convolutional neural networks, and symbolic AI for logical control and affordance indexing. We describe our robotic arms built with a humanlike mechanical configuration and aesthetic, with 28 degrees of freedom, touch sensors, and series elastic actuators. The arms were modelled in Roodle and Gazebo with URDF models, as well as Unity, and implement motion control solutions for solving live games of Baccarat (the casino card game), rock paper scissors, handshaking, and drawing. This includes live interactions with people, incorporating both social control of the hands and facial gestures, and physical inverse kinematics (IK) for grasping and manipulation tasks. The resulting framework is an integral part of the Sophia 2020 alpha platform, which is being used with ongoing research in the authors work with team AHAM, an ANA Avatar Xprize effort towards human AI hybrid telepresence. These results are available to test on the broadly released Hanson Robotics Sophia 2020 robot platform, for users to try and extend.


A dichotomy for bounded displacement equivalence of Delone sets. We prove that in every compact space of Delone sets in mathbb R d which is minimal with respect to the action by translations, either all Delone sets are uniformly spread, or continuously many distinct bounded displacement equivalence classes are represented, none of which contains a lattice. The implied limits are taken with respect to the Chabauty Fell topology, which is the natural topology on the space of closed subsets of mathbb R d . This topology coincides with the standard local topology in the finite local complexity setting, and it follows that the dichotomy holds for all minimal spaces of Delone sets associated with well studied constructions such as cut and project sets and substitution tilings, whether or not finite local complexity is assumed.


Linear extension numbers of n element posets. We address the following natural but hitherto unstudied question what are the possible linear extension numbers of an n element poset? Let mathbf LE (n) denote the set of all positive integers that arise as the number of linear extensions of some n element poset. We show that mathbf LE (n) skews towards the "small" end of the interval 1,n! . More specifically, mathbf LE (n) contains all of the positive integers up to exp left(c frac n log n right) for some absolute constant c , and mathbf LE (n) cap ((n 1)!,n! (n 3)! . The proof of the former statement involves some intermediate number theoretic results about the Stern Brocot tree that are of independent interest.


A Constructive Proof of Masser's Theorem. The Modified Szpiro Conjecture, equivalent to the abc Conjecture, states that for each epsilon 0 , there are finitely many rational elliptic curves satisfying N E 6 epsilon max ! left left vert c 4 3 right vert,c 6 2 right where c 4 and c 6 are the invariants associated to a minimal model of E and N E is the conductor of E . We say E is a good elliptic curve if N E 6 max ! left left vert c 4 3 right vert,c 6 2 right . Masser showed that there are infinitely many good Frey curves. Here we give a constructive proof of this assertion.


Wavefront sensing based on the inverted Hartmann sensor. The classic Hartmann test consists of an array of holes to reconstruct the wavefront from the local deviation of each focal spot, and Shack Hartmann sensor improved that with an array of microlenses. This array of microlenses imposes practical limitations when the wavefront is not into of visible wavelengths, e.g., the fabrication of these. Instead, we propose a wavefront sensing technique using an array of circular obstructions, i.e., the Hartmann sensor with an inverted Hartmann array. We show that under the same conditions the inverted Hartmann sensor and the Shack Hartmann wavefront sensor have an equivalent spot map to recover the wavefront. The method might used in non visible wavelengths and in a wider range of applications.


Deep ensemble network with explicit complementary model for accuracy balanced classification. The average accuracy is one of major evaluation metrics for classification systems, while the accuracy deviation is another important performance metric used to evaluate various deep neural networks. In this paper, we present a new ensemble like fast deep neural network, Harmony, that can reduce the accuracy deviation among categories without degrading overall average accuracy. Harmony consists of three sub models, namely, Target model, Complementary model, and Conductor model. In Harmony, an object is classified by using either Target model or Complementary model. Target model is a conventional classification network for general categories, while Complementary model is a classification network especially for weak categories that are inaccurately classified by Target model. Conductor model is used to select one of two models. Experimental results demonstrate that Harmony accurately classifies categories, while it reduces the accuracy deviation among the categories.


Multi resolution Graph Neural Network for Identifying Disease specific Variations in Brain Connectivity. Convolution Neural Network (CNN) recently have been adopted in several neuroimaging studies for diagnosis capturing disease specific changes in the brain. While many of these methods are designed to work with images in mathbb R n exploiting regular structure of the domain, they are not well suited to analyze data with irregular structure such as brain connectivity. As there is significant interest in understanding the altered interactions between different brain regions that lead to neuro disorders, it is important to develop data driven methods that work with a population of graph data for traditional prediction tasks. In this regime, we propose a novel CNN based framework with adaptive graph transforms to learn the most disease relevant connectome feature maps which have the highest discrimination power across diagnostic categories. The backbone of our framework is a multi resolution representation of the graph matrix which is steered by a set of wavelet like graph transforms. In this context, our supervised graph learning framework outperforms conventional graph methods that predict diagnostic label only based on the underlying individual graph. Our extensive experiments on two real datasets of functional and structural brain networks show that our multi resolution framework achieves significantly higher accuracy, precision and recall in predicting diagnostic labels and identifying disease specific brain connectivities that are associated with brain disorders such as Attention Deficit Hyperactivity Disorder (ADHD) and Alzheimer's Disease (AD).


Glucose availability but not changes in pancreatic hormones sensitizes hepatic AMPK activity during nutritional transition in rodents. The cellular energy sensor AMP activated protein kinase (AMPK) is a metabolic regulator that mediates adaptation to nutritional variations in order to maintain a proper energy balance in cells. We show here that suckling weaning and fasting refeeding transitions in rodents are associated with changes in AMPK activation and the cellular energy state in the liver. These nutritional transitions were characterized by a metabolic switch from lipid to glucose utilization, orchestrated by modifications in glucose levels and the glucagon insulin ratio in the bloodstream. We therefore investigated the respective roles of glucose and pancreatic hormones on AMPK activation in mouse primary hepatocytes. We found that glucose starvation transiently activates AMPK, whereas changes in glucagon and insulin levels had no impact on AMPK. Challenge of hepatocytes with metformin induced metabolic stress strengthened both AMPK activation and cellular energy depletion limited glucose conditions, whereas neither glucagon nor insulin altered AMPK activation. Although both insulin and glucagon induced AMPK alpha phosphorylation at its Ser 485 491 residue, they did not affect its activity. Finally, the decrease in cellular ATP levels in response to an energy stress was additionally exacerbated under fasting conditions and by AMPK deficiency in hepatocytes, revealing metabolic inflexibility and emphasizing the importance of AMPK for maintaining hepatic energy charge. Our results suggest that nutritional changes (i.e. glucose availability), rather than the related hormonal changes (i.e. the glucagon insulin ratio), sensitize AMPK activation to the energetic stress induced by the dietary transition during fasting. This effect is critical for preserving the cellular energy state in the liver.


A Tweet based Dataset for Company Level Stock Return Prediction. Public opinion influences events, especially related to stock market movement, in which a subtle hint can influence the local outcome of the market. In this paper, we present a dataset that allows for company level analysis of tweet based impact on one , two , three , and seven day stock returns. Our dataset consists of 862, 231 labelled instances from twitter in English, we also release a cleaned subset of 85, 176 labelled instances to the community. We also provide baselines using standard machine learning algorithms and a multi view learning based approach that makes use of different types of features. Our dataset, scripts and models are publicly available at https github.com ImperialNLP stockreturnpred.


MOT20 A benchmark for multi object tracking in crowded scenes. Standardized benchmarks are crucial for the majority of computer vision applications. Although leaderboards and ranking tables should not be over claimed, benchmarks often provide the most objective measure of performance and are therefore important guides for research. The benchmark for Multiple Object Tracking, MOTChallenge, was launched with the goal to establish a standardized evaluation of multiple object tracking methods. The challenge focuses on multiple people tracking, since pedestrians are well studied in the tracking community, and precise tracking and detection has high practical relevance. Since the first release, MOT15, MOT16, and MOT17 have tremendously contributed to the community by introducing a clean dataset and precise framework to benchmark multi object trackers. In this paper, we present our MOT20benchmark, consisting of 8 new sequences depicting very crowded challenging scenes. The benchmark was presented first at the 4thBMTT MOT Challenge Workshop at the Computer Vision and Pattern Recognition Conference (CVPR) 2019, and gives to chance to evaluate state of the art methods for multiple object tracking when handling extremely crowded scenarios.


Spectral aspects of commuting conjugacy class graph of finite groups. The commuting conjugacy class graph of a non abelian group G , denoted by mathcal CCC (G) , is a simple undirected graph whose vertex set is the set of conjugacy classes of the non central elements of G and two distinct vertices x G and y G are adjacent if there exists some elements x' in x G and y' in y G such that x'y' y'x' . In this paper we compute various spectra and energies of commuting conjugacy class graph of the groups D 2n , Q 4m , U (n, m) , V 8n and SD 8n . Our computation shows that mathcal CCC (G) is super integral for these groups. We compare various energies and as a consequence it is observed that mathcal CCC (G) satisfy E LE Conjecture of Gutman et al. We also provide negative answer to a question posed by Dutta et al. comparing Laplacian and Signless Laplacian energy. Finally, we conclude this paper by characterizing the above mentioned groups G such that mathcal CCC (G) is hyperenergetic, L hyperenergetic or Q hyperenergetic.


Combinatorial inequalities. This is an expanded version of the Notices of the AMS column with the same title. The text is unchanged, but we added acknowledgements and a large number of endnotes which provide the context and the references.


Lectures notes on Heegaard Floer homology. These are the lecture notes for a course on Heegaard Floer homology held at PCMI in Summer 2019. We describe Heegaard diagrams, Heegaard Floer homology, knot Floer homology, and the relationship between the knot and 3 manifold invariants.


Exploring Projective Norm Graphs. The projective norm graphs text NG (q,t) provide tight constructions for the Tur 'an number of complete bipartite graphs K t,s with s (t 1)! . In this paper we determine their automorphism group and explore their small subgraphs. To this end we give quite precise estimates on the number of solutions of certain equation systems involving norms over finite fields. The determination of the largest integer s t , such that the projective norm graph text NG (q,t) contains K t,s t for all large enough prime powers q is an important open question with far reaching general consequences. The best known bounds, t 1 leq s t leq (t 1)! , are far apart for t geq 4 . Here we prove that text NG (q,4) does contain (many) K 4,6 for any prime power q not divisble by 2 or 3 . This greatly extends recent work of Grosu, using a completely different approach. Along the way we also count the copies of any fixed 3 degenerate subgraph, and find that projective norm graphs are quasirandom with respect to this parameter. Some of these results also extend the work of Alon and Shikhelman on generalized Tur 'an numbers. Finally we also give a new, more elementary proof for the K 4,7 freeness of text NG (q,4) .


New Item Consumption Prediction Using Deep Learning. Recommendation systems have become ubiquitous in today's online world and are an integral part of practically every e commerce platform. While traditional recommender systems use customer history, this approach is not feasible in 'cold start' scenarios. Such scenarios include the need to produce recommendations for new or unregistered users and the introduction of new items. In this study, we present the Purchase Intent Session bAsed (PISA) algorithm, a content based algorithm for predicting the purchase intent for cold start session based scenarios. Our approach employs deep learning techniques both for modeling the content and purchase intent prediction. Our experiments show that PISA outperforms a well known deep learning baseline when new items are introduced. In addition, while content based approaches often fail to perform well in highly imbalanced datasets, our approach successfully handles such cases. Finally, our experiments show that combining PISA with the baseline in non cold start scenarios further improves performance.


Spreading and retraction dynamics of sessileevaporating droplets comprising volatile binary mixtures. The dynamics of thin volatile droplets comprising of binary mixtures deposited on a heated substrate are investigated. Using lubrication theory, we develop a novel one sided model to predict the spreading and retraction of an evaporating sessile axisymmetric droplet formed of a volatile binary mixture on a substrate with high wettability. A thin droplet with a moving contact line is considered, taking into account the variation of liquid properties with concentration as well as the effects of inertia. The parameter space is explored and the resultant effects on wetting and evaporation are evaluated. Increasing solutal Marangoni stress enhances spreading rates in all cases, approaching those of superspreading liquids. To validate our model, experiments are conducted with binary ethanol water droplets spreading on hydrophilic glass slides heated from below. The spreading rate is quantified, revealing that preferential evaporation of the more volatile component (ethanol) at the contact line drives superspreading, leading in some cases to a contact line instability. Good qualitative agreement is found between our model and experiments, with quantitative agreement being achieved in terms of spreading rate.


Upper envelopes of families of Feller semigroups and viscosity solutions to a class of nonlinear Cauchy problems. In this paper, we consider the (upper) semigroup envelope, i.e. the least upper bound, of a given family of linear Feller semigroups. We explicitly construct the semigroup envelope and show that, under suitable assumptions, it yields viscosity solutions to abstract Hamilton Jacobi Bellman type partial differential equations related to stochastic optimal control problems arising in the field of Robust Finance. We further derive conditions for the existence of a Markov process under a nonlinear expectation related to the semigroup envelope for the case where the state space is locally compact. The procedure is then applied to numerous examples, in particular, nonlinear PDEs that arise from control problems for infinite dimensional Ornstein Uhlenbeck and L 'evy processes.


Elegant vertex labelings with prime numbers. We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with n vertices are the first n odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to 2n 2 . We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of n primes for all n up to n 3500 .


HDD Net Hybrid Detector Descriptor with Mutual Interactive Learning. Local feature extraction remains an active research area due to the advances in fields such as SLAM, 3D reconstructions, or AR applications. The success in these applications relies on the performance of the feature detector and descriptor. While the detector descriptor interaction of most methods is based on unifying in single network detections and descriptors, we propose a method that treats both extractions independently and focuses on their interaction in the learning process rather than by parameter sharing. We formulate the classical hard mining triplet loss as a new detector optimisation term to refine candidate positions based on the descriptor map. We propose a dense descriptor that uses a multi scale approach and a hybrid combination of hand crafted and learned features to obtain rotation and scale robustness by design. We evaluate our method extensively on different benchmarks and show improvements over the state of the art in terms of image matching on HPatches and 3D reconstruction quality while keeping on par on camera localisation tasks.


GRIT Generative Role filler Transformers for Document level Event Entity Extraction. We revisit the classic problem of document level role filler entity extraction (REE) for template filling. We argue that sentence level approaches are ill suited to the task and introduce a generative transformer based encoder decoder framework (GRIT) that is designed to model context at the document level it can make extraction decisions across sentence boundaries is implicitly aware of noun phrase coreference structure, and has the capacity to respect cross role dependencies in the template structure. We evaluate our approach on the MUC 4 dataset, and show that our model performs substantially better than prior work. We also show that our modeling choices contribute to model performance, e.g., by implicitly capturing linguistic knowledge such as recognizing coreferent entity mentions.


Drift with Devil Security of Multi Sensor Fusion based Localization in High Level Autonomous Driving under GPS Spoofing (Extended Version). For high level Autonomous Vehicles (AV), localization is highly security and safety critical. One direct threat to it is GPS spoofing, but fortunately, AV systems today predominantly use Multi Sensor Fusion (MSF) algorithms that are generally believed to have the potential to practically defeat GPS spoofing. However, no prior work has studied whether today's MSF algorithms are indeed sufficiently secure under GPS spoofing, especially in AV settings. In this work, we perform the first study to fill this critical gap. As the first study, we focus on a production grade MSF with both design and implementation level representativeness, and identify two AV specific attack goals, off road and wrong way attacks. To systematically understand the security property, we first analyze the upper bound attack effectiveness, and discover a take over effect that can fundamentally defeat the MSF design principle. We perform a cause analysis and find that such vulnerability only appears dynamically and non deterministically. Leveraging this insight, we design FusionRipper, a novel and general attack that opportunistically captures and exploits take over vulnerabilities. We evaluate it on 6 real world sensor traces, and find that FusionRipper can achieve at least 97 and 91.3 success rates in all traces for off road and wrong way attacks respectively. We also find that it is highly robust to practical factors such as spoofing inaccuracies. To improve the practicality, we further design an offline method that can effectively identify attack parameters with over 80 average success rates for both attack goals, with the cost of at most half a day. We also discuss promising defense directions.


Global uniqueness in a passive inverse problem of helioseismology. We consider the inverse problem of recovering the spherically symmetric sound speed, density and attenuation in the Sun from the observations of the acoustic field randomly excited by turbulent convection. We show that observations at two heights above the photosphere and at two frequencies above the acoustic cutoff frequency uniquely determine the solar parameters. We also present numerical simulations which confirm this theoretical result.


Zero Interaction Security Towards Sound Experimental Validation. Reproducibility and realistic datasets are crucial for advancing research. Unfortunately, they are often neglected as valid scientific contributions in many young disciplines, with computer science being no exception. In this article, we show the challenges encountered when reproducing the work of others, collecting realistic data in the wild, and ensuring that our own work is reproducible in turn. The presented findings are based on our study investigating the limits of zero interaction security (ZIS) a novel concept, leveraging sensor data collected by Internet of Things (IoT) devices to pair or authenticate devices. In particular, we share our experiences in reproducing five state of the art ZIS schemes, collecting a comprehensive dataset of sensor data from the real world, evaluating these schemes on the collected data, and releasing the data, code, and documentation to facilitate reproducibility of our results. In our discussion, we outline general considerations when conducting similar studies and give specific examples of technical and methodological issues that we experienced. We hope that our findings will raise awareness about the importance of reproducibility and realistic datasets in computer science and inform future research.


Reduced Graphene Oxide Tattoo as Wearable Proximity Sensor. The human body is punctuated with wide array of sensory systems that provide a high evolutionary advantage by facilitating formation of a detailed picture of the immediate surroundings. The sensors range across a wide spectrum, acquiring input from non contact audio visual means to contact based input via pressure and temperature. The ambit of sensing can be extended further by imparting the body with increased non contact sensing capability through the phenomenon of electrostatics. Here we present graphene based tattoo sensor for proximity sensing, employing the principle of electrostatic gating. The sensor shows a remarkable change in resistance upon exposure to objects surrounded with static charge on them. Compared to prior work in this field, the sensor has demonstrated the highest recorded proximity detection range of 20 cm. It is ultra thin, highly skin conformal and comes with a facile transfer process such that it can be tattooed on highly curvilinear rough substrates like the human skin, unlike other graphene based proximity sensors reported before. Present work details the operation of wearable proximity sensor while exploring the effect of mounting body on the working mechanism. A possible role of the sensor as an alerting system against unwarranted contact with objects in public places especially during the current SARS CoV 2 pandemic has also been explored in the form of an LED bracelet whose color is controlled by the proximity sensor attached to it.


RECONSIDER Re Ranking using Span Focused Cross Attention for Open Domain Question Answering. State of the art Machine Reading Comprehension (MRC) models for Open domain Question Answering (QA) are typically trained for span selection using distantly supervised positive examples and heuristically retrieved negative examples. This training scheme possibly explains empirical observations that these models achieve a high recall amongst their top few predictions, but a low overall accuracy, motivating the need for answer re ranking. We develop a simple and effective re ranking approach (RECONSIDER) for span extraction tasks, that improves upon the performance of large pre trained MRC models. RECONSIDER is trained on positive and negative examples extracted from high confidence predictions of MRC models, and uses in passage span annotations to perform span focused re ranking over a smaller candidate set. As a result, RECONSIDER learns to eliminate close false positive passages, and achieves a new state of the art on four QA tasks, including 45.5 Exact Match accuracy on Natural Questions with real user questions, and 61.7 on TriviaQA.


Discrete semiclassical orthogonal polynomials of class 2. In this contribution, discrete semiclassical orthogonal polynomials of class s leq2 are studied. By considering all possible solutions of the Pearson equation, we obtain the canonical families in each class. We also consider limit relations between these and other families of orthogonal polynomials.


The upgrade of the ALICE TPC with GEMs and continuous readout. The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous readout electronics based on the SAMPA chip, an ALICE development, are replacing the previous elements. The construction of these new elements, together with their associated quality control procedures, is explained in detail. Finally, the readout chamber and front end electronics cards replacement, together with the commissioning of the detector prior to installation in the experimental cavern, are presented. After a nine year period of R D, construction, and assembly, the upgrade of the TPC was completed in 2020.


A comment on "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid". We provide a counterexample to the performance guarantee obtained in the paper "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the European Journal of Operational Research. We comment on where this error originates from in the proof of the main theorem.


Exploratory Experiments on Programming Autonomous Robots in Jadescript. This paper describes exploratory experiments to validate the possibility of programming autonomous robots using an agent oriented programming language. Proper perception of the environment, by means of various types of sensors, and timely reaction to external events, by means of effective actuators, are essential to provide robots with a sufficient level of autonomy. The agent oriented programming paradigm is relevant with this respect because it offers language level abstractions to process events and to command actuators. A recent agent oriented programming language called Jadescript is presented in this paper together with its new features specifically designed to handle events. Exploratory experiments on a simple case study application are presented to show the validity of the proposed approach and to exemplify the use of the language to program autonomous robots.


Competitive Balance Theory Modeling conflict of interest in a heterogeneous network. The dynamics of networks on Heider balance theory moves toward reducing the tension by constantly reevaluating the interactions to achieve a state of balance. Conflict of interest, however, is inherent in most complex systems frequently, there are multiple ideals or states of balance, and moving towards one could work against another. In this paper, by introducing the competitive balance theory, we study the evolution of balance in the presence of conflicts of interest. In our model, the assumption is that different states of balance compete in the evolution process to dominate the system. We ask, whether, through these interactions, different states of balance compete to prevail their own ideals or a set of co existing ideals in a balanced condition is a possible outcome. The results show that although there is a symmetry in the type of balance, the system either evolves towards a symmetry breaking where one of the states of balance dominates the system, or, less frequently, the competing states of balance co exist in a jammed state.


Pursuing complex optical energy through Exceptional Points of Degeneracy (EPDs). We exploit balancing the complex optical energy between scattering and guiding states at contrived exceptional points of degeneracy in order to form an active waveguide without utilizing an active medium. This study reports peculiar engineering of first order dispersion on a pseudo Hermitian Hamiltonian system in which distributed Bragg grating tracks 0 th order of scattering phase shift. This is owing to the EDPs instigated by means of 1D perturbing PT symmetries in a planar photonic crystal. The coalescence of Bloch eigenstates occurs due to reverse amalgamation of modulated two terminal optical component whose gain and loss parameters depends on the direction of the light path. Then, we employed a 1D binary superlattice around a defect that undergoes both states, physical equilibrium (in the bound layer) and non equilibrium (in unbound layer), in chronological order. Then, recoupling optical energy to the underlying bound region compromises scattering phase shift in each sequence. This achievement is not only broadening the understanding of revolutionized quantum mechanics but also benefits technological principles of steering localization with high Q factors that are in huge demands of designing low threshold switching, optical tweezers, lasing and various types of optical elements in photonic integrated circuits.


Augmented virtual double categories. In this article the notion of virtual double category (also known as fc multicategory) is extended as follows. While cells in a virtual double category classically have a horizontal multi source and single horizontal target, the notion of augmented virtual double category introduced here extends the latter notion by including cells with empty horizontal target as well. Any augmented virtual double category comes with a built in notion of "locally small object" and we describe advantages of using augmented virtual double categories as a setting for formal category rather than 2 categories, which are classically equipped with a notion of "admissible object" by means of a yoneda structure in the sense of Street and Walters. An object is locally small precisely if it admits a horizontal unit, and we show that the notions of augmented virtual double category and virtual double category coincide in the presence of all horizontal units. Without assuming the existence of horizontal units we show that most of the basic theory for virtual double categories, such as that of restriction and composition of horizontal morphisms, extends to augmented virtual double categories. We introduce and study in augmented virtual double categories the notion of "pointwise" composition of horizontal morphisms, which formalises the classical composition of profunctors given by the coend formula.


Modeling Embedding Dimension Correlations via Convolutional Neural Collaborative Filtering. As the core of recommender system, collaborative filtering (CF) models the affinity between a user and an item from historical user item interactions, such as clicks, purchases, and so on. Benefited from the strong representation power, neural networks have recently revolutionized the recommendation research, setting up a new standard for CF. However, existing neural recommender models do not explicitly consider the correlations among embedding dimensions, making them less effective in modeling the interaction function between users and items. In this work, we emphasize on modeling the correlations among embedding dimensions in neural networks to pursue higher effectiveness for CF. We propose a novel and general neural collaborative filtering framework, namely ConvNCF, which is featured with two designs 1) applying outer product on user embedding and item embedding to explicitly model the pairwise correlations between embedding dimensions, and 2) employing convolutional neural network above the outer product to learn the high order correlations among embedding dimensions. To justify our proposal, we present three instantiations of ConvNCF by using different inputs to represent a user and conduct experiments on two real world datasets. Extensive results verify the utility of modeling embedding dimension correlations with ConvNCF, which outperforms several competitive CF methods.


Optimal Control of Hughes' Model for Pedestrian Flow via Local Attraction. We discuss the control of a human crowd whose dynamics is governed by a regularized version of Hughes' model, cf. Hughes A continuum theory for the flow of pedestrians. Transportation research part B methodological, 36 (2002). We assume that a finite number of agents act on the crowd and try to optimize their paths in a given time interval. The objective functional can be general and it can correspond, for instance, to the desire for fast evacuation or to maintain a single group of individuals. We provide an existence result for the forward model, study differentiability properties of the control to state map, establish the existence of a globally optimal control and formulate optimality conditions.


Kinetic Proofreading and the Limits of Thermodynamic Uncertainty. To mitigate errors induced by the cell's heterogeneous noisy environment, its main information channels and production networks utilize the kinetic proofreading (KPR) mechanism. Here, we examine two extensively studied KPR circuits, DNA replication by the T7 DNA polymerase and translation by the E. coli ribosome. Using experimental data, we analyze the performance of these two vital systems in light of the fundamental bounds set by the recently discovered thermodynamic uncertainty relation (TUR), which places an inherent trade off between the precision of a desirable output and the amount of energy dissipation required. We show that the DNA polymerase operates close to the TUR lower bound, while the ribosome operates sim5 times farther from this bound. This difference originates from the enhanced binding discrimination of the polymerase which allows it to operate effectively as a reduced reaction cycle prioritizing correct product formation. We show that approaching this limit also decouples the thermodynamic uncertainty factor from speed and error, thereby relaxing the accuracy speed trade off of the system. Altogether, our results show that operating near this reduced cycle limit not only minimizes thermodynamic uncertainty, but also results in global performance enhancement of KPR circuits.


The equations of nature and the nature of equations. Systems of N equations in N unknowns are ubiquitous in mathematical modeling. These systems, often nonlinear, are used to identify equilibria of dynamical systems in ecology, genomics, control, and many other areas. Structured systems, where the variables that are allowed to appear in each equation are pre specified, are especially common. For modeling purposes, there is a great interest in determining circumstances under which physical solutions exist, even if the coefficients in the model equations are only approximately known. The structure of a system of equations can be described by a directed graph G that reflects the dependence of one variable on another, and we can consider the family mathcal F (G) of systems that respect G . We define a solution X of F(X) 0 to be robust if for each continuous F sufficiently close to F , a solution X exists. Robust solutions are those that are expected to be found in real systems. There is a useful concept in graph theory called "cycle coverable". We show that if G is cycle coverable, then for "almost every" F in mathcal F (G) in the sense of prevalence, every solution is robust. Conversely, when G fails to be cycle coverable, each system F in mathcal F (G) has no robust solutions. Failure to be cycle coverable happens precisely when there is a configuration of nodes that we call a "bottleneck," a criterion that can be verified from the graph. A "bottleneck" is a direct extension of what ecologists call the Competitive Exclusion Principle, but we apply it to all structured systems.


Tracking Results and Utilization of Artificial Intelligence (tru AI) in Radiology Early Stage COVID 19 Pandemic Observations. Objective To introduce a method for tracking results and utilization of Artificial Intelligence (tru AI) in radiology. By tracking both large scale utilization and AI results data, the tru AI approach is designed to calculate surrogates for measuring important disease related observational quantities over time, such as the prevalence of intracranial hemorrhage during the COVID 19 pandemic outbreak. Methods To quantitatively investigate the clinical applicability of the tru AI approach, we analyzed service requests for automatically identifying intracranial hemorrhage (ICH) on head CT using a commercial AI solution. This software is typically used for AI based prioritization of radiologists' reading lists for reducing turnaround times in patients with emergent clinical findings, such as ICH or pulmonary embolism.We analyzed data of N 9,421 emergency setting non contrast head CT studies at a major US healthcare system acquired from November 1, 2019 through June 2, 2020, and compared two observation periods, namely (i) a pre pandemic epoch from November 1, 2019 through February 29, 2020, and (ii) a period during the COVID 19 pandemic outbreak, April 1 30, 2020. Results Although daily CT scan counts were significantly lower during (40.1 7.9) than before (44.4 7.6) the COVID 19 outbreak, we found that ICH was more likely to be observed by AI during than before the COVID 19 outbreak (p 0.05), with approximately one daily ICH case more than statistically expected. Conclusion Our results suggest that, by tracking both large scale utilization and AI results data in radiology, the tru AI approach can contribute clinical value as a versatile exploratory tool, aiming at a better understanding of pandemic related effects on healthcare.


A Pattern mining Driven Study on Differences of Newspapers in Expressing Temporal Information. This paper studies the differences between different types of newspapers in expressing temporal information, which is a topic that has not received much attention. Techniques from the fields of temporal processing and pattern mining are employed to investigate this topic. First, a corpus annotated with temporal information is created by the author. Then, sequences of temporal information tags mixed with part of speech tags are extracted from the corpus. The TKS algorithm is used to mine skip gram patterns from the sequences. With these patterns, the signatures of the four newspapers are obtained. In order to make the signatures uniquely characterize the newspapers, we revise the signatures by removing reference patterns. Through examining the number of patterns in the signatures and revised signatures, the proportion of patterns containing temporal information tags and the specific patterns containing temporal information tags, it is found that newspapers differ in ways of expressing temporal information.


Probabilistic and analytical properties of the last passage percolation constant in a weighted random directed graph. To each edge (i,j), i j of the complete directed graph on the integers we assign unit weight with probability p or weight x with probability 1 p, independently from edge to edge, and give to each path weight equal to the sum of its edge weights. If W x 0,n is the maximum weight of all paths from 0 to n then W x 0,n n to C p(x),as n to infty, almost surely, where C p(x) is positive and deterministic. We study C p(x) as a function of x, for fixed 0 p 1 and show that it is a strictly increasing convex function that is not differentiable if and only if x is a nonpositive rational or a positive integer except 1 or the reciprocal of it. We allow x to be any real number, even negative, or, possibly, infty. The case x infty corresponds to the well studied directed version of the Erd"os R'enyi random graph (known as Barak Erd"os graph) for which C p( infty) lim x to infty C p(x) has been studied as a function of p in a number of papers.


An inertial three operator splitting algorithm with applications to image inpainting. The three operators splitting algorithm is a popular operator splitting method for finding the zeros of the sum of three maximally monotone operators, with one of which is cocoercive operator. In this paper, we propose a class of inertial three operator splitting algorithm. The convergence of the proposed algorithm is proved by applying the inertial Krasnoselskii Mann iteration under certain conditions on the iterative parameters in real Hilbert spaces. As applications, we develop an inertial three operator splitting algorithm to solve the convex minimization problem of the sum of three convex functions, where one of them is differentiable with Lipschitz continuous gradient. Finally, we conduct numerical experiments on a constrained image inpainting problem with nuclear norm regularization. Numerical results demonstrate the advantage of the proposed inertial three operator splitting algorithms.


GraphFlow Exploiting Conversation Flow with Graph Neural Networks for Conversational Machine Comprehension. Conversational machine comprehension (MC) has proven significantly more challenging compared to traditional MC since it requires better utilization of conversation history. However, most existing approaches do not effectively capture conversation history and thus have trouble handling questions involving coreference or ellipsis. Moreover, when reasoning over passage text, most of them simply treat it as a word sequence without exploring rich semantic relationships among words. In this paper, we first propose a simple yet effective graph structure learning technique to dynamically construct a question and conversation history aware context graph at each conversation turn. Then we propose a novel Recurrent Graph Neural Network, and based on that, we introduce a flow mechanism to model the temporal dependencies in a sequence of context graphs. The proposed GraphFlow model can effectively capture conversational flow in a dialog, and shows competitive performance compared to existing state of the art methods on CoQA, QuAC and DoQA benchmarks. In addition, visualization experiments show that our proposed model can offer good interpretability for the reasoning process.


Discovering alignment relations with Graph Convolutional Networks a biomedical case study. Knowledge graphs are freely aggregated, published, and edited in the Web of data, and thus may overlap. Hence, a key task resides in aligning (or matching) their content. This task encompasses the identification, within an aggregated knowledge graph, of nodes that are equivalent, more specific, or weakly related. In this article, we propose to match nodes within a knowledge graph by (i) learning node embeddings with Graph Convolutional Networks such that similar nodes have low distances in the embedding space, and (ii) clustering nodes based on their embeddings, in order to suggest alignment relations between nodes of a same cluster. We conducted experiments with this approach on the real world application of aligning knowledge in the field of pharmacogenomics, which motivated our study. We particularly investigated the interplay between domain knowledge and GCN models with the two following focuses. First, we applied inference rules associated with domain knowledge, independently or combined, before learning node embeddings, and we measured the improvements in matching results. Second, while our GCN model is agnostic to the exact alignment relations (e.g., equivalence, weak similarity), we observed that distances in the embedding space are coherent with the strength'' of these different relations (e.g., smaller distances for equivalences), letting us considering clustering and distances in the embedding space as a means to suggest alignment relations in our case study.


Intrusion detection in computer systems by using artificial neural networks with Deep Learning approaches. Intrusion detection into computer networks has become one of the most important issues in cybersecurity. Attackers keep on researching and coding to discover new vulnerabilities to penetrate information security system. In consequence computer systems must be daily upgraded using up to date techniques to keep hackers at bay. This paper focuses on the design and implementation of an intrusion detection system based on Deep Learning architectures. As a first step, a shallow network is trained with labelled log in into a computer network data taken from the Dataset CICIDS2017. The internal behaviour of this network is carefully tracked and tuned by using plotting and exploring codes until it reaches a functional peak in intrusion prediction accuracy. As a second step, an autoencoder, trained with big unlabelled data, is used as a middle processor which feeds compressed information and abstract representation to the original shallow network. It is proven that the resultant deep architecture has a better performance than any version of the shallow network alone. The resultant functional code scripts, written in MATLAB, represent a re trainable system which has been proved using real data, producing good precision and fast response.


Coherent Interaction Graphs. We introduce the notion of coherent graphs, and show how those can be used to define dynamic semantics for Multiplicative Linear Logic (MLL) extended with non determinism. Thanks to the use of a coherence relation rather than mere formal sums of non deterministic possibilities, our model enjoys some finiteness and sparsity properties. We also show how studying the semantic types generated by a single "test" within our model of MLL naturally gives rise to a notion of proof net, which turns out to be exactly Retor 'e's R B cographs. This revisits the old idea that multplicative proof net correctness is interactive, with a twist types are characterized not by a set of counter proofs but by a single non deterministic counter proof.


Parameterized Complexity of Two Interval Pattern Problem. A emph 2 interval is the union of two disjoint intervals on the real line. Two 2 intervals D 1 and D 2 are emph disjoint if their intersection is empty (i.e., no interval of D 1 intersects any interval of D 2 ). There can be three different relations between two disjoint 2 intervals namely, preceding ( ), nested ( sqsubset ) and crossing ( between ). Two 2 intervals D 1 and D 2 are called emph R comparable for some R in , sqsubset, between , if either D 1RD 2 or D 2RD 1 . A set mathcal D of disjoint 2 intervals is mathcal R comparable, for some mathcal R subseteq , sqsubset, between and mathcal R neq emptyset , if every pair of 2 intervals in mathcal R are R comparable for some R in mathcal R . Given a set of 2 intervals and some mathcal R subseteq , sqsubset, between , the objective of the emph 2 interval pattern problem is to find a largest subset of 2 intervals that is mathcal R comparable. The 2 interval pattern problem is known to be W 1 hard when mathcal R 3 and NP hard when mathcal R 2 (except for mathcal R , sqsubset , which is solvable in quadratic time). In this paper, we fully settle the parameterized complexity of the problem by showing it to be W 1 hard for both mathcal R sqsubset, between and mathcal R , between (when parameterized by the size of an optimal solution) this answers an open question posed by Vialette Encyclopedia of Algorithms, 2008 .


IMEX Runge Kutta Parareal for Non Diffusive Equations. Parareal is a widely studied parallel in time method that can achieve meaningful speedup on certain problems. However, it is well known that the method typically performs poorly on non diffusive equations. This paper analyzes linear stability and convergence for IMEX Runge Kutta Parareal methods on non diffusive equations. By combining standard linear stability analysis with a simple convergence analysis, we find that certain Parareal configurations can achieve parallel speedup on non diffusive equations. These stable configurations all posses low iteration counts, large block sizes, and a large number of processors. Numerical examples using the nonlinear Schrodinger equation demonstrate the analytical conclusions.


Oscillatory attraction and repulsion from a subset of the unit sphere or hyperplane for isotropic stable L 'evy processes. Suppose that mathsf S is a closed set of the unit sphere mathbb S d 1 x in mathbb R d x 1 in dimension d geq2 , which has positive surface measure. We construct the law of absorption of an isotropic stable L 'evy process in dimension d geq2 conditioned to approach mathsf S continuously, allowing for the interior and exterior of mathbb S d 1 to be visited infinitely often. Additionally, we show that this process is in duality with the underlying stable L 'evy process. We can replicate the aforementioned results by similar ones in the setting that mathsf S is replaced by mathsf D , a closed bounded subset of the hyperplane x in mathbb R d (x, v) 0 with positive surface measure, where v is the unit orthogonal vector and where ( cdot, cdot ) is the usual Euclidean inner product. Our results complement similar results of the authors Kyprianou, Palau and Saizmaa (2020) in which the stable process was further constrained to attract to and repel from mathsf S from either the exterior or the interior of the unit sphere.


Error correcting Codes for Noisy Duplication Channels. Because of its high data density and longevity, DNA is emerging as a promising candidate for satisfying increasing data storage needs. Compared to conventional storage media, however, data stored in DNA is subject to a wider range of errors resulting from various processes involved in the data storage pipeline. In this paper, we consider correcting duplication errors for both exact and noisy tandem duplications of a given length k. An exact duplication inserts a copy of a substring of length k of the sequence immediately after that substring, e.g., ACGT to ACGACGT, where k 3, while a noisy duplication inserts a copy suffering from substitution noise, e.g., ACGT to ACGATGT. Specifically, we design codes that can correct any number of exact duplication and one noisy duplication errors, where in the noisy duplication case the copy is at Hamming distance 1 from the original. Our constructions rely upon recovering the duplication root of the stored codeword. We characterize the ways in which duplication errors manifest in the root of affected sequences and design efficient codes for correcting these error patterns. We show that the proposed construction is asymptotically optimal, in the sense that it has the same asymptotic rate as optimal codes correcting exact duplications only.


Bookworm continual learning beyond zero shot learning and continual learning. We propose bookworm continual learning(BCL), a flexible setting where unseen classes can be inferred via a semantic model, and the visual model can be updated continually. Thus BCL generalizes both continual learning (CL) and zero shot learning (ZSL). We also propose the bidirectional imagination (BImag) framework to address BCL where features of both past and future classes are generated. We observe that conditioning the feature generator on attributes can actually harm the continual learning ability, and propose two variants (joint class attribute conditioning and asymmetric generation) to alleviate this problem.


Radius of comparison and mean cohomological independence dimension. We introduce a notion of mean cohomological independence dimension for actions of discrete amenable groups on compact metrizable spaces, as a variant of mean dimension, and use it to obtain lower bounds for the radius of comparison of the associated crossed product C algebras. Our general theory gives the following for the minimal subshifts constructed by Dou in 2017. Let G be a countable amenable group, let Z be a polyhedron, and let T be Dou's subshift of Z G (which also depends on a density parameter). Then the radius of comparison of the crossed product is greater than r (1 2) mdim (T) 2, in which r depends on the density parameter and is close to 1 when the density parameter is close to 1. If Z is even dimensional and has nonvanishing rational cohomology in degree dim (Z), then the radius of comparison of the crossed product is greater than (1 2) mdim (T) 1, regardless of what the density parameter is.


A Novel Self Supervised Re labeling Approach for Training with Noisy Labels. The major driving force behind the immense success of deep learning models is the availability of large datasets along with their clean labels. Unfortunately, this is very difficult to obtain, which has motivated research on the training of deep models in the presence of label noise and ways to avoid over fitting on the noisy labels. In this work, we build upon the seminal work in this area, Co teaching and propose a simple, yet efficient approach termed mCT S2R (modified co teaching with self supervision and re labeling) for this task. First, to deal with significant amount of noise in the labels, we propose to use self supervision to generate robust features without using any labels. Next, using a parallel network architecture, an estimate of the clean labeled portion of the data is obtained. Finally, using this data, a portion of the estimated noisy labeled portion is re labeled, before resuming the network training with the augmented data. Extensive experiments on three standard datasets show the effectiveness of the proposed framework.


Methods to Estimate Surface Roughness Length for Offshore Wind Energy. The northeastern coast of the U.S. is projected to expand its offshore wind capacity from the existing 30 MW to over 22 GW in the next decade. Yet, only a few wind measurements are available in the region and none at hub height, thus extrapolations are needed to estimate wind speed as a function of height. A common method is the log law, which is based on surface roughness length (z0). No reliable estimates of z0 for the region have been presented in the literature. Here, we fill this knowledge gap using two field campaigns that were conducted in the Nantucket Sound at the Cape Wind (CW) platform. We tested three different methods to calculate z0 1) analytical, dependent on friction velocity u and a stability function psi 2) the Charnock relationship between z0 and u and 3) a statistical method based on wind speed observed at the three levels. The first two methods are physical, whereas the statistical method is purely mathematical. Comparing mean and median of z0, we find that the median is a more robust statistics. In general, the median z0 exhibits little seasonal variability and a weak dependency on atmospheric stability, which was predominantly unstable (54 67 ). The statistical method, despite delivering unrealistic z0 values at times, gives the best estimates of 60 m winds. The unrealistic z0 values are caused by non monotonic wind speed profiles, occurring about 41 of the time, and should not be rejected because they produce realistic fits. In summary, if wind speed data from multiple levels are available, the statistical method is recommended. If multi level wind speeds are not available but advanced sonic anemometry is available at one level, the analytical method is recommended over the Charnock's. If a constant value of z0 is sought after to characterize the region, we recommend the median from the statistical method, i.e., 6.09 10 ( 3) m.


Directed FCFS Infinite Bipartite Matching. We consider an infinite sequence consisting of agents of several types and goods of several types, with a bipartite compatibility graph between agent and good types. Goods are matched with agents that appear earlier in the sequence using FCFS matching, if such are available, and are lost otherwise. This model may be used for two sided queueing applications such as ride sharing, web purchases, organ transplants, and for abandon at completion redundancy parallel service queues. For this model we calculate matching rates and delays. These can be used to obtain waiting times and help with design questions for related service systems. We explore some relations of this model to other FCFS stochastic matching models.


Unified Multi Modal Landmark Tracking for Tightly Coupled Lidar Visual Inertial Odometry. We present an efficient multi sensor odometry system for mobile platforms that jointly optimizes visual, lidar, and inertial information within a single integrated factor graph. This runs in real time at full framerate using fixed lag smoothing. To perform such tight integration, a new method to extract 3D line and planar primitives from lidar point clouds is presented. This approach overcomes the suboptimality of typical frame to frame tracking methods by treating the primitives as landmarks and tracking them over multiple scans. True integration of lidar features with standard visual features and IMU is made possible using a subtle passive synchronization of lidar and camera frames. The lightweight formulation of the 3D features allows for real time execution on a single CPU. Our proposed system has been tested on a variety of platforms and scenarios, including underground exploration with a legged robot and outdoor scanning with a dynamically moving handheld device, for a total duration of 96 min and 2.4 km traveled distance. In these test sequences, using only one exteroceptive sensor leads to failure due to either underconstrained geometry (affecting lidar) or textureless areas caused by aggressive lighting changes (affecting vision). In these conditions, our factor graph naturally uses the best information available from each sensor modality without any hard switches.


Sources of Transfer in Multilingual Named Entity Recognition. Named entities are inherently multilingual, and annotations in any given language may be limited. This motivates us to consider polyglot named entity recognition (NER), where one model is trained using annotated data drawn from more than one language. However, a straightforward implementation of this simple idea does not always work in practice naive training of NER models using annotated data drawn from multiple languages consistently underperforms models trained on monolingual data alone, despite having access to more training data. The starting point of this paper is a simple solution to this problem, in which polyglot models are fine tuned on monolingual data to consistently and significantly outperform their monolingual counterparts. To explain this phenomena, we explore the sources of multilingual transfer in polyglot NER models and examine the weight structure of polyglot models compared to their monolingual counterparts. We find that polyglot models efficiently share many parameters across languages and that fine tuning may utilize a large number of those parameters.


Mode Converting Alfv ' e n Waves from Magnetic Reconnection Enhancing the Energy Source for the Aurora Borealis. Previous studies have concluded that the Hall magnetic field structures generated during magnetic reconnection are carried away by kinetic Alfv ' e n waves (KAW). Here we apply a kinetic simulation with an ion electron mass ratio closer to its natural value and find that much reduced damping rates permit the KAW to convert into shear Alfv ' e n waves (SAW). For magnetotail reconnection these SAW provides efficient transport of wave energy, enhancing the energy input for the Aurora Borealis by orders of magnitude above previous estimates.


Divergence preserving reconstructions on polygons and a really pressure robust virtual element method for the Stokes problem. Non divergence free discretisations for the incompressible Stokes problem may suffer from a lack of pressure robustness characterised by large discretisations errors due to irrotational forces in the momentum balance. This paper argues that also divergence free virtual element methods (VEM) on polygonal meshes are not really pressure robust as long as the right hand side is not discretised in a careful manner. To be able to evaluate the right hand side for the test functions, some explicit interpolation of the virtual test functions is needed that can be evaluated pointwise everywhere. The standard discretisation via an L 2 best approximation does not preserve the divergence and so destroys the orthogonality between divergence free test functions and possibly eminent gradient forces in the right hand side. To repair this orthogonality and restore pressure robustness another divergence preserving reconstruction is suggested based on Raviart Thomas approximations on local subtriangulations of the polygons. All findings are proven theoretically and are demonstrated numerically in two dimensions. The construction is also interesting for hybrid high order methods on polygonal or polyhedral meshes.


On geometric Brauer groups and Tate Shafarevich groups. Let X be a smooth projective variety over a finitely generated field K of characteristic p 0 . We proved that the finiteness of the ell primary part of mathrm Br (X K s ) G K for a single prime ell neq p will imply the finiteness of the prime to p part of mathrm Br (X K s ) G K , generalizing a theorem of Tate and Lichtenbaum for varieties over finite fields. For an abelian variety A over K , we proved a similar result for the Tate Shafarevich group of A , generalizing a theorem of Schneider for abelian varieties over global function fields.


BlockSim Net A Network Based Blockchain Simulator. Since its proposal by Eyal and Sirer (CACM '13), selfish mining attack on proof of work blockchains has been studied extensively in terms of both improving its impact and defending against it. Before any defense is deployed in a real world blockchain system, it needs to be tested for security and dependability. However, real blockchain systems are too complex to conduct any test on or benchmark the developed protocols. Some simulation environments have been proposed recently, such as BlockSim (Maher et al., '20). However, BlockSim is developed for the simulation of an entire network on a single CPU. Therefore, it is insufficient to capture the essence of a real blockchain network, as it is not distributed and the complications such as propagation delays that occur in reality cannot be simulated realistically enough. In this work, we propose BlockSim Net, a simple, efficient, high performance, network based blockchain simulator, to better reflect reality.


Gromov Witten classes of K3 surfaces. We study the cycle valued reduced Gromov Witten theory of a nonsingular projective K3 surface. For primitive curve classes, we prove that the correspondence induced by the reduced virtual fundamental class respects the tautological rings. Our proof uses monodromy over the moduli space of K3 surfaces, degeneration formulae and virtual localization. As a consequence of the monodromy argument, we verify an invariance property for Gromov Witten invariants of K3 surfaces in primitive curve class conjectured by Oberdieck Pandharipande.


Counting degree constrained subgraphs and orientations. The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a d regular graph on n vertices with even d is at least left( frac binom d d 2 2 d 2 right) n . We also show that a d regular graph with even d has always at least as many Eulerian orientations as (d 2) regular subgraphs.


On the order of magnitude of Sudler products. Given an irrational number alpha in(0,1) , the Sudler product is defined by P N( alpha) prod r 1 N 2 sin pi r alpha . Answering a question of Grepstad, Kaltenb "ock and Neum "uller we prove an asymptotic formula for distorted Sudler products when alpha is the golden ratio ( sqrt 5 1) 2 and establish that in this case limsup N to infty P N( alpha) N infty . We obtain similar results for quadratic irrationals alpha with continued fraction expansion alpha a,a,a, dots for some integer a geq 1 , and give a full characterization of the values of a for which liminf N to infty P N( alpha) 0 and limsup N to infty P N( alpha) N infty hold, respectively. We establish that there is a (sharp) transition point at a 6 , and resolve as a by product a problem of the first named author, Larcher, Pillichshammer, Saad Eddin, and Tichy.


Joint Group Feature Selection and Discriminative Filter Learning for Robust Visual Object Tracking. We propose a new Group Feature Selection method for Discriminative Correlation Filters (GFS DCF) based visual object tracking. The key innovation of the proposed method is to perform group feature selection across both channel and spatial dimensions, thus to pinpoint the structural relevance of multi channel features to the filtering system. In contrast to the widely used spatial regularisation or feature selection methods, to the best of our knowledge, this is the first time that channel selection has been advocated for DCF based tracking. We demonstrate that our GFS DCF method is able to significantly improve the performance of a DCF tracker equipped with deep neural network features. In addition, our GFS DCF enables joint feature selection and filter learning, achieving enhanced discrimination and interpretability of the learned filters. To further improve the performance, we adaptively integrate historical information by constraining filters to be smooth across temporal frames, using an efficient low rank approximation. By design, specific temporal spatial channel configurations are dynamically learned in the tracking process, highlighting the relevant features, and alleviating the performance degrading impact of less discriminative representations and reducing information redundancy. The experimental results obtained on OTB2013, OTB2015, VOT2017, VOT2018 and TrackingNet demonstrate the merits of our GFS DCF and its superiority over the state of the art trackers. The code is publicly available at https github.com XU TIANYANG GFS DCF.


Quantifying Voter Biases in Online Platforms An Instrumental Variable Approach. In content based online platforms, use of aggregate user feedback (say, the sum of votes) is commonplace as the "gold standard" for measuring content quality. Use of vote aggregates, however, is at odds with the existing empirical literature, which suggests that voters are susceptible to different biases reputation (e.g., of the poster), social influence (e.g., votes thus far), and position (e.g., answer position). Our goal is to quantify, in an observational setting, the degree of these biases in online platforms. Specifically, what are the causal effects of different impression signals such as the reputation of the contributing user, aggregate vote thus far, and position of content on a participant's vote on content? We adopt an instrumental variable (IV) framework to answer this question. We identify a set of candidate instruments, carefully analyze their validity, and then use the valid instruments to reveal the effects of the impression signals on votes. Our empirical study using log data from Stack Exchange websites shows that the bias estimates from our IV approach differ from the bias estimates from the ordinary least squares (OLS) method. In particular, OLS underestimates reputation bias (1.6 2.2x for gold badges) and position bias (up to 1.9x for the initial position) and overestimates social influence bias (1.8 2.3x for initial votes). The implications of our work include redesigning user interface to avoid voter biases making changes to platforms' policy to mitigate voter biases detecting other forms of biases in online platforms.


The Bike Sharing Problem. Assume that m geq 1 autonomous mobile agents and 0 leq b leq m single agent transportation devices (called em bikes ) are initially placed at the left endpoint 0 of the unit interval 0,1 . The agents are identical in capability and can move at speed one. The bikes cannot move on their own, but any agent riding bike i can move at speed v i 1 . An agent may ride at most one bike at a time. The agents can cooperate by sharing the bikes an agent can ride a bike for a time, then drop it to be used by another agent, and possibly switch to a different bike. We study two problems. In the BS problem, we require all agents and bikes starting at the left endpoint of the interval to reach the end of the interval as soon as possible. In the RBS problem, we aim to minimize the arrival time of the agents the bikes can be used to increase the average speed of the agents, but are not required to reach the end of the interval. Our main result is the construction of a polynomial time algorithm for the BS problem that creates an arrival time optimal schedule for travellers and bikes to travel across the interval. For the RBS problem, we give an algorithm that gives an optimal solution for the case when at most one of the bikes can be abandoned.


Coordinated Coverage and Fault Tolerance using Fixed Wing Unmanned Aerial Vehicles. This paper presents an approach for deploying and maintaining a fleet of homogeneous fixed wing unmanned aerial vehicles (UAVs) for all time coverage of an area. Two approaches for loiter circle packing have been presented square and hexagon packing, and the benefits of hexagon packing for minimizing the number of deployed UAVs have been shown. Based on the number of UAVs available and the desired loitering altitude, the proposed algorithm solves an optimization problem to calculate the centres of the loitering circles and the loitering radius for that altitude. The algorithm also incorporates fault recovery capacity in case of simultaneous multiple UAV failures. These failures could form clusters of survivor (active) UAVs over the area with no overall survivor information. The algorithm deploys a super agent with a larger communication capacity at a higher altitude to recover from the failure. The super agent collects the information of survivors, and updates the homogeneous radius and the locations of the loitering circles at the same altitude to restore the full coverage. The individual survivor UAVs are then informed and transit to the new loitering circles using Dubin's paths. The relationship with the extent of recoverable loss fractions of the deployed UAVs have been analysed for varying the initial loiter radii. Simulation results have been presented to demonstrate the applicability of the approach and compare the two presented packing approaches.


Minimal graphs with disjoint dominating and paired dominating sets. A subset D subseteq V G is a dominating set of G if every vertex in V G D has a neighbor in D , while D is a paired dominating set of G if D is a dominating set and the subgraph induced by D contains a perfect matching. A graph G is a D !P !D !P graph if it has a pair (D,P) of disjoint sets of vertices of G such that D is a dominating set and P is a paired dominating set of G . The study of the D !P !D !P graphs was initiated by Southey and Henning (Cent. Eur. J. Math. 8 (2010) 459 467 J. Comb. Optim. 22 (2011) 217 234). In this paper, we provide conditions which ensure that a graph is a D !P !D !P graph. In particular, we characterize the minimal D !P !D !P graphs.


Quantitative Stability and Error Estimates for Optimal Transport Plans. Optimal transport maps and plans between two absolutely continuous measures mu and nu can be approximated by solving semi discrete or fully discrete optimal transport problems. These two problems ensue from approximating mu or both mu and nu by Dirac measures. Extending an idea from Gigli, On H "older continuity in time of the optimal transport map towards measures along a curve , we characterize how transport plans change under perturbation of both mu and nu . We apply this insight to prove error estimates for semi discrete and fully discrete algorithms in terms of errors solely arising from approximating measures. We obtain weighted L 2 error estimates for both types of algorithms with a convergence rate O(h 1 2 ) . This coincides with the rate in Berman, Convergence rates for discretized Monge Amp ere equations and quantitative stability of Optimal Transport, Theorem 5.4 for semi discrete methods, but the error notion is different.


Electt running auditable and verifiable elections in untrusted environments. We present a system for running auditable and verifiable elections in untrusted environments. Votes are anonymous since the order of candidates on a ballot sheet is random. Tellers see only the position of the candidate. Voters can check their vote. An election is auditable using blockchain log. Threshold encryption, which is used to implement the quorum, prevents a deadlock from occurring if a minority of candidates or observers tries to sabotage the election. Candidates and observers can indicate that the election was free and fair by exposing their keys, which are used by the system to decrypt each vote. Ballot sheets are encrypted by onion routing, which has a layer with the key of the election instance, so it's impossible for a quorum to decode the results before they have announced their decision by exposing their keys. A register of voters ensures that only verified voters can vote without compromising their identity. If there any doubts about the identity of a voter, their vote can be excluded from the election, if a quorum agrees. This system is designed to scale from one instance to a distributed system that runs over an unlimited number of instances, which can be achieved using cloud instances or smartphones belonging to voters or tellers.