The Supermarket Model with Known and Predicted Service Times. The supermarket model refers to a system with a large number of queues, where new customers choose d queues at random and join the one with the fewest customers. This model demonstrates the power of even small amounts of choice, as compared to simply joining a queue chosen uniformly at random, for load balancing systems. In this work we perform simulation based studies to consider variations where service times for a customer are predicted, as might be done in modern settings using machine learning techniques or related mechanisms. Our primary takeaway is that using even seemingly weak predictions of service times can yield significant benefits over blind First In First Out queueing in this context. However, some care must be taken when using predicted service time information to both choose a queue and order elements for service within a queue while in many cases using the information for both choosing and ordering is beneficial, in many of our simulation settings we find that simply using the number of jobs to choose a queue is better when using predicted service times to order jobs in a queue. In our simulations, we evaluate both synthetic and real world workloads in the latter, service times are predicted by machine learning. Our results provide practical guidance for the design of real world systems moreover, we leave many natural theoretical open questions for future work, validating their relevance to real world situations.


Bilinear local controllability to the trajectories of the Fokker Planck equation with a localized control. This work is devoted to the control of the Fokker Planck equation, posed on a smooth bounded domain of R d, with a localized drift force. We prove that this equation is locally controllable to regular nonzero trajectories. Moreover, under some conditions, we explain how to reduce the number of controls around the reference control. The results are obtained thanks to a standard linearization method and the fictitious control method. The main novelties are twofold. First, the algebraic solvability is performed and used directly on the adjoint problem. We then prove a new Carleman inequality for the heat equation with a space time varying first order term the right hand side is the gradient of the solution localized on an open subset. We finally give an example of regular trajectory around which the Fokker Planck equation is not controllable with a reduced number of controls, to highlight that our conditions are relevant.


Driving Path Stability in VANETs. Vehicular Ad Hoc Network has attracted both research and industrial community due to its benefits in facilitating human life and enhancing the security and comfort. However, various issues have been faced in such networks such as information security, routing reliability, dynamic high mobility of vehicles, that influence the stability of communication. To overcome this issue, it is necessary to increase the routing protocols performances, by keeping only the stable path during the communication. The effective solutions that have been investigated in the literature are based on the link prediction to avoid broken links. In this paper, we propose a new solution based on machine learning concept for link prediction, using LR and Support Vector Regression (SVR) which is a variant of the Support Vector Machine (SVM) algorithm. SVR allows predicting the movements of the vehicles in the network which gives us a decision for the link state at a future time. We study the performance of SVR by comparing the generated prediction values against real movement traces of different vehicles in various mobility scenarios, and to show the effectiveness of the proposed method, we calculate the error rate. Finally, we compare this new SVR method with Lagrange interpolation solution.


The values of zeta functions composed by the Hurwitz and periodic zeta functions at integers. For s in mathbb C and 0 a 1 , let zeta (s,a) and rm Li s (e 2 pi ia ) be the Hurwitz and periodic zeta functions, repectively. For 0 a le 1 2 , put Z(s,a) zeta (s,a) zeta (s,1 a) , P(s,a) rm Li s (e 2 pi ia ) rm Li s (e 2 pi i(1 a) ) , Y(s,a) zeta (s,a) zeta (s,1 a) and O(s,a) i bigl( rm Li s (e 2 pi ia ) rm Li s (e 2 pi i(1 a) ) bigr) . Let n ge 0 be an integer and b r q , where q r 0 are coprime integers. In this paper, we prove that the values Z( n,b) , pi 2n 2 P(2n 2,b) , Y( n,b) and pi 2n 1 O(2n 1,b) are rational numbers, in addition, pi 2n 2 Z(2n 2,b) , P( n,b) , pi 2n 1 Y(2n 1,b) and O( n,b) are polynomials of cos (2 pi q) and sin (2 pi q) with rational coefficients. Furthermore, we show that Z( n,a) , pi 2n 2 P(2n 2,a) , Y( n,a) and pi 2n 1 O(2n 1,a) are polynomials of 0 a 1 with rational coefficient, in addition, pi 2n 2 Z(2n 2,a) , P( n,a) , pi 2n 1 Y(2n 1,a) and O( n,a) are rational functions of exp (2 pi ia) with rational coefficients. Note that the rational numbers, polynomials and rational functions mentioned above are given explicitly. Moreover, we show that P(s,a) equiv 0 for all 0 a 1 2 if and only if s is a negative even integer. We also prove similar assertions for Z(s,a) , Y(s,a) , O(s,a) and so on. In addition, we prove that the function Z(s, a ) appears as the spectral density of some stationary self similar Gaussian distributions.


Optimal Control Studies on Age Structural Modeling of COVID 19 in Presence of Saturated Medical Treatment of Holling Type III. In this study initially, we propose an age structured model and calculate the equilibrium points and basic reproduction number. Later we propose an optimal control problem to understand the roles of treatment in controlling the epidemic. From the Stability analysis we see that the infection free equilibrium remains asymptotically stable whenever R 0 1 and as R 0 crosses unity we have the infected equilibrium to be stable. From the sensitivity analysis parameters u 11 , b 1 , beta 1 , d 1 and mu were found to be sensitive. Findings from the Optimal Control studies suggests that the infection among the adult population(age geq 30) is least considering the second control u 12 whereas, when both the controls u 11 and u 12 are considered together the infectives is minimum in case of young populations(age leq 30 ). The cumulative infected population reduced the maximum when the second control was considered followed by considering both the controls together. The control u 12 was effective for mild epidemic (R 0 in(1, 2)) whereas control u 11 was found to be highly effective when epidemic was severe (R 0 in(2, 7)) for the population of age group ( leq 30) . Whereas for age group ( geq 30) the control u 12 was highly effective for the entire range of basic reproduction number. The effect of saturation level in treatment is also explored numerically.


Model free vision based shaping of deformable plastic materials. We address the problem of shaping deformable plastic materials using non prehensile actions. Shaping plastic objects is challenging, since they are difficult to model and to track visually. We study this problem, by using kinetic sand, a plastic toy material which mimics the physical properties of wet sand. Inspired by a pilot study where humans shape kinetic sand, we define two types of actions textit pushing the material from the sides and textit tapping from above. The chosen actions are executed with a robotic arm using image based visual servoing. From the current and desired view of the material, we define states based on visual features such as the outer contour shape and the pixel luminosity values. These are mapped to actions, which are repeated iteratively to reduce the image error until convergence is reached. For pushing, we propose three methods for mapping the visual state to an action. These include heuristic methods and a neural network, trained from human actions. We show that it is possible to obtain simple shapes with the kinetic sand, without explicitly modeling the material. Our approach is limited in the types of shapes it can achieve. A richer set of action types and multi step reasoning is needed to achieve more sophisticated shapes.


A Note On Compliance Relations And Fixed Points. We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.


Finding Reproduction Numbers for Epidemic Models Predator Prey Models of Arbitrary Finite Dimension Using The Generalized Linear Chain Trick. Reproduction numbers, like the basic reproduction number mathcal R 0 , play an important role in the analysis and application of dynamic models, including contagion models and ecological population models. One difficulty in deriving these quantities is that they must be computed on a model by model basis, since it is typically impractical to obtain general reproduction number expressions applicable to a family of related models, especially if these are of different dimensions. For example, this is typically the case for SIR type infectious disease models derived using the linear chain trick (LCT). Here we show how to find general reproduction number expressions for such models families (which vary in their number of state variables) using the next generation operator approach in conjunction with the generalized linear chain trick (GLCT). We further show how the GLCT enables modelers to draw insights from these results by leveraging theory and intuition from continuous time Markov chains (CTMCs) and their absorption time distributions (i.e., phase type probability distributions). To do this, we first review the GLCT and other connections between mean field ODE model assumptions, CTMCs, and phase type distributions. We then apply this technique to find reproduction numbers for two sets of models a family of generalized SEIRS models of arbitrary finite dimension, and a generalized family of finite dimensional predator prey (Rosenzweig MacArthur type) models. These results highlight the utility of the GLCT for the derivation and analysis of mean field ODE models, especially when used in conjunction with theory from CTMCs and their associated phase type distributions.


Vehicle Trajectory Prediction in Crowded Highway Scenarios Using Bird Eye View Representations and CNNs. This paper describes a novel approach to perform vehicle trajectory predictions employing graphic representations. The vehicles are represented using Gaussian distributions into a Bird Eye View. Then the U net model is used to perform sequence to sequence predictions. This deep learning based methodology has been trained using the HighD dataset, which contains vehicles' detection in a highway scenario from aerial imagery. The problem is faced as an image to image regression problem training the network to learn the underlying relations between the traffic participants. This approach generates an estimation of the future appearance of the input scene, not trajectories or numeric positions. An extra step is conducted to extract the positions from the predicted representation with subpixel resolution. Different network configurations have been tested, and prediction error up to three seconds ahead is in the order of the representation resolution. The model has been tested in highway scenarios with more than 30 vehicles simultaneously in two opposite traffic flow streams showing good qualitative and quantitative results.


Proof of Bishop's volume comparison theorem using singular soap bubbles. Bishop's volume comparison theorem states that a compact n manifold with Ricci curvature larger than the standard n sphere has less volume. While the traditional proof uses geodesic balls, we present another proof using isoperimetric hypersurfaces, also known as "soap bubbles," which minimize area for a given volume. Curiously, isoperimetric hypersurfaces can have codimension 7 singularities, an interesting challenge we are forced to overcome.


Where do the maximum absolute q series coefficients of (1 q)(1 q 2)(1 q 3) dots(1 q n 1 )(1 q n) occur?. We used the MACH2 supercomputer to study coefficients in the q series expansion of (1 q)(1 q 2) dots(1 q n) , for all n leq 75000 . As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd n . Remarkably the observed period is 62,624.


Fast Search with Poor OCR. The indexing and searching of historical documents have garnered attention in recent years due to massive digitization efforts of important collections worldwide. Pure textual search in these corpora is a problem since optical character recognition (OCR) is infamous for performing poorly on such historical material, which often suffer from poor preservation. We propose a novel text based method for searching through noisy text. Our system represents words as vectors, projects queries and candidates obtained from the OCR into a common space, and ranks the candidates using a metric suited to nearest neighbor search. We demonstrate the practicality of our method on typewritten German documents from the WWII era.


MARS Multi Scalable Actor Critic Reinforcement Learning Scheduler. In this paper, we introduce a new scheduling algorithm MARS based on a cost aware multi scalable reinforcement learning approach, which serves as an intermediate layer between HPC resource manager and user application workflow, MARS ensembles the pre generated models from users workflows and decides on the most suitable strategy for optimization. A whole workflow application would be split into several optimized subtasks. Then based on a pre defined resource management plan. A reward will be generated after executing a scheduled task. Lastly, MARS updates the Deep Neural Network (DNN) model for future use. MARS is designed to be able to optimize the existing models through the reinforcement mechanism. MARS can adapt to the shortage of training samples and optimize the performance by itself, especially through combining the small tasks together or switching between pre built scheduling strategy such as Backfilling, SJF, etc, then choosing the most suitable approach. We tested MARS using different real world workflow traces. MARS can achieve between 5 60 better performance while comparing to the other approaches.


Asymptotic minimization of expected time to reach a large wealth level in an asset market game. We consider a stochastic game theoretic model of a discrete time asset market with short lived assets and endogenous asset prices. We prove that the strategy which invests in the assets proportionally to their expected relative payoffs asymptotically minimizes the expected time needed to reach a large wealth level. The result is obtained under the assumption that the relative asset payoffs and the growth rate of the total payoff during each time period are independent and identically distributed.


Towards Supervised and Unsupervised Neural Machine Translation Baselines for Nigerian Pidgin. Nigerian Pidgin is arguably the most widely spoken language in Nigeria. Variants of this language are also spoken across West and Central Africa, making it a very important language. This work aims to establish supervised and unsupervised neural machine translation (NMT) baselines between English and Nigerian Pidgin. We implement and compare NMT models with different tokenization methods, creating a solid foundation for future works.


Entropy rigidity for finite volume strictly convex projective manifolds. We prove entropy rigidity for finite volume strictly convex projective manifolds in dimensions geq 3 , generalizing the work of arXiv 1708.03983 to the finite volume setting. The rigidity theorem uses the techniques of Besson, Courtois, and Gallot's entropy rigidity theorem. It implies uniform lower bounds on the volume of any finite volume strictly convex projective manifold in dimensions geq 3 .


On the Stampfli point of some operators and matrices. The center of mass of an operator A (denoted St( A ), and called in this paper as the em Stampfli point of A) was introduced by Stampfli in his Pacific J. Math (1970) paper as the unique lambda in mathbb C delivering the minimum value of the norm of A lambda I . We derive some results concerning the location of St( A ) for several classes of operators, including 2 by 2 block operator matrices with scalar diagonal blocks and 3 by 3 matrices with repeated eigenvalues. We also show that for almost normal A its Stampfli point lies in the convex hull of the spectrum, which is not the case in general. Some relations between the property St( A ) 0 and Roberts orthogonality of A to the identity operator are established.


Pose Estimation for Texture less Shiny Objects in a Single RGB Image Using Synthetic Training Data. In the industrial domain, the pose estimation of multiple texture less shiny parts is a valuable but challenging task. In this particular scenario, it is impractical to utilize keypoints or other texture information because most of them are not actual features of the target but the reflections of surroundings. Moreover, the similarity of color also poses a challenge in segmentation. In this article, we propose to divide the pose estimation process into three stages object detection, features detection and pose optimization. A convolutional neural network was utilized to perform object detection. Concerning the reliability of surface texture, we leveraged the contour information for estimating pose. Since conventional contour based methods are inapplicable to clustered metal parts due to the difficulties in segmentation, we use the dense discrete points along the metal part edges as semantic keypoints for contour detection. Afterward, we exploit both keypoint information and CAD model to calculate the 6D pose of each object in view. A typical implementation of deep learning methods not only requires a large amount of training data, but also relies on intensive human labor for labeling the datasets. Therefore, we propose an approach to generate datasets and label them automatically. Despite not using any real world photos for training, a series of experiments showed that the algorithm built on synthetic data perform well in the real environment.


Timescale Separation in Autonomous Optimization. Autonomous optimization refers to the design of feedback controllers that steer a physical system to a steady state that solves a predefined, possibly constrained, optimization problem. As such, no exogenous control inputs such as setpoints or trajectories are required. Instead, these controllers are modeled after optimization algorithms that take the form of dynamical systems. The interconnection of this type of optimization dynamics with a physical system is however not guaranteed to be stable unless both dynamics act on sufficiently different timescales. In this paper, we quantify the required timescale separation and give prescriptions that can be directly used in the design of this type of feedback controllers. Using ideas from singular perturbation analysis, we derive stability bounds for different feedback laws that are based on common continuous time optimization schemes. In particular, we consider gradient descent and its variations, including projected gradient, and Newton gradient. We further give stability bounds for momentum methods and saddle point flows. Finally, we discuss how optimization algorithms like subgradient and accelerated gradient descent, while well behaved in offline settings, are unsuitable for autonomous optimization due to their general lack of robustness.


Array Languages Make Neural Networks Fast. Modern machine learning frameworks are complex they are typically organised in multiple layers each of which is written in a different language and they depend on a number of external libraries, but at their core they mainly consist of tensor operations. As array oriented languages provide perfect abstractions to implement tensor operations, we consider a minimalistic machine learning framework that is shallowly embedded in an array oriented language and we study its productivity and performance. We do this by implementing a state of the art Convolutional Neural Network (CNN) and compare it against implementations in TensorFlow and PyTorch two state of the art industrial strength frameworks. It turns out that our implementation is 2 and 3 times faster, even after fine tuning the TensorFlow and PyTorch to our hardware a 64 core GPU accelerated machine. The size of all three CNN specifications is the same, about 150 lines of code. Our mini framework is 150 lines of highly reusable hardware agnostic code that does not depend on external libraries. The compiler for a host array language automatically generates parallel code for a chosen architecture. The key to such a balance between performance and portability lies in the design of the array language in particular, the ability to express rank polymorphic operations concisely, yet being able to do optimisations across them. This design builds on very few assumptions, and it is readily transferable to other contexts offering a clean approach to high performance machine learning.


Inner For Loop for Speeding Up Blockchain Mining. In this paper, the authors propose to increase the efficiency of blockchain mining by using a population based approach. Blockchain relies on solving difficult mathematical problems as proof of work within a network before blocks are added to the chain. Brute force approach, advocated by some as the fastest algorithm for solving partial hash collisions and implemented in Bitcoin blockchain, implies exhaustive, sequential search. It involves incrementing the nonce (number) of the header by one, then taking a double SHA 256 hash at each instance and comparing it with a target value to ascertain if lower than that target. It excessively consumes both time and power. In this paper, the authors, therefore, suggest using an inner for loop for the population based approach. Comparison shows that it's a slightly faster approach than brute force, with an average speed advantage of about 1.67 or 3,420 iterations per second and 73 of the time performing better. Also, we observed that the more the total particles deployed, the better the performance until a pivotal point. Furthermore, a recommendation on taming the excessive use of power by networks, like Bitcoin's, by using penalty by consensus is suggested.


Time analyticity for heat equation on gradient shrinking Ricci solitons. On a complete non compact gradient shrinking Ricci soliton, we prove the analyticity in time for smooth solutions of the heat equation with quadratic exponential growth in the space variable. This growth condition is sharp. As an application, we give a necessary and sufficient condition on the solvability of the backward heat equation in a class of functions with quadratic exponential growth.


Detecting Emerging Symptoms of COVID 19 using Context based Twitter Embeddings. In this paper, we present an iterative graph based approach for the detection of symptoms of COVID 19, the pathology of which seems to be evolving. More generally, the method can be applied to finding context specific words and texts (e.g. symptom mentions) in large imbalanced corpora (e.g. all tweets mentioning COVID 19). Given the novelty of COVID 19, we also test if the proposed approach generalizes to the problem of detecting Adverse Drug Reaction (ADR). We find that the approach applied to Twitter data can detect symptom mentions substantially before being reported by the Centers for Disease Control (CDC).


A Structurally Flat Triangular Form Based on the Extended Chained Form. In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide a complete geometric characterization of the proposed triangular form in terms of necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to this triangular form. This yields a sufficient condition for an affine input system to be flat.


RoomShift Room scale Dynamic Haptics for VR with Furniture moving Swarm Robots. RoomShift is a room scale dynamic haptic environment for virtual reality, using a small swarm of robots that can move furniture. RoomShift consists of nine shape changing robots Roombas with mechanical scissor lifts. These robots drive beneath a piece of furniture to lift, move and place it. By augmenting virtual scenes with physical objects, users can sit on, lean against, place and otherwise interact with furniture with their whole body just as in the real world. When the virtual scene changes or users navigate within it, the swarm of robots dynamically reconfigures the physical environment to match the virtual content. We describe the hardware and software implementation, applications in virtual tours and architectural design and interaction techniques.


Minimal L p Densities with Prescribed Marginals. We derive sharp lower bounds for L p functions on the n dimensional unit hypercube in terms of their p th marginal moments. Such bounds are the unique solutions of a system of constrained nonlinear integral equations depending on the marginals. For square integrable functions, the bounds have an explicit expression in terms of the second marginals moments.


Rationality of Fano threefolds over non closed fields. We give necessary and sufficient conditions for unirationality and rationality of Fano threefolds of geometric Picard rank 1 over an arbitrary field of zero characteristic.


Design and operation of the air cooled beam dump for the extraction line of CERN's Proton Synchrotron Booster (PSB). A new beam dump has been designed, built, installed and operated to withstand the future proton beam extracted from the Proton Synchrotron Booster (PSB) in the framework of the LHC Injector Upgrade (LIU) Project at CERN, consisting of up to 1E14 protons per pulse at 2 GeV, foreseen after the machine upgrades planned for CERN's Long Shutdown 2 (2019 2020). In order to be able to efficiently dissipate the heat deposited by the primary beam, the new dump was designed as a cylindrical block assembly, made out of a copper alloy and cooled by forced airflow. In order to determine the energy density distribution deposited by the beam in the dump, Monte Carlo simulations were performed using the FLUKA code, and thermo mechanical analyses were carried out by importing the energy density into ANSYS. In addition, Computational Fluid Dynamics (CFD) simulations of the airflow were performed in order to accurately estimate the heat transfer convection coefficient on the surface of the dump. This paper describes the design process, highlights the constraints and challenges of integrating a new dump for increased beam power into the existing facility and provides data on the operation of the dump.


Semi Lagrangian Vlasov simulation on GPUs. In this paper, our goal is to efficiently solve the Vlasov equation on GPUs. A semi Lagrangian discontinuous Galerkin scheme is used for the discretization. Such kinetic computations are extremely expensive due to the high dimensional phase space. The SLDG code, which is publicly available under the MIT license abstracts the number of dimensions and uses a shared codebase for both GPU and CPU based simulations. We investigate the performance of the implementation on a range of both Tesla (V100, Titan V, K80) and consumer (GTX 1080 Ti) GPUs. Our implementation is typically able to achieve a performance of approximately 470 GB s on a single GPU and 1600 GB s on four V100 GPUs connected via NVLink. This results in a speedup of about a factor of ten (comparing a single GPU with a dual socket Intel Xeon Gold node) and approximately a factor of 35 (comparing a single node with and without GPUs). In addition, we investigate the effect of single precision computation on the performance of the SLDG code and demonstrate that a template based dimension independent implementation can achieve good performance regardless of the dimensionality of the problem.


Braid group actions for quantum symmetric pairs of type AIII AIV. In the present paper we construct braid group actions on quantum symmetric pair coideal subalgebras of type AIII AIV. This completes the proof of a conjecture by Kolb and Pellegrini in the case where the underlying Lie algebra is mathfrak sl n . The braid group actions are defined on the generators of the coideal subalgebras and the defining relations and braid relations are verified by explicit calculations.


Singular Vectors on Fractals and Projections of Self similar Measures. Singular vectors are those for which the quality of rational approximations provided by Dirichlet's Theorem can be improved by arbitrarily small multiplicative constants. We provide an upper bound on the Hausdorff dimension of singular vectors lying on self similar fractals in mathbb R d satisfying the open set condition. The bound is in terms of quantities which are closely tied to Frostman exponents of projections of the Hausdorff measure supported on the fractal. Our bound is optimal in the sense that it agrees with the exact dimension of singular vectors obtained by Cheung and Chevallier when the fractal is trivial (i.e. has non empty interior). As a corollary, we show that if the fractal is the product of 2 copies of Cantor's middle thirds set or the attractor of a planar homogeneous irrational IFS, then the upper bound is 2 3 the dimension of the fractal. This addresses the upper bound part of a question raised by Bugeaud, Cheung and Chevallier. We apply our method in the setting of translation flows on flat surfaces to show that the dimension of non uniquely ergodic directions belonging to a fractal is at most 1 2 the dimension of the fractal.


Moduli of Admissible Pairs for Arbitrary Dimension, II Functors and Moduli. Admissible pairs (( widetilde S, widetilde L), widetilde E) consisting of an N dimensional projective scheme widetilde S of certain class with a special ample invertible sheaf widetilde L and a locally free cal O widetilde S sheaf widetilde E are considered. An admissible pair can be produced in the procedure of a transformation (which is called a resolution) of a torsion free coherent sheaf E on a nonsingular N dimensional projective algebraic variety S to a locally free sheaf widetilde E on some projective scheme widetilde S . Notions of stability and semistability of admissible pairs and a moduli functor for semistable admissible pairs are introduced. Also the relation of the stability and semistability for admissible pairs to the classical stability and semistability for coherent sheaves under the resolution is examined. Morphisms between the moduli functor of admissible semistable pairs and the Gieseker Maruyama moduli functor (of semistable coherent torsion free sheaves) with the same Hilbert polynomial on a nonsingular N dimensional projective algebraic variety are constructed. Examining these morphisms it is shown that the moduli scheme for semistable admissible pairs (( widetilde S, widetilde L), widetilde E) is isomorphic to the Gieseker Maruyama moduli scheme for coherent sheaves. The considerations involve all the existing components of these moduli functors and of their corresponding moduli schemes. Bibliography 25 items.


Random geometries for optimal control PDE problems based on fictitious domain FEMS and cut elements. This work investigates an elliptic optimal control problem defined on uncertain domains and discretized by a fictitious domain finite element method and cut elements. Key ingredients of the study are to manage cases considering the usually computationally "forbidden" combination of poorly conditioned equation system matrices due to challenging geometries, optimal control searches with iterative methods, slow convergence to system solutions on deterministic and non deterministic level, and expensive remeshing due to geometrical changes. We overcome all these difficulties, utilizing the advantages of proper preconditioners adapted to unfitted mesh methods, improved types of Monte Carlo methods, and mainly employing the advantages of embedded FEMs, based on a fixed background mesh computed once even if geometrical changes are taking place. The sensitivity of the control problem is introduced in terms of random domains, employing a Quasi Monte Carlo method and emphasizing a deterministic target state. The variational discretization concept is adopted, optimal error estimates for the state, adjoint state, and control are derived that confirm the efficiency of the cut finite element method in challenging geometries. The performance of a multigrid scheme especially developed for unfitted finite element discretizations adapted to the optimal control problem is also tested. Some fundamental preconditioners are applied to the arising sparse linear systems coming from the discretization of the state and adjoint state variational forms in the spatial domain. The corresponding convergence rates along with the quality of the prescribed preconditioners are verified by numerical examples.


Domain Adaptation Through Task Distillation. Deep networks devour millions of precisely annotated images to build their complex and powerful representations. Unfortunately, tasks like autonomous driving have virtually no real world training data. Repeatedly crashing a car into a tree is simply too expensive. The commonly prescribed solution is simple learn a representation in simulation and transfer it to the real world. However, this transfer is challenging since simulated and real world visual experiences vary dramatically. Our core observation is that for certain tasks, such as image recognition, datasets are plentiful. They exist in any interesting domain, simulated or real, and are easy to label and extend. We use these recognition datasets to link up a source and target domain to transfer models between them in a task distillation framework. Our method can successfully transfer navigation policies between drastically different simulators ViZDoom, SuperTuxKart, and CARLA. Furthermore, it shows promising results on standard domain adaptation benchmarks.


UV resistance of nucleosides an experimental approach. The emergence of life on Earth is a highly discussed but still unsolved question. Current research underlines the importance of environments within close proximity to the Earth's surface as they can solve long standing problems such as polymerization of nucleotides and phosphorylation of nucleosides. However, near surface settings, for example, ponds or ice shields, are prone to UV irradiation. We investigated the photosensitivity of uracil, uridine, adenosine, cytidine, and guanosine by using Raman microscopy. The samples were irradiated by a UV source with 150 mW cm textsuperscript 2 for 10 min. Uracil and uridine showed the highest photosensitivity, while adenosine, cytidine, and guanosine remained stable. The change of spectral features and ab initio quantum calculations indicate the formation of uracil's trans syn cyclobutane dimer during UV irradiation.


Learning Generalizable Physiological Representations from Large scale Wearable Data. To date, research on sensor equipped mobile devices has primarily focused on the purely supervised task of human activity recognition (walking, running, etc), demonstrating limited success in inferring high level health outcomes from low level signals, such as acceleration. Here, we present a novel self supervised representation learning method using activity and heart rate (HR) signals without semantic labels. With a deep neural network, we set HR responses as the supervisory signal for the activity data, leveraging their underlying physiological relationship. We evaluate our model in the largest free living combined sensing dataset (comprising more than 280,000 hours of wrist accelerometer wearable ECG data) and show that the resulting embeddings can generalize in various downstream tasks through transfer learning with linear classifiers, capturing physiologically meaningful, personalized information. For instance, they can be used to predict (higher than 70 AUC) variables associated with individuals' health, fitness and demographic characteristics, outperforming unsupervised autoencoders and common bio markers. Overall, we propose the first multimodal self supervised method for behavioral and physiological data with implications for large scale health and lifestyle monitoring.


Online Payment Network Design. Payment channels allow transactions between participants of the blockchain to be executed securely off chain, and thus provide a promising solution for the scalability problem of popular blockchains. We study the online network design problem for payment channels, assuming a central coordinator. We focus on a single channel, where the coordinator desires to maximize the number of accepted transactions under given capital constraints. Despite the simplicity of the problem, we present a flurry of impossibility results, both for deterministic and randomized algorithms against adaptive as well as oblivious adversaries.


Adaptive Loss aware Quantization for Multi bit Networks. We investigate the compression of deep neural networks by quantizing their weights and activations into multiple binary bases, known as multi bit networks (MBNs), which accelerate the inference and reduce the storage for the deployment on low resource mobile and embedded platforms. We propose Adaptive Loss aware Quantization (ALQ), a new MBN quantization pipeline that is able to achieve an average bitwidth below one bit without notable loss in inference accuracy. Unlike previous MBN quantization solutions that train a quantizer by minimizing the error to reconstruct full precision weights, ALQ directly minimizes the quantization induced error on the loss function involving neither gradient approximation nor full precision maintenance. ALQ also exploits strategies including adaptive bitwidth, smooth bitwidth reduction, and iterative trained quantization to allow a smaller network size without loss in accuracy. Experiment results on popular image datasets show that ALQ outperforms state of the art compressed networks in terms of both storage and accuracy. Code is available at https github.com zqu1992 ALQ


GHz Dielectric Measurement of Powdery TiO. This study experimentally determines the dielectric properties of a powdery titanium (II) oxide (TiO) material within the microwave range (0.1 13.5 GHz). The properties were determined using a coaxial airline method using a TiO paraffin mixture at several loading fractions. A permittivity of 60 for volume fraction below 30 and 100 for volume fraction above were measured.


Semantic Guided Representation Enhancement for Self supervised Monocular Trained Depth Estimation. Self supervised depth estimation has shown its great effectiveness in producing high quality depth maps given only image sequences as input. However, its performance usually drops when estimating on border areas or objects with thin structures due to the limited depth representation ability. In this paper, we address this problem by proposing a semantic guided depth representation enhancement method, which promotes both local and global depth feature representations by leveraging rich contextual information. In stead of a single depth network as used in conventional paradigms, we propose an extra semantic segmentation branch to offer extra contextual features for depth estimation. Based on this framework, we enhance the local feature representation by sampling and feeding the point based features that locate on the semantic edges to an individual Semantic guided Edge Enhancement module (SEEM), which is specifically designed for promoting depth estimation on the challenging semantic borders. Then, we improve the global feature representation by proposing a semantic guided multi level attention mechanism, which enhances the semantic and depth features by exploring pixel wise correlations in the multi level depth decoding scheme. Extensive experiments validate the distinct superiority of our method in capturing highly accurate depth on the challenging image areas such as semantic category borders and thin objects. Both quantitative and qualitative experiments on KITTI show that our method outperforms the state of the art methods.


The structure of I 4 free and triangle free binary matroids. A simple binary matroid is called I 4 free if none of its rank 4 flats are independent sets. These objects can be equivalently defined as the sets E of points in PG(n 1,2) for which E cap F is not a basis of F for any four dimensional flat F . We prove a decomposition theorem that exactly determines the structure of all I 4 free and triangle free matroids. In particular, our theorem implies that the I 4 free and triangle free matroids have critical number at most 2 .


BIM assisted object recognition for the on site autonomous robotic assembly of discrete structures. Robots operating autonomous assembly applications in an unstructured environment require precise methods to locate the building components on site. However, the current available object detection systems are not well optimised for construction applications, due to the tedious setups incorporated for referencing an object to a system and inability to cope with the elements imperfections. In this paper, we propose a flexible object pose estimation framework to enable robots to autonomously handle building components on site with an error tolerance to build a specific design target without the need to sort or label them. We implemented an object recognition approach that uses the virtual representation model of all the objects found in a BIM model to autonomously search for the best matched objects in a scene. The design layout is used to guide the robot to grasp and manipulate the found elements to build the desired structure. We verify our proposed framework by testing it in an automatic discrete wall assembly workflow. Although the precision is not as expected, we analyse the possible reasons that might cause this imprecision, which paves the path for future improvements.


Non Bayesian Social Learning with Imperfect Private Signal Structure. As one of the classic models that describe the belief dynamics over social networks, a non Bayesian social learning model assumes that members in the network possess accurate signal knowledge through the process of Bayesian inference. In order to make the non Bayesian social learning model more applicable to human and animal societies, this paper extended this model by assuming the existence of private signal structure bias. Each social member in each time step uses an imperfect signal knowledge to form its Bayesian part belief and then incorporates its neighbors' beliefs into this Bayesian part belief to form a new belief report. First, we investigated the intrinsic learning ability of an isolated agent and deduced the conditions that the signal structure needs to satisfy for this isolated agent to make an eventually correct decision. According to these conditions, agents' signal structures were further divided into three different types, "conservative," "radical," and "negative." Then, we switched the context from isolated agents to a connected network our propositions and simulations show that the conservative agents are the dominant force for the social network to learn the real state, while the other two types might prevent the network from successful learning. Although fragilities do exist in non Bayesian social learning mechanism, "be more conservative" and "avoid overconfidence" could be effective strategies for each agent in the real social networks to collectively improve social learning processes and results.


The Inductive Graph Dimension from The Minimum Edge Clique Cover. In this paper we prove that the inductively defined graph dimension has a simple additive property under the join operation. The dimension of the join of two simple graphs is one plus the sum of the dimensions of the component graphs mathrm dim , (G 1 G 2) 1 mathrm dim , G 1 mathrm dim , G 2 . We use this formula to derive an expression for the inductive dimension of an arbitrary finite simple graph from its minimum edge clique cover. A corollary of the formula is that any arbitrary finite simple graph whose maximal cliques are all of order N has dimension N 1 . We finish by finding lower and upper bounds on the inductive dimension of a simple graph in terms of its clique number.


A Unified Gas kinetic Scheme for Micro Flow Simulation Based on Linearized Kinetic Equation. The flow regime of micro flow varies from collisionless regime to hydrodynamic regime according to the Knudsen number. On the kinetic scale, the dynamics of micro flow can be described by the linearized kinetic equation. In the continuum regime, hydrodynamic equations such as linearized Navier Stokes equations and Euler equations can be derived from the linearized kinetic equation by the Chapman Enskog asymptotic analysis. In this paper, based on the linearized kinetic equation we are going to propose a unified gas kinetic scheme scheme (UGKS) for micro flow simulation, which is an effective multiscale scheme in the whole micro flow regime. The important methodology of UGKS is the following. Firstly, the evolution of microscopic distribution function is coupled with the evolution of macroscopic flow quantities. Secondly, the numerical flux of UGKS is constructed based on the integral solution of kinetic equation, which provides a genuinely multiscale and multidimensional numerical flux. The UGKS recovers the linear kinetic solution in the rarefied regime, and converges to the linear hydrodynamic solution in the continuum regime. An outstanding feature of UGKS is its capability of capturing the accurate viscous solution even when the cell size is much larger than the kinetic kinetic length scale, such as the capturing of the viscous boundary layer with a cell size ten times larger than the particle mean free path. Such a multiscale property is called unified preserving (UP) which has been studied in cite guo2019unified . In this paper, we are also going to give a mathematical proof for the UP property of UGKS.


Neural Bug Finding A Study of Opportunities and Challenges. Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analyses is difficult and requires high expertise, which results in only a few experts able to write such analyses. This paper explores the opportunities and challenges of an alternative way of creating static bug detectors neural bug finding. The basic idea is to formulate bug detection as a classification problem, and to address this problem with neural networks trained on examples of buggy and non buggy code. We systematically study the effectiveness of this approach based on code examples labeled by a state of the art, static bug detector. Our results show that neural bug finding is surprisingly effective for some bug patterns, sometimes reaching a precision and recall of over 80 , but also that it struggles to understand some program properties obvious to a traditional analysis. A qualitative analysis of the results provides insights into why neural bug finders sometimes work and sometimes do not work. We also identify pitfalls in selecting the code examples used to train and validate neural bug finders, and propose an algorithm for selecting effective training data.


Relation Graph Network for 3D Object Detection in Point Clouds. Convolutional Neural Networks (CNNs) have emerged as a powerful strategy for most object detection tasks on 2D images. However, their power has not been fully realised for detecting 3D objects in point clouds directly without converting them to regular grids. Existing state of art 3D object detection methods aim to recognize 3D objects individually without exploiting their relationships during learning or inference. In this paper, we first propose a strategy that associates the predictions of direction vectors and pseudo geometric centers together leading to a win win solution for 3D bounding box candidates regression. Secondly, we propose point attention pooling to extract uniform appearance features for each 3D object proposal, benefiting from the learned direction features, semantic features and spatial coordinates of the object points. Finally, the appearance features are used together with the position features to build 3D object object relationship graphs for all proposals to model their co existence. We explore the effect of relation graphs on proposals' appearance features enhancement under supervised and unsupervised settings. The proposed relation graph network consists of a 3D object proposal generation module and a 3D relation module, makes it an end to end trainable network for detecting 3D object in point clouds. Experiments on challenging benchmarks ( SunRGB Dand ScanNet datasets ) of 3D point clouds show that our algorithm can perform better than the existing state of the art methods.


The convolution algebra of Schwarz kernels on a singular foliation. Motivated by the study of H "ormander's sums of squares operators and their generalizations, we define the convolution algebra of transverse distributions associated to a singular foliation. We prove that this algebra is represented as continuous linear operators on the spaces of smooth functions and generalized functions on the underlying manifold, and on the leaves and their holonomy covers. This generalizes Schwartz kernel operators to singular foliations. We also define the algebra of smoothing operators in this context and prove that it is a two sided ideal.


On Data Augmentation for Extreme Multi label Classification. In this paper, we focus on data augmentation for the extreme multi label classification (XMC) problem. One of the most challenging issues of XMC is the long tail label distribution where even strong models suffer from insufficient supervision. To mitigate such label bias, we propose a simple and effective augmentation framework and a new state of the art classifier. Our augmentation framework takes advantage of the pre trained GPT 2 model to generate label invariant perturbations of the input texts to augment the existing training data. As a result, it present substantial improvements over baseline models. Our contributions are two factored (1) we introduce a new state of the art classifier that uses label attention with RoBERTa and combine it with our augmentation framework for further improvement (2) we present a broad study on how effective are different augmentation methods in the XMC task.


Characterizations of the sphere by means of visual cones an alternative proof of Matsuura's theorem. In this work we prove that if there exists a smooth convex body M in the Euclidean space mathbb R n , n geq 3 , contained in the interior of the unit ball mathbb S n 1 of mathbb R n , and point p in mathbb R n such that, for each point of mathbb S n 1 , M looks centrally symmetric and p appears as the centre, then M is an sphere.


BERT Fine tuning For Arabic Text Summarization. Fine tuning a pretrained BERT model is the state of the art method for extractive abstractive text summarization, in this paper we showcase how this fine tuning method can be applied to the Arabic language to both construct the first documented model for abstractive Arabic text summarization and show its performance in Arabic extractive summarization. Our model works with multilingual BERT (as Arabic language does not have a pretrained BERT of its own). We show its performance in English corpus first before applying it to Arabic corpora in both extractive and abstractive tasks.


A Complete Approach to Loop Verification with Invariants and Summaries. Invariants are the predominant approach to verify the correctness of loops. As an alternative, loop contracts, which make explicit the premise and conclusion of the underlying induction proof, can sometimes capture correctness conditions more naturally. But despite this advantage, the second approach receives little attention overall, and the goal of this paper is to lift it out of its niche. We give the first comprehensive exposition of the theory of loop contracts, including a characterization of its completeness. We show concrete examples on standard algorithms that showcase their relative merits. Moreover, we demonstrate a novel constructive translation between the two approaches, which decouples the chosen specification approach from the verification backend.


A fast adaptive algorithm for scattering from a two dimensional radially symmetric potential. In the present paper we describe a simple black box algorithm for efficiently and accurately solving scattering problems related to the scattering of time harmonic waves from radially symmetric potentials in two dimensions. The method uses FFTs to convert the problem into a set of decoupled second kind Fredholm integral equations for the Fourier coefficients of the scattered field. Each of these integral equations are solved using scattering matrices, which exploit certain low rank properties of the integral operators associated with the integral equations. The performance of the algorithm is illustrated with several numerical examples including scattering from singular and discontinuous potentials. Finally, the above approach can be easily extended to time dependent problems. After outlining the necessary modifications we show numerical experiments illustrating the performance of the algorithm in this setting.


Rank over Class The Untapped Potential of Ranking in Natural Language Processing. Text classification has long been a staple within Natural Language Processing (NLP) with applications spanning across diverse areas such as sentiment analysis, recommender systems and spam detection. With such a powerful solution, it is often tempting to use it as the go to tool for all NLP problems since when you are holding a hammer, everything looks like a nail. However, we argue here that many tasks which are currently addressed using classification are in fact being shoehorned into a classification mould and that if we instead address them as a ranking problem, we not only improve the model, but we achieve better performance. We propose a novel end to end ranking approach consisting of a Transformer network responsible for producing representations for a pair of text sequences, which are in turn passed into a context aggregating network outputting ranking scores used to determine an ordering to the sequences based on some notion of relevance. We perform numerous experiments on publicly available datasets and investigate the applications of ranking in problems often solved using classification. In an experiment on a heavily skewed sentiment analysis dataset, converting ranking results to classification labels yields an approximately 22 improvement over state of the art text classification, demonstrating the efficacy of text ranking over text classification in certain scenarios.


Study on the Assessment of the Quality of Experience of Streaming Video. Dynamic adaptive streaming over HTTP provides the work of most multimedia services, however, the nature of this technology further complicates the assessment of the QoE (Quality of Experience). In this paper, the influence of various objective factors on the subjective estimation of the QoE of streaming video is studied. The paper presents standard and handcrafted features, shows their correlation and p Value of significance. VQA (Video Quality Assessment) models based on regression and gradient boosting with SRCC reaching up to 0.9647 on the validation subsample are proposed. The proposed regression models are adapted for applied applications (both with and without a reference video) the Gradient Boosting Regressor model is perspective for further improvement of the quality estimation model. We take SQoE III database, so far the largest and most realistic of its kind. The VQA (video quality assessment) models are available at https github.com AleksandrIvchenko QoE assesment


Mining Student Responses to Infer Student Satisfaction Predictors. The identification and analysis of student satisfaction is a challenging issue. This is becoming increasingly important since a measure of student satisfaction is taken as an indication of how well a course has been taught. However, it remains a challenging problem as student satisfaction has various aspects. In this paper, we formulate the student satisfaction estimation as a prediction problem where we predict different levels of student satisfaction and infer the influential predictors related to course and instructor. We present five different aspects of student satisfaction in terms of 1) course content, 2) class participation, 3) achievement of initial expectations about the course, 4) relevancy towards professional development, and 5) if the course connects them and helps to explore the real world situations. We employ state of the art machine learning techniques to predict each of these aspects of student satisfaction levels. For our experiment, we utilize a large student evaluation dataset which includes student perception using different attributes related to courses and the instructors. Our experimental results and comprehensive analysis reveal that student satisfaction is more influenced by course attributes in comparison to instructor related attributes.


State Complexity of the Multiples of the Thue Morse Set. The Thue Morse set T is the set of those non negative integers whose binary expansions have an even number of 1. The name of this set comes from the fact that its characteristic sequence is given by the famous Thue Morse word abbabaabbaababba..., which is the fixed point starting with a of the word morphism sending a to ab and b to ba. The numbers in T are sometimes called the evil numbers. We obtain an exact formula for the state complexity (i.e. the number of states of its minimal automaton) of the multiplication by a constant of the Thue Morse set with respect to any integer base b which is a power of 2. Our proof is constructive and we are able to explicitly provide the minimal automaton of the language of all 2 p expansions of the set mT for any positive integers m and p. The used method is general for any b recognizable set of integers. As an application, we obtain a decision procedure running in quadratic time for the problem of deciding whether a given 2 p recognizable set is equal to some multiple of the Thue Morse set.


Joint Adaptive Graph and Structured Sparsity Regularization for Unsupervised Feature Selection. Feature selection is an important data preprocessing in data mining and machine learning which can be used to reduce the feature dimension without deteriorating model's performance. Since obtaining annotated data is laborious or even infeasible in many cases, unsupervised feature selection is more practical in reality. Though lots of methods for unsupervised feature selection have been proposed, these methods select features independently, thus it is no guarantee that the group of selected features is optimal. What's more, the number of selected features must be tuned carefully to obtain a satisfactory result. To tackle these problems, we propose a joint adaptive graph and structured sparsity regularization unsupervised feature selection (JASFS) method in this paper, in which a l 2,0 norm regularization term with respect to transformation matrix is imposed in the manifold learning for feature selection, and a graph regularization term is incorporated into the learning model to learn the local geometric structure of data adaptively. An efficient and simple iterative algorithm is designed to solve the proposed optimization problem with the analysis of computational complexity. After optimized, a subset of optimal features will be selected in group, and the number of selected features will be determined automatically. Experimental results on eight benchmarks demonstrate the effectiveness and efficiency of the proposed method compared with several state of the art approaches.


Task Programming Learning Data Efficient Behavior Representations. Specialized domain knowledge is often necessary to accurately annotate training sets for in depth analysis, but can be burdensome and time consuming to acquire from domain experts. This issue arises prominently in automated behavior analysis, in which agent movements or actions of interest are detected from video tracking data. To reduce annotation effort, we present TREBA a method to learn annotation sample efficient trajectory embedding for behavior analysis, based on multi task self supervised learning. The tasks in our method can be efficiently engineered by domain experts through a process we call "task programming", which uses programs to explicitly encode structured knowledge from domain experts. Total domain expert effort can be reduced by exchanging data annotation time for the construction of a small number of programmed tasks. We evaluate this trade off using data from behavioral neuroscience, in which specialized domain knowledge is used to identify behaviors. We present experimental results in three datasets across two domains mice and fruit flies. Using embeddings from TREBA, we reduce annotation burden by up to a factor of 10 without compromising accuracy compared to state of the art features. Our results thus suggest that task programming and self supervision can be an effective way to reduce annotation effort for domain experts.


Negative Capacitance Enables FinFET Scaling Beyond 3nm Node. A comprehensive study of the scaling of negative capacitance FinFET (NC FinFET) is conducted with TCAD. We show that the NC FinFET can be scaled to "2.1nm node" and almost "1.5nm node" that comes two nodes after the industry "3nm node," which has 16nm Lg and is the last FinFET node according to the International Roadmap for Devices and Systems (IRDS). In addition, for the intervening nodes, NC FinFET can meet IRDS Ion and Ioff target at target beating VDD. The benefits of negative capacitance (NC) include improved subthreshold slope (SS), drain induced barrier lowering (DIBL), Vt roll off, transconductance over Id (Gm Id), output conductance over Id (Gd Id), and lower VDD. Further scaling may be achieved by improving capacitance matching between ferroelectric (FE) and dielectric (DE).


DeepHateExplainer Explainable Hate Speech Detection in Under resourced Bengali Language. The exponential growths of social media and micro blogging sites not only provide platforms for empowering freedom of expressions and individual voices, but also enables people to express anti social behaviour like online harassment, cyberbullying, and hate speech. Numerous works have been proposed to utilize textual data for social and anti social behaviour analysis, by predicting the contexts mostly for highly resourced languages like English. However, some languages are under resourced, e.g., South Asian languages like Bengali, that lack computational resources for accurate natural language processing (NLP). In this paper, we propose an explainable approach for hate speech detection from the under resourced Bengali language, which we called DeepHateExplainer. Bengali texts are first comprehensively preprocessed, before classifying them into political, personal, geopolitical, and religious hates using a neural ensemble method of transformer based neural architectures (i.e., monolingual Bangla BERT base, multilingual BERT cased uncased, and XLM RoBERTa). Important(most and least) terms are then identified using sensitivity analysis and layer wise relevance propagation(LRP), before providing human interpretable explanations. Finally, we compute comprehensiveness and sufficiency scores to measure the quality of explanations w.r.t faithfulness. Evaluations against machine learning (linear and tree based models) and neural networks (i.e., CNN, Bi LSTM, and Conv LSTM with word embeddings) baselines yield F1 scores of 78 , 91 , 89 , and 84 , for political, personal, geopolitical, and religious hates, respectively, outperforming both ML and DNN baselines.


Covering classes and 1 tilting cotorsion pairs over commutative rings. We are interested in characterising the commutative rings for which a 1 tilting cotorsion pair ( mathcal A , mathcal T ) provides for covers, that is when the class mathcal A is a covering class. We use Hrbek's bijective correspondence between the 1 tilting cotorsion pairs over a commutative ring R and the faithful finitely generated Gabriel topologies on R . Moreover, we use results of Bazzoni Positselski, in particular a generalisation of Matlis equivalence and their characterisation of covering classes for 1 tilting cotorsion pairs arising from flat injective ring epimorphisms. Explicitly, if mathcal G is the Gabriel topology associated to the 1 tilting cotorsion pair ( mathcal A , mathcal T ) , and R mathcal G is the ring of quotients with respect to mathcal G , we show that if mathcal A is covering then mathcal G is a perfect localisation (in Stenstr "om's sense) and the localisation R mathcal G has projective dimension at most one. Moreover, we show that mathcal A is covering if and only if both the localisation R mathcal G and the quotient rings R J are perfect rings for every J in mathcal G . Rings satisfying the latter two conditions are called mathcal G almost perfect.


Random Order Models. This chapter introduces the emph random order model in online algorithms. In this model, the input is chosen by an adversary, then randomly permuted before being presented to the algorithm. This reshuffling often weakens the power of the adversary and allows for improved algorithmic guarantees. We show such improvements for two broad classes of problems packing problems where we must pick a constrained set of items to maximize total value, and covering problems where we must satisfy given requirements at minimum total cost. We also discuss how random order model relates to other stochastic models used for non worst case competitive analysis.


Hadamard type fractional time delay semilinear differential equations Delayed Mittag Leffler function approach. We propose a delayed Mittag Leffler type matrix function with logarithm, which is an extension of the classical Mittag Leffler type matrix function with logarithm and delayed Mittag Leffler type matrix function. With the help of the delayed Mittag Leffler type matrix function with logarithm, we give an explicit form a of solutions to nonhomogeneous Hadamard type fractional time delay linear differential equations. Moreover, we study existence uniqueness and stability in Ulam Hyers sense of the Hadamard type fractional time delay nonlinear equations.


Realizing an Isotropically Coercive Magnetic Layer for Memristive Applications by Analogy to Dry Friction. We investigate the possibility of realizing a spintronic memristive device based on the dependence of the tunnel conductance on the relative angle between the magnetization of the two magnetic electrodes in in plane magnetized tunnel junctions. For this, it is necessary to design a free layer whose magnetization can be stabilized along several or even any in plane direction between the parallel and the antiparallel magnetic configurations. We experimentally show that this can be achieved by exploiting antiferromagnet ferromagnet exchange interactions in a regime where the antiferromagnet is thin enough to induce enhanced coercivity and no exchange bias. The frustration of exchange interactions at the interfaces due to competing ferro and antiferromagnetic interactions is at the origin of an isotropic dissipation mechanism yielding isotropic coercivity. From a modeling point of view, it is shown that this isotropic dissipation can be described by a dry friction term in the Landau Lifshitz Gilbert equation. The influence of this dry friction term on the magnetization dynamics of an in plane magnetized layer submitted to a rotating in plane field is investigated both analytically and numerically. The possibility to control the free layer magnetization orientation in an in plane magnetized magnetic tunnel junction by using the spin transfer torque from an additional perpendicular polarizer is also investigated through macrospin simulation. It is shown that the memristor function can be achieved by the injection of current pulses through the stack in the presence of an in plane static field transverse to the reference layer magnetization, the aim of which is to limit the magnetization rotation between 0 deg and 180 deg .


Inferring Spatial Uncertainty in Object Detection. The availability of real world datasets is the prerequisite for developing object detection methods for autonomous driving. While ambiguity exists in object labels due to error prone annotation process or sensor observation noises, current object detection datasets only provide deterministic annotations without considering their uncertainty. This precludes an in depth evaluation among different object detection methods, especially for those that explicitly model predictive probability. In this work, we propose a generative model to estimate bounding box label uncertainties from LiDAR point clouds, and define a new representation of the probabilistic bounding box through spatial distribution. Comprehensive experiments show that the proposed model represents uncertainties commonly seen in driving scenarios. Based on the spatial distribution, we further propose an extension of IoU, called the Jaccard IoU (JIoU), as a new evaluation metric that incorporates label uncertainty. Experiments on the KITTI and the Waymo Open Datasets show that JIoU is superior to IoU when evaluating probabilistic object detectors.


Occlusion Robust MVO Multimotion Estimation Through Occlusion Via Motion Closure. Visual motion estimation is an integral and well studied challenge in autonomous navigation. Recent work has focused on addressing multimotion estimation, which is especially challenging in highly dynamic environments. Such environments not only comprise multiple, complex motions but also tend to exhibit significant occlusion. Previous work in object tracking focuses on maintaining the integrity of object tracks but usually relies on specific appearance based descriptors or constrained motion models. These approaches are very effective in specific applications but do not generalize to the full multimotion estimation problem. This paper presents a pipeline for estimating multiple motions, including the camera egomotion, in the presence of occlusions. This approach uses an expressive motion prior to estimate the SE (3) trajectory of every motion in the scene, even during temporary occlusions, and identify the reappearance of motions through motion closure. The performance of this occlusion robust multimotion visual odometry (MVO) pipeline is evaluated on real world data and the Oxford Multimotion Dataset.


An exponential Diophantine equation related to the difference of powers of two Fibonacci numbers. In this paper, we prove that there is no x 4 such that the difference of x th powers of two consecutive Fibonacci numbers greater than 0 is a Lucas number.


Deciding multiple tiling by polygons in polynomial time. Suppose P is a symmetric convex polygon in the plane. We give a polynomial time algorithm that decides if P can tile the plane by transations at some level (not necessarily at level one this is multiple tiling). The main technical contribution is a polynomial time algorithm that selects, if this is possible, for each j 1,2, ldots,n one of two given vectors e j or tau j so that the selection spans a discrete additive subgroup.


Prediction with Expert Advice a PDE Perspective. This work addresses a classic problem of online prediction with expert advice. We assume an adversarial opponent, and we consider both the finite horizon and random stopping versions of this zero sum, two person game. Focusing on an appropriate continuum limit and using methods from optimal control, we characterize the value of the game as the viscosity solution of a certain nonlinear partial differential equation. The analysis also reveals the predictor's and the opponent's minimax optimal strategies. Our work provides, in particular, a continuum perspective on recent work of Gravin, Peres, and Sivan (Proc SODA 2016). Our techniques are similar to those of Kohn and Serfaty (Comm Pure Appl Math 2010), where scaling limits of some two person games led to elliptic or parabolic PDEs.


Prediction of Hemolysis Tendency of Peptides using a Reliable Evaluation Method. There are numerous peptides discovered through past decades, which exhibit antimicrobial and anti cancerous tendencies. Due to these reasons, peptides are supposed to be sound therapeutic candidates. Some peptides can pose low metabolic stability, high toxicity and high hemolity of peptides. This highlights the importance for evaluating hemolytic tendencies and toxicity of peptides, before using them for therapeutics. Traditional methods for evaluation of toxicity of peptides can be time consuming and costly. In this study, we have extracted peptides data (Hemo DB) from Database of Antimicrobial Activity and Structure of Peptides (DBAASP) based on certain hemolity criteria and we present a machine learning based method for prediction of hemolytic tendencies of peptides (i.e. Hemolytic or Non Hemolytic). Our model offers significant improvement on hemolity prediction benchmarks. we also propose a reliable clustering based train tests splitting method which ensures that no peptide in train set is more than 40 similar to any peptide in test set. Using this train test split, we can get reliable estimated of expected model performance on unseen data distribution or newly discovered peptides. Our model tests 0.9986 AUC ROC (Area Under Receiver Operating Curve) and 97.79 Accuracy on test set of Hemo DB using traditional random train test splitting method. Moreover, our model tests AUC ROC of 0.997 and Accuracy of 97.58 while using clustering based train test data split. Furthermore, we check our model on an unseen data distribution (at Hemo PI 3) and we recorded 0.8726 AUC ROC and 79.5 accuracy. Using the proposed method, potential therapeutic peptides can be screened, which may further in therapeutics and get reliable predictions for unseen amino acids distribution of peptides and newly discovered peptides.


On the two step estimation of the cross power spectrum for dynamical inverse problems. We consider the problem of reconstructing the cross power spectrum of an unobservable multivariate stochatic process from indirect measurements of a second multivariate stochastic process, related to the first one through a linear operator. In the two step approach, one would first compute a regularized reconstruction of the unobservable signal, and then compute an estimate of its cross power spectrum from the regularized solution. We investigate whether the optimal regularization parameter for reconstruction of the signal also gives the best estimate of the cross power spectrum. We show that the answer depends on the regularization method, and specifically we prove that, under a white Gaussian assumption (i) when regularizing with truncated SVD the optimal parameter is the same (ii) when regularizing with the Tikhonov method, the optimal parameter for the cross power spectrum is lower than half the optimal parameter for the signal. We also provide evidence that a one step approach would likely have better mathematical properties of the two step approach. Our results apply particularly to the brain connectivity estimation from magneto electro encephalographic recordings and provide a formal interpretation of recent empirical results.


Paramedial quasigroups of prime and prime square order. We prove that, for every odd prime number p , there are 2p 1 paramedial quasigroups of order p and 6p 2 p 1 paramedial quasigroups of order p 2 , up to isomorphism. We present a complete list of those which are simple.


Representation Extraction and Deep Neural Recommendation for Collaborative Filtering. Many Deep Learning approaches solve complicated classification and regression problems by hierarchically constructing complex features from the raw input data. Although a few works have investigated the application of deep neural networks in recommendation domain, they mostly extract entity features by exploiting unstructured auxiliary data such as visual and textual information, and when it comes to using user item rating matrix, feature extraction is done by using matrix factorization. As matrix factorization has some limitations, some works have been done to replace it with deep neural network. but these works either need to exploit unstructured data such item's reviews or images, or are specially designed to use implicit data and don't take user item rating matrix into account. In this paper, we investigate the usage of novel representation learning algorithms to extract users and items representations from rating matrix, and offer a deep neural network for Collaborative Filtering. Our proposed approach is a modular algorithm consisted of two main phases REpresentation eXtraction and a deep neural NETwork (RexNet). Using two joint and parallel neural networks in RexNet enables it to extract a hierarchy of features for each entity in order to predict the degree of interest of users to items. The resulted predictions are then used for the final recommendation. Unlike other deep learning recommendation approaches, RexNet is not dependent to unstructured auxiliary data such as visual and textual information, instead, it uses only the user item rate matrix as its input. We evaluated RexNet in an extensive set of experiments against state of the art recommendation methods. The results show that RexNet significantly outperforms the baseline algorithms in a variety of data sets with different degrees of density.


SAMA VTOL A new unmanned aircraft system for remotely sensed data collection. In recent years, unmanned aircraft systems (UASs) are frequently used in many different applications of photogrammetry such as building damage monitoring, archaeological mapping and vegetation monitoring. In this paper, a new state of the art vertical take off and landing fixed wing UAS is proposed to robust photogrammetry missions, called SAMA VTOL. In this study, the capability of SAMA VTOL is investigated for generating orthophoto. The major stages are including designing, building and experimental scenario. First, a brief description of design and build is introduced. Next, an experiment was done to generate accurate orthophoto with minimum ground control points requirements. The processing step, which includes automatic aerial triangulation with camera calibration and model generation. In this regard, the Pix4Dmapper software was used to orientate the images, produce point clouds, creating digital surface model and generating orthophoto mosaic. Experimental results based on the test area covering 26.3 hectares indicate that our SAMA VTOL performs well in the orthophoto mosaic task.


Towards Readability Aspects of Probabilistic Mode Automata. This paper presents a new approach and design model targeting hybrid designer and operator defined performance budgets for timing and energy consumption. The approach is based on Petri Nets formalism. As the cognitive load is typically high while using formal methods, this increases the chances of mistakes. Our approach is focused on the readability aspects and aims to decrease the cognitive load of developers. We illustrate the proposed approach on example of a sample embedded multi media system, a modern digital camera.


A Coupled lattice Boltzmann Multiparticle collision method for multi resolution hydrodynamics. In this work we discuss the coupling of two mesoscopic approaches for fluid dynamics, namely the lattice Boltzmann method (LB) and the multiparticle collision dynamics (MPCD) cite kapral2008multiparticle to design a new class of flexible and efficient multiscale schemes based on a dual representation of the fluid observables. At variance with other commonly used multigrid methods, mostly oriented to high Reynolds and turbulent flows, the present approach is designed to capture the physics at the smallest scales whenever the lattice Boltzmann alone falls short of providing the correct physical information due to a lack of resolution, as it occurs for example in thin films between interacting bubbles or droplets in microfluidic crystals. The coupling strategies employed to pass the hydrodynamic information between the LB and the MPCD are detailed and the algorithm is tested against the steady isothermal Poiseuille flow problem for different coupling configurations.


The Case for Long Only Agnostic Allocation Portfolios. We advocate the use of Agnostic Allocation for the construction of long only portfolios of stocks. We show that Agnostic Allocation Portfolios (AAPs) are a special member of a family of risk based portfolios that are able to mitigate certain extreme features (excess concentration, high turnover, strong exposure to low risk factors) of classical portfolio construction methods, while achieving similar performance. AAPs thus represent a very attractive alternative risk based portfolio construction framework that can be implemented in different situations, with or without an active trading signal.


Efficient Scene Text Detection with Textual Attention Tower. Scene text detection has received attention for years and achieved an impressive performance across various benchmarks. In this work, we propose an efficient and accurate approach to detect multioriented text in scene images. The proposed feature fusion mechanism allows us to use a shallower network to reduce the computational complexity. A self attention mechanism is adopted to suppress false positive detections. Experiments on public benchmarks including ICDAR 2013, ICDAR 2015 and MSRA TD500 show that our proposed approach can achieve better or comparable performances with fewer parameters and less computational cost.


On a linearly damped 2 body problem. The usual equation for both motions of a single planet around the sun and electrons in the deterministic Rutherford Bohr atomic model is conservative with a singular potential at the origin. When a dissipation is added, new phenomena appear. It is shown that whenever the momentum is not zero, the moving particle does not reach the center in finite time and its displacement does not blow up either, even in the classical context where arbitrarily large velocities are allowed. Moreover we prove that all bounded solutions tend to 0 for t large, and some formal calculations suggest the existence of special orbits with an asymptotically spiraling exponentially fast convergence to the center.


A Fisher KPP model with a fast diffusion line in periodic media. We treat a model of population dynamics in a periodic environment presenting a fast diffusion line. This phenomenon is modelled via a "road field" system, which is a system of coupled reaction diffusion equations set in domains of different dimensions. Here, we consider for the first time the case of a reaction term depending on a spatial variable in a periodic fashion, which is of great interest for both its mathematical difficulties and for its applications. We derive necessary and sufficient conditions for the survival of the species in terms of the sign of a suitable generalised principal eigenvalue. Moreover, we compare the long time behaviour of a population in the same environment without the fast diffusion line, finding that this element has no impact on the survival chances.


A Novel Teacher Student Learning Framework For Occluded Person Re Identification. Person re identification (re id) has made great progress in recent years, but occlusion is still a challenging problem which significantly degenerates the identification performance. In this paper, we design a teacher student learning framework to learn an occlusion robust model from the full body person domain to the occluded person domain. Notably, the teacher network only uses large scale full body person data to simulate the learning process of occluded person re id. Based on the teacher network, the student network then trains a better model by using inadequate real world occluded person data. In order to transfer more knowledge from the teacher network to the student network, we equip the proposed framework with a co saliency network and a cross domain simulator. The co saliency network extracts the backbone features, and two separated collaborative branches are followed by the backbone. One branch is a classification branch for identity recognition and the other is a co saliency branch for guiding the network to highlight meaningful parts without any manual annotation. The cross domain simulator generates artificial occlusions on full body person data under a growing probability so that the teacher network could train a cross domain model by observing more and more occluded cases. Experiments on four occluded person re id benchmarks show that our method outperforms other state of the art methods.


Counting Phylogenetic Networks of level 1 and 2. Phylogenetic networks generalize phylogenetic trees, and have been introduced in order to describe evolution in the case of transfer of genetic material between coexisting species. There are many classes of phylogenetic networks, which can all be modeled as families of graphs with labeled leaves. In this paper, we focus on rooted and unrooted level k networks and provide enumeration formulas (exact and asymptotic) for rooted and unrooted level 1 and level 2 phylogenetic networks with a given number of leaves. We also prove that the distribution of some parameters of these networks (such as their number of cycles) are asymptotically normally distributed. These results are obtained by first providing a recursive description (also called combinatorial specification) of our networks, and by next applying classical methods of enumerative, symbolic and analytic combinatorics.


A survey on sufficient optimality conditions for delayed optimal control problems. The aim of this work is to make a survey on recent sufficient optimality conditions for optimal control problems with time delays in both state and control variables. The results are obtained by transforming delayed optimal control problems into equivalent non delayed problems. Such approach allows to use standard theorems that ensure sufficient optimality conditions for non delayed optimal control problems. Examples are given with the purpose to illustrate the results.


The Elliptic Drinfeld Center of a Premodular Category. Given a tensor category C, one constructs its Drinfeld center Z(C) which is a braided tensor category, having as objects pairs (X, lambda), where X in Obj(C) and lambda is a half braiding. For a premodular category C, we construct a new category Zel(C) which we call the Elliptic Drinfeld Center, which has objects (X, lambda1, lambda2), where the lambda i's are half braidings that satisfy some compatibility conditions. We discuss an SL2(Z) action on Zel(C) that is related to the anomaly appearing in Reshetikhin Turaev theory. This construction is motivated from the study of the extended Crane Yetter TQFT, in particular the category associated to the once punctured torus.


Rigorous derivation of a linear sixth order thin film equation as a reduced model for thin fluid thin structure interaction problems. We analyze a linear 3D 3D fluid structure interaction problem between a thin layer of a viscous fluid and a thin elastic plate like structure with the aim of deriving a simplified reduced model. Based on suitable energy dissipation inequalities quantified in terms of two small parameters, thickness of the fluid layer and thickness of the elastic structure, we identify the right relation between the system coefficients and small parameters which eventually provide a reduced model on the vanishing limit. The reduced model is a linear sixth order thin film equation describing the out of plane displacement of the structure, which is justified in terms of weak convergence results relating its solution to the solutions of the original fluid structure interaction problem. Furthermore, approximate solutions to the fluid structure interaction problem are reconstructed from the reduced model and quantitative error estimates are obtained, which provide even strong convergence results.


Coevolution of Generative Adversarial Networks. Generative adversarial networks (GAN) became a hot topic, presenting impressive results in the field of computer vision. However, there are still open problems with the GAN model, such as the training stability and the hand design of architectures. Neuroevolution is a technique that can be used to provide the automatic design of network architectures even in large search spaces as in deep neural networks. Therefore, this project proposes COEGAN, a model that combines neuroevolution and coevolution in the coordination of the GAN training algorithm. The proposal uses the adversarial characteristic between the generator and discriminator components to design an algorithm using coevolution techniques. Our proposal was evaluated in the MNIST dataset. The results suggest the improvement of the training stability and the automatic discovery of efficient network architectures for GANs. Our model also partially solves the mode collapse problem.


The condition for a cyclic code over Z4 of odd length to have a complementary dual. We show that a necessary and sufficient condition for a cyclic code C over Z4 of odd length to be an LCD code is that C (f(x)) where f is a self reciprocal polynomial in Z4 X .


The Trumpiest Trump? Identifying a Subject's Most Characteristic Tweets. The sequence of documents produced by any given author varies in style and content, but some documents are more typical or representative of the source than others. We quantify the extent to which a given short text is characteristic of a specific person, using a dataset of tweets from fifteen celebrities. Such analysis is useful for generating excerpts of high volume Twitter profiles, and understanding how representativeness relates to tweet popularity. We first consider the related task of binary author detection (is x the author of text T?), and report a test accuracy of 90.37 for the best of five approaches to this problem. We then use these models to compute characterization scores among all of an author's texts. A user study shows human evaluators agree with our characterization model for all 15 celebrities in our dataset, each with p value 0.05. We use these classifiers to show surprisingly strong correlations between characterization scores and the popularity of the associated texts. Indeed, we demonstrate a statistically significant correlation between this score and tweet popularity (likes replies retweets) for 13 of the 15 celebrities in our study.


Affect Driven Dialog Generation. The majority of current systems for end to end dialog generation focus on response quality without an explicit control over the affective content of the responses. In this paper, we present an affect driven dialog system, which generates emotional responses in a controlled manner using a continuous representation of emotions. The system achieves this by modeling emotions at a word and sequence level using (1) a vector representation of the desired emotion, (2) an affect regularizer, which penalizes neutral words, and (3) an affect sampling method, which forces the neural network to generate diverse words that are emotionally relevant. During inference, we use a reranking procedure that aims to extract the most emotionally relevant responses using a human in the loop optimization process. We study the performance of our system in terms of both quantitative (BLEU score and response diversity), and qualitative (emotional appropriateness) measures.


Dual energy X ray dark field material decomposition. Dual energy imaging is a clinically well established technique that offers several advantages over conventional X ray imaging. By performing measurements with two distinct X ray spectra, differences in energy dependent attenuation are exploited to obtain material specific information. This information is used in various imaging applications to improve clinical diagnosis. In recent years, grating based X ray dark field imaging has received increasing attention in the imaging community. The X ray dark field signal originates from ultra small angle scattering within an object and thus provides information about the microstructure far below the spatial resolution of the imaging system. This property has led to a number of promising future imaging applications that are currently being investigated. However, different microstructures can hardly be distinguished with current X ray dark field imaging techniques, since the detected dark field signal only represents the total amount of ultra small angle scattering. To overcome these limitations, we present a novel concept called dual energy X ray dark field material decomposition, which transfers the basic material decomposition approach from attenuation based dual energy imaging to the dark field imaging modality. We develop a physical model and algorithms for dual energy dark field material decomposition and evaluate the proposed concept in experimental measurements. Our results suggest that by sampling the energy dependent dark field signal with two different X ray spectra, a decomposition into two different microstructured materials is possible. Similar to dual energy imaging, the additional microstructure specific information could be useful for clinical diagnosis.


Field generators in two variables and birational endomorphisms of mathbb A 2 . This article is a survey of two subjects the first part is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. Note that the part on field generators is more than a survey, since it contains a considerable amount of new material.


Context Aware Image Matting for Simultaneous Foreground and Alpha Estimation. Natural image matting is an important problem in computer vision and graphics. It is an ill posed problem when only an input image is available without any external information. While the recent deep learning approaches have shown promising results, they only estimate the alpha matte. This paper presents a context aware natural image matting method for simultaneous foreground and alpha matte estimation. Our method employs two encoder networks to extract essential information for matting. Particularly, we use a matting encoder to learn local features and a context encoder to obtain more global context information. We concatenate the outputs from these two encoders and feed them into decoder networks to simultaneously estimate the foreground and alpha matte. To train this whole deep neural network, we employ both the standard Laplacian loss and the feature loss the former helps to achieve high numerical performance while the latter leads to more perceptually plausible results. We also report several data augmentation strategies that greatly improve the network's generalization performance. Our qualitative and quantitative experiments show that our method enables high quality matting for a single natural image. Our inference codes and models have been made publicly available at https github.com hqqxyy Context Aware Matting.


Self focal points of ellipsoids of dimension geq 3 . A self focal point of a Riemannian manifold (M,g) is a point p so that every geodesic starting from p returns to p at some positive time. It is called a pole if all geodesics through p are closed, and a non polar self focal point if all geodesics loop back but not all are smoothly closed. Umbilic points of two dimensional tri axial ellipsoids are non polar self focal points. Little is known about existence of self focal points for Riemannian manifolds of dimension geq 3 . We prove that ellipsoids of dimension geq 3 with at least 4 distinct axes have no self focal points. Certain ellipsoids of dimension geq 3 with three distinct axes do have non polar self focal points. Ellipsoids with leq 2 distinct axes always have self focal points. Self focal points play an important role in the study of L infty norms of Laplace eigenfunctions. Our results imply that Laplace eigenfunctions on ellipsoids of dimension geq 3 with at least 4 distinct axes never achieve maximal sup norm growth.


NeuType A Simple and Effective Neural Network Approach for Predicting Missing Entity Type Information in Knowledge Bases. Knowledge bases store information about the semantic types of entities, which can be utilized in a range of information access tasks. This information, however, is often incomplete, due to new entities emerging on a daily basis. We address the task of automatically assigning types to entities in a knowledge base from a type taxonomy. Specifically, we present two neural network architectures, which take short entity descriptions and, optionally, information about related entities as input. Using the DBpedia knowledge base for experimental evaluation, we demonstrate that these simple architectures yield significant improvements over the current state of the art.


An Analysis of 35 Million Jobs of Travis CI. Travis CI handles automatically thousands of builds every day to, amongst other things, provide valuable feedback to thousands of open source developers. In this paper, we investigate Travis CI to firstly understand who is using it, and when they start to use it. Secondly, we investigate how the developers use Travis CI and finally, how frequently the developers change the Travis CI configurations. We observed during our analysis that the main users of Travis CI are corporate users such as Microsoft. And the programming languages used in Travis CI by those users do not follow the same popularity trend than on GitHub, for example, Python is the most popular language on Travis CI, but it is only the third one on GitHub. We also observe that Travis CI is set up on average seven days after the creation of the repository and the jobs are still mainly used (60 ) to run tests. And finally, we observe that 7.34 of the commits modify the Travis CI configuration. We share the biggest benchmark of Travis CI jobs (to our knowledge) it contains 35,793,144 jobs from 272,917 different GitHub projects.