Targeting Receptor Binding Domain and Cryptic Pocket of Spike glycoprotein from SARS CoV 2 by biomolecular modeling. SARS CoV 2, the causative agent of the disease known as Covid 19, has so far reported around 3,435,000 cases of human infections, including more than 239,000 deaths in 187 countries, with no effective treatment currently available. For this reason, it is necessary to explore new approaches for the development of a drug capable of inhibiting the entry of the virus into the host cell. Therefore, this work includes the exploration of potential inhibitory compounds for the Spike protein of SARS CoV 2 (PDB ID 6VSB), which were obtained from The Patogen Box. Later, they were filtered through virtual screening and molecular docking techniques, thus obtaining a top of 1000 compounds, which were used against a binding site located in the Receptor Binding Domain (RBD) and a cryptic site located in the N Terminal Domain (NTD), resulting in good pharmaceutical targets for the blocking the infection. From the top 1000, the best compound (TCMDC 124223) was selected for the binding site. It interacts with specific residues that intervene in the recognition and subsequent entry into the host cell, resulting in a more favorable binding free energy in comparison to the control compounds (Hesperidine and Emodine). In the same way, the compound TCMDC 133766 was selected for the cryptic site. These identified compounds are potential inhibitors that can be used for the development of new drugs that allow effective treatment for the disease.


Cellularity of the p Canonical Basis for Symmetric Groups. For symmetric groups we show that the p canonical basis can be extended to a cell datum for the Iwahori Hecke algebra H and that the two sided p cell preorder coincides with the Kazhdan Lusztig two sided cell preorder. Moreover, we show that left (or right) p cells inside the same two sided p cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).


A Collaborative Filtering Approach for the Automatic Tuning of Compiler Optimisations. Selecting the right compiler optimisations has a severe impact on programs' performance. Still, the available optimisations keep increasing, and their effect depends on the specific program, making the task human intractable. Researchers proposed several techniques to search in the space of compiler optimisations. Some approaches focus on finding better search algorithms, while others try to speed up the search by leveraging previously collected knowledge. The possibility to effectively reuse previous compilation results inspired us toward the investigation of techniques derived from the Recommender Systems field. The proposed approach exploits previously collected knowledge and improves its characterisation over time. Differently from current state of the art solutions, our approach is not based on performance counters but relies on Reaction Matching, an algorithm able to characterise programs looking at how they react to different optimisation sets. The proposed approach has been validated using two widely used benchmark suites, cBench and PolyBench, including 54 different programs. Our solution, on average, extracted 90 of the available performance improvement 10 iterations before current state of the art solutions, which corresponds to 40 fewer compilations and performance tests to perform.


Conceptual Software Engineering Applied to Movie Scripts and Stories. This study introduces another application of software engineering tools, conceptual modeling, which can be applied to other fields of research. One way to strengthen the relationship between software engineering and other fields is to develop a good way to perform conceptual modeling that is capable of addressing the peculiarities of these fields of study. This study concentrates on humanities and social sciences, which are usually considered softer and further away from abstractions and (abstract) machines. Specifically, we focus on conceptual modeling as a software engineering tool (e.g., UML) in the area of stories and movie scripts. Researchers in the humanities and social sciences might not use the same degree of formalization that engineers do, but they still find conceptual modeling useful. Current modeling techniques (e.g., UML) fail in this task because they are geared toward the creation of software systems. Similar Conceptual Modeling Language (e.g., ConML) has been proposed with the humanities and social sciences in mind and, as claimed, can be used to model anything. This study is a venture in this direction, where a software modeling technique, Thinging Machine (TM), is applied to movie scripts and stories. The paper presents a novel approach to developing diagrammatic static dynamic models of movie scripts and stories. The TM model diagram serves as a neutral and independent representation for narrative discourse and can be used as a communication instrument among participants. The examples presented include examples from Propp s model of fairytales the railway children and an actual movie script seem to point to the viability of the approach.


Nesting negations in FO2 over infinite words. We consider two variable first order logic FO2 over infinite words. Restricting the number of nested negations defines an infinite hierarchy its levels are often called the half levels of the FO2 quantifier alternation hierarchy. For every level of this hierarchy, we give an effective characterization. For the lower levels, this characterization is a combination of an algebraic and a topological property. For the higher levels, algebraic properties turn out to be sufficient. Within two variable first order logic, each algebraic property is a single ordered identity of omega terms. The topological properties are the same as for the lower half levels of the quantifier alternation hierarchy without the two variable restriction (i.e., the Cantor topology and the alphabetic topology). Our result generalizes the corresponding result for finite words. The proof uses novel techniques and is based on a refinement of Mal'cev products for ordered monoids.


Periodic orbits for periodic eco epidemiological systems with infected prey. We address the existence of periodic orbits for periodic eco epidemiological system with disease in the prey. To do it, we consider three main steps. Firstly we study a one parameter family of systems and obtain uniform bounds for the components of any periodic solution of these systems. Next, we make a suitable change of variables in our family of systems to establish the setting where we are able to apply Mawhin's continuation Theorem. Finally, we use Mawhin's continuation Theorem to obtain our result. Later on, we present two examples that include previous results in the literature and some numerical simulations to illustrate our results.


aether Distributed system emulation in Common Lisp. We describe a Common Lisp package suitable for the high level design, specification, simulation, and instrumentation of real time distributed algorithms and hardware on which to run them. We discuss various design decisions around the package structure, and we explore their consequences with small examples.


Depth Camera Based Particle Filter for Robotic Osteotomy Navigation. Active surgical robots lack acceptance in clinical practice, because they do not offer the flexibility and usability required for a versatile usage the systems require a large installation space or a complicated registration step, where the preoperative plan is aligned to the patient and transformed to the base frame of the robot. In this paper, a navigation system for robotic osteotomies is designed, which uses the raw depth images from a camera mounted on the flange of a lightweight robot arm. Consequently, the system does not require any rigid attachment of the robot or fiducials to the bone and the time consuming registration step is eliminated. Instead, only a coarse initialization is required which improves the usability in surgery. The full six dimensional pose of the iliac crest bone is estimated with a particle filter at a maximum rate of 90 Hz. The presented method is robust against changing lighting conditions, blood or tissue on the bone surface and partial occlusions caused by the surgeons. Proof of the usability in a clinical environment is successfully provided in a corpse study, where surgeons used an augmented reality osteotomy template, which was aligned to bone via the particle filters pose estimates for the resection of transplants from the iliac crest.


Learning Hierarchical Control for Robust In Hand Manipulation. Robotic in hand manipulation has been a long standing challenge due to the complexity of modelling hand and object in contact and of coordinating finger motion for complex manipulation sequences. To address these challenges, the majority of prior work has either focused on model based, low level controllers or on model free deep reinforcement learning that each have their own limitations. We propose a hierarchical method that relies on traditional, model based controllers on the low level and learned policies on the mid level. The low level controllers can robustly execute different manipulation primitives (reposing, sliding, flipping). The mid level policy orchestrates these primitives. We extensively evaluate our approach in simulation with a 3 fingered hand that controls three degrees of freedom of elongated objects. We show that our approach can move objects between almost all the possible poses in the workspace while keeping them firmly grasped. We also show that our approach is robust to inaccuracies in the object models and to observation noise. Finally, we show how our approach generalizes to objects of other shapes.


Pak Stanley labeling of the m Catalan hyperplane arrangement. We characterize in simple terms the Pak Stanley labels lambda(R) of the regions R of the m Catalan arrangement. We also propose a simple algorithm that returns R from lambda(R) . Finally, we characterize in close terms the labels of the relatively bounded regions.


The troublesome kernel why deep learning for inverse problems is typically unstable. There is overwhelming empirical evidence that Deep Learning (DL) leads to unstable methods in applications ranging from image classification and computer vision to voice recognition and automated diagnosis in medicine. Recently, a similar instability phenomenon has been discovered when DL is used to solve certain problems in computational science, namely, inverse problems in imaging. In this paper we present a comprehensive mathematical analysis explaining the many facets of the instability phenomenon in DL for inverse problems. Our main results not only explain why this phenomenon occurs, they also shed light as to why finding a cure for instabilities is so difficult in practice. Additionally, these theorems show that instabilities are typically not rare events rather, they can occur even when the measurements are subject to completely random noise and consequently how easy it can be to destablise certain trained neural networks. We also examine the delicate balance between reconstruction performance and stability, and in particular, how DL methods may outperform state of the art sparse regularization methods, but at the cost of instability. Finally, we demonstrate a counterintuitive phenomenon training a neural network may generically not yield an optimal reconstruction method for an inverse problem.


Towards a Public Key Management Framework for Virtual Assets and Virtual Asset Service Providers. The recent FATF Recommendations defines virtual assets and virtual assets service providers (VASP), and requires under the Travel Rule that originating VASPs obtain and hold required and accurate originator information and required beneficiary information on virtual asset transfers. In this paper we discuss the notion of key ownership evidence as a core part of originator and beneficiary information required by the FATF Recommendation. We discuss approaches to securely communicate the originator and beneficiary information between VASPs, and review existing standards for public key certificates as applied to VASPs and virtual asset transfers. We propose the notion of a trust network of VASPs in which originator and beneficiary information, including key ownership information, can be exchanged securely while observing individual privacy requirements.


VizCommender Computing Text Based Similarity in Visualization Repositories for Content Based Recommendations. Cloud based visualization services have made visual analytics accessible to a much wider audience than ever before. Systems such as Tableau have started to amass increasingly large repositories of analytical knowledge in the form of interactive visualization workbooks. When shared, these collections can form a visual analytic knowledge base. However, as the size of a collection increases, so does the difficulty in finding relevant information. Content based recommendation (CBR) systems could help analysts in finding and managing workbooks relevant to their interests. Toward this goal, we focus on text based content that is representative of the subject matter of visualizations rather than the visual encodings and style. We discuss the challenges associated with creating a CBR based on visualization specifications and explore more concretely how to implement the relevance measures required using Tableau workbook specifications as the source of content data. We also demonstrate what information can be extracted from these visualization specifications and how various natural language processing techniques can be used to compute similarity between workbooks as one way to measure relevance. We report on a crowd sourced user study to determine if our similarity measure mimics human judgement. Finally, we choose latent Dirichlet allocation (LDA) as a specific model and instantiate it in a proof of concept recommender tool to demonstrate the basic function of our similarity measure.


Inner Models from Extended Logics Part 1. If we replace first order logic by second order logic in the original definition of G "odel's inner model L , we obtain HOD. In this paper we consider inner models that arise if we replace first order logic by a logic that has some, but not all, of the strength of second order logic. Typical examples are the extensions of first order logic by generalized quantifiers, such as the Magidor Malitz quantifier, the cofinality quantifier, or stationary logic. Our first set of results show that both L and HOD manifest some amount of em formalism freeness in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between L and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals aleph 1 of V are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. We do not know whether this model satisfies the Continuum Hypothesis, assuming large cardinals, but we can show, assuming three Woodin cardinals and a measurable above them, that if the construction is relativized to a real, then on a cone of reals the Continuum Hypothesis is true in the relativized model.


Indexes in Microsoft SQL Server. Indexes are the best apposite choice for quickly retrieving the records. This is nothing but cutting down the number of Disk IO. Instead of scanning the complete table for the results, we can decrease the number of IO's or page fetches using index structures such as B Trees or Hash Indexes to retrieve the data faster. The most convenient way to consider an index is to think like a dictionary. It has words and its corresponding definitions against those words. The dictionary will have an index on "word" because when we open a dictionary and we want to fetch its corresponding word quickly, then find its definition. The dictionary generally contains just a single index an index ordered by word. When we modify any record and change the corresponding value of an indexed column in a clustered index, the database might require moving the entire row into a separately new position to maintain the rows in the sorted order. This action is essentially turned into an update query into a DELETE followed by an INSERT, and it decreases the performance of the query. The clustered index in the table can often be available on the primary key or a foreign key column because key values usually do not modify once a record is injected into the database.


Mobility restrictions for the control of epidemics When do they work?. Mobility restrictions travel advisories, trade and travel bans, border closures and, in extreme cases, area quarantines or cordons sanitaires are among the most widely used measures to control infectious diseases. Restrictions of this kind were important in the response to epidemics of SARS (2003), H1N1 influenza (2009), and Ebola (2014). However, they do not always work as expected. The imposition of a cordon sanitaire to control the 2014 West African Ebola outbreak, for example, is argued to have led to a higher than expected number of cases in the quarantined area. To determine when mobility restrictions reduce the size of an epidemic, we use a model of disease transmission within and between economically heterogeneous locally connected communities. One community comprises a low risk, resource rich, low density population with access to effective medical resources. The other comprises a high risk, resource poor, high density population without access to effective medical resources. We find that the overall size of an epidemic centered in the high risk community is sensitive to the stringency of mobility restrictions between the two communities. Unrestricted mobility between the two risk communities increases the number of secondary cases in the low risk community but reduces the overall epidemic size. By contrast, the imposition of a cordon sanitaire around the high risk community reduces the number of secondary infections in the low risk community but increases the overall epidemic size. The degree to which mobility restrictions increase or decrease the overall epidemic size depends on the level of risk in each community and the characteristics of the disease.


Heatmap based Vanishing Point boosts Lane Detection. Vision based lane detection (LD) is a key part of autonomous driving technology, and it is also a challenging problem. As one of the important constraints of scene composition, vanishing point (VP) may provide a useful clue for lane detection. In this paper, we proposed a new multi task fusion network architecture for high precision lane detection. Firstly, the ERFNet was used as the backbone to extract the hierarchical features of the road image. Then, the lanes were detected using image segmentation. Finally, combining the output of lane detection and the hierarchical features extracted by the backbone, the lane VP was predicted using heatmap regression. The proposed fusion strategy was tested using the public CULane dataset. The experimental results suggest that the lane detection accuracy of our method outperforms those of state of the art (SOTA) methods.


Optimization of Integer Forcing Precoding for Multi User MIMO Downlink. Integer forcing (IF) precoding is an alternative to linear precoding for multi user (MU) multiple input multiple output (MIMO) channels, with the potential to offer superior performance at a similar complexity. In this letter, a low complexity suboptimal method is proposed to optimize the parameters of an IF scheme for any number of K users. The proposed method involves solving a relaxation of the problem followed by the application of a lattice reduction algorithm and is shown to have an overall complexity of mathcal O (K 3) . Simulation results show that the proposed method achieves a higher sum rate than a heuristic choice of parameters and significantly outperforms conventional linear precoding in all simulated scenarios.


Automatic Table completion using Knowledge Base. Table is a popular data format to organize and present relational information. Users often have to manually compose tables when gathering their desiderate information (e.g., entities and their attributes) for decision making. In this work, we propose to resolve a new type of heterogeneous query viz tabular query, which contains a natural language query description, column names of the desired table, and an example row. We aim to acquire more entity tuples (rows) and automatically fill the table specified by the tabular query. We design a novel framework AutoTableComplete which aims to integrate schema specific structural information with the natural language contextual information provided by the user, to complete tables automatically, using a heterogeneous knowledge base (KB) as the main information source. Given a tabular query as input, our framework first constructs a set of candidate chains that connect the given example entities in KB. We learn to select the best matching chain from these candidates using the semantic context from tabular query. The selected chain is then converted into a SPARQL query, executed against KB to gather a set of candidate rows, that are then ranked in order of their relevance to the tabular query, to complete the desired table. We construct a new dataset based on tables in Wikipedia pages and Freebase, using which we perform a wide range of experiments to demonstrate the effectiveness of AutoTableComplete as well as present a detailed error analysis of our method.


On the Energy and Data Storage Management in Energy Harvesting Wireless Communications. Energy harvesting (EH) in wireless communications has become the focus of recent transmission technology studies. Herein, energy storage modeling is one of the crucial design benchmarks that must be treated carefully. Understanding the energy storage dynamics and the throughput levels is essential especially for communication systems in which the performance depends solely on harvested energy. While energy outages should be avoided, energy overflows should also be prevented in order to utilize all harvested energy. Hence, a simple, yet comprehensive, analytical model that can represent the characteristics of a general class of EH wireless communication systems needs to be established. In this paper, invoking tools from large deviation theory along with Markov processes, a firm connection between the energy state of the battery and the data transmission process over a wireless channel is established for an EH transmitter. In particular, a simple exponential approximation for the energy overflow probability is formulated, with which the energy decay rate in the battery as a measure of energy usage is characterized. Then, projecting the energy outages and supplies on a Markov process, a discrete state model is established and an expression for the energy outage probability for given energy arrival and demand processes is provided. Finally, under energy overflow and outage constraints, the average data service (transmission) rate over the wireless channel is obtained and the effective capacity of the system, which characterizes the maximum data arrival rate at the transmitter buffer under quality of service (QoS) constraints imposed on the data buffer overflow probability, is derived.


Gathering GitHub OSS Requirements from Q A Community an Empirical Study. Cross community collaboration can exploit the expertise and knowledges of crowds in different communities. Recently increasing users in open source software (OSS) community like GitHub attempt to gather software requirements from question and answer (Q A) communities such as Stack Overflow (SO). In order to investigate this emerging crosscommunity collaboration phenomenon, the paper presents an exploratory study on cross community requirements gathering of OSS projects in GitHub. We manually sample 3266 practice cases and quantitatively analyze the popularity of the phenomenon, the characteristics of the gathered requirements, and collaboration behaviors of cross community. Some important findings are obtained more than half of the requirements gathered from SO are enhancements and the majority of the gathered requirements arenon functionalrequirements.Inaddition,OSSdeveloperscan directlyobtainrelatedsolutionsandcontributionsofthegathered requirements from SO in the gathering process.


Harmonic maps from surfaces of arbitrary genus into spheres. We relate the existence problem of harmonic maps into S 2 to the convex geometry of S 2 . On one hand, this allows us to construct new examples of harmonic maps of degree 0 from compact surfaces of arbitrary genus into S 2 . On the other hand, we produce new example of regions that do not contain closed geodesics (that is, harmonic maps from S 1 ) but do contain images of harmonic maps from other domains. These regions can therefore not support a strictly convex function. Our construction builds upon an example of W. Kendall, and uses M. Struwe's heat flow approach for the existence of harmonic maps from surfaces.


Optimal Reconstruction Codes for Deletion Channels. The sequence reconstruction problem, introduced by Levenshtein in 2001, considers a communication scenario where the sender transmits a codeword from some codebook and the receiver obtains multiple noisy reads of the codeword. Motivated by modern storage devices, we introduced a variant of the problem where the number of noisy reads N is fixed (Kiah et al. 2020). Of significance, for the single deletion channel, using log 2 log 2 n O(1) redundant bits, we designed a reconstruction code of length n that reconstructs codewords from two distinct noisy reads. In this work, we show that log 2 log 2 n O(1) redundant bits are necessary for such reconstruction codes, thereby, demonstrating the optimality of our previous construction. Furthermore, we show that these reconstruction codes can be used in t deletion channels (with t ge 2 ) to uniquely reconstruct codewords from n t 1 O left(n t 2 right) distinct noisy reads.


Fourier series based modeling of the dynamics of inclined closed loop buoyancy driven heat exchangers with conjugate effect. The modelling of the dynamics of inclined closed loop buoyancy driven heat exchangers with inclusion of the wall conduction effect at the heat exchanger is presented in the current study. A Coupled Natural Circulation Loop (CNCL) is an ideal system for studying the closed loop buoyancy driven heat exchanger. The modelling utilises a Fourier series based approach to develop a 1 D model which is then verified with the 3 D CFD studies of the respective cases. A good agreement is observed with the 3 D CFD data, which demonstrates the suitability of the 1 D model for transient behaviour prediction. The non dimensional numbers and thermal coupling sensitivity coefficients which govern the dynamics of the CNCL are identified and an appropriate parametric study is conducted. Results show that the wall conduction and inclination have a significant effect on the transient behaviour of the CNCL system. A jump in the heat transfer coefficient with variation in the inclination of the Conjugate CNCL system is observed. The 1 D model is also able to capture the flow direction reversal with change in the inclination of the Conjugate CNCL system for zero flow field initial conditions.


Variational Structure and Two Dimensional Jet Flows for Compressible Euler System with Non zero Vorticity. In this paper, we investigate the well posedness theory of compressible jet flows for two dimensional steady Euler system with non zero vorticity. One of the key observations is that the stream function formulation for two dimensional compressible steady Euler system with non zero vorticity enjoys a variational structure, so that the jet problem can be reformulated as a domain variation problem. This allows us to adapt the framework developed by Alt, Caffarelli and Friedman for the one phase free boundary problems to obtain the existence and uniqueness of smooth solutions to the subsonic jet problem with non zero vorticity. We also show that there is a critical mass flux, such that as long as the incoming mass flux does not exceed the critical value, the well posedness theory holds true.


Distributed Learning with Low Communication Cost via Gradient Boosting Untrained Neural Network. For high dimensional data, there are huge communication costs for distributed GBDT because the communication volume of GBDT is related to the number of features. To overcome this problem, we propose a novel gradient boosting algorithm, the Gradient Boosting Untrained Neural Network(GBUN). GBUN ensembles the untrained randomly generated neural network that softly distributes data samples to multiple neuron outputs and dramatically reduces the communication costs for distributed learning. To avoid creating huge neural networks for high dimensional data, we extend Simhash algorithm to mimic forward calculation of the neural network. Our experiments on multiple public datasets show that GBUN is as good as conventional GBDT in terms of prediction accuracy and much better than it in scaling property for distributed learning. Comparing to conventional GBDT varieties, GBUN speeds up the training process up to 13 times on the cluster with 64 machines, and up to 4614 times on the cluster with 100KB s network bandwidth. Therefore, GBUN is not only an efficient distributed learning algorithm but also has great potentials for federated learning.


Further comments on a fixed point theorem in the fractal space. In this paper, we give some further comments to the counterexample and the results of R. K. Bisht in R. K. Bisht. newblock Comment on A new fixed point theorem in the fractal space . newblock em Indag. Math. (N.S.) , 29(2) 819 823, 2018. .


An algebraic study of S5 modal G "odel logic. In this paper we continue the study of the variety mathbb MG of monadic G "odel algebras. These algebras are the equivalent algebraic semantics of the S5 modal expansion of G "odel logic, which is equivalent to the one variable monadic fragment of first order G "odel logic. We show three families of locally finite subvarieties of mathbb MG and give their equational bases. We also introduce a topological duality for monadic G "odel algebras and, as an application of this representation theorem, we characterize congruences and give characterizations of the locally finite subvarieties mentioned above by means of their dual spaces. Finally, we study some further properties of the subvariety generated by monadic G "odel chains we present a characteristic chain for this variety, we prove that a Glivenko type theorem holds for these algebras and we characterize free algebras over n generators.


Interview A Large Scale Open Source Corpus of Media Dialog. Existing conversational datasets consist either of written proxies for dialog or small scale transcriptions of natural speech. We introduce 'Interview' a large scale (105K conversations) media dialog dataset collected from news interview transcripts. Compared to existing large scale proxies for conversational data, language models trained on our dataset exhibit better zero shot out of domain performance on existing spoken dialog datasets, demonstrating its usefulness in modeling real world conversations. 'Interview' contains speaker role annotations for each turn, facilitating the development of engaging, responsive dialog systems. In fact, experiments on two dialog tasks show that leveraging such labels improves performance over strong speaker agnostic baselines, and enabling models to generate more specific and inquisitive responses in interview style conversations.


An Improved Error Term for Tur acute rm a n Number of Expanded Non degenerate 2 graphs. For a 2 graph F , let H F (r) be the r graph obtained from F by enlarging each edge with a new set of r 2 vertices. We show that if chi(F) ell r geq 2 , then rm ex (n,H F (r) ) t r (n, ell 1) Theta( rm biex (n,F)n r 2 ), where t r (n, ell 1) is the number of edges of an n vertex complete balanced ell 1 partite r graph and rm biex (n,F) is the extremal number of the decomposition family of F . Since rm biex (n,F) O(n 2 gamma ) for some gamma 0 , this improves on the bound rm ex (n,H F (r) ) t r (n, ell 1) o(n r) by Mubayi (2016). Furthermore, our result implies that rm ex (n,H F (r) ) t r (n, ell 1) when F is edge critical, which is an extension of the result of Pikhurko (2013).


QADiscourse Discourse Relations as QA Pairs Representation, Crowdsourcing and Baselines. Discourse relations describe how two propositions relate to one another, and identifying them automatically is an integral part of natural language understanding. However, annotating discourse relations typically requires expert annotators. Recently, different semantic aspects of a sentence have been represented and crowd sourced via question and answer (QA) pairs. This paper proposes a novel representation of discourse relations as QA pairs, which in turn allows us to crowd source wide coverage data annotated with discourse relations, via an intuitively appealing interface for composing such questions and answers. Based on our proposed representation, we collect a novel and wide coverage QADiscourse dataset, and present baseline algorithms for predicting QADiscourse relations.


Minimal Representations of Order Types by Geometric Graphs. In order to have a compact visualization of the order type of a given point set S, we are interested in geometric graphs on S with few edges that unambiguously display the order type of S. We introduce the concept of exit edges, which prevent the order type from changing under continuous motion of vertices. That is, in the geometric graph on S whose edges are the exit edges, in order to change the order type of S, at least one vertex needs to move across an exit edge. Exit edges have a natural dual characterization, which allows us to efficiently compute them and to bound their number.


Deep Learning Techniques for Future Intelligent Cross Media Retrieval. With the advancement in technology and the expansion of broadcasting, cross media retrieval has gained much attention. It plays a significant role in big data applications and consists in searching and finding data from different types of media. In this paper, we provide a novel taxonomy according to the challenges faced by multi modal deep learning approaches in solving cross media retrieval, namely representation, alignment, and translation. These challenges are evaluated on deep learning (DL) based methods, which are categorized into four main groups 1) unsupervised methods, 2) supervised methods, 3) pairwise based methods, and 4) rank based methods. Then, we present some well known cross media datasets used for retrieval, considering the importance of these datasets in the context in of deep learning based cross media retrieval approaches. Moreover, we also present an extensive review of the state of the art problems and its corresponding solutions for encouraging deep learning in cross media retrieval. The fundamental objective of this work is to exploit Deep Neural Networks (DNNs) for bridging the "media gap", and provide researchers and developers with a better understanding of the underlying problems and the potential solutions of deep learning assisted cross media retrieval. To the best of our knowledge, this is the first comprehensive survey to address cross media retrieval under deep learning methods.


Active Rendezvous for Multi Robot Pose Graph Optimization using Sensing over Wi Fi. We present a novel framework for collaboration amongst a team of robots performing Pose Graph Optimization (PGO) that addresses two important challenges for multi robot SLAM i) that of enabling information exchange "on demand" via Active Rendezvous without using a map or the robot's location, and ii) that of rejecting outlying measurements. Our key insight is to exploit relative position data present in the communication channel between robots to improve groundtruth accuracy of PGO. We develop an algorithmic and experimental framework for integrating Channel State Information (CSI) with multi robot PGO it is distributed, and applicable in low lighting or featureless environments where traditional sensors often fail. We present extensive experimental results on actual robots and observe that using Active Rendezvous results in a 64 reduction in ground truth pose error and that using CSI observations to aid outlier rejection reduces ground truth pose error by 32 . These results show the potential of integrating communication as a novel sensor for SLAM.


A second order accurate structure preserving scheme for the Cahn Hilliard equation with a dynamic boundary condition. We propose a structure preserving finite difference scheme for the Cahn Hilliard equation with a dynamic boundary condition using the discrete variational derivative method (DVDM). In this approach, it is important and essential how to discretize the energy which characterizes the equation. By modifying the conventional manner and using an appropriate summation by parts formula, we can use a standard central difference operator as an approximation of an outward normal derivative on the discrete boundary condition of the scheme. We show that our proposed scheme is second order accurate in space, although the previous structure preserving scheme by Fukao Yoshikawa Wada (Commun. Pure Appl. Anal. 16 (2017), 1915 1938) is first order accurate in space. Also, we show the stability, the existence, and the uniqueness of the solution for the proposed scheme. Computation examples demonstrate the effectiveness of the proposed scheme. Especially through computation examples, we confirm that numerical solutions can be stably obtained by our proposed scheme.


Probabilistic key predistribution in mobile networks resilient to node capture attacks. We present a comprehensive analysis on connectivity and resilience of secure sensor networks under the widely studied q composite key predistribution scheme. For network connectivity which ensures that any two sensors can find a path in between for secure communication, we derive the conditions to guarantee connectivity in consideration of (i) node capture attacks, where the adversary may capture a set of sensors and compromise keys in their memory (ii) sensor mobility, meaning that sensors can move around so that the network topology may change over time (iii) physical transmission constraints, under which two sensors have to be within each other's transmission range for communication (iv) the boundary effect of network fields and (v) link unreliability, meaning that links are allowed to be unreliable. In contrast, many prior connectivity analyses of secure sensor networks often ignore the above issues. For resilience, although limited studies have presented formal analysis, it is often assumed that the adversary captures a random set of sensors, whereas this paper allows the adversary to capture an arbitrary set of sensors. We present conditions to ensure unassailability and unsplittability in secure sensor networks under the q composite scheme. Unassailability ensures that an adversary capturing any set consisting of a negligible fraction of sensors can compromise only a negligible fraction of communication links although the adversary may compromise communications between noncaptured nodes which happen to use keys that are shared by captured nodes. Unsplittability means that when a negligible fraction of sensors are captured, almost all of the remaining nodes are still securely connected. Based on the results of connectivity, unassailability and unsplittability, we provide useful guidelines for the design of secure sensor networks.


Uncertainty Aware Deep Calibrated Salient Object Detection. Existing deep neural network based salient object detection (SOD) methods mainly focus on pursuing high network accuracy. However, those methods overlook the gap between network accuracy and prediction confidence, known as the confidence uncalibration problem. Thus, state of the art SOD networks are prone to be overconfident. In other words, the predicted confidence of the networks does not reflect the real probability of correctness of salient object detection, which significantly hinder their real world applicability. In this paper, we introduce an uncertaintyaware deep SOD network, and propose two strategies from different perspectives to prevent deep SOD networks from being overconfident. The first strategy, namely Boundary Distribution Smoothing (BDS), generates continuous labels by smoothing the original binary ground truth with respect to pixel wise uncertainty. The second strategy, namely Uncertainty Aware Temperature Scaling (UATS), exploits a relaxed Sigmoid function during both training and testing with spatially variant temperature scaling to produce softened output. Both strategies can be incorporated into existing deep SOD networks with minimal efforts. Moreover, we propose a new saliency evaluation metric, namely dense calibration measure C, to measure how the model is calibrated on a given dataset. Extensive experimental results on seven benchmark datasets demonstrate that our solutions can not only better calibrate SOD models, but also improve the network accuracy.


Adaptive Graph Diffusion Networks with Hop wise Attention. Graph Neural Networks (GNNs) have received much attention recent years and have achieved state of the art performances in many fields. The deeper GNNs can theoretically capture deeper neighborhood information. However, they often suffer from problems of over fitting and over smoothing. In order to incorporate deeper information while preserving considerable complexity and generalization ability, we propose Adaptive Graph Diffusion Networks with Hop wise Attention (AGDNs HA). We stack multi hop neighborhood aggregations of different orders into single layer. Then we integrate them with the help of hop wise attention, which is learnable and adaptive for each node. Experimental results on the standard dataset with semi supervised node classification task show that our proposed methods achieve significant improvements.


Structural classification of continuous time Markov chains with applications. This paper is motivated by examples from stochastic reaction network theory. The Q matrix of a stochastic reaction network can be derived from the reaction graph, an edge labelled directed graph encoding the jump vectors of an associated continuous time Markov chain on the invariant space mathbb N d 0 . An open question is how to decompose the space mathbb N d 0 into neutral, trapping, and escaping states, and open and closed communicating classes, and whether this can be done from the reaction graph alone. Such general continuous time Markov chains can be understood as natural generalizations of birth death processes, incorporating multiple different birth and death mechanisms. We characterize the structure of mathbb N d 0 imposed by a general Q matrix generating continuous time Markov chains with values in mathbb N d 0 , in terms of the set of jump vectors and their corresponding transition rate functions. Thus the setting is not limited to stochastic reaction networks. Furthermore, we define structural equivalence of two Q matrices, and provide sufficient conditions for structural equivalence. Examples are abundant in applications. We apply the results to stochastic reaction networks, a Lotka Volterra model in ecology, the EnvZ OmpR system in systems biology, and a class of extended branching processes, none of which are birth death processes.


Disjoint hypercyclicity of weighted translations. Given a locally compact group G and 1 leq p infty , a sufficient condition ensuring the emph disjoint hypercyclicity of finitely many weighted translations on L p(G) was investigated in this paper.


Generalized negligible morphisms and their tensor ideals. We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category mathcal C over a local ring R . If the maximal ideal of R is generated by a single element, we show that any thick ideal of mathcal C admits an explicitely given modified trace function. As examples we consider various Deligne categories and the categories of tilting modules for a quantum group at a root of unity and for a semisimple, simply connected algebraic group in prime characteristic. We prove an elementary geometric description of the thick ideals in quantum type A and propose a similar one in the modular case.


Graph Neural Networks for Decentralized Multi Robot Path Planning. Effective communication is key to successful, decentralized, multi robot path planning. Yet, it is far from obvious what information is crucial to the task at hand, and how and when it must be shared among robots. To side step these issues and move beyond hand crafted heuristics, we propose a combined model that automatically synthesizes local communication and decision making policies for robots navigating in constrained workspaces. Our architecture is composed of a convolutional neural network (CNN) that extracts adequate features from local observations, and a graph neural network (GNN) that communicates these features among robots. We train the model to imitate an expert algorithm, and use the resulting model online in decentralized planning involving only local communication and local observations. We evaluate our method in simulations by navigating teams of robots to their destinations in 2D cluttered workspaces. We measure the success rates and sum of costs over the planned paths. The results show a performance close to that of our expert algorithm, demonstrating the validity of our approach. In particular, we show our model's capability to generalize to previously unseen cases (involving larger environments and larger robot teams).


Incorporating variable viscosity in vorticity based formulations for Brinkman equations. In this brief note, we introduce a non symmetric mixed finite element formulation for Brinkman equations written in terms of velocity, vorticity and pressure with non constant viscosity. The analysis is performed by the classical Babu v s ka Brezzi theory, and we state that any inf sup stable finite element pair for Stokes approximating velocity and pressure can be coupled with a generic discrete space of arbitrary order for the vorticity. We establish optimal a priori error estimates which are further confirmed through computational examples


Easton's theorem for the tree property below aleph omega. Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal aleph n , 1 n omega , is consistent with an arbitrary continuum function below aleph omega which satisfies 2 aleph n aleph n 1 , n omega . Thus the tree property has no provable effect on the continuum function below aleph omega except for the restriction that the tree property at kappa implies 2 kappa kappa for every infinite kappa .


A Note on Species Richness and the Variance of Epidemic Severity. The commonly observed negative correlation between the number of species in an ecological community and disease risk, typically referred to as "the dilution effect", has received a substantial amount of attention over the past decade. Attempts to test this relationship experimentally have revealed that, in addition to the mean disease risk decreasing with species number, so too does the variance of disease risk. This is referred to as the "variance reduction effect", and has received relatively little attention in the disease diversity literature. Here, we set out to clarify and quantify some of these relationships in an idealized model of a randomly assembled multi species community undergoing an epidemic. We specifically investigate the variance of the community disease reproductive ratio, a multi species extension of the basic reproductive ratio R 0, for a family of random parameter meta community SIR models, and show how the variance of community R 0 varies depending on whether transmission is density or frequency dependent. We finally outline areas of further research on how changes in variance affect transmission dynamics in other systems.


Solitary wave solutions and global well posedness for a coupled system of gKdV equations. In this work we consider the initial value problem associated with a coupled system of generalized Korteweg de Vries equations. We present a relationship between the best constant for a Gagliardo Nirenberg type inequality and a criterion for the existence of global solutions in the energy space. We prove that such a constant is directly related to the existence problem of solitary wave solutions with minimal mass, the so called ground state solutions. To guarantee the existence of ground states we use a variational method.


Texture CNN for Thermoelectric Metal Pipe Image Classification. In this paper, the concept of representation learning based on deep neural networks is applied as an alternative to the use of handcrafted features in a method for automatic visual inspection of corroded thermoelectric metallic pipes. A texture convolutional neural network (TCNN) replaces handcrafted features based on Local Phase Quantization (LPQ) and Haralick descriptors (HD) with the advantage of learning an appropriate textural representation and the decision boundaries into a single optimization process. Experimental results have shown that it is possible to reach the accuracy of 99.20 in the task of identifying different levels of corrosion in the internal surface of thermoelectric pipe walls, while using a compact network that requires much less effort in tuning parameters when compared to the handcrafted approach since the TCNN architecture is compact regarding the number of layers and connections. The observed results open up the possibility of using deep neural networks in real time applications such as the automatic inspection of thermoelectric metal pipes.


The Neumann Problem for Parabolic Hessian Quotient Equations. In this paper, we consider the Neumann problem for parabolic Hessian quotient equations. We show that the k admissible solution of the parabolic Hessian quotient equation exists for all time and converges to the smooth solution of elliptic Hessian quotient equations. Also the solutions of the classical Neumann problem converge to a translating solution.


Coreferential Reasoning Learning for Language Representation. Language representation models such as BERT could effectively capture contextual semantic information from plain text, and have been proved to achieve promising results in lots of downstream NLP tasks with appropriate fine tuning. However, most existing language representation models cannot explicitly handle coreference, which is essential to the coherent understanding of the whole discourse. To address this issue, we present CorefBERT, a novel language representation model that can capture the coreferential relations in context. The experimental results show that, compared with existing baseline models, CorefBERT can achieve significant improvements consistently on various downstream NLP tasks that require coreferential reasoning, while maintaining comparable performance to previous models on other common NLP tasks. The source code and experiment details of this paper can be obtained from https github.com thunlp CorefBERT.


Validity of Image Theorems under Spherical Geometry. This paper deals with different image theorems, i.e., Love's equivalence principle, the induction equivalence principle and the physical optics equivalence principle, in the spherical geometry. The deviation of image theorem approximation is quantified by comparing the modal expansion coefficients between the electromagnetic field obtained from the image approximation and the exact electromagnetic field for the spherical geometry. Two different methods, i.e., the vector potential method through the spherical addition theorem and the dyadic Green's function method, are used to do the analysis. Applications of the spherical imaging theorems include metal mirror design and other electrically large object scattering.


The devil's staircase for chip firing on random graphs and on graphons. We study the behavior of the activity of the parallel chip firing upon increasing the number of chips on an Erd H o s R 'enyi random graph. We show that in various situations the resulting activity diagrams converge to a devil's staircase as we increase the number of vertices. Our method is to generalize the parallel chip firing to graphons, and to prove a continuity result for the activity. We also show that the activity of a chip configuration on a graphon does not necessarily exist, but it does exist for every chip configuration on a large class of graphons.


Joint Learning of Semantic Alignment and Object Landmark Detection. Convolutional neural networks (CNNs) based approaches for semantic alignment and object landmark detection have improved their performance significantly. Current efforts for the two tasks focus on addressing the lack of massive training data through weakly or unsupervised learning frameworks. In this paper, we present a joint learning approach for obtaining dense correspondences and discovering object landmarks from semantically similar images. Based on the key insight that the two tasks can mutually provide supervisions to each other, our networks accomplish this through a joint loss function that alternatively imposes a consistency constraint between the two tasks, thereby boosting the performance and addressing the lack of training data in a principled manner. To the best of our knowledge, this is the first attempt to address the lack of training data for the two tasks through the joint learning. To further improve the robustness of our framework, we introduce a probabilistic learning formulation that allows only reliable matches to be used in the joint learning process. With the proposed method, state of the art performance is attained on several standard benchmarks for semantic matching and landmark detection, including a newly introduced dataset, JLAD, which contains larger number of challenging image pairs than existing datasets.


Functional central limit theorems for epidemic models with varying infectivity. In this paper, we prove functional central limit theorems (FCLTs) for a stochastic epidemic model with varying infectivity and general infectious periods recently introduced in Forien, Pang and Pardoux (2020).The infectivity process (total force of infection at each time) is composed of the independent infectivity random functions of each infectious individual, which starts at the time of infection. These infectivity random functions induce the infectious periods (as well as exposed, recovered or immune periods in full generality), whose probability distributions can be very general. The epidemic model includes the generalized non Markovian SIR, SEIR, SIS, SIRS models with infection age dependent infectivity. In the FCLTs for the generalized SIR and SEIR models, the limits of the diffusion scaled fluctuations of the infectivity and susceptible processes are a unique solution to a two dimensional Gaussian driven stochastic Volterra integral equations, and then given these solutions, the limits for the infected (exposed infectious) and recovered processes are Gaussian processes expressed in terms of the solutions to those stochastic Volterra integral equations. We also present the FCLTs for the generalized SIS and SIRS models.


Discontinuous Galerkin method for a distributed optimal control problem governed by a time fractional diffusion equation. This paper is devoted to the numerical analysis of a control constrained distributed optimal control problem subject to a time fractional diffusion equation with non smooth initial data. The solutions of state and co state are decomposed into singular and regular parts, and some growth estimates are obtained for the singular parts. Following the variational discretization concept, a full discretization is applied to the corresponding state and co state equations by using linear conforming finite element method in space and piecewise constant discontinuous Galerkin method in time. By the growth estimates, error estimates are derived with non smooth initial data. In particular, graded temporal grids are used to obtain the first order temporal accuracy. Finally, numerical experiments are performed to verify the theoretical results.


Classification of simple bounded weight modules of the Lie algebra of vector fields on C n . Let W n be the Lie algebra of the Lie algebra of vector fields on C n . In this paper, we classify all simple bounded weight W n modules. Any such module is isomorphic to the simple quotient of a tensor module F(P,M) P otimes M for a simple weight module P over the Weyl algebra K n and a finite dimensional simple gl n module M .


Decompositions of the space of Riemannian metrics on a compact manifold with boundary. In this paper, for a compact manifold M with non empty boundary, we give a Koiso type decomposition theorem, as well as an Ebin type slice theorem, for the space of all Riemannian metrics on M endowed with a fixed conformal class on the boundary. As a corollary, we give a characterization of relative Einstein metrics.


User Concerns Tradeoffs in Technology Facilitated Contact Tracing. The COVID19 pandemic spread across the world in late 2019 and early 2020. As the pandemic spread, technologists joined forces with public health officials to develop apps to support COVID19 response. Yet, for these technological solutions to benefit public health, users must be willing to adopt these apps.This paper details the potential inputs to a user's decision to adopt a COVID19 contact tracing app or other technology and empirically validates the relevance of these inputs via both the literature and a demographically representative survey of 1,000 Americans.


Pre Learning Environment Representations for Data Efficient Neural Instruction Following. We consider the problem of learning to map from natural language instructions to state transitions (actions) in a data efficient manner. Our method takes inspiration from the idea that it should be easier to ground language to concepts that have already been formed through pre linguistic observation. We augment a baseline instruction following learner with an initial environment learning phase that uses observations of language free state transitions to induce a suitable latent representation of actions before processing the instruction following training data. We show that mapping to pre learned representations substantially improves performance over systems whose representations are learned from limited instructional data alone.


Unsupervised Bitext Mining and Translation via Self trained Contextual Embeddings. We describe an unsupervised method to create pseudo parallel corpora for machine translation (MT) from unaligned text. We use multilingual BERT to create source and target sentence embeddings for nearest neighbor search and adapt the model via self training. We validate our technique by extracting parallel sentence pairs on the BUCC 2017 bitext mining task and observe up to a 24.5 point increase (absolute) in F1 scores over previous unsupervised methods. We then improve an XLM based unsupervised neural MT system pre trained on Wikipedia by supplementing it with pseudo parallel text mined from the same corpus, boosting unsupervised translation performance by up to 3.5 BLEU on the WMT'14 French English and WMT'16 German English tasks and outperforming the previous state of the art. Finally, we enrich the IWSLT'15 English Vietnamese corpus with pseudo parallel Wikipedia sentence pairs, yielding a 1.2 BLEU improvement on the low resource MT task. We demonstrate that unsupervised bitext mining is an effective way of augmenting MT datasets and complements existing techniques like initializing with pre trained contextual embeddings.


Hessenberg varieties associated to ad nilpotent ideals. We consider Hessenberg varieties in the flag variety of GL n( mathbb C ) with the property that the corresponding Hessenberg function defines an ad nilpotent ideal. Each such Hessenberg variety is contained in a Springer fiber. We extend a theorem of Tymoczko to this setting, showing that these varieties have an affine paving obtained by intersecting with Schubert cells. Our method of proof constructs an an affine paving for each Springer fiber that restricts to an affine paving of the Hessenberg variety. We use the combinatorial properties of this paving to prove that Hessenberg varieties of this kind are connected.


A Gas Monitoring Chamber for High Pressure Applications. Time Projection Chambers (TPCs) operated at high pressure have become a topic of interest for future long baseline neutrino experiments. Pressurized gas retains the low momentum threshold for particle detection of atmospheric TPCs, but offers a larger target mass for neutrino interactions at the same volume. Operation at high pressure poses several new challenges in safety aspects regarding overpressure and high voltage safety. The presented High Pressure Gas Monitoring Chamber (HPGMC) can be used to study the suitability of various drift gas mixtures up to 10 bar and a maximum field of sim 3000 V cm . A flexible construction makes it possible to exchange parts of the inner detector and to test new technologies. In this work, the construction of a HPGMC and its commissioning using the P10 gas mixture ( 90 mathrm Ar 10 mathrm CH 4 ) are presented.


Enhancing the Discriminative Feature Learning for Visible Thermal Cross Modality Person Re Identification. Existing person re identification has achieved great progress in the visible domain, capturing all the person images with visible cameras. However, in a 24 hour intelligent surveillance system, the visible cameras may be noneffective at night. In this situation, thermal cameras are the best supplemental components, which capture images without depending on visible light. Therefore, in this paper, we investigate the visible thermal cross modality person re identification (VT Re ID) problem. In VT Re ID, there are two knotty problems should be well handled, cross modality discrepancy and intra modality variations. To address these two issues, we propose focusing on enhancing the discriminative feature learning (EDFL) with two extreme simple means from two core aspects, (1) skip connection for mid level features incorporation to improve the person features with more discriminability and robustness, and (2) dual modality triplet loss to guide the training procedures by simultaneously considering the cross modality discrepancy and intra modality variations. Additionally, the two stream CNN structure is adopted to learn the multi modality sharable person features. The experimental results on two datasets show that our proposed EDFL approach distinctly outperforms state of the art methods by large margins, demonstrating the effectiveness of our EDFL to enhance the discriminative feature learning for VT Re ID.


Solving quadratic matrix equations arising in random walks in the quarter plane. Quadratic matrix equations of the kind A 1X 2 A 0X A 1 X are encountered in the analysis of Quasi Birth Death stochastic processes where the solution of interest is the minimal nonnegative solution G . In many queueing models, described by random walks in the quarter plane, the coefficients A 1,A 0,A 1 are infinite tridiagonal matrices with an almost Toeplitz structure. Here, we analyze some fixed point iterations, including Newton's iteration, for the computation of G and introduce effective algorithms and acceleration strategies which fully exploit the Toeplitz structure of the matrix coefficients and of the current approximation. Moreover, we provide a structured perturbation analysis for the solution G . The results of some numerical experiments which demonstrate the effectiveness of our approach are reported.


JUMPS Joints Upsampling Method for Pose Sequences. Human Pose Estimation is a low level task useful forsurveillance, human action recognition, and scene understandingat large. It also offers promising perspectives for the animationof synthetic characters. For all these applications, and especiallythe latter, estimating the positions of many joints is desirablefor improved performance and realism. To this purpose, wepropose a novel method called JUMPS for increasing the numberof joints in 2D pose estimates and recovering occluded ormissing joints. We believe this is the first attempt to addressthe issue. We build on a deep generative model that combines aGenerative Adversarial Network (GAN) and an encoder. TheGAN learns the distribution of high resolution human posesequences, the encoder maps the input low resolution sequencesto its latent space. Inpainting is obtained by computing the latentrepresentation whose decoding by the GAN generator optimallymatches the joints locations at the input. Post processing a 2Dpose sequence using our method provides a richer representationof the character motion. We show experimentally that thelocalization accuracy of the additional joints is on average onpar with the original pose estimates.


On Sum Of Tails Identities. In this article, a finite analogue of the generalized sum of tails identity of Andrews and Freitas is obtained. We derive several interesting results as special cases of this analogue, in particular, a recent identity of Dixit, Eyyyunni, Maji and Sood. We derive a new extension of Abel's lemma with the help of which we obtain a one parameter generalization of a sum of tails identity of Andrews, Garvan and Liang, an identity of Ramanujan as well as two new results one for Ramanujan's function sigma(q) and another for the function recently introduced by Andrews and Ballantine. Later we introduce a new generalization mathrm FFW c (n) of a function of Fokkink, Fokkink and Wang and derive an identity for its generating function. This gives, as a special case, a recent representation for the generating function of mathrm spt (n) given by Andrews, Garvan and Liang. We also obtain some weighted partition identities along with new representations for two of Ramanujan's third order mock theta functions through combinatorial techniques.


Property (T) for fiber products. We study when the fiber product of groups with Property (T) has Property (T).


Enhanced Universal Dependency Parsing with Second Order Inference and Mixture of Training Data. This paper presents the system used in our submission to the textit IWPT 2020 Shared Task . Our system is a graph based parser with second order inference. For the low resource Tamil corpus, we specially mixed the training data of Tamil with other languages and significantly improved the performance of Tamil. Due to our misunderstanding of the submission requirements, we submitted graphs that are not connected, which makes our system only rank textbf 6th over 10 teams. However, after we fixed this problem, our system is 0.6 ELAS higher than the team that ranked textbf 1st in the official results.


EM Fusion Dynamic Object Level SLAM with Probabilistic Data Association. The majority of approaches for acquiring dense 3D environment maps with RGB D cameras assumes static environments or rejects moving objects as outliers. The representation and tracking of moving objects, however, has significant potential for applications in robotics or augmented reality. In this paper, we propose a novel approach to dynamic SLAM with dense object level representations. We represent rigid objects in local volumetric signed distance function (SDF) maps, and formulate multi object tracking as direct alignment of RGB D images with the SDF representations. Our main novelty is a probabilistic formulation which naturally leads to strategies for data association and occlusion handling. We analyze our approach in experiments and demonstrate that our approach compares favorably with the state of the art methods in terms of robustness and accuracy.


Taxonomies in DUI Design Patterns A Systematic Approach for Removing Overlaps Among Design Patterns and Creating a Clear Hierarchy. Recently a library of design patterns for designing distributed user interfaces (DUIs) was created to help researchers and designers to create user interfaces and to provide an overview of solutions to common DUIs design problems without requiring a significant amount of time to be spent on reading domain specific literature and exploring existing DUIs implementations. The current version of the DUI design patterns library need to be assessed because a lot of design patterns are overlapping each other and their relationships are not clear enough to effectively find the most relevant design pattern for solving particular design problem, so the purpose of this thesis is to mature the DUI design patterns knowledge field by removing the duplicate design patterns, their description and to create a taxonomy where each design pattern should be organised in a way that will reduce redundancy, possibly leading to grouping or eventually merging similar patterns and allow to navigate to related patterns. To achieve the defined goals, the first target was to investigate the possible overlaps among design patterns and their relevancy with each other, in order to get these insights natural language processing tool was built for extracting and analysing each design pattern research paper to find potential codes. Later in this study thematic analysis was done with domain experts to get themes, their description and higher level categories from generated codes to organize all related design patterns in a clear hierarchy. The outcomes of this thesis included the clarification of the relationships among design patterns by creating a taxonomy, clarified the description of individual design pattern, overlaps and duplicate design patterns were removed and merged similar design patterns.


Complements of Schubert polynomials. Let mathfrak S w(x) mathfrak S w(x 1, ldots,x n) be the Schubert polynomial for a permutation w of 1,2, ldots,n . For a composition mu ( mu 1, ldots, mu n) in mathbb Z geq 0 n , write x mu x 1 mu 1 cdots x n mu n . We say that x mu mathfrak S w(x 1 ) x mu mathfrak S w(x 1 1 , ldots,x n 1 ) is the complement of mathfrak S w(x) with respect to mu . Huh, Matherne, M 'esz 'aros and St.Dizier proved that mathrm N (x 1 n 1 cdots x n n 1 mathfrak S w(x 1 )) is a Lorentzian polynomial, where mathrm N is a linear operator sending a monomial x 1 mu 1 cdots x n mu n to frac x 1 mu 1 cdots x n mu n mu 1! cdots mu n! . They further conjectured that mathrm N ( mathfrak S w(x)) is Lorentzian. Motivated by this conjecture, we investigate the problem when x mu mathfrak S w(x 1 ) is still a Schubert polynomial. If x mu mathfrak S w(x 1 ) is a Schubert polynomial, then mathrm N ( mathfrak S w(x)) will be Lorentzian. In this paper, we pay attention to the typical case that mu delta n (n 1, ldots, 1,0) is the staircase partition. Our result shows that x delta n mathfrak S w(x 1 ) is a Schubert polynomial if and only if w avoids the two patterns 132 and 312.


Asymptotic Stability of Harmonic Maps on the Hyperbolic Plane Under the Schr "odinger Maps Evolution. We consider the Cauchy problem for the Schr "odinger maps evolution when the domain is the hyperbolic plane. An interesting feature of this problem compared to the more widely studied case on the Euclidean plane is the existence of a rich new family of finite energy harmonic maps. These are stationary solutions, and thus play an important role in the dynamics of Schr "odinger maps. The main result of this article is the asymptotic stability of (some of) such harmonic maps under the Schr "odinger maps evolution. More precisely, we prove the nonlinear asymptotic stability of a finite energy equivariant harmonic map Q under the Schr "odinger maps evolution with respect to non equivariant perturbations, provided Q obeys a suitable linearized stability condition. This condition is known to hold for all equivariant harmonic maps with values in the hyperbolic plane and for a subset of those maps taking values in the sphere. One of the main technical ingredients in the paper is a global in time local smoothing and Strichartz estimate for the operator obtained by linearization around a harmonic map, proved in the companion paper 36 .


Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling. In this paper we deal with a complex real world scheduling problem closely related to the well known Resource Constrained Project Scheduling Problem (RCPSP). The problem concerns industrial test laboratories in which a large number of tests has to be performed by qualified personnel using specialised equipment, while respecting deadlines and other constraints. We present different constraint programming models and search strategies for this problem. Furthermore, we propose a Very Large Neighborhood Search approach based on our CP methods. Our models are evaluated using CP solvers and a MIP solver both on real world test laboratory data and on a set of generated instances of different sizes based on the real world data. Further, we compare the exact approaches with VLNS and a Simulated Annealing heuristic. We could find feasible solutions for all instances and several optimal solutions and we show that using VLNS we can improve upon the results of the other approaches.


Weighted Leavitt path algebras that are isomorphic to unweighted Leavitt path algebras. Let K be a field. We characterise the row finite weighted graphs (E,w) such that the weighted Leavitt path algebra L K(E,w) is isomorphic to an unweighted Leavitt path algebra. Moreover, we prove that if L K(E,w) is locally finite, or Noetherian, or Artinian, or von Neumann regular, or has finite Gelfand Kirillov dimension, then L K(E,w) is isomorphic to an unweighted Leavitt path algebra.


Voronoi Diagrams Generated by the Archimedes Spiral. Voronoi mosaics inspired by the seed points placed on the Archimedes Spirals are reported. Voronoi entropy was calculated for these patterns. Equidistant and non equidistant patterns are treated. Voronoi mosaics built from cells of equal size which are of primary importance for decorative arts are reported. The pronounced prevalence of hexagons is inherent for the patterns with an equidistant and non equidistant distribution of points, when the distance between the seed points is of the same order of magnitude as the distance between the turns of the spiral. Penta and heptagonal 'defected' cells appeared in the Voronoi diagrams due to the finite nature of the pattern. The ordered Voronoi tessellations demonstrating the Voronoi entropy larger than 1.71, reported for the random 2D distribution of points, were revealed. The dependence of the Voronoi entropy on the total number of the seed points located on the Archimedes Spirals is reported. The aesthetic attraction of the Voronoi mosaics arising from seed points placed on the Archimedes Spirals is discussed.


Iteration complexity of an inner accelerated inexact proximal augmented Lagrangian method based on the classical Lagrangian function and a full Lagrange multiplier update. This paper establishes the iteration complexity of an inner accelerated inexact proximal augmented Lagrangian (IAIPAL) method for solving linearly constrained smooth nonconvex composite optimization problems that is based on the classical augmented Lagrangian (AL) function. More specifically, each IAIPAL iteration consists of inexactly solving a proximal AL subproblem by an accelerated composite gradient (ACG) method followed by a classical Lagrange multiplier update. Under the assumption that the domain of the composite function is bounded and the problem has a Slater point, it is shown that IAIPAL generates an approximate stationary solution in cal O ( rho 3 ) ACG iterations (up to a logarithmic term) where rho 0 is the tolerance for both stationarity and feasibility. Moreover, the above bound is derived without assuming that the initial point is feasible. Finally, numerical results are presented to demonstrate the strong practical performance of IAIPAL.


Broadband Transistor Injected Dual Doping Quantum Cascade Laser. A novel design friendly device called the transistor injected dual doping quantum cascade laser (TI D2QCL) with two different doping in each stack of a homogeneous superlattice is proposed. By adjusting the base emitter bias Vbe of the bipolar transistor to supply electrons in the dual doping regions, charge quasi neutrality can be achieved to generate different optical transitions in each cascading superlattice stack. These transitions are then stacked and amplified to contribute to a broad flat gain spectrum. Model calculations of a designed TI D2QCL show that a broad flat gain spectrum ranging from 9.41um to 12.01um with a relative bandwidth of 0.24 can be obtained, indicating that the TI D2QCL with dual doping pattern may open a new pathway to the appealing applications in both MIR and THz frequency ranges, from wideband optical generations to advanced frequency comb technologies.


Tailoring Topological Edge States with Photonic Crystal Nanobeam Cavities. The realization of topological edge states (TESs) in photonic systems has provided unprecedented opportunities for manipulating light in novel manners. The Su Schrieffer Heeger (SSH) model has recently gained significant attention and has been exploited in a wide range of photonic platforms to create TESs. We develop a photonic topological insulator strategy based on SSH photonic crystal nanobeam cavities. In contrast to the conventional photonic SSH schemes which are based on alternately tuned coupling strength in one dimensional lattice, our proposal provides higher flexibility and allows tailoring TESs by manipulating mode coupling in a two dimensional manner. We reveal that the proposed hole array based nanobeams in a dielectric membrane can selectively tailor single or double TESs in the telecommunication region by controlling the coupling strength of the adjacent SSH nanobeams in both vertical and horizontal directions. Our finding provides an in depth understanding of the SSH model, and allows an additional degree of freedom in exploiting the SSH model for integrated topological photonic devices with unique properties and functionalities.


On the Torelli group action on compact character varieties. The aim of this article is to prove that the Torelli group action on the G character varieties is ergodic for G a connected, semi simple and compact Lie group.


3D Rigid Motion Segmentation with Mixed and Unknown Number of Models. Many real world video sequences cannot be conveniently categorized as general or degenerate in such cases, imposing a false dichotomy in using the fundamental matrix or homography model for motion segmentation on video sequences would lead to difficulty. Even when we are confronted with a general scene motion, the fundamental matrix approach as a model for motion segmentation still suffers from several defects, which we discuss in this paper. The full potential of the fundamental matrix approach could only be realized if we judiciously harness information from the simpler homography model. From these considerations, we propose a multi model spectral clustering framework that synergistically combines multiple models (homography and fundamental matrix) together. We show that the performance can be substantially improved in this way. For general motion segmentation tasks, the number of independently moving objects is often unknown a priori and needs to be estimated from the observations. This is referred to as model selection and it is essentially still an open research problem. In this work, we propose a set of model selection criteria balancing data fidelity and model complexity. We perform extensive testing on existing motion segmentation datasets with both segmentation and model selection tasks, achieving state of the art performance on all of them we also put forth a more realistic and challenging dataset adapted from the KITTI benchmark, containing real world effects such as strong perspectives and strong forward translations not seen in the traditional datasets.


Magnetization around mix jets entering inertial confinement fusion fuel. Engineering features are known to cause jets of ablator material to enter the fuel hot spot in inertial confinement fusion implosions. The Biermann battery mechanism wraps them in self generated magnetic field. We show that higher Z jets have an additional thermoelectric magnetic source term that is not present for hydrogen jets, verified here through a kinetic simulation. It has similar magnitude to the Biermann term. We then include this in an extended magneto hydrodynamics approach to post process an xRAGE radiation hydrodynamic implosion simulation. The simulation includes an accurate model for the capsule fill tube, producing a dense carbon jet that becomes wrapped in a 4000T magnetic field. A simple spherical carbon mix model shows that this insulates the electron heat conduction enough to cause contraction of the jet to an optically thick equilibrium. The denser magnetized jet hydrodynamics could change its core penetration and therefore the final mix mass, which is known to be well correlated with fusion yield degradation. Fully exploring this will require self consistent magneto hydrodynamic simulations. Experimental signatures of this self magnetization may emerge in the high energy neutron spectrum.


Multivariate Quasi tight Framelets with High Balancing Orders Derived from Any Compactly Supported Refinable Vector Functions. Generalizing wavelets by adding desired redundancy and flexibility,framelets are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. In this paper, we circumvent the above difficulties through the approach of quasi tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported dm refinable vector function phi with multiplicity greater than one, we prove that we can always derive from phi a compactly supported multivariate quasi tight framelet such that (i) all the framelet generators have the highest possible order of vanishing moments (ii) its associated fast framelet transform is compact with the highest balancing order.For a refinable scalar function phi , the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP based multivariate quasi tight framelet derived from phi satisfying item (i).This paper provides a comprehensive investigation on OEP based multivariate quasi tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi tight multiframelets and their associated fast multiframelet transforms.


Radial modal transitions of Laguerre Gauss modes during parametric upconversion towards the full field selection rule of spatial modes. Optical orbital angular momentum transformation and corresponding azimuthal mode selection rules have been studied exhaustively for various nonlinear optical interactions. However, nonlinear transformation of radial mode has not been systematically studied since the pioneering work Phys. Rev. A 56, 4193, 1997 . In this paper, we theoretically study and experimentally verify the radial modal transitions of Laguerre Gauss (LG) modes in parametric upconversion. Specifically, we provide a general solution that describes the sum frequency generation (SFG) field excited by two arbitrary LG modes. Based on the solution, one can predict the full spatial complex amplitude of SFG fields upon propagation precisely and readily obtain the associated full field selection rule including both azimuthal and radial modes. This work provides a theoretical basis for quantum and nonlinear optical research involving parametric upconversion of complex structured light, and paves the way for future work on full field transformation of spatial modes in other nonlinear interactions.


On fast slow consensus networks with a dynamic weight. We study dynamic networks under an undirected consensus communication protocol and with one state dependent weighted edge. We assume that the aforementioned dynamic edge can take values over the whole real numbers, and that its behaviour depends on the nodes it connects and on an extrinsic slow variable. We show that, under mild conditions on the weight, there exists a reduction such that the dynamics of the network are organized by a transcritical singularity. As such, we detail a slow passage through a transcritical singularity for a simple network, and we observe that an exchange between consensus and clustering of the nodes is possible. In contrast to the classical planar fast slow transcritical singularity, the network structure of the system under consideration induces the presence of a maximal canard. Our main tool of analysis is the blow up method. Thus, we also focus on tracking the effects of the blow up transformation on the network's structure. We show that on each blow up chart one recovers a particular dynamic network related to the original one. We further indicate a numerical issue produced by the slow passage through the transcritical singularity.


Concentration estimates for algebraic intersections. We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree reduction that enables it to deal efficiently with higher dimensional problems and also with high degree varieties. We obtain sharp bounds that are new even in the case of lines in mathbb R n and show that besides doubly ruled varieties, only a certain rare family of varieties can be relevant for the study of incidence questions.


Peristaltic pumping in sub wavelength channels. We apply the lubrication approximation to solve for the flow generated by a peristaltic traveling wave in a finite, planar channel, and examine the effect of channel length. Cerebrospinal fluid (CSF) is hypothesized to be peristaltically transported by arterial pulsations through the perivascular spaces in the brain. Previous studies of peristaltic perivascular models have chosen model lengths ranging from sub wavelength, which is more physiologically realistic, to full wavelength. Here, we solve for peristaltic flow rates for arbitrary lengths, and find that sub wavelength channels significantly modulate the mean value, phase, and amplitude of flow rate for sinusoidal and general peristaltic waveforms. The boundary conditions create an internal pressure gradient such that the instantaneous flow rate varies along the length of the channel, and the difference between the ends and the middle of the channel is more pronounced for very short channels. This longitudinal distribution in flow rate is not observed emph in vivo in perivascular spaces at the surface of the brain, and hence sub wavelength peristaltic models whose boundary conditions are isolated from the larger perivascular network are limited in their ability to reproduce perivascular flows.


Natural oscillations of a sessile drop Inviscid theory. We present a fully analytical solution for the natural oscillation of an inviscid sessile drop of arbitrary contact angle on a horizontal plate for the case for the case of low Bond number, when surface tension dominates gravity. The governing equations are expressed in terms of the toroidal coordinate system which yields solutions involving hypergeometric functions. Resonant frequencies are identified for zonal, sectoral and tesseral vibration modes. The predictions show good agreement with experimental data reported in the literature, with better agreement than the model of citeauthor bostwick ( textit J. Fluid Mech. , vol. 760, 2014, 5 38), particularly for flatter drops (lower contact angle) and higher modes of vibration. The impact of viscous dissipation is discussed briefly.


Duality and H infty Optimal Control Of Coupled ODE PDE Systems. In this paper, we present a convex formulation of H infty optimal control problem for coupled linear ODE PDE systems with one spatial dimension. First, we reformulate the coupled ODE PDE system as a Partial Integral Equation (PIE) system and show that stability and H infty performance of the PIE system implies that of the ODE PDE system. We then construct a dual PIE system and show that asymptotic stability and H infty performance of the dual system is equivalent to that of the primal PIE system. Next, we pose a convex dual formulation of the stability and H infty performance problems using the Linear PI Inequality (LPI) framework. LPIs are a generalization of LMIs to Partial Integral (PI) operators and can be solved using PIETOOLS, a MATLAB toolbox. Next, we use our duality results to formulate the stabilization and H infty optimal state feedback control problems as LPIs. Finally, we illustrate the accuracy and scalability of the algorithms by constructing controllers for several numerical examples.


Gr "obner Bases with Reduction Machines. In this paper, we make a contribution to the computation of Gr "obner bases. For polynomial reduction, instead of choosing the leading monomial of a polynomial as the monomial with respect to which the reduction process is carried out, we investigate what happens if we make that choice arbitrarily. It turns out not only this is possible (the fact that this produces a normal form being already known in the literature), but, for a fixed choice of reductors, the obtained normal form is the same no matter the order in which we reduce the monomials. To prove this, we introduce reduction machines, which work by reducing each monomial independently and then collecting the result. We show that such a machine can simulate any such reduction. We then discuss different implementations of these machines. Some of these implementations address inherent inefficiencies in reduction machines (repeating the same computations). We describe a first implementation and look at some experimental results.


Federated Learning for Healthcare Informatics. With the rapid development of computer software and hardware technologies, more and more healthcare data are becoming readily available from clinical institutions, patients, insurance companies and pharmaceutical industries, among others. This access provides an unprecedented opportunity for data science technologies to derive data driven insights and improve the quality of care delivery. Healthcare data, however, are usually fragmented and private making it difficult to generate robust results across populations. For example, different hospitals own the electronic health records (EHR) of different patient populations and these records are difficult to share across hospitals because of their sensitive nature. This creates a big barrier for developing effective analytical approaches that are generalizable, which need diverse, "big data". Federated learning, a mechanism of training a shared global model with a central server while keeping all the sensitive data in local institutions where the data belong, provides great promise to connect the fragmented healthcare data sources with privacy preservation. The goal of this survey is to provide a review for federated learning technologies, particularly within the biomedical space. In particular, we summarize the general solutions to the statistical challenges, system challenges and privacy issues in federated learning, and point out the implications and potentials in healthcare.


On Lightweight Privacy Preserving Collaborative Learning for Internet of Things by Independent Random Projections. The Internet of Things (IoT) will be a main data generation infrastructure for achieving better system intelligence. This paper considers the design and implementation of a practical privacy preserving collaborative learning scheme, in which a curious learning coordinator trains a better machine learning model based on the data samples contributed by a number of IoT objects, while the confidentiality of the raw forms of the training data is protected against the coordinator. Existing distributed machine learning and data encryption approaches incur significant computation and communication overhead, rendering them ill suited for resource constrained IoT objects. We study an approach that applies independent random projection at each IoT object to obfuscate data and trains a deep neural network at the coordinator based on the projected data from the IoT objects. This approach introduces light computation overhead to the IoT objects and moves most workload to the coordinator that can have sufficient computing resources. Although the independent projections performed by the IoT objects address the potential collusion between the curious coordinator and some compromised IoT objects, they significantly increase the complexity of the projected data. In this paper, we leverage the superior learning capability of deep learning in capturing sophisticated patterns to maintain good learning performance. The extensive comparative evaluation shows that this approach outperforms other lightweight approaches that apply additive noisification for differential privacy and or support vector machines for learning in the applications with light to moderate data pattern complexities.


Review of Quadruped Robots for Dynamic Locomotion. This review introduces quadruped robots MITCheetah, HyQ, ANYmal, BigDog, and their mechanical structure, actuation, and control.


Solving Trust Region Subproblems Using Riemannian Optimization. The Trust Region Subproblem is a fundamental optimization problem that takes a pivotal role in Trust Region Methods. However, the problem, and variants of it, also arise in quite a few other applications. In this article, we present a family of globally convergent iterative Riemannian optimization algorithms for a variant of the Trust Region Subproblem that replaces the inequality constraint with an equality constraint. Our approach uses either a trivial or a non trivial Riemannian geometry of the search space, and requires only minimal spectral information about the quadratic component of the objective function. We further show how the theory of Riemannian optimization promotes a deeper understanding of the Trust Region Subproblem and its difficulties, e.g. a deep connection between the Trust Region Subproblem and the problem of finding affine eigenvectors, and a new examination of the so called hard case in light of the condition number of the Riemannian Hessian operator at a global optimum. Finally, we propose to incorporate preconditioning via a careful selection of a variable Riemannian metric, and establish bounds on the asymptotic convergence rate in terms of how well the preconditioner approximates the input matrix.


Solving Ergodic Markov Decision Processes and Perfect Information Zero sum Stochastic Games by Variance Reduced Deflated Value Iteration. Recently, Sidford, Wang, Wu and Ye (2018) developed an algorithm combining variance reduction techniques with value iteration to solve discounted Markov decision processes. This algorithm has a sublinear complexity when the discount factor is fixed. Here, we extend this approach to mean payoff problems, including both Markov decision processes and perfect information zero sum stochastic games. We obtain sublinear complexity bounds, assuming there is a distinguished state which is accessible from all initial states and for all policies. Our method is based on a reduction from the mean payoff problem to the discounted problem by a Doob h transform, combined with a deflation technique. The complexity analysis of this algorithm uses at the same time the techniques developed by Sidford et al. in the discounted case and non linear spectral theory techniques (Collatz Wielandt characterization of the eigenvalue).


Almost complex surfaces in the nearly Kahler SL(2,R)xSL(2,R). The space SL(2, mathbb R ) times SL(2, mathbb R ) admits a natural homogeneous pseudo Riemannian nearly Kaehler structure. We investigate almost complex surfaces in this space. In particular we obtain a complete classification of the totally geodesic almost complex surfaces and of the almost complex surfaces with parallel second fundamental form.


DeepCrawl Deep Reinforcement Learning for Turn based Strategy Games. In this paper we introduce DeepCrawl, a fully playable Roguelike prototype for iOS and Android in which all agents are controlled by policy networks trained using Deep Reinforcement Learning (DRL). Our aim is to understand whether recent advances in DRL can be used to develop convincing behavioral models for non player characters in videogames. We begin with an analysis of requirements that such an AI system should satisfy in order to be practically applicable in video game development, and identify the elements of the DRL model used in the DeepCrawl prototype. The successes and limitations of DeepCrawl are documented through a series of playability tests performed on the final game. We believe that the techniques we propose offer insight into innovative new avenues for the development of behaviors for non player characters in video games, as they offer the potential to overcome critical issues with