Three characterizations of a self similar aperiodic 2 dimensional subshift. The goal of this chapter is to illustrate a generalization of the Fibonacci word to the case of 2 dimensional configurations on mathbb Z 2 . More precisely, we consider a particular subshift of mathcal A mathbb Z 2 on the alphabet mathcal A 0, dots,18 for which we give three characterizations as the subshift mathcal X phi generated by a 2 dimensional morphism phi defined on mathcal A as the Wang shift Omega mathcal U defined by a set mathcal U of 19 Wang tiles as the symbolic dynamical system mathcal X mathcal P mathcal U ,R mathcal U representing the orbits under some mathbb Z 2 action R mathcal U defined by rotations on mathbb T 2 and coded by some topological partition mathcal P mathcal U of mathbb T 2 into 19 polygonal atoms. We prove their equality Omega mathcal U mathcal X phi mathcal X mathcal P mathcal U ,R mathcal U by showing they are self similar with respect to the substitution phi . This chapter provides a transversal reading of results divided into four different articles obtained through the study of the Jeandel Rao Wang shift. It gathers in one place the methods introduced to desubstitute Wang shifts and to desubstitute codings of mathbb Z 2 actions by focussing on a simple 2 dimensional self similar subshift. SageMath code to find marker tiles and compute the Rauzy induction of mathbb Z 2 rotations is provided allowing to reproduce the computations.


Normalyzing Numeronyms A NLP approach. This paper presents a method to apply Natural Language Processing for normalizing numeronyms to make them understandable by humans. We approach the problem through a two step mechanism. We make use of the state of the art Levenshtein distance of words. We then apply Cosine Similarity for selection of the normalized text and reach greater accuracy in solving the problem. Our approach garners accuracy figures of 71 and 72 for Bengali and English language, respectively.


TEL Low Latency Failover Traffic Engineering in Data Plane. Modern network applications demand low latency traffic engineering in the presence of network failure while preserving the quality of service constraints like delay and capacity. Fast Re Route (FRR) mechanisms are widely used for traffic re routing purposes in failure scenarios. Control plane FRR typically computes the backup forwarding rules to detour the traffic in the data plane when the failure occurs. This mechanism could be computed in the data plane with the emergence of programmable data planes. In this paper, we propose a system (called TEL) that contains two FRR mechanisms, namely, TEL C and TEL D. The first one computes backup forwarding rules in the control plane, satisfying max min fair allocation. The second mechanism provides FRR in the data plane. Both algorithms require minimal memory on programmable data planes and are well suited with modern line rate match action forwarding architectures (e.g., PISA). We implement both mechanisms on P4 programmable software switches (e.g., BMv2 and Tofino) and measure their performance on various topologies. The obtained results from a datacenter topology show that our FRR mechanism can improve the flow completion time up to 4.6x 7.3x (i.e., small flows) and 3.1x 12x (i.e., large flows) compared to recirculation based mechanisms, such as F10, respectively.


DQI Measuring Data Quality in NLP. Neural language models have achieved human level performance across several NLP datasets. However, recent studies have shown that these models are not truly learning the desired task rather, their high performance is attributed to overfitting using spurious biases, which suggests that the capabilities of AI systems have been over estimated. We introduce a generic formula for Data Quality Index (DQI) to help dataset creators create datasets free of such unwanted biases. We evaluate this formula using a recently proposed approach for adversarial filtering, AFLite. We propose a new data creation paradigm using DQI to create higher quality data. The data creation paradigm consists of several data visualizations to help data creators (i) understand the quality of data and (ii) visualize the impact of the created data instance on the overall quality. It also has a couple of automation methods to (i) assist data creators and (ii) make the model more robust to adversarial attacks. We use DQI along with these automation methods to renovate biased examples in SNLI. We show that models trained on the renovated SNLI dataset generalize better to out of distribution tasks. Renovation results in reduced model performance, exposing a large gap with respect to human performance. DQI systematically helps in creating harder benchmarks using active learning. Our work takes the process of dynamic dataset creation forward, wherein datasets evolve together with the evolving state of the art, therefore serving as a means of benchmarking the true progress of AI.


Experimental demonstration of multimode microresonator sensing by machine learning. A multimode microcavity sensor based on a self interference microring resonator is demonstrated experimentally. The proposed multimode sensing method is implemented by recording wideband transmission spectra that consist of multiple resonant modes. It is different from the previous dissipative sensing scheme, which aims at measuring the transmission depth changes of a single resonant mode in a microcavity. Here, by combining the dissipative sensing mechanism and the machine learning algorithm, the multimode sensing information extracted from a broadband spectrum can be efficiently fused to estimate the target parameter. The multimode sensing method is immune to laser frequency noises and robust against system imperfection, thus our work presents a great step towards practical applications of microcavity sensors outside the research laboratory. The voltage applied across the microheater on the chip was adjusted to bring its influence on transmittance through the thermo optic effects. As a proof of principle experiment, the voltage was detected by the multimode sensing approach. The experimental results demonstrate that the limit of detection of the multimode sensing by the general regression neural network is reduced to 6.7 of that of single mode sensing within a large measuring range.


A Smartphone App to Support Sedentary Behavior Change by Visualizing Personal Mobility Patterns and Action Planning (SedVis) Development and Pilot Study. Given the high prevalence of sedentary behavior in daily life, simple yet practical solutions for behavior change are needed to avoid detrimental health effects. The mobile app SedVis was developed based on the health action process approach. The app provides personal mobility pattern visualization (for both physical activity and sedentary behavior) and action planning for sedentary behavior change. The primary aim of the study is to investigate the effect of mobility pattern visualization on users' action planning for changing their sedentary behavior. The secondary aim is to evaluate user engagement with the visualization and user experience of the app. In a 3 week user study, participants were allocated to either an active control group (n 8) or an intervention group (n 8). In the 1 week baseline period, none of the participants had access to the functions in the app. In the following 2 week intervention period, only the intervention group was given access to the visualizations, whereas both groups were asked to make action plans every day and reduce their sedentary behavior. The results suggested that the visualizations in SedVis had no effect on the participants' action planning according to both the NHST and Bayesian statistics. The intervention involving visualizations and action planning in SedVis had a positive effect on reducing participants' sedentary hours, with weak evidence according to Bayesian statistics, whereas no change in sedentary time was more likely in the active control condition. Furthermore, Bayesian analysis weakly suggested that the more frequently the users checked the app, the more likely they were to reduce their sedentary behavior.


A multi agent ontologies based clinical decision support system. Clinical decision support systems combine knowledge and data from a variety of sources, represented by quantitative models based on stochastic methods, or qualitative based rather on expert heuristics and deductive reasoning. At the same time, case based reasoning (CBR) memorizes and returns the experience of solving similar problems. The cooperation of heterogeneous clinical knowledge bases (knowledge objects, semantic distances, evaluation functions, logical rules, databases...) is based on medical ontologies. A multi agent decision support system (MADSS) enables the integration and cooperation of agents specialized in different fields of knowledge (semiology, pharmacology, clinical cases, etc.). Each specialist agent operates a knowledge base defining the conduct to be maintained in conformity with the state of the art associated with an ontological basis that expresses the semantic relationships between the terms of the domain in question. Our approach is based on the specialization of agents adapted to the knowledge models used during the clinical steps and ontologies. This modular approach is suitable for the realization of MADSS in many areas.


Global Regularity for minimal graphs over convex domains in hyperbolic space. In this paper we study the global regularity for the solution to the Dirichlet problem of the equation of minimal graphs over a convex domain in hyperbolic spaces. We find that the global regularity depends only on the convexity of the domain but independent of its smoothness. Basing on the invariance of the problem under translation and rotation transforms, we construct the super solution to the problem, by which we prove the optimal and accurate global regularity for this problem.


Temporal Spike Sequence Learning via Backpropagation for Deep Spiking Neural Networks. Spiking neural networks (SNNs) are well suited for spatio temporal learning and implementations on energy efficient event driven neuromorphic processors. However, existing SNN error backpropagation (BP) methods lack proper handling of spiking discontinuities and suffer from low performance compared with the BP methods for traditional artificial neural networks. In addition, a large number of time steps are typically required to achieve decent performance, leading to high latency and rendering spike based computation unscalable to deep architectures. We present a novel Temporal Spike Sequence Learning Backpropagation (TSSL BP) method for training deep SNNs, which breaks down error backpropagation across two types of inter neuron and intra neuron dependencies and leads to improved temporal learning precision. It captures inter neuron dependencies through presynaptic firing times by considering the all or none characteristics of firing activities and captures intra neuron dependencies by handling the internal evolution of each neuronal state in time. TSSL BP efficiently trains deep SNNs within a much shortened temporal window of a few steps while improving the accuracy for various image classification datasets including CIFAR10.


The Region Smoothing Swap Game. We introduce a topological combinatorial game called the Region Smoothing Swap Game. The game is played on a game board derived from the connected shadow of a link diagram on a (possibly non orientable) surface by smoothing at crossings. Moves in the game are performed on regions of the diagram and can switch the direction of certain crossings' smoothing. The players' goals relate to the connectedness of the diagram produced by game play.


Deep Heterogeneous Hashing for Face Video Retrieval. Retrieving videos of a particular person with face image as a query via hashing technique has many important applications. While face images are typically represented as vectors in Euclidean space, characterizing face videos with some robust set modeling techniques (e.g. covariance matrices as exploited in this study, which reside on Riemannian manifold), has recently shown appealing advantages. This hence results in a thorny heterogeneous spaces matching problem. Moreover, hashing with handcrafted features as done in many existing works is clearly inadequate to achieve desirable performance for this task. To address such problems, we present an end to end Deep Heterogeneous Hashing (DHH) method that integrates three stages including image feature learning, video modeling, and heterogeneous hashing in a single framework, to learn unified binary codes for both face images and videos. To tackle the key challenge of hashing on the manifold, a well studied Riemannian kernel mapping is employed to project data (i.e. covariance matrices) into Euclidean space and thus enables to embed the two heterogeneous representations into a common Hamming space, where both intra space discriminability and inter space compatibility are considered. To perform network optimization, the gradient of the kernel mapping is innovatively derived via structured matrix backpropagation in a theoretically principled way. Experiments on three challenging datasets show that our method achieves quite competitive performance compared with existing hashing methods.


Serrin's type problems in warped product manifolds. In this paper we consider Serrin's overdetermined problems in warped product manifolds and we prove Serrin's type rigidity results by using the P function approach introduced by Weinberger.


On the correspondence of object classifiers and Tarski universes. We prove a correspondence between kappa small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relative kappa compact maps in their underlying quasi categories for suitably large inaccessible cardinals kappa . We thus obtain a transition result between weakly universal small fibrations in the injective Dugger Rezk style standard presentations of model toposes and object classifiers in Grothendieck infty toposes in the sense of Lurie.


Automated Transcription for Pre Modern Japanese Kuzushiji Documents by Random Lines Erasure and Curriculum Learning. Recognizing the full page of Japanese historical documents is a challenging problem due to the complex layout background and difficulty of writing styles, such as cursive and connected characters. Most of the previous methods divided the recognition process into character segmentation and recognition. However, those methods provide only character bounding boxes and classes without text transcription. In this paper, we enlarge our previous humaninspired recognition system from multiple lines to the full page of Kuzushiji documents. The human inspired recognition system simulates human eye movement during the reading process. For the lack of training data, we propose a random text line erasure approach that randomly erases text lines and distorts documents. For the convergence problem of the recognition system for fullpage documents, we employ curriculum learning that trains the recognition system step by step from the easy level (several text lines of documents) to the difficult level (full page documents). We tested the step training approach and random text line erasure approach on the dataset of the Kuzushiji recognition competition on Kaggle. The results of the experiments demonstrate the effectiveness of our proposed approaches. These results are competitive with other participants of the Kuzushiji recognition competition.


A Fuzzy Based Optimization Method for Integrating Value Dependencies into Software Requirement Selection. Software requirement selection aims to find an optimal subset of the requirements with the highest value while respecting the budget. But the value of a requirement may depend on the presence or absence of other requirements in the optimal subset. Existing requirement selection methods, however, do not consider Value Dependencies, thus increasing the risk of value loss. To address this, we have proposed Dependency Aware Requirement Selection (DARS) method with two main components (i) a fuzzy based technique for identifying and modeling value dependencies, and (ii) an Integer Programming model that takes into account value dependencies in software requirement selection. We have further, proposed an alternative optimization model for situations where quantifying value dependencies is hard. The scalability of DARS and its effectiveness in reducing the risk of value loss are demonstrated through exhaustive simulations.


On the Importance of Local Information in Transformer Based Models. The self attention module is a key component of Transformer based models, wherein each token pays attention to every other token. Recent studies have shown that these heads exhibit syntactic, semantic, or local behaviour. Some studies have also identified promise in restricting this attention to be local, i.e., a token attending to other tokens only in a small neighbourhood around it. However, no conclusive evidence exists that such local attention alone is sufficient to achieve high accuracy on multiple NLP tasks. In this work, we systematically analyse the role of locality information in learnt models and contrast it with the role of syntactic information. More specifically, we first do a sensitivity analysis and show that, at every layer, the representation of a token is much more sensitive to tokens in a small neighborhood around it than to tokens which are syntactically related to it. We then define an attention bias metric to determine whether a head pays more attention to local tokens or to syntactically related tokens. We show that a larger fraction of heads have a locality bias as compared to a syntactic bias. Having established the importance of local attention heads, we train and evaluate models where varying fractions of the attention heads are constrained to be local. Such models would be more efficient as they would have fewer computations in the attention layer. We evaluate these models on 4 GLUE datasets (QQP, SST 2, MRPC, QNLI) and 2 MT datasets (En De, En Ru) and clearly demonstrate that such constrained models have comparable performance to the unconstrained models. Through this systematic evaluation we establish that attention in Transformer based models can be constrained to be local without affecting performance.


Interpreting the Latent Space of GANs for Semantic Face Editing. Despite the recent advance of Generative Adversarial Networks (GANs) in high fidelity image synthesis, there lacks enough understanding of how GANs are able to map a latent code sampled from a random distribution to a photo realistic image. Previous work assumes the latent space learned by GANs follows a distributed representation but observes the vector arithmetic phenomenon. In this work, we propose a novel framework, called InterFaceGAN, for semantic face editing by interpreting the latent semantics learned by GANs. In this framework, we conduct a detailed study on how different semantics are encoded in the latent space of GANs for face synthesis. We find that the latent code of well trained generative models actually learns a disentangled representation after linear transformations. We explore the disentanglement between various semantics and manage to decouple some entangled semantics with subspace projection, leading to more precise control of facial attributes. Besides manipulating gender, age, expression, and the presence of eyeglasses, we can even vary the face pose as well as fix the artifacts accidentally generated by GAN models. The proposed method is further applied to achieve real image manipulation when combined with GAN inversion methods or some encoder involved models. Extensive results suggest that learning to synthesize faces spontaneously brings a disentangled and controllable facial attribute representation.


Some Aspects of a Software Reliability Problem. Obviously, the dynamism of software reliability research has speeded up significantly in the last period, and we can state the fact that its intensity is approaching, and in some cases is ahead of the information systems hardware reliability research intensity. Reliability of software is much more important than its other characteristics, such as runtime, and although the absolute reliability of modern software is apparently unattainable, there is still no generally accepted measure of reliability of computer programs. The article analyzes the reasons for the situation and offers an approach to solving the problem. The article touches upon the issue of general characteristics of information systems software life cycle. Considered software application reliability questions and use of fail safe ensuring programming. Also presented basic types of so called virus programs that lead to abnormal functioning of information systems. Much attention is given to presenting some known models used for software debugging and operating. So, this review paper consists of four sections information systems software process creation, reliability of information systems software, using of fail safe programs and estimation of software reliability according the results of adjusting and normal operation.


Evolution of the resonances of two parallel dielectric cylinders with distance between them. We study behavior of resonant modes under change of the distance between two parallel dielectric cylinders. The processes of mutual scattering of Mie resonant modes by cylinders result in an interaction between the cylinders which lifts a degeneracy of resonances of the isolated cylinders. There are two basic scenarios of evolution of resonances with the distance. For strong interaction of cylinders resonances are unbound with avoided crossings from the of the Mie resonances with increasing of the distance. That scenario is typical for low exciting resonances (monopole and dipole). For weak interaction of cylinders the resonances are bound around highly excited Mie resonances. Both scenarios demonstrate a significant enhancement of the Q factor compared to the case of isolated cylinder.


Remarks on classical number theoretic aspects of Milnor Witt K theory. We record a few observations on number theoretic aspects of Milnor Witt K theory, focusing on generalizing classical results on reciprocity laws, Hasse's norm theorem and K 2 of number fields and rings of integers.


Predicted response of an atom to a short burst of electro magnetic radiation. In this work we present a hypothesis that spectral response of atoms or molecules to a pulse of electromagnetic radiation with fast rising or falling fronts would contain a unique emission line that is located approximately near the frequency of the natural oscillations of optical electron. The emission of this "pinging" spectral line would exist during the time that is determined by the time of radiative energy loss by the optical electron. The amplitude of the "pinging" spectral line would be higher for the pulses with faster raising or falling fronts. The simulations using our previously developed model confirmed existence of the "pinging" spectral response. If experimentally confirmed, this work could lead to a new high sensitivity and high signal to noise ratio stand off detection techniques, a new type of LIDAR, and to other yet unknown applications.


Traces of Newton Sobolev, Hajlasz Sobolev and BV functions on metric spaces. We study the boundary traces of Newton Sobolev, Hajlasz Sobolev, and BV (bounded variation) functions. Assuming less regularity of the domain than is usually done in the literature, we show that all of these function classes achieve the same "boundary values", which in particular implies that the trace spaces coincide provided that they exist. Many of our results seem to be new even in Euclidean spaces but we work in a more general complete metric space equipped with a doubling measure and supporting a Poincare inequality.


The VISIONE Video Search System Exploiting Off the Shelf Text Search Engines for Large Scale Video Retrieval. In this paper, we describe in details VISIONE, a video search system that allows users to search for videos using textual keywords, occurrence of objects and their spatial relationships, occurrence of colors and their spatial relationships, and image similarity. These modalities can be combined together to express complex queries and satisfy user needs. The peculiarity of our approach is that we encode all the information extracted from the keyframes, such as visual deep features, tags, color and object locations, using a convenient textual encoding indexed in a single text retrieval engine. This offers great flexibility when results corresponding to various parts of the query (visual, text and locations) have to be merged. In addition, we report an extensive analysis of the system retrieval performance, using the query logs generated during the Video Browser Showdown (VBS) 2019 competition. This allowed us to fine tune the system by choosing the optimal parameters and strategies among the ones that we tested.


RelationNet Bridging Visual Representations for Object Detection via Transformer Decoder. Existing object detection frameworks are usually built on a single format of object part representation, i.e., anchor proposal rectangle boxes in RetinaNet and Faster R CNN, center points in FCOS and RepPoints, and corner points in CornerNet. While these different representations usually drive the frameworks to perform well in different aspects, e.g., better classification or finer localization, it is in general difficult to combine these representations in a single framework to make good use of each strength, due to the heterogeneous or non grid feature extraction by different representations. This paper presents an attention based decoder module similar as that in Transformer cite vaswani2017attention to bridge other representations into a typical object detector built on a single representation format, in an end to end fashion. The other representations act as a set of emph key instances to strengthen the main emph query representation features in the vanilla detectors. Novel techniques are proposed towards efficient computation of the decoder module, including a emph key sampling approach and a emph shared location embedding approach. The proposed module is named emph bridging visual representations (BVR). It can perform in place and we demonstrate its broad effectiveness in bridging other representations into prevalent object detection frameworks, including RetinaNet, Faster R CNN, FCOS and ATSS, where about 1.5 sim3.0 AP improvements are achieved. In particular, we improve a state of the art framework with a strong backbone by about 2.0 AP, reaching 52.7 AP on COCO test dev. The resulting network is named RelationNet . The code will be available at https github.com microsoft RelationNet2.


Conformance Checking for a Medical Training Process Using Petri net Simulation and Sequence Alignment. Process Mining has recently gained popularity in healthcare due to its potential to provide a transparent, objective and data based view on processes. Conformance checking is a sub discipline of process mining that has the potential to answer how the actual process executions deviate from existing guidelines. In this work, we analyze a medical training process for a surgical procedure. Ten students were trained to install a Central Venous Catheters (CVC) with ultrasound. Event log data was collected directly after instruction by the supervisors during a first test run and additionally after a subsequent individual training phase. In order to provide objective performance measures, we formulate an optimal, global sequence alignment problem inspired by approaches in bioinformatics. Therefore, we use the Petri net model representation of the medical process guideline to simulate a representative set of guideline conform sequences. Next, we calculate the optimal, global sequence alignment of the recorded and simulated event logs. Finally, the output measures and visualization of aligned sequences are provided for objective feedback.


A Novel Sharp Interface Immersed Boundary Framework for Viscous Flow Simulations at Arbitrary Mach Number Involving Complex and Moving Boundaries. This work presents a robust and efficient sharp interface immersed boundary (IBM) framework, which is applicable for all speed flow regimes and is capable of handling arbitrarily complex bodies (stationary or moving). The work deploys an in house, parallel, multi block structured finite volume flow solver, which employs a 3D unsteady Favre averaged Navier Stokes equations in a generalized curvilinear coordinate system while we employ a combination of HCIB (Hybrid Cartesian Immersed boundary) method and GC(Ghost cell) for solution reconstruction near immersed boundary interface. A significant difficulty for these sharp interface approaches is of handling sharp features edges of complex geometries. In this study, we observe that apart from the need for robust node classification strategy and higher order boundary formulations, the direction in which the reconstruction procedures are performed plays an important role in handling sharp edges. Taking this into account we present a versatile interface tracking procedure based on ray tracing algorithm and a novel three step solution reconstruction procedure that computes pseudo normals in the regions where the normal is not well defined and reconstructs the flow field along those directions. We demonstrate that this procedure enables solver to efficiently handle and accurately represent sharp edged regions. A fifth order weighted essentially non oscillatory (WENO) scheme is used for capturing shock induced discontinuities and complex fluid solid interactions with high resolution. The developed IBM framework is applied to a wide range of flow phenomena encompassing all speed regimes (M 0.001 to M 2.0). A total of seven benchmark cases (three stationary and four moving bodies) are presented involving various geometries (cylinder, airfoil, wedge) and the predictions are found to be in excellent agreement with the published results.


Human in the loop Auditory Cueing Strategy for Gait Modification. External feedback in the form of visual, auditory and tactile cues has been used to assist patients to overcome mobility challenges. However, these cues can become less effective over time. There is limited research on adapting cues to account for inter and intra personal variations in cue responsiveness. We propose a cue provision framework that consists of a gait performance monitoring algorithm and an adaptive cueing strategy to improve gait performance. The proposed approach learns a model of the person's response to cues using Gaussian Process regression. The model is then used within an on line optimization algorithm to generate cues to improve gait performance. We conduct a study with healthy participants to evaluate the ability of the adaptive cueing strategy to influence human gait, and compare its effectiveness to two other cueing approaches the standard fixed cue approach and a proportional cue approach. The results show that adaptive cueing is more effective in changing the person's gait state once the response model is learned compared to the other methods.


DETECT A Hierarchical Clustering Algorithm for Behavioural Trends in Temporal Educational Data. Techniques for clustering student behaviour offer many opportunities to improve educational outcomes by providing insight into student learning. However, one important aspect of student behaviour, namely its evolution over time, can often be challenging to identify using existing methods. This is because the objective functions used by these methods do not explicitly aim to find cluster trends in time, so these trends may not be clearly represented in the results. This paper presents DETECT' (Detection of Educational Trends Elicited by Clustering Time series data), a novel divisive hierarchical clustering algorithm that incorporates temporal information into its objective function to prioritise the detection of behavioural trends. The resulting clusters are similar in structure to a decision tree, with a hierarchy of clusters defined by decision rules on features. DETECT is easy to apply, highly customisable, applicable to a wide range of educational datasets and yields easily interpretable results. Through a case study of two online programming courses (N 600), this paper demonstrates two example applications of DETECT 1) to identify how cohort behaviour develops over time and 2) to identify student behaviours that characterise exercises where many students give up.


Trace Formulas for a Conformable Fractional Diffusion Operator. In this paper, the regularized trace formulas for a diffusion operator which include conformable fractional derivatives of order alpha (0 alpha leq 1 ) is obtained.


A characterisation of virtually free groups via minor exclusion. We give a new characterisation of virtually free groups using graph minors. Namely, we prove that a finitely generated, infinite group is virtually free if and only if for any finite generating set, the corresponding Cayley graph is minor excluded. This answers a question of Ostrovskii and Rosenthal. The proof relies on showing that a finitely generated group that is minor excluded with respect to every finite generating set is accessible, using a graph theoretic characterisation of accessibility due to Thomassen and Woess.


Assessment of urban rooftop grid connected solar potential in Nepal,a case study of residential buildings in Kathmandu, Pokhara and Biratnagar cities. This paper assesses the technical, financial, and market potential of the rooftop Solar Photovoltaic (PV) system on residential buildings in major cities namely Kathmandu valley, Pokhara, and Biratnagar of Nepal. Three sets of questionnaires were prepared each for residential households, PV suppliers, and solar project financing institutions. From the field survey, it is found that the average rooftop area available for PV installation is 14.5 sq.m, 12.45 sq.m, and 19 sq.m in Kathmandu, Pokhara, and Biratnagar cities respectively. Considering 557,027 residential buildings in Kathmandu 77,523 in Pokhara and 33,075 in Biratnagar, total rooftop PV power potential in all three cities are found to be 970 MWp which could generate 1,310 GWh year that comes out to be 35 of the electricity sold by Nepal Electricity Authority (NEA) in fiscal year 2014 15. Based on the 1.5 kWp PV system design per household and market price of 2016, the Levelized Cost of Electricity (LCOE) changes from NRs 8 kWh to NRs 20 kWh for basic lighting to a full load consisting of domestic electrical appliances. The technical barriers for the grid connection of rooftop solar in Nepal are not a major issue now as Nepal Electricity Authority has set clear guidelines for it.


Deep Shape from Polarization. This paper makes a first attempt to bring the Shape from Polarization (SfP) problem to the realm of deep learning. The previous state of the art methods for SfP have been purely physics based. We see value in these principled models, and blend these physical models as priors into a neural network architecture. This proposed approach achieves results that exceed the previous state of the art on a challenging dataset we introduce. This dataset consists of polarization images taken over a range of object textures, paints, and lighting conditions. We report that our proposed method achieves the lowest test error on each tested condition in our dataset, showing the value of blending data driven and physics driven approaches.


Anosov flows, growth rates on covers and group extensions of subshifts. The aim of this paper is to study growth properties of group extensions of hyperbolic dynamical systems, where we do not assume that the extension satisfies the symmetry conditions seen, for example, in the work of Stadlbauer on symmetric group extensions and of the authors on geodesic flows. Our main application is to growth rates of periodic orbits for covers of an Anosov flow we reduce the problem of counting periodic orbits in an amenable cover X to counting in a maximal abelian subcover X mathrm ab . In this way, we obtain an equivalence for the Gurevi v c entropy h(X) h(X mathrm ab ) if and only if the covering group is amenable. In addition, when we project the periodic orbits for amenable covers X to the compact factor M , they equidistribute with respect to a natural equilibrium measure in the case of the geodesic flow, the measure of maximal entropy.


AdCo Adversarial Contrast for Efficient Learning of Unsupervised Representations from Self Trained Negative Adversaries. Contrastive learning relies on constructing a collection of negative examples that are sufficiently hard to discriminate against positive queries when their representations are self trained. Existing contrastive learning methods either maintain a queue of negative samples over minibatches while only a small portion of them are updated in an iteration, or only use the other examples from the current minibatch as negatives. They could not closely track the change of the learned representation over iterations by updating the entire queue as a whole, or discard the useful information from the past minibatches. Alternatively, we present to directly learn a set of negative adversaries playing against the self trained representation. Two players, the representation network and negative adversaries, are alternately updated to obtain the most challenging negative examples against which the representation of positive queries will be trained to discriminate. We further show that the negative adversaries are updated towards a weighted combination of positive queries by maximizing the adversarial contrastive loss, thereby allowing them to closely track the change of representations over time. Experiment results demonstrate the proposed Adversarial Contrastive (AdCo) model not only achieves superior performances (a top 1 accuracy of 73.2 over 200 epochs and 75.7 over 800 epochs with linear evaluation on ImageNet), but also can be pre trained more efficiently with fewer epochs.


On the signed Selmer groups of congruent elliptic curves with semistable reduction at all primes above p . Let p be an odd prime. We attach appropriate signed Selmer groups to an elliptic curve E , where E is assumed to have semistable reduction at all primes above p . We then compare the Iwasawa lambda invariants of these signed Selmer groups for two congruent elliptic curves over the cyclotomic mathbb Z p extension in the spirit of Greenberg Vatsal and B. D. Kim. As an application of our comparsion formula, we show that if the p parity conjecture is true for one of the congruent elliptic curves, then it is also true for the other elliptic curve. In the midst of proving this latter result, we also generalize an observation of Hatley on the parity of the signed Selmer groups.


Cascaded LSTMs based Deep Reinforcement Learning for Goal driven Dialogue. This paper proposes a deep neural network model for joint modeling Natural Language Understanding (NLU) and Dialogue Management (DM) in goal driven dialogue systems. There are three parts in this model. A Long Short Term Memory (LSTM) at the bottom of the network encodes utterances in each dialogue turn into a turn embedding. Dialogue embeddings are learned by a LSTM at the middle of the network, and updated by the feeding of all turn embeddings. The top part is a forward Deep Neural Network which converts dialogue embeddings into the Q values of different dialogue actions. The cascaded LSTMs based reinforcement learning network is jointly optimized by making use of the rewards received at each dialogue turn as the only supervision information. There is no explicit NLU and dialogue states in the network. Experimental results show that our model outperforms both traditional Markov Decision Process (MDP) model and single LSTM with Deep Q Network on meeting room booking tasks. Visualization of dialogue embeddings illustrates that the model can learn the representation of dialogue states.


Big Code ! Big Vocabulary Open Vocabulary Models for Source Code. Statistical language modeling techniques have successfully been applied to large source code corpora, yielding a variety of new software development tools, such as tools for code suggestion, improving readability, and API migration. A major issue with these techniques is that code introduces new vocabulary at a far higher rate than natural language, as new identifier names proliferate. Both large vocabularies and out of vocabulary issues severely affect Neural Language Models (NLMs) of source code, degrading their performance and rendering them unable to scale. In this paper, we address this issue by 1) studying how various modelling choices impact the resulting vocabulary on a large scale corpus of 13,362 projects 2) presenting an open vocabulary source code NLM that can scale to such a corpus, 100 times larger than in previous work and 3) showing that such models outperform the state of the art on three distinct code corpora (Java, C, Python). To our knowledge, these are the largest NLMs for code that have been reported. All datasets, code, and trained models used in this work are publicly available.


Assessment of Shift Invariant CNN Gaze Mappings for PS OG Eye Movement Sensors. Photosensor oculography (PS OG) eye movement sensors offer desirable performance characteristics for integration within wireless head mounted devices (HMDs), including low power consumption and high sampling rates. To address the known performance degradation of these sensors due to HMD shifts, various machine learning techniques have been proposed for mapping sensor outputs to gaze location. This paper advances the understanding of a recently introduced convolutional neural network designed to provide shift invariant gaze mapping within a specified range of sensor translations. Performance is assessed for shift training examples which better reflect the distribution of values that would be generated through manual repositioning of the HMD during a dedicated collection of training data. The network is shown to exhibit comparable accuracy for this realistic shift distribution versus a previously considered rectangular grid, thereby enhancing the feasibility of in field set up. In addition, this work further demonstrates the practical viability of the proposed initialization process by demonstrating robust mapping performance versus training data scale. The ability to maintain reasonable accuracy for shifts extending beyond those introduced during training is also demonstrated.


Ultrasound imaging of the human body with three dimensional full wave nonlinear acoustics. Part 1 simulations methods. Simulations of three dimensional ultrasound propagation in heterogeneous media are computationally intensive due to the constraints arising from the large size of the domain, which is on the order of hundreds of wavelengths, and the small size of scatterers, which are much smaller than a wavelength. Consequently, three dimensional ultrasound imaging simulations are currently based on models that simplify the propagation physics. Here the full three dimensional wave physics is simulated with finite differences to generate ultrasound images of the human body based directly on the first principles of propagation and backscattering. The Visible Human project, a 3D data set of the human body that was generated with photographs of 0.33 mm cryosections, is converted into 3D acoustical maps. A full wave nonlinear acoustic simulation tool is used to propagate ultrasound into the liver with a 2D intercostal ultrasound array in a 93 times 39 times 22 mm domain with 6 times10 8 points. Imaging metrics, based on the beamplots, root mean square phase aberration, spatial coherence lengths, and contrast to noise ratio are used to characterize the image quality. It is shown that the harmonic image quality is better than the fundamental image quality due, in part, to a narrower beam profile. The root mean square estimate of aberration after propagation through the simulated body wall is shown to be low (23.4 ns), consistently with previous reports of aberration measured experimentally in a human body wall. The spatial coherence measured at the transducer surface indicates that a transducer array element size of 0.81 lambda would be required to fully sample the acoustic field. These simulated three dimensional ultrasound images based directly on propagation physics provide a platform to investigate the sources of image degradation in three dimensions (included in Part II).


Influence of lunisolar tides on plants. Parametric resonance induced by periodic variations of gravity. Recent experiments conducted in the International Space Station highlight the apparent periodicity of leaf oscillations and other biological phenomena associated with rhythmic variations of lunisolar forces. These events are similar to those occurring on Earth, but with greater effects over a shorter period of time. Among the possible disturbances, other than forced or self existing oscillations, parametric resonances appear caused by a small periodic term such is the case of fluids subjected to small periodic variations in gravitational forces in microscopic or mesoscopic plant channels filled with sap and air vapor. The interface instabilities verify a Mathieu's second order differential equation resulting from a Rayleigh Taylor stability model. These instabilities appear during the Moon's rotation around the Earth and during the revolution of the International Space Station. They create impulses of pressure and sap movements in the network of roots, stems and leaves. The model can explain the effects of the lunar tide on plant growth. The eccentricity of the lunar orbit around the Earth creates an important difference between the apogee and perigee of the Moon's trajectory and therefore the tidal effects can depend on the distance between the Moon and the Earth.


A Comparison of Turbulence Generated by 3DS Sparse Grids With Different Blockage Ratios and Different Co Frame Arrangements. A new type of grid turbulence generator, the 3D sparse grid (3DS), is a co planar arrangement of co frames each containing a different length scale of grid elements Malik, N. A. US Patent No. US 9,599,269 B2 (2017) and possessing a much bigger parameter space than the flat 2D fractal square grid (2DF). Using DNS we compare the characteristics of the turbulence (mean flow, turbulence intensity, energy spectrum) generated by different types of 3DS grids. The peak intensities generated by 3DS can exceed the peaks generated by the 2DF by 80 we observe that a 3DS with blockage ratio 24 produces turbulence similar to the 2DF with blockage ratio 32 implying lower energy input for the same turbulence.


Neural Population Coding for Effective Temporal Classification. Neural encoding plays an important role in faithfully describing the temporally rich patterns, whose instances include human speech and environmental sounds. For tasks that involve classifying such spatio temporal patterns with the Spiking Neural Networks (SNNs), how these patterns are encoded directly influence the difficulty of the task. In this paper, we compare several existing temporal and population coding schemes and evaluate them on both speech (TIDIGITS) and sound (RWCP) datasets. We show that, with population neural codings, the encoded patterns are linearly separable using the Support Vector Machine (SVM). We note that the population neural codings effectively project the temporal information onto the spatial domain, thus improving linear separability in the spatial dimension, achieving an accuracy of 95 and 100 for TIDIGITS and RWCP datasets classified using the SVM, respectively. This observation suggests that an effective neural coding scheme greatly simplifies the classification problem such that a simple linear classifier would suffice. The above datasets are then classified using the Tempotron, an SNN based classifier. SNN classification results agree with the SVM findings that population neural codings help to improve classification accuracy. Hence, other than the learning algorithm, effective neural encoding is just as important as an SNN designed to recognize spatio temporal patterns. It is an often neglected but powerful abstraction that deserves further study.


Ten Social Dimensions of Conversations and Relationships. Decades of social science research identified ten fundamental dimensions that provide the conceptual building blocks to describe the nature of human relationships. Yet, it is not clear to what extent these concepts are expressed in everyday language and what role they have in shaping observable dynamics of social interactions. After annotating conversational text through crowdsourcing, we trained NLP tools to detect the presence of these types of interaction from conversations, and applied them to 160M messages written by geo referenced Reddit users, 290k emails from the Enron corpus and 300k lines of dialogue from movie scripts. We show that social dimensions can be predicted purely from conversations with an AUC up to 0.98, and that the combination of the predicted dimensions suggests both the types of relationships people entertain (conflict vs. support) and the types of real world communities (wealthy vs. deprived) they shape.


Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs. Heterogeneous systems are becoming increasingly prevalent. In order to exploit the rich compute resources of such systems, robust programming models are needed for application developers to seamlessly migrate legacy code from today's systems to tomorrow's. Over the past decade and more, directives have been established as one of the promising paths to tackle programmatic challenges on emerging systems. This work focuses on applying and demonstrating OpenMP offloading directives on five proxy applications. We observe that the performance varies widely from one compiler to the other a crucial aspect of our work is reporting best practices to application developers who use OpenMP offloading compilers. While some issues can be worked around by the developer, there are other issues that must be reported to the compiler vendors. By restructuring OpenMP offloading directives, we gain an 18x speedup for the su3 proxy application on NERSC's Cori system when using the Clang compiler, and a 15.7x speedup by switching max reductions to add reductions in the laplace mini app when using the Cray llvm compiler on Cori.


On the geometry of affine Deligne Lusztig varieties for quasi split groups with very special leve. In this paper we discuss the geometry of affine Deligne Lusztig varieties with very special level structure, determining their dimension and connected and irreducible components. As application, we prove the Grothendieck conjecture for Shimura varieties with very special level at p and a function field analogue.


Phase diagrams of interacting spreading dynamics in complex networks. Epidemic spreading processes in the real world can interact with each other in a cooperative, competitive, or asymmetric way, requiring a description based on coevolution dynamics. Rich phenomena such as discontinuous outbreak transitions and hystereses can arise, but a full picture of these behaviors in the parameter space is lacking. We develop a theory for interacting spreading dynamics on complex networks through spectral dimension reduction. In particular, we derive from the microscopic quenched mean field equations a two dimensional system in terms of the macroscopic variables, which enables a full phase diagram to be determined analytically. The diagram predicts critical phenomena that were known previously but only numerically, such as the interplay between discontinuous transition and hysteresis as well as the emergence and role of tricritical points.


A sharp L 10 decoupling for the twisted cubic. We prove a sharp l 10 (L 10 ) decoupling for the moment curve in mathbb R 3 . The proof involves a two step decoupling combined with new incidence estimates for planks, tubes and plates.


A Multilevel Approach for Trace System in HDG Discretizations. We propose a multilevel approach for trace systems resulting from hybridized discontinuous Galerkin (HDG) methods. The key is to blend ideas from nested dissection, domain decomposition, and high order characteristic of HDG discretizations. Specifically, we first create a coarse solver by eliminating and or limiting the front growth in nested dissection. This is accomplished by projecting the trace data into a sequence of same or high order polynomials on a set of increasingly h coarser edges faces. We then combine the coarse solver with a block Jacobi fine scale solver to form a two level solver preconditioner. Numerical experiments indicate that the performance of the resulting two level solver preconditioner depends only on the smoothness of the solution and is independent of the nature of the PDE under consideration. While the proposed algorithms are developed within the HDG framework, they are applicable to other hybrid(ized) high order finite element methods. Moreover, we show that our multilevel algorithms can be interpreted as a multigrid method with specific intergrid transfer and smoothing operators. With several numerical examples from Poisson, pure transport, and convection diffusion equations we demonstrate the robustness and scalability of the algorithms.


GAPNet Graph Attention based Point Neural Network for Exploiting Local Feature of Point Cloud. Exploiting fine grained semantic features on point cloud is still challenging due to its irregular and sparse structure in a non Euclidean space. Among existing studies, PointNet provides an efficient and promising approach to learn shape features directly on unordered 3D point cloud and has achieved competitive performance. However, local feature that is helpful towards better contextual learning is not considered. Meanwhile, attention mechanism shows efficiency in capturing node representation on graph based data by attending over neighboring nodes. In this paper, we propose a novel neural network for point cloud, dubbed GAPNet, to learn local geometric representations by embedding graph attention mechanism within stacked Multi Layer Perceptron (MLP) layers. Firstly, we introduce a GAPLayer to learn attention features for each point by highlighting different attention weights on neighborhood. Secondly, in order to exploit sufficient features, a multi head mechanism is employed to allow GAPLayer to aggregate different features from independent heads. Thirdly, we propose an attention pooling layer over neighbors to capture local signature aimed at enhancing network robustness. Finally, GAPNet applies stacked MLP layers to attention features and local signature to fully extract local geometric structures. The proposed GAPNet architecture is tested on the ModelNet40 and ShapeNet part datasets, and achieves state of the art performance in both shape classification and part segmentation tasks.


The focusing logarithmic Schr "odinger equation analysis of breathers and nonlinear superposition. We consider the logarithmic Schr "odinger equation in the focusing regime. For this equation, Gaussian initial data remains Gaussian. In particular, the Gausson a time independent Gaussian function is an orbitally stable solution. In the general case in dimension d 1 , the solution with Gaussian initial data is periodic, and we compute some approximations of the period in the case of small and large oscillations, showing that the period can be as large as wanted for the latter. The main result of this article is a principle of nonlinear superposition starting from an initial data made of the sum of several standing Gaussian functions far from each other, the solution remains close (in L 2 ) to the sum of the corresponding Gaussian solutions for a long time, in square of the distance between the Gaussian functions.


Snakes partition their body to traverse large steps stably. Many snakes live in deserts, forests, and river valleys and traverse challenging 3 D terrain like rocks, felled trees, and rubble, with obstacles as large as themselves and variable surface properties. By contrast, apart from branch cantilevering, burrowing, swimming, and gliding, laboratory studies of snake locomotion focused on that on simple flat surfaces. Here, to begin to understand snake locomotion in complex 3 D terrain, we study how the variable kingsnake, a terrestrial generalist, traversed a large step of variable surface friction and step height (up to 30 snout vent length). The snake traversed by partitioning its body into three sections with distinct functions. Body sections below and above the step oscillated laterally on horizontal surfaces for propulsion, while the body section in between cantilevered in a vertical plane to bridge the large height increase. As the animal progressed, these three sections traveled down its body, conforming overall body shape to the step. In addition, the snake adjusted the partitioned gait in response to increase in step height and decrease in surface friction, at the cost of reduced speed. As surface friction decreased, body movement below and above the step changed from a continuous lateral undulation with little slip to an intermittent oscillatory movement with much slip, and initial head lift off became closer to the step. Given these adjustments, body partitioning allowed the snake to be always stable, even when initially cantilevering but before reaching the surface above. Such a partitioned gait may be generally useful for diverse, complex 3 D terrain.


On probabilistic stable event structures. Concurrency and probability are both much studied extensions of sequential computation. Within concurrency theory, there is a broad divide between interleaving models and logics, which model concurrency by non determinism, and truly concurrent' models, in which concurrency (and or causality) are directly represented. True concurrency gives much richer models and logics, but is also harder to work with, as the interactions of causality and concurrency can become complex. In probabilistic computation, we have by now many well understood probabilistic models and logics on interleaving models, developed over the last thirty years or so. However, for true concurrency, adding probability has been much harder, owing to the interactions between probabilistic independence and causal concurrent independence, piling both conceptual and technical difficulties upon an already complex model. Various notions of, e.g., probabilistic Petri net have been introduced, but for simpler cases such as free choice nets. A significant contribution in the last decade was Abbes and Benveniste 2006, which gave a rigorous foundation for probabilistic concurrency in terms of Winskel's event structures, which can be seen as the lowest level of concurrent causal modelling. However, event structures are themselves not ideal for representing richer high level models such as (arbitrary) Petri nets, as the concurrency is derived from a binary conflict relation. Here we develop an extension of the theory of Abbes and Benveniste to a more general class of models, a certain subclass of stable event structures'. This class is sufficient to give a semantics to probabilistic Petri nets (including the notoriously awkward notion of confusion, which is forbidden by free choice nets), and thereby allows the definition of general probabilistic logics for Petri nets.


On the eigenstructure of the ( alpha,q) Bernstein operator. We obtain eigenvalues and eigenvectors of the ( alpha,q) Bernstein operator T n,q, alpha . Moreover, we will give the limit behaviour of these eigenvalues and eigenvectors for all q.


Insecure Until Proven Updated Analyzing AMD SEV's Remote Attestation. Customers of cloud services have to trust the cloud providers, as they control the building blocks that form the cloud. This includes the hypervisor enabling the sharing of a single hardware platform among multiple tenants. AMD Secure Encrypted Virtualization (SEV) claims a new level of protection in cloud scenarios. AMD SEV encrypts the main memory of virtual machines with VM specific keys, thereby denying the higher privileged hypervisor access to a guest's memory. To enable the cloud customer to verify the correct deployment of his virtual machine, SEV additionally introduces a remote attestation protocol.This paper analyzes the firmware components that implement the SEV remote attestation protocol on the current AMD Epyc Naples CPU series. We demonstrate that it is possible to extract critical CPU specific keys that are fundamental for the security of the remote attestation protocol.Building on the extracted keys, we propose attacks that allow a malicious cloud provider a complete circumvention of the SEV protection mechanisms. Although the underlying firmware issues were already fixed by AMD, we show that the current series of AMD Epyc CPUs, i.e., the Naples series, does not prevent the installation of previous firmware versions. We show that the severity of our proposed attacks is very high as no purely software based mitigations are possible. This effectively renders the SEV technology on current AMD Epyc CPUs useless when confronted with an untrusted cloud provider. To overcome these issues, we also propose robust changes to the SEV design that allow future generations of the SEV technology to mitigate the proposed attacks.


A Unifying Approximate Potential for Weighted Congestion Games. We provide a unifying, black box tool for establishing existence of approximate equilibria in weighted congestion games and, at the same time, bounding their Price of Stability. Our framework can handle resources with general costs including, in particular, decreasing ones and is formulated in terms of a set of parameters which are determined via elementary analytic properties of the cost functions. We demonstrate the power of our tool by applying it to recover the recent result of Caragiannis and Fanelli ICALP'19 for polynomial congestion games improve upon the bounds for fair cost sharing games by Chen and Roughgarden Theory Comput. Syst., 2009 and derive new bounds for nondecreasing concave costs. An interesting feature of our framework is that it can be readily applied to mixtures of different families of cost functions for example, we provide bounds for games whose resources are conical combinations of polynomial and concave costs. In the core of our analysis lies the use of a unifying approximate potential function which is simple and general enough to be applicable to arbitrary congestion games, but at the same time powerful enough to produce state of the art bounds across a range of different cost functions.


Estimates on the Markov Convexity of Carnot Groups and Quantitative Nonembeddability. We show that every graded nilpotent Lie group G of step r , equipped with a left invariant metric homogeneous with respect to the dilations induced by the grading, (this includes all Carnot groups with Carnot Caratheodory metric) is Markov p convex for all p in 2r, infty) . We also show that this is sharp whenever G is a Carnot group with r leq 3 , a free Carnot group, or a jet space group such groups are not Markov p convex for any p in (0,2r) . This continues a line of research started by Li who proved this sharp result when G is the Heisenberg group. As corollaries, we obtain new estimates on the non biLipschitz embeddability of some finitely generated nilpotent groups into nilpotent Lie groups of lower step. Sharp estimates of this type are known when the domain is the Heisenberg group and the target is a uniformly convex Banach space or L 1 , but not when the target is a nonabelian nilpotent group.


Properties of fractional integral operators involving the three parameters Mittag Leffler function in the kernels with respect to another function. This paper aims to investigate properties associated with fractional integral operators involving the three parameters Mittag Leffler function in the kernels with respect to another function. We prove that the Cauchy problem and the Volterra integral equation are equivalent. We find a closed form to the solution of the Cauchy problem using successive approximations method and psi Caputo fractional derivative.


mathcal L invariant Fock Carleson type measures for derivatives of order k and the corresponding Toeplitz operators. Our purpose is to characterize the so called horizontal Fock Carleson type measures for derivatives of order k (we write it k hFC for short) for the Fock space as well as the Toeplitz operators generated by sesquilinear forms given by them. The boundedness conditions for such operators are found. We introduce real coderivatives of k hFC type measures and show that the C algebra generated by Toeplitz operators with the corresponding class of symbols is commutative and isometrically isomorphic to certain C subalgebra of L infty ( mathbb R n ) . The above results are extended to measures that are invariant under translations along Lagrangian planes.


Colourings, transversals and local sparsity. Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi random method to prove the following result. For any function mu satisfying mu(d) o(d) as d to infty , there is a function lambda satisfying lambda(d) d o(d) as d to infty such that the following holds. For any graph H and any partition of its vertices into parts of size at least lambda such that (a) for each part the average over its vertices of degree to other parts is at most d , and (b) the maximum degree from a vertex to some other part is at most mu , there is guaranteed to be a transversal of the parts that forms an independent set of H . This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).


Decentralized and Secure Generation Maintenance with Differential Privacy. Decentralized methods are gaining popularity for data driven models in power systems as they offer significant computational scalability while guaranteeing full data ownership by utility stakeholders. However, decentralized methods still require sharing information about network flow estimates over public facing communication channels, which raises privacy concerns. In this paper we propose a differential privacy driven approach geared towards decentralized formulations of mixed integer operations and maintenance optimization problems that protects network flow estimates. We prove strong privacy guarantees by leveraging the linear relationship between the phase angles and the flow. To address the challenges associated with the mixed integer and dynamic nature of the problem, we introduce an exponential moving average based consensus mechanism to enhance convergence, coupled with a control chart based convergence criteria to improve stability. Our experimental results obtained on the IEEE 118 bus case demonstrate that our privacy preserving approach yields solution qualities on par with benchmark methods without differential privacy. To demonstrate the computational robustness of our method, we conduct experiments using a wide range of noise levels and operational scenarios.


Fair Embedding Engine A Library for Analyzing and Mitigating Gender Bias in Word Embeddings. Non contextual word embedding models have been shown to inherit human like stereotypical biases of gender, race and religion from the training corpora. To counter this issue, a large body of research has emerged which aims to mitigate these biases while keeping the syntactic and semantic utility of embeddings intact. This paper describes Fair Embedding Engine (FEE), a library for analysing and mitigating gender bias in word embeddings. FEE combines various state of the art techniques for quantifying, visualising and mitigating gender bias in word embeddings under a standard abstraction. FEE will aid practitioners in fast track analysis of existing debiasing methods on their embedding models. Further, it will allow rapid prototyping of new methods by evaluating their performance on a suite of standard metrics.


Malleable scheduling beyond identical machines. In malleable job scheduling, jobs can be executed simultaneously on multiple machines with the processing time depending on the number of allocated machines. In this setting, jobs are required to be executed non preemptively and in unison, in the sense that they occupy, during their execution, the same time interval over all the machines of the allocated set. In this work, we study generalizations of malleable job scheduling inspired by standard scheduling on unrelated machines. Specifically, we introduce a general model of malleable job scheduling, where each machine has a (possibly different) speed for each job, and the processing time of a job j on a set of allocated machines S depends on the total speed of S with respect to j . For machines with unrelated speeds, we show that the optimal makespan cannot be approximated within a factor less than frac e e 1 , unless P NP . On the positive side, we present polynomial time algorithms with approximation ratios frac 2e e 1 for machines with unrelated speeds, 3 for machines with uniform speeds, and 7 3 for restricted assignments on identical machines. Our algorithms are based on deterministic LP rounding. They result in sparse schedules, in the sense that each machine shares at most one job with other machines. We also prove lower bounds on the integrality gap of 1 varphi for unrelated speeds ( varphi is the golden ratio) and 2 for uniform speeds and restricted assignments. To indicate the generality of our approach, we show that it also yields constant factor approximation algorithms for a variant where we determine the effective speed of a set of allocated machines based on the L p norm of their speeds.


Camera Pose Correction in SLAM Based on Bias Values of Map Points. Accurate camera pose estimation result is essential for visual SLAM (VSLAM). This paper presents a novel pose correction method to improve the accuracy of the VSLAM system. Firstly, the relationship between the camera pose estimation error and bias values of map points is derived based on the optimized function in VSLAM. Secondly, the bias value of the map point is calculated by a statistical method. Finally, the camera pose estimation error is compensated according to the first derived relationship. After the pose correction, procedures of the original system, such as the bundle adjustment (BA) optimization, can be executed as before. Compared with existing methods, our algorithm is compact and effective and can be easily generalized to different VSLAM systems. Additionally, the robustness to system noise of our method is better than feature selection methods, due to all original system information is preserved in our algorithm while only a subset is employed in the latter. Experimental results on benchmark datasets show that our approach leads to considerable improvements over state of the art algorithms for absolute pose estimation.


Social Media Mining Toolkit (SMMT). There has been a dramatic increase in the popularity of utilizing social media data for research purposes within the biomedical community. In PubMed alone, there have been nearly 2,500 publication entries since 2014 that deal with analyzing social media data from Twitter and Reddit. However, the vast majority of those works do not share their code or data for replicating their studies. With minimal exceptions, the few that do, place the burden on the researcher to figure out how to fetch the data, how to best format their data, and how to create automatic and manual annotations on the acquired data. In order to address this pressing issue, we introduce the Social Media Mining Toolkit (SMMT), a suite of tools aimed to encapsulate the cumbersome details of acquiring, preprocessing, annotating and standardizing social media data. The purpose of our toolkit is for researchers to focus on answering research questions, and not the technical aspects of using social media data. By using a standard toolkit, researchers will be able to acquire, use, and release data in a consistent way that is transparent for everybody using the toolkit, hence, simplifying research reproducibility and accessibility in the social media domain.


COAX Correlation Aware Indexing on Multidimensional Data with Soft Functional Dependencies. Recent work proposed learned index structures, which learn the distribution of the underlying dataset to improve performance. The initial work on learned indexes has shown that by learning the cumulative distribution function of the data, index structures such as the B Tree can improve their performance by one order of magnitude while having a smaller memory footprint. In this paper, we present COAX, a learned index for multidimensional data that, instead of learning the distribution of keys, learns the correlations between attributes of the dataset. Our approach is driven by the observation that in many datasets, values of two (or multiple) attributes are correlated. COAX exploits these correlations to reduce the dimensionality of the datasets. More precisely, we learn how to infer one (or multiple) attribute C d from the remaining attributes and hence no longer need to index attribute C d . This reduces the dimensionality and hence makes the index smaller and more efficient. We theoretically investigate the effectiveness of the proposed technique based on the predictability of the FD attributes. We further show experimentally that by predicting correlated attributes in the data, we can improve the query execution time and reduce the memory overhead of the index. In our experiments, we reduce the execution time by 25 while reducing the memory footprint of the index by four orders of magnitude.


Influence of CAV Clustering Strategies on Mixed Traffic Flow Characteristics An Analysis of Vehicle Trajectory Data. Being one of the most promising applications enabled by connected and automated vehicles (CAV) technology, Cooperative Adaptive Cruise Control (CACC) is expected to be deployed in the near term on public roads. Thus far, the majority of the CACC studies have been focusing on the overall network performance with limited insights on the potential impacts of CAVs on human driven vehicles (HVs).This paper aims to quantify such impacts by studying the high resolution vehicle trajectory data that are obtained from microscopic simulation. Two platoon clustering strategies for CACC an ad hoc coordination strategy and a local coordination strategy are implemented. Results show that the local coordination outperforms the ad hoc coordination across all tested market penetration rates (MPRs) in terms of network throughput and productivity. According to the two sample Kolmogorov textcolor re Smirnov test, however, the distributions of the hard braking events (as a potential safety impact) for HVs change significantly under local coordination strategy. For both of the clustering strategy, CAVs increase the average lane change frequency for HVs. The break even point for average lane change frequency between the two strategies is observed at 30 MPR, which decreases from 5.42 to 5.38 per vehicle. The average lane change frequency following a monotonically increasing pattern in response to MPR, and it reaches the highest 5.48 per vehicle at 40 MPR. Lastly, the interaction state of the car following model for HVs is analyzed. It is revealed that the composition of the interaction state could be influenced by CAVs as well. One of the apparent trends is that the time spent on approaching state declines with the increasing presence of CAVs.


On the spectrum of the hierarchical Schr " o dinger type operators. The goal of this paper is the spectral analysis of the Schr " o dinger type operator H L V , the perturbation of the Taibleson Vladimirov multiplier L mathfrak D alpha by a potential V . Assuming that V belongs to a certain class of potentials we show that the discrete part of the spectrum of H may contain negative energies, it also appears in the spectral gaps of L . We will split the spectrum of H in two parts high energy part containing eigenvalues which correspond to the eigenfunctions located on the support of the potential V, and low energy part which lies in the spectrum of certain bounded Schr " o dinger type operator acting on the Dyson hierarchical lattice. We pay special attention to the class of sparse potentials. In this case we obtain precise spectral asymptotics for H provided the sequence of distances between locations tends to infinity fast enough. We also obtain certain results concerning localization theory for H subject to (non ergodic) random potential V . Examples illustrate our approach.


Spatio Temporal Multisensor Calibration Based on Gaussian Processes Moving Object Tracking. Perception is one of the key abilities of autonomous mobile robotic systems, which often relies on fusion of heterogeneous sensors. Although this heterogeneity presents a challenge for sensor calibration, it is also the main prospect for reliability and robustness of autonomous systems. In this paper, we propose a method for multisensor calibration based on Gaussian processes (GPs) estimated moving object trajectories, resulting with temporal and extrinsic parameters. The appealing properties of the proposed temporal calibration method are coordinate frame invariance, thus avoiding prior extrinsic calibration, theoretically grounded batch state estimation and interpolation using GPs, computational efficiency with O(n) complexity, leveraging data already available in autonomous robot platforms, and the end result enabling 3D point to point extrinsic multisensor calibration. The proposed method is validated both in simulations and real world experiments. For real world experiment we evaluated the method on two multisensor systems an externally triggered stereo camera, thus having temporal ground truth readily available, and a heterogeneous combination of a camera and motion capture system. The results show that the estimated time delays are accurate up to a fraction of the fastest sensor sampling time.


Wall Stress Distributions in Abdominal Aortic Aneurysms Do Not Correlate With Symptoms. Abdominal aortic aneurysm (AAA) is a permanent and irreversible dilation of the lower region of the aorta. It is typically an asymptomatic condition that if left untreated can expand to the point of rupture. Mechanically speaking, rupture of an artery occurs when the local wall stress exceeds the local wall strength. It is therefore understandable that numerous studies have attempted to estimate the AAA wall stress. Recently the Intelligent Systems for Medicine Laboratory (ISML) presented a very efficient method to compute AAA wall stress using geometry from Computed Tomography (CT) images, and median arterial pressure as the applied load. The ISML's method is embedded in the software platform BioPARR Biomechanics based Prediction of Aneurysm Rupture Risk, freely available from http bioparr.mech.uwa.edu.au . The uniqueness of our stress computation approach is three fold i) the results are insensitive to unknown patient specific mechanical properties of arterial wall tissue ii) the residual stress is accounted for, according to Y.C. Fung's Uniform Stress Hypothesis and iii) the analysis is automated and quick, making our approach compatible with clinical workflows. In this study we evaluated 19 cases of AAA. A proportion of these were classified as symptomatic. The results of the analysis demonstrate, contrary to the common view, that neither the wall stress magnitude nor the stress distribution correlate with the presence of clinical symptoms.


Self Supervised Sim to Real Adaptation for Visual Robotic Manipulation. Collecting and automatically obtaining reward signals from real robotic visual data for the purposes of training reinforcement learning algorithms can be quite challenging and time consuming. Methods for utilizing unlabeled data can have a huge potential to further accelerate robotic learning. We consider here the problem of performing manipulation tasks from pixels. In such tasks, choosing an appropriate state representation is crucial for planning and control. This is even more relevant with real images where noise, occlusions and resolution affect the accuracy and reliability of state estimation. In this work, we learn a latent state representation implicitly with deep reinforcement learning in simulation, and then adapt it to the real domain using unlabeled real robot data. We propose to do so by optimizing sequence based self supervised objectives. These exploit the temporal nature of robot experience, and can be common in both the simulated and real domains, without assuming any alignment of underlying states in simulated and unlabeled real images. We propose Contrastive Forward Dynamics loss, which combines dynamics model learning with time contrastive techniques. The learned state representation that results from our methods can be used to robustly solve a manipulation task in simulation and to successfully transfer the learned skill on a real system. We demonstrate the effectiveness of our approaches by training a vision based reinforcement learning agent for cube stacking. Agents trained with our method, using only 5 hours of unlabeled real robot data for adaptation, shows a clear improvement over domain randomization, and standard visual domain adaptation techniques for sim to real transfer.


Characterization of classes of graphs with large general position number. Getting inspired by the famous no three in line problem and by the general position subset selection problem from discrete geometry, the same is introduced into graph theory as follows. A set S of vertices in a graph G is a general position set if no element of S lies on a geodesic between any two other elements of S . The cardinality of a largest general position set is the general position number rm gp (G) of G. In cite ullas 2016 graphs G of order n with rm gp (G) in 2, n, n 1 were characterized. In this paper, we characterize the classes of all connected graphs of order n geq 4 with the general position number n 2.


Multilevel decompositions and norms for negative order Sobolev spaces. We consider multilevel decompositions of piecewise constants on simplicial meshes that are stable in H s for s in (0,1) . Proofs are given in the case of uniformly and locally refined meshes. Our findings can be applied to define local multilevel diagonal preconditioners that lead to bounded condition numbers (independent of the mesh sizes and levels) and have optimal computational complexity. Furthermore, we discuss multilevel norms based on local (quasi )projection operators that allow the efficient evaluation of negative order Sobolev norms. Numerical examples and a discussion on several extensions and applications conclude this article.


Using Lexical Features for Malicious URL Detection A Machine Learning Approach. Malicious websites are responsible for a majority of the cyber attacks and scams today. Malicious URLs are delivered to unsuspecting users via email, text messages, pop ups or advertisements. Clicking on or crawling such URLs can result in compromised email accounts, launching of phishing campaigns, download of malware, spyware and ransomware, as well as severe monetary losses. A machine learning based ensemble classification approach is proposed to detect malicious URLs in emails, which can be extended to other methods of delivery of malicious URLs. The approach uses static lexical features extracted from the URL string, with the assumption that these features are notably different for malicious and benign URLs. The use of such static features is safer and faster since it does not involve crawling the URLs or blacklist lookups which tend to introduce a significant amount of latency in producing verdicts. The goal of the classification was to achieve high sensitivity i.e. detect as many malicious URLs as possible. URL strings tend to be very unstructured and noisy. Hence, bagging algorithms were found to be a good fit for the task since they average out multiple learners trained on different parts of the training data, thus reducing variance. The classification model was tested on five different testing sets and produced an average False Negative Rate (FNR) of 0.1 , average accuracy of 92 and average AUC of 0.98. The model is presently being used in the FireEye Advanced URL Detection Engine (used to detect malicious URLs in emails), to generate fast real time verdicts on URLs. The malicious URL detections from the engine have gone up by 22 since the deployment of the model into the engine workflow. The results obtained show noteworthy evidence that a purely lexical approach can be used to detect malicious URLs.


Hydrogen plasma favored modification of anatase TiO 2 (001) surface with desirable water splitting performance. We show that when TiO 2 anatase (001) is exposed to hydrogen plasma that the pristine surface termination becomes unfavorable to another, slightly modified, surface. On this modified surface the topmost TiO 2 layer is intact but out of registry with the bottom layers. Nevertheless, the modified surface has significantly improved ability to split water under exposure to sunlight. We show by explicit calculation of the water splitting reaction that the energy barrier that exists on a pristine surface is not present on the modified surface. The valence band maximum of the surface is raised relative to the pristine surface, which is a favorable way of adjusting the band gap in TiO 2 to the solar spectrum.


Learning Topometric Semantic Maps from Occupancy Grids. Today's mobile robots are expected to operate in complex environments they share with humans. To allow intuitive human robot collaboration, robots require a human like understanding of their surroundings in terms of semantically classified instances. In this paper, we propose a new approach for deriving such instance based semantic maps purely from occupancy grids. We employ a combination of deep learning techniques to detect, segment and extract door hypotheses from a random sized map. The extraction is followed by a post processing chain to further increase the accuracy of our approach, as well as place categorization for the three classes room, door and corridor. All detected and classified entities are described as instances specified in a common coordinate system, while a topological map is derived to capture their spatial links. To train our two neural networks used for detection and map segmentation, we contribute a simulator that automatically creates and annotates the required training data. We further provide insight into which features are learned to detect doorways, and how the simulated training data can be augmented to train networks for the direct application on real world grid maps. We evaluate our approach on several publicly available real world data sets. Even though the used networks are solely trained on simulated data, our approach demonstrates high robustness and effectiveness in various real world indoor environments.


Balanced Binary Neural Networks with Gated Residual. Binary neural networks have attracted numerous attention in recent years. However, mainly due to the information loss stemming from the biased binarization, how to preserve the accuracy of networks still remains a critical issue. In this paper, we attempt to maintain the information propagated in the forward process and propose a Balanced Binary Neural Networks with Gated Residual (BBG for short). First, a weight balanced binarization is introduced to maximize information entropy of binary weights, and thus the informative binary weights can capture more information contained in the activations. Second, for binary activations, a gated residual is further appended to compensate their information loss during the forward process, with a slight overhead. Both techniques can be wrapped as a generic network module that supports various network architectures for different tasks including classification and detection. We evaluate our BBG on image classification tasks over CIFAR 10 100 and ImageNet and on detection task over Pascal VOC. The experimental results show that BBG Net performs remarkably well across various network architectures such as VGG, ResNet and SSD with the superior performance over state of the art methods in terms of memory consumption, inference speed and accuracy.


Can Umbral and q calculus be merged?. The q calculus is reformulated in terms of the umbral calculus and of the associated operational formalism. We show that new and interesting elements emerge from such a restyling. The proposed technique is applied to a different formulations of q special functions, to the derivation of integrals involving ordinary and q functions and to the study of q special functions and polynomials.


Large scale integrated reconfigurable orbital angular momentum mode multiplexer. Recent experiments in orbital angular momentum multiplexing have demonstrated its potential for improving the link capacity in optical interconnection networks. Meanwhile, compact photonic integrated orbital angular momentum (de )multiplexing devices are needed to address requirements such as high scalability, fast configurability, low cost and low power consumption. Here we report on a large scale integrated tunable orbital angular momentum mode multiplexer, which supports up to 20 multiplexed orbital angular momentum modes over 16 wavelength channels with 30 GHz channel spacing. A testbed of nine multiplexed OAM beams encoded with 28 Gbaud 16 quadrature amplitude modulation signal is demonstrated, achieving a 1.008 Tbit s 1 aggregated rate with low penalty and sub microsecond reconfiguration rate of the orbital angular momentum mode. This device offers an effective solution for replacing bulky diffractive optical elements, paving the way for orbital angular momentum multiplexing in optical interconnection networks.


Resolvent conditions and growth of powers of operators. Following Berm 'udez et al. (ArXiv 1706.03638v1), we study the rate of growth of the norms of the powers of a linear operator, under various resolvent conditions or Ces aro boundedness assumptions. We show that T is power bounded if (and only if) both T and T are absolutely Ces aro bounded. In Hilbert spaces, we prove that if T satisfies the Kreiss condition, T n O(n sqrt log n ) if T is absolutely Ces aro bounded, T n O(n 1 2 varepsilon ) for some varepsilon 0 (which depends on T ) if T is strongly Kreiss bounded, then T n O(( log n) kappa) for some kappa 0 . We show that a Kreiss bounded operator on a reflexive space is Abel ergodic, and its Ces aro means of order alpha converge strongly when alpha 1 .


An analysis of replies to Trump's tweets. Donald Trump has tweeted thousands of times during his presidency. These public statements are an increasingly important way through which Trump communicates his political and personal views. A better understanding of the way the American public consumes and responds to these tweets is therefore critical. In the present work, we address both consumption of and response to Trump's tweets by studying replies to them on Twitter. With respect to response, we find that a small number of older, white, left leaning, and female Americans are responsible for the vast majority of replies to Trump's tweets. These individuals also attend to a broader range of Trump's tweets than the rest of the individuals we study. With respect to consumption, we note that Trump's tweets are often viewed not in isolation, but rather in the context of a set of algorithmically curated replies. These replies may therefore color the way Americans consume Trump's tweets. To this end, we find some evidence that Twitter accounts see replies in line with their political leanings. However, we show that this can be largely, although not entirely, attributed to the fact that Twitter is more likely to show replies by accounts a user follows. As a basis for comparison, all results for Trump are compared and contrasted with replies to Joe Biden's tweets.


I nteract A cyber physical system for real time interaction with physical and virtual objects using mixed reality technologies for additive manufacturing. This paper presents I nteract, a cyber physical system that enables real time interaction with real and virtual objects in a mixed augmented reality environment to design 3D models for additive manufacturing. The system has been developed using mixed reality technologies such as HoloLens, for augmenting visual feedback, and haptic gloves, for augmenting haptic force feedback. The efficacy of the system has been demonstrated by generating 3D model using a novel scanning method to 3D print a customized orthopedic cast for human arm, by estimating spring rates of compression springs, and by simulating interaction with a virtual spring using hand.


An End to End Framework to Identify Pathogenic Social Media Accounts on Twitter. Pathogenic Social Media (PSM) accounts such as terrorist supporter accounts and fake news writers have the capability of spreading disinformation to viral proportions. Early detection of PSM accounts is crucial as they are likely to be key users to make malicious information "viral". In this paper, we adopt the causal inference framework along with graph based metrics in order to distinguish PSMs from normal users within a short time of their activities. We propose both supervised and semi supervised approaches without taking the network information and content into account. Results on a real world dataset from Twitter accentuates the advantage of our proposed frameworks. We show our approach achieves 0.28 improvement in F1 score over existing approaches with the precision of 0.90 and F1 score of 0.63.


A Personalized Preference Learning Framework for Caching in Mobile Networks. This paper comprehensively studies a content centric mobile network based on a preference learning framework, where each mobile user is equipped with a finite size cache. We consider a practical scenario where each user requests a content file according to its own preferences, which is motivated by the existence of heterogeneity in file preferences among different users. Under our model, we consider a single hop based device to device (D2D) content delivery protocol and characterize the average hit ratio for the following two file preference cases the personalized file preferences and the common file preferences. By assuming that the model parameters such as user activity levels, user file preferences, and file popularity are unknown and thus need to be inferred, we present a collaborative filtering (CF) based approach to learn these parameters. Then, we reformulate the hit ratio maximization problems into a submodular function maximization and propose two computationally efficient algorithms including a greedy approach to efficiently solve the cache allocation problems. We analyze the computational complexity of each algorithm. Moreover, we analyze the corresponding level of the approximation that our greedy algorithm can achieve compared to the optimal solution. Using a real world dataset, we demonstrate that the proposed framework employing the personalized file preferences brings substantial gains over its counterpart for various system parameters.


Advancement of LANSCE Accelerator Facility as a 1 MW Fusion Prototypic Neutron Source. The Fusion Prototypic Neutron Source (FPNS) is considered to be a testbed for scientific understanding of material degradation in future nuclear fusion reactors 1 3 . The primary mission of FPNS is to provide a damage rate in iron samples of 8 11 dpa calendar year with He dpa ratio of 10 appm in irradiation volume of 50 cm3 or larger with irradiation temperature 300 1000o C and flux gradient less than 20 cm in the plane of the sample. The Los Alamos Neutron Science Center (LANSCE) is an attractive candidate for the FPNS project. The Accelerator Facility was designed and operated for an extended period as a 0.8 MW Meson Factory. The existing setup of the LANSCE accelerator complex can nearly fulfill requirements of the fusion neutron source station. The primary function of the upgraded accelerator systems is the safe and reliable delivery of a 1.25 mA continuous proton beam current at 800 MeV beam energy from the switchyard to the target assembly to create 1 MW power of proton beam interacting with a solid tungsten target. The present study describes existing accelerator setup and further development required to meet the needs of FPNS project.


Neural Embeddings of Scholarly Periodicals Reveal Complex Disciplinary Organizations. Understanding the structure of knowledge domains is one of the foundational challenges in science of science. Here, we propose a neural embedding technique that leverages the information contained in the citation network to obtain continuous vector representations of scientific periodicals. We demonstrate that our periodical embeddings encode nuanced relationships between periodicals as well as the complex disciplinary and interdisciplinary structure of science, allowing us to make cross disciplinary analogies between periodicals. Furthermore, we show that the embeddings capture meaningful "axes" that encompass knowledge domains, such as an axis from "soft" to "hard" sciences or from "social" to "biological" sciences, which allow us to quantitatively ground periodicals on a given dimension. By offering novel quantification in science of science, our framework may in turn facilitate the study of how knowledge is created and organized.