Deep Two Stream Video Inference for Human Body Pose and Shape Estimation. Several video based 3D pose and shape estimation algorithms have been proposed to resolve the temporal inconsistency of single image based methods. However it still remains challenging to have stable and accurate reconstruction. In this paper, we propose a new framework Deep Two Stream Video Inference for Human Body Pose and Shape Estimation (DTS VIBE), to generate 3D human pose and mesh from RGB videos. We reformulate the task as a multi modality problem that fuses RGB and optical flow for more reliable estimation. In order to fully utilize both sensory modalities (RGB or optical flow), we train a two stream temporal network based on transformer to predict SMPL parameters. The supplementary modality, optical flow, helps to maintain temporal consistency by leveraging motion knowledge between two consecutive frames. The proposed algorithm is extensively evaluated on the Human3.6 and 3DPW datasets. The experimental results show that it outperforms other state of the art methods by a significant margin.


Number of Hamiltonian cycles in planar triangulations. Whitney proved in 1931 that 4 connected planar triangulations are Hamiltonian. Hakimi, Schmeichel, and Thomassen conjectured in 1979 that if G is a 4 connected planar triangulation with n vertices then G contains at least 2(n 2)(n 4) Hamiltonian cycles, with equality if and only if G is a double wheel. On the other hand, a recent result of Alahmadi, Aldred, and Thomassen states that there are exponentially many Hamiltonian cycles in 5 connected planar triangulations. In this paper, we consider 4 connected planar n vertex triangulations G that do not have too many separating 4 cycles or have minimum degree 5. We show that if G has O(n log 2 n) separating 4 cycles then G has Omega(n 2) Hamiltonian cycles, and if delta(G) ge 5 then G has 2 Omega(n 1 4 ) Hamiltonian cycles. Both results improve previous work. Moreover, the proofs involve a "double wheel" structure, providing further evidence to the above conjecture.


Impact of channel access and transport mechanisms on QoE in GEO satellite based LTE backhauling systems. Backhauling services through satellite systems have doubled between 2012 and 2018. There is an increasing demand for this service for which satellite systems typically allocate a fixed resource. This solution may not help in optimizing the usage of the scarce satellite resource. This study measures the relevance of using dynamic resource allocation mechanisms for backhaul services through satellite systems. The satellite system is emulated with OpenSAND, the LTE system with Amarisoft and the experiments are orchestrated by OpenBACH. We compare the relevance of applying TCP PEP mechanisms and dynamic resource allocations for different traffic services by measuring the QoE for web browsing, data transfer and VoIP applications. The main conclusions are the following. When the system is congested, PEP and layer 2 access mechanisms do not provide significant improvements. When the system is not congested, data transfer can be greatly improved through protocols and channel access mechanism optimization. Tuning the Constant Rate Assignment can help in reducing the cost of the resource and provide QoE improvements when the network is not loaded.


An interdisciplinary bibliometric analysis of models for land use and transport interactions. Research on links between transport and land use is by essence interdisciplinary, as a result of the multi dimensionality and complexity of these objects. In the case of models simulating interactions between transport and land use, the research landscape is similarly relatively broad and sparse. We propose in this paper a bibliometric analysis of this literature from an interdisciplinary perspective. We first provide a survey of the various disciplines and approaches. We then construct an interdisciplinary corpus of around 10,000 papers, which we analyse in terms of citation network and semantic content. We illustrate therein the diversity of existing approaches, their complementarity, and possible future research directions coupling some of these viewpoints.


Jiffy A Lock free Skip List with Batch Updates and Snapshots. In this paper we introduce Jiffy, the first lock free, linearizable ordered key value index that offers both (1) batch updates, which are put and remove operations that are executed atomically, and (2) consistent snapshots used by, e.g., range scan operations. Jiffy is built as a multiversioned lock free skip list and relies on CPU's Time Stamp Counter register to generate version numbers at minimal cost. For faster skip list traversals and better utilization of the CPU caches, key value entries are grouped into immutable objects called revisions. Moreover, by changing the size of revisions and thus modifying the synchronization granularity, our index can adapt to varying contentions levels (smaller revisions are more suited for write heavy workloads whereas large revisions benefit read dominated workloads, especially when they feature many range scan operations). Structure modifications to the index, which result in changing the size of revisions, happen through (lock free) skip list node split and merge operations that are carefully coordinated with the update operations. Despite rich semantics, Jiffy offers highly scalable performance, which is comparable or exceeds the performance of the state of the art lock free ordered indices that feature linearizable range scan operations. Compared to its (lock based) rivals that also support batch updates, Jiffy can execute large batch updates up to 7.4x more efficiently.


A Benders type Approach for Robust Optimization of Kidney Exchanges under Full Recourse. The goal of kidney exchange programs is to match recipients with a willing but incompatible donor with another compatible donor, so as to maximize total (weighted) transplants. There is significant uncertainty in this process, as planned transplants may be cancelled for a variety of reasons. Planning exchanges while considering failures, and options for recourse, is therefore crucial. In this paper, we reconsider a robust optimization model with recourse proposed in Carvalho et al. (2020) that takes into account the event that a number of donors leaves the KEP. After these donors have left the program, a new set of exchanges is identified (the recourse decision). Current algorithmic considerations do not allow to find optimal solutions for the robust optimization model for realistic sized kidney exchanges with a reasonable time frame. Following the iterative framework in Carvalho et al. (2020) for solving a large scale mixed integer programming model, we propose a new variable and constraint generation method based on Generalized Benders' Decomposition. A characterization of this method is given based on two widely used integer programming models for kidney exchange programs. Furthermore, a lifting technique is proposed to obtain stronger Benders cuts to speed up computation. Computational results show that our algorithm is very competitive, improving on the running time of the state of the art method by one order of magnitude. Furthermore, our methods are able to solve a large number of previously unsolved instances within the same time limit.


POMP Pomcp based Active Visual Search in unknown indoor environments. In this paper we focus on the problem of learning online an optimal policy for Active Visual Search (AVS) of objects in unknown indoor environments. We propose POMP , a planning strategy that introduces a novel formulation on top of the classic Partially Observable Monte Carlo Planning (POMCP) framework, to allow training free online policy learning in unknown environments. We present a new belief reinvigoration strategy which allows to use POMCP with a dynamically growing state space to address the online generation of the floor map. We evaluate our method on two public benchmark datasets, AVD that is acquired by real robotic platforms and Habitat ObjectNav that is rendered from real 3D scene scans, achieving the best success rate with an improvement of 10 over the state of the art methods.


Using AntiPatterns to avoid MLOps Mistakes. We describe lessons learned from developing and deploying machine learning models at scale across the enterprise in a range of financial analytics applications. These lessons are presented in the form of antipatterns. Just as design patterns codify best software engineering practices, antipatterns provide a vocabulary to describe defective practices and methodologies. Here we catalog and document numerous antipatterns in financial ML operations (MLOps). Some antipatterns are due to technical errors, while others are due to not having sufficient knowledge of the surrounding context in which ML results are used. By providing a common vocabulary to discuss these situations, our intent is that antipatterns will support better documentation of issues, rapid communication between stakeholders, and faster resolution of problems. In addition to cataloging antipatterns, we describe solutions, best practices, and future directions toward MLOps maturity.


Eigenvector Centrality and Uniform Dominant Eigenvalue of Graph Components. Eigenvector centrality is one of the outstanding measures of central tendency in graph theory. In this paper we consider the problem of calculating eigenvector centrality of graph partitioned into components and how this partitioning can be used. Two cases are considered first where the a single component in the graph has the dominant eigenvalue, secondly when there are at least two components that share the dominant eigenvalue for the graph. In the first case we implement and compare the method to the usual approach (power method) for calculating eigenvector centrality while in the second case with shared dominant eigenvalues we show some theoretical and numerical results. Keywords Eigenvector centrality, power iteration, graph, strongly connected component.


Isomorphisms between random graphs. Consider two independent Erd H o s R 'enyi G(N,1 2) graphs. We show that with probability tending to 1 as N to infty , the largest induced isomorphic subgraph has size either lfloor x N varepsilon N rfloor or lfloor x N varepsilon N rfloor , where x N 4 log 2 N 2 log 2 log 2 N 2 log 2(4 e) 1 and varepsilon N (4 log 2 N) 1 2 . Using similar techniques, we also show that if Gamma 1 and Gamma 2 are independent G(n,1 2) and G(N,1 2) random graphs, then Gamma 2 contains an isomorphic copy of Gamma 1 as an induced subgraph with high probability if n le lfloor y N varepsilon N rfloor and does not contain an isomorphic copy of Gamma 1 as an induced subgraph with high probability if n lfloor y N varepsilon N rfloor , where y N 2 log 2 N 1 and varepsilon N is as above.


What Image Features Boost Housing Market Predictions?. The attractiveness of a property is one of the most interesting, yet challenging, categories to model. Image characteristics are used to describe certain attributes, and to examine the influence of visual factors on the price or timeframe of the listing. In this paper, we propose a set of techniques for the extraction of visual features for efficient numerical inclusion in modern day predictive algorithms. We discuss techniques such as Shannon's entropy, calculating the center of gravity, employing image segmentation, and using Convolutional Neural Networks. After comparing these techniques as applied to a set of property related images (indoor, outdoor, and satellite), we conclude the following (i) the entropy is the most efficient single digit visual measure for housing price prediction (ii) image segmentation is the most important visual feature for the prediction of housing lifespan and (iii) deep image features can be used to quantify interior characteristics and contribute to captivation modeling. The set of 40 image features selected here carries a significant amount of predictive power and outperforms some of the strongest metadata predictors. Without any need to replace a human expert in a real estate appraisal process, we conclude that the techniques presented in this paper can efficiently describe visible characteristics, thus introducing perceived attractiveness as a quantitative measure into the predictive modeling of housing.


PI controllers for the general Saint Venant equations. We study the exponential stability in the H 2 norm of the nonlinear Saint Venant (or shallow water) equations with arbitrary friction and slope using a single Proportional Integral (PI) control at one end of the channel. Using a good but simple Lyapunov function we find a simple and explicit condition on the gain the PI control to ensure the exponential stability of any steady states. This condition is independent of the slope, the friction coefficient, the length of the river, the inflow disturbance and, more surprisingly, can be made independent of the steady state considered. When the inflow disturbance is time dependent and no steady state exist, we still have the Input to State stability of the system, and we show that changing slightly the PI control enables to recover the exponential stability of slowly varying trajectories.


Forecasting Nonverbal Social Signals during Dyadic Interactions with Generative Adversarial Neural Networks. We are approaching a future where social robots will progressively become widespread in many aspects of our daily lives, including education, healthcare, work, and personal use. All of such practical applications require that humans and robots collaborate in human environments, where social interaction is unavoidable. Along with verbal communication, successful social interaction is closely coupled with the interplay between nonverbal perception and action mechanisms, such as observation of gaze behaviour and following their attention, coordinating the form and function of hand gestures. Humans perform nonverbal communication in an instinctive and adaptive manner, with no effort. For robots to be successful in our social landscape, they should therefore engage in social interactions in a humanlike way, with increasing levels of autonomy. In particular, nonverbal gestures are expected to endow social robots with the capability of emphasizing their speech, or showing their intentions. Motivated by this, our research sheds a light on modeling human behaviors in social interactions, specifically, forecasting human nonverbal social signals during dyadic interactions, with an overarching goal of developing robotic interfaces that can learn to imitate human dyadic interactions. Such an approach will ensure the messages encoded in the robot gestures could be perceived by interacting partners in a facile and transparent manner, which could help improve the interacting partner perception and makes the social interaction outcomes enhanced.


A mass, momentum, and energy conservative dynamical low rank scheme for the Vlasov equation. The primary challenge in solving kinetic equations, such as the Vlasov equation, is the high dimensional phase space. In this context, dynamical low rank approximations have emerged as a promising way to reduce the high computational cost imposed by such problems. However, a major disadvantage of this approach is that the physical structure of the underlying problem is not preserved. In this paper, we propose a dynamical low rank algorithm that conserves mass, momentum, and energy as well as the corresponding continuity equations. We also show how this approach can be combined with a conservative time and space discretization.


Computing the Shapley Value of Facts in Query Answering. The Shapley value is a game theoretic notion for wealth distribution that is nowadays extensively used to explain complex data intensive computation, for instance, in network analysis or machine learning. Recent theoretical works show that query evaluation over relational databases fits well in this explanation paradigm. Yet, these works fall short of providing practical solutions to the computational challenge inherent to the Shapley computation. We present in this paper two practically effective solutions for computing Shapley values in query answering. We start by establishing a tight theoretical connection to the extensively studied problem of query evaluation over probabilistic databases, which allows us to obtain a polynomial time algorithm for the class of queries for which probability computation is tractable. We then propose a first practical solution for computing Shapley values that adopts tools from probabilistic query evaluation. In particular, we capture the dependence of query answers on input database facts using Boolean expressions (data provenance), and then transform it, via Knowledge Compilation, into a particular circuit form for which we devise an algorithm for computing the Shapley values. Our second practical solution is a faster yet inexact approach that transforms the provenance to a Conjunctive Normal Form and uses a heuristic to compute the Shapley values. Our experiments on TPC H and IMDB demonstrate the practical effectiveness of our solutions.


The Burton Steif correspondence Statistical mechanics at the service of symbolic dynamics. Robert Burton and Jeffrey Steif developed a strategy to construct examples of strongly irreducible subshifts of finite type admitting several measures of maximal entropy. This strategy exploits a correspondence between equilibrium statistical mechanics and symbolic dynamics. In this paper, we study this correspondence, which in the cases we consider gives place to an isomorphism between a simplex of measures of maximal entropy of a strongly irreducible subshift of finite type and a simplex of equilibrium states of the corresponding statistical mechanics model. We illustrate this correspondence by using the Potts model and a model of our own, inspired by the vertex models in statistical mechanics.


Statistical Classification via Robust Hypothesis Testing. In this letter, we consider multiple statistical classification problem where a sequence of n independent and identically distributed observations, that are generated by one of M discrete sources, need to be classified. The source distributions are not known, however one has access to labeled training sequences, of length N, from each source. We consider the case where the unknown source distributions are estimated from the training sequences, then the estimates are used as nominal distributions in a robust hypothesis test. Specifically, we consider the robust DGL test due to Devroye et al. and provide non asymptotic exponential bounds, that are functions of N n, on the error probability of classification.


Sharing Heartbeats Motivations of Citizen Scientists in Times of Crises. With the rise of COVID 19 cases globally, many countries released digital tools to mitigate the effects of the pandemic. In Germany the Robert Koch Institute (RKI) published the Corona Data Donation App, a virtual citizen science (VCS) project, to establish an early warning system for the prediction of potential COVID 19 hotspots using data from wearable devices. While work on motivation for VCS projects in HCI often presents egoistic motives as prevailing, there is little research on such motives in crises situations. In this paper, we explore the socio psychological processes and motivations to share personal data during a pandemic. Our findings indicate that collective motives dominated among app reviews (n 464) and in in depth interviews (n 10). We contribute implications for future VCS tools in times of crises that highlight the importance of communication, transparency and responsibility.


Morph Call Probing Morphosyntactic Content of Multilingual Transformers. The outstanding performance of transformer based language models on a great variety of NLP and NLU tasks has stimulated interest in exploring their inner workings. Recent research has focused primarily on higher level and complex linguistic phenomena such as syntax, semantics, world knowledge, and common sense. The majority of the studies are anglocentric, and little remains known regarding other languages, precisely their morphosyntactic properties. To this end, our work presents Morph Call, a suite of 46 probing tasks for four Indo European languages of different morphology English, French, German and Russian. We propose a new type of probing task based on the detection of guided sentence perturbations. We use a combination of neuron , layer and representation level introspection techniques to analyze the morphosyntactic content of four multilingual transformers, including their less explored distilled versions. Besides, we examine how fine tuning for POS tagging affects the model knowledge. The results show that fine tuning can improve and decrease the probing performance and change how morphosyntactic knowledge is distributed across the model. The code and data are publicly available, and we hope to fill the gaps in the less studied aspect of transformers.


Semantic Segmentation for Real Point Cloud Scenes via Bilateral Augmentation and Adaptive Fusion. Given the prominence of current 3D sensors, a fine grained analysis on the basic point cloud data is worthy of further investigation. Particularly, real point cloud scenes can intuitively capture complex surroundings in the real world, but due to 3D data's raw nature, it is very challenging for machine perception. In this work, we concentrate on the essential visual task, semantic segmentation, for large scale point cloud data collected in reality. On the one hand, to reduce the ambiguity in nearby points, we augment their local context by fully utilizing both geometric and semantic features in a bilateral structure. On the other hand, we comprehensively interpret the distinctness of the points from multiple resolutions and represent the feature map following an adaptive fusion method at point level for accurate semantic segmentation. Further, we provide specific ablation studies and intuitive visualizations to validate our key modules. By comparing with state of the art networks on three different benchmarks, we demonstrate the effectiveness of our network.


Learning Multi Scene Absolute Pose Regression with Transformers. Absolute camera pose regressors estimate the position and orientation of a camera from the captured image alone. Typically, a convolutional backbone with a multi layer perceptron head is trained with images and pose labels to embed a single reference scene at a time. Recently, this scheme was extended for learning multiple scenes by replacing the MLP head with a set of fully connected layers. In this work, we propose to learn multi scene absolute camera pose regression with Transformers, where encoders are used to aggregate activation maps with self attention and decoders transform latent features and scenes encoding into candidate pose predictions. This mechanism allows our model to focus on general features that are informative for localization while embedding multiple scenes in parallel. We evaluate our method on commonly benchmarked indoor and outdoor datasets and show that it surpasses both multi scene and state of the art single scene absolute pose regressors. We make our code publicly available from https github.com yolish multi scene pose transformer.


A Precise Performance Analysis of Support Vector Regression. In this paper, we study the hard and soft support vector regression techniques applied to a set of n linear measurements of the form y i boldsymbol beta star T bf x i n i where boldsymbol beta star is an unknown vector, left bf x i right i 1 n are the feature vectors and left n i right i 1 n model the noise. Particularly, under some plausible assumptions on the statistical distribution of the data, we characterize the feasibility condition for the hard support vector regression in the regime of high dimensions and, when feasible, derive an asymptotic approximation for its risk. Similarly, we study the test risk for the soft support vector regression as a function of its parameters. Our results are then used to optimally tune the parameters intervening in the design of hard and soft support vector regression algorithms. Based on our analysis, we illustrate that adding more samples may be harmful to the test performance of support vector regression, while it is always beneficial when the parameters are optimally selected. Such a result reminds a similar phenomenon observed in modern learning architectures according to which optimally tuned architectures present a decreasing test performance curve with respect to the number of samples.


Pedestrian Detection in 3D Point Clouds using Deep Neural Networks. Detecting pedestrians is a crucial task in autonomous driving systems to ensure the safety of drivers and pedestrians. The technologies involved in these algorithms must be precise and reliable, regardless of environment conditions. Relying solely on RGB cameras may not be enough to recognize road environments in situations where cameras cannot capture scenes properly. Some approaches aim to compensate for these limitations by combining RGB cameras with TOF sensors, such as LIDARs. However, there are few works that address this problem using exclusively the 3D geometric information provided by LIDARs. In this paper, we propose a PointNet based architecture to detect pedestrians in dense 3D point clouds. The aim is to explore the potential contribution of geometric information alone in pedestrian detection systems. We also present a semi automatic labeling system that transfers pedestrian and non pedestrian labels from RGB images onto the 3D domain. The fact that our datasets have RGB registered with point clouds enables label transferring by back projection from 2D bounding boxes to point clouds, with only a light manual supervision to validate results. We train PointNet with the geometry of the resulting 3D labelled clusters. The evaluation confirms the effectiveness of the proposed method, yielding precision and recall values around 98 .


An alternative for minimal group actions on totally regular curves. Let G be a countable group and X be a totally regular curve. Suppose that phi G rightarrow rm Homeo (X) is a minimal action. Then we show an alternative either the action is topologically conjugate to isometries on the circle mathbb S 1 (this implies that phi(G) contains an abelian subgroup of index at most 2), or has a quasi Schottky subgroup (this implies that G contains the free nonabelian group mathbb Z mathbb Z ). In order to prove the alternative, we get a new characterization of totally regular curves by means of the notion of measure and prove an escaping lemma holding for any minimal group action on infinite compact metric spaces, which improves a trick in Margulis' proof of the alternative in the case that X mathbb S 1 .


FinMatcher at FinSim 2 Hypernym Detection in the Financial Services Domain using Knowledge Graphs. This paper presents the FinMatcher system and its results for the FinSim 2021 shared task which is co located with the Workshop on Financial Technology on the Web (FinWeb) in conjunction with The Web Conference. The FinSim 2 shared task consists of a set of concept labels from the financial services domain. The goal is to find the most relevant top level concept from a given set of concepts. The FinMatcher system exploits three publicly available knowledge graphs, namely WordNet, Wikidata, and WebIsALOD. The graphs are used to generate explicit features as well as latent features which are fed into a neural classifier to predict the closest hypernym.


Multi head or Single head? An Empirical Comparison for Transformer Training. Multi head attention plays a crucial role in the recent success of Transformer models, which leads to consistent performance improvements over conventional attention in various applications. The popular belief is that this effectiveness stems from the ability of jointly attending multiple positions. In this paper, we first demonstrate that jointly attending multiple positions is not a unique feature of multi head attention, as multi layer single head attention also attends multiple positions and is more effective. Then, we suggest the main advantage of the multi head attention is the training stability, since it has less number of layers than the single head attention, when attending the same number of positions. For example, 24 layer 16 head Transformer (BERT large) and 384 layer single head Transformer has the same total attention head number and roughly the same model size, while the multi head one is significantly shallower. Meanwhile, we show that, with recent advances in deep learning, we can successfully stabilize the training of the 384 layer Transformer. As the training difficulty is no longer a bottleneck, substantially deeper single head Transformer achieves consistent performance improvements without tuning hyper parameters.


Revisiting Priority k Center Fairness and Outliers. In the Priority k Center problem, the input consists of a metric space (X,d) , an integer k and for each point v in X a priority radius r(v) . The goal is to choose k centers S subseteq X to minimize max v in X frac 1 r(v) d(v,S) . If all r(v) 's were uniform, one obtains the classical k center problem. Plesn 'ik Plesn 'ik, Disc. Appl. Math. 1987 introduced this problem and gave a 2 approximation algorithm matching the best possible algorithm for vanilla k center. We show how the problem is related to two different notions of fair clustering Harris et al., NeurIPS 2018 Jung et al., FORC 2020 . Motivated by these developments we revisit the problem and, in our main technical contribution, develop a framework that yields constant factor approximation algorithms for Priority k Center with outliers. Our framework extends to generalizations of Priority k Center to matroid and knapsack constraints, and as a corollary, also yields algorithms with fairness guarantees in the lottery model of Harris et al.


Almost quasifibrations and fundamental groups of orbit configuration spaces. In this article we introduce the notion of a k almost quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of 19 , we deduce that the fundamental group of the orbit configuration space of an effective and properly discontinuous action of a discrete group, on an aspherical 2 manifold with isolated fixed points is torsion free. Furthermore, if the 2 manifold has at least one puncture then it is poly free, and hence has an iterated semi direct product of free groups structure, which generalizes a result of Xicotencatl ( 27 , Theorem 6.3).


Variations on Hammersley's interacting particle process. The longest increasing subsequence problem for permutations has been studied extensively in the last fifty years. The interpretation of the longest increasing subsequence as the longest 21 avoiding subsequence in the context of permutation patterns leads to many interesting research directions. We introduce and study the statistical properties of Hammersleytype interacting particle processes related to these generalizations and explore the finer structures of their distributions. We also propose three different interacting particle systems in the plane analogous to the Hammersley process in one dimension and obtain estimates for the asymptotic orders of the mean and variance of the number of particles in the systems.


Extremal metrics on toric manifolds and homogeneous toric bundles. In this paper, we prove the Yau Tian Donaldson conjecture of the filtration version for toric manifolds and homogeneous toric bundles.


A PMUT Integrated Microfluidic System for Fluid Density Sensing. We demonstrate the design, fabrication and use of a dual electrode PMUT (Piezoelectric Micromachined Ultrasound Transducer) integrated with a microfluidic channel as a fluid density sensor in both static and dynamic density change conditions. The dual electrode configuration makes the PMUT resonator a self contained resonant peak shift sensor and the microfluidic integration makes this system a versatile fluid density sensing platform that can be used with extremely low volumes of fluids in various industrial and healthcare applications. The density measurements carried out here under flowing fluid conditions demonstrate the potential of this system as a real time fluid density monitoring system. We include results of density measurements in the range of 1020 1090 kg m3 that corresponds to the human blood density variation generally due to the change in its hemoglobin content. The sensitivity of the sensor 26.3 Hz (kg m3) is good enough to reliably detect even 1 change in the hemoglobin content of the human blood. Thus, this system could potentially be used also as a hemoglobin measurement sensor in healthcare applications.


Programmable thermocapillary shaping of thin liquid films. We present a method that leverages projected light patterns as a mechanism for freeform deformations of a thin liquid film via the thermocapillary effect. We developed a closed form solution for the inverse problem of the thin film evolution equation, allowing to obtain the projection pattern required in order to achieve a desired topography. We experimentally implement the method using a computer controlled light projector, which illuminates any desired pattern onto the bottom of a fluidic chamber patterned with heat absorbing metal pads. The resulting heat map induces surface tension gradients in the liquid air interface, giving rise to thermocapillary flow that deforms the liquid surface. If a polymer is used for the liquid film, it can then be photocured to yield a solid device. Based on the inverse problem solutions and using this system, we demonstrate the fabrication of several diffractive optical elements (DOEs), including phase masks for extended depth of field imaging, and for 3D localization microscopy. The entire process, from projection to solidification, is completed in less than five minutes, and yields a sub nanometric surface quality without any post processing.


Closed Ziv Lempel factorization of the m bonacci words. A word w is said to be closed if it has a proper factor x which occurs exactly twice in w , as a prefix and as a suffix of w . Based on the concept of Ziv Lempel factorization, we define the closed z factorization of finite and infinite words. Then we find the closed z factorization of the infinite m bonacci words for all m geq 2 . We also classify closed prefixes of the infinite m bonacci words.


Invariant hypercomplex structures and algebraic curves. We show that U(k) invariant hypercomplex structures on (open subsets) of regular semisimple adjoint orbits in mathfrak gl (k, mathbb C ) correspond to algebraic curves C of genus (k 1) 2 , equipped with a flat projection pi C to mathbb P 1 of degree k , and an antiholomorphic involution sigma C to C covering the antipodal map on mathbb P 1 .


Reduced order modeling of nonlinear microstructures through Proper Orthogonal Decomposition. We apply the Proper Orthogonal Decomposition (POD) method for the efficient simulation of several scenarios undergone by Micro Electro Mechanical Systems, involving nonlinearites of geometric and electrostatic nature. The former type of nonlinearity, associated to the large displacements of the devices, leads to polynomial terms up to cubic order that are reduced through exact projection onto a low dimensional subspace spanned by the Proper Orthogonal Modes (POMs). On the contrary, electrostatic nonlinearities are modeled resorting to precomputed manifolds in terms of the amplitudes of the electrically active POMs. We extensively test the reliability of the assumed linear trial space in challenging applications focusing on resonators, micromirrors and arches also displaying internal resonances. We discuss several options to generate the matrix of snapshots using both classical time marching schemes and more advanced Harmonic Balance (HB) approaches. Furthermore, we propose a comparison between the periodic orbits computed with POD and the invariant manifold approximated with Direct Parametrization approaches, further stressing the reliability of the technique and its remarkable predictive capabilities, e.g., in terms of estimation of the frequency response function of selected output quantities of interest.


Convergence from Atomistic Model to Peierls Nabarro Model for Dislocations in Bilayer System with Complex Lattice. In this paper, we prove the convergence from the atomistic model to the Peierls Nabarro (PN) model of two dimensional bilayer system with complex lattice. We show that the displacement field of the dislocation solution of the PN model converges to the dislocation solution of the atomistic model with second order accuracy. The consistency of PN model and the stability of atomistic model are essential in our proof. The main idea of our approach is to use several low degree polynomials to approximate the energy due to atomistic interactions of different groups of atoms of the complex lattice.


Semi supervised Keypoint Localization. Knowledge about the locations of keypoints of an object in an image can assist in fine grained classification and identification tasks, particularly for the case of objects that exhibit large variations in poses that greatly influence their visual appearance, such as wild animals. However, supervised training of a keypoint detection network requires annotating a large image dataset for each animal species, which is a labor intensive task. To reduce the need for labeled data, we propose to learn simultaneously keypoint heatmaps and pose invariant keypoint representations in a semi supervised manner using a small set of labeled images along with a larger set of unlabeled images. Keypoint representations are learnt with a semantic keypoint consistency constraint that forces the keypoint detection network to learn similar features for the same keypoint across the dataset. Pose invariance is achieved by making keypoint representations for the image and its augmented copies closer together in feature space. Our semi supervised approach significantly outperforms previous methods on several benchmarks for human and animal body landmark localization.


Strongly compact cardinals and ordinal definability. This paper explores several topics related to Woodin's HOD conjecture. We improve the large cardinal hypothesis of Woodin's HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable omega Jonsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD.


Monge Amp ere equations on compact Hessian manifolds. We consider degenerate Monge Amp ere equations on compact Hessian manifolds. We establish compactness properties of the set of normalized quasi convex functions and show local and global comparison principles for twisted Monge Amp ere operators. We then use the Perron method to solve Monge Amp ere equations whose RHS involves an arbitrary probability measure, generalizing works of Cheng Yau, Delano "e, Caffarelli Viaclovsky and Hultgren "Onnheim. The intrinsic approach we develop should be useful in deriving similar results on mildly singular Hessian varieties, in line with the Strominger Yau Zaslow conjecture.


Co Scale Conv Attentional Image Transformers. In this paper, we present Co scale conv attentional image Transformers (CoaT), a Transformer based image classifier equipped with co scale and conv attentional mechanisms. First, the co scale mechanism maintains the integrity of Transformers' encoder branches at individual scales, while allowing representations learned at different scales to effectively communicate with each other we design a series of serial and parallel blocks to realize the co scale mechanism. Second, we devise a conv attentional mechanism by realizing a relative position embedding formulation in the factorized attention module with an efficient convolution like implementation. CoaT empowers image Transformers with enriched multi scale and contextual modeling capabilities. On ImageNet, relatively small CoaT models attain superior classification results compared with similar sized convolutional neural networks and image vision Transformers. The effectiveness of CoaT's backbone is also illustrated on object detection and instance segmentation, demonstrating its applicability to downstream computer vision tasks.


Efficient Inverse Design of 2D Elastic Metamaterial Systems Using Invertible Neural Networks. Locally resonant elastic metamaterials (LREM) can be designed, by optimizing the geometry of the constituent self repeating unit cells, to potentially damp out vibration in selected frequency ranges, thus yielding desired bandgaps. However, it remains challenging to quickly arrive at unit cell designs that satisfy any requested bandgap specifications within a given global frequency range. This paper develops a computationally efficient framework for (fast) inverse design of LREM, by integrating a new type of machine learning models called invertible neural networks or INN. An INN can be trained to predict the bandgap bounds as a function of the unit cell design, and interestingly at the same time it learns to predict the unit cell design given a bandgap, when executed in reverse. In our case the unit cells are represented in terms of the width's of the outer matrix and middle soft filler layer of the unit cell. Training data on the frequency response of the unit cell is provided by Bloch dispersion analyses. The trained INN is used to instantaneously retrieve feasible (or near feasible) inverse designs given a specified bandgap constraint, which is then used to initialize a forward constrained optimization (based on sequential quadratic programming) to find the bandgap satisfying unit cell with minimum mass. Case studies show favorable performance of this approach, in terms of the bandgap characteristics and minimized mass, when compared to the median scenario over ten randomly initialized optimizations for the same specified bandgaps. Further analysis using FEA verify the bandgap performance of a finite structure comprised of 8 times 8 arrangement of the unit cells obtained with INN accelerated inverse design.


Isomorphism Properties of Optimality and Equilibrium Solutions under Equivalent Information Structure Transformations I Stochastic Dynamic Teams. In stochastic optimal control, change of measure arguments have been crucial for stochastic analysis. Such an approach is often called static reduction in dynamic team theory (or decentralized stochastic control) and has been an effective method for establishing existence and approximation results for optimal policies. In this paper, we place such static reductions into three categories (i) those that are policy independent (as those introduced by Witsenhausen), (ii) those that are policy dependent (as those introduced by Ho and Chu for partially nested dynamic teams), and (iii) those that we will refer to as static measurements with control sharing reduction (where the measurements are static although control actions are shared according to the partially nested information structure). For the first type, we show that there is a bijection between person by person optimal (globally optimal) policies of dynamic teams and their policy independent static reductions. For the second type, although there is a bijection between globally optimal policies of dynamic teams with partially nested information structures and their static reductions, in general there is no bijection between person by person optimal policies of dynamic teams and their policy dependent static reductions. We also establish a stronger negative result concerning stationary solutions. We present sufficient conditions under which bijection relationships hold. Under static measurements with control sharing reduction, connections between optimality concepts can be established under relaxed conditions. An implication is a convexity characterization of dynamic team problems under static measurements with control sharing reduction. Finally, we introduce multi stage refinements of such reductions. Part II of the paper addresses similar issues in the context of stochastic dynamic games, where further subtleties arise.


Asymptotics of the Inertia Moments and the Variance Conjecture in Schatten Balls. We study the first and second orders of the asymptotic expansion, as the dimension goes to infinity, of the moments of the Hilbert Schmidt norm of a uniformly distributed matrix in the p Schatten unit ball. We consider the case of matrices with real, complex or quaternionic entries, self adjoint or not. When p 3, this asymptotic expansion allows us to establish a generalized version of the variance conjecture for the family of p Schatten unit balls of self adjoint matrices.


Self supervised 3D Human Mesh Recovery from Noisy Point Clouds. This paper presents a novel self supervised approach to reconstruct human shape and pose from noisy point cloud data. Relying on large amount of dataset with ground truth annotations, recent learning based approaches predict correspondences for every vertice on the point cloud Chamfer distance is usually used to minimize the distance between a deformed template model and the input point cloud. However, Chamfer distance is quite sensitive to noise and outliers, thus could be unreliable to assign correspondences. To address these issues, we model the probability distribution of the input point cloud as generated from a parametric human model under a Gaussian Mixture Model. Instead of explicitly aligning correspondences, we treat the process of correspondence search as an implicit probabilistic association by updating the posterior probability of the template model given the input. A novel self supervised loss is further derived which penalizes the discrepancy between the deformed template and the input point cloud conditioned on the posterior probability. Our approach is very flexible, which works with both complete point cloud and incomplete ones including even a single depth image as input. Compared to previous self supervised methods, our method shows the capability to deal with substantial noise and outliers. Extensive experiments conducted on various public synthetic datasets as well as a very noisy real dataset (i.e. CMU Panoptic) demonstrate the superior performance of our approach over the state of the art methods.


What do we mean, 'tipping cascade'?. Based on suggested interactions of potential tipping elements in the Earth's climate and in ecological systems, tipping cascades as possible dynamics are increasingly discussed and studied as their activation would impose a considerable risk for human societies and biosphere integrity. However, there are ambiguities in the description of tipping cascades within the literature so far. Here we illustrate how different patterns of multiple tipping dynamics emerge from a very simple coupling of two previously studied idealized tipping elements. In particular, we distinguish between a two phase cascade, a domino cascade and a joint cascade. While a mitigation of an unfolding two phase cascade may be possible and common early warning indicators are sensitive to upcoming critical transitions to a certain degree, the domino cascade may hardly be stopped once initiated and critical slowing down based indicators fail to indicate tipping of the following element. These different potentials for intervention and anticipation across the distinct patterns of multiple tipping dynamics should be seen as a call to be more precise in future analyses on cascading dynamics arising from tipping element interactions in the Earth system.


Representative Functional Connectivity Learning for Multiple Clinical groups in Alzheimer's Disease. Mild cognitive impairment (MCI) is a high risk dementia condition which progresses to probable Alzheimer's disease (AD) at approximately 10 to 15 per year. Characterization of group level differences between two subtypes of MCI stable MCI (sMCI) and progressive MCI (pMCI) is the key step to understand the mechanisms of MCI progression and enable possible delay of transition from MCI to AD. Functional connectivity (FC) is considered as a promising way to study MCI progression since which may show alterations even in preclinical stages and provide substrates for AD progression. However, the representative FC patterns during AD development for different clinical groups, especially for sMCI and pMCI, have been understudied. In this work, we integrated autoencoder and multi class classification into a single deep model and successfully learned a set of clinical group related feature vectors. Specifically, we trained two non linear mappings which realized the mutual transformations between original FC space and the feature space. By mapping the learned clinical group related feature vectors to the original FC space, representative FCs were constructed for each group. Moreover, based on these feature vectors, our model achieves a high classification accuracy 68 for multi class classification (NC vs SMC vs sMCI vs pMCI vs AD).


Probing as Quantifying Inductive Bias. Pre trained contextual representations have led to dramatic performance improvements on a range of downstream tasks. Such performance improvements have motivated researchers to quantify and understand the linguistic information encoded in these representations. In general, researchers quantify the amount of linguistic information through probing, an endeavor which consists of training a supervised model to predict a linguistic property directly from the contextual representations. Unfortunately, this definition of probing has been subject to extensive criticism in the literature, and has been observed to lead to paradoxical and counter intuitive results. In the theoretical portion of this paper, we take the position that the goal of probing ought to be measuring the amount of inductive bias that the representations encode on a specific task. We further describe a Bayesian framework that operationalizes this goal and allows us to quantify the representations' inductive bias. In the empirical portion of the paper, we apply our framework to a variety of NLP tasks. Our results suggest that our proposed framework alleviates many previous problems found in probing. Moreover, we are able to offer concrete evidence that for some tasks fastText can offer a better inductive bias than BERT.


Concept for a Technical Infrastructure for Management of Predictive Models in Industrial Applications. With the increasing number of created and deployed prediction models and the complexity of machine learning workflows we require so called model management systems to support data scientists in their tasks. In this work we describe our technological concept for such a model management system. This concept includes versioned storage of data, support for different machine learning algorithms, fine tuning of models, subsequent deployment of models and monitoring of model performance after deployment. We describe this concept with a close focus on model lifecycle requirements stemming from our industry application cases, but generalize key features that are relevant for all applications of machine learning.


Certified Robustness to Programmable Transformations in LSTMs. Deep neural networks for natural language processing are fragile in the face of adversarial examples small input perturbations, like synonym substitution or word duplication, which cause a neural network to change its prediction. We present an approach to certifying the robustness of LSTMs (and extensions of LSTMs) and training models that can be efficiently certified. Our approach can certify robustness to intractably large perturbation spaces defined programmatically in a language of string transformations. Our evaluation shows that (1) our approach can train models that are more robust to combinations of string transformations than those produced using existing techniques (2) our approach can show high certification accuracy of the resulting models.


So You Want to Analyze Scheme Programs With Datalog?. Static analysis approximates the results of a program by examining only its syntax. For example, control flow analysis (CFA) determines which syntactic lambdas (for functional languages) or (for object oriented) methods may be invoked at each call site within a program. Rich theoretical results exist studying control flow analysis for Scheme like languages, but implementations are often complex and specialized. By contrast, object oriented languages (Java in particular) enjoy high precision control flow analyses that scale to thousands (or more) of lines of code. State of the art implementations (such as DOOP on Souffl 'e) structure the analysis using Horn SAT (Datalog) to enable compilation of the analysis to efficient implementations such as high performance relational algebra kernels. In this paper, we present an implementation of control flow analysis for a significant subset of Scheme (including set!, call cc, and primitive operations) using the Souffl 'e Datalog engine. We present an evaluation on a worst case term demonstrating the polynomial complexity of our m CFA and remark upon scalability results using Souffl 'e.


NRTSI Non Recurrent Time Series Imputation. Time series imputation is a fundamental task for understanding time series with missing data. Existing methods either do not directly handle irregularly sampled data or degrade severely with sparsely observed data. In this work, we reformulate time series as permutation equivariant sets and propose a novel imputation model NRTSI that does not impose any recurrent structures. Taking advantage of the permutation equivariant formulation, we design a principled and efficient hierarchical imputation procedure. In addition, NRTSI can directly handle irregularly sampled time series, perform multiple mode stochastic imputation, and handle data with partially observed dimensions. Empirically, we show that NRTSI achieves state of the art performance across a wide range of time series imputation benchmarks.


On singular values of Hankel operators on Bergman spaces. In this paper, we study the behavior of the singular values of Hankel operators on weighted Bergman spaces A 2 omega varphi , where omega varphi e varphi and varphi is a subharmonic function. We consider compact Hankel operators H overline phi , with anti analytic symbols overline phi , and give estimates of the trace of h( H overline phi ) for any convex function h . This allows us to give asymptotic estimates of the singular values (s n(H overline phi )) n in terms of decreasing rearrangement of phi ' sqrt Delta varphi . For the radial weights, we first prove that the critical decay of (s n(H overline phi )) n is achieved by (s n (H overline z )) n . Namely, we establish that if s n(H overline phi ) o (s n(H overline z )) , then H overline phi 0 . Then, we show that if Delta varphi (z) asymp frac 1 (1 z 2) 2 beta with beta geq 0 , then s n(H overline phi ) O(s n(H overline z )) if and only if phi ' belongs to the Hardy space H p , where p frac 2(1 beta) 2 beta . Finally, we compute the asymptotics of s n(H overline phi ) whenever phi ' in H p .


Additive manufacturing process design with differentiable simulations. We present a novel computational paradigm for process design in manufacturing processes that incorporates simulation responses to optimize manufacturing process parameters in high dimensional temporal and spatial design spaces. We developed a differentiable finite element analysis framework using automatic differentiation which allows accurate optimization of challenging process parameters such as time series laser power. We demonstrate the capability of our proposed method through three illustrative case studies in additive manufacturing for (i) material and process parameter inference using partial observable data, (ii) controlling time series thermal behavior, and (iii) stabilizing melt pool depth. This research opens new avenues for high dimensional manufacturing design using solid mechanics simulation tools such as finite element methods. Our codes are made publicly available for the research community at https github.com mojtabamozaffar differentiable simulation am.


Continuous API Evolution in Heterogenous Enterprise Software Systems. The ability to independently deploy parts of a software system is one of the cornerstones of modern software development, and allows for these parts to evolve independently and at different speeds. A major challenge of such independent deployment, however, is to ensure that despite their individual evolution, the interfaces between interacting parts remain compatible. This is especially important for enterprise software systems, which are often highly integrated and based on heterogenous IT infrastructures. Although several approaches for interface evolution have been proposed, many of these rely on the developer to adhere to certain rules, but provide little guidance for doing so. In this paper, we present an approach for interface evolution that is easy to use for developers, and also addresses typical challenges of heterogenous enterprise software, especially legacy system integration.


Towards Low Latency Energy Efficient Deep SNNs via Attention Guided Compression. Deep spiking neural networks (SNNs) have emerged as a potential alternative to traditional deep learning frameworks, due to their promise to provide increased compute efficiency on event driven neuromorphic hardware. However, to perform well on complex vision applications, most SNN training frameworks yield large inference latency which translates to increased spike activity and reduced energy efficiency. Hence,minimizing average spike activity while preserving accuracy indeep SNNs remains a significant challenge and opportunity.This paper presents a non iterative SNN training technique thatachieves ultra high compression with reduced spiking activitywhile maintaining high inference accuracy. In particular, our framework first uses the attention maps of an un compressed meta model to yield compressed ANNs. This step can be tuned to support both irregular and structured channel pruning to leverage computational benefits over a broad range of platforms. The framework then performs sparse learning based supervised SNN training using direct inputs. During the training, it jointly optimizes the SNN weight, threshold, and leak parameters to drastically minimize the number of time steps required while retaining compression. To evaluate the merits of our approach, we performed experiments with variants of VGG and ResNet, on both CIFAR 10 and CIFAR 100, and VGG16 on Tiny ImageNet.The SNN models generated through the proposed technique yield SOTA compression ratios of up to 33.4x with no significant drops in accuracy compared to baseline unpruned counterparts. Compared to existing SNN pruning methods, we achieve up to 8.3x higher compression with improved accuracy.


FMM accelerated solvers for the Laplace Beltrami problem on complex surfaces in three dimensions. The Laplace Beltrami problem on closed surfaces embedded in three dimensions arises in many areas of physics, including molecular dynamics (surface diffusion), electromagnetics (harmonic vector fields), and fluid dynamics (vesicle deformation). Using classical potential theory,the Laplace Beltrami operator can be pre post conditioned with integral operators whose kernel is translation invariant, resulting in well conditioned Fredholm integral equations of the second kind. These equations have the standard Laplace kernel from potential theory, and therefore the equations can be solved rapidly and accurately using a combination of fast multipole methods (FMMs) and high order quadrature corrections. In this work we detail such a scheme, presenting two alternative integral formulations of the Laplace Beltrami problem, each of whose solution can be obtained via FMM acceleration. We then present several applications of the solvers, focusing on the computation of what are known as harmonic vector fields, relevant for many applications in electromagnetics. A battery of numerical results are presented for each application, detailing the performance of the solver in various geometries.


Weak local limit of preferential attachment random trees with additive fitness. We consider linear preferential attachment random trees with additive fitness, where fitness is defined as the random initial vertex attractiveness. We show that when the fitness distribution has positive bounded support, the weak local limit of this family can be constructed using a sequence of mixed Poisson point processes. We also provide a rate of convergence of the total variation distance between the r neighbourhood of the uniformly chosen vertex in the preferential attachment tree and that of the root vertex of its weak local limit. We apply the theorem to obtain the limiting degree distributions of the uniformly chosen vertex and its ancestors, that is, the vertices that are on the path between the uniformly chosen vertex and the initial vertex. Rates of convergence in the total variation distance are established for these results.


Prospects of a Pb 2 ion clock. We propose a high performance atomic clock based on the 1.81 PHz transition between the ground and first excited state of doubly ionized lead. Utilizing an even isotope of lead, both clock states have I J F 0 , where I , J , and F are the conventional quantum numbers specifying nuclear, electronic, and total angular momentum, respectively. The clock states are nondegenerate and completely immune to nonscalar perturbations, including first order Zeeman and electric quadrupole shifts. Additionally, the proposed clock is relatively insusceptible to other frequency shifts (blackbody radiation, second order Zeeman, Doppler), accommodates "magic" rf trapping, and is robust against decoherence mechanisms that can otherwise limit clock stability. By driving the transition as a two photon E1 M1 process, the accompanying probe Stark shift is appreciable yet manageable for practical Rabi frequencies.


Pricing Perpetual American put options with asset dependent discounting. The main objective of this paper is to present an algorithm of pricing perpetual American put options with asset dependent discounting. The value function of such an instrument can be described as begin equation V omega text A text Put (s) sup tau in mathcal T mathbb E s e int 0 tau omega(S w) dw (K S tau) , end equation where mathcal T is a family of stopping times, omega is a discount function and mathbb E is an expectation taken with respect to a martingale measure. Moreover, we assume that the asset price process S t is a geometric L 'evy process with negative exponential jumps, i.e. S t s e zeta t sigma B t sum i 1 N t Y i . The asset dependent discounting is reflected in the omega function, so this approach is a generalisation of the classic case when omega is constant. It turns out that under certain conditions on the omega function, the value function V omega text A text Put (s) is convex and can be represented in a closed form see Al Hadad and Palmowski (2021). We provide an option pricing algorithm in this scenario and we present exact calculations for the particular choices of omega such that V omega text A text Put (s) takes a simplified form.


Fair Regression under Sample Selection Bias. Recent research on fair regression focused on developing new fairness notions and approximation methods as target variables and even the sensitive attribute are continuous in the regression setting. However, all previous fair regression research assumed the training data and testing data are drawn from the same distributions. This assumption is often violated in real world due to the sample selection bias between the training and testing data. In this paper, we develop a framework for fair regression under sample selection bias when dependent variable values of a set of samples from the training data are missing as a result of another hidden process. Our framework adopts the classic Heckman model for bias correction and the Lagrange duality to achieve fairness in regression based on a variety of fairness notions. Heckman model describes the sample selection process and uses a derived variable called the Inverse Mills Ratio (IMR) to correct sample selection bias. We use fairness inequality and equality constraints to describe a variety of fairness notions and apply the Lagrange duality theory to transform the primal problem into the dual convex optimization. For the two popular fairness notions, mean difference and mean squared error difference, we derive explicit formulas without iterative optimization, and for Pearson correlation, we derive its conditions of achieving strong duality. We conduct experiments on three real world datasets and the experimental results demonstrate the approach's effectiveness in terms of both utility and fairness metrics.


EnHMM On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields. Bug reports (BR) contain vital information that can help triaging teams prioritize and assign bugs to developers who will provide the fixes. However, studies have shown that BR fields often contain incorrect information that need to be reassigned, which delays the bug fixing process. There exist approaches for predicting whether a BR field should be reassigned or not. These studies use mainly BR descriptions and traditional machine learning algorithms (SVM, KNN, etc.). As such, they do not fully benefit from the sequential order of information in BR data, such as function call sequences in BR stack traces, which may be valuable for improving the prediction accuracy. In this paper, we propose a novel approach, called EnHMM, for predicting the reassignment of BR fields using ensemble Hidden Markov Models (HMMs), trained on stack traces. EnHMM leverages the natural ability of HMMs to represent sequential data to model the temporal order of function calls in BR stack traces. When applied to Eclipse and Gnome BR repositories, EnHMM achieves an average precision, recall, and F measure of 54 , 76 , and 60 on Eclipse dataset and 41 , 69 , and 51 on Gnome dataset. We also found that EnHMM improves over the best single HMM by 36 for Eclipse and 76 for Gnome. Finally, when comparing EnHMM to Im.ML.KNN, a recent approach in the field, we found that the average F measure score of EnHMM improves the average F measure of Im.ML.KNN by 6.80 and improves the average recall of Im.ML.KNN by 36.09 . However, the average precision of EnHMM is lower than that of Im.ML.KNN (53.93 as opposed to 56.71 ).


Clark Measures for Rational Inner Functions. We analyze the fine structure of Clark measures and Clark isometries associated with two variable rational inner functions on the bidisk. In the degree (n,1) case, we give a complete description of supports and weights for both generic and exceptional Clark measures, characterize when the associated embedding operators are unitary, and give a formula for those embedding operators. We also highlight connections between our results and both the structure of Agler decompositions and study of extreme points for the set of positive pluriharmonic measures on 2 torus.


On the Representation of Integers by Binary Forms Defined by Means of the Relation (x yi) n R n(x, y) J n(x, y)i . Let F be a binary form with integer coefficients, non zero discriminant and degree d geq 3 . Let R F(Z) denote the number of integers of absolute value at most Z which are represented by F . In 2019 Stewart and Xiao proved that R F(Z) sim C FZ 2 d for some positive number C F . We compute C R n and C J n for the binary forms R n(x, y) and J n(x, y) defined by means of the relation (x yi) n R n(x, y) J n(x, y)i , where the variables x and y are real.


Two Formulas for F Polynomials. We discuss a product formula for F polynomials in cluster algebras, and provide two proofs. One proof is inductive and uses only the mutation rule for F polynomials. The other is based on the Fock Goncharov decomposition of mutations. We conclude by expanding this product formula as a sum and illustrate applications.


From Matching Logic To Parallel Imperative Language Verification. Program verification is to develop the program's proof system, and to prove the proof system soundness with respect to a trusted operational semantics of the program. However, many practical program verifiers are not based on operational semantics and can't seriously validate the program. Matching logic is proposed to make program verification based on operational semantics. In this paper, following Grigore Ro c s u 's work, we consider matching logic for parallel imperative language(PIMP). According to our investigation, this paper is the first study on matching logic for PIMP. In our matching logic, we redefine "interference free" to character parallel rule and prove the soundness of matching logic to the operational semantics of PIMP. We also link PIMP's operational semantics and PIMP's verification formally by constructing a matching logic verifier for PIMP which executes rewriting logic semantics symbolically on configuration patterns and is sound and complete to matching logic for PIMP. That is our matching logic verifier for PIMP is sound to the operational semantics of PIMP. Finally, we also verify the matching logic verifier through an example which is a standard problem in parallel programming.


An Implementation of Vector Quantization using the Genetic Algorithm Approach. The application of machine learning(ML) and genetic programming(GP) to the image compression domain has produced promising results in many cases. The need for compression arises due to the exorbitant size of data shared on the internet. Compression is required for text, videos, or images, which are used almost everywhere on web be it news articles, social media posts, blogs, educational platforms, medical domain, government services, and many other websites, need packets for transmission and hence compression is necessary to avoid overwhelming the network. This paper discusses some of the implementations of image compression algorithms that use techniques such as Artificial Neural Networks, Residual Learning, Fuzzy Neural Networks, Convolutional Neural Nets, Deep Learning, Genetic Algorithms. The paper also describes an implementation of Vector Quantization using GA to generate codebook which is used for Lossy image compression. All these approaches prove to be very contrasting to the standard approaches to processing images due to the highly parallel and computationally extensive nature of machine learning algorithms. Such non linear abilities of ML and GP make it widely popular for use in multiple domains. Traditional approaches are also combined with artificially intelligent systems, leading to hybrid systems, to achieve better results.


Superimposed Electric Magnetic "Dipole Moment Comparator" Lattice Design. In contrast to a "single particle table top trap", an essential feature of a storage ring "trap" is that 10 10 or more particles can have their spins aligned in a polarized beam. This is a nunber of polarized particles large enough for the beam polarization to be detected externally, and fed back to permit external control of the beam polarization. The level of achievable spin control, though classical, not quantum mechanical, can be comparable to the control of one or a small number of polarized particles in a low energy trap. Motivated to investigate time reversal invariance, especially the detection of non zero electric dipole moments (EDMs) this paper describes the design of a low energy storage ring having the superimposed electric and magnetic bending needed to "freeze" the spins of polarized beams. For electrons (of either sign) and protons the spins can be frozen with all electric bending but, in general, superimposed electric magnetic bending is required. Since constructive bending superposition in one direction implies destructive superposition in the other direction, counter circulating beams must differ, either in particle type or momentum, in order for their orbits to be identical. For globally frozen spin operation the bunch polarizations remain constant relative to the momenta, for example remaining parallel to the circuating beam momentum vectors. With superimposed electric and magnetic bending, the globally frozen spin condition can be met over a continua (specific to particle type) of E B ratios. When this condition is met, the out of plane, EDM induced precession accumulates monitonically, which is obligatory for producing a measurably large EDM signal. As Koop has explained, the EDM signal will still accumulate if the polarization is allowed to "roll like a wheel" around a radial axis.


A model for traffic incident prediction using emergency braking data. This article presents a model for traffic incident prediction. Specifically, we address the fundamental problem of data scarcity in road traffic accident prediction by training our model on emergency braking events instead of accidents. Based on relevant risk factors for traffic accidents and corresponding data categories, we evaluate different options for preprocessing sparse data and different Machine Learning models. Furthermore, we present a prototype implementing a traffic incident prediction model for Germany based on emergency braking data from Mercedes Benz vehicles as well as weather, traffic and road data, respectively. After model evaluation and optimisation, we found that a Random Forest model trained on artificially balanced (under sampled) data provided the highest classification accuracy of 85 on the original imbalanced data. Finally, we present our conclusions and discuss further work from gathering more data over a longer period of time to build stronger classification systems, to addition of internal factors such as the driver's visual and cognitive attention.


Quasi Objective Eddy Visualization from Sparse Drifter Data. We employ a recently developed single trajectory Lagrangian diagnostic tool, the trajectory rotation average ( mathrm overline TRA ) , to visualize oceanic vortices (or eddies) from sparse drifter data. We apply the mathrm overline TRA to three drifter data sets that cover various oceanographic scales the Lagrangian Submesoscale ExpeRiment (LASER), the Grand LAgrangian Deployment (GLAD) and the Global Drifter Program (GDP). Based on the mathrm overline TRA , we develop a general algorithm that extracts approximate eddy boundaries. We find close agreement between the vortical flow structures suggested by the mathrm overline TRA and the eddies inferred from satellite and in situ data.


Cooperative Multi Agent Reinforcement Learning Based Distributed Dynamic Spectrum Access in Cognitive Radio Networks. With the development of the 5G and Internet of Things, amounts of wireless devices need to share the limited spectrum resources. Dynamic spectrum access (DSA) is a promising paradigm to remedy the problem of inefficient spectrum utilization brought upon by the historical command and control approach to spectrum allocation. In this paper, we investigate the distributed DSA problem for multi user in a typical multi channel cognitive radio network. The problem is formulated as a decentralized partially observable Markov decision process (Dec POMDP), and we proposed a centralized off line training and distributed on line execution framework based on cooperative multi agent reinforcement learning (MARL). We employ the deep recurrent Q network (DRQN) to address the partial observability of the state for each cognitive user. The ultimate goal is to learn a cooperative strategy which maximizes the sum throughput of cognitive radio network in distributed fashion without coordination information exchange between cognitive users. Finally, we validate the proposed algorithm in various settings through extensive experiments. From the simulation results, we can observe that the proposed algorithm can converge fast and achieve almost the optimal performance.


1 Bit MIMO for Terahertz Channels. This paper tackles the problem of single user multiple input multiple output communication with 1 bit digital to analog and analog to digital converters. With the information theoretic capacity as benchmark, the complementary strategies of beamforming and equiprobable signaling are contrasted in the regimes of operational interest, and the ensuing spectral efficiencies are characterized. Various canonical channel types are considered, with emphasis on line of sight settings under both spherical and planar wavefronts, respectively representative of short and long transmission ranges at mmWave and terahertz frequencies. In all cases, a judicious combination of beamforming and equiprobable signaling is shown to operate within a modest gap from capacity.


Krasnoselskij type algorithms for variational inequality problems and fixed point problems in Banach spaces. Existence and uniqueness as well as the iterative approximation of fixed points of enriched almost contractions in Banach spaces are studied. The obtained results are generalizations of the great majority of metric fixed point theorems, in the setting of a Banach space. The main tool used in the investigations is to work with the averaged operator T lambda instead of the original operator T . The effectiveness of the new results thus derived is illustrated by appropriate examples. An application of the strong convergence theorems to solving a variational inequality is also presented.


Semantic Attention and Scale Complementary Network for Instance Segmentation in Remote Sensing Images. In this paper, we focus on the challenging multicategory instance segmentation problem in remote sensing images (RSIs), which aims at predicting the categories of all instances and localizing them with pixel level masks. Although many landmark frameworks have demonstrated promising performance in instance segmentation, the complexity in the background and scale variability instances still remain challenging for instance segmentation of RSIs. To address the above problems, we propose an end to end multi category instance segmentation model, namely Semantic Attention and Scale Complementary Network, which mainly consists of a Semantic Attention (SEA) module and a Scale Complementary Mask Branch (SCMB). The SEA module contains a simple fully convolutional semantic segmentation branch with extra supervision to strengthen the activation of interest instances on the feature map and reduce the background noise's interference. To handle the under segmentation of geospatial instances with large varying scales, we design the SCMB that extends the original single mask branch to trident mask branches and introduces complementary mask supervision at different scales to sufficiently leverage the multi scale information. We conduct comprehensive experiments to evaluate the effectiveness of our proposed method on the iSAID dataset and the NWPU Instance Segmentation dataset and achieve promising performance.


Persistence and convergence in parabolic parabolic chemotaxis system with logistic source on mathbb R N . In the current paper, we consider the following parabolic parabolic chemotaxis system with logistic source on mathbb R N , begin equation begin cases u t Delta u chi nabla cdot ( u nabla v) u(a bu), quad x in mathbb R N , , , t 0 cr v t Delta v lambda v mu u, quad x in mathbb R N , , , t 0 end cases (1) end equation where chi, a, b, lambda, mu are positive constants and N is a positive integer. We investigate the persistence and convergence in (1). To this end, we first prove, under the assumption b frac N chi mu 4 , the global existence of a unique classical solution (u(x,t u 0, v 0),v(x,t u 0, v 0)) of (1) with u(x,0 u 0, v 0) u 0(x) and v(x,0 u 0, v 0) v 0(x) for every nonnegative, bounded, and uniformly continuous function u 0(x) , and every nonnegative, bounded, uniformly continuous, and differentiable function v 0(x) . Next, under the same assumption b frac N chi mu 4 , we show that persistence phenomena occurs, that is, any globally defined bounded positive classical solution with strictly positive initial function u 0 is bounded below by a positive constant independent of (u 0, v 0) when time is large. Finally, we discuss the asymptotic behavior of the global classical solution with strictly positive initial function u 0 . We show that there is K K(a, lambda,N) frac N 4 such that if b K chi mu and lambda geq frac a 2 , then for every strictly positive initial function u 0( cdot) , it holds that lim t to infty big u(x,t u 0, v 0) frac a b infty v(x,t u 0, v 0) frac mu lambda frac a b infty big 0.


The Values Encoded in Machine Learning Research. Machine learning (ML) currently exerts an outsized influence on the world, increasingly affecting communities and institutional practices. It is therefore critical that we question vague conceptions of the field as value neutral or universally beneficial, and investigate what specific values the field is advancing. In this paper, we present a rigorous examination of the values of the field by quantitatively and qualitatively analyzing 100 highly cited ML papers published at premier ML conferences, ICML and NeurIPS. We annotate key features of papers which reveal their values how they justify their choice of project, which aspects they uplift, their consideration of potential negative consequences, and their institutional affiliations and funding sources. We find that societal needs are typically very loosely connected to the choice of project, if mentioned at all, and that consideration of negative consequences is extremely rare. We identify 67 values that are uplifted in machine learning research, and, of these, we find that papers most frequently justify and assess themselves based on performance, generalization, efficiency, researcher understanding, novelty, and building on previous work. We present extensive textual evidence and analysis of how these values are operationalized. Notably, we find that each of these top values is currently being defined and applied with assumptions and implications generally supporting the centralization of power. Finally, we find increasingly close ties between these highly cited papers and tech companies and elite universities.


Causal Influence Detection for Improving Efficiency in Reinforcement Learning. Many reinforcement learning (RL) environments consist of independent entities that interact sparsely. In such environments, RL agents have only limited influence over other entities in any particular situation. Our idea in this work is that learning can be efficiently guided by knowing when and what the agent can influence with its actions. To achieve this, we introduce a measure of emph situation dependent causal influence based on conditional mutual information and show that it can reliably detect states of influence. We then propose several ways to integrate this measure into RL algorithms to improve exploration and off policy learning. All modified algorithms show strong increases in data efficiency on robotic manipulation tasks.


Convergence analysis of the discrete consensus based optimization algorithm with random batch interactions and heterogeneous noises. We present stochastic consensus and convergence of the discrete consensus based optimization (CBO) algorithm with random batch interactions and heterogeneous external noises. Despite the wide applications and successful performance in many practical simulations, the convergence of the discrete CBO algorithm was not rigorously investigated in such a generality. In this work, we introduce a generalized discrete CBO algorithm with a weighted representative point and random batch interactions, and show that the proposed discrete CBO algorithm exhibits stochastic consensus and convergence toward the common equilibrium state exponentially fast under suitable assumptions on system parameters. For this, we recast the given CBO algorithm with random batch interactions as a discrete consensus model with a random switching network topology, and then we use the mixing property of interactions over sufficiently long time interval to derive stochastic consensus and convergence estimates in mean square and almost sure senses. Our proposed analysis significantly improves earlier works on the convergence analysis of CBO models with full batch interactions and homogeneous external noises.


Cosimplicial meromorphic functions cohomology on complex manifolds. Developing ideas of cite Fei , we introduce canonical cosimplicial cohomology of meromorphic functions for infinite dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold M . Graded differential cohomology of a sheaf of Lie algebras mathcal G via the cosimplicial cohomology of mathcal G formal series for any covering by Stein spaces on M is computed. A relation between cosimplicial cohomology (on a special set of open domains of M ) of formal series of an infinite dimensional Lie algebra mathcal G and singular cohomology of auxiliary manifold associated to a mathcal G module is found. Finally, multiple applications in conformal field theory, deformation theory, and in the theory of foliations are proposed.


Picking Pearl From Seabed Extracting Artefacts from Noisy Issue Triaging Collaborative Conversations for Hybrid Cloud Services. Site Reliability Engineers (SREs) play a key role in issue identification and resolution. After an issue is reported, SREs come together in a virtual room (collaboration platform) to triage the issue. While doing so, they leave behind a wealth of information which can be used later for triaging similar issues. However, usability of the conversations offer challenges due to them being i) noisy and ii) unlabelled. This paper presents a novel approach for issue artefact extraction from the noisy conversations with minimal labelled data. We propose a combination of unsupervised and supervised model with minimum human intervention that leverages domain knowledge to predict artefacts for a small amount of conversation data and use that for fine tuning an already pretrained language model for artefact prediction on a large amount of conversation data. Experimental results on our dataset show that the proposed ensemble of unsupervised and supervised model is better than using either one of them individually.


A continuum of bright and dark pulse states in a photonic crystal resonator. Nonlinearity is a powerful determinant of physical systems. Controlling nonlinearity leads to interesting states of matter and new applications. In optics, diverse families of continuous and discrete states arise from balance of nonlinearity and group velocity dispersion (GVD). Moreover, the dichotomy of states with locally enhanced or diminished field intensity depends critically on the relative sign of nonlinearity and either anomalous or normal GVD. Here, we introduce a resonator with unconditionally normal GVD and a single defect mode that supports both dark, reduced intensity states and bright, enhanced intensity states. We access and explore this dark to bright pulse continuum by phase matching for soliton generation with a photonic crystal resonator, which mediates the competition of nonlinearity and normal GVD. These stationary temporal states are coherent frequency combs, featuring highly designable spectra and ultralow noise repetition frequency and intensity characteristics. The dark to bright continuum illuminates physical roles of Kerr nonlinearity, GVD, and laser propagation in a gapped nanophotonic medium.


Time fractional Moore Gibson Thompson equations. In this paper, we consider several time fractional generalizations of the Jordan Moore Gibson Thompson (JMGT) equations in nonlinear acoustics as well as their linear Moore Gibson Thompson (MGT) versions. Following the procedure described in Jordan (2014), these time fractional acoustic equations are derived from four fractional versions of the Maxwell Cattaneo law in Compte and Metzler (1997). Additionally to providing well posedness results for each of them, we also study the respective limits as the fractional order tends to one, leading to the classical third order in time (J)MGT equation.


Learning Efficient Navigation in Vortical Flow Fields. Efficient point to point navigation in the presence of a background flow field is important for robotic applications such as ocean surveying. In such applications, robots may only have knowledge of their immediate surroundings or be faced with time varying currents, which limits the use of optimal control techniques for planning trajectories. Here, we apply a novel Reinforcement Learning algorithm to discover time efficient navigation policies to steer a fixed speed swimmer through an unsteady two dimensional flow field. The algorithm entails inputting environmental cues into a deep neural network that determines the swimmer's actions, and deploying Remember and Forget Experience replay. We find that the resulting swimmers successfully exploit the background flow to reach the target, but that this success depends on the type of sensed environmental cue. Surprisingly, a velocity sensing approach outperformed a bio mimetic vorticity sensing approach by nearly two fold in success rate. Equipped with local velocity measurements, the reinforcement learning algorithm achieved near 100 success in reaching the target locations while approaching the time efficiency of paths found by a global optimal control planner.


Influence of Micro turbulence on Neoclassical Tearing Mode Onset. Direct evidence of micro turbulence effect on the onset of neoclassical tearing mode (NTM) is reported for the first time in this letter. A puzzling positive correlation between critical width of seed island of NTM and normalized plasma pressure beta p is first observed employing a novel method for clearly separating the processes of seed island and the onset of NTM in the EAST tokamak. Different from the methods developed before, the width of the seed island is well controlled by slowly ramping up the current in resonant magnetic perturbation coils. It is revealed that the positive correlation is mainly attributed to the enhancement of perpendicular transport by micro turbulence, which overcomes the destabilizing effect of beta p on the onset of NTM. Reduced magnetohydrodynamics (MHD) modeling well reproduced the two states of nonlinear bifurcations observed in this experiment by including the finite transport effect. This result provides a new route for understanding multi scale interaction in plasma physics.


Sharp L p bounds for the helical maximal function. We establish the L p( mathbb R 3) boundedness of the helical maximal function for the sharp range p 3 . Our results improve the previous known bounds for p 4 . The key ingredient is a new microlocal smoothing estimate for averages along dilates of the helix, which is established via a square function analysis.


Algorithms for Right Sizing Heterogeneous Data Centers. Power consumption is a dominant and still growing cost factor in data centers. In time periods with low load, the energy consumption can be reduced by powering down unused servers. We resort to a model introduced by Lin, Wierman, Andrew and Thereska that considers data centers with identical machines, and generalize it to heterogeneous data centers with d different server types. The operating cost of a server depends on its load and is modeled by an increasing, convex function for each server type. In contrast to earlier work, we consider the discrete setting, where the number of active servers must be integral. Thereby, we seek truly feasible solutions. For homogeneous data centers ( d 1 ), both the offline and the online problem were solved optimally by Albers and Quedenfeld (2018). In this paper, we study heterogeneous data centers with general time dependent operating cost functions. We develop an online algorithm based on a work function approach which achieves a competitive ratio of 2d 1 epsilon for any epsilon 0 . For time independent operating cost functions, the competitive ratio can be reduced to 2d 1 . There is a lower bound of 2d shown by Albers and Quedenfeld (2021), so our algorithm is nearly optimal. For the offline version, we give a graph based (1 epsilon) approximation algorithm. Additionally, our offline algorithm is able to handle time variable data center sizes.


SketchMeHow Interactive Projection Guided Task Instruction with User Sketches. In this work, we propose an interactive general instruction framework SketchMeHow to guidance the common users to complete the daily tasks in real time. In contrast to the conventional augmented reality based instruction systems, the proposed framework utilizes the user sketches as system inputs to acquire the users' production intentions from the drawing interfaces. Given the user sketches, the designated task instruction can be analyzed based on the sub task division and spatial localization for each task. The projector camera system is adopted in the projection guidance to the end users with the spatial augmented reality technology. To verify the proposed framework, we conducted two case studies of domino arrangement and bento production. From our user studies, the proposed systems can help novice users complete the tasks efficiently with user satisfaction. We believe the proposed SketchMeHow can broaden the research topics in sketch based real world applications in human computer interaction.


Generalized One Class Learning Using Pairs of Complementary Classifiers. One class learning is the classic problem of fitting a model to the data for which annotations are available only for a single class. In this paper, we explore novel objectives for one class learning, which we collectively refer to as Generalized One class Discriminative Subspaces (GODS). Our key idea is to learn a pair of complementary classifiers to flexibly bound the one class data distribution, where the data belongs to the positive half space of one of the classifiers in the complementary pair and to the negative half space of the other. To avoid redundancy while allowing non linearity in the classifier decision surfaces, we propose to design each classifier as an orthonormal frame and seek to learn these frames via jointly optimizing for two conflicting objectives, namely i) to minimize the distance between the two frames, and ii) to maximize the margin between the frames and the data. The learned orthonormal frames will thus characterize a piecewise linear decision surface that allows for efficient inference, while our objectives seek to bound the data within a minimal volume that maximizes the decision margin, thereby robustly capturing the data distribution. We explore several variants of our formulation under different constraints on the constituent classifiers, including kernelized feature maps. We demonstrate the empirical benefits of our approach via experiments on data from several applications in computer vision, such as anomaly detection in video sequences, human poses, and human activities. We also explore the generality and effectiveness of GODS for non vision tasks via experiments on several UCI datasets, demonstrating state of the art results.


New approach for solving stationary nonlinear Navier Stokes equations in non convex domain. In the paper, an approach for the numerical solution of stationary nonlinear Navier Stokes equations in rotation and convective forms in a polygonal domain containing one reentrant corner on its boundary, that is, a corner greater than pi is considered. The method allows us to obtain the 1st order of convergence of the approximate solution to the exact one with respect to the grid step h, regardless of the reentrant corner value.


BC 2 type multivariable matrix functions and matrix spherical functions. Matrix spherical functions associated to the compact symmetric pair ( mathrm SU (m 2), mathrm S ( mathrm U (2) times mathrm U (m)) , having reduced root system of type mathrm BC 2 , are studied. We consider an irreducible K representation ( pi,V) arising from the mathrm U (2) part of K , and the induced representation mathrm Ind K G pi splits multiplicity free. The corresponding spherical functions, i.e. Phi colon G to mathrm End (V) satisfying Phi(k 1gk 2) pi(k 1) Phi(g) pi(k 2) for all g in G , k 1,k 2 in K , are studied by studying certain leading coefficients which involve hypergeometric functions. This is done explicitly using the action of the radial part of the Casimir operator on these functions and their leading coefficients. To suitably grouped matrix spherical functions we associate two variable matrix orthogonal polynomials giving a matrix analogue of Koornwinder's 1970s two variable orthogonal polynomials, which are Heckman Opdam polynomials for mathrm BC 2 . In particular, we find explicit orthogonality relations and the matrix polynomials being eigenfunctions to an explicit second order matrix partial differential operator. The scalar part of the matrix weight is less general than Koornwinder's weight.


Uniform random covering problems. Motivated by the random covering problem and the study of Dirichlet uniform approximable numbers, we investigate the uniform random covering problem. Precisely, consider an i.i.d. sequence omega ( omega n) n geq 1 uniformly distributed on the unit circle mathbb T and a sequence (r n) n geq 1 of positive real numbers with limit 0 . We investigate the size of the random set mathcal U ( omega) y in mathbb T forall N gg 1, exists n leq N, text s.t. omega n y r N . Some sufficient conditions for mathcal U( omega) to be almost surely the whole space, of full Lebesgue measure, or countable, are given. In the case that mathcal U( omega) is a Lebesgue null measure set, we provide some estimations for the upper and lower bounds of Hausdorff dimension.