Specification for Group Actions on Uniform Spaces. We extend specification and periodic specification to finitely generated group actions on uniform spaces using a concept of specification point. We prove that certain group actions having two distinct specification points have positive entropy. We further prove that if a group containing an infinite order element acts on an infinite Hausdorff uniform space and the action possesses periodic specification, then it is Devaney chaotic.


Improved Protein ligand Binding Affinity Prediction with Structure Based Deep Fusion Inference. Predicting accurate protein ligand binding affinity is important in drug discovery but remains a challenge even with computationally expensive biophysics based energy scoring methods and state of the art deep learning approaches. Despite the recent advances in the deep convolutional and graph neural network based approaches, the model performance depends on the input data representation and suffers from distinct limitations. It is natural to combine complementary features and their inference from the individual models for better predictions. We present fusion models to benefit from different feature representations of two neural network models to improve the binding affinity prediction. We demonstrate effectiveness of the proposed approach by performing experiments with the PDBBind 2016 dataset and its docking pose complexes. The results show that the proposed approach improves the overall prediction compared to the individual neural network models with greater computational efficiency than related biophysics based energy scoring functions. We also discuss the benefit of the proposed fusion inference with several example complexes. The software is made available as open source at https github.com llnl fast.


Interpretable Multi dataset Evaluation for Named Entity Recognition. With the proliferation of models for natural language processing tasks, it is even harder to understand the differences between models and their relative merits. Simply looking at differences between holistic metrics such as accuracy, BLEU, or F1 does not tell us why or how particular methods perform differently and how diverse datasets influence the model design choices. In this paper, we present a general methodology for interpretable evaluation for the named entity recognition (NER) task. The proposed evaluation method enables us to interpret the differences in models and datasets, as well as the interplay between them, identifying the strengths and weaknesses of current systems. By making our analysis tool available, we make it easy for future researchers to run similar analyses and drive progress in this area https github.com neulab InterpretEval.


Validating IP Prefixes and AS Paths with Blockchains. Networks (Autonomous Systems AS) allocate or revoke IP prefixes with the intervention of official Internet resource number authorities, and select and advertise policy compliant paths towards these prefixes using the inter domain routing system and its primary enabler, the Border Gateway Protocol (BGP). Securing BGP has been a long term objective of several research and industrial efforts during the last decades, that have culminated in the Resource Public Key Infrastructure (RPKI) for the cryptographic verification of prefix to AS assignments. However, there is still no widely adopted solution for securing IP prefixes and the (AS )paths leading to them approaches such as BGPsec have seen minuscule deployment. In this work, we design and implement a Blockchain based system that (i) can be used to validate both of these resource types, (ii) can work passively and does not require any changes in the inter domain routing system (BGP, RPKI), and (iii) can be combined with currently available systems for the detection and mitigation of routing attacks. We present early results and insights w.r.t. scalability.


An algebraic representation of globular sets. We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric R coalgebras when R is an integral domain. This embedding is a lift of the usual functor of R chains and the extra structure consists of a derived form of cup coproduct. Additionally, we construct a functor from group like counital cosymmetric mbox R coalgebras to omega categories and use it to connect two fundamental constructions associated to oriented simplices Steenrod's cup i coproducts and Street's orientals. The first defines the square operations in the cohomology of spaces, the second, the nerve of higher dimensional categories.


Sub matrix summability of sequence of sets. The main purpose of this paper is to introduce the concepts of Wijsman C lambda statistical convergence, Wijsman C lambda summability and Wijsman mathcal I C lambda summability for sequence of sets by using submethod. Also, we establish some relations among the Wijsman C lambda summability, Wijsman D lambda summability and Wijsman C 1 summability. Finally, we have given some equivalence results for these concepts.


MSDU net A Multi Scale Dilated U net for Blur Detection. Blur detection is the separation of blurred and clear regions of an image, which is an important and challenging task in computer vision. In this work, we regard blur detection as an image segmentation problem. Inspired by the success of the U net architecture for image segmentation, we design a Multi Scale Dilated convolutional neural network based on U net, which we call MSDU net. The MSDU net uses a group of multi scale feature extractors with dilated convolutions to extract texture information at different scales. The U shape architecture of the MSDU net fuses the different scale texture features and generates a semantic feature which allows us to achieve better results on the blur detection task. We show that using the MSDU net we are able to outperform other state of the art blur detection methods on two publicly available benchmarks.


Ontology of Card Sleights. We present a machine readable movement writing for sleight of hand moves with cards a "Labanotation of card magic." This scheme of movement writing contains 440 categories of motion, and appears to taxonomize all card sleights that have appeared in over 1500 publications. The movement writing is axiomatized in mathcal SROIQ (D) Description Logic, and collected formally as an Ontology of Card Sleights, a computational ontology that extends the Basic Formal Ontology and the Information Artifact Ontology. The Ontology of Card Sleights is implemented in OWL DL, a Description Logic fragment of the Web Ontology Language. While ontologies have historically been used to classify at a less granular level, the algorithmic nature of card tricks allows us to transcribe a performer's actions step by step. We conclude by discussing design criteria we have used to ensure the ontology can be accessed and modified with a simple click and drag interface. This may allow database searches and performance transcriptions by users with card magic knowledge, but no ontology background.


LaSOT A High quality Large scale Single Object Tracking Benchmark. Despite great recent advances in visual tracking, its further development, including both algorithm design and evaluation, is limited due to lack of dedicated large scale benchmarks. To address this problem, we present LaSOT, a high quality Large scale Single Object Tracking benchmark. LaSOT contains a diverse selection of 85 object classes, and offers 1,550 totaling more than 3.87 million frames. Each video frame is carefully and manually annotated with a bounding box. This makes LaSOT, to our knowledge, the largest densely annotated tracking benchmark. Our goal in releasing LaSOT is to provide a dedicated high quality platform for both training and evaluation of trackers. The average video length of LaSOT is around 2,500 frames, where each video contains various challenge factors that exist in real world video footage,such as the targets disappearing and re appearing. These longer video lengths allow for the assessment of long term trackers. To take advantage of the close connection between visual appearance and natural language, we provide language specification for each video in LaSOT. We believe such additions will allow for future research to use linguistic features to improve tracking. Two protocols, full overlap and one shot, are designated for flexible assessment of trackers. We extensively evaluate 48 baseline trackers on LaSOT with in depth analysis, and results reveal that there still exists significant room for improvement. The complete benchmark, tracking results as well as analysis are available at http vision.cs.stonybrook.edu lasot .


On Evans' and Choquet's theorems on polar sets. By classical results of G.C. Evans and G. Choquet on "good kernels G in potential theory", for every polar K sigma set P , there exists a finite measure mu on P such that G mu infty on P , and a set P admits a finite measure mu on P such that G mu infty P if and only if P is a polar G delta set. A known application of Evans' theorem yields the solutions of the generalized Dirichlet problem for open sets by the Perron Wiener Brelot method using only harmonic upper and lower functions. In this note it is shown that, by elementary "metric" considerations and without using any potential theory, such results can be obtained for general kernels G satisfying a local triangle property. The particular case, G(x,y) x y alpha d on R d , 2 alpha d , solves a long standing open problem.


Dynamical Primal Dual Accelerated Method with Applications to Network Optimization. This paper develops a continuous time primal dual accelerated method with an increasing damping coefficient for a class of convex optimization problems with affine equality constraints. This paper analyzes critical values for parameters in the proposed method and prove that the rate of convergence in terms of the duality gap function is O( tfrac 1 t 2 ) by choosing suitable parameters. As far as we know, this is the first continuous time primal dual accelerated method that can obtain the optimal rate. Then this work applies the proposed method to two network optimization problems, a distributed optimization problem with consensus constraints and a distributed extended monotropic optimization problem, and obtains two variant distributed algorithms. Finally, numerical simulations are given to demonstrate the efficacy of the proposed method.


Contributions of Talent, Perspective, Context and Luck to Success. We propose a controlled simulation within a competitive sum zero environment as a proxy for disaggregating components of success. Given a simulation of the Risk board game, we consider (a) Talent to be one of three rule based strategies used by players (b) Context as the setting of each run of the game with opponents' strategies, goals and luck and (c) Perspective as the objective of each player. Success is attained when a first player conquers its goal. We simulate 100,000 runs of an agent based model and analyze the results. The simulation results strongly suggest that luck, talent and context are all relevant to determine success. Perspective as the description of the goal that defines success is not. As such, we present a quantitative, reproducible environment in which we are able to significantly separate the concepts, reproducing previous results of the literature and adding arguments for context and perspective. Finally, we also find that the simulation offers insights on the relevance of resilience and opportunity.


LiveChess2FEN a Framework for Classifying Chess Pieces based on CNNs. Automatic digitization of chess games using computer vision is a significant technological challenge. This problem is of much interest for tournament organizers and amateur or professional players to broadcast their over the board (OTB) games online or analyze them using chess engines. Previous work has shown promising results, but the recognition accuracy and the latency of state of the art techniques still need further enhancements to allow their practical and affordable deployment. We have investigated how to implement them on an Nvidia Jetson Nano single board computer effectively. Our first contribution has been accelerating the chessboard's detection algorithm. Subsequently, we have analyzed different Convolutional Neural Networks for chess piece classification and how to map them efficiently on our embedded platform. Notably, we have implemented a functional framework that automatically digitizes a chess position from an image in less than 1 second, with 92 accuracy when classifying the pieces and 95 when detecting the board.


Claraprint a chord and melody based fingerprint for western classical music cover detection. Cover song detection has been an active field in the Music Information Retrieval (MIR) community during the past decades. Most of the research community focused in solving it for a wide range of music genres with diverse characteristics. Western classical music, a genre heavily based on the recording of "cover songs", or musical works, represents a large heritage, offering immediate application for an efficient fingerprint algorithm. We propose an engineering approach for retrieving a cover song from a reference database thanks to a fingerprint designed for classical musical works. We open a new data set to encourage the scientific community to use it for further researches regarding this genre.


Coarse and Fine grained Attention Network with Background aware Loss for Crowd Density Map Estimation. In this paper, we present a novel method Coarse and Fine grained Attention Network (CFANet) for generating high quality crowd density maps and people count estimation by incorporating attention maps to better focus on the crowd area. We devise a from coarse to fine progressive attention mechanism by integrating Crowd Region Recognizer (CRR) and Density Level Estimator (DLE) branch, which can suppress the influence of irrelevant background and assign attention weights according to the crowd density levels, because generating accurate fine grained attention maps directly is normally difficult. We also employ a multi level supervision mechanism to assist the backpropagation of gradient and reduce overfitting. Besides, we propose a Background aware Structural Loss (BSL) to reduce the false recognition ratio while improving the structural similarity to groundtruth. Extensive experiments on commonly used datasets show that our method can not only outperform previous state of the art methods in terms of count accuracy but also improve the image quality of density maps as well as reduce the false recognition ratio.


Dynamic Image for 3D MRI Image Alzheimer's Disease Classification. We propose to apply a 2D CNN architecture to 3D MRI image Alzheimer's disease classification. Training a 3D convolutional neural network (CNN) is time consuming and computationally expensive. We make use of approximate rank pooling to transform the 3D MRI image volume into a 2D image to use as input to a 2D CNN. We show our proposed CNN model achieves 9.5 better Alzheimer's disease classification accuracy than the baseline 3D models. We also show that our method allows for efficient training, requiring only 20 of the training time compared to 3D CNN models. The code is available online https github.com UkyVision alzheimer project.


A Simple Electrostatic Model for the Hard Sphere Solute Component of Nonpolar Solvation. We propose a new model for estimating the free energy of forming a molecular cavity in a solvent, by assuming this energy is dominated by the electrostatic energy associated with creating the static (interface) potential inside the cavity. The new model approximates the cavity formation energy as that of a shell capacitor the inner, solute shaped conductor is held at the static potential, and the outer conductor (at the first solvation shell) is held at zero potential. Compared to cavity energies computed using free energy pertubation with explicit solvent molecular dynamics, the new model exhibits surprising accuracy (Mobley test set, RMSE 0.45 kcal mol). Combined with a modified continuum model for solute solvent van der Waals interactions, the total nonpolar model has RMSE of 0.55 kcal mol on this test set, which is remarkable because the two terms largely cancel. The overall nonpolar model has a small number of physically meaningful parameters and compares favorably to other published models of nonpolar solvation. Finally, when the proposed nonpolar model is combined with our solvation layer interface condition (SLIC) continuum electrostatic model, which includes asymmetric solvation shell response, we predict solvation free energies with an RMS error of 1.35 kcal mol relative to experiment, comparable to the RMS error of explicit solvent FEP (1.26 kcal mol). Moreover, all parameters in our model have a clear physical meaning, and employing reasonable temperature dependencies yields remarkable correlation with solvation entropies.


Structural Parameterizations of Tracking Paths Problem. Given a graph G with source and destination vertices s,t in V(G) respectively, textsc Tracking Paths asks for a minimum set of vertices T subseteq V(G) , such that the sequence of vertices encountered in each simple path from s to t is unique. The problem was proven textsc NP hard cite tr j and was found to admit a quadratic kernel when parameterized by the size of the desired solution cite quadratic . Following recent trends, for the first time, we study textsc Tracking Paths with respect to structural parameters of the input graph, parameters that measure how far the input graph is, from an easy instance. We prove that textsc Tracking Paths admits fixed parameter tractable ( textsc FPT ) algorithms when parameterized by the size of vertex cover, and the size of cluster vertex deletion set for the input graph.


Multi Connectivity in 5G terrestrial Satellite Networks the 5G ALLSTAR Solution. The 5G ALLSTAR project is aimed at integrating Terrestrial and Satellite Networks for satisfying the highly challenging and demanding requirements of the 5G use cases. The integration of the two networks is a key feature to assure the service continuity in challenging communication situations (e.g., emergency cases, marine, railway, etc.) by avoiding service interruptions. The 5G ALLSTAR project proposes to develop Multi Connectivity (MC) solutions in order to guarantee network reliability and improve the throughput and latency for each connection between User Equipment (UE) and network. In the 5G ALLSTAR vision, we divide the gNB in two entities 1) gNB CU (Centralized Unit) and 2) gNB DU (Distributed Unit) The gNB CU integrates an innovative Traffic Flow Control algorithm able to optimize the network resources by coordinating the controlled gNB DUs resources, while implementing MC solutions. The MC permits to connect each UE with simultaneous multiple access points (even different radio access technologies). This solution leads to have independent gNB DU s that contain the RLC, MAC and PHY layers. The 5G ALLSTAR MC algorithms offer advanced functionalities to RRC layer (in the gNB CU) that is, in turn, able to set up the SDAP, the PDCP and the lower layers in gNB DU. In this regard, the AI based MC algorithms, implemented in gNB CU, by considering the network performances in the UE surrounding environment as well as the UE QoS requirements, will dynamically select the most promising access points able to guarantee the fulfilment of the requirements also enabling the optimal traffic splitting to cope with the connection reliability. In this paper, we present also an innovative AI based framework, included within the Traffic Flow Control, able to address the MC objectives, by implementing a Reinforcement Learning algorithm in charge of solving the network control problem.


Inverse source problem and the continuation for a fourth order parabolic equation in general dimensions. In this article, for a fourth order parabolic equation which is closely related for example to the Cahn Hilliard equation, we study an inverse source problem by interior data and the continuation of solution from lateral Cauchy data. Our method relies on a Carleman estimate and proves conditional stability for both problems.


L p cohomology, heat semigroup and stratified spaces. Let (M,g) be an incomplete Riemannian manifold of finite volume and let 2 leq p infty . In the first part of this paper we prove that under certain assumptions the inclusion of the space of L p differential forms into that of L 2 differential forms gives rise to an injective surjective map between the corresponding L p and L 2 cohomology groups. Then in the second part we provide various applications of these results to the curvature and the intersection cohomology of compact Thom Mather stratified pseudomanifolds and complex projective varieties with only isolated singularities.


On a novel approach for modeling liquid crystalline flows. In this paper, we derive a new model for the description of liquid crystalline flows. While microscopic Doi type models suffer from the high dimensionality of the underlying product space, the more macroscopic Ericksen Leslie type models describe only the long time behavior of the flow and are valid only close to equilibrium. By applying an energetic variational approach, we derive a new macroscopic model which shall provide an improved description far from equilibrium. The novelty of our approach lies in the way the energy is minimized. Distinguishing between the velocities of particles and fluid allows us to define the energy dissipation not in terms of chemical potentials but in terms of friction induced by the discrepancies in the considered velocities. We conclude this publication by establishing the existence of weak solutions to the newly derived model.


Pixelation is NOT Done in Videos Yet. This paper introduces an algorithm to protect the privacy of individuals in streaming video data by blurring faces such that face cannot be reliably recognized. This thwarts any possible face recognition, but because all facial details are obscured, the result is of limited use. We propose a new clustering algorithm to create raw trajectories for detected faces. Associating faces across frames to form trajectories, it auto generates cluster number and discovers new clusters through deep feature and position aggregated affinities. We introduce a Gaussian Process to refine the raw trajectories. We conducted an online experiment with 47 participants to evaluate the effectiveness of face blurring compared to the original photo (as is), and users' experience (satisfaction, information sufficiency, enjoyment, social presence, and filter likeability)


Comparative study of the real time optical trapping in the Rayleigh regime for continuous and pulsed lasers. Simulating real time scenarios to predict optical trapping behavior for continuous wave (CW) as well as femtosecond pulsed lasers is a challenging problem. This is especially so, because, for a tightly focused laser, one must also include optical Kerr effect as well as thermal nonlinearity. We show here the distinct differences between CW and femtosecond pulsed laser mediated optical trapping via their effect in scattering and gradient forces in the Rayleigh regime. In our newly developed model, it will also be easier to predict the stability of the trap in real optical trapping scenario as well as provide information regarding choice of solvents, probes, and optical parameters like laser type, power range, wavelength, etc. as may the cases be.


alpha beta DCA method identifies unspecific binding but specific disruption of the group I intron by the StpA chaperone. Chaperone protein the most disordered among all protein groups help RNAs fold into their functional structure by destabilizing misfolded configurations or stabilizing the functional ones. But disentangling the mechanism underlying RNA chaperoning is challenging, mostly due to inherent disorder of the chaperones and the transient nature of their interactions with RNA. In particular, it is unclear how specific the interactions are and what role is played by amino acid charge and polarity patterns. Here, we address these questions in the RNA chaperone StpA. We adapted direct coupling analysis (DCA) into the alpha beta DCA method that can treat in tandem sequences written in two alphabets, nucleotides and amino acids. With alpha beta DCA, we could analyze StpA RNA interactions and show consistency with a previously proposed two pronged mechanism StpA disrupts specific positions in the group I intron while globally and loosely binding to the entire structure. Moreover, the interactions are strongly associated with the charge pattern negatively charged regions in the destabilizing StpA N terminal affect a few specific positions in the RNA, located in stems and in the pseudoknot. In contrast, positive regions in the C terminal contain strongly coupled amino acids that promote non specific or weakly specific binding to the RNA. The present study opens new avenues to examine the functions of disordered proteins and to design disruptive proteins based on their charge patterns.


Model based Automated Testing of JavaScript Web Applications via Longer Test Sequences. JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in JavaScript, due to their dynamic and event driven features. A variety of dynamic analysis techniques for JavaScript Web applications have been proposed, but they are limited in either coverage or scalability. In this paper, we propose a model based automated approach to achieve high code coverage in a reasonable amount of time via testing with longer event sequences. We implement our approach as the tool LJS, and perform extensive experiments on 21 publicly available benchmarks (18,559 lines of code in total). On average, LJS achieves 86.4 line coverage in 10 minutes, which is 5.4 higher than that of JSDep, a breadth first search based automated testing tool enriched with partial order reduction. In particular, on large applications, the coverage of LJS is 11 18 higher than that of JSDep. Our empirical finding supports that longer test sequences can achieve higher code coverage in JavsScript testing.


Using Markov Decision Process to Model Deception for Robotic and Interactive Game Applications. This paper investigates deception in the context of motion using a simulated mobile robot. We analyze some previously designed deceptive strategies on a mobile robot simulator. We then present a novel approach to adaptively choose target oriented deceptive trajectories to deceive humans for multiple interactions. Additionally, we propose a new metric to evaluate deception on data collected from the users when interacting with the mobile robot simulator. We performed a user study to test our proposed adaptive deceptive algorithm, which shows that our algorithm deceives humans even for multiple interactions and it is more effective than random choice of deceptive strategies.


Gender Gap in Natural Language Processing Research Disparities in Authorship and Citations. Disparities in authorship and citations across gender can have substantial adverse consequences not just on the disadvantaged genders, but also on the field of study as a whole. Measuring gender gaps is a crucial step towards addressing them. In this work, we examine female first author percentages and the citations to their papers in Natural Language Processing (1965 to 2019). We determine aggregate level statistics using an existing manually curated author gender list as well as first names strongly associated with a gender. We find that only about 29 of first authors are female and only about 25 of last authors are female. Notably, this percentage has not improved since the mid 2000s. We also show that, on average, female first authors are cited less than male first authors, even when controlling for experience and area of research. Finally, we discuss the ethical considerations involved in automatic demographic analysis.


FDTD Modeling of Periodic Structures A Review. This paper reviews the state of the art of periodic boundary conditions (PBCs) in Finite Difference Time Domain (FDTD) simulations. The mathematical principles and 3D FDTD implementation details are systematically outlined. Techniques for extracting scattering parameters, Brillouin diagrams and attenuation constants are presented, along with the Array Scanning Method (ASM) used to model the interaction of non periodic sources with periodic structures. Through these techniques, the robustness, utility and efficiency of PBCs are demonstrated and a unified view of the various approaches to the FDTD implementation of PBCs is presented.


Localizing Interpretable Multi scale informative Patches Derived from Media Classification Task. Deep convolutional neural networks (CNN) always depend on wider receptive field (RF) and more complex non linearity to achieve state of the art performance, while suffering the increased difficult to interpret how relevant patches contribute the final prediction. In this paper, we construct an interpretable AnchorNet equipped with our carefully designed RFs and linearly spatial aggregation to provide patch wise interpretability of the input media meanwhile localizing multi scale informative patches only supervised on media level labels without any extra bounding box annotations. Visualization of localized informative image and text patches show the superior multi scale localization capability of AnchorNet. We further use localized patches for downstream classification tasks across widely applied networks. Experimental results demonstrate that replacing the original inputs with their patches for classification can get a clear inference acceleration with only tiny performance degradation, which proves that localized patches can indeed retain the most semantics and evidences of the original inputs.


Stability of Current Density Impedance Imaging. We study stability of reconstruction in current density impedance imaging (CDII), that is, the inverse problem of recovering the conductivity of a body from the measurement of the magnitude of the current density vector field in the interior of the object. Our results show that CDII is stable with respect to errors in interior measurements of the current density vector field, and confirm the stability of reconstruction which was previously observed in numerical simulations, and was long believed to be the case.


Towards Accurate Modeling of the Multidimensional Magnetic Particle Imaging Physics. The image reconstruction problem of the tomographic imaging technique magnetic particle imaging (MPI) requires the solution of a linear inverse problem. One prerequisite for this task is that the imaging operator that describes the mapping between the tomographic image and the measured signal is accurately known. For 2D and 3D excitation patterns, it is common to measure the system matrix in a calibration procedure, that is both, very time consuming and adds noise to the operator. The need for measuring the system matrix is due to the lack of an accurate physical model that is capable of describing the nanoparticles' magnetization behavior. Within this work we introduce a physical model that is based on N ' e el rotation for large particle ensembles and we find model parameters that describe measured 2D MPI data with much higher precision than state of the art MPI models. With phantom experiments we show that the simulated system matrix can be used for image reconstruction and reduces artifacts due to model mismatch considerably.


Optical and nanostructural insights of oblique angle deposited layers applied for photononic coatings. Oblique angle deposition (OAD) is a nanostructuration method widely used to tune the optical properties of thin films. The introduction of porosity controlled by the deposition angle is used to develop the architecture of each layer and stack that enable modifying and optimizing the optical properties of the constituent layers for optimal design. However, optical properties of these nanostructured layers may differ greatly from those of dense layers due to the presence of anisotropy, refractive index gradient and scattering. This work focuses on OAD layers based on a reference photonic material such as SiO2 and it aims at taking into account all these effects in the description of the optical response. For that, the nanostructure has been analyzed with a complete SEM study and key parameters like the porosity gradient profile and aspect ratio of the nanocolumns were extracted. The samples were then characterized by generalized ellipsometry to evaluate the influence of morphological anisotropy and porosity gradient on the optical response of the films. Based on this microstructural study, an original optical model is presented to fit the features of new optical properties. A reliable correspondence is observed between the optical model parameters and the microstructure characteristics like the column angle and the porosity gradient. This demonstrates that such complex microstructural parameters can be easily accessed solely from optical measurements. All the work has enabled us to develop a two layer anti reflective coating that already demonstrate high level of transmission.


On Nonvanishing for uniruled log canonical pairs. We prove the Nonvanishing conjecture for uniruled projective log canonical pairs of dimension n , assuming the Nonvanishing conjecture for smooth projective varieties in dimension n 1 . We also show that the existence of good minimal models for non uniruled projective klt pairs in dimension n implies the existence of good minimal models for projective log canonical pairs in dimension n .


CORAL8 Concurrent Object Regression for Area Localization in Medical Image Panels. This work tackles the problem of generating a medical report for multi image panels. We apply our solution to the Renal Direct Immunofluorescence (RDIF) assay which requires a pathologist to generate a report based on observations across the eight different WSI in concert with existing clinical features. To this end, we propose a novel attention based multi modal generative recurrent neural network (RNN) architecture capable of dynamically sampling image data concurrently across the RDIF panel. The proposed methodology incorporates text from the clinical notes of the requesting physician to regulate the output of the network to align with the overall clinical context. In addition, we found the importance of regularizing the attention weights for word generation processes. This is because the system can ignore the attention mechanism by assigning equal weights for all members. Thus, we propose two regularizations which force the system to utilize the attention mechanism. Experiments on our novel collection of RDIF WSIs provided by a large clinical laboratory demonstrate that our framework offers significant improvements over existing methods.


Chest Area Segmentation in Depth Images of Sleeping Patients. Although the field of sleep study has greatly developed over the recent years, the most common and efficient way to detect sleep issues remains a sleep examination performed in a sleep laboratory, in a procedure called Polysomnography (PSG). This examination measures several vital signals during a full night's sleep using multiple sensors connected to the patient's body. Yet, despite being the golden standard, the connection of the sensors and the unfamiliar environment inevitably impact the quality of the patient's sleep and the examination itself. Therefore, with the novel development of more accurate and affordable 3D sensing devices, new approaches for non contact sleep study emerged. These methods utilize different techniques with the purpose to extract the same sleep parameters, but remotely, eliminating the need of any physical connections to the patient's body. However, in order to enable reliable remote extraction, these methods require accurate identification of the basic Region of Interest (ROI) i.e. the chest area of the patient, a task that is currently holding back the development process, as it is performed manually for each patient. In this study, we propose an automatic chest area segmentation algorithm, that given an input set of 3D frames of a sleeping patient, outputs a segmentation image with the pixels that correspond to the chest area, and can then be used as an input to subsequent sleep analysis algorithms. Except for significantly speeding up the development process of the non contact methods, accurate automatic segmentation can also enable a more precise feature extraction and it is shown it is already improving sensitivity of prior solutions on average 46.9 better compared to manual ROI selection. All mentioned will place the extraction algorithms of the non contact methods as a leading candidate to replace the existing traditional methods used today.


From Golden to Unimodular Cryptography. We introduce a natural generalization of the golden cryptography, which uses general unimodular matrices in place of the traditional Q matrices, and prove that it preserves the original error correction properties of the encryption. Moreover, the additional parameters involved in generating the coding matrices make this unimodular cryptography resilient to the chosen plaintext attacks that worked against the golden cryptography. Finally, we show that even the golden cryptography is generally unable to correct double errors in the same row of the ciphertext matrix, and offer an additional check number which, if transmitted, allows for the correction.


Integrality and arithmeticity of solvable linear groups. We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group G is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of G . We also provide a simple new algorithm for integrality testing of finitely generated solvable by finite linear groups over the rational field. The algorithms have been implemented in sc Magma .


Unveiling Real Life Effects of Online Photo Sharing. Social networks give free access to their services in exchange for the right to exploit their users' data. Data sharing is done in an initial context which is chosen by the users. However, data are used by social networks and third parties in different contexts which are often not transparent. In order to unveil such usages, we propose an approach which focuses on the effects of data sharing in impactful real life situations. Focus is put on visual content because of its strong influence in shaping online user profiles. The approach relies on three components (1) a set of visual objects with associated situation impact ratings obtained by crowdsourcing, (2) a corresponding set of object detectors for mining users' photos and (3) a ground truth dataset made of 500 visual user profiles which are manually rated per situation. These components are combined in LERVUP, a method which learns to rate visual user profiles in each situation. LERVUP exploits a new image descriptor which aggregates object ratings and object detections at user level and an attention mechanism which boosts highly rated objects to prevent them from being overwhelmed by low rated ones. Performance is evaluated per situation by measuring the correlation between the automatic ranking of profile ratings and a manual ground truth. Results indicate that LERVUP is effective since a strong correlation of the two rankings is obtained. A practical implementation of the approach in a mobile app which raises user awareness about shared data usage is also discussed.


KG BERT BERT for Knowledge Graph Completion. Knowledge graphs are important resources for many artificial intelligence tasks but often suffer from incompleteness. In this work, we propose to use pre trained language models for knowledge graph completion. We treat triples in knowledge graphs as textual sequences and propose a novel framework named Knowledge Graph Bidirectional Encoder Representations from Transformer (KG BERT) to model these triples. Our method takes entity and relation descriptions of a triple as input and computes scoring function of the triple with the KG BERT language model. Experimental results on multiple benchmark knowledge graphs show that our method can achieve state of the art performance in triple classification, link prediction and relation prediction tasks.


AMPSO Artificial Multi Swarm Particle Swarm Optimization. In this paper we propose a novel artificial multi swarm PSO which consists of an exploration swarm, an artificial exploitation swarm and an artificial convergence swarm. The exploration swarm is a set of equal sized sub swarms randomly distributed around the particles space, the exploitation swarm is artificially generated from a perturbation of the best particle of exploration swarm for a fixed period of iterations, and the convergence swarm is artificially generated from a Gaussian perturbation of the best particle in the exploitation swarm as it is stagnated. The exploration and exploitation operations are alternatively carried out until the evolution rate of the exploitation is smaller than a threshold or the maximum number of iterations is reached. An adaptive inertia weight strategy is applied to different swarms to guarantee their performances of exploration and exploitation. To guarantee the accuracy of the results, a novel diversity scheme based on the positions and fitness values of the particles is proposed to control the exploration, exploitation and convergence processes of the swarms. To mitigate the inefficiency issue due to the use of diversity, two swarm update techniques are proposed to get rid of lousy particles such that nice results can be achieved within a fixed number of iterations. The effectiveness of AMPSO is validated on all the functions in the CEC2015 test suite, by comparing with a set of comprehensive set of 16 algorithms, including the most recently well performing PSO variants and some other non PSO optimization algorithms.


Rethinking Item Importance in Session based Recommendation. Session based recommendation aims to predict users' based on anonymous sessions. Previous work mainly focuses on the transition relationship between items during an ongoing session. They generally fail to pay enough attention to the importance of the items in terms of their relevance to user's main intent. In this paper, we propose a Session based Recommendation approach with an Importance Extraction Module, i.e., SR IEM, that considers both a user's long term and recent behavior in an ongoing session. We employ a modified self attention mechanism to estimate item importance in a session, which is then used to predict user's long term preference. Item recommendations are produced by combining the user's long term preference and current interest as conveyed by the last interacted item. Experiments conducted on two benchmark datasets validate that SR IEM outperforms the start of the art in terms of Recall and MRR and has a reduced computational complexity.


On L p Solvability of Stochastic Integro Differential Equations. A class of (possibly) degenerate stochastic integro differential equations of parabolic type is considered, which includes the Zakai equation in nonlinear filtering for jump diffusions. Existence and uniqueness of the solutions are established in Bessel potential spaces.


Resolving Class Imbalance in Object Detection with Weighted Cross Entropy Losses. Object detection is an important task in computer vision which serves a lot of real world applications such as autonomous driving, surveillance and robotics. Along with the rapid thrive of large scale data, numerous state of the art generalized object detectors (e.g. Faster R CNN, YOLO, SSD) were developed in the past decade. Despite continual efforts in model modification and improvement in training strategies to boost detection accuracy, there are still limitations in performance of detectors when it comes to specialized datasets with uneven object class distributions. This originates from the common usage of Cross Entropy loss function for object classification sub task that simply ignores the frequency of appearance of object class during training, and thus results in lower accuracies for object classes with fewer number of samples. Class imbalance in general machine learning has been widely studied, however, little attention has been paid on the subject of object detection. In this paper, we propose to explore and overcome such problem by application of several weighted variants of Cross Entropy loss, for examples Balanced Cross Entropy, Focal Loss and Class Balanced Loss Based on Effective Number of Samples to our object detector. Experiments with BDD100K (a highly class imbalanced driving database acquired from on vehicle cameras capturing mostly Car class objects and other minority object classes such as Bus, Person and Motor) have proven better class wise performances of detector trained with the afore mentioned loss functions.


Dandelion Diagram Aggregating Positioning and Orientation Data in the Visualization of Classroom Proxemics. In the past two years, an emerging body of HCI work has been focused on classroom proxemics how teachers divide time and attention over students in the different regions of the classroom. Tracking and visualizing this implicit yet relevant dimension of teaching can benefit both research and teacher professionalization. Prior work has proved the value of depicting teachers' whereabouts. Yet a major opportunity remains in the design of new, synthesized visualizations that help researchers and practitioners to gain more insights in the vast tracking data. We present Dandelion Diagram, a synthesized heatmap technique that combines both teachers' positioning and orientation (heading) data, and affords richer representations in addition to whereabouts For example, teachers' attention pattern (which directions they were attending to), and their mobility pattern (i.e., trajectories in the classroom). Utilizing various classroom data from a field study, this paper illustrates the design and utility of Dandelion Diagram.


Optimal Policy Trees. We propose an approach for learning optimal tree based prescription policies directly from data, combining methods for counterfactual estimation from the causal inference literature with recent advances in training globally optimal decision trees. The resulting method, Optimal Policy Trees, yields interpretable prescription policies, is highly scalable, and handles both discrete and continuous treatments. We conduct extensive experiments on both synthetic and real world datasets and demonstrate that these trees offer best in class performance across a wide variety of problems.


Meta Learning with Dynamic Memory Based Prototypical Network for Few Shot Event Detection. Event detection (ED), a sub task of event extraction, involves identifying triggers and categorizing event mentions. Existing methods primarily rely upon supervised learning and require large scale labeled event datasets which are unfortunately not readily available in many real life applications. In this paper, we consider and reformulate the ED task with limited labeled data as a Few Shot Learning problem. We propose a Dynamic Memory Based Prototypical Network (DMB PN), which exploits Dynamic Memory Network (DMN) to not only learn better prototypes for event types, but also produce more robust sentence encodings for event mentions. Differing from vanilla prototypical networks simply computing event prototypes by averaging, which only consume event mentions once, our model is more robust and is capable of distilling contextual information from event mentions for multiple times due to the multi hop mechanism of DMNs. The experiments show that DMB PN not only deals with sample scarcity better than a series of baseline models but also performs more robustly when the variety of event types is relatively large and the instance quantity is extremely small.


Interlacing of zeros of Laguerre polynomials of equal and consecutive degree. We investigate interlacing properties of zeros of Laguerre polynomials L n ( alpha) (x) and L n 1 ( alpha k) (x), alpha 1, where n in mathbb N and k in 1,2 . We prove that, in general, the zeros of these polynomials interlace partially and not fully. The sharp t interval within which the zeros of two equal degree Laguerre polynomials L n ( alpha) (x) and L n ( alpha t) (x) are interlacing for every n in mathbb N and each alpha 1 is 0 t leq 2, cite DrMu2 , and the sharp t interval within which the zeros of two consecutive degree Laguerre polynomials L n ( alpha) (x) and L n 1 ( alpha t) (x) are interlacing for every n in mathbb N and each alpha 1 is 0 leq t leq 2, cite DrMu1 . We derive conditions on n in mathbb N and alpha, alpha 1 that determine the partial or full interlacing of the zeros of L n ( alpha) (x) and the zeros of L n ( alpha 2 k) (x), k in 1,2 . We also prove that partial interlacing holds between the zeros of L n ( alpha) (x) and L n 1 ( alpha 2 k ) (x) when k in 1,2 , n in mathbb N and alpha 1 . Numerical illustrations of interlacing and its breakdown are provided.


New Constructions of Subspace Codes Using Subsets of MRD codes in Several Blocks. A basic problem for the constant dimension subspace coding is to determine the maximal possible size A q (n, d, k) of a set of k dimensional subspaces in Fnq such that the subspace distance satisfies d(U, V ) or d for any two different subspaces U andV in this set. We present two new constructions of constant dimension subspace codes using subsets of maximal rank distance (MRD) codes in several blocks. This method is firstly applied to the linkage construction and secondly to arbitrary number of blocks of lifting MRD codes. In these two constructions, subsets of MRD codes with bounded ranks play an essential role. The Delsarte theorem of the rank distribution of MRD codes is an important ingredient to count codewords in our constructed constant dimension subspace codes. We give many new lower bounds for A q (n, d, k). More than 110 new constant dimension subspace codes better than previously best known codes are constructed.


Numerical approximation of the value of a stochastic differential game with asymmetric information. We consider a convexity constrained Hamilton Jacobi Bellman type obstacle problem for the value function of a zero sum differential game with asymmetric information. We propose a convexity preserving probabilistic numerical scheme for the approximation of the value function which is discrete w.r.t. the time and convexity variables, and show that the scheme converges to the unique viscosity solution of the considered problem. Furthermore, we generalize the semi discrete scheme to obtain an implementable fully discrete numerical approximation of the value function and present numerical experiments to demonstrate the properties of the proposed numerical scheme.


Stay hydrated Basolateral fluids shaping tissues. During development, embryos perform a mesmerizing choreography, which is crucial for the correct shaping, positioning and function of all organs. The cellular properties powering animal morphogenesis have been the focus of much attention. On the other hand, much less consideration has been given to the invisible engine constituted by the intercellular fluid. Cells are immersed in fluid, of which the composition and physical properties have a considerable impact on development. In this review, we revisit recent studies from the perspective of the fluid, focusing on basolateral fluid compartments and taking the early mouse and zebrafish embryos as models. These examples illustrate how the hydration levels of tissues are spatio temporally controlled and influence embryonic development.


SEQ 3 Differentiable Sequence to Sequence to Sequence Autoencoder for Unsupervised Abstractive Sentence Compression. Neural sequence to sequence models are currently the dominant approach in several natural language processing tasks, but require large parallel corpora. We present a sequence to sequence to sequence autoencoder (SEQ 3), consisting of two chained encoder decoder pairs, with words used as a sequence of discrete latent variables. We apply the proposed model to unsupervised abstractive sentence compression, where the first and last sequences are the input and reconstructed sentences, respectively, while the middle sequence is the compressed sentence. Constraining the length of the latent word sequences forces the model to distill important information from the input. A pretrained language model, acting as a prior over the latent sequences, encourages the compressed sentences to be human readable. Continuous relaxations enable us to sample from categorical distributions, allowing gradient based optimization, unlike alternatives that rely on reinforcement learning. The proposed model does not require parallel text summary pairs, achieving promising results in unsupervised sentence compression on benchmark datasets.


Dengue Seasonality and Non Monotonic Response to Moisture A Model Data Analysis of Sri Lanka Incidence from 2011 to 2016. Dengue fever impacts populations across the tropics. Dengue is caused by a mosquito transmitted flavivirus and its burden is projected to increase under future climate and development scenarios. The transmission process of dengue virus is strongly moderated by hydro climatic conditions that impact the vector's life cycle and behavior. Here, we study the impact of rainfall seasonality and moisture availability on the monthly distribution of reported dengue cases in Sri Lanka. Through cluster analysis, we find an association between seasonal peaks of rainfall and dengue incidence with a two month lag. We show that a hydrologically driven epidemiological model (HYSIR), which takes into account hydrologic memory in addition to the nonlinear dynamics of the transmission process, captures the two month lag between rainfall and dengue cases seasonal peaks. Our analysis reveals a non monotonic dependence of dengue cases on moisture, whereby an increase of cases with increasing moisture is followed by a reduction for very high levels of water availability. Improvement in prediction of the seasonal peaks in dengue incidence results from a seasonally varying dependence of transmission rate on water availability.


A Discovery Tour in Random Riemannian Geometry. We study random perturbations of Riemannian manifolds ( mathsf M , mathsf g ) by means of so called Fractional Gaussian Fields, which are defined intrinsically by the given manifold. The fields h bullet omega mapsto h omega will act on the manifolds via conformal transformation mathsf g mapsto mathsf g omega colon ! ! e 2h omega , mathsf g . Our focus will be on the regular case with Hurst parameter H 0 , the celebrated Liouville geometry in two dimensions being borderline. We want to understand how basic geometric and functional analytic quantities like diameter, volume, heat kernel, Brownian motion, spectral bound, or spectral gap will change under the influence of the noise. And if so, is it possible to quantify these dependencies in terms of key parameters of the noise. Another goal is to define and analyze in detail the Fractional Gaussian Fields on a general Riemannian manifold, a fascinating object of independent interest.


Super Human Performance in Online Low latency Recognition of Conversational Speech. Achieving super human performance in recognizing human speech has been a goal for several decades, as researchers have worked on increasingly challenging tasks. In the 1990's it was discovered, that conversational speech between two humans turns out to be considerably more difficult than read speech as hesitations, disfluencies, false starts and sloppy articulation complicate acoustic processing and require robust handling of acoustic, lexical and language context, jointly. Early attempts with statistical models could only reach error rates over 50 and far from human performance (WER of around 5.5 ). Neural hybrid models and recent attention based encoder decoder models have considerably improved performance as such contexts can now be learned in an integral fashion. However, processing such contexts requires an entire utterance presentation and thus introduces unwanted delays before a recognition result can be output. In this paper, we address performance as well as latency. We present results for a system that can achieve super human performance (at a WER of 5.0 , over the Switchboard conversational benchmark) at a word based latency of only 1 second behind a speaker's speech. The system uses multiple attention based encoder decoder networks integrated within a novel low latency incremental inference approach.


Neurogenetics of the Human Adenosine Receptor Genes Genetic Structures and Involvement in Brain Diseases. Adenosine receptors are G protein coupled receptors involved in a wide range of physiological and pathological phenomena in most mammalian systems. All four receptors are widely expressed in the central nervous system, where they modulate neurotransmitter release and neuronal plasticity. A large number of gene association studies have shown that common genetic variants of the adenosine receptors (encoded by the ADORA1, ADORA2A, ADORA2B and ADORA3 genes) have a neuroprotective or neurodegenerative role in neurologic psychiatric diseases. New genetic studies of rare variants and few novel associations with depression or epilepsy subtypes have recently been reported. Here, we review the literature on the genetics of adenosine receptors in neurologic and or psychiatric diseases in humans, and discuss perspectives for further genetic research. We also provide an update on the genetic structures of the four human adenosine receptor genes and their regulation a topic that has not been extensively addressed. Our review emphasizes the importance of (i) better characterizing the genetics of adenosine receptor genes and (ii) understanding how these genes are regulated.


Duality theorems for stars and combs III Undominated combs. In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. Here, in the third paper of the series, we present duality theorems for a combination of stars and combs undominated combs. We describe their complementary structures in terms of rayless trees and of tree decompositions. Applications include a complete characterisation, in terms of normal spanning trees, of the graphs whose rays are dominated but which have no rayless spanning tree. Only two such graphs had so far been constructed, by Seymour and Thomas and by Thomassen. As a corollary, we show that graphs with a normal spanning tree have a rayless spanning tree if and only if all their rays are dominated.


Optimization of light structures the vanishing mass conjecture. We consider the shape optimization problem which consists in placing a given mass m of elastic material in a design region so that the compliance is minimal. Having in mind optimal light structures, our purpose is to show that the problem of finding the stiffest shape configuration simplifies as the total mass m tends to zero we propose an explicit relaxed formulation where the compliance appears after rescaling as a convex functional of the relative density of mass. This allows us to write necessary and sufficient optimality conditions for light structures following the Monge Kantorovich approach developed recently in 5 .


The Geometry and Kinematics of the Matrix Lie Group SE K(3) . Currently state estimation is very important for the robotics, and the uncertainty representation based Lie group is natural for the state estimation problem. It is necessary to exploit the geometry and kinematic of matrix Lie group sufficiently. Therefore, this note gives a detailed derivation of the recently proposed matrix Lie group SE K(3) for the first time, our results extend the results in Barfoot cite barfoot2017state . Then we describe the situations where this group is suitable for state representation. We also have developed code based on Matlab framework for quickly implementing and testing.


Scalable and Jointly Differentially Private Packing. We introduce an ( epsilon, delta) jointly differentially private algorithm for packing problems. Our algorithm not only achieves the optimal trade off between the privacy parameter epsilon and the minimum supply requirement (up to logarithmic factors), but is also scalable in the sense that the running time is linear in the number of agents n . Previous algorithms either run in cubic time in n , or require a minimum supply per resource that is sqrt n times larger than the best possible.


Adaptive Aggressive Traders Don't Dominate. For more than a decade Vytelingum's Adaptive Aggressive (AA) algorithm has been recognized as the best performing automated auction market trading agent strategy currently known in the AI Agents literature in this paper, we demonstrate that it is in fact routinely outperformed by another algorithm when exhaustively tested across a sufficiently wide range of market scenarios. The novel step taken here is to use large scale compute facilities to brute force exhaustively evaluate AA in a variety of market environments based on those used for testing it in the original publications. Our results show that even in these simple environments AA is consistently out performed by IBM's GDX algorithm, first published in 2002. We summarize here results from more than one million market simulation experiments, orders of magnitude more testing than was reported in the original publications that first introduced AA. A 2019 ICAART paper by Cliff claimed that AA's failings were revealed by testing it in more realistic experiments, with conditions closer to those found in real financial markets, but here we demonstrate that even in the simple experiment conditions that were used in the original AA papers, exhaustive testing shows AA to be outperformed by GDX. We close this paper with a discussion of the methodological implications of our work any results from previous papers where any one trading algorithm is claimed to be superior to others on the basis of only a few thousand trials are probably best treated with some suspicion now. The rise of cloud computing means that the compute power necessary to subject trading algorithms to millions of trials over a wide range of conditions is readily available at reasonable cost we should make use of this exhaustive testing such as is shown here should be the norm in future evaluations and comparisons of new trading algorithms.


Polynomial functions over dual numbers of several variables. Let k in mathbb N setminus 0 . For a commutative ring R , the ring of dual numbers of k variables over R is the quotient ring R x 1, ldots,x k I , where I is the ideal generated by the set x ix j i,j 1, ldots,k . This ring can be viewed as R alpha 1, ldots, alpha k with alpha i alpha j 0 , where alpha i x i I for i,j 1, ldots,k . We investigate the polynomial functions of R alpha 1, ldots, alpha k whenever R is a finite local ring. We derive counting formulas for the number of polynomial functions and polynomial permutations on R alpha 1, ldots, alpha k depending on the order of the pointwise stabilizer of the subring of constants R in the group of polynomial permutations of R alpha 1, ldots, alpha k . Moreover, we show that the stabilizer group of R is independent from the number of variables k .


On singularity types of del Pezzo surfaces with rational double points in positive characteristic. In this paper, we prove that a pair of the minimal resolution of a del Pezzo surface with rational double points whose general anti canonical member is smooth and its exceptional divisor lifts to the Witt ring. We also classify a del Pezzo surface with rational double points whose anti canonical members are all singular. As a corollary, we determine all singularity types of del Pezzo surfaces with rational double points which only appear in positive characteristic.


The classification of flat Riemannian metrics on the plane. We classify all smooth flat Riemannian metrics on the two dimensional plane. In the complete case, it is well known that these metrics are isometric to the Euclidean metric. In the incomplete case, there is an abundance of naturally arising, non isometric metrics that are relevant and useful. Remarkably, the study and classification of all flat Riemannian metrics on the plane as a subject is new to the literature. Much of our research focuses on conformal metrics of the form e 2 varphi g 0 , where varphi mathbb R 2 rightarrow mathbb R) is a harmonic function and g 0 is the standard Euclidean metric on mathbb R 2 . We find that all such metrics, which we call "harmonic", arise from Riemann surfaces.


Two Stage Transformer Model for COVID 19 Fake News Detection and Fact Checking. The rapid advancement of technology in online communication via social media platforms has led to a prolific rise in the spread of misinformation and fake news. Fake news is especially rampant in the current COVID 19 pandemic, leading to people believing in false and potentially harmful claims and stories. Detecting fake news quickly can alleviate the spread of panic, chaos and potential health hazards. We developed a two stage automated pipeline for COVID 19 fake news detection using state of the art machine learning models for natural language processing. The first model leverages a novel fact checking algorithm that retrieves the most relevant facts concerning user claims about particular COVID 19 claims. The second model verifies the level of truth in the claim by computing the textual entailment between the claim and the true facts retrieved from a manually curated COVID 19 dataset. The dataset is based on a publicly available knowledge source consisting of more than 5000 COVID 19 false claims and verified explanations, a subset of which was internally annotated and cross validated to train and evaluate our models. We evaluate a series of models based on classical text based features to more contextual Transformer based models and observe that a model pipeline based on BERT and ALBERT for the two stages respectively yields the best results.


Theory of extreme optical concentration in all dielectric waveguides. We introduce transversely structured all dielectric waveguides which exploit the vectorial nature of light to achieve extreme sub wavelength confinement in high index dielectrics, enabling characteristic mode dimensions below lambda 0 2 1,000 without metals or plasmonics. We also derive the metric of optical concentration and show its convenient usage in characterizing enhanced linear and non linear interactions at the nanoscale. This work expands the toolbox of nanophotonics and opens the door to new types of ultra efficient and record performing linear and nonlinear devices with broad applications spanning classical and quantum optics.


Weil representation and Arithmetic Fundamental Lemma. By a global approach, we prove the arithmetic fundamental lemma conjecture for unitary groups in n variables over mathbb Q p when p geq n .


The RO(C 4) integral homology of a point. We compute the RO(C 4) integral homology of a point with complete information as a Green functor, and we show that it is generated, in a slightly generalized sense, by the Euler and orientation classes of the irreducible real C 4 representations. We have devised a computer program that automates these computations for groups G C p n and we have used it to verify our results for G C 4 in a finite range.


Common Source of Light Emission and Nonlocal Molecular Manipulation on the Si(111) 7x7 Surface. The tip of a scanning tunnelling microscope can inject hot electrons into a surface with atomic precision. Their subsequent dynamics and eventual decay can result in atomic manipulation of an adsorbed molecule, or in light emission from the surface. Here, we combine the results of these two near identical experimental techniques for the system of toluene molecules chemisorbed on the Si(111) 7x7 surface at room temperature. The radial dependence of molecular desorption away from the tip injection site conforms to a two step ballistic diffusive transport of the injected hot electrons across the surface, with a threshold bias voltage of 2.0 V. We find the same threshold voltage of 2.0 V for light emission from the bare Si(111) 7x7 surface. Comparing these results with previous published spectra we propose that both the manipulation and the light emission follow the same hot electron dynamics, only differing in the outcome of the final relaxation step which may result in either molecular manipulation, or photon emission.


ViS 'A ViS Detecting Similar Patterns in Annotated Literary Text. We present a web based system called ViS 'A ViS aiming to assist literary scholars in detecting repetitive patterns in an annotated textual corpus. Pattern detection is made possible using distant reading visualizations that highlight potentially interesting patterns. In addition, the system uses time series alignment algorithms, and in particular, dynamic time warping (DTW), to detect patterns automatically. We present a case study where an ancient Hebrew poetry corpus was manually annotated with figurative language devices as metaphors and similes and then loaded into the system. Preliminary results confirm the effectiveness of the system in analyzing the annotated data and in detecting literary patterns and similarities.


From families in Weyl groups to Springer representations. Let G be a simple reductive group over the complex numbers. Let W be the Weyl group of G. We propose a description of the Springer representations of W associated to various unipotent classes of G by a purely algebraic method involving the families of various reflection subgroups of W and which is suitable to computer calculations.


Embedded multilevel Monte Carlo for uncertainty quantification in random domains. The multilevel Monte Carlo (MLMC) method has proven to be an effective variance reduction statistical method for Uncertainty quantification in PDE models. It combines approximations at different levels of accuracy using a hierarchy of meshes in a similar way as multigrid. The generation of body fitted mesh hierarchies is only possible for simple geometries. On top of that, MLMC for random domains involves the generation of a mesh for every sample. Instead, here we consider the use of embedded methods which make use of simple background meshes of an artificial domain (a bounding box) for which it is easy to define a mesh hierarchy, thus eliminating the need of body fitted unstructured meshes, but can produce ill conditioned discrete problems. To avoid this complication, we consider the recent aggregated finite element method (AgFEM). In particular, we design an embedded MLMC framework for (geometrically and topologically) random domains implicitly defined through a random level set function, which makes use of a set of hierarchical background meshes and the AgFEM. Performance predictions from existing theory are verified statistically in three numerical experiments, namely the solution of the Poisson equation on a circular domain of random radius, the solution of the Poisson equation on a topologically identical but more complex domain, and the solution of a heat transfer problem in a domain that has geometric and topological uncertainties. Finally, the use of AgFE is statistically demonstrated to be crucial for complex and uncertain geometries in terms of robustness and computational cost.


Orbital Angular Momentum (OAM) Mode Mixing in a Bent Step Index Fiber in Perturbation Theory. Within the framework of perturbation theory, we explore in detail the mixing of orbital angular momentum(OAM) modes due to a fiber bend in a step index multimode fiber. Using scalar wave equation, we develop a complete set of analytic expressions for mode mixing, including those for the 2 pi walk off length, which is the distance traveled within the bent fiber before an OAM mode transforms into its negative topological charge counterpart, and back into itself. The derived results provide insight into the nature of the bend effects, clearly revealing the mathematical dependence on the bend radius and the topological charge. We numerically simulate the theoretical results with applications to a few mode fiber and a multimode fiber, and calculate bend induced modal crosstalk with implications for mode multiplexed systems. The presented perturbation technique is general enough to be applicable to other perturbations like ellipticity and easily extendable to other fibers with step index like profile as in the ring fiber.


A Study of Learning Search Approximation in Mixed Integer Branch and Bound Node Selection in SCIP. In line with the growing trend of using machine learning to help solve combinatorial optimisation problems, one promising idea is to improve node selection within a mixed integer programming (MIP) branch and bound tree by using a learned policy. Previous work using imitation learning indicates the feasibility of acquiring a node selection policy, by learning an adaptive node searching order. In contrast, our imitation learning policy is focused solely on learning which of a node's children to select. We present an offline method to learn such a policy in two settings one that comprises a heuristic by committing to pruning of nodes one that is exact and backtracks from a leaf to guarantee finding the optimal integer solution. The former setting corresponds to a child selector during plunging, while the latter is akin to a diving heuristic. We apply the policy within the popular open source solver SCIP, in both heuristic and exact settings. Empirical results on five MIP datasets indicate that our node selection policy leads to solutions significantly more quickly than the state of the art precedent in the literature. While we do not beat the highly optimised SCIP state of practice baseline node selector in terms of solving time on exact solutions, our heuristic policies have a consistently better optimality gap than all baselines, if the accuracy of the predictive model is sufficient. Further, the results also indicate that, when a time limit is applied, our heuristic method finds better solutions than all baselines in the majority of problems tested. We explain the results by showing that the learned policies have imitated the SCIP baseline, but without the latter's early plunge abort. Our recommendation is that, despite the clear improvements over the literature, this kind of MIP child selector is better seen in a broader approach using learning in MIP branch and bound tree decisions.


Interactive Fiction Games A Colossal Adventure. A hallmark of human intelligence is the ability to understand and communicate with language. Interactive Fiction games are fully text based simulation environments where a player issues text commands to effect change in the environment and progress through the story. We argue that IF games are an excellent testbed for studying language based autonomous agents. In particular, IF games combine challenges of combinatorial action spaces, language understanding, and commonsense reasoning. To facilitate rapid development of language based agents, we introduce Jericho, a learning environment for man made IF games and conduct a comprehensive study of text agents across a rich set of games, highlighting directions in which agents can improve.


Adaptive Coding for Two Way Lossy Source Channel Communication. An adaptive joint source channel coding (JSCC) scheme is presented for transmitting correlated sources over discrete memoryless two way channels subject to distortion constraints. The proposed JSCC scheme makes use of the previously transmitted and received channel signals as well as the sources' correlation to facilitate coordination between terminals. It is shown that the adaptive scheme strictly subsumes prior lossy coding methods for two way simultaneous transmission and yields a new adaptive separate source channel coding result. Two examples are given to show the scheme's advantages.


Transfer ideals and torsion in the Morava E theory of abelian groups. Let A be a finite abelian p group of rank at least 2 . We show that E 0(BA) I tr , the quotient of the Morava E cohomology of A by the ideal generated by the image of the transfers along all proper subgroups, contains p torsion. The proof makes use of transchromatic character theory.


On the Langlands parameter of a simple supercuspidal representation even orthogonal groups. Let pi be a simple supercuspidal representation of the split even special orthogonal group. We compute the Rankin Selberg gamma factors for rank 1 twists of pi by quadratic tamely ramified characters of F . We then use our results to determine the Langlands parameter of pi up to its restriction to the wild inertia subgroup, subject to an analogue of a work of Blondel, Henniart, and Stevens for SO 2l . In the particular case of the field mathbb Q 2 , we are able to describe the parameter completely.


Evaluation of a Skill based Control Architecture for a Visual Inspection oriented Aerial Platform. The periodic inspection of vessels is a fundamental task to ensure their integrity and avoid maritime accidents. Currently, these inspections represent a high cost for the ship owner, in addition to the danger that this kind of hostile environment entails for the surveyors. In these situations, robotic platforms turn out to be useful not only for safety reasons, but also to reduce vessel downtimes and simplify the inspection procedures. Under this context, in this paper we report on the evaluation of a new control architecture devised to drive an aerial platform during these inspection procedures. The control architecture, based on an extensive use of behaviour based high level control, implements visual inspection oriented functionalities, while releases the operator from the complexities of inspection flights and ensures the integrity of the platform. Apart from the control software, the full system comprises a multi rotor platform equipped with a suitable set of sensors to permit teleporting the surveyor to the areas that need inspection. The paper provides an extensive set of testing results in different scenarios, under different operational conditions and over real vessels, in order to demonstrate the suitability of the platform for this kind of tasks.


Fast Diameter Computation within Split Graphs. When can we compute the diameter of a graph in quasi linear time? We address this question for the class of em split graphs , that we observe to be the hardest instances for deciding whether the diameter is at most two. We stress that although the diameter of a non complete split graph can only be either 2 or 3 , under the Strong Exponential Time Hypothesis (SETH) we cannot compute the diameter of an n vertex m edge split graph in less than quadratic time in the size n m of the input. Therefore it is worth to study the complexity of diameter computation on em subclasses of split graphs, in order to better understand the complexity border. Specifically, we consider the split graphs with bounded em clique interval number and their complements, with the former being a natural variation of the concept of interval number for split graphs that we introduce in this paper. We first discuss the relations between the clique interval number and other graph invariants such as the classic interval number of graphs, the treewidth, the em VC dimension and the em stabbing number of a related hypergraph. Then, in part based on these above relations, we almost completely settle the complexity of diameter computation on these subclasses of split graphs For the k clique interval split graphs, we can compute their diameter in truly subquadratic time if k cal O (1) , and even in quasi linear time if k o( log n ) and in addition a corresponding ordering of the vertices in the clique is given. However, under SETH this cannot be done in truly subquadratic time for any k omega( log n ) . For the em complements of k clique interval split graphs, we can compute their diameter in truly subquadratic time if k cal O (1) , and even in time cal O (km) if a corresponding ordering of the vertices in the stable set is given. Again this latter result is optimal under SETH up to polylogarithmic factors. Our findings raise the question whether a k clique interval ordering can always be computed in quasi linear time. We prove that it is the case for k 1 and for some subclasses such as bounded treewidth split graphs, threshold graphs and comparability split graphs. Finally, we prove that some important subclasses of split graphs including the ones mentioned above have a bounded clique interval number.


RasterNet Modeling Free Flow Speed using LiDAR and Overhead Imagery. Roadway free flow speed captures the typical vehicle speed in low traffic conditions. Modeling free flow speed is an important problem in transportation engineering with applications to a variety of design, operation, planning, and policy decisions of highway systems. Unfortunately, collecting large scale historical traffic speed data is expensive and time consuming. Traditional approaches for estimating free flow speed use geometric properties of the underlying road segment, such as grade, curvature, lane width, lateral clearance and access point density, but for many roads such features are unavailable. We propose a fully automated approach, RasterNet, for estimating free flow speed without the need for explicit geometric features. RasterNet is a neural network that fuses large scale overhead imagery and aerial LiDAR point clouds using a geospatially consistent raster structure. To support training and evaluation, we introduce a novel dataset combining free flow speeds of road segments, overhead imagery, and LiDAR point clouds across the state of Kentucky. Our method achieves state of the art results on a benchmark dataset.


Numerical Analysis of Flow Past an Oscillating Circular Cylinder using Arbitrary Lagrangian Eulerian Consistent Flux Reconstruction Scheme. This paper proposes an Arbitrary Lagrangian Eulerian incompressible finite volume scheme based on Consistent Flux Reconstruction method (ALE CFR) on deforming two dimensional unstructured triangular grids. The scheme is further applied to solve for a problem of two dimensional incompressible viscous flow past a rotationally oscillating circular cylinder when subjected to forced transverse oscillations at Re 100. The paper first focuses on the mathematical development and validation of the ALE CFR scheme and then its application on the problem. The rotational oscillation frequencies were taken corresponding to the four primary vortex shedding mode frequencies discovered from the studies conducted by Tokumaru and Dimotakis. The transverse oscillation frequency was varied for a frequency ratio f tv with respect to natural strouhal frequency for flow past a stationary circular cylinder from 0.9 leq f tv leq 3.0 . The amplitude ratio for transverse oscillations was taken as 0.2 with respect to the cylinder diameter. The distinct effects on the vortex shedding patterns and the contributions of such rotational and transverse oscillations on lift and drag characteristics of the circular cylinder are studied using the newly developed scheme.


Novel two phase method for supercritical water flow. The current resurgence in the phase diagram study beyond the critical point has questioned the conventional belief of supercritical fluid as a single phase with varying properties. On the same line, a novel two phase approach has been proposed to study the supercritical flow with heat transfer deterioration (HTD) phenomena. The Volume of Fluid (VOF) multiphase model has been used to analyze the flow, and the simulation result reasonably predicts the wall temperature peaks. Moreover, the velocity and turbulent kinetic energy profiles for different axial locations explain the occurrence of HTD, and it is on par with the pre existing numerical method. Besides, the quantitative analysis presented in the paper expounds on qualitative understanding. The parametric study of the thermophysical properties revealed that the density variation is the primary cause of HTD in supercritical flows. So banking on this conclusion, the propounded study focuses on the forces generated due to the density variation. This technique equips us with a holistic picture of the supercritical flows. It leads to the inference that for no HTD effects to be present, buoyancy and inertia forces have to be of comparable magnitude throughout the flow. In addition, the pseudo phase change model outclasses the existing research by rendering us the volume fraction data. Mapping of this variable reveals a sudden jump in the lighter phase's thickness near the wall at the site of HTD, which is also reflected as a maximum in the nondimensional two phase thickness (P) plot. Nevertheless, this observation is only restricted to HTD caused by buoyancy. In the end, a theoretical expression has been conceptualized for computing the two phase thickness (h) value, which can serve as a fundamental length scale in supercritical flows as it marks the region of highest property gradient near the wall.


Head Driven Phrase Structure Grammar Parsing on Penn Treebank. Head driven phrase structure grammar (HPSG) enjoys a uniform formalism representing rich contextual syntactic and even semantic meanings. This paper makes the first attempt to formulate a simplified HPSG by integrating constituent and dependency formal representations into head driven phrase structure. Then two parsing algorithms are respectively proposed for two converted tree representations, division span and joint span. As HPSG encodes both constituent and dependency structure information, the proposed HPSG parsers may be regarded as a sort of joint decoder for both types of structures and thus are evaluated in terms of extracted or converted constituent and dependency parsing trees. Our parser achieves new state of the art performance for both parsing tasks on Penn Treebank (PTB) and Chinese Penn Treebank, verifying the effectiveness of joint learning constituent and dependency structures. In details, we report 96.33 F1 of constituent parsing and 97.20 UAS of dependency parsing on PTB.


Gradient versus proper gradient homotopies. We compare the sets of homotopy classes of gradient and proper gradient vector fields in the plane. Namely, we show that gradient and proper gradient homotopy classifications are essentially different. We provide a complete description of the sets of homotopy classes of gradient maps from mathbb R n to mathbb R n and proper gradient maps from mathbb R 2 to mathbb R 2 with the Brouwer degree greater or equal to zero.


A general q expansion formula based on matrix inversions and its applications. In this paper, by use of matrix inversions, we establish a general q expansion formula of arbitrary formal power series F(z) with respect to the base left z n frac (az q) n (bz q) n bigg n 0,1,2 cdots right . Some concrete expansion formulas and their applications to q series identities are presented, including Carlitz's q expansion formula, a new partial theta function identity and a coefficient identity of Ramanujan's 1 psi 1 summation formula as special cases.


A Proof of Concept SRAM based Physically Unclonable Function (PUF) Key Generation Mechanism for IoT Devices. This paper provides a proof of concept for using SRAM based Physically Unclonable Functions (PUFs) to generate private keys for IoT devices. PUFs are utilized, as there is inadequate protection for secret keys stored in the memory of the IoT devices. We utilize a custom made Arduino mega shield to extract the fingerprint from SRAM chip on demand. We utilize the concepts of ternary states to exclude the cells which are easily prone to flip, allowing us to extract stable bits from the fingerprint of the SRAM. Using the custom made software for our SRAM device, we can control the error rate of the PUF to achieve an adjustable memory based PUF for key generation. We utilize several fuzzy extractor techniques based on using different error correction coding methods to generate secret keys from the SRAM PUF, and study the trade off between the false authentication rate and false rejection rate of the PUF.


Flux driven pedestal formation in tokamaks turbulence simulations validated against the isotope effect. The spontaneous pedestal formation above a power threshold at the edge of magnetically confined plasma is modelled for the first time in flux driven three dimensional fluid simulations of electromagnetic turbulence with the code EMEDGE3D. The role of the collisional friction between trapped and passing particles is shown to be the key ingredient for shearing the radial electric field, hence stabilizing the turbulence, rather than the Maxwell and Reynolds stresses. The isotope effect, observed in many tokamaks worldwide, is recovered in EMEDGE3D simulations the power threshold for pedestal formation is lower for Tritium than for Deuterium. The turbulence auto correlation time is found to increase with the ion mass easing the radial electric shear stabilization, hence the pedestal formation.


Bounds on mixing time of finite Markov chains. We provide a general framework for computing mixing times of finite Markov chains when its minimal ideal is left zero. Our analysis is based on combining results by Brown and Diaconis with our previous work on stationary distributions of finite Markov chains. Stationary distributions can be computed from the Karnofsky Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain. Using loop graphs, which are planar graphs consisting of a straight line with attached loops, there are rational expressions for the stationary distribution in the probabilities. From these we obtain bounds on the mixing time. In addition, we analyze the mixing time of the promotion Markov chain of Ayyer, Klee and the last author on linear extensions of a poset with n vertices and provide a slight variant of this Markov chain with mixing time O(n log n) .


Multi Agent Safe Planning with Gaussian Processes. Multi agent safe systems have become an increasingly important area of study as we can now easily have multiple AI powered systems operating together. In such settings, we need to ensure the safety of not only each individual agent, but also the overall system. In this paper, we introduce a novel multi agent safe learning algorithm that enables decentralized safe navigation when there are multiple different agents in the environment. This algorithm makes mild assumptions about other agents and is trained in a decentralized fashion, i.e. with very little prior knowledge about other agents' policies. Experiments show our algorithm performs well with the robots running other algorithms when optimizing various objectives.


Multi Module System for Open Domain Chinese Question Answering over Knowledge Base. For the task of open domain Knowledge Based Question Answering in CCKS2019, we propose a method combining information retrieval and semantic parsing. This multi module system extracts the topic entity and the most related relation predicate from a question and transforms it into a Sparql query statement. Our method obtained the F1 score of 70.45 on the test data.


Centralized Caching and Delivery of Correlated Contents over Gaussian Broadcast Channels. Content delivery in a multi user cache aided broadcast network is studied, where a server holding a database of correlated contents communicates with the users over a Gaussian broadcast channel (BC). The minimum transmission power required to satisfy all possible demand combinations is studied, when the users are equipped with caches of equal size. Assuming uncoded cache placement, a lower bound on the required transmit power as a function of the cache capacity is derived. An achievable centralized caching scheme is proposed, which not only utilizes the user's local caches, but also exploits the correlation among the contents in the database. The performance of the scheme, which provides an upper bound on the required transmit power for a given cache capacity, is characterized. Our results indicate that exploiting the correlations among the contents in a cache aided Gaussain BC can provide significant energy savings.


What Synthesis is Missing Depth Adaptation Integrated with Weak Supervision for Indoor Scene Parsing. Scene Parsing is a crucial step to enable autonomous systems to understand and interact with their surroundings. Supervised deep learning methods have made great progress in solving scene parsing problems, however, come at the cost of laborious manual pixel level annotation. To alleviate this effort synthetic data as well as weak supervision have both been investigated. Nonetheless, synthetically generated data still suffers from severe domain shift while weak labels are often imprecise. Moreover, most existing works for weakly supervised scene parsing are limited to salient foreground objects. The aim of this work is hence twofold Exploit synthetic data where feasible and integrate weak supervision where necessary. More concretely, we address this goal by utilizing depth as transfer domain because its synthetic to real discrepancy is much lower than for color. At the same time, we perform weak localization from easily obtainable image level labels and integrate both using a novel contour based scheme. Our approach is implemented as a teacher student learning framework to solve the transfer learning problem by generating a pseudo ground truth. Using only depth based adaptation, this approach already outperforms previous transfer learning approaches on the popular indoor scene parsing SUN RGB D dataset. Our proposed two stage integration more than halves the gap towards fully supervised methods when compared to previous state of the art in transfer learning.


Optimal Multiple Stopping Problem under Nonlinear Expectation. In this paper, we study the optimal multiple stopping problem under the filtration consistent nonlinear expectations. The reward is given by a set of random variables satisfying some appropriate assumptions rather than an RCLL process. We first construct the optimal stopping time for the single stopping problem, which is no longer given by the first hitting time of processes. We then prove by induction that the value function of the multiple stopping problem can be interpreted as the one for the single stopping problem associated with a new reward family, which allows us to construct the optimal multiple stopping times. If the reward family satisfies some strong regularity conditions, we show that the reward family and the value functions can be aggregated by some progressive processes. Hence, the optimal stopping times can be represented as hitting times.


Perfect submonoids of dominant weights. Let G be a connected semisimple group. Vinberg introduced the notion of perfect submonoids of dominant weights of G in the study of Vinberg monoids. In this paper, we give explicit descriptions of the perfect submonoids.


The Power of Pivoting for Exact Clique Counting. Clique counting is a fundamental task in network analysis, and even the simplest setting of 3 cliques (triangles) has been the center of much recent research. Getting the count of k cliques for larger k is algorithmically challenging, due to the exponential blowup in the search space of large cliques. But a number of recent applications (especially for community detection or clustering) use larger clique counts. Moreover, one often desires textit local counts, the number of k cliques per vertex edge. Our main result is Pivoter, an algorithm that exactly counts the number of k cliques, textit for all values of k . It is surprisingly effective in practice, and is able to get clique counts of graphs that were beyond the reach of previous work. For example, Pivoter gets all clique counts in a social network with a 100M edges within two hours on a commodity machine. Previous parallel algorithms do not terminate in days. Pivoter can also feasibly get local per vertex and per edge k clique counts (for all k ) for many public data sets with tens of millions of edges. To the best of our knowledge, this is the first algorithm that achieves such results. The main insight is the construction of a Succinct Clique Tree (SCT) that stores a compressed unique representation of all cliques in an input graph. It is built using a technique called textit pivoting , a classic approach by Bron Kerbosch to reduce the recursion tree of backtracking algorithms for maximal cliques. Remarkably, the SCT can be built without actually enumerating all cliques, and provides a succinct data structure from which exact clique statistics ( k clique counts, local counts) can be read off efficiently.


Genus one minimal k noids and saddle towers in mathbb H 2 times mathbb R . For each k geq 3 , we construct a 1 parameter family of complete properly Alexandrov embedded minimal surfaces in the Riemannian product space mathbb H 2 times mathbb R with genus 1 and k embedded ends asymptotic to vertical planes. We also obtain complete minimal surfaces with genus 1 and 2k ends in the quotient of mathbb H 2 times mathbb R by an arbitrary vertical translation. They all have dihedral symmetry with respect to k vertical planes, as well as finite total curvature 4k pi . Finally, we also provide examples of complete properly Alexandrov embedded minimal surfaces with finite total curvature with genus 1 in quotients of mathbb H 2 times mathbb R by the action of a hyperbolic or parabolic translation.