The use of personal data in French public services e mails, websites, apps. The study we carried out enabled us to extract some conclusions, which are contrasted with the results obtained. First, in the field of mobile applications, permissions and tracers are almost always present. Android, as far as PlayStore permissions are concerned, is the main entity concerning this domain. Under the pretext of guaranteeing an optimal functioning of the applications, these permissions can sometimes hide some very dangerous tracing means for the users. Google, a major player in tracing and a major power in the storage of information of net users, is behind most tracers. Trackers have two main missions. On the one hand, they allow the application to work, like Facebook's trackers that are used to log into the application or Google's trackers that allow either to trace crashes or to analyze how the application is used. On the other hand, they allow you to manage the advertising that appears in the application, which can be targeted or not. Regarding tracking in emails, we find stakeholders quite present Google, Xiti and Iroquois. Even if they are most often used in the context of hearing measurements, they are present in public service emails. Finally with websites, Google is very present in government websites. We find common actors for applications and emails such as GAFAM or Xiti. Most of the cookies present are for audience measurement and advertising display which is often targeted.


Proof Repair across Type Equivalences. We describe a new approach to automatically repairing broken proofs in the Coq proof assistant in response to changes in types. Our approach combines a configurable proof term transformation with a decompiler from proof terms to tactic scripts. The proof term transformation implements transport across equivalences in a way that removes references to the old version of the changed type and does not rely on axioms beyond those Coq assumes. We have implemented this approach in PUMPKIN Pi, an extension to the PUMPKIN PATCH Coq plugin suite for proof repair. We demonstrate PUMPKIN Pi's flexibility on eight case studies, including supporting a benchmark from a user study, easing development with dependent types, porting functions and proofs between unary and binary numbers, and supporting an industrial proof engineer to interoperate between Coq and other verification tools more easily.


Finding Hamiltonian and Longest (s, t) paths of C shaped Supergrid Graphs in Linear Time. A supergrid graph is a finite vertex induced subgraph of the infinite graph whose vertex set consists of all points of the plane with integer coordinates and in which two vertices are adjacent if the difference of their x or y coordinates is not larger than 1. The Hamiltonian path (cycle) problem is to determine whether a graph contains a simple path (cycle) in which each vertex of the graph appears exactly once. This problem is NP complete for general graphs and it is also NP complete for general supergrid graphs. Despite the many applications of the problem, it is still open for many classes, including solid supergrid graphs and supergrid graphs with some holes. A graph is called Hamiltonian connected if it contains a Hamiltonian path between any two distinct vertices. In this paper, first we will study the Hamiltonian cycle property of C shaped supergrid graphs, which are a special case of rectangular supergrid graphs with a rectangular hole. Next, we will show that C shaped supergrid graphs are Hamiltonian connected except few conditions. Finally, we will compute a longest path between two distinct vertices in these graphs. The Hamiltonian connectivity of C shaped supergrid graphs can be applied to compute the optimal stitching trace of computer embroidery machines, and construct the minimum printing trace of 3D printers with a C like component being printed.


A Large Deviation Upperbound on Directed Last Passage Percolation Growth Rate Based on Entropy of Direction Vector. This short note provides a large deviation based upper bound on the growth rate of directed last passage percolation (LPP) using the entropy of the normalized direction vector.


Combinatorial Hopf algebras from representations of families of wreath products. We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.


AmazonQA A Review Based Question Answering Task. Every day, thousands of customers post questions on Amazon product pages. After some time, if they are fortunate, a knowledgeable customer might answer their question. Observing that many questions can be answered based upon the available product reviews, we propose the task of review based QA. Given a corpus of reviews and a question, the QA system synthesizes an answer. To this end, we introduce a new dataset and propose a method that combines information retrieval techniques for selecting relevant reviews (given a question) and "reading comprehension" models for synthesizing an answer (given a question and review). Our dataset consists of 923k questions, 3.6M answers and 14M reviews across 156k products. Building on the well known Amazon dataset, we collect additional annotations, marking each question as either answerable or unanswerable based on the available reviews. A deployed system could first classify a question as answerable and then attempt to generate an answer. Notably, unlike many popular QA datasets, here, the questions, passages, and answers are all extracted from real human interactions. We evaluate numerous models for answer generation and propose strong baselines, demonstrating the challenging nature of this new task.


Evaluating and Characterizing Human Rationales. Two main approaches for evaluating the quality of machine generated rationales are 1) using human rationales as a gold standard and 2) automated metrics based on how rationales affect model behavior. An open question, however, is how human rationales fare with these automatic metrics. Analyzing a variety of datasets and models, we find that human rationales do not necessarily perform well on these metrics. To unpack this finding, we propose improved metrics to account for model dependent baseline performance. We then propose two methods to further characterize rationale quality, one based on model retraining and one on using "fidelity curves" to reveal properties such as irrelevance and redundancy. Our work leads to actionable suggestions for evaluating and characterizing rationales.


Deep Masking Generative Network A Unified Framework for Background Restoration from Superimposed Images. Restoring the clean background from the superimposed images containing a noisy layer is the common crux of a classical category of tasks on image restoration such as image reflection removal, image deraining and image dehazing. These tasks are typically formulated and tackled individually due to the diverse and complicated appearance patterns of noise layers within the image. In this work we present the Deep Masking Generative Network (DMGN), which is a unified framework for background restoration from the superimposed images and is able to cope with different types of noise. Our proposed DMGN follows a coarse to fine generative process a coarse background image and a noise image are first generated in parallel, then the noise image is further leveraged to refine the background image to achieve a higher quality background image. In particular, we design the novel Residual Deep Masking Cell as the core operating unit for our DMGN to enhance the effective information and suppress the negative information during image generation via learning a gating mask to control the information flow. By iteratively employing this Residual Deep Masking Cell, our proposed DMGN is able to generate both high quality background image and noisy image progressively. Furthermore, we propose a two pronged strategy to effectively leverage the generated noise image as contrasting cues to facilitate the refinement of the background image. Extensive experiments across three typical tasks for image background restoration, including image reflection removal, image rain steak removal and image dehazing, show that our DMGN consistently outperforms state of the art methods specifically designed for each single task.


On the Stability Margin and Input Delay Margin of Linear Multi agent systems. This paper provides a framework to characterize the gain margin, phase margin, and maximum input delay margin of a linear time invariant multi agent system where the interaction topology is described by a graph with a directed spanning tree. The stability analysis of the multi agent system based on the generalized Nyquist theorem is converted to finding a minimum gain positive definite Hermitian perturbation and minimum phase unitary perturbation in the feedback path of the loop transfer function. Specifically, two constrained minimization problems are solved to calculate the gain, phase, and input delay margins of the multi agent system. We further state necessary and sufficient conditions concerning stability of the multi agent system independent of gain and phase perturbations, and input delay.


Interactive predictive neural multimodal systems. Despite the advances achieved by neural models in sequence to sequence learning, exploited in a variety of tasks, they still make errors. In many use cases, these are corrected by a human expert in a posterior revision process. The interactive predictive framework aims to minimize the human effort spent on this process by considering partial corrections for iteratively refining the hypothesis. In this work, we generalize the interactive predictive approach, typically applied in to machine translation field, to tackle other multimodal problems namely, image and video captioning. We study the application of this framework to multimodal neural sequence to sequence models. We show that, following this framework, we approximately halve the effort spent for correcting the outputs generated by the automatic systems. Moreover, we deploy our systems in a publicly accessible demonstration, that allows to better understand the behavior of the interactive predictive framework.


Main Controls on the Stable Carbon Isotope Composition of Speleothems. The climatic controls on the stable carbon isotopic composition (d13C) of speleothem carbonate are less often discussed in the scientific literature in contrast to the frequently used stable oxygen isotopes. Various local processes influence speleothem d13C values and confident and detailed interpretations of this proxy are often complex. A better understanding of speleothem d13C values is critical to improving the amount of information that can be gained from existing and future records. This contribution aims to disentangle the various processes governing speleothem d13C values and assess their relative importance. Using a large data set of previously published records we examine the spatial imprint of climate related processes in speleothem d13C values deposited post 1900 CE, a period during which global temperature and climate data is readily available. Additionally, we investigate the causes for differences in average d13C values and growth rate under identical climatic conditions by analysing pairs of contemporaneously deposited speleothems from the same caves. This approach allows to focus on carbonate dissolution and fractionation processes during carbonate precipitation, which we evaluate using existing geochemical models. Our analysis of a large global data set of records reveals evidence for a temperature control, likely driven by vegetation and soil processes, on d13C values in recently deposited speleothems. Moreover, data model intercomparison shows that calcite precipitation occurring along water flow paths prior to reaching the top of the speleothem can explain the wide d13C range observed for concurrently deposited samples from the same cave. We demonstrate that using the combined information of contemporaneously growing speleothems is a powerful tool to decipher controls on d13C values ...


ROI Pooled Correlation Filters for Visual Tracking. The ROI (region of interest) based pooling method performs pooling operations on the cropped ROI regions for various samples and has shown great success in the object detection methods. It compresses the model size while preserving the localization accuracy, thus it is useful in the visual tracking field. Though being effective, the ROI based pooling operation is not yet considered in the correlation filter formula. In this paper, we propose a novel ROI pooled correlation filter (RPCF) algorithm for robust visual tracking. Through mathematical derivations, we show that the ROI based pooling can be equivalently achieved by enforcing additional constraints on the learned filter weights, which makes the ROI based pooling feasible on the virtual circular samples. Besides, we develop an efficient joint training formula for the proposed correlation filter algorithm, and derive the Fourier solvers for efficient model training. Finally, we evaluate our RPCF tracker on OTB 2013, OTB 2015 and VOT 2017 benchmark datasets. Experimental results show that our tracker performs favourably against other state of the art trackers.


On the benefit of 3 tier SOA architecture promoting information sharing among TMS systems and Brazilian e Government Web Services A CT e case study. Technological advances regarding software integration processes have revolutionized the communication between government and society, which are increasingly based on information and communication technologies (ICTs). Service Oriented Architecture (SOA) has emerged originating new prospects for system integration within organizations and external partners, providing essential information for decision making process. Brazilian e Government initiatives has introduced as a national electronic document model known as Electronic Transportation Knowledge (CT e), looking for simplifying additional obligations of taxpayers and, at the same time, allowing real time monitoring of cargo transportation services provided by the Revenue. Nonetheless, there is a major challenge that prevents Transportation Management Systems (TMS) and Government to be benefited by this innovation, due to their distinct platforms and databases that prevent information exchange between them. This paper proposes an architectural solution to integrate TMS systems with CT e Web Service applying concepts of SOA and N tier architecture. Through a real case study of a large Cargo carrier, we report an increase in transportation knowledge management, speeding up in the communication and data validation process and several costs reduction including paper, printing, document storage and those involved in the necessary logistics that is needed to recover such documents.


On symbolic factors of mathcal S adic subshifts of finite topological rank. This paper studies several aspects of symbolic factors of mathcal S adic subshifts of finite alphabet rank. First, we address a problem raised in DDPM20 about the topological rank of symbolic factors of mathcal S adic subshifts and prove that this rank is at most the one of the extension system, improving results from E20 and GH2020 . As a consequence of our methods, we prove that finite topological rank systems are coalescent. Second, we investigate the structure of fibers pi 1 (y) of factor maps pi colon(X,T) to(Y,T) between minimal mathcal S adic subshifts of finite alphabet rank and show that they have the same finite cardinality for all y in a residual subset of Y . Finally, we prove that the number of symbolic factors (up to conjugacy) of a fixed subshift of finite topological rank is finite, thus extending Durand's similar theorem on linearly recurrent subshifts.


Genus 2 Supersingular Isogeny Oblivious Transfer. We present an oblivious transfer scheme that extends the proposal made by Barreto, Oliveira and Benits, based in isogenies supersingular elliptic curves, to the setting of principally polarized supersingular abelian surfaces.


Nonstandard Quantum Complex Projective Line. In our attempt to explore how the quantum nonstandard complex projective spaces mathbb C P q,c n studied by Korogodsky, Vaksman, Dijkhuizen, and Noumi are related to those arising from the geometrically constructed Bohr Sommerfeld groupoids by Bonechi, Ciccoli, Qiu, Staffolani, and Tarlini, we were led to establish the known identification of C big( mathbb C P q,c 1 big) with the pull back of two copies of the Toeplitz C algebra along the symbol map in a more direct way via an operator theoretic analysis, which also provides some interesting non obvious details, such as a prominent generator of C big( mathbb C P q,c 1 big) being a concrete weighted double shift.


Berrut Approximated Coded Computing Straggler Resistance Beyond Polynomial Computing. One of the major challenges in using distributed learning to train complicated models with large data sets is to deal with stragglers effect. As a solution, coded computation has been recently proposed to efficiently add redundancy to the computation tasks. In this technique, coding is used across data sets, and computation is done over coded data, such that the results of an arbitrary subset of worker nodes with a certain size are enough to recover the final results. The major challenges with those approaches are (1) they are limited to polynomial function computations, (2) the size of the subset of servers that we need to wait for grows with the multiplication of the size of the data set and the model complexity (the degree of the polynomial), which can be prohibitively large, (3) they are not numerically stable for computation over real numbers. In this paper, we propose Berrut Approximated Coded Computing (BACC), as an alternative approach, which is not limited to polynomial function computation. In addition, the master node can approximately calculate the final results, using the outcomes of any arbitrary subset of available worker nodes. The approximation approach is proven to be numerically stable with low computational complexity. In addition, the accuracy of the approximation is established theoretically and verified by simulation results in different settings such as distributed learning problems. In particular, BACC is used to train a deep neural network on a cluster of servers, which outperforms repetitive computation (repetition coding) in terms of the rate of convergence.


ContactDB Analyzing and Predicting Grasp Contact via Thermal Imaging. Grasping and manipulating objects is an important human skill. Since hand object contact is fundamental to grasping, capturing it can lead to important insights. However, observing contact through external sensors is challenging because of occlusion and the complexity of the human hand. We present ContactDB, a novel dataset of contact maps for household objects that captures the rich hand object contact that occurs during grasping, enabled by use of a thermal camera. Participants in our study grasped 3D printed objects with a post grasp functional intent. ContactDB includes 3750 3D meshes of 50 household objects textured with contact maps and 375K frames of synchronized RGB D thermal images. To the best of our knowledge, this is the first large scale dataset that records detailed contact maps for human grasps. Analysis of this data shows the influence of functional intent and object size on grasping, the tendency to touch avoid 'active areas', and the high frequency of palm and proximal finger contact. Finally, we train state of the art image translation and 3D convolution algorithms to predict diverse contact patterns from object shape. Data, code and models are available at https contactdb.cc.gatech.edu.


Non Gorenstein loci of Ehrhart rings of chain and order polytopes. Let P be a finite poset, K a field, and O(P) (resp. C(P) ) the order (resp. chain) polytope of P . We study the non Gorenstein locus of E K O(P) (resp. E K C(P) ), the Ehrhart ring of O(P) (resp. C(P) ) over K , which are each normal toric rings associated P . In particular, we show that the dimension of non Gorenstein loci of E K O(P) and E K C(P) are the same. Further, we show that E K C(P) is nearly Gorenstein if and only if P is the disjoint union of pure posets P 1, ldots, P s with mathrm rank P i mathrm rank P j leq 1 for any i and j .


Diffusion Limit of Poisson Limit Order Book Models. This ia a companion paper to Almost, Lehoczky, Shreve Yu cite ALSY , where the rationale for studying the diffusion limit of Poisson limit order book models is explained and the results of a particular "representative" model are detailed. This paper contains the proofs and technical details cited in that work.


Faster Dynamic Matrix Inverse for Faster LPs. Motivated by recent Linear Programming solvers, we design dynamic data structures for maintaining the inverse of an n times n real matrix under textit low rank updates, with polynomially faster amortized running time. Our data structure is based on a recursive application of the Woodbury Morrison identity for implementing textit cascading low rank updates, combined with recent sketching technology. Our techniques and amortized analysis of multi level partial updates, may be of broader interest to dynamic matrix problems. This data structure leads to the fastest known LP solver for general (dense) linear programs, improving the running time of the recent algorithms of (Cohen et al.'19, Lee et al.'19, Brand'20) from O (n 2 max frac 1 6 , omega 2, frac 1 alpha 2 ) to O (n 2 max frac 1 18 , omega 2, frac 1 alpha 2 ) , where omega and alpha are the fast matrix multiplication exponent and its dual. Hence, under the common belief that omega approx 2 and alpha approx 1 , our LP solver runs in O (n 2.055 ) time instead of O (n 2.16 ) .


FAB A Robust Facial Landmark Detection Framework for Motion Blurred Videos. Recently, facial landmark detection algorithms have achieved remarkable performance on static images. However, these algorithms are neither accurate nor stable in motion blurred videos. The missing of structure information makes it difficult for state of the art facial landmark detection algorithms to yield good results. In this paper, we propose a framework named FAB that takes advantage of structure consistency in the temporal dimension for facial landmark detection in motion blurred videos. A structure predictor is proposed to predict the missing face structural information temporally, which serves as a geometry prior. This allows our framework to work as a virtuous circle. On one hand, the geometry prior helps our structure aware deblurring network generates high quality deblurred images which lead to better landmark detection results. On the other hand, better landmark detection results help structure predictor generate better geometry prior for the next frame. Moreover, it is a flexible video based framework that can incorporate any static image based methods to provide a performance boost on video datasets. Extensive experiments on Blurred 300VW, the proposed Real world Motion Blur (RWMB) datasets and 300VW demonstrate the superior performance to the state of the art methods. Datasets and models will be publicly available at https keqiangsun.github.io projects FAB FAB.html.


A new approach to the generalized Springer correspondence. The Springer resolution of the nilpotent cone is used to give a geometric construction of the irreducible representations of Weyl groups. Borho and MacPherson obtain the Springer correspondence by applying the decomposition theorem to the Springer resolution, establishing an injective map from the set of irreducible Weyl group representations to simple equivariant perverse sheaves on the nilpotent cone. In this manuscript, we consider a generalization of the Springer resolution using a variety defined by the first author. Our main result shows that in the type A case, applying the decomposition theorem to this map yields all simple perverse sheaves on the nilpotent cone with multiplicity as predicted by Lusztig's generalized Springer correspondence.


AUTO3D Novel view synthesis through unsupervisely learned variational viewpoint and global 3D representation. This paper targets on learning based novel view synthesis from a single or limited 2D images without the pose supervision. In the viewer centered coordinates, we construct an end to end trainable conditional variational framework to disentangle the unsupervisely learned relative pose rotation and implicit global 3D representation (shape, texture and the origin of viewer centered coordinates, etc.). The global appearance of the 3D object is given by several appearance describing images taken from any number of viewpoints. Our spatial correlation module extracts a global 3D representation from the appearance describing images in a permutation invariant manner. Our system can achieve implicitly 3D understanding without explicitly 3D reconstruction. With an unsupervisely learned viewer centered relative pose rotation code, the decoder can hallucinate the novel view continuously by sampling the relative pose in a prior distribution. In various applications, we demonstrate that our model can achieve comparable or even better results than pose 3D model supervised learning based novel view synthesis (NVS) methods with any number of input views.


On the minimum value of the condition number of polynomials. In 1993, Shub and Smale posed the problem of finding a sequence of univariate polynomials of degree N with condition number bounded above by N . In a previous paper by C. Belt 'an, U. Etayo, J. Marzo and J. Ortega Cerd a, it was proved that the optimal value of the condition number is of the form O( sqrt N ) , and the sequence demanded by Shub and Smale was described by a closed formula (for large enough N geqslant N 0 with N 0 unknown) and by a search algorithm for the rest of the cases. In this paper we find concrete estimates for the constant hidden in the O( sqrt N ) term and we describe a simple formula for a sequence of polynomials whose condition number is at most N , valid for all N 4M 2 , with M a positive integer.


Domain Adaptation for Object Detection via Style Consistency. We propose a domain adaptation approach for object detection. We introduce a two step method the first step makes the detector robust to low level differences and the second step adapts the classifiers to changes in the high level features. For the first step, we use a style transfer method for pixel adaptation of source images to the target domain. We find that enforcing low distance in the high level features of the object detector between the style transferred images and the source images improves the performance in the target domain. For the second step, we propose a robust pseudo labelling approach to reduce the noise in both positive and negative sampling. Experimental evaluation is performed using the detector SSD300 on PASCAL VOC extended with the dataset proposed in arxiv 1803.11365 where the target domain images are of different styles. Our approach significantly improves the state of the art performance in this benchmark.


A Capacity achieving One message Key Agreement With Finite Blocklength Analysis. Information theoretic secret key agreement (SKA) protocols are a fundamental cryptographic primitive that are used to establish a shared secret key between two or more parties. In a two party SKA in source model, Alice and Bob have samples of two correlated variables, that are partially leaked to Eve, and their goal is to establish a shared secret key by communicating over a reliable public channel. Eve must have no information about the established key. In this paper, we study the problem of one message secret key agreement where the key is established by Alice sending a single message to Bob. We propose a one message SKA (OM SKA) protocol, prove that it achieves the one way secret key capacity, and derive finite blocklength approximations of the achievable secret key length. We compare our results with existing OM SKAs and show the protocol has a unique combination of desirable properties.


The Road Not Taken Re thinking the Feasibility of Voice Calling Over Tor. Anonymous VoIP calls over the Internet holds great significance for privacy conscious users, whistle blowers and political activists alike. Prior research deems popular anonymization systems like Tor unsuitable for providing requisite performance guarantees that real time applications like VoIP need. Their claims are backed by studies that may no longer be valid due to constant advancements in Tor. Moreover, we believe that these studies lacked the requisite diversity and comprehensiveness. Thus, conclusions from these studies led them to propose novel and tailored solutions. However, no such system is available for immediate use. Additionally, operating such new systems would incur significant costs for recruiting users and volunteered relays, to provide the necessary anonymity guarantees. It thus becomes imperative that the exact performance of VoIP over Tor be quantified and analyzed so that the potential performance bottlenecks can be amended. We thus conducted an extensive empirical study across various in lab and real world scenarios to shed light on VoIP performance over Tor. In over 0.5 million measurements spanning 12 months, across seven countries and covering about 6650 Tor relays, we observed that Tor supports good voice quality (Perceptual Evaluation of Speech Quality (PESQ) 3 and oneway delay 400ms) in more than 85 of cases. Further analysis indicates that in general for most Tor relays, the contentions due to cross traffic were low enough to support VoIP calls, that are anyways transmitted at low rates ( 120 Kbps). Our findings are supported by concordant measurements using iperf that show more than the adequate available bandwidth for most cases. Data published by the Tor Metrics also corroborates the same. Hence, unlike prior efforts, our research reveals that Tor is suitable for supporting anonymous VoIP calls.


Error Bounds of Imitating Policies and Environments. Imitation learning trains a policy by mimicking expert demonstrations. Various imitation methods were proposed and empirically evaluated, meanwhile, their theoretical understanding needs further studies. In this paper, we firstly analyze the value gap between the expert policy and imitated policies by two imitation methods, behavioral cloning and generative adversarial imitation. The results support that generative adversarial imitation can reduce the compounding errors compared to behavioral cloning, and thus has a better sample complexity. Noticed that by considering the environment transition model as a dual agent, imitation learning can also be used to learn the environment model. Therefore, based on the bounds of imitating policies, we further analyze the performance of imitating environments. The results show that environment models can be more effectively imitated by generative adversarial imitation than behavioral cloning, suggesting a novel application of adversarial imitation for model based reinforcement learning. We hope these results could inspire future advances in imitation learning and model based reinforcement learning.


Providing a Link Prediction Model based on Structural and Homophily Similarity in Social Networks. In recent years, with the growing number of online social networks, these networks have become one of the best markets for advertising and commerce, so studying these networks is very important. Forecasting new edges in online social networks can give us a better understanding of the growth of these networks. There have been many studies of link prediction in the field of engineering and humanities. Scientists attribute the existence of a new relationship between two individuals for two reasons 1) Proximity to the graph (structure) 2) Similar properties of the two individuals (Homophile law). However, studying the impact of the two approaches working together to create new edges remains an open problem. Similarity metrics can also be divided into two categories Neighborhood based and path based. So far, the above two theoretical approaches (proximity and homophile) have not been found together in the neighborhood based metrics. In this paper, we first attempt to provide a solution to determine importance of the proximity to the graph and similar features in the connectivity of the graphs. Then obtained weights are assigned to both proximity and homophile. Then the best similarity metric in each approach are obtained. Finally, the selected metric of homophily similarity and structural similarity are combined with the obtained weights. The results of this study were evaluated on two datasets Zanjan University Graduate School of Social Sciences and Pokec online Social Network. The first data set was collected for this study and then the questionnaires and data collection methods were filled out. Since this dataset is one of the few Iranian datasets that has been compiled with its users' specifications, it can be of great value. In this paper, we have been able to increase the accuracy of Neighborhood based similarity metric by using two proximity in graph and homophily approaches.


Socially Compatible Behavior Design of Autonomous Vehicles with Verification on Real Human Data. As more and more autonomous vehicles (AVs) are being deployed on public roads, designing socially compatible behaviors for them is becoming increasingly important. In order to generate safe and efficient actions, AVs need to not only predict the future behaviors of other traffic participants, but also be aware of the uncertainties associated with such behavior prediction. In this paper, we propose an uncertain aware integrated prediction and planning (UAPP) framework. It allows the AVs to infer the characteristics of other road users online and generate behaviors optimizing not only their own rewards, but also their courtesy to others, and their confidence regarding the prediction uncertainties. We first propose the definitions for courtesy and confidence. Based on that, their influences on the behaviors of AVs in interactive driving scenarios are explored. Moreover, we evaluate the proposed algorithm on naturalistic human driving data by comparing the generated behavior against ground truth. Results show that the online inference can significantly improve the human likeness of the generated behaviors. Furthermore, we find that human drivers show great courtesy to others, even for those without right of way. We also find that such driving preferences vary significantly in different cultures.


You Are Here Geolocation by Embedding Maps and Images. We present a novel approach to geolocalising panoramic images on a 2 D cartographic map based on learning a low dimensional embedded space, which allows a comparison between an image captured at a location and local neighbourhoods of the map. The representation is not sufficiently discriminatory to allow localisation from a single image, but when concatenated along a route, localisation converges quickly, with over 90 accuracy being achieved for routes of around 200m in length when using Google Street View and Open Street Map data. The method generalises a previous fixed semantic feature based approach and achieves significantly higher localisation accuracy and faster convergence.


Femtomolar level detection of SARS CoV 2 spike proteins using toroidal plasmonic metasensors. Effective and efficient management of human betacoronavirus severe acute respiratory syndrome (SARS) CoV 2 infection i.e., COVID 19 pandemic, required sensitive sensors with short sample to result durations for performing diagnostics. In this direction, one of appropriate alternative approach to detect SARS CoV 2 at low level (fmol) is exploring plasmonic metasensor technology for COVID 19 diagnostics, which offers exquisite opportunities in advanced healthcare programs, and modern clinical diagnostics. The intrinsic merits of plasmonic metasensors stem from their capability to squeeze electromagnetic fields, simultaneously in frequency, time, and space. However, the detection of low molecular weight biomolecules at low densities is a typical drawback of conventional metasensors that has recently been addressed using toroidal metasurface technology. This research reports fabrication of a miniaturized plasmonic immunosensor based on toroidal electrodynamics concept that can sustain robustly confined plasmonic modes with ultranarrow lineshapes in the terahertz (THz) frequencies. By exciting toroidal dipole mode using our quasi infinite metasurface and a judiciously optimized protocol based on functionalized gold nanoparticles (NPs) conjugated with the specific monoclonal antibody of SARS CoV 2 onto the metasurface, the resonance shifts for diverse concentrations of the spike protein is monitored. Possessing molecular weight around 76 kDa allowed us to detect the presence of spike protein with significantly low LoD 4.2 fmol.


Geometric control theory of vertical rolling disc using symmetries. We use the methods of geometric control theory to study extremal trajectories of vertical rolling disk. We focus on the role of symmetries of the underlying geometric structures. We demonstrate the computations in the CAS Maple package DifferentialGeometry.


First Robin Eigenvalue of the p Laplacian on Riemannian Manifolds. We consider the first Robin eigenvalue l p(M, a) for the p Laplacian on a compact Riemannian manifold M with nonempty smooth boundary, with a in R being the Robin parameter. Firstly, we prove eigenvalue comparison theorems of Cheng type for l p(M, a) . Secondly, when a 0 we establish sharp lower bound of l p(M, a) in terms of dimension, inradius, Ricci curvature lower bound and boundary mean curvature lower bound, via comparison with an associated one dimensional eigenvalue problem. The lower bound becomes an upper bound when a 0 . Our results cover corresponding comparison theorems for the first Dirichlet eigenvalue of the p Laplacian when letting a to infty .


Symmetrized Talagrand Inequalities on Euclidean Spaces. In this paper, we study the symmetrized Talagrand inequality that was proved by Fathi and has a connection with the Blaschke Santal ' o inequality in convex geometry. As corollaries of our results, we have several refined functional inequalities under some conditions. We also give an alternative proof of Fathi's symmetrized Talagrand inequality on the real line and some applications.


Transformer based Automatic Post Editing with a Context Aware Encoding Approach for Multi Source Inputs. Recent approaches to the Automatic Post Editing (APE) research have shown that better results are obtained by multi source models, which jointly encode both source (src) and machine translation output (mt) to produce post edited sentence (pe). Along this trend, we present a new multi source APE model based on the Transformer. To construct effective joint representations, our model internally learns to incorporate src context into mt representation. With this approach, we achieve a significant improvement over baseline systems, as well as the state of the art multi source APE model. Moreover, to demonstrate the capability of our model to incorporate src context, we show that the word alignment of the unknown MT system is successfully captured in our encoding results.


Mechanical Search on Shelves using Lateral Access X RAY. Efficiently finding an occluded object with lateral access arises in many contexts such as warehouses, retail, healthcare, shipping, and homes. We introduce LAX RAY (Lateral Access maXimal Reduction of occupancY support Area), a system to automate the mechanical search for occluded objects on shelves. For such lateral access environments, LAX RAY couples a perception pipeline predicting a target object occupancy support distribution with a mechanical search policy that sequentially selects occluding objects to push to the side to reveal the target as efficiently as possible. Within the context of extruded polygonal objects and a stationary target with a known aspect ratio, we explore three lateral access search policies Distribution Area Reduction (DAR), Distribution Entropy Reduction (DER), and Distribution Entropy Reduction over Multiple Time Steps (DER MT) utilizing the support distribution and prior information. We evaluate these policies using the First Order Shelf Simulator (FOSS) in which we simulate 800 random shelf environments of varying difficulty, and in a physical shelf environment with a Fetch robot and an embedded PrimeSense RGBD Camera. Average simulation results of 87.3 success rate demonstrate better performance of DER MT with 2 prediction steps. When deployed on the robot, results show a success rate of at least 80 for all policies, suggesting that LAX RAY can efficiently reveal the target object in reality. Both results show significantly better performance of the three proposed policies compared to a baseline policy with uniform probability distribution assumption in non trivial cases, showing the importance of distribution prediction. Code, videos, and supplementary material can be found at https sites.google.com berkeley.edu lax ray.


A Proof Assistant Based Formalisation of Core Erlang. Our research is part of a wider project that aims to investigate and reason about the correctness of scheme based source code transformations of Erlang programs. In order to formally reason about the definition of a programming language and the software built using it, we need a mathematically rigorous description of that language. In this paper, we present our proof assistant based formalisation of a subset of Erlang, intended to serve as a base for proving refactorings correct. After discussing how we reused concepts from related work, we show the syntax and semantics of our formal description, including the abstractions involved (e.g. closures). We also present essential properties of the formalisation (e.g. determinism) along with their machine checked proofs. Finally, we prove the correctness of some simple refactoring strategies.


KFNet Learning Temporal Camera Relocalization using Kalman Filtering. Temporal camera relocalization estimates the pose with respect to each video frame in sequence, as opposed to one shot relocalization which focuses on a still image. Even though the time dependency has been taken into account, current temporal relocalization methods still generally underperform the state of the art one shot approaches in terms of accuracy. In this work, we improve the temporal relocalization method by using a network architecture that incorporates Kalman filtering (KFNet) for online camera relocalization. In particular, KFNet extends the scene coordinate regression problem to the time domain in order to recursively establish 2D and 3D correspondences for the pose determination. The network architecture design and the loss formulation are based on Kalman filtering in the context of Bayesian learning. Extensive experiments on multiple relocalization benchmarks demonstrate the high accuracy of KFNet at the top of both one shot and temporal relocalization approaches. Our codes are released at https github.com zlthinker KFNet.


On Coercivity and the Frequency Domain Condition in Indefinite LQ Control. We introduce a coercivity condition as a time domain analogue of the frequency criterion provided by the famous Kalman Yakubovich Popov lemma. For a simple stochastic linear quadratic control problem we show how the coercivity condition characterizes the solvability of Riccati equations.


A Shallow Water Model for Water Flow on Vegetated Hillslope. The hillslope hydrological processes are very important in watershed hydrology research. In this paper we focus on the water flow over the soil surface with vegetation in a hydrographic basin. We introduce a PDE model based on general principles of fluid mechanics where the unknowns are water depth and water velocity. The influence of the plant cover to the water dynamics is given by porosity (a quantity related to the density of the vegetation), which is a function defined over the hydrological basin. Using finite volume method for approximating the spatial derivatives, we build an ODE system which constitutes the base of the discrete model we will work with. We discuss and investigate several physical relevant properties of this model. Finally, we perform different quantitative validation tests by comparing numerical results with exact solutions or with laboratory measured data. We also consider some qualitative validation tests by numerically simulating the flow on a theoretical vegetated soil and on a real hydrographic basin.


PI REC Progressive Image Reconstruction Network With Edge and Color Domain. We propose a universal image reconstruction method to represent detailed images purely from binary sparse edge and flat color domain. Inspired by the procedures of painting, our framework, based on generative adversarial network, consists of three phases Imitation Phase aims at initializing networks, followed by Generating Phase to reconstruct preliminary images. Moreover, Refinement Phase is utilized to fine tune preliminary images into final outputs with details. This framework allows our model generating abundant high frequency details from sparse input information. We also explore the defects of disentangling style latent space implicitly from images, and demonstrate that explicit color domain in our model performs better on controllability and interpretability. In our experiments, we achieve outstanding results on reconstructing realistic images and translating hand drawn drafts into satisfactory paintings. Besides, within the domain of edge to image translation, our model PI REC outperforms existing state of the art methods on evaluations of realism and accuracy, both quantitatively and qualitatively.


Difference restriction algebras of partial functions with operators discrete duality and completion. We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative complement and domain restriction the morphisms are the complete homomorphisms. This generalises the discrete adjunction between the atomic Boolean algebras and the category of sets. We define the compatible completion of a representable algebra, and show that the monad induced by our adjunction yields the compatible completion of any atomic representable algebra. As a corollary, the adjunction restricts to a duality on the compatibly complete atomic representable algebras, generalising the discrete duality between complete atomic Boolean algebras and sets. We then extend these adjunction, duality, and completion results to representable algebras equipped with arbitrary additional completely additive and compatibility preserving operators.


Investigating 3D Atomic Environments for Enhanced QSAR. Predicting bioactivity and physical properties of molecules is a longstanding challenge in drug design. Most approaches use molecular descriptors based on a 2D representation of molecules as a graph of atoms and bonds, abstracting away the molecular shape. A difficulty in accounting for 3D shape is in designing molecular descriptors can precisely capture molecular shape while remaining invariant to rotations translations. We describe a novel alignment free 3D QSAR method using Smooth Overlap of Atomic Positions (SOAP), a well established formalism developed for interpolating potential energy surfaces. We show that this approach rigorously describes local 3D atomic environments to compare molecular shapes in a principled manner. This method performs competitively with traditional fingerprint based approaches as well as state of the art graph neural networks on pIC 50 ligand binding prediction in both random and scaffold split scenarios. We illustrate the utility of SOAP descriptors by showing that its inclusion in ensembling diverse representations statistically improves performance, demonstrating that incorporating 3D atomic environments could lead to enhanced QSAR for cheminformatics.


Convex order, quantization and monotone approximations of ARCH models. We are interested in proposing approximations of a sequence of probability measures in the convex order by finitely supported probability measures still in the convex order. We propose to alternate transitions according to a martingale Markov kernel mapping a probability measure in the sequence to the next and dual quantization steps. In the case of ARCH models and in particular of the Euler scheme of a driftless Brownian diffusion, the noise has to be truncated to enable the dual quantization step. We analyze the error between the original ARCH model and its approximation with truncated noise and exhibit conditions under which the latter is dominated by the former in the convex order at the level of sample paths. Last, we analyse the error of the scheme combining the dual quantization steps with truncation of the noise according to primal quantization.


A bimodule approach to dominant dimension. We show that a finite dimensional algebra A has dominant dimension at least n geq 2 if and only if the regular bimodule A is n torsionfree if and only if A cong Omega n ( text Tr ( Omega n 2 (V))) as A bimodules, where V text Hom A(D(A),A) is the canonical A bimodule in the sense of cite FKY . We apply this to give new formulas for the Hochschild homology and cohomology for algebras with dominant dimension at least two and show a new relation between the first Tachikawa conjecture, the Nakayama conjecture and Gorenstein homological algebra.


SIPA A Simple Framework for Efficient Networks. With the success of deep learning in various fields and the advent of numerous Internet of Things (IoT) devices, it is essential to lighten models suitable for low power devices. In keeping with this trend, MicroNet Challenge, which is the challenge to build efficient models from the view of both storage and computation, was hosted at NeurIPS 2019. To develop efficient models through this challenge, we propose a framework, coined as SIPA, consisting of four stages Searching, Improving, Pruning, and Accelerating. With the proposed framework, our team, OSI AI, compressed 334x the parameter storage and 357x the math operation compared to WideResNet 28 10 and took 4th place in the CIFAR 100 track at MicroNet Challenge 2019 with the top 10 highly efficient computation. Our source code is available from https github.com Lee Gihun MicroNet OSI AI.


The use of 5G Non Public Networks to support Industry 4.0 scenarios. The on going digital transformation is key to progress towards a new generation of more efficient, sustainable and connected industrial systems allowing the so called factories of the future. This new generation, commonly referred to as industry 4.0, will be accompanied by a new wave of use cases that will allow companies from logistics and manufacturing sectors to increase flexibility, productivity and usability in the industrial processes executed within their factory premises. Unlike typical use cases from other vertical sectors (e.g. energy, media, smart cities), industry 4.0 use cases will bring very stringent requirements in terms of latency, reliability and high accuracy positioning. The combination of 5G technology with enterprise network solutions becomes crucial to satisfy these requirements in indoor, private environments. In this context, the concept of 5G non public networks has emerged. In this article we provide an overview of 5G non public networks, studying their applicability to the industry 4.0 ecosystem. On the basis of the work (being) developed in 3GPP Release 16 specifications, we identify a number of deployment options relevant for non public networks, and discuss their integration with mobile network operators' public networks. Finally, we provide a comparative analysis of these options, assessing their feasibility according to different criteria, including technical, regulatory and business aspects. The outcome of this analysis will help industry players interested in using non public networks to decide which is the most appropriate deployment option for their use cases.


Cat Swarm Optimization Algorithm A Survey and Performance Evaluation. This paper presents an in depth survey and performance evaluation of the Cat Swarm Optimization (CSO) Algorithm. CSO is a robust and powerful metaheuristic swarm based optimization approach that has received very positive feedback since its emergence. It has been tackling many optimization problems and many variants of it have been introduced. However, the literature lacks a detailed survey or a performance evaluation in this regard. Therefore, this paper is an attempt to review all these works, including its developments and applications, and group them accordingly. In addition, CSO is tested on 23 classical benchmark functions and 10 modern benchmark functions (CEC 2019). The results are then compared against three novel and powerful optimization algorithms, namely Dragonfly algorithm (DA), Butterfly optimization algorithm (BOA) and Fitness Dependent Optimizer (FDO). These algorithms are then ranked according to Friedman test and the results show that CSO ranks first on the whole. Finally, statistical approaches are employed to further confirm the outperformance of CSO algorithm.


The Hierarchical Chinese Postman Problem the slightest disorder makes it hard, yet disconnectedness is manageable. The Hierarchical Chinese Postman Problem is finding a shortest traversal of all edges of a graph respecting precedence constraints given by a partial order on classes of edges. We show that the special case with connected classes is NP hard even on orders decomposable into a chain and an incomparable class. For the case with linearly ordered (possibly disconnected) classes, we get 5 3 approximations and fixed parameter algorithms by transferring results from the Rural Postman Problem.


Video Game Development in a Rush A Survey of the Global Game Jam Participants. Video game development is a complex endeavor, often involving complex software, large organizations, and aggressive release deadlines. Several studies have reported that periods of "crunch time" are prevalent in the video game industry, but there are few studies on the effects of time pressure. We conducted a survey with participants of the Global Game Jam (GGJ), a 48 hour hackathon. Based on 198 responses, the results suggest that (1) iterative brainstorming is the most popular method for conceptualizing initial requirements (2) continuous integration, minimum viable product, scope management, version control, and stand up meetings are frequently applied development practices (3) regular communication, internal playtesting, and dynamic and proactive planning are the most common quality assurance activities and (4) familiarity with agile development has a weak correlation with perception of success in GGJ. We conclude that GGJ teams rely on ad hoc approaches to development and face to face communication, and recommend some complementary practices with limited overhead. Furthermore, as our findings are similar to recommendations for software startups, we posit that game jams and the startup scene share contextual similarities. Finally, we discuss the drawbacks of systemic "crunch time" and argue that game jam organizers are in a good position to problematize the phenomenon.


Reductions for Safety Proofs (Extended Version). Program reductions are used widely to simplify reasoning about the correctness of concurrent and distributed programs. In this paper, we propose a general approach to proof simplification of concurrent programs based on exploring generic classes of reductions. We introduce two classes of sound program reductions, study their theoretical properties, show how they can be effectively used in algorithmic verification, and demonstrate that they are very effective in producing proofs of a diverse class of programs without targeting specific syntactic properties of these programs. The most novel contribution of this paper is the introduction of the concept of context in the definition of program reductions. We demonstrate how commutativity of program steps in some program contexts can be used to define a generic class of sound reductions which can be used to automatically produce proofs for programs whose complete Floyd Hoare style proofs are theoretically beyond the reach of automated verification technology of today.


Pseudo deterministic Streaming. A pseudo deterministic algorithm is a (randomized) algorithm which, when run multiple times on the same input, with high probability outputs the same result on all executions. Classic streaming algorithms, such as those for finding heavy hitters, approximate counting, ell 2 approximation, finding a nonzero entry in a vector (for turnstile algorithms) are not pseudo deterministic. For example, in the instance of finding a nonzero entry in a vector, for any known low space algorithm A , there exists a stream x so that running A twice on x (using different randomness) would with high probability result in two different entries as the output. In this work, we study whether it is inherent that these algorithms output different values on different executions. That is, we ask whether these problems have low memory pseudo deterministic algorithms. For instance, we show that there is no low memory pseudo deterministic algorithm for finding a nonzero entry in a vector (given in a turnstile fashion), and also that there is no low dimensional pseudo deterministic sketching algorithm for ell 2 norm estimation. We also exhibit problems which do have low memory pseudo deterministic algorithms but no low memory deterministic algorithm, such as outputting a nonzero row of a matrix, or outputting a basis for the row span of a matrix. We also investigate multi pseudo deterministic algorithms algorithms which with high probability output one of a few options. We show the first lower bounds for such algorithms. This implies that there are streaming problems such that every low space algorithm for the problem must have inputs where there are many valid outputs, all with a significant probability of being outputted.


Choice free duality for orthocomplemented lattices by means of spectral spaces. The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space X is compact if every subbasic open cover of X admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem whose proof depends upon Zorn's Lemma, which is well known to be equivalent to the Axiom of Choice. Within this work, we give a choice free topological representation of orthocomplemented lattices by means of a special subclass of spectral spaces choice free in the sense that our representation avoids use of Alexander's Subbase Theorem, along with its associated nonconstructive choice principles. We then introduce a new subclass of spectral spaces which we call emph upper Vietoris orthospaces in order to characterize (up to homeomorphism and isomorphism) the spectral space of proper lattice filters used in our representation. It is then shown how our constructions give rise to a choice free dual equivalence of categories between the category of orthocomplemented lattices and the dual category of upper Vietoris orthospaces. Our duality combines Bezhanishvili and Holliday's choice free spectral space approach to Stone duality for Boolean algebras with Goldblatt and Bimb 'o's choice dependent orthospace approach to Stone duality for orthocomplemented lattices.


A q Analogue of r Whitney Numbers of the Second Kind and Its Hankel Transform. A q analogue of r Whitney numbers of the second kind, denoted by W m,r n,k q , is defined by means of a triangular recurrence relation. In this paper, several fundamental properties for the q analogue are established including other forms of recurrence relations, explicit formulas and generating functions. Moreover, a kind of Hankel transform for W m,r n,k q is obtained.


Existence of solutions for a class of IBVP for nonlinear hyperbolic equations. We study a class of initial boundary value problems of hyperbolic type. A new topological approach is applied to prove the existence of non negative classical solutions. The arguments are based upon a recent theoretical result.


SelFlow Self Supervised Learning of Optical Flow. We present a self supervised learning approach for optical flow. Our method distills reliable flow estimations from non occluded pixels, and uses these predictions as ground truth to learn optical flow for hallucinated occlusions. We further design a simple CNN to utilize temporal information from multiple frames for better flow estimation. These two principles lead to an approach that yields the best performance for unsupervised optical flow learning on the challenging benchmarks including MPI Sintel, KITTI 2012 and 2015. More notably, our self supervised pre trained model provides an excellent initialization for supervised fine tuning. Our fine tuned models achieve state of the art results on all three datasets. At the time of writing, we achieve EPE 4.26 on the Sintel benchmark, outperforming all submitted methods.


Repeated derivatives of tanh, sech, ... and associated polynomials. Elementary problems like the evaluation of repeated derivatives of ordinary transcendent functions can usefully be treated by the use of special polynomials and of a formalism borrowed from combinatorial analysis. Motivated by previous researches in this field, we review the results obtained by other authors and develop a complementary point of view for the repeated derivatives of sec(.), tan(.) and for their hyperbolic counterparts.


Poisson Receivers a Probabilistic Framework for Analyzing Coded Random Access. In this paper, we develop a probabilistic framework for analyzing coded random access. Our framework is based on a new abstract receiver (decoder), called a Poisson receiver, that is characterized by a success probability function of a tagged packet subject to a Poisson offered load. We show that various coded slotted ALOHA (CSA) systems are Poisson receivers. Moreover, Poisson receivers have two elegant closure properties (i) Poisson receivers with packet routing are still Poisson receivers, and (ii) Poisson receivers with packet coding are still Poisson receivers. These two closure properties enable us to use smaller Poisson receivers as building blocks for analyzing a larger Poisson receiver. As such, we can analyze complicated systems that are not possible by the classical tree evaluation method. In particular, for CSA systems with both spatial diversity and temporal diversity, we can use the framework of Poisson receivers to compute the exact (asymptotic) throughput. We demonstrate that our framework can be used to provide differentiated services between ultra reliable low latency communication (URLLC) traffic and enhanced mobile broadband (eMBB) traffic. By conducting extensive simulations, we also verify that our theoretical results match extremely well with the simulation results.


Diagonalization of Fix Mahonian Matrices. Consider the regular representation of the sum over all permutations weighted by the sum of their descent, inversion, and fixed point multinomials. We compute the spectrum and the multiplicities of its elements of that matrix. Note that those multinomial statistics allow to apply the result on several permutation statistics like the number of fixed points, of descents, of inversions, and the major index at the same time.


Substrate Induced Chirality in an Individual Nanostructure. We experimentally investigate the chiral optical response of an individual nanostructure consisting of three equally sized spherical nanoparticles made of different materials and arranged in ang 90 bent geometry. Placing the nanostructure on a substrate converts its morphology from achiral to chiral. Chirality leads to pronounced differential extinction, i.e., circular dichroism and optical rotation, or equivalently, circular birefringence, which would be strictly forbidden in the absence of a substrate or heterogeneity. This first experimental observation of the substrate induced break of symmetry in an individual heterogeneous nanostructure sheds new light on chiral light matter interactions at substrate nanostructure interfaces.


How to use Software Heritage for archiving and referencing your source code guidelines and walkthrough. Software source code is an essential research output, and many research communities strongly encourage making the source code of the artefact available by archiving it in publicly accessible long term archives.Software Heritage is a non profit, long term universal archive specifically designed for software source code, and able to store not only a software artifact, but also its full development history. It provides the ideal place to preserve research software artifacts, and offers powerful mechanisms to enhance research articles with precise references to relevant fragments of your source code.Using Software Heritage for your research software artifacts is straightforward and involves three simple steps. This document details each of these three steps, providing guidelines for making the most out of Software Heritage for your research.


Validity and Reliability of the Scale Internet Users' Information Privacy Concern (IUIPC) Extended Version . Internet Users' Information Privacy Concerns (IUIPC 10) is one of the most endorsed privacy concern scales. It is widely used in the evaluation of human factors of PETs and the investigation of the privacy paradox. Even though its predecessor Concern For Information Privacy (CFIP) has been evaluated independently and the instrument itself seen some scrutiny, we are still missing a dedicated confirmation of IUIPC 10, itself. We aim at closing this gap by systematically analyzing IUIPC's construct validity and reliability. We obtained three mutually independent samples with a total of N 1031 participants. We conducted a confirmatory factor analysis (CFA) on our main sample. Having found weaknesses, we established further factor analyses to assert the dimensionality of IUIPC 10. We proposed a respecified instrument IUIPC 8 with improved psychometric properties. Finally, we validated our findings on a validation sample. While we could confirm the overall three dimensionality of IUIPC 10, we found that IUIPC 10 consistently failed construct validity and reliability evaluations, calling into question the unidimensionality of its sub scales Awareness and Control. Our respecified scale IUIPC 8 offers a statistically significantly better model and outperforms IUIPC 10's construct validity and reliability. The disconfirming evidence on the construct validity raises doubts how well IUIPC 10 measures the latent variable information privacy concern. The sub par reliability could yield spurious and erratic results as well as attenuate relations with other latent variables, such as behavior. Thereby, the instrument could confound studies of human factors of PETs or the privacy paradox, in general.


CineFilter Unsupervised Filtering for Real Time Autonomous Camera Systems. Autonomous camera systems are often subjected to an optimization filtering operation to smoothen and stabilize the rough trajectory estimates. Most common filtering techniques do reduce the irregularities in data however, they fail to mimic the behavior of a human cameraman. Global filtering methods modeling human camera operators have been successful however, they are limited to offline settings. In this paper, we propose two online filtering methods called Cinefilters, which produce smooth camera trajectories that are motivated by cinematographic principles. The first filter (CineConvex) uses a sliding window based convex optimization formulation, and the second (CineCNN) is a CNN based encoder decoder model. We evaluate the proposed filters in two different settings, namely a basketball dataset and a stage performance dataset. Our models outperform previous methods and baselines on both quantitative and qualitative metrics. The CineConvex and CineCNN filters operate at about 250fps and 1000fps, respectively, with a minor latency (half a second), making them apt for a variety of real time applications.


Character sums estimates and an application to a problem of Balog. We prove new bounds for sums of multiplicative characters over sums of set with small doubling and applying this result we break the square root barrier in a problem of Balog concerning products of differences in a field of prime order.


A Note on the Exponents of Primitive Companion Matrices. A nonnegative matrix A is said to be it primitive if for some positive integer m , entries in A m are positive, notationally represented as A m 0. The smallest such m is called the it exponent of A , denoted exp(A). For the class of primitive companion matrices X , we find exp(A) for certain A in X. Thereafter, we find certain numbers in E n(X) , where E n(X) m in N text there exists an n times n matrix A in X with exp(A) m . At the end we propose open problems for further research.


New rational cubic fourfolds arising from Cremona transformations. Are Fourier Mukai equivalent cubic fourfolds birationally equivalent? We obtain an affirmative answer to this question for very general cubic fourfolds of discriminant 20, where we produce birational maps via the Cremona transformation defined by the Veronese surface. Moreover, by studying how these maps act on the cubics known to be rational, we found new rational examples.


Self Organization Agent Oriented Dynamic Resource Allocation on Open Federated Clouds Environment. To ensure uninterrupted services to the cloud clients from federated cloud providers, it is important to guarantee an efficient allocation of the cloud resources to users to improve the rate of client satisfaction and the quality of the service provisions. It is better to get as more computing and storage resources as possible. In cloud domain several Multi Agent Resource Allocation methods have been proposed to implement the problem of dynamic resource allocation. However the problem is still open and many works to do in this field. In cloud computing robustness is important so in this paper we focus on auto adaptive method to deal with changes of open federated cloud computing environment. Our approach is hybrid, we first adopt an existing organizations optimization approach for self organization in broker agent organization to combine it with already existing Multi Agent Resource Allocation approach on Federated Clouds. We consider an open clouds federation environment which is dynamic and in constant evolution, new cloud operators can join the federation or leave this one. At the same time our approach is multi criterion which can take in account various parameters (i.e. computing load balance of mediator agent, geographical distance (network delay) between costumer and provider...).


Sub ppb measurement of a fundamental band rovibrational transition in HD. We report a direct measurement of the 0 1 R(0) vibrational transition frequency in ground state hydrogen deuteride (HD) using infrared ultraviolet double resonance spectroscopy in a molecular beam. Ground state molecules are vibrationally excited using a frequency comb referenced continuous wave infrared laser, and the excited molecules are detected via state selective ionization with a pulsed ultraviolet laser. We determine an absolute transition frequency of 111 448 815 477(13) kHz. The 0.12 parts per billion (ppb) uncertainty is limited primarily by the residual first order Doppler shift.


Equivalence of variational principles to determine the speed of scalar reaction diffusion fronts. The determination of the speed of travelling fronts of the scalar reaction diffusion equation has been the subject of much study. Using different approaches seemingly disconnected variational principles have been established. The purpose of this work is to show the connection between them. For monostable reaction terms, we prove that a principle established by Hadeler and Rothe in 1975 and a second one by Benguria and Depassier in 1996 are logically equivalent, that is, either can be derived from the other. Two variational principles, formulated for arbitrary reaction terms, are shown to be related by a suitable change of variables. Finally a variational principle proven for monostable reaction terms is shown to be a formulation of the two previous ones in yet another independent variable.


Sharp pointwise and uniform estimates for bar partial . We use weighted L 2 methods to obtain sharp pointwise estimates for the canonical solution to the equation bar partial u f on smoothly bounded strictly convex domains and the Cartan classical domain domains when f is bounded in the Bergman metric g . We provide examples to show our pointwise estimates are sharp. In particular, we show that on the Cartan classical domains Omega of rank 2 the maximum blow up order is greater than log delta Omega(z) , which was obtained for the unit ball case by Berndtsson. For example, for IV (n) with n geq 3 , the maximum blow up order is delta(z) 1 n over 2 because of the contribution of the Bergman kernel. Additionally, we obtain uniform estimates for the canonical solutions on the polydiscs, strictly pseudoconvex domains and the Cartan classical domains under stronger conditions on f .


Twenty Hopf like bifurcations in piecewise smooth dynamical systems. For many physical systems the transition from a stationary solution to sustained small amplitude oscillations corresponds to a Hopf bifurcation. For systems involving impacts, thresholds, switches, or other abrupt events, however, this transition can be achieved in fundamentally different ways. This paper reviews 20 such Hopf like' bifurcations for two dimensional ODE systems with state dependent switching rules. The bifurcations include boundary equilibrium bifurcations, the collision or change of stability of equilibria or folds on switching manifolds, and limit cycle creation via hysteresis or time delay. In each case a stationary solution changes stability and possibly form, and emits one limit cycle. Each bifurcation is analysed quantitatively in a general setting we identify quantities that govern the onset, criticality, and genericity of the bifurcation, and determine scaling laws for the period and amplitude of the resulting limit cycle. Complete derivations based on asymptotic expansions of Poincare maps are provided. Many of these are new, done previously only for piecewise linear systems. The bifurcations are collated and compared so that dynamical observations can be matched to geometric mechanisms responsible for the creation of a limit cycle. The results are illustrated with impact oscillators, relay control, automated balancing control, predator prey systems, ocean circulation, and the McKean and Wilson Cowan neuron models.


Derived Non archimedean analytic Hilbert space. In this short paper we combine the representability theorem introduced in 17, 18 with the theory of derived formal models introduced in 2 to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi compact and quasi separated formal scheme, then the infty category Coh (X rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the infty category Coh (X). Along the way, we prove several results concerning the the infty categories of formal models for almost perfect modules on derived k analytic spaces.


To beer or not to beer does tapping beer cans prevent beer loss? A randomised controlled trial. Objective Preventing or minimising beer loss when opening a can of beer is socially and economically desirable. One theoretically grounded approach is tapping the can prior to opening, although this has never been rigorously evaluated. We aimed to evaluate the effect of tapping a can of beer on beer loss. Methods Single centre parallel group randomised controlled trial. 1031 cans of cans of beer of 330mL were randomised into one of four groups before the experiment unshaken untapped (n 256), unshaken tapped (n 251), shaken untapped (n 249), or shaken tapped (n 244). The intervention was tapping the can of beer three times on its side with a single finger. We compared tapping versus non tapping for cans that had been shaken for 2 minutes or were unshaken. Three teams weighed, tapped or did not tap, opened cans, absorbed any beer loss using paper towels, then re weighed cans. The teams recorded the mass of each can before and after opening with an accuracy of 0.01 grams. Main outcome measure The main outcome measure was beer loss (in grams). This was calculated as the difference in the mass of the beer after the can was opened compared to before the can was opened. Results For shaken cans, there was no statistically significant difference in the mass of beer lost when tapping compared to not tapping (mean difference of 0.159g beer lost with tapping, 95 CI 0.36 to 0.04). For unshaken cans, there was also no statistically significant difference between tapping and not tapping. Conclusion These findings suggest that tapping shaken beer cans does not prevent beer loss when the container is opened. Thus, the practice of tapping a beer prior to opening is unsupported. The only apparent remedy to avoid liquid loss is to wait for bubbles to settle before opening the can.


Physics of selective conduction and point mutation in biological ion channels. We introduce a statistical and linear response theory of selective conduction in biological ion channels with multiple binding sites and possible point mutations. We derive an effective grand canonical ensemble and generalised Einstein relations for the selectivity filter, assuming strongly coordinated ionic motion, and allowing for ionic Coulomb blockade. The theory agrees well with data from the KcsA K channel and a mutant. We show that the Eisenman relations for thermodynamic selectivity follow from the condition for fast conduction and find that maximum conduction requires the binding sites to be nearly identical.


Balayage of measures on a locally compact space. We develop a theory of inner balayage of a positive Radon measure mu of finite energy on a locally compact space X to arbitrary A subset X , generalizing Cartan's theory of Newtonian inner balayage on mathbb R n , n geqslant3 , to a suitable function kernel on X . As an application of the theory thereby established, we show that if the space X is perfectly normal and of class K sigma , then a recent result by Bent Fuglede (Anal. Math., 2016) on outer balayage of mu to quasiclosed A remains valid for arbitrary Borel A . We give in particular various alternative definitions of inner (outer) balayage, provide a formula for evaluation of its total mass, and prove convergence theorems for inner (outer) swept measures and their potentials. The results obtained do hold (and are new in part) for most classical kernels on mathbb R n , n geqslant2 , which is important in applications.


Dialog Policy Learning for Joint Clarification and Active Learning Queries. Intelligent systems need to be able to recover from mistakes, resolve uncertainty, and adapt to novel concepts not seen during training. Dialog interaction can enable this by the use of clarifications for correction and resolving uncertainty, and active learning queries to learn new concepts encountered during operation. Prior work on dialog systems has either focused on exclusively learning how to perform clarification information seeking, or to perform active learning. In this work, we train a hierarchical dialog policy to jointly perform both clarification and active learning in the context of an interactive language based image retrieval task motivated by an online shopping application, and demonstrate that jointly learning dialog policies for clarification and active learning is more effective than the use of static dialog policies for one or both of these functions.


A concept of weak Riesz energy with application to condensers with touching plates. We proceed further with the study of minimum weak Riesz energy problems for condensers with touching plates, initiated jointly with Bent Fuglede (Potential Anal. 51 (2019), 197 217). Having now added to the analysis constraint and external source of energy, we obtain a Gauss type problem, but with weak energy involved. We establish sufficient and or necessary conditions for the existence of solutions to the problem and describe their potentials. Treating the solution as a function of the condenser and the constraint, we prove its continuity relative to the vague topology and the topologies determined by the weak and standard energy norms. We show that the criteria for the solvability thus obtained fail in general once the problem is reformulated in the setting of standard energy, thereby justifying an advantage of weak energy when dealing with condensers with touching plates.


Extreme Model Compression for On device Natural Language Understanding. In this paper, we propose and experiment with techniques for extreme compression of neural natural language understanding (NLU) models, making them suitable for execution on resource constrained devices. We propose a task aware, end to end compression approach that performs word embedding compression jointly with NLU task learning. We show our results on a large scale, commercial NLU system trained on a varied set of intents with huge vocabulary sizes. Our approach outperforms a range of baselines and achieves a compression rate of 97.4 with less than 3.7 degradation in predictive performance. Our analysis indicates that the signal from the downstream task is important for effective compression with minimal degradation in performance.


Learning based 3D Occupancy Prediction for Autonomous Navigation in Occluded Environments. In autonomous navigation of mobile robots, sensors suffer from massive occlusion in cluttered environments, leaving significant amount of space unknown during planning. In practice, treating the unknown space in optimistic or pessimistic ways both set limitations on planning performance, thus aggressiveness and safety cannot be satisfied at the same time. However, humans can infer the exact shape of the obstacles from only partial observation and generate non conservative trajectories that avoid possible collisions in occluded space. Mimicking human behavior, in this paper, we propose a method based on deep neural network to predict occupancy distribution of unknown space reliably. Specifically, the proposed method utilizes contextual information of environments and learns from prior knowledge to predict obstacle distributions in occluded space. We use unlabeled and no ground truth data to train our network and successfully apply it to real time navigation in unseen environments without any refinement. Results show that our method leverages the performance of a kinodynamic planner by improving security with no reduction of speed in clustered environments.


AR Auto Repair the Synthetic Data for Neural Machine Translation. Compared with only using limited authentic parallel data as training corpus, many studies have proved that incorporating synthetic parallel data, which generated by back translation (BT) or forward translation (FT, or selftraining), into the NMT training process can significantly improve translation quality. However, as a well known shortcoming, synthetic parallel data is noisy because they are generated by an imperfect NMT system. As a result, the improvements in translation quality bring by the synthetic parallel data are greatly diminished. In this paper, we propose a novel Auto Repair (AR) framework to improve the quality of synthetic data. Our proposed AR model can learn the transformation from low quality (noisy) input sentence to high quality sentence based on large scale monolingual data with BT and FT techniques. The noise in synthetic parallel data will be sufficiently eliminated by the proposed AR model and then the repaired synthetic parallel data can help the NMT models to achieve larger improvements. Experimental results show that our approach can effective improve the quality of synthetic parallel data and the NMT model with the repaired synthetic data achieves consistent improvements on both WMT14 EN!DE and IWSLT14 DE!EN translation tasks.


Approximate reasoning with aggregation functions satisfying GMP rules. To strengthen the effectiveness of approximate reasoning in fuzzy modus ponens (FMP) and fuzzy modus tollens (FMT) problems, three approximate reasoning schemes with aggregation functions are developed and their validity is respectively investigated in this paper. We firstly study some properties of fuzzy implication generated by aggregation function. And then present an A compositional rule of inference (ACRI) as an extension of Zadeh's CRI replacing t norm by an aggregation function. The similarity based approximate reasoning with aggregation functions is further discussed. Moreover, we provide the quintuple implication principle (QIP) method with aggregation functions to solve FMP and FMT problems. Finally, the validity of our proposed three approximate reasoning approaches is respectively analyzed using GMP rules in detail.


Document Rectification and Illumination Correction using a Patch based CNN. We propose a novel learning method to rectify document images with various distortion types from a single input image. As opposed to previous learning based methods, our approach seeks to first learn the distortion flow on input image patches rather than the entire image. We then present a robust technique to stitch the patch results into the rectified document by processing in the gradient domain. Furthermore, we propose a second network to correct the uneven illumination, further improving the readability and OCR accuracy. Due to the less complex distortion present on the smaller image patches, our patch based approach followed by stitching and illumination correction can significantly improve the overall accuracy in both the synthetic and real datasets.


The smoothed complexity of Frank Wolfe methods via conditioning of random matrices and polytopes. Frank Wolfe methods are popular for optimization over a polytope. One of the reasons is because they do not need projection onto the polytope but only linear optimization over it. To understand its complexity, Lacoste Julien and Jaggi introduced a condition number for polytopes and showed linear convergence for several variations of the method. The actual running time can still be exponential in the worst case (when the condition number is exponential). We study the smoothed complexity of the condition number, namely the condition number of small random perturbations of the input polytope and show that it is polynomial for any simplex and exponential for general polytopes. Our results also apply to other condition measures of polytopes that have been proposed for the analysis of Frank Wolfe methods vertex facet distance (Beck and Shtern) and facial distance (Pe na and Rodr 'iguez). Our argument for polytopes is a refinement of an argument that we develop to study the conditioning of random matrices. The basic argument shows that for c 1 a d by n random Gaussian matrix with n geq cd has a d by d submatrix with minimum singular value that is exponentially small with high probability. This has consequences on results about the robust uniqueness of tensor decompositions.


Flag Codes from Planar Spreads in Network Coding. In this paper we study a class of multishot network codes given by families of nested subspaces (flags) of a vector space mathbb F q n , being q a prime power and mathbb F q the finite field of q elements. In particular, we focus on flag codes having maximum minimum distance (optimum distance flag codes). We explore the existence of these codes from spreads, based on the good properties of the latter ones. For n 2k , we show that optimum distance full flag codes with the largest size are exactly those that can be constructed from a planar spread. We give a precise construction of them as well as a decoding algorithm.


BEV Seg Bird's Eye View Semantic Segmentation Using Geometry and Semantic Point Cloud. Bird's eye view (BEV) is a powerful and widely adopted representation for road scenes that captures surrounding objects and their spatial locations, along with overall context in the scene. In this work, we focus on bird's eye semantic segmentation, a task that predicts pixel wise semantic segmentation in BEV from side RGB images. This task is made possible by simulators such as Carla, which allow for cheap data collection, arbitrary camera placements, and supervision in ways otherwise not possible in the real world. There are two main challenges to this task the view transformation from side view to bird's eye view, as well as transfer learning to unseen domains. Existing work transforms between views through fully connected layers and transfer learns via GANs. This suffers from a lack of depth reasoning and performance degradation across domains. Our novel 2 staged perception pipeline explicitly predicts pixel depths and combines them with pixel semantics in an efficient manner, allowing the model to leverage depth information to infer objects' spatial locations in the BEV. In addition, we transfer learning by abstracting high level geometric features and predicting an intermediate representation that is common across different domains. We publish a new dataset called BEVSEG Carla and show that our approach improves state of the art by 24 mIoU and performs well when transferred to a new domain.


Modeling Global Body Configurations in American Sign Language. American Sign Language (ASL) is the fourth most commonly used language in the United States and is the language most commonly used by Deaf people in the United States and the English speaking regions of Canada. Unfortunately, until recently, ASL received little research. This is due, in part, to its delayed recognition as a language until William C. Stokoe's publication in 1960. Limited data has been a long standing obstacle to ASL research and computational modeling. The lack of large scale datasets has prohibited many modern machine learning techniques, such as Neural Machine Translation, from being applied to ASL. In addition, the modality required to capture sign language (i.e. video) is complex in natural settings (as one must deal with background noise, motion blur, and the curse of dimensionality). Finally, when compared with spoken languages, such as English, there has been limited research conducted into the linguistics of ASL. We realize a simplified version of Liddell and Johnson's Movement Hold (MH) Model using a Probabilistic Graphical Model (PGM). We trained our model on ASLing, a dataset collected from three fluent ASL signers. We evaluate our PGM against other models to determine its ability to model ASL. Finally, we interpret various aspects of the PGM and draw conclusions about ASL phonetics. The main contributions of this paper are


A single psychotomimetic dose of ketamine decreases thalamocortical spindles and delta oscillations in the sedated rat. Background In patients with psychotic disorders, sleep spindles are reduced, supporting the hypothesis that the thalamus and glutamate receptors play a crucial etio pathophysiological role, whose underlying mechanisms remain unknown. We hypothesized that a reduced function of NMDA receptors is involved in the spindle deficit observed in schizophrenia. Methods An electrophysiological multisite cell to network exploration was used to investigate, in pentobarbital sedated rats, the effects of a single psychotomimetic dose of the NMDA glutamate receptor antagonist ketamine in the sensorimotor and associative cognitive thalamocortical (TC) systems. Results Under the control condition, spontaneously occurring spindles (intra frequency 10 16 waves s) and delta frequency (1 4Hz) oscillations were recorded in the frontoparietal cortical EEG, in thalamic extracellular recordings, in dual juxtacellularly recorded GABAergic thalamic reticular nucleus (TRN) and glutamatergic TC neurons, and in intracellularly recorded TC neurons. The TRN cells rhythmically exhibited robust high frequency bursts of action potentials (7 to 15 APs at 200 700Hz). A single administration of low dose ketamine fleetingly reduced TC spindles and delta oscillations, amplified ongoing gamma (30 80Hz) and higher frequency oscillations, and switched the firing pattern of both TC and TRN neurons from a burst mode to a single AP mode. Furthermore, ketamine strengthened the gamma frequency band TRN TC connectivity. The antipsychotic clozapine consistently prevented the ketamine effects on spindles, delta and gamma higher frequency TC oscillations. Conclusion The present findings support the hypothesis that NMDA receptor hypofunction is involved in the reduction in sleep spindles and delta oscillations. The ketamine induced swift conversion of ongoing TC TRN activities may have involved at least both the ascending reticular activating system and the corticothalamic pathway.


Intelligent social bots uncover the link between user preference and diversity of news consumption. The boom of online social media and microblogging platforms has rapidly alter the way we consume news and exchange opinions. Even though considerable efforts try to recommend various contents to users, loss of information diversity and the polarization of interest groups are still an enormous challenge for industry and academia. Here, we take advantage of benign social bots to design a controlled experiment on Weibo (the largest microblogging platform in China). These software bots can exhibit human like behavior (e.g., preferring particular content) and simulate the formation of personal social networks and news consumption under two well accepted sociological hypotheses (i.e., homophily and triadic closure). We deployed 68 bots to Weibo, and each bot ran for at least 2 months and followed 100 to 120 accounts. In total, we observed 5,318 users and recorded about 630,000 messages exposed to these bots. Our results show, even with the same selection behaviors, bots preferring entertainment content are more likely to form polarized communities with their peers, in which about 80 of the information they consume is of the same type, which is a significant difference for bots preferring sci tech content. The result suggests that users preference played a more crucial role in limiting themselves access to diverse content by compared with the two well known drivers (self selection and pre selection). Furthermore, our results reveal an ingenious connection between specific content and its propagating sub structures in the same social network. In the Weibo network, entertainment news favors a unidirectional star like sub structure, while sci tech news spreads on a bidirectional clustering sub structure. This connection can amplify the diversity effect of user preference. The discovery may have important implications for diffusion dynamics study and recommendation system design.


Relative global dimensions and stable homotopy categories. In this paper we study the finiteness of global Gorenstein AC homological dimensions for rings, and answer the questions posed by Becerril, Mendoza, P ' e rez and Santiago. As an application, we show that any left (or right) coherent and left Gorenstein ring has a projective and injective stable homotopy category, which improves the known result by Beligiannis.


Multicycle terahertz pulse generation by optical rectification in LiNbO 3 , LiTaO 3 , and BBO crystals. We report multicycle, narrowband, terahertz radiation at 14.8 THz produced by phase matched optical rectification of femtosecond laser pulses in bulk lithium niobate (LiNbO 3 ) crystals. Our experiment and simulation show that the output terahertz energy greatly enhances when the input laser pulse is highly chirped, contrary to a common optical rectification process. We find this abnormal behavior is attributed to a linear electro optic (or Pockels) effect, in which the laser pulse propagating in LiNbO 3 is modulated by the terahertz field it produces, and this in turn drives optical rectification more effectively to produce the terahertz field. This resonant cascading effect can greatly increase terahertz conversion efficiencies when the input laser pulse is properly pre chirped with additional third order dispersion. We also observe similar multicycle terahertz emission from lithium tantalate (LiTaO 3 ) at 14 THz and barium borate (BBO) at 7 THz, 10.6 THz, and 14.6 THz, all produced by narrowband phase matched optical rectification.


Rigidity and Stability of Submanifolds with Entropy Close to One. We show that an n dimensional surface whose entropy is close to that of an n dimensional plane is close in Hausdorff distance to some n dimensional plane at every scale. Moreover we show that self expanders of low entropy converge in the Hausdorff sense to their asymptotic cones.