Compact sets with large projections and nowhere dense sumset. We answer a question of Banakh, Jab l o 'nska and Jab l o 'nski by showing that for d ge 2 there exists a compact set K subseteq mathbb R d such that the projection of K onto each hyperplane is of non empty interior, but K K is nowhere dense. The proof relies on a random construction. A natural approach in the proofs is to construct such a K in the unit cube with full projections, that is, such that the projections of K agree with that of the unit cube. We investigate the generalization of these problems for projections onto various dimensional subspaces as well as for ell fold sumsets. We obtain numerous positive and negative results, but also leave open many interesting cases. We also show that in most cases if we have a specific example of such a compact set then actually the generic (in the sense of Baire category) compact set in a suitably chosen space is also an example. Finally, utilizing a computer aided construction, we show that the compact set in the plane with full projections and nowhere dense sumset can be self similar.


Unlinking super linkers the topology of epidemic response (Covid 19). A key characteristic of the spread of infectious diseases is their ability to use efficient transmission paths within contact graphs. This enables the pathogen to maximise infection rates and spread within a target population. In this work, we devise techniques to localise infections and decrease infection rates based on a principled analysis of disease transmission paths within human contact networks (proximity graphs). Experimental results of disease spreading shows that that at low visibility rates contact tracing slows disease spreading. However to stop disease spreading, contact tracing requires both significant visibility (at least 60 ) into the proximity graph and the ability to place half of the population under isolation. We find that pro actively isolating super links key proximity encounters has significant benefits targeted isolation of a fourth of the population based on 35 visibility into the proximity graph prevents an epidemic outbreak. It turns out that isolating super spreaders is more effective than contact tracing and testing but less effective than targeting super links. We highlight the important role of topology in epidemic outbreaks. We argue that proactive innoculation of a population by disabling super links and super spreaders may have an important complimentary role alongside contact tracing and testing as part of a sophisticated public health response to epidemic outbreaks.


Multi Resolution Overlapping Stripes Network for Person Re Identification. This paper addresses the person re identification (PReID) problem by combining global and local information at multiple feature resolutions with different loss functions. Many previous studies address this problem using either part based features or global features. In case of part based representation, the spatial correlation between these parts is not considered, while global based representation are not sensitive to spatial variations. This paper presents a part based model with a multi resolution network that uses different level of features. The output of the last two conv blocks is then partitioned horizontally and processed in pairs with overlapping stripes to cover the important information that might lie between parts. We use different loss functions to combine local and global information for classification. Experimental results on a benchmark dataset demonstrate that the presented method outperforms the state of the art methods.


On the generalized Brauer Siegel theorem for asymptotically exact families with solvable Galois closure. In 2002, M. A. Tsfasman and S. G. Vl u a du c t formulated the generalized Brauer Siegel conjecture for asymptotically exact families of number fields. In this article, we establish this conjecture for asymptotically good towers and asymptotically bad families of number fields with solvable normal closure.


Axial spectral encoding of space time wave packets. Space time (ST) wave packets are propagation invariant pulsed optical beams whose group velocity can be tuned in free space by tailoring their spatio temporal spectral structure. To date, efforts on synthesizing ST wave packets have striven to maintain their propagation invariance. Here, we demonstrate that one degree of freedom of a ST wave packet its on axis spectrum can be isolated and purposefully controlled independently of the others. Judicious spatio temporal spectral amplitude and phase modulation yields ST wave packets with programmable spectral changes along the propagation axis including red shifting or blue shifting spectra, or more sophisticated axial spectral encoding including bidirectional spectral shifts and accelerating spectra. In all cases, the spectral shift can be larger than the initial on axis bandwidth, while preserving the propagation invariance of the other degrees of freedom, including the wave packet spatio temporal profile. These results may be useful in range finding in microscopy or remote sensing via spectral stamping.


Enhancing Robustness Against Adversarial Examples in Network Intrusion Detection Systems. The increase of cyber attacks in both the numbers and varieties in recent years demands to build a more sophisticated network intrusion detection system (NIDS). These NIDS perform better when they can monitor all the traffic traversing through the network like when being deployed on a Software Defined Network (SDN). Because of the inability to detect zero day attacks, signature based NIDS which were traditionally used for detecting malicious traffic are beginning to get replaced by anomaly based NIDS built on neural networks. However, recently it has been shown that such NIDS have their own drawback namely being vulnerable to the adversarial example attack. Moreover, they were mostly evaluated on the old datasets which don't represent the variety of attacks network systems might face these days. In this paper, we present Reconstruction from Partial Observation (RePO) as a new mechanism to build an NIDS with the help of denoising autoencoders capable of detecting different types of network attacks in a low false alert setting with an enhanced robustness against adversarial example attack. Our evaluation conducted on a dataset with a variety of network attacks shows denoising autoencoders can improve detection of malicious traffic by up to 29 in a normal setting and by up to 45 in an adversarial setting compared to other recently proposed anomaly detectors.


Large and moderate deviations for stochastic Volterra systems. We provide a unified treatment of pathwise Large and Moderate deviations principles for a general class of multidimensional stochastic Volterra equations with singular kernels, not necessarily of convolution form. Our methodology is based on the weak convergence approach by Budhijara, Dupuis and Ellis. We show in particular how this framework encompasses most rough volatility models used in mathematical finance and generalises many recent results in the literature.


Purity results for some arithmetically defined measures. We study measures that are obtained as push forwards of measures of maximal entropy on sofic shifts under digital maps (x k) k in mathbb N mapsto sum k in mathbb N x k beta k , where beta 1 is a Pisot number. We characterise the continuity of such measures in terms of the underlying automaton and show a purity result.


Video Representation Learning by Dense Predictive Coding. The objective of this paper is self supervised learning of spatio temporal embeddings from video, suitable for human action recognition. We make three contributions First, we introduce the Dense Predictive Coding (DPC) framework for self supervised representation learning on videos. This learns a dense encoding of spatio temporal blocks by recurrently predicting future representations Second, we propose a curriculum training scheme to predict further into the future with progressively less temporal context. This encourages the model to only encode slowly varying spatial temporal signals, therefore leading to semantic representations Third, we evaluate the approach by first training the DPC model on the Kinetics 400 dataset with self supervised learning, and then finetuning the representation on a downstream task, i.e. action recognition. With single stream (RGB only), DPC pretrained representations achieve state of the art self supervised performance on both UCF101(75.7 top1 acc) and HMDB51(35.7 top1 acc), outperforming all previous learning methods by a significant margin, and approaching the performance of a baseline pre trained on ImageNet.


The Global Convergence Analysis of the Bat Algorithm Using a Markovian Framework and Dynamical System Theory. The bat algorithm (BA) has been shown to be effective to solve a wider range of optimization problems. However, there is not much theoretical analysis concerning its convergence and stability. In order to prove the convergence of the bat algorithm, we have built a Markov model for the algorithm and proved that the state sequence of the bat population forms a finite homogeneous Markov chain, satisfying the global convergence criteria. Then, we prove that the bat algorithm can have global convergence. In addition, in order to enhance the convergence performance of the algorithm, we have designed an updated model using the dynamical system theory in terms of a dynamic matrix, and the parameter ranges for the algorithm stability are then obtained. We then use some benchmark functions to demonstrate that BA can indeed achieve global optimality efficiently for these functions.


On the necessary condition for entire function with the increasing second quotients of Taylor coefficients to belong to the Laguerre P 'olya class. For an entire function f(z) sum k 0 infty a k z k, a k 0, we show that f does not belong to the Laguerre P 'olya class if the quotients frac a n 1 2 a n 2 a n are increasing in n , and c lim limits n to infty frac a n 1 2 a n 2 a n is smaller than an absolute constant q infty (q infty approx 3 . 2336) .


A Cardioid Domain and Starlike Functions. We introduce and study a class of starlike functions defined by begin equation mathscr S wp left f in mathcal A frac zf'(z) f(z) prec 1 ze z wp(z) right , end equation where wp maps the unit disk onto a cardioid domain. We find the radius of convexity of wp(z) and establish the inclusion relations between the class mathscr S wp and some well known classes. Further we derive sharp radius constants and coefficient related results for the class mathscr S wp .


The dominance of big teams in China's scientific output. Modern science is dominated by scientific productions from teams. A recent finding shows that teams with both large and small sizes are essential in research, prompting us to analyze the extent to which a country's scientific work is carried out by big small teams. Here, using over 26 million publications from Web of Science, we find that China's research output is more dominated by big teams than the rest of the world, which is particularly the case in fields of natural science. Despite the global trend that more papers are done by big teams, China's drop in small team output is much steeper. As teams in China shift from small to large size, the team diversity that is essential for innovative works does not increase as much as that in other countries. Using the national average as the baseline, we find that the National Natural Science Foundation of China (NSFC) supports fewer small team works than the National Science Foundation of U.S. (NSF) does, implying that big teams are more preferred by grant agencies in China. Our finding provides new insights into the concern of originality and innovation in China, which urges a need to balance small and big teams.


Tackling the Unannotated Scene Graph Generation with Bias Reduced Models. Predicting a scene graph that captures visual entities and their interactions in an image has been considered a crucial step towards full scene comprehension. Recent scene graph generation (SGG) models have shown their capability of capturing the most frequent relations among visual entities. However, the state of the art results are still far from satisfactory, e.g. models can obtain 31 in overall recall R 100, whereas the likewise important mean class wise recall mR 100 is only around 8 on Visual Genome (VG). The discrepancy between R and mR results urges to shift the focus from pursuing a high R to a high mR with a still competitive R. We suspect that the observed discrepancy stems from both the annotation bias and sparse annotations in VG, in which many visual entity pairs are either not annotated at all or only with a single relation when multiple ones could be valid. To address this particular issue, we propose a novel SGG training scheme that capitalizes on self learned knowledge. It involves two relation classifiers, one offering a less biased setting for the other to base on. The proposed scheme can be applied to most of the existing SGG models and is straightforward to implement. We observe significant relative improvements in mR (between 6.6 and 20.4 ) and competitive or better R (between 2.4 and 0.3 ) across all standard SGG tasks.


Implementation of gauge invariant time dependent configuration interaction singles method for three dimensional atoms. We present a numerical implementation of the gauge invariant time dependent configuration interaction singles (TDCIS) method Appl. Sci. 8, 433 (2018) for three dimensional atoms. In our implementation, orbital like quantity called channel orbital Phys. Rev. A 74, 043420 (2006) is propagated instead of configuration interaction (CI) coefficients, which removes a computational bottleneck of explicitly calculating and storing numerous virtual orbitals. Furthermore, besides its physical consistency, the gauge invariant formulation allows to take advantages of the velocity gauge treatment of the laser electron interaction over the length gauge one in the simulation of high field phenomena. We apply the present implementation to high harmonic generation from helium and neon atoms, and numerically confirms the gauge invariance and demonstrates the effectiveness of the rotated velocity gauge treatment.


Image Quality Assessment for Omnidirectional Cross reference Stitching. Along with the development of virtual reality (VR), omnidirectional images play an important role in producing multimedia content with immersive experience. However, despite various existing approaches for omnidirectional image stitching, how to quantitatively assess the quality of stitched images is still insufficiently explored. To address this problem, we establish a novel omnidirectional image dataset containing stitched images as well as dual fisheye images captured from standard quarters of 0 circ , 90 circ , 180 circ and 270 circ . In this manner, when evaluating the quality of an image stitched from a pair of fisheye images (e.g., 0 circ and 180 circ ), the other pair of fisheye images (e.g., 90 circ and 270 circ ) can be used as the cross reference to provide ground truth observations of the stitching regions. Based on this dataset, we further benchmark six widely used stitching models with seven evaluation metrics for IQA. To the best of our knowledge, it is the first dataset that focuses on assessing the stitching quality of omnidirectional images.


3 D Dynamic UAV Base Station Location Problem. We address a dynamic covering location problem of an Unmanned Aerial Vehicle Base Station (UAV BS), where the location sequence of a single UAV BS in a wireless communication network is determined to satisfy data demand arising from ground users. This problem is especially relevant in the context of smart grid and disaster relief. The vertical movement ability of the UAV BS and non convex covering functions in wireless communication restrict utilizing classical planar covering location approaches. Therefore, we develop new formulations to this emerging problem for a finite time horizon to maximize the total coverage. In particular, we develop a mixed integer non linear programming formulation which is non convex in nature, and propose a Lagrangean Decomposition Algorithm (LDA) to solve this formulation. Due to high complexity of the problem, the LDA is still unable to find good local solutions to large scale problems. Therefore, we develop a Continuum Approximation (CA) model and show that CA would be a promising approach in terms of both computational time and solution accuracy. Our numerical study also shows that the CA model can be a remedy to build efficient initial solutions for exact solution algorithms.


Lowest energy band function for magnetic steps. We study the Schr "odinger operator in the plane with a step magnetic field function. The bottom of its spectrum is described by the infimum of the lowest eigenvalue band function, for which we establish the existence and uniqueness of the non degenerate minimum. We discuss the curvature effects on the localization properties of magnetic ground states, among other applications.


mathbb A 1 Local Degree via Stacks. We extend results of Kass Wickelgren to define an Euler class for a non orientable (or non relatively orientable) vector bundle on a smooth scheme, valued in the Grothendieck Witt group of the ground field. We use a root stack construction to produce this Euler class and discuss its relation to other versions of an Euler class in mathbb A 1 homotopy theory. This allows one to apply Kass Wickelgren's technique for arithmetic enrichments of enumerative geometry to a larger class of problems as an example, we use our construction to give an arithmetic count of the number of lines meeting 6 planes in mathbb P 4 .


Early Autism Spectrum Disorders Diagnosis Using Eye Tracking Technology. While the number of children with diagnosed autism spectrum disorder (ASD) continues to rise from year to year, there is still no universal approach to autism diagnosis and treatment. A great variety of different tools and approaches for the on site diagnostic are available right now, however, a big percent of parents have no access to them and they tend to search for the available tools and correction programs on the Internet. Lack of money, absence of qualified specialists, and low level of trust to the correction methods are the main issues that affect the in time diagnoses of ASD and which need to be solved to get the early treatment for the little patients. Understanding the importance of this issue our team decided to investigate new methods of the online autism diagnoses and develop the algorithm that will be able to predict the chances of ASD according to the information from the gaze activity of the child. The results that we got during the experiments show supported our idea that eye tracking technology is one of the most promising tools for the early detection of the eye movement features that can be markers of the ASD. Moreover, we have conducted a series of experiments to ensure that our approach has a reliable result on the cheap webcam systems. Thus, this approach can be used as an additional first screening tool for the home monitoring of the early child development and ASD connected disorders monitoring. The further development of eye tracking based autism diagnosis has a big potential of usage and can be further implemented in the daily practice for practical specialists and parents.


What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?. An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a summary of Ethereum smart contract audits performed for 23 professional stakeholders, avoiding the common problem of reporting issues mostly prevalent in low quality contracts. These audits were performed at a leading company in blockchain security, using both open source and proprietary tools, as well as human code analysis performed by professional security engineers. We categorize 246 individual defects, making it possible to compare the severity and frequency of different vulnerability types, compare smart contract and non smart contract flaws, and to estimate the efficacy of automated vulnerability detection approaches.


Multi scale Aggregation R CNN for 2D Multi person Pose Estimation. Multi person pose estimation from a 2D image is challenging because it requires not only keypoint localization but also human detection. In state of the art top down methods, multi scale information is a crucial factor for the accurate pose estimation because it contains both of local information around the keypoints and global information of the entire person. Although multi scale information allows these methods to achieve the state of the art performance, the top down methods still require a huge amount of computation because they need to use an additional human detector to feed the cropped human image to their pose estimation model. To effectively utilize multi scale information with the smaller computation, we propose a multi scale aggregation R CNN (MSA R CNN). It consists of multi scale RoIAlign block (MS RoIAlign) and multi scale keypoint head network (MS KpsNet) which are designed to effectively utilize multi scale information. Also, in contrast to previous top down methods, the MSA R CNN performs human detection and keypoint localization in a single model, which results in reduced computation. The proposed model achieved the best performance among single model based methods and its results are comparable to those of separated model based methods with a smaller amount of computation on the publicly available 2D multi person keypoint localization dataset.


Computational Complexity of Three Central Problems in Itemset Mining. Itemset mining is one of the most studied tasks in knowledge discovery. In this paper we analyze the computational complexity of three central itemset mining problems. We prove that mining confident rules with a given item in the head is NP hard. We prove that mining high utility itemsets is NP hard. We finally prove that mining maximal or closed itemsets is coNP hard as soon as the users can specify constraints on the kind of itemsets they are interested in.


What Happens To BERT Embeddings During Fine tuning?. While there has been much recent work studying how linguistic information is encoded in pre trained sentence representations, comparatively little is understood about how these models change when adapted to solve downstream tasks. Using a suite of analysis techniques (probing classifiers, Representational Similarity Analysis, and model ablations), we investigate how fine tuning affects the representations of the BERT model. We find that while fine tuning necessarily makes significant changes, it does not lead to catastrophic forgetting of linguistic phenomena. We instead find that fine tuning primarily affects the top layers of BERT, but with noteworthy variation across tasks. In particular, dependency parsing reconfigures most of the model, whereas SQuAD and MNLI appear to involve much shallower processing. Finally, we also find that fine tuning has a weaker effect on representations of out of domain sentences, suggesting room for improvement in model generalization.


Secure Coded Multi Party Computation for Massive Matrix Operations. In this paper, we consider a secure multi party computation problem (MPC), where the goal is to offload the computation of an arbitrary polynomial function of some massive private matrices (inputs) to a cluster of workers. The workers are not reliable. Some of them may collude to gain information about the input data (semi honest workers). The system is initialized by sharing a (randomized) function of each input matrix to each server. Since the input matrices are massive, each share's size is assumed to be at most 1 k fraction of the input matrix, for some k in mathbb N . The objective is to minimize the number of workers needed to perform the computation task correctly, such that even if an arbitrary subset of t 1 workers, for some t in mathbb N , collude, they cannot gain any information about the input matrices. We propose a sharing scheme, called emph polynomial sharing , and show that it admits basic operations such as adding and multiplication of matrices and transposing a matrix. By concatenating the procedures for basic operations, we show that any polynomial function of the input matrices can be calculated, subject to the problem constraints. We show that the proposed scheme can offer order wise gain in terms of the number of workers needed, compared to the approaches formed by the concatenation of job splitting and conventional MPC approaches.


Object unital groupoid graded modules. In a previous article (see cite CNP ), we introduced and analyzed ring theoretic properties of object unital mathcal G graded rings R , where mathcal G is a groupoid. In the present article, we analyze the category grmod of unitary G graded modules over such rings. Following ideas developed earlier by one of the authors in cite lundstrom2004 , we analyze the forgetful functor U colon grmod to rmod and aim to determine properties mathcal P for which the following implications are valid for modules M in grmod M is mathcal P Rightarrow U(M) is mathcal P U(M) is mathcal P Rightarrow M is mathcal P . Here we treat the cases when mathcal P is any of the properties direct summand, projective, injective, free, simple and semisimple. Moreover, graded versions of results concerning classical module theory are established, as well as some structural properties related to the category grmod .


A note on the Nielsen realization problem for K3 surfaces. We will show the following three theorems on the diffeomorphism and homeomorphism groups of a K3 surface. The first theorem is that the natural map pi 0 (Diff(K3)) to Aut(H 2 (K3 mathbb Z )) has a section over its image. The second is that, there exists a subgroup G of pi 0 (Diff(K3)) of order two over which there is no splitting of the map Diff(K3) to pi 0 (Diff(K3)) , but there is a splitting of Homeo(K3) to pi 0 (Homeo(K3)) over the image of G in pi 0 (Homeo(K3)) , which is non trivial. The third is that the map pi 1 (Diff(K3)) to pi 1 (Homeo(K3)) is not surjective. Our proof of these results is based on Seiberg Witten theory and the global Torelli theorem for K3 surfaces.


Wide Aperture Dense Plasma Fluxes Production Based on ECR Discharge in a Single Solenoid Magnetic Field. Results of experimental investigation of the ECR discharge in a single coil magnetic field as an alternative to RF and helicon discharges for wide aperture dense plasma fluxes production are presented. A possibility of obtaining wide aperture high density hydrogen plasma fluxes with homogenous transverse distribution was demonstrated in such a system. The prospects of using this system for obtaining high current ion beams are discussed.


Pose Imitation Constraints for Collaborative Robots. Achieving human like motion in robots has been a fundamental goal in many areas of robotics research. Inverse kinematic (IK) solvers have been explored as a solution to provide kinematic structures with anthropomorphic movements. In particular, numeric solvers based on geometry, such as FABRIK, have shown potential for producing human like motion at a low computational cost. Nevertheless, these methods have shown limitations when solving for robot kinematic constraints. This work proposes a framework inspired by FABRIK for human pose imitation in real time. The goal is to mitigate the problems of the original algorithm while retaining the resulting humanlike fluidity and low cost. We first propose a human constraint model for pose imitation. Then, we present a pose imitation algorithm (PIC), and it's soft version (PICs) that can successfully imitate human poses using the proposed constraint system. PIC was tested on two collaborative robots (Baxter and YuMi). Fifty human demonstrations were collected for a bi manual assembly and an incision task. Then, two performance metrics were obtained for both robots pose accuracy with respect to the human and the percentage of environment occlusion obstruction. The performance of PIC and PICs was compared against the numerical solver baseline (FABRIK). The proposed algorithms achieve a higher pose accuracy than FABRIK for both tasks (25 FABRIK, 53 PICs, 58 PICs). In addition, PIC and it's soft version achieve a lower percentage of occlusion during incision (10 FABRIK, 4 PICs, 9 PICs). These results indicate that the PIC method can reproduce human poses and achieve key desired effects of human imitation.


Semantic Head Enhanced Pedestrian Detection in a Crowd. Pedestrian detection in the crowd is a challenging task because of intra class occlusion. More prior information is needed for the detector to be robust against it. Human head area is naturally a strong cue because of its stable appearance, visibility and relative location to body. Inspired by it, we adopt an extra branch to conduct semantic head detection in parallel with traditional body branch. Instead of manually labeling the head regions, we use weak annotations inferred directly from body boxes, which is named as semantic head'. In this way, the head detection is formulated into using a special part of labeled box to detect the corresponding part of human body, which surprisingly improves the performance and robustness to occlusion. Moreover, the head body alignment structure is explicitly explored by introducing Alignment Loss, which functions in a self supervised manner. Based on these, we propose the head body alignment net (HBAN) in this work, which aims to enhance pedestrian detection by fully utilizing the human head prior. Comprehensive evaluations are conducted to demonstrate the effectiveness of HBAN on CityPersons dataset.


Expected Outcomes and Manipulations in Online Fair Division. Two simple and attractive mechanisms for the fair division of indivisible goods in an online setting are LIKE and BALANCED LIKE. We study some fundamental computational problems concerning the outcomes of these mechanisms. In particular, we consider what expected outcomes are possible, what outcomes are necessary, and how to compute their exact outcomes. In general, we show that such questions are more tractable to compute for LIKE than for BALANCED LIKE. As LIKE is strategy proof but BALANCED LIKE is not, we also consider the computational problem of how, with BALANCED LIKE, an agent can compute a strategic bid to improve their outcome. We prove that this problem is intractable in general.


A Skip connected Multi column Network for Isolated Handwritten Bangla Character and Digit recognition. Finding local invariant patterns in handwrit ten characters and or digits for optical character recognition is a difficult task. Variations in writing styles from one person to another make this task challenging. We have proposed a non explicit feature extraction method using a multi scale multi column skip convolutional neural network in this work. Local and global features extracted from different layers of the proposed architecture are combined to derive the final feature descriptor encoding a character or digit image. Our method is evaluated on four publicly available datasets of isolated handwritten Bangla characters and digits. Exhaustive comparative analysis against contemporary methods establishes the efficacy of our proposed approach.


Linguistically Driven Graph Capsule Network for Visual Question Reasoning. Recently, studies of visual question answering have explored various architectures of end to end networks and achieved promising results on both natural and synthetic datasets, which require explicitly compositional reasoning. However, it has been argued that these black box approaches lack interpretability of results, and thus cannot perform well on generalization tasks due to overfitting the dataset bias. In this work, we aim to combine the benefits of both sides and overcome their limitations to achieve an end to end interpretable structural reasoning for general images without the requirement of layout annotations. Inspired by the property of a capsule network that can carve a tree structure inside a regular convolutional neural network (CNN), we propose a hierarchical compositional reasoning model called the "Linguistically driven Graph Capsule Network", where the compositional process is guided by the linguistic parse tree. Specifically, we bind each capsule in the lowest layer to bridge the linguistic embedding of a single word in the original question with visual evidence and then route them to the same capsule if they are siblings in the parse tree. This compositional process is achieved by performing inference on a linguistically driven conditional random field (CRF) and is performed across multiple graph capsule layers, which results in a compositional reasoning process inside a CNN. Experiments on the CLEVR dataset, CLEVR compositional generation test, and FigureQA dataset demonstrate the effectiveness and composition generalization ability of our end to end model.


Verification of Neural Networks Enhancing Scalability through Pruning. Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in envisaged applications. Complexity and sheer size of such networks are challenging for automated formal verification techniques which, on the other hand, could ease the adoption of deep networks in safety and security critical contexts. In this paper we focus on enabling state of the art verification tools to deal with neural networks of some practical interest. We propose a new training pipeline based on network pruning with the goal of striking a balance between maintaining accuracy and robustness while making the resulting networks amenable to formal analysis. The results of our experiments with a portfolio of pruning algorithms and verification tools show that our approach is successful for the kind of networks we consider and for some combinations of pruning and verification techniques, thus bringing deep neural networks closer to the reach of formally grounded methods.


An O(1) Algorithm for the Numerical Evaluation of the Prolate Spheroidal Wave Functions of Order 0. The standard algorithm for the numerical evaluation of the prolate spheroidal wave function mathsf Ps hskip.05em n (x gamma 2) of order 0 , bandlimit gamma 0 and characteristic exponent n has running time which grows with both n and gamma . Here, we describe an alternate approach which runs in time independent of these quantities. We present the results of numerical experiments demonstrating the properties of our scheme, and we have made our implementation of it publicly available.


Density of power free values of polynomials II. In this paper we prove that polynomials F(x 1, cdots, x n) in mathbb Z x 1, cdots, x n of degree d geq 3 , satisfying certain hypotheses, take on the expected density of (d 1) free values. This extends the authors' earlier result where a different method implied the similar statement for polynomials of degree d geq 5 .


Design and Performance of a Silicon Tungsten Calorimeter Prototype Module and the Associated Readout. We describe the details of a silicon tungsten prototype electromagnetic calorimeter module and associated readout electronics. Detector performance for this prototype has been measured in test beam experiments at the CERN PS and SPS accelerator facilities in 2015 16. The results are compared to those in Monte Carlo Geant4 simulations. This is the first real world demonstration of the performance of a custom ASIC designed for fast, lower power, high granularity applications.


Evolving Indoor Navigational Strategies Using Gated Recurrent Units In NEAT. Simultaneous Localisation and Mapping (SLAM) algorithms are expensive to run on smaller robotic platforms such as Micro Aerial Vehicles. Bug algorithms are an alternative that use relatively little processing power, and avoid high memory consumption by not building an explicit map of the environment. Bug Algorithms achieve relatively good performance in simulated and robotic maze solving domains. However, because they are hand designed, a natural question is whether they are globally optimal control policies. In this work we explore the performance of Neuroevolution specifically NEAT at evolving control policies for simulated differential drive robots carrying out generalised maze navigation. We extend NEAT to include Gated Recurrent Units (GRUs) to help deal with long term dependencies. We show that both NEAT and our NEAT GRU can repeatably generate controllers that outperform I Bug (an algorithm particularly well suited for use in real robots) on a test set of 209 indoor maze like environments. We show that NEAT GRU is superior to NEAT in this task but also that out of the 2 systems, only NEAT GRU can continuously evolve successful controllers for a much harder task in which no bearing information about the target is provided to the agent.


Algebraic stability theorem for derived categories of zigzag persistence modules. We study distances on zigzag persistence modules from the viewpoint of derived categories and Auslander Reiten quivers. The derived category of ordinary persistence modules is derived equivalent to that of arbitrary zigzag persistence modules, depending on a classical tilting module. Through this derived equivalence, we define and compute distances on the derived category of arbitrary zigzag persistence modules and prove an algebraic stability theorem. We also compare our distance with the distance for purely zigzag persistence modules introduced by Botnan Lesnick and the sheaf theoretic convolution distance due to Kashiwara Schapira.


Antichains of Copies of Ultrahomogeneous Structures. We investigate possible cardinalities of maximal antichains in the poset of copies langle mathbb P( mathbb X), subset rangle of a countable ultrahomogeneous relational structure mathbb X . It turns out that if the age of mathbb X has the strong amalgamation property, then, defining a copy of mathbb X to be large iff it has infinite intersection with each orbit of mathbb X , the structure mathbb X can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, hence, there are (maximal) antichains of size continuum in the poset mathbb P ( mathbb X) . Finally, we show that the posets of copies of all countable ultrahomogeneous partial orders contain maximal antichains of cardinality continuum and determine which of them contain countable maximal antichains. That holds, in particular, for the random (universal ultrahomogeneous) poset.


Effects of impulsive harvesting and an evolving domain in a diffusive logistic model. In order to understand how the combination of domain evolution and impulsive harvesting affect the dynamics of a population, we propose a diffusive logistic population model with impulsive harvesting on a periodically evolving domain. Initially the ecological reproduction index of the impulsive problem is introduced and given by an explicit formula, which depends on the domain evolution rate and the impulsive function. Then the threshold dynamics of the population under monotone or nonmonotone impulsive harvesting is established based on this index. Finally numerical simulations are carried out to illustrate our theoretical results, and reveal that a large domain evolution rate can improve the population survival, no matter which impulsive harvesting takes place. Contrary, impulsive harvesting has a negative effect on the population survival, and can even lead to the extinction of the population.


On the nonlinear Schr "odinger equation in spaces of infinite mass and low regularity. We study the nonlinear Schr "odinger equation with initial data in mathcal Z s p( mathbb R d) dot H s( mathbb R d) cap L p( mathbb R d) , where 0 s min d 2,1 and 2 p 2d (d 2s) . After showing that the linear Schr "odinger group is well defined in this space, we prove local well posedness in the whole range of parameters s and p . The precise properties of the solution depend on the relation between the power of the nonlinearity and the integrability p . Finally, we present a global existence result for the defocusing cubic equation in dimension three for initial data with infinite mass and energy, using a variant of the Fourier truncation method.


Spectroscopy, Dynamics and Hydration of S Nitrosylated Myoglobin. S nitrosylation, the covalent addition of NO to the thiol side chain of cysteine, is an important post transitional modification that can alter the function of various proteins. The structural dynamics and vibrational spectroscopy of S nitrosylation in the condensed phase is investigated for the methyl capped cysteine model system and for myoglobin. Using conventional point charge and physically more realistic multipolar force fields for the SNO group it is found that the SN and NO stretch and the SNO bend vibrations can be located and distinguished from the other protein modes for simulations of MbSNO at 50 K. The finding of stable cis and trans MbSNO is consistent with experiments on other proteins as is the observation of buried SNO. For MbSNO the observed relocation of the EF loop in the simulations by sim 3 AA is consistent with the available X ray structure and the conformations adopted by the SNO label are in good overall agreement with the X ray structure. Despite the larger size of the SNO group, MbSNO is found to recruit more water molecules within 10 AA of the modification site than WT Mb due to the stronger electrostatics. Similarly, when comparing the hydration between the A and H helices they differ by up to 30 between WT and MbSNO. This suggests that local hydration can also be significantly modulated through nitrosylation.


High Performance Printed AgO Zn Rechargeable Battery for Flexible Electronics. The rise of flexible electronics calls for cost effective and scalable batteries with good mechanical and electrochemical performance. In this work, we developed printable, polymer based AgO Zn batteries that feature flexibility, rechargeability, high areal capacity, and low impedance. Using elastomeric substrate and binders, the current collectors, electrodes, and separators can be easily screen printed layer by layer and vacuum sealed in a stacked configuration. The batteries are customizable in sizes and capacities, with the highest obtained areal capacity of 54 mAh cm2 for primary applications. Advanced micro CT and EIS were used to characterize the battery, whose mechanical stability was tested with repeated twisting and bending. The batteries were used to power a flexible E ink display system that requires a high current drain and exhibited superior performance than commercial coin cell batteries. The developed battery presents a practical solution for powering a wide range of electronics and holds major implications for the future development of practical and high performance flexible batteries.


Understanding the Use of Fauxtography on Social Media. Despite the influence that image based communication has on online discourse, the role played by images in disinformation is still not well understood. In this paper, we present the first large scale study of fauxtography, analyzing the use of manipulated or misleading images in news discussion on online communities. First, we develop a computational pipeline geared to detect fauxtography, and identify over 61k instances of fauxtography discussed on Twitter, 4chan, and Reddit. Then, we study how posting fauxtography affects engagement of posts on social media, finding that posts containing it receive more interactions in the form of re shares, likes, and comments. Finally, we show that fauxtography images are often turned into memes by Web communities. Our findings show that effective mitigation against disinformation need to take images into account, and highlight a number of challenges in dealing with image based disinformation.


The Weisfeiler Leman dimension of chordal bipartite graphs without bipartite claw. A graph X is said to be chordal bipartite if it is bipartite and contains no induced cycle of length at least 6 . It is proved that if X does not contain bipartite claw as an induced subgraph, then the Weisfeiler Leman dimension of X is at most 3 . The proof is based on the theory of coherent configurations.


On the kernel of the projection map T(V) to S(V) . If V is a vector space over a field F , then we consider the projection from the tensor algebra to the symmetric algebra, rho T,S T(V) to S(V) . Our main result, in S 1, gives a description of ker rho T,S . Explicitly, we consider the mathbb Z geq 2 graded T(V) bimodule T(V) otimes Lambda 2(V) otimes T(V) and we define M(V) (T(V) otimes Lambda 2(V) otimes T(V)) W M(V) , where W M(V) is the subbimodule of T(V) otimes Lambda 2(V) otimes T(V) generated by x,y otimes xi otimes z wedge t x wedge y otimes xi otimes z,t , with x,y,z,t in V and xi in T(V) . x,y wedge z y,z wedge x z,x wedge y , with x,y,z in V . (If eta in T(V) and xi in T(V) otimes Lambda 2(V) otimes T(V) (or vice versa) then eta, xi eta otimes xi xi otimes eta in T(V) otimes Lambda 2(V) otimes T(V) .) Then M(V) is a mathbb Z geq 2 graded T(V) bimodule. If eta in T(V) otimes Lambda 2(V) otimes T(V) the we denote by eta its class in M(V) . bf Theorem We have an exact sequence 0 to M(V) xrightarrow rho M,T T(V) xrightarrow rho T,S S(V) to 0, where rho M,T is given by eta otimes x wedge y otimes xi mapsto eta otimes x,y otimes xi forall x,y in V , eta, xi in T(V) . In S 2 we define the graded algebra S'(V) T(V) W S' (V) , where S'(V) subseteq T(V) is the ideal generated by x otimes y otimes z y otimes z otimes x , x,y,z in V , and we prove that there is a n exact sequence 0 to Lambda geq 2 (V) xrightarrow rho Lambda geq 2 ,S' S'(V) xrightarrow rho S',S S(V) to 0. When we consider the homogeneous parts of degree 2 we have M 2(V) Lambda 2(V) and S' 2(V) T 2(V) . Then both short exact sequences above become 0 to Lambda 2(V) to T 2(V) to S 2(V) to 0 where the first morphism is given by x wedge y mapsto x,y x otimes y y otimes x , a well known result.


When Wireless Security Meets Machine Learning Motivation, Challenges, and Research Directions. Wireless systems are vulnerable to various attacks such as jamming and eavesdropping due to the shared and broadcast nature of wireless medium. To support both attack and defense strategies, machine learning (ML) provides automated means to learn from and adapt to wireless communication characteristics that are hard to capture by hand crafted features and models. This article discusses motivation, background, and scope of research efforts that bridge ML and wireless security. Motivated by research directions surveyed in the context of ML for wireless security, ML based attack and defense solutions and emerging adversarial ML techniques in the wireless domain are identified along with a roadmap to foster research efforts in bridging ML and wireless security.


How to Price Fresh Data. We introduce the concept of a fresh data market, in which a destination user requests, and pays for, fresh data updates from a source provider. Data freshness is captured by the it age of information (AoI) metric, defined as the time elapsed since the latest update has reached the destination. The source incurs an operational cost, modeled as an increasing convex function of the number of updates. The destination incurs an age related cost, modeled as an increasing convex function of the AoI. The source charges the destination for each update and designs a pricing mechanism to maximize its profit the destination on the other hand chooses a data update schedule to minimize the summation of its payments to the source and its age related cost. The interaction among the source and destination is hence game theoretic. Motivated by the existing pricing literature, we first study a time dependent pricing scheme, in which the price for each update depends on when it is requested. We show in this case that the game equilibrium leads to only one data update, which does not yield the maximum profit to the source. This motivates us to consider a quantity based pricing scheme, in which the price of each update depends on how many updates have been previously requested. We show that among all pricing schemes in which the price of an update may vary according to both time and quantity, the quantity based pricing scheme performs best it maximizes the source's profit and minimizes the social cost of the system, defined as the aggregate source's operational cost and the destination's age related cost. Numerical results show that the optimal quantity based pricing can be 27 more profitable for the source and incurs 54 less social cost, compared with the optimal time dependent pricing.


Interpretability Beyond Classification Output Semantic Bottleneck Networks. Today's deep learning systems deliver high performance based on end to end training. While they deliver strong performance, these systems are hard to interpret. To address this issue, we propose Semantic Bottleneck Networks (SBN) deep networks with semantically interpretable intermediate layers that all downstream results are based on. As a consequence, the analysis on what the final prediction is based on is transparent to the engineer and failure cases and modes can be analyzed and avoided by high level reasoning. We present a case study on street scene segmentation to demonstrate the feasibility and power of SBN. In particular, we start from a well performing classic deep network which we adapt to house a SB Layer containing task related semantic concepts (such as object parts and materials). Importantly, we can recover state of the art performance despite a drastic dimensionality reduction from 1000s (non semantic feature) to 10s (semantic concept) channels. Additionally we show how the activations of the SB Layer can be used for both the interpretation of failure cases of the network as well as for confidence prediction of the resulting output. For the first time, e.g., we show interpretable segmentation results for most predictions at over 99 accuracy.


Multimodal Joint Emotion and Game Context Recognition in League of Legends Livestreams. Video game streaming provides the viewer with a rich set of audio visual data, conveying information both with regards to the game itself, through game footage and audio, as well as the streamer's emotional state and behaviour via webcam footage and audio. Analysing player behaviour and discovering correlations with game context is crucial for modelling and understanding important aspects of livestreams, but comes with a significant set of challenges such as fusing multimodal data captured by different sensors in uncontrolled ('in the wild') conditions. Firstly, we present, to our knowledge, the first data set of League of Legends livestreams, annotated for both streamer affect and game context. Secondly, we propose a method that exploits tensor decompositions for high order fusion of multimodal representations. The proposed method is evaluated on the problem of jointly predicting game context and player affect, compared with a set of baseline fusion approaches such as late and early fusion.


Automating Distributed Tiered Storage Management in Cluster Computing. Data intensive platforms such as Hadoop and Spark are routinely used to process massive amounts of data residing on distributed file systems like HDFS. Increasing memory sizes and new hardware technologies (e.g., NVRAM, SSDs) have recently led to the introduction of storage tiering in such settings. However, users are now burdened with the additional complexity of managing the multiple storage tiers and the data residing on them while trying to optimize their workloads. In this paper, we develop a general framework for automatically moving data across the available storage tiers in distributed file systems. Moreover, we employ machine learning for tracking and predicting file access patterns, which we use to decide when and which data to move up or down the storage tiers for increasing system performance. Our approach uses incremental learning to dynamically refine the models with new file accesses, allowing them to naturally adjust and adapt to workload changes over time. Our extensive evaluation using realistic workloads derived from Facebook and CMU traces compares our approach with several other policies and showcases significant benefits in terms of both workload performance and cluster efficiency.


A class of Finite difference Methods for solving inhomogeneous damped wave equations. In this paper, a class of finite difference numerical techniques is presented to solve the second order linear inhomogeneous damped wave equation. The consistency, stability, and convergences of these numerical schemes are discussed. The results obtained are compared to the exact solution, ordinary explicit, implicit finite difference methods, and the fourth order compact method (FOCM). The general idea of these methods is developed by using the C0 semigroups operator theory. We also showed that the stability region for the explicit finite difference scheme depends on the damping coefficient.


Expressing Accountability Patterns using Structural Causal Models. While the exact definition and implementation of accountability depend on the specific context, at its core accountability describes a mechanism that will make decisions transparent and often provides means to sanction "bad" decisions. As such, accountability is specifically relevant for Cyber Physical Systems, such as robots or drones, that embed themselves into a human society, take decisions and might cause lasting harm. Without a notion of accountability, such systems could behave with impunity and would not fit into society. Despite its relevance, there is currently no agreement on its meaning and, more importantly, no way to express accountability properties for these systems. As a solution we propose to express the accountability properties of systems using Structural Causal Models. They can be represented as human readable graphical models while also offering mathematical tools to analyze and reason over them. Our central contribution is to show how Structural Causal Models can be used to express and analyze the accountability properties of systems and that this approach allows us to identify accountability patterns. These accountability patterns can be catalogued and used to improve systems and their architectures.


Modified Hard Thresholding Pursuit with Regularization Assisted Support Identification. Hard thresholding pursuit (HTP) is a recently proposed iterative sparse recovery algorithm which is a result of combination of a support selection step from iterated hard thresholding (IHT) and an estimation step from the orthogonal matching pursuit (OMP). HTP has been seen to enjoy improved recovery guarantee along with enhanced speed of convergence. Much of the success of HTP can be attributed to its improved support selection capability due to the support selection step from IHT. In this paper, we propose a generalized HTP algorithm, called regularized HTP (RHTP), where the support selection step of HTP is replaced by a IHT type support selection where the cost function is replaced by a regularized cost function, while the estimation step continues to use the least squares function. With decomposable regularizer, satisfying certain regularity conditions, the RHTP algorithm is shown to produce a sequence dynamically equivalent to a sequence evolving according to a HTP like evolution, where the identification stage has a gradient premultiplied with a time varying diagonal matrix. RHTP is also proven, both theoretically, and numerically, to enjoy faster convergence vis a vis HTP with both noiseless and noisy measurement vectors.


Weakly Supervised Representation Learning with Coarse Labels. With the development of computational power and techniques for data collection, deep learning demonstrates a superior performance over most existing algorithms on visual benchmark data sets. Many efforts have been devoted to studying the mechanism of deep learning. One important observation is that deep learning can learn the discriminative patterns from raw materials directly in a task dependent manner. Therefore, the representations obtained by deep learning outperform hand crafted features significantly. However, for some real world applications, it is too expensive to collect the task specific labels, such as visual search in online shopping. Compared to the limited availability of these task specific labels, their coarse class labels are much more affordable, but representations learned from them can be suboptimal for the target task. To mitigate this challenge, we propose an algorithm to learn the fine grained patterns for the target task, when only its coarse class labels are available. More importantly, we provide a theoretical guarantee for this. Extensive experiments on real world data sets demonstrate that the proposed method can significantly improve the performance of learned representations on the target task, when only coarse class information is available for training. Code is available at url https github.com idstcv CoIns .


Neural network interpolation of exchange correlation functional. Density functional theory (DFT) is one of the most widely used tools to solve the many body Schrodinger equation. The core uncertainty inside DFT theory is the exchange correlation (XC) functional, the exact form of which is still unknown. Therefore, the essential part of DFT success is based on the progress in the development of XC approximations. Traditionally, they are built upon analytic solutions in low and high density limits and result from quantum Monte Carlo numerical calculations. However, there is no consistent and general scheme of XC interpolation and functional representation. Many different developed parametrizations mainly utilize a number of phenomenological rules to construct a specific XC functional. In contrast, the neural network (NN) approach can provide a general way to parametrize an XC functional without any a priori knowledge of its functional form. In this work, we develop NN XC functionals and prove their applicability to 3 dimensional physical systems. We show that both the local density approximation (LDA) and generalized gradient approximation (GGA) are well reproduced by the NN approach. It is demonstrated that the local environment can be easily considered by changing only the number of neurons in the first layer of the NN. The developed NN XC functionals show good results when applied to systems that are not presented in the training test data. The generalizability of the formulated NN XC framework leads us to believe that it could give superior results in comparison with traditional XC schemes provided training data from high level theories such as the quantum Monte Carlo and post Hartree Fock methods.


Fast and memory optimal dimension reduction using Kac's walk. In this work, we analyze dimension reduction algorithms based on the Kac walk and discrete variants. (1) For n points in mathbb R d , we design an optimal Johnson Lindenstrauss (JL) transform based on the Kac walk which can be applied to any vector in time O(d log d ) for essentially the same restriction on n as in the best known transforms due to Ailon and Liberty SODA, 2008 , and Bamberger and Krahmer arXiv, 2017 . Our algorithm is memory optimal, and outperforms existing algorithms in regimes when n is sufficiently large and the distortion parameter is sufficiently small. In particular, this confirms a conjecture of Ailon and Chazelle STOC, 2006 in a stronger form. (2) The same construction gives a simple transform with optimal Restricted Isometry Property (RIP) which can be applied in time O(d log d ) for essentially the same range of sparsity as in the best known such transform due to Ailon and Rauhut Discrete Comput. Geom., 2014 . (3) We show that by fixing the angle in the Kac walk to be pi 4 throughout, one obtains optimal JL and RIP transforms with almost the same running time, thereby confirming up to a log log d factor a conjecture of Avron, Maymounkov, and Toledo SIAM J. Sci. Comput., 2010 . Our moment based analysis of this modification of the Kac walk may also be of independent interest.


Wide subcategories and lattices of torsion classes. In this paper, we study the relationship between wide subcategories and torsion classes of an abelian length category mathcal A from the point of view of lattice theory. Motivated by tau tilting reduction of Jasso, we mainly focus on intervals mathcal U , mathcal T in the lattice operatorname mathsf tors mathcal A of torsion classes in mathcal A such that mathcal W mathcal U perp cap mathcal T is a wide subcategory of mathcal A we call these intervals wide intervals. We prove that a wide interval mathcal U , mathcal T is isomorphic to the lattice operatorname mathsf tors mathcal W of torsion classes in the abelian category mathcal W . We also characterize wide intervals in two ways First, in purely lattice theoretic terms based on the brick labeling established by Demonet Iyama Reading Reiten Thomas and second, in terms of the Ingalls Thomas correspondences between torsion classes and wide subcategories, which were further developed by Marks v S v t ov ' i v c ek.


Enhanced Offensive Language Detection Through Data Augmentation. Detecting offensive language on social media is an important task. The ICWSM 2020 Data Challenge Task 2 is aimed at identifying offensive content using a crowd sourced dataset containing 100k labelled tweets. The dataset, however, suffers from class imbalance, where certain labels are extremely rare compared with other classes (e.g, the hateful class is only 5 of the data). In this work, we present Dager (Data Augmenter), a generation based data augmentation method, that improves the performance of classification on imbalanced and low resource data such as the offensive language dataset. Dager extracts the lexical features of a given class, and uses these features to guide the generation of a conditional generator built on GPT 2. The generated text can then be added to the training set as augmentation data. We show that applying Dager can increase the F1 score of the data challenge by 11 when we use 1 of the whole dataset for training (using BERT for classification) moreover, the generated data also preserves the original labels very well. We test Dager on four different classifiers (BERT, CNN, Bi LSTM with attention, and Transformer), observing universal improvement on the detection, indicating our method is effective and classifier agnostic.


Cross ethnicity Face Anti spoofing Recognition Challenge A Review. Face anti spoofing is critical to prevent face recognition systems from a security breach. The biometrics community has possessed achieved impressive progress recently due the excellent performance of deep neural networks and the availability of large datasets. Although ethnic bias has been verified to severely affect the performance of face recognition systems, it still remains an open research problem in face anti spoofing. Recently, a multi ethnic face anti spoofing dataset, CASIA SURF CeFA, has been released with the goal of measuring the ethnic bias. It is the largest up to date cross ethnicity face anti spoofing dataset covering 3 ethnicities, 3 modalities, 1,607 subjects, 2D plus 3D attack types, and the first dataset including explicit ethnic labels among the recently released datasets for face anti spoofing. We organized the Chalearn Face Anti spoofing Attack Detection Challenge which consists of single modal (e.g., RGB) and multi modal (e.g., RGB, Depth, Infrared (IR)) tracks around this novel resource to boost research aiming to alleviate the ethnic bias. Both tracks have attracted 340 teams in the development stage, and finally 11 and 8 teams have submitted their codes in the single modal and multi modal face anti spoofing recognition challenges, respectively. All the results were verified and re ran by the organizing team, and the results were used for the final ranking. This paper presents an overview of the challenge, including its design, evaluation protocol and a summary of results. We analyze the top ranked solutions and draw conclusions derived from the competition. In addition we outline future work directions.


Higher Regularity of Weak Limits of Willmore Immersions I. We obtain in arbitrary codimension a removability result on the order of singularity of weak limits and bubbles of Willmore immersions measured by the second residue. This permits to reduce significantly the number of possible bubbling scenarii. As a consequence, out of the twelve families of non planar minimal surfaces in mathbb R 3 of total curvature greater than 12 pi , only three of them may occur as conformal images of bubbles of Willmore immersions.


Ocean Object aware Anchor free Tracking. Anchor based Siamese trackers have achieved remarkable advancements in accuracy, yet the further improvement is restricted by the lagged tracking robustness. We find the underlying reason is that the regression network in anchor based methods is only trained on the positive anchor boxes (i.e., IoU geq0.6 ). This mechanism makes it difficult to refine the anchors whose overlap with the target objects are small. In this paper, we propose a novel object aware anchor free network to address this issue. First, instead of refining the reference anchor boxes, we directly predict the position and scale of target objects in an anchor free fashion. Since each pixel in groundtruth boxes is well trained, the tracker is capable of rectifying inexact predictions of target objects during inference. Second, we introduce a feature alignment module to learn an object aware feature from predicted bounding boxes. The object aware feature can further contribute to the classification of target objects and background. Moreover, we present a novel tracking framework based on the anchor free model. The experiments show that our anchor free tracker achieves state of the art performance on five benchmarks, including VOT 2018, VOT 2019, OTB 100, GOT 10k and LaSOT. The source code is available at https github.com researchmm TracKit.


Modulus support functionals, Rajchman measures and peak functions. In 2000 V. Lomonosov suggested a counterexample to the complex version of the Bishop Phelps theorem on modulus support functionals. We discuss the c 0 analog of that example and demonstrate that the set of sup attaining functionals is non trivial, thus answering an open question, asked in cite KLMW .


System Performance with varying L1 Instruction and Data Cache Sizes An Empirical Analysis. In this project, we investigate the fluctuations in performance caused by changing the Instruction (I cache) size and the Data (D cache) size in the L1 cache. We employ the Gem5 framework to simulate a system with varying specifications on a single host machine. We utilize the FreqMine benchmark available under the PARSEC suite as the workload program to benchmark our simulated system. The Out order CPU (O3) with Ruby memory model was simulated in a Full System X86 environment with Linux OS. The chosen metrics deal with Hit Rate, Misses, Memory Latency, Instruction Rate, and Bus Traffic within the system. Performance observed by varying L1 size within a certain range of values was used to compute Confidence Interval based statistics for relevant metrics. Our expectations, corresponding experimental observations, and discrepancies are also discussed in this report.


IoT Expunge Implementing Verifiable Retention of IoT Data. The growing deployment of Internet of Things (IoT) systems aims to ease the daily life of end users by providing several value added services. However, IoT systems may capture and store sensitive, personal data about individuals in the cloud, thereby jeopardizing user privacy. Emerging legislation, such as California's CalOPPA and GDPR in Europe, support strong privacy laws to protect an individual's data in the cloud. One such law relates to strict enforcement of data retention policies. This paper proposes a framework, entitled IoT Expunge that allows sensor data providers to store the data in cloud platforms that will ensure enforcement of retention policies. Additionally, the cloud provider produces verifiable proofs of its adherence to the retention policies. Experimental results on a real world smart building testbed show that IoT Expunge imposes minimal overheads to the user to verify the data against data retention policies.


Branched covers bounding rational homology balls. Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.


mathbb A 1 connected components of blow up of threefolds fibered over a surface. Over a perfect field, we determine the sheaf of mathbb A 1 connected components of a class of threefolds given by the Blow up of a variety admitting a mathbb P 1 fibration over either an mathbb A 1 rigid or a non uniruled surface, along a smooth curve. As a consequence, we verify that the sheaf of mathbb A 1 connected components for such varieties is mathbb A 1 invariant.


Oblivious DNS over HTTPS (ODoH) A Practical Privacy Enhancement to DNS. The Domain Name System (DNS) is the foundation of a human usable Internet, responding to client queries for host names with corresponding IP addresses and records. Traditional DNS is also unencrypted, and leaks user information to network operators. Recent efforts to secure DNS using DNS over TLS (DoT) and DNS over HTTPS (DoH) have been gaining traction, ostensibly protecting traffic and hiding content from on lookers. However, one of the criticisms of DoT and DoH is brought to bear by the small number of large scale deployments (e.g., Comcast, Google, Cloudflare) DNS resolvers can associate query contents with client identities in the form of IP addresses. Oblivious DNS over HTTPS(ODoH) safeguards against this problem. In this paper we ask what it would take to make ODoH practical? We describe ODoH, a practical DNS protocol aimed at resolving this issue by both protecting the client's content and identity. We implement and deploy the protocol, and perform measurements to show that ODoH has comparable performance to protocols like DoH and DoT which are gaining widespread adoption, while improving client privacy, making ODoH a practical privacy enhancing replacement for the usage of DNS.


Definable Maximal Independent Families. We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a boldsymbol Sigma 1 2 m.i.f. is equivalent to the existence of a boldsymbol Pi 1 1 m.i.f., (b) in the Cohen model, there are no projective maximal independent families, and (c) in the Sacks model, there is a boldsymbol Pi 1 1 m.i.f. We also consider a new cardinal invariant related to the question of destroying or preserving maximal independent families.


Skew Howe duality for crystals and the cactus group. The crystals for a finite dimensional complex reductive Lie algebra mathfrak g encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group C mathfrak g , constructed using the Dynkin diagram of mathfrak g , and its combinatorial action on any mathfrak g crystal via Sch " u tzenberger involutions. We compare this action with that of the Berenstein Kirillov group on Gelfand Tsetlin patterns. Henriques and Kamnitzer define an action of C n C mathfrak gl n on n tensor products of mathfrak g crystals, for any mathfrak g as above. We discuss the crystal corresponding to the mathfrak gl n times mathfrak gl m representation Lambda N( mathbb C n otimes mathbb C m), derive skew Howe duality on the crystal level and show that the two types of cactus group actions agree in this setting. A future application of this result is discussed in studying two families of maximal commutative subalgebras of the universal enveloping algebra, the shift of argument and Gaudin algebras, where an algebraically constructed monodromy action matches that of the cactus group.


Continuous Control for Searching and Planning with a Learned Model. Decision making agents with planning capabilities have achieved huge success in the challenging domain like Chess, Shogi, and Go. In an effort to generalize the planning ability to the more general tasks where the environment dynamics are not available to the agent, researchers proposed the MuZero algorithm that can learn the dynamical model through the interactions with the environment. In this paper, we provide a way and the necessary theoretical results to extend the MuZero algorithm to more generalized environments with continuous action space. Through numerical results on two relatively low dimensional MuJoCo environments, we show the proposed algorithm outperforms the soft actor critic (SAC) algorithm, a state of the art model free deep reinforcement learning algorithm.


Junk News Bubbles Modelling the Rise and Fall of Attention in Online Arenas. In this paper, we present a type of media disorder which we call " junk news bubbles" and which derives from the effort invested by online platforms and their users to identify and share contents with rising popularity. Such emphasis on trending matters, we claim, can have two detrimental effects on public debates first, it shortens the amount of time available to discuss each matter second it increases the ephemeral concentration of media attention. We provide a formal description of the dynamic of junk news bubbles, through a mathematical exploration the famous "public arenas model" developed by Hilgartner and Bosk in 1988. Our objective is to describe the dynamics of the junk news bubbles as precisely as possible to facilitate its further investigation with empirical data.


Le th 'eor eme de r 'eduction stable de Deligne et Mumford. The stable reduction theorem of Deligne and Mumford The moduli space of smooth projective curves of genus g is a quasi projective algebraic variety, but is not projective. To understand its geometry, it may be crucial to consider compactifications of this space. By allowing to parameterize as well curves with controlled singularities (the so called stable curves), Deligne and Mumford constructed a projective compactification. The properness of this compactification translates into the stable reduction theorem that they prove, its projectivity is a later theorem of Knudsen and Mumford. This text is based on the oral presentation and aims at introducing these objects.


Torsion free instanton sheaves on the blow up of mathbb P 3 at a point. We consider an extension of the instanton bundles definition, given by Casnati Coskun Genk Malaspina, for Fano threefolds, in order to include non locally free ones on the blow up widetilde mathbb P 3 , of the projective 3 space at a point. With the proposed definition, we prove that any reflexive instanton sheaf must be locally free, and that the strictly torsion free instanton sheaves have singularities of pure dimension 1. We construct examples and study their mu stability. Furthermore, these sheaves will play a role in (partially) compactifying the t'Hooft component of the moduli space of instantons, on widetilde mathbb P 3 . Finally, examples of these are shown to be smooth and smoothable.


Healing Spaces Feasibility of a Multisensory Experience for Older Adults with Advanced Dementia and their Caregivers. Healing Spaces proposes a new approach to multisensory interventions that show potential in ameliorating the behavioral and psychological symptoms of advanced dementia in older adults. Using smart technology, the project combines both digital and physical components to transform spaces and create unified, curated sensory experiences that provide meaningful context for interaction, and are easy for caregivers to deliver. A usability study was conducted for the Healing Spaces app followed by a feasibility evaluation of the full experience in a memory care facility recruiting caregivers, and residents in advanced stages of dementia. The feasibility evaluation successfully illuminated strengths as well as areas for improvement for the Healing Spaces experience in a memory care setting with older adults with advanced dementia. Caregivers and facility managers expressed interest in continuing to use Healing Spaces with the residents of the facility. Lessons learned about the technical and logistical implementation of Healing Spaces are discussed, as well as future directions for study design and potential therapeutic value of the experience.


On the relation between constraint regularization, level sets, and shape optimization. We consider regularization methods based on the coupling of Tikhonov regularization and projection strategies. From the resulting constraint regularization method we obtain level set methods in a straight forward way. Moreover, we show that this approach links the areas of asymptotic regularization to inverse problems theory, scale space theory to computer vision, level set methods, and shape optimization.


Microcavity resonance condition, quality factor, and mode volume are determined by different penetration depths. The penetration depth in a Distributed Bragg Reflector (DBR) co determines the resonance condition, quality factor, and mode volume of DBR based microcavities. Recent studies have used an incomplete description of the penetration depth and incorrect equations. We present a complete analysis that involves three different penetration depths. We also present a series of experiments on microcavities to accurately determine the frequency and modal penetration depth of our DBRs and compare these results with theoretical predictions. The obtained results are relevant for anyone who models a DBR as an effective hard mirror if lengths of the order of the wavelength are relevant, as is the case for microcavities.


Wall crossing for moduli of stable sheaves on an elliptic surface. We shall study the wall crossing behavior of moduli of stable sheaves on an elliptic surface.


Bilingual GAN A Step Towards Parallel Text Generation. Latent space based GAN methods and attention based sequence to sequence models have achieved impressive results in text generation and unsupervised machine translation respectively. Leveraging the two domains, we propose an adversarial latent space based model capable of generating parallel sentences in two languages concurrently and translating bidirectionally. The bilingual generation goal is achieved by sampling from the latent space that is shared between both languages. First two denoising autoencoders are trained, with shared encoders and back translation to enforce a shared latent state between the two languages. The decoder is shared for the two translation directions. Next, a GAN is trained to generate synthetic "code" mimicking the languages' shared latent space. This code is then fed into the decoder to generate text in either language. We perform our experiments on Europarl and Multi30k datasets, on the English French language pair, and document our performance using both supervised and unsupervised machine translation.


Central Limit Theorem for Majority Dynamics Bribing Three Voters Suffices. Given a graph G and some initial labelling sigma V(G) to Red, Blue of its vertices, the textit majority dynamics model is the deterministic process where at each stage, every vertex simultaneously replaces its label with the majority label among its neighbors (remaining unchanged in the case of a tie). We prove for a wide range of parameters that if an initial assignment is fixed and we independently sample an Erd H o s R 'enyi random graph, G n,p , then after one step of majority dynamics, the number of vertices of each label follows a central limit law. As a corollary, we provide a strengthening of a theorem of Benjamini, Chan, O'Donnell, Tamuz, and Tan about the number of steps required for the process to reach unanimity when the initial assignment is also chosen randomly. Moreover, suppose there are initially three more red vertices than blue. In this setting, we prove that if we independently sample the graph G n,1 2 , then with probability at least 51 , the majority dynamics process will converge to every vertex being red. This improves a result of Tran and Vu who addressed the case that the initial lead is at least 10.


Flexible broadband polarization converter based on metasurfaceat microwave band. This paper proposes a flexible broadband linear polarization converter based on metasurface operating at microwave band. In order to achieve bandwidth extension property, long and short metallic arc wires, as well as the metallic disks placed over a ground plane, are combined into the polarizer, which can generate three neighboring resonances. Due to the combination of the first two resonances and optimized size and thickness of the unit cell, the polarization converter can have a weak incident angle dependence. Both simulated and measured results confirm that the average polarization conversion ratio is over 85 from 11.3 to 20.2 GHz within a broad incident angle from 0 deg to 45 deg . Moreover, the proposed polarization converter based on flexible substrates can be applied for conformal design. The simulation and experiment results demonstrate that our designed polarizer still keeps high polarization conversion efficiency even when it adheres on convex cylindrical surfaces. The periodic metallic structure of the designed polarizer has great potential application values in the microwave, terahertz and optic regimes.


An End User Development approach for Mobile Web Augmentation. The trend towards mobile devices usage has put more than ever the Web as a ubiquitous platform where users perform all kind of tasks. In some cases, users access the Web with 'native' mobile applications developed for well known sites, such as LinkedIn, Facebook, Twitter, etc. These native applications might offer further (e.g. location based) functionalities to their users in comparison with their corresponding Web sites, because they were developed with mobile features in mind. However, most Web applications have not this native mobile counterpart and users access them using browsers in the mobile device. Users might eventually want to add mobile features on these Web sites even though those features were not supported originally. In this paper we present a novel approach to allow end users to augment their preferred Web sites with mobile features. This end user approach is supported by a framework for mobile Web augmentation that we describe in the paper. We also present a set of supporting tools and a validation experiment with end users.


Microring resonator coupled photoluminescence from silicon W centers. Defect centers are promising candidates for waveguide integrated silicon light sources. We demonstrate microresonator and waveguide coupled photoluminescence from silicon W centers. Microphotoluminescence measurements indicate wavelengths on resonance with resonator modes are preferentially coupled to an adjacent waveguide. Quality factors of at least 5,300 are measured, and free spectral ranges closely match expectation. The W center phonon sideband can be used as a spectral diagnostic for a broader range waveguide based devices on cryogenic silicon photonic platforms.


Roe bimodules as morphisms of discrete metric spaces. For two discrete metric spaces, X and Y we consider metrics on X sqcup Y compatible with the metrics on X and Y . As morphisms from X to Y we consider the Roe bimodules, i.e. the norm closures of bounded finite propagation operators from l 2(X) to l 2(Y) . We study the corresponding category mathcal M , which is also a 2 category. We show that almost isometries determine morphisms in mathcal M . We also consider the case Y X , when there is a richer algebraic structure on the set of morphisms of mathcal M it is a partially ordered semigroup with the neutral element, with involution, and with a lot of idempotents. We also give a condition when a morphism is a C algebra.


The space of almost calibrated (1,1) forms on a compact K "ahler manifold. The space mathcal H of "almost calibrated" (1,1) forms on a compact K "ahler manifold plays an important role in the study of the deformed Hermitian Yang Mills equation of mirror symmetry as emphasized by recent work of the second author and Yau, and is related by mirror symmetry to the space of positive Lagrangians studied by Solomon. This paper initiates the study of the geometry of mathcal H . We show that mathcal H is an infinite dimensional Riemannian manifold with non positive sectional curvature. In the hypercritical phase case we show that mathcal H has a well defined metric structure, and that its completion is a rm CAT (0) geodesic metric space, and hence has an intrinsically defined ideal boundary. Finally, we show that in the hypercritical phase case mathcal H admits C 1,1 geodesics, improving a result of the second author and Yau. Using results of Darvas Lempert we show that this result is sharp.


Moderately Discontinuous Homotopy. We introduce a metric homotopy theory, which we call Moderately Discontinuous Homotopy, designed to capture Lipschitz properties of metric singular subanalytic germs. It matches with the Moderately Discontinuous Homology theory receantly developed by the authors and E. Sampaio. The k th MD homotopy group is a group MDH b bullet for any b in 1, infty together with homomorphisms MD pi b to MD pi b' for any b geq b' . We develop all its basic properties including finite presentation of the groups, long homology sequences of pairs, metric homotopy invariance, Seifert van Kampen Theorem and the Hurewicz isomorphism Theorem. We prove comparison theorems that allow to relate the metric homotopy groups with topological homotopy groups of associated spaces. For b 1 it recovers the homotopy groups of the tangent cone for the outer metric and of the Gromov tangent cone for the inner one. In general, for b infty the MD homotopy recovers the homotopy of the punctured germ. Hence, our invariant can be seen as an algebraic invariant interpolating the homotopy from the germ to its tangent cone. We end the paper with a full computation of our invariant for any normal surface singularity for the inner metric. We also provide a full computation of the MD Homology in the same case.


Learning to Rank for Plausible Plausibility. Researchers illustrate improvements in contextual encoding strategies via resultant performance on a battery of shared Natural Language Understanding (NLU) tasks. Many of these tasks are of a categorical prediction variety given a conditioning context (e.g., an NLI premise), provide a label based on an associated prompt (e.g., an NLI hypothesis). The categorical nature of these tasks has led to common use of a cross entropy log loss objective during training. We suggest this loss is intuitively wrong when applied to plausibility tasks, where the prompt by design is neither categorically entailed nor contradictory given the context. Log loss naturally drives models to assign scores near 0.0 or 1.0, in contrast to our proposed use of a margin based loss. Following a discussion of our intuition, we describe a confirmation study based on an extreme, synthetically curated task derived from MultiNLI. We find that a margin based loss leads to a more plausible model of plausibility. Finally, we illustrate improvements on the Choice Of Plausible Alternative (COPA) task through this change in loss.


Semi Supervised Object Detection with Sparsely Annotated Dataset. In training object detector based on convolutional neural networks, selection of effective positive examples for training is an important factor. However, when training an anchor based detectors with sparse annotations on an image, effort to find effective positive examples can hinder training performance. When using the anchor based training for the ground truth bounding box to collect positive examples under given IoU, it is often possible to include objects from other classes in the current training class, or objects that are needed to be trained can only be sampled as negative examples. We used two approaches to solve this problem 1) the use of an anchorless object detector and 2) a semi supervised learning based object detection using a single object tracker. The proposed technique performs single object tracking by using the sparsely annotated bounding box as an anchor in the temporal domain for successive frames. From the tracking results, dense annotations for training images were generated in an automated manner and used for training the object detector. We applied the proposed single object tracking based semi supervised learning to the Epic Kitchens dataset. As a result, we were able to achieve textbf runner up performance in the Unseen section while achieving the first place in the Seen section of the Epic Kitchens 2020 object detection challenge under IoU 0.5 evaluation


Ice Monitoring in Swiss Lakes from Optical Satellites and Webcams using Machine Learning. Continuous observation of climate indicators, such as trends in lake freezing, is important to understand the dynamics of the local and global climate system. Consequently, lake ice has been included among the Essential Climate Variables (ECVs) of the Global Climate Observing System (GCOS), and there is a need to set up operational monitoring capabilities. Multi temporal satellite images and publicly available webcam streams are among the viable data sources to monitor lake ice. In this work we investigate machine learning based image analysis as a tool to determine the spatio temporal extent of ice on Swiss Alpine lakes as well as the ice on and ice off dates, from both multispectral optical satellite images (VIIRS and MODIS) and RGB webcam images. We model lake ice monitoring as a pixel wise semantic segmentation problem, i.e., each pixel on the lake surface is classified to obtain a spatially explicit map of ice cover. We show experimentally that the proposed system produces consistently good results when tested on data from multiple winters and lakes. Our satellite based method obtains mean Intersection over Union (mIoU) scores 93 , for both sensors. It also generalises well across lakes and winters with mIoU scores 78 and 80 respectively. On average, our webcam approach achieves mIoU values of 87 (approx.) and generalisation scores of 71 (approx.) and 69 (approx.) across different cameras and winters respectively. Additionally, we put forward a new benchmark dataset of webcam images (Photi LakeIce) which includes data from two winters and three cameras.


Session Types with Arithmetic Refinements and Their Application to Work Analysis. Session types statically prescribe bidirectional communication protocols for message passing processes and are in a Curry Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using index refinements from linear arithmetic capturing intrinsic attributes of data structures and algorithms so that we can express and verify amortized cost of programs using ergometric types. We show that, despite the decidability of Presburger arithmetic, type equality and therefore also type checking are now undecidable, which stands in contrast to analogous dependent refinement type systems from functional languages. We also present a practical incomplete algorithm for type equality and an algorithm for type checking which is complete relative to an oracle for type equality. Process expressions in this explicit language are rather verbose, so we also introduce an implicit form and a sound and complete algorithm for reconstructing explicit programs, borrowing ideas from the proof theoretic technique of focusing. We conclude by illustrating our systems and algorithms with a variety of examples that have been verified in our implementation.


Homological and combinatorial aspects of virtually Cohen Macaulay sheaves. When studying a graded module M over the Cox ring of a smooth projective toric variety X , there are two standard types of resolutions commonly used to glean information free resolutions of M and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to algebraic and combinatorial study. The theory of virtual resolutions includes a notion of a virtually Cohen Macaulay property, though tools for assessing which modules are virtually Cohen Macaulay have only recently started to be developed. In this paper, we continue this research program in two related ways. The first is that, when X is a product of projective spaces, we produce a large new class of virtually Cohen Macaulay Stanley Reisner rings, which we show to be virtually Cohen Macaulay via explicit constructions of appropriate virtual resolutions reflecting the underlying combinatorial structure. The second is that, for an arbitrary smooth projective toric variety X , we develop homological tools for assessing the virtual Cohen Macaulay property. Some of these tools give exclusionary criteria, and others are constructive methods for producing suitably short virtual resolutions. We also use these tools to establish relationships among the arithmetically, geometrically, and virtually Cohen Macaulay properties.


Root finding algorithms and persistence of Jordan centrality in growing random trees. We consider models of growing random trees mathcal T f(n) n geq 1 with model dynamics driven by an attachment function f mathbb Z to mathbb R . At each stage a new vertex enters the system and connects to a vertex v in the current tree with probability proportional to f( text degree (v)) . The main goal of this study is to understand the performance of root finding algorithms. A large body of work (e.g. the work of Bubeck, Devroye and Lugosi or Jog and Loh) has emerged in the last few years in using techniques based on the Jordan centrality measure and its variants to develop root finding algorithms. Given an unlabelled unrooted tree, one computes the Jordan centrality for each vertex in the tree and for a fixed budget K outputs the optimal K vertices (as measured by Jordan centrality). Under general conditions on the attachment function f , we derive necessary and sufficient bounds on the budget K( epsilon) in order to recover the root with probability at least 1 epsilon . For canonical examples such as linear preferential attachment and uniform attachment, these general results give matching upper and lower bounds for the budget. We also prove persistence of the optimal K Jordan centers for any K , i.e. the existence of an almost surely finite random time n such that for n geq n the identity of the K optimal Jordan centers in mathcal T f(n) n geq n does not change, thus describing robustness properties of this measure. Key technical ingredients in the proofs of independent interest include sufficient conditions for the existence of exponential moments for limits of (appropriately normalized) continuous time branching processes within which the models mathcal T f(n) n geq n can be embedded, as well as rates of convergence results to these limits.


An Adaptive Networks Model to Simulate Consensus Formation Driven by Social Identity Recognition. Models of the consensus of the individual state in social systems have been the subject of recent researches in the physics literature. We investigate how network structures coevolve with the individual state under the framework of social identity theory. And we propose an adaptive network model to achieve state consensus or local structural adjustment of individuals by evaluating the homogeneity among them. Specifically, the similarity threshold significantly affects the evolution of the network with different initial conditions, and thus there emerges obvious community structure and polarization. More importantly, there exists a critical point of phase transition, at which the network may evolve into a significant community structure and state consistent group.


Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry. Leaked secrets, such as passwords and API keys, in codebases were responsible for numerous security breaches. Existing heuristic techniques, such as pattern matching, entropy analysis, and machine learning, exist to detect and alert developers of such leaks. Heuristics, however, naturally exhibit false positives, which require triaging and can lead to developer frustration. We propose to use known production secrets as a source of ground truth for sniffing secret leaks in codebases. We develop techniques for using known secrets to sniff whole codebases and continuously sniff differential code revisions. We uncover different performance and security needs when sniffing for known secrets in these two situations in an industrial environment.


Estimation of crowd density applying wavelet transform and machine learning. We conducted a simple experiment in which one pedestrian passed through a crowded area and measured the body rotational angular velocity with commercial tablets. Then, we developed a new method for predicting crowd density by applying the continuous wavelet transform and machine learning to the data obtained in the experiment. We found that the accuracy of prediction using angular velocity data was as high as that using raw velocity data. Therefore, we concluded that angular velocity has relationship with crowd density and we could estimate crowd density by angular velocity. Our research will contribute to management of safety and comfort of pedestrians by developing an easy way to measure crowd density.