Detecting Covert Cryptomining using HPC. Cybercriminals have been exploiting cryptocurrencies to commit various unique financial frauds. Covert cryptomining which is defined as an unauthorized harnessing of victims' computational resources to mine cryptocurrencies is one of the prevalent ways nowadays used by cybercriminals to earn financial benefits. Such exploitation of resources causes financial losses to the victims. In this paper, we present our novel and efficient approach to detect covert cryptomining. Our solution is a generic solution that, unlike currently available solutions to detect covert cryptomining, is not tailored to a specific cryptocurrency or a particular form of cryptomining. In particular, we focus on the core mining algorithms and utilize Hardware Performance Counters (HPC) to create clean signatures that grasp the execution pattern of these algorithms on a processor. We built a complete implementation of our solution employing advanced machine learning techniques. We evaluated our methodology on two different processors through an exhaustive set of experiments. In our experiments, we considered all the cryptocurrencies mined by the top 10 mining pools, which collectively represent the largest share (84 during Q3 2018) of the cryptomining market. Our results show that our classifier can achieve a near perfect classification with samples of length as low as five seconds. Due to its robust and practical design, our solution can even adapt to zero day cryptocurrencies. Finally, we believe our solution is scalable and can be deployed to tackle the uprising problem of covert cryptomining.


A Survey of Electromagnetic Side Channel Attacks and Discussion on their Case Progressing Potential for Digital Forensics. The increasing prevalence of Internet of Things (IoT) devices has made it inevitable that their pertinence to digital forensic investigations will increase into the foreseeable future. These devices produced by various vendors often posses limited standard interfaces for communication, such as USB ports or WiFi Bluetooth wireless interfaces. Meanwhile, with an increasing mainstream focus on the security and privacy of user data, built in encryption is becoming commonplace in consumer level computing devices, and IoT devices are no exception. Under these circumstances, a significant challenge is presented to digital forensic investigations where data from IoT devices needs to be analysed. This work explores the electromagnetic (EM) side channel analysis literature for the purpose of assisting digital forensic investigations on IoT devices. EM side channel analysis is a technique where unintentional electromagnetic emissions are used for eavesdropping on the operations and data handling of computing devices. The non intrusive nature of EM side channel approaches makes it a viable option to assist digital forensic investigations as these attacks require, and must result in, no modification to the target device. The literature on various EM side channel analysis attack techniques are discussed selected on the basis of their applicability in IoT device investigation scenarios. The insight gained from the background study is used to identify promising future applications of the technique for digital forensic analysis on IoT devices potentially progressing a wide variety of currently hindered digital investigations.


A new family of Hadamard matrices of order 4(2q 2 1) . Let q be a prime power of the form q 12c 2 4c 3 with c an arbitrary integer. In this paper we construct a difference family with parameters (2q 2 q 2,q 2,q 2,q 2 1 2q 2 2) in mathbb Z 2 times ( mathbb F q 2 , ) . As a consequence, by applying the Wallis Whiteman array, we obtain Hadamard matrices of order 4(2q 2 1) for the aforementioned q 's.


Towards an Automated SOAP Note Classifying Utterances from Medical Conversations. Summaries generated from medical conversations can improve recall and understanding of care plans for patients and reduce documentation burden for doctors. Recent advancements in automatic speech recognition (ASR) and natural language understanding (NLU) offer potential solutions to generate these summaries automatically, but rigorous quantitative baselines for benchmarking research in this domain are lacking. In this paper, we bridge this gap for two tasks classifying utterances from medical conversations according to (i) the SOAP section and (ii) the speaker role. Both are fundamental building blocks along the path towards an end to end, automated SOAP note for medical conversations. We provide details on a dataset that contains human and ASR transcriptions of medical conversations and corresponding machine learning optimized SOAP notes. We then present a systematic analysis in which we adapt an existing deep learning architecture to the two aforementioned tasks. The results suggest that modelling context in a hierarchical manner, which captures both word and utterance level context, yields substantial improvements on both classification tasks. Additionally, we develop and analyze a modular method for adapting our model to ASR output.


ERNIE ViL Knowledge Enhanced Vision Language Representations Through Scene Graph. We propose a knowledge enhanced approach, ERNIE ViL, which incorporates structured knowledge obtained from scene graphs to learn joint representations of vision language. ERNIE ViL tries to build the detailed semantic connections (objects, attributes of objects and relationships between objects) across vision and language, which are essential to vision language cross modal tasks. Utilizing scene graphs of visual scenes, ERNIE ViL constructs Scene Graph Prediction tasks, i.e., Object Prediction, Attribute Prediction and Relationship Prediction tasks in the pre training phase. Specifically, these prediction tasks are implemented by predicting nodes of different types in the scene graph parsed from the sentence. Thus, ERNIE ViL can learn the joint representations characterizing the alignments of the detailed semantics across vision and language. After pre training on large scale image text aligned datasets, we validate the effectiveness of ERNIE ViL on 5 cross modal downstream tasks. ERNIE ViL achieves state of the art performances on all these tasks and ranks the first place on the VCR leaderboard with an absolute improvement of 3.7 .


Hybrid MAP and PIC Detection for OTFS Modulation. Orthogonal time frequency space (OTFS) modulation has attracted substantial attention recently due to its great potential of providing reliable communications in high mobility scenarios. In this paper, we propose a novel hybrid signal detection algorithm for OTFS modulation. By characterizing the input output relationship of OTFS modulation, we derive the near optimal symbol wise maximum a posteriori (MAP) detection algorithm for OTFS modulation, which aims to extract the information of each transmitted symbol based on the corresponding related received symbols. Furthermore, in order to reduce the detection complexity, we propose a partitioning rule that separates the related received symbols into two subsets for detecting each transmitted symbol, according to the corresponding path gains. We then introduce a hybrid detection algorithm to exploit the power discrepancy of each subset, where the MAP detection is applied to the subset with larger channel gains, while the parallel interference cancellation (PIC) detection is applied to the subset with smaller channel gains. Simulation results show that the proposed algorithms can not only approach the performance of the near optimal symbol wise MAP algorithms, but also offer a substantial performance gain compared with existing algorithms.


Removability of singularities and superharmonicity for some fractional Laplacian equations. We study some qualitative properties (including removable singularities and superharmonicity) of non negative solutions to ( Delta) gamma u fu p quad text in mathbb R n setminus Sigma which are singular at Sigma . Here gamma in (0, frac n 2 ) . Among other things, we first prove that if Sigma is a compact set in mathbb R n with Assouad dimension bf d (not necessarily an integer), bf d n 2 gamma , and u in L gamma( mathbb R n) cap L p loc ( mathbb R n setminus Sigma ) is a non negative solution for some p frac n bf d n bf d 2 gamma , then u in L p loc ( mathbb R n) and u is a distributional solution in mathbb R n . Then we prove that ( Delta) sigma u 0 for all sigma in (0, gamma) , if Sigma phi .


Runaway electron synchrotron radiation in a vertically translated plasma. Synchrotron radiation observed from runaway electrons (REs) in tokamaks depends upon the position and size of the RE beam, the RE energy and pitch distributions, as well as the location of the observer. We show that experimental synchrotron images of a vertically moving runaway electron beam sweeping past the detector in the TCV tokamak agree well with predictions from the synthetic synchrotron diagnostic Soft. This experimental validation lends confidence to the theory underlying the synthetic diagnostics which are used for benchmarking theoretical models of and probing runaway dynamics. We present a comparison of synchrotron measurements in TCV with predictions of kinetic theory for runaway dynamics in uniform magnetic fields. We find that to explain the detected synchrotron emission, significant non collisional pitch angle scattering as well as radial transport of REs would be needed. Such effects could be caused by the presence of magnetic perturbations, which should be further investigated in future TCV experiments.


Distributed Machine Learning through Heterogeneous Edge Systems. Many emerging AI applications request distributed machine learning (ML) among edge systems (e.g., IoT devices and PCs at the edge of the Internet), where data cannot be uploaded to a central venue for model training, due to their large volumes and or security privacy concerns. Edge devices are intrinsically heterogeneous in computing capacity, posing significant challenges to parameter synchronization for parallel training with the parameter server (PS) architecture. This paper proposes ADSP, a parameter synchronization scheme for distributed machine learning (ML) with heterogeneous edge systems. Eliminating the significant waiting time occurring with existing parameter synchronization models, the core idea of ADSP is to let faster edge devices continue training, while committing their model updates at strategically decided intervals. We design algorithms that decide time points for each worker to commit its model update, and ensure not only global model convergence but also faster convergence. Our testbed implementation and experiments show that ADSP outperforms existing parameter synchronization models significantly in terms of ML model convergence time, scalability and adaptability to large heterogeneity.


L p Poincar 'e inequalities on nested fractals. We prove on some nested fractals scale invariant L p Poincar 'e inequalities on metric balls in the range 1 le p le 2 . Our proof is based on the development of the local L p theory of Korevaar Schoen Sobolev spaces on fractals using heat kernel methods. Applications to scale invariant Sobolev inequalities and to the study of maximal functions and Haj l asz Sobolev spaces on fractals are given. Results are illustrated and further developed in the case of the Vicsek set.


Weighted Gradient Coding with Leverage Score Sampling. A major hurdle in machine learning is scalability to massive datasets. Approaches to overcome this hurdle include compression of the data matrix and distributing the computations. textit Leverage score sampling provides a compressed approximation of a data matrix using an importance weighted subset. textit Gradient coding has been recently proposed in distributed optimization to compute the gradient using multiple unreliable worker nodes. By designing coding matrices, gradient coded computations can be made resilient to stragglers, which are nodes in a distributed network that degrade system performance. We present a novel textit weighted leverage score approach, that achieves improved performance for distributed gradient coding by utilizing an importance sampling.


A Preconditioned Difference of Convex Algorithm for Truncated Quadratic Regularization with Application to Imaging. We consider the minimization problem with the truncated quadratic regularization with gradient operator, which is a nonsmooth and nonconvex problem. We cooperated the classical preconditioned iterations for linear equations into the nonlinear difference of convex functions algorithms with extrapolation. Especially, our preconditioned framework can deal with the large linear system efficiently which is usually expensive for computations. Global convergence is guaranteed and local linear convergence rate is given based on the analysis of the Kurdyka L ojasiewicz exponent of the minimization functional. The proposed algorithm with preconditioners turns out to be very efficient for image restoration and is also appealing for image segmentation.


Revisiting Point Cloud Classification A New Benchmark Dataset and Classification Model on Real World Data. Deep learning techniques for point cloud data have demonstrated great potentials in solving classical problems in 3D computer vision such as 3D object classification and segmentation. Several recent 3D object classification methods have reported state of the art performance on CAD model datasets such as ModelNet40 with high accuracy ( 92 ). Despite such impressive results, in this paper, we argue that object classification is still a challenging task when objects are framed with real world settings. To prove this, we introduce ScanObjectNN, a new real world point cloud object dataset based on scanned indoor scene data. From our comprehensive benchmark, we show that our dataset poses great challenges to existing point cloud classification techniques as objects from real world scans are often cluttered with background and or are partial due to occlusions. We identify three key open problems for point cloud object classification, and propose new point cloud classification neural networks that achieve state of the art performance on classifying objects with cluttered background. Our dataset and code are publicly available in our project page https hkust vgd.github.io scanobjectnn .


Incremental multi domain learning with network latent tensor factorization. The prominence of deep learning, large amount of annotated data and increasingly powerful hardware made it possible to reach remarkable performance for supervised classification tasks, in many cases saturating the training sets. However the resulting models are specialized to a single very specific task and domain. Adapting the learned classification to new domains is a hard problem due to at least three reasons (1) the new domains and the tasks might be drastically different (2) there might be very limited amount of annotated data on the new domain and (3) full training of a new model for each new task is prohibitive in terms of computation and memory, due to the sheer number of parameters of deep CNNs. In this paper, we present a method to learn new domains and tasks incrementally, building on prior knowledge from already learned tasks and without catastrophic forgetting. We do so by jointly parametrizing weights across layers using low rank Tucker structure. The core is task agnostic while a set of task specific factors are learnt on each new domain. We show that leveraging tensor structure enables better performance than simply using matrix operations. Joint tensor modelling also naturally leverages correlations across different layers. Compared with previous methods which have focused on adapting each layer separately, our approach results in more compact representations for each new task domain. We apply the proposed method to the 10 datasets of the Visual Decathlon Challenge and show that our method offers on average about 7.5x reduction in number of parameters and competitive performance in terms of both classification accuracy and Decathlon score.


Constraining images of quadratic arboreal representations. In this paper, we prove several results on finitely generated dynamical Galois groups attached to quadratic polynomials. First we show that, over global fields, quadratic post critically finite polynomials are precisely those having an arboreal representation whose image is topologically finitely generated. To obtain this result, we also prove the quadratic case of Hindes' conjecture on dynamical non isotriviality. Next, we give two applications of this result. On the one hand, we prove that quadratic polynomials over global fields with abelian dynamical Galois group are necessarily post critically finite, and we combine our results with local class field theory to classify quadratic pairs over mathbb Q with abelian dynamical Galois group, improving on recent results of Andrews and Petsche. On the other hand we show that several infinite families of subgroups of the automorphism group of the infinite binary tree cannot appear as images of arboreal representations of quadratic polynomials over number fields, yielding unconditional evidence towards Jones' finite index conjecture.


Dynamic Structures of Monomials on p adic Integers for Small Primes p . We study the dynamic structures of the monomial x m over the ring of p adic integers for every positive integer m and for primes p 2,3 and 5 . The dynamic structures are described by investigating minimal decompositions which consist of minimal subsystems and attracting basins.


A pressure robust discretization of Oseen's equation using stabilization in the vorticity equation. Discretization of Navier Stokes' equations using pressure robust finite element methods is considered for the high Reynolds number regime. To counter oscillations due to dominating convection we add a stabilization based on a bulk term in the form of a residual based least squares stabilization of the vorticity equation supplemented by a penalty term on (certain components of) the gradient jump over the elements faces. Since the stabilization is based on the vorticity equation, it is independent of the pressure gradients, which makes it pressure robust. Thus, we prove pressure independent error estimates in the linearized case, known as Oseen's problem. In fact, we prove an O(h k frac12 ) error estimate in the L 2 norm that is known to be the best that can be expected for this type of problem. Numerical examples are provided that, in addition to confirming the theoretical results, show that the present method compares favorably to the classical residual based SUPG stabilization.


Adult sex ratio as an index for male strategy in primates. The adult sex ratio (ASR) is defined as the number of fertile males divided by the number of fertile females in a population. We build an ODE model with minimal age structure, in which males compete for paternities using either a multiple mating or searching then guarding strategy, to investigate the value of ASR as an index for predicting which strategy males will adopt, with a focus in our investigation on the differences of strategy choice between chimpanzees Pan troglodytes and human hunter gatherers Homo sapiens. Parameters in the model characterise aspects of life history and behaviour, and determine both dominant strategy and the ASR when the population is at or near equilibrium. Sensitivity analysis on the model parameters informs us that ASR is strongly influenced by parameters characterising life history, while dominant strategy is affected most strongly by the effectiveness of guarding (average length of time a guarded pair persists, and resistance to paternity theft) and moderately by some life history traits. For fixed effectiveness of guarding and other parameters, dominant strategy tends to change from multiple mating to guarding along a curve that aligns well with a contour of constant ASR, under variation of parameters such as longevity and age female fertility ends. This confirms the hypothesis that ASR may be a useful index for predicting the optimal male mating strategy, provided we have some limited information about ecology and behaviour.


Square Root Laws in Structured Fisheries. We introduce the term net proliferation in the context of fisheries and establish relations between the proliferation and net proliferation that are economically and sustainably favored. The resulting square root laws are analytically derived for species following the Beverton Holt recurrence but, we show, can also serve as reference points for other models. The practical relevance of these analytically derived square root laws is tested on the the Barramundi fishery in the Southern Gulf of Carpentaria, Australia. A Beverton Holt model, including stochasticity to account for model uncertainty, is fitted to a time series of catch and abundance index for this fishery. Simulations show, that despite the stochasticity, the population levels remain sustainable under the square root law. The application, with its inherited model uncertainty, sparks a risk sensitivity analysis regarding the probability of populations falling below an unsustainable threshold. Characterization of such sensitivity helps in the understanding of both dangers of overfishing and potential remedies.


Any three eigenvalues do not determine a triangle. Despite the moduli space of triangles being three dimensional, we prove the existence of two triangles which are not isometric to each other for which the first, second and fourth Dirichlet eigenvalues coincide, establishing a numerical observation from Antunes Freitas P. R. S. Antunes and P. Freitas. Proc. R. Soc. Lond.Ser. A Math. Phys. Eng. Sci., 467(2130) 1546 1562, 2011 . The two triangles are far from any known, explicit cases. To do so, we develop new tools to rigorously enclose eigenvalues to a very high precision, as well as their position in the spectrum. This result is also mentioned as (the negative part of) Conjecture 6.46 in R. Laugesen, B. Siudeja, Shape optimization and spectral theory, 149 200. De Gruyter Open, Warsaw, 2017 , Open Problem 1 in D. Grieser, S. Maronna, Notices Amer. Math. Soc., 60(11) 1440 1447, 2013 and Conjecture 3 in Z. Lu, J. Rowlett. Amer. Math. Monthly, 122(9) 815 835, 2015. .


Resource and Placement Optimization for Multiple UAVs using Backhaul Tethered Balloons. This paper studies the improvement of the achievable end to end data rate of ground users assisted with unmanned aerial vehicles (UAVs) and tethered balloons (TBs). The goal is to maximize the end to end throughput of a network suffering from the absence of terrestrial infrastructure. First, we solve an integer linear programming problem to optimize the associations. Then, we solve the UAVs transmit powers optimally by converting the problem into a convex one. Subsequently, an efficient algorithm is proposed to optimize the UAVs placement. Finally, our mathematical formalism is illustrated with some selected numerical results that show the advantages provided by our proposed scheme.


Waveform relaxation for low frequency coupled field circuit differential algebraic models of index 2. Motivated by the task to design quench protection systems for superconducting magnets in particle accelerators we address a coupled field circuit simulation based on a magneto quasistatic field modeling. We investigate how a waveform relaxation of Gau ss Seidel type performs for a coupled simulation when circuit solving packages are used that describe the circuit by the modified nodal analysis. We present sufficient convergence criteria for the coupled simulation of FEM discretised field models and circuit models formed by a differential algebraic equation (DAE) system of index 2. In particular, we demonstrate by a simple benchmark system the drastic influence of the circuit topology on the convergence behavior of the coupled simulation.


Integers representable as differences of linear recurrence sequences. Let U n n geqslant 0 and G m m geqslant 0 be two linear recurrence sequences defined over the integers. We establish an asymptotic formula for the number of integers c in the range x, x which can be represented as differences U n G m , when x goes to infinity. In particular, the density of such integers is 0 .


On the Skewed Fractional Diffusion Advection Reaction Equation on the Interval. This article provides techniques of raising the regularity of fractional order equations and resolves fundamental questions on the one dimensional homogeneous boundary value problem of skewed (double sided) fractional diffusion advection reaction equation (FDARE) with variable coefficients on the bounded interval. The existence of the true (classical) solution together with norm estimation is established and the precise regularity bound is found also, the structure of the solution is unraveled, capturing the essence of regularity, singularity, and other features of the solution. The key analysis lies in exploring the properties of Gauss hypergeometric functions, solving coupled Abel integral equations and dominant singular integral equations, and connecting the functions from fractional Sobolev spaces to the ones from H ddot text o lderian spaces that admit integrable singularities at the endpoints.


A note on polyharmonic mappings. In this paper we prove a Rad 'o type result showing that there is no univalent polyharmonic mapping of the unit disk onto the whole complex plane. We also establish a connection between the boundary functions of harmonic and biharmonic mappings. Finally, we show how a close to convex biharmonic mapping can be constructed from a convex harmonic mapping.


Non Archimedean dynamics of the complex shift. An (asynchronous) automaton transformation of one sided infinite words over p letter alphabet Fp Z pZ, where p is a prime, is a continuous transformation (w.r.t. the p adic metric) of the ring of p adic integers Zp. Moreover, an automaton mapping generates a non Archimedean dynamical system on Zp. Measure preservation and ergodicity (w.r.t. the Haar measure) of such dynamical systems play an important role in cryptography (e.g., in stream cyphers). The aim of this paper is to present a novel way of realizing a complex shift in p adics. In particular, we introduce conditions on the Mahler expansion of a transformation on the p adics which are sufficient for it to be complex shift. Moreover, we have a sufficient condition of ergodicity of such mappings in terms of Mahler expansion.


Detecting service provider alliances. We present an algorithm for detecting service provider alliances. To perform this, we modelize a cooperative game theoretic model for competitor service providers. A choreography (a peer to peer service composition model) needs a set of services to fulfill its requirements. Users must choose, for each requirement, which service providers will be used to enact the choreography at lowest cost. Due to the lack of centralization, vendors can form alliances to control the market. We propose a novel algorithm capable of detecting alliances among service providers, based on our findings showing that this game has an empty core, but a non empty bargaining set.


Distributed Low Precision Training Without Mixed Precision. Low precision training is one of the most popular strategies for deploying the deep model on limited hardware resources. Fixed point implementation of DCNs has the potential to alleviate complexities and facilitate potential deployment on embedded hardware. However, most low precision training solution is based on a mixed precision strategy. In this paper, we have presented an ablation study on different low precision training strategy and propose a solution for IEEE FP 16 format throughout the training process. We tested the ResNet50 on 128 GPU cluster on ImageNet full dataset. We have viewed that it is not essential to use FP32 format to train the deep models. We have viewed that communication cost reduction, model compression, and large scale distributed training are three coupled problems.


Extension of Paley Construction for Hadamard Matrix. We have extended the Paley constructions for Hadamard matrices and obtained some series of Hadamard matrices. Especially Paley construction II is applicable for odd prime power q is congruent to 1(mod 4) however our method is applicable for any odd prime power. Some of which are non isomorphic to the matrices obtained by standard Paley constructions, Sylvester construction, Williamson construction or combination of either of these constructions with Sylvester construction. In fact we have used the conference matrix of order prime power q in some different manner which is applicable for any odd prime power q or product of twin primes.


Relation of the Relations A New Paradigm of the Relation Extraction Problem. In natural language, often multiple entities appear in the same text. However, most previous works in Relation Extraction (RE) limit the scope to identifying the relation between two entities at a time. Such an approach induces a quadratic computation time, and also overlooks the interdependency between multiple relations, namely the relation of relations (RoR). Due to the significance of RoR in existing datasets, we propose a new paradigm of RE that considers as a whole the predictions of all relations in the same context. Accordingly, we develop a data driven approach that does not require hand crafted rules but learns by itself the RoR, using Graph Neural Networks and a relation matrix transformer. Experiments show that our model outperforms the state of the art approaches by 1.12 on the ACE05 dataset and 2.55 on SemEval 2018 Task 7.2, which is a substantial improvement on the two competitive benchmarks.


Exploring Software Naturalness through Neural Language Models. The Software Naturalness hypothesis argues that programming languages can be understood through the same techniques used in natural language processing. We explore this hypothesis through the use of a pre trained transformer based language model to perform code analysis tasks. Present approaches to code analysis depend heavily on features derived from the Abstract Syntax Tree (AST) while our transformer based language models work on raw source code. This work is the first to investigate whether such language models can discover AST features automatically. To achieve this, we introduce a sequence labeling task that directly probes the language models understanding of AST. Our results show that transformer based language models achieve high accuracy in the AST tagging task. Furthermore, we evaluate our model on a software vulnerability identification task. Importantly, we show that our approach obtains vulnerability identification results comparable to graph based approaches that rely heavily on compilers for feature extraction.


The one dimensional stochastic Keller Segel model with time homogeneous spatial Wiener processes. Chemotaxis is a fundamental mechanism of cells and organisms, which is responsible for attracting microbes to food, embryonic cells into developing tissues, or immune cells to infection sites. Mathematically chemotaxis is described by the Patlak Keller Segel model. This macroscopic system of equations is derived from the microscopic model when limiting behaviour is studied. However, on taking the limit and passing from the microscopic equations to the macroscopic equations, fluctuations are neglected. Perturbing the system by a Gaussian random field restitutes the inherent randomness of the system. This gives us the motivation to study the classical Patlak Keller Segel system perturbed by random processes. We study a stochastic version of the classical Patlak Keller Segel system under homogeneous Neumann boundary conditions on an interval mathcal O 0,1 . In particular, let mathcal W 1 , mathcal W 2 be two time homogeneous spatial Wiener processes over a filtered probability space mathfrak A . Let u and v denote the cell density and concentration of the chemical signal. We investigate the coupled system begin align d u ( r u Delta u chi rm div ( u nabla v) ) , dt u circ d mathcal W 1, d v (r v Delta v alpha v) , dt beta u , dt v circ d mathcal W 2, end align with initial conditions (u(0),v(0)) (u 0,v 0) . The positive terms r u and r v are the diffusivity of the cells and chemoattractant, respectively, the positive value chi is the chemotactic sensitivity, alpha ge0 is the so called damping constant. The noise is interpreted in the Stratonovich sense. Given T 0 , we will prove the existence of a martingale solution on 0,T .


Compactness and stability for planar vortex pairs with prescribed impulse. Concentration compactness is used to prove compactness of maximising sequences for a variational problem governing symmetric steady vortex pairs in a uniform planar ideal fluid flow, where the kinetic energy is to be maximised and the constraint set comprises the set of all equimeasurable rearrangements of a given function (representing vorticity) that have prescribed impulse (lnear momentum). A form of orbital stability is deduced.


Simulating Performance of ML Systems with Offline Profiling. We advocate that simulation based on offline profiling is a promising approach to better understand and improve the complex ML systems. Our approach uses operation level profiling and dataflow based simulation to ensure it offers a unified and automated solution for all frameworks and ML models, and is also accurate by considering the various parallelization strategies in a real system.


DeepCloth Neural Garment Representation for Shape and Style Editing. Garment representation, editing and animation are challenging topics in the area of computer vision and graphics. It remains difficult for existing garment representations to achieve smooth and plausible transitions between different shapes and topologies. In this work, we introduce, DeepCloth, a unified framework for garment representation, reconstruction, animation and editing. Our unified framework contains 3 components First, we represent the garment geometry with a "topology aware UV position map", which allows for the unified description of various garments with different shapes and topologies by introducing an additional topology aware UV mask for the UV position map. Second, to further enable garment reconstruction and editing, we contribute a method to embed the UV based representations into a continuous feature space, which enables garment shape reconstruction and editing by optimization and control in the latent space, respectively. Finally, we propose a garment animation method by unifying our neural garment representation with body shape and pose, which achieves plausible garment animation results leveraging the dynamic information encoded by our shape and style representation, even under drastic garment editing operations. To conclude, with DeepCloth, we move a step forward in establishing a more flexible and general 3D garment digitization framework. Experiments demonstrate that our method can achieve state of the art garment representation performance compared with previous methods.


Basketball Player's Value Evaluation by a Networks based Variant Parameter Hidden Markov Model. Determining the value of basketball players through analyzing the players' behavior is important for the managers of modern basketball teams. However, conventional methods always utilize isolated statistical data, leading to ineffective and inaccurate evaluations. Existing models based on dynamic network theory offer major improvements to the results of such evaluations, but said models remain imprecise because they focus merely on evaluating the values of individual players rather than considering them within their current teams. To solve this problem, we propose an analysis and evaluation model based on networks and a hidden Markov model. To the best of our knowledge, we are the first to combine a network form representing the players who are playing with the use of a hidden Markov model to mine the network and generate the desired results. Applying our approach to SportVU data collected from the National Basketball Association shows that this analysis and evaluation model can effectively analyze the performance of each player in a game and provides an assistive tool for team managers.


Arithmetic of the canonical component of the Knot 7 4 . We prove two arithmetic properties of Dehn surgery points on the canonical component of the mathrm SL 2( mathbf C ) character variety of the knot 7 4 . The first is that the residue characteristics of the ramified places of the Dehn surgery points form an infinite set, providing evidence for a conjecture of Chinburg, Reid, and Stover. The second is that the Dehn surgery points have infinite order in the Mordell Weil group of the elliptic curve obtained by a simple birational transformation of the canonical component into Weierstrass form.


You are now an Influencer! Measuring CEO Reputation in Social Media. We know that reputation in organisational contexts can be understood as a valuable asset that requires diligent management. It directly affects how a firm is publicly perceived, and indirectly, how a firm will perform economically. The establishment of social media as ubiquitous tools of communication have changed how corporations manage their reputation. Particularly CEOs face novel responsibilities, as they deal with their personal image, which at the same time affects the reputation of their firm. Whereas CEO and corporate reputation have been researched isolated from each other, little is known about how a CEO's social media reputation management affects corporate reputation. This research in progress paper aims to emphasise this research gap with a literature review on the current status of reputation management and measurement by means of social media. We further propose a research design that combines sentiment analysis, frequency detection, and content analysis and discuss further research prospects.


Infeasibility and error bound imply finite convergence of alternating projections. This paper combines two ingredients in order to get a rather surprising result on one of the most studied, elegant and powerful tools for solving convex feasibility problems, the method of alternating projections (MAP). Going back to names such as Kaczmarz and von Neumann, MAP has the ability to track a pair of points realizing minimum distance between two given closed convex sets. Unfortunately, MAP may suffer from arbitrarily slow convergence, and sublinear rates are essentially only surpassed in the presence of some Lipschitzian error bound, which is our first ingredient. The second one is a seemingly unfavorable and unexpected condition, namely, infeasibility. For two non intersecting closed convex sets satisfying an error bound, we establish finite convergence of MAP. In particular, MAP converges in finitely many steps when applied to a polyhedron and a hyperplane in the case in which they have empty intersection. Moreover, the farther the target sets lie from each other, the fewer are the iterations needed by MAP for finding a best approximation pair. Insightful examples and further theoretical and algorithmic discussions accompany our results, including the investigation of finite termination of other projection methods.


Hyperspectral Image Classification Based on Sparse Modeling of Spectral Blocks. Hyperspectral images provide abundant spatial and spectral information that is very valuable for material detection in diverse areas of practical science. The high dimensions of data lead to many processing challenges that can be addressed via existent spatial and spectral redundancies. In this paper, a sparse modeling framework is proposed for hyperspectral image classification. Spectral blocks are introduced to be used along with spatial groups to jointly exploit spectral and spatial redundancies. To reduce the computational complexity of sparse modeling, spectral blocks are used to break the high dimensional optimization problems into small size sub problems that are faster to solve. Furthermore, the proposed sparse structure enables to extract the most discriminative spectral blocks and further reduce the computational burden. Experiments on three benchmark datasets, i.e., Pavia University Image and Indian Pines Image verify that the proposed method leads to a robust sparse modeling of hyperspectral images and improves the classification accuracy compared to several state of the art methods. Moreover, the experiments demonstrate that the proposed method requires less processing time.


Strain Engineered High Responsivity MoTe2 Photodetector for Silicon Photonic Integrated Circuits. In integrated photonics, specific wavelengths are preferred such as 1550 nm due to low loss transmission and the availability of optical gain in this spectral region. For chip based photodetectors, layered two dimensional (2D) materials bear scientific and technologically relevant properties leading to strong light matter interaction devices due to effects such as reduced coulomb screening or excitonic states. However, no efficient photodetector in the telecommunication C band using 2D materials has been realized yet. Here, we demonstrate a MoTe2 based photodetector featuring strong photoresponse (responsivity 0.5 A W) operating at 1550nm on silicon photonic waveguide enabled by engineering the strain (4 ) inside the photo absorbing transition metal dichalcogenide film. We show that an induced tensile strain of 4 reduces the bandgap of MoTe2 by about 0.2 eV by microscopically measuring the work function across the device. Unlike Graphene based photodetectors relying on a gapless band structure, this semiconductor 2D material detector shows a 100X improved dark current enabling an efficient noise equivalent power of just 90 pW Hz 0.5. Such strain engineered integrated photodetector provides new opportunities for integrated optoelectronic systems.


Potential of the three terminal heterojunction bipolar transistor solar cell for space applications. Multi terminal multi junction solar cells (MJSC) offer higher efficiency potential than series connected (two terminal) ones. In addition, for terrestrial applications, the efficiency of multi terminal solar cells is less sensitive to solar spectral variations than the two terminal series connected one. In space, generally, cells are always illuminated with AM0 spectrum and no impact is expected from spectral variations. Still, in space, the multi terminal approach offers some advantages in comparison with the series connected architecture approach derived from a higher end of life (EOL) efficiency. In this work we review the potential of multi terminal solar cells for achieving extended EOL efficiencies with emphasis in the potential of the three terminal heterojunction bipolar transistor solar cell, a novel multi terminal MJSC architecture with a simplified structure not requiring, for example, tunnel junctions.


P4Contrast Contrastive Learning with Pairs of Point Pixel Pairs for RGB D Scene Understanding. Self supervised representation learning is a critical problem in computer vision, as it provides a way to pretrain feature extractors on large unlabeled datasets that can be used as an initialization for more efficient and effective training on downstream tasks. A promising approach is to use contrastive learning to learn a latent space where features are close for similar data samples and far apart for dissimilar ones. This approach has demonstrated tremendous success for pretraining both image and point cloud feature extractors, but it has been barely investigated for multi modal RGB D scans, especially with the goal of facilitating high level scene understanding. To solve this problem, we propose contrasting "pairs of point pixel pairs", where positives include pairs of RGB D points in correspondence, and negatives include pairs where one of the two modalities has been disturbed and or the two RGB D points are not in correspondence. This provides extra flexibility in making hard negatives and helps networks to learn features from both modalities, not just the more discriminating one of the two. Experiments show that this proposed approach yields better performance on three large scale RGB D scene understanding benchmarks (ScanNet, SUN RGB D, and 3RScan) than previous pretraining approaches.


RAPPER Ransomware Prevention via Performance Counters. Ransomware can produce direct and controllable economic loss, which makes it one of the most prominent threats in cyber security. As per the latest statistics, more than half of malwares reported in Q1 of 2017 are ransomwares and there is a potent threat of a novice cybercriminals accessing ransomware as a service. The concept of public key based data kidnapping and subsequent extortion was introduced in 1996. Since then, variants of ransomware emerged with different cryptosystems and larger key sizes, the underlying techniques remained same. Though there are works in literature which proposes a generic framework to detect the crypto ransomwares, we present a two step unsupervised detection tool which when suspects a process activity to be malicious, issues an alarm for further analysis to be carried in the second step and detects it with minimal traces. The two step detection framework RAPPER uses Artificial Neural Network and Fast Fourier Transformation to develop a highly accurate, fast and reliable solution to ransomware detection using minimal trace points. We also introduce a special detection module for successful identification of disk encryption processes from potential ransomware operations, both having similar characteristics but with different objective. We provide a comprehensive solution to tackle almost all scenarios (standard benchmark, disk encryption and regular high computational processes) pertaining to the crypto ransomwares in light of software security.


Efficiently Calibrating Cable Driven Surgical Robots with RGBD Fiducial Sensing and Recurrent Neural Networks. Automation of surgical subtasks using cable driven robotic surgical assistants (RSAs) such as Intuitive Surgical's da Vinci Research Kit (dVRK) is challenging due to imprecision in control from cable related effects such as cable stretching and hysteresis. We propose a novel approach to efficiently calibrate such robots by placing a 3D printed fiducial coordinate frames on the arm and end effector that is tracked using RGBD sensing. To measure the coupling and history dependent effects between joints, we analyze data from sampled trajectories and consider 13 approaches to modeling. These models include linear regression and LSTM recurrent neural networks, each with varying temporal window length to provide compensatory feedback. With the proposed method, data collection of 1800 samples takes 31 minutes and model training takes under 1 minute. Results on a test set of reference trajectories suggest that the trained model can reduce the mean tracking error of the physical robot from 2.96 mm to 0.65 mm. Results on the execution of open loop trajectories of the FLS peg transfer surgeon training task suggest that the best model increases success rate from 39.4 to 96.7 , producing performance comparable to that of an expert surgical resident. Supplementary materials, including code and 3D printable models, are available at https sites.google.com berkeley.edu surgical calibration


Isotropic stable motivic homotopy groups of spheres. In this paper we explore the isotropic stable motivic homotopy category constructed from the usual stable motivic homotopy category, following the work of Vishik on isotropic motives (see 29 ), by killing anisotropic varieties. In particular, we focus on cohomology operations in the isotropic realm and study the structure of the isotropic Steenrod algebra. Then, we construct an isotropic version of the motivic Adams spectral sequence and apply it to find a complete description of the isotropic stable homotopy groups of the sphere spectrum, which happen to be isomorphic to the Ext groups of the topological Steenrod algebra. At the end, we will see that this isomorphism is not only additive but respects higher products, completely identifying, as rings with higher structure, the cohomology of the classical Steenrod algebra with isotropic stable homotopy groups of spheres.


Design and Development of a Gecko Adhesive Gripper for the Astrobee Free Flying Robot. Assistive free flying robots are a promising platform for supporting and working alongside astronauts in carrying out tasks that require interaction with the environment. However, current free flying robot platforms are limited by existing manipulation technologies in being able to grasp and manipulate surrounding objects. Instead, gecko inspired adhesives offer many advantages for an alternate grasping and manipulation paradigm for use in assistive free flyer applications. In this work, we present the design of a gecko inspired adhesive gripper for performing perching and grasping maneuvers for the Astrobee robot, a free flying robot currently operating on board the International Space Station. We present software and hardware integration details for the gripper units that were launched to the International Space Station in 2019 for in flight experiments with Astrobee. Finally, we present preliminary results for on ground experiments conducted with the gripper and Astrobee on a free floating spacecraft test bed.


Learning from Explanations with Neural Execution Tree. While deep neural networks have achieved impressive performance on a range of NLP tasks, these data hungry models heavily rely on labeled data, which restricts their applications in scenarios where data annotation is expensive. Natural language (NL) explanations have been demonstrated very useful additional supervision, which can provide sufficient domain knowledge for generating more labeled data over new instances, while the annotation time only doubles. However, directly applying them for augmenting model learning encounters two challenges (1) NL explanations are unstructured and inherently compositional, which asks for a modularized model to represent their semantics, (2) NL explanations often have large numbers of linguistic variants, resulting in low recall and limited generalization ability. In this paper, we propose a novel Neural Execution Tree (NExT) framework to augment training data for text classification using NL explanations. After transforming NL explanations into executable logical forms by semantic parsing, NExT generalizes different types of actions specified by the logical forms for labeling data instances, which substantially increases the coverage of each NL explanation. Experiments on two NLP tasks (relation extraction and sentiment analysis) demonstrate its superiority over baseline methods. Its extension to multi hop question answering achieves performance gain with light annotation effort.


Exploring Question Specific Rewards for Generating Deep Questions. Recent question generation (QG) approaches often utilize the sequence to sequence framework (Seq2Seq) to optimize the log likelihood of ground truth questions using teacher forcing. However, this training objective is inconsistent with actual question quality, which is often reflected by certain global properties such as whether the question can be answered by the document. As such, we directly optimize for QG specific objectives via reinforcement learning to improve question quality. We design three different rewards that target to improve the fluency, relevance, and answerability of generated questions. We conduct both automatic and human evaluations in addition to a thorough analysis to explore the effect of each QG specific reward. We find that optimizing question specific rewards generally leads to better performance in automatic evaluation metrics. However, only the rewards that correlate well with human judgement (e.g., relevance) lead to real improvement in question quality. Optimizing for the others, especially answerability, introduces incorrect bias to the model, resulting in poor question quality. Our code is publicly available at https github.com YuxiXie RL for Question Generation.


A Hybrid Morpheme Word Representation for Machine Translation of Morphologically Rich Languages. We propose a language independent approach for improving statistical machine translation for morphologically rich languages using a hybrid morpheme word representation where the basic unit of translation is the morpheme, but word boundaries are respected at all stages of the translation process. Our model extends the classic phrase based model by means of (1) word boundary aware morpheme level phrase extraction, (2) minimum error rate training for a morpheme level translation model using word level BLEU, and (3) joint scoring with morpheme and word level language models. Further improvements are achieved by combining our model with the classic one. The evaluation on English to Finnish using Europarl (714K sentence pairs 15.5M English words) shows statistically significant improvements over the classic model based on BLEU and human judgments.


Sentence Constituent Aware Aspect Category Sentiment Analysis with Graph Attention Networks. Aspect category sentiment analysis (ACSA) aims to predict the sentiment polarities of the aspect categories discussed in sentences. Since a sentence usually discusses one or more aspect categories and expresses different sentiments toward them, various attention based methods have been developed to allocate the appropriate sentiment words for the given aspect category and obtain promising results. However, most of these methods directly use the given aspect category to find the aspect category related sentiment words, which may cause mismatching between the sentiment words and the aspect categories when an unrelated sentiment word is semantically meaningful for the given aspect category. To mitigate this problem, we propose a Sentence Constituent Aware Network (SCAN) for aspect category sentiment analysis. SCAN contains two graph attention modules and an interactive loss function. The graph attention modules generate representations of the nodes in sentence constituency parse trees for the aspect category detection (ACD) task and the ACSA task, respectively. ACD aims to detect aspect categories discussed in sentences and is a auxiliary task. For a given aspect category, the interactive loss function helps the ACD task to find the nodes which can predict the aspect category but can't predict other aspect categories. The sentiment words in the nodes then are used to predict the sentiment polarity of the aspect category by the ACSA task. The experimental results on five public datasets demonstrate the effectiveness of SCAN.


Type II Dirac photonic lattices. Different from the Fermi surface of the type I Dirac semimetal being a point, that of the type II Dirac semimetal is a pair of crossing lines because the Dirac cone is tilted with open and hyperbolic isofrequency contours. As an optical analogy, type II Dirac photonic lattices have been also designed. Here, we report type II Dirac cones in Lieb like photonic lattices composed of identical waveguide channels, and the anisotropy of the band structure is due to neither the refractive index change nor the environment, but only the spatial symmetry of the lattice therefore, the proposal is advantage and benefits experimental observation. Conical diffractions and Klein tunneling in the parametric type II photonic lattice are investigated in detail. Our results provide a simple and experimental feasible platform to study two dimensional topological photonic and other nonrelativistic phenomena around type II Dirac cones.


On bi embeddable categoricity of algebraic structures. In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi embeddability. In this article we investigate the complexity of embeddings between bi embeddable structures in two such classes, the classes of linear orders and Boolean algebras. We show that if mathcal L is a computable linear order of Hausdorff rank n , then for every bi embeddable copy of it there is an embedding computable in 2n 1 jumps from the atomic diagrams. We furthermore show that this is the best one can do Let mathcal L be a computable linear order of Hausdorff rank n geq 1 , then mathbf 0 (2n 2) does not compute embeddings between it and all its computable bi embeddable copies. We obtain that for Boolean algebras which are not superatomic, there is no hyperarithmetic degree computing embeddings between all its computable bi embeddable copies. On the other hand, if a computable Boolean algebra is superatomic, then there is a least computable ordinal alpha such that mathbf 0 ( alpha) computes embeddings between all its computable bi embeddable copies. The main technique used in this proof is a new variation of Ash and Knight's pairs of structures theorem.


Permuting 2 uniform tolerances on lattices. A 2 uniform tolerance on a lattice is a compatible tolerance relation such that all of its blocks are 2 element. We characterize permuting pairs of 2 uniform tolerances on lattices of finite length. In particular, any two 2 uniform congruences on such a lattice permute.


The Baouendi Treves approximation Theorem for Gevrey classes and applications. In this work we show how to extend the seminal Baouendi Treves approximation theorem for Gevrey functions and ultradistributions. As applications we present a Gevrey version of the approximate Poincar 'e Lemma and study ultradistributions vanishing on maximally real submanifolds.


QuViS The Question of Visual Site Selection. This paper present QuViS, which is an interactive platform for visualization and exploratory data analysis of site selection. The aim of QuViS is to support decision makers and experts during the process of site selection. In addition to visualization engine for exploratory analysis, QuViS is also integrated with our automatic site selection method (QuIS), which recommend different sites automatically based on the selected location factors by economists and experts. To show the potential and highlight the visualization and exploration capabilities of QuViS, a case study on 1,556 German supermarket site selection is performed. The real publicly available dataset contains 450 location factors for all 11,162 multiplicities in Germany, covering the last 10 15 years. Case study results shows that QuViS provides an easy and intuitive way for exploratory analysis of geospatial multidimensional data.


Opportunities and Challenges in MOCVD of beta Ga2O3 for Power Electronic Devices. Recent breakthroughs in bulk crystal growth of beta Ga2O3 by the edge defined film fed technique has led to the commercialization of large area beta Ga2O3 substrates. Standard epitaxy approaches are being utilized to develop various thin film beta Ga2O3 based devices including lateral transistors. This article will discuss the challenges for metal organic chemical vapor deposition (MOCVD) of beta Ga2O3 and the design criteria for use of this material system in power electronic device structures.


Cover attacks for elliptic curves with prime order. We give a new approach to the elliptic curve discrete logarithm problem over cubic extension fields mathbb F q 3 . It is based on a transfer First an mathbb F q rational ( ell, ell, ell) isogeny from the Weil restriction of the elliptic curve under consideration with respect to mathbb F q 3 mathbb F q to the Jacobian variety of a genus three curve over mathbb F q is applied and then the problem is solved in the Jacobian via the index calculus attacks. Although using no covering maps in the construction of the desired homomorphism, this method is, in a sense, a kind of cover attack. As a result, it is possible to solve the discrete logarithm problem in some elliptic curve groups of prime order over mathbb F q 3 in a time of tilde O (q) .


Markov risk mappings and risk sensitive optimal stopping. We give a probabilistic setting to the Markov property for dynamic conditional risk mappings in discrete time. This is useful for recursive solutions to dynamic optimisation problems such as optimal prediction, where the recursion depends on randomness multiple steps ahead. The property holds for standard measures of risk used in practice, such as Value at Risk and Average Value at Risk. It is formulated in several equivalent versions including a representation via acceptance sets, a strong version, and a dual representation.


Serverless on FHIR Deploying machine learning models for healthcare on the cloud. Machine Learning (ML) plays a vital role in implementing digital health. The advances in hardware and the democratization of software tools have revolutionized machine learning. However, the deployment of ML models the mathematical representation of the task to be performed for effective and efficient clinical decision support at the point of care is still a challenge. ML models undergo constant improvement of their accuracy and predictive power with a high turnover rate. Updating models consumed by downstream health information systems is essential for patient safety. We introduce a functional taxonomy and a four tier architecture for cloud based model deployment for digital health. The four tiers are containerized microservices for maintainability, serverless architecture for scalability, function as a service for portability and FHIR schema for discoverability. We call this architecture Serverless on FHIR and propose this as a standard to deploy digital health applications that can be consumed by downstream systems such as EMRs and visualization tools.


On two conjectures of Sierpi 'nski concerning the arithmetic functions sigma and phi . Let sigma(n) denote the sum of the positive divisors of n . We prove that for any positive integer k , there is a number m for which the equation sigma(x) m has exactly k solutions, settling a conjecture of Sierpi 'nski from 1955. Additionally, it is shown that for every positive even k , there is a number m for which the equation phi(x) m has exactly k solutions, where phi is Euler's function, making progress toward another conjecture of Sierpi 'nski from 1955.


EventHands Real Time Neural 3D Hand Pose Estimation from an Event Stream. 3D hand pose estimation from monocular videos is a long standing and challenging problem, which is now seeing a strong upturn. In this work, we address it for the first time using a single event camera, i.e., an asynchronous vision sensor reacting on brightness changes. Our EventHands approach has characteristics previously not demonstrated with a single RGB or depth camera such as high temporal resolution at low data throughputs and real time performance at 1000 Hz. Due to the different data modality of event cameras compared to classical cameras, existing methods cannot be directly applied to and re trained for event streams. We thus design a new neural approach which accepts a new event stream representation suitable for learning, which is trained on newly generated synthetic event streams and can generalise to real data. Experiments show that EventHands outperforms recent monocular methods using a colour (or depth) camera in terms of accuracy and its ability to capture hand motions of unprecedented speed. Our method, the event stream simulator and the dataset are publicly available see https 4dqv.mpi inf.mpg.de EventHands


Universal Communication, Universal Graphs, and Graph Labeling. We introduce a communication model called universal SMP, in which Alice and Bob receive a function f belonging to a family mathcal F , and inputs x and y . Alice and Bob use shared randomness to send a message to a third party who cannot see f, x, y , or the shared randomness, and must decide f(x,y) . Our main application of universal SMP is to relate communication complexity to graph labeling, where the goal is to give a short label to each vertex in a graph, so that adjacency or other functions of two vertices x and y can be determined from the labels ell(x), ell(y) . We give a universal SMP protocol using O(k 2) bits of communication for deciding whether two vertices have distance at most k on distributive lattices (generalizing the k Hamming Distance problem in communication complexity), and explain how this implies an O(k 2 log n) labeling scheme for determining mathrm dist (x,y) leq k on distributive lattices with size n in contrast, we show that a universal SMP protocol for determining mathrm dist (x,y) leq 2 in modular lattices (a superset of distributive lattices) has super constant Omega(n 1 4 ) communication cost. On the other hand, we demonstrate that many graph families known to have efficient adjacency labeling schemes, such as trees, low arboricity graphs, and planar graphs, admit constant cost communication protocols for adjacency. Trees also have an O(k) protocol for deciding mathrm dist (x,y) leq k and planar graphs have an O(1) protocol for mathrm dist (x,y) leq 2 , which implies a new O( log n) labeling scheme for the same problem on planar graphs.


Kolmogorov operator with the vector field in Nash class. We consider divergence form parabolic equation with measurable uniformly elliptic matrix and the vector field in a large class containing, in particular, the vector fields in L p , p d , as well as some vector fields that are not even in L rm loc 2 varepsilon , varepsilon 0 . We establish H " o lder continuity of the bounded soutions, sharp two sided Gaussian bound on the heat kernel, Harnack inequality.


Constructive Master's Thesis Work in Industry Guidelines for Applying Design Science Research. Context Software engineering researchers and practitioners rely on empirical evidence from the field. Thus, education of software engineers must include strong and applied education in empirical research methods. For most students, the master's thesis is the last, but also most applied form of this education in their studies. Problem Especially thesis work in collaboration with industry requires that concerns of stakeholders from academia and practice are carefully balanced. It is possible, yet difficult to do high impact empirical work within the timeframe of a typical thesis. In particular, if this research aims to provide practical value to industry, academic quality can suffer. Even though constructive research methods such as Design Science Research (DSR) exist, thesis projects repeatably struggle to apply them. Principle solution idea DSR enables balancing such concerns by providing room both for knowledge questions and design work. Yet, only limited experience exists in our field on how to make this research method work within the context of a master's thesis. To enable running design science master's theses in collaboration with industry, we complement existing method descriptions and guidelines with our own experience and pragmatic advice to students, examiners, and supervisors in academia and industry. Method This paper itself is based on DSR. Based on 12 design science theses over the last seven years, we collect common pitfalls and good practice from analysing the theses, the student supervisor interaction, the supervisor industry interaction, the examiner feedback, and, where available, reviewer comments on publications that are based on such theses. Results We provide concrete advise for framing research questions, structuring a report, as well as for planning and conducting empirical work with practitioners.


L 'evy walks derived from a Bayesian decision making model in non stationary environments. L 'evy walks are found in the migratory behaviour patterns of various organisms, and the reason for this phenomenon has been much discussed. We use simulations to demonstrate that learning causes the changes in confidence level during decision making in non stationary environments, and results in L 'evy walk like patterns. One inference algorithm involving confidence is Bayesian inference. We propose an algorithm that introduces the effects of learning and forgetting into Bayesian inference, and simulate an imitation game in which two decision making agents incorporating the algorithm estimate each other's internal models from their opponent's observational data. For forgetting without learning, agent confidence levels remained low due to a lack of information on the counterpart and Brownian walks occurred for a wide range of forgetting rates. Conversely, when learning was introduced, high confidence levels occasionally occurred even at high forgetting rates, and Brownian walks universally became L 'evy walks through a mixture of high and low confidence states.


Intermediate Task Transfer Learning with Pretrained Models for Natural Language Understanding When and Why Does It Work?. While pretrained models such as BERT have shown large gains across natural language understanding tasks, their performance can be improved by further training the model on a data rich intermediate task, before fine tuning it on a target task. However, it is still poorly understood when and why intermediate task training is beneficial for a given target task. To investigate this, we perform a large scale study on the pretrained RoBERTa model with 110 intermediate target task combinations. We further evaluate all trained models with 25 probing tasks meant to reveal the specific skills that drive transfer. We observe that intermediate tasks requiring high level inference and reasoning abilities tend to work best. We also observe that target task performance is strongly correlated with higher level abilities such as coreference resolution. However, we fail to observe more granular correlations between probing and target task performance, highlighting the need for further work on broad coverage probing benchmarks. We also observe evidence that the forgetting of knowledge learned during pretraining may limit our analysis, highlighting the need for further work on transfer learning methods in these settings.


Efficient tree structured categorical retrieval. We study a document retrieval problem in the new framework where D text documents are organized in a em category tree with a pre defined number h of categories. This situation occurs e.g. with taxomonic trees in biology or subject classification systems for scientific literature. Given a string pattern p and a category (level in the category tree), we wish to efficiently retrieve the t emph categorical units containing this pattern and belonging to the category. We propose several efficient solutions for this problem. One of them uses n( log sigma(1 o(1)) log D O(h)) O( Delta) bits of space and O( p t) query time, where n is the total length of the documents, sigma the size of the alphabet used in the documents and Delta is the total number of nodes in the category tree. Another solution uses n( log sigma(1 o(1)) O( log D)) O( Delta) O(D log n) bits of space and O( p t log D) query time. We finally propose other solutions which are more space efficient at the expense of a slight increase in query time.


Optical Flow Distillation Towards Efficient and Stable Video Style Transfer. Video style transfer techniques inspire many exciting applications on mobile devices. However, their efficiency and stability are still far from satisfactory. To boost the transfer stability across frames, optical flow is widely adopted, despite its high computational complexity, e.g. occupying over 97 inference time. This paper proposes to learn a lightweight video style transfer network via knowledge distillation paradigm. We adopt two teacher networks, one of which takes optical flow during inference while the other does not. The output difference between these two teacher networks highlights the improvements made by optical flow, which is then adopted to distill the target student network. Furthermore, a low rank distillation loss is employed to stabilize the output of student network by mimicking the rank of input videos. Extensive experiments demonstrate that our student network without an optical flow module is still able to generate stable video and runs much faster than the teacher network.


Rogers Shepard Type Inequalities for Sections. In this paper we address the following question given a measure mu on mathbb R n , does there exists a constant C 0 such that, for any m dimensional subspace H subset mathbb R n and any convex body K subset mathbb R n , the following sectional Rogers Shephard type inequality holds mu((K K) cap H) leq C sup y in mathbb R n mu(K cap (H y))? We show that this inequality is affirmative in the class of measures with radially decreasing densities with the constant C(n,m) binom n m m . We also prove marginal inequalities of the Rogers Shephard type for left( frac 1 s right) concave, 0 leq s infty , and logarithmically concave functions.


Long Short Term Masking Transformer A Simple but Effective Baseline for Document level Neural Machine Translation. Many document level neural machine translation (NMT) systems have explored the utility of context aware architecture, usually requiring an increasing number of parameters and computational complexity. However, few attention is paid to the baseline model. In this paper, we research extensively the pros and cons of the standard transformer in document level translation, and find that the auto regressive property can simultaneously bring both the advantage of the consistency and the disadvantage of error accumulation. Therefore, we propose a surprisingly simple long short term masking self attention on top of the standard transformer to both effectively capture the long range dependence and reduce the propagation of errors. We examine our approach on the two publicly available document level datasets. We can achieve a strong result in BLEU and capture discourse phenomena.


Fluctuations of propagation front in catalytic branching walk. We consider a supercritical catalytic branching random walk (CBRW) on a multidimensional lattice Z d (d is positive integer). The main subject of study is the behavior of particles cloud in space and time. For CBRW on an integer line, Carmona and Hu (2014) examined the asymptotical behavior of the maximal coordinate M n of the particles at time n. They proved that M n n converges to mu almost surely (on a set of local non degeneracy of CBRW), as n tends to infinity, where mu 0 is a certain constant. Under additional assumption of a single catalyst in CBRW they also investigated the fluctuations of M n with respect to mu n, as n grows to infinity. Bulinskaya (2018) extended the strong limit theorem by Carmona and Hu having estimated the rate of the population propagation for the front of a multidimensional CBRW. Now our aim is to analyze fluctuations of the propagation front in CBRW on Z d. We not only solve the problem in a multidimensional setting but also, treating the case of an arbitrary finite number of catalysts for d 1, generalize the result by Carmona and Hu with the help of other probabilistic analytic methods. Keywords and phrases catalytic branching random walk, supercritical regime, spread of population, propagation front, fluctuations of front.


Reinforcement Learning Generalization with Surprise Minimization. Generalization remains a challenging problem for deep reinforcement learning algorithms, which are often trained and tested on the same set of deterministic game environments. When test environments are unseen and perturbed but the nature of the task remains the same, generalization gaps can arise. In this work, we propose and evaluate a surprise minimizing agent on a generalization benchmark to show an additional reward learned from a simple density model can show robustness in procedurally generated game environments that provide constant source of entropy and stochasticity.


Boundary Triples and Weyl m functions for Powers of the Jacobi Differential Operator. The abstract theory of boundary triples is applied to the classical Jacobi differential operator and its powers in order to obtain the Weyl m function for several self adjoint extensions with interesting boundary conditions separated, periodic and those that yield the Friedrichs extension. These matrix valued Nevanlinna Herglotz m functions are, to the best knowledge of the author, the first explicit examples to stem from singular higher order differential equations. The creation of the boundary triples involves taking pieces, determined in a previous paper, of the principal and non principal solutions of the differential equation and putting them into the sesquilinear form to yield maps from the maximal domain to the boundary space. These maps act like quasi derivatives, which are usually not well defined for all functions in the maximal domain of singular expressions. However, well defined regularizations of quasi derivatives are produced by putting the pieces of the non principal solutions through a modified Gram Schmidt process.


AutoTrajectory Label free Trajectory Extraction and Prediction from Videos using Dynamic Points. Current methods for trajectory prediction operate in supervised manners, and therefore require vast quantities of corresponding ground truth data for training. In this paper, we present a novel, label free algorithm, AutoTrajectory, for trajectory extraction and prediction to use raw videos directly. To better capture the moving objects in videos, we introduce dynamic points. We use them to model dynamic motions by using a forward backward extractor to keep temporal consistency and using image reconstruction to keep spatial consistency in an unsupervised manner. Then we aggregate dynamic points to instance points, which stand for moving objects such as pedestrians in videos. Finally, we extract trajectories by matching instance points for prediction training. To the best of our knowledge, our method is the first to achieve unsupervised learning of trajectory extraction and prediction. We evaluate the performance on well known trajectory datasets and show that our method is effective for real world videos and can use raw videos to further improve the performance of existing models.


Enhancing the connections between patterns in permutations and forbidden configurations in restricted elections. We investigate the connections between patterns in permutations and forbidden configurations in restricted elections, first discovered by Lackner and Lackner, in order to enhance the approach initiated by the two mentioned authors. More specifically, our achievements are essentially two. First, we define a new type of domain restriction, called enriched group separable. Enriched group separable elections are a subset of group separable elections, which describe a special, still natural, situation that can arise in the context of group separability. The exact enumeration of group separable elections has been very recently determined by Karpov. Here we give a recursive characterization for enriched group separable elections, from which we are able to find a recurrence relation and a closed formula expressing their number. Our second achievement is a generalization of a result of Lackner and Lackner, concerning the connection between permutation patterns and forbidden configurations with 3 voters. Our result relates forbidden configurations with the strong order on pairs of permutations, a notion which is still largely undeveloped, and suggests a potential approach for the determination of upper bounds for restricted elections whose forbidden configurations contains at least one configuration with 3 voters.


Fast phase cycling in non collinear optical two dimensional coherent spectroscopy. As optical two dimensional coherent spectroscopy (2DCS) is extended to a broader range of applications, it is critical to improve the detection sensitivity of optical 2DCS. We developed a fast phase cycling scheme in a non collinear optical 2DCS implementation by using liquid crystal phase retarders to modulate the phases of two excitation pulses. The background in the signal can be eliminated by combining either two or four interferograms measured with a proper phase configuration. The effectiveness of this method was validated in optical 2DCS measurements of an atomic vapor. This fast phase cycling scheme will enable optical 2DCS in novel emerging applications that require enhanced detection sensitivity.


On the general position set of two classes of graphs. The general position problem is to find the cardinality of a largest vertex subset S such that no triple of vertices of S lie on a common geodesic. For a connected graph G, the cardinality of S is denoted by gp(G) and called gp number (or general position number) of G. In the paper, we obtain an upper bound and a lower bound regarding gp number in all cactus with k cycles and t pendant edges. Furthermore, the gp number of wheel graph is determined.


Implementation of Goldschmidt's Algorithm with hardware reduction. Division algorithms have been developed to reduce latency and to improve the efficiency of the processors. Floating point division is considered as a high latency operation. This papers looks into one such division algorithm, examines the hardware block diagram and suggests an alternative path which may be cost effective.


Superstability, noetherian rings and pure semisimple rings. We uncover a connection between the model theoretic notion of superstability and that of noetherian rings and pure semisimple rings. We characterize noetherian rings via superstability of the class of left modules with embeddings. mathbf Theorem. For a ring R the following are equivalent. R is left noetherian. The class of left R modules with embeddings is superstable. For every lambda geq R aleph 0 , there is chi geq lambda such that the class of left R modules with embeddings has uniqueness of limit models of cardinality chi . Every limit model in the class of left R modules with embeddings is Sigma injective. We characterize left pure semisimple rings via superstability of the class of left modules with pure embeddings. mathbf Theorem. For a ring R the following are equivalent. R is left pure semisimple. The class of left R modules with pure embeddings is superstable. There exists lambda geq ( R aleph 0) such that the class of left R modules with pure embeddings has uniqueness of limit models of cardinality lambda . Every limit model in the class of left R modules with pure embeddings is Sigma pure injective. We think that both equivalences provide evidence that that the notion of superstability could shed light in the understanding of algebraic concepts. As this paper is aimed at model theorists and algebraists an effort was made to provide the background for both.


Stern Gerlach conceptually clean or acceptably vague?. This paper develops a number of quantum mechanical characterisations of Stern Gerlach. It discusses areas of vagueness in their formulation. Philosophers criticise quantum mechanics for unacceptable vagueness in connection with the measurement problem. The quantum formulation problems identified by this paper go beyond the locus of philosophical criticism. It concludes with an open question, are some areas of vagueness in quantum mechanics more acceptable philosophically than others and, if so, why?


The global asymptotic structure of period mappings. This work is part of a project to construct completions of period mappings. A proper topological SBB esque completion is constructed. The fibres of are projective varieties, and the image is a union of quasi projective varieties one wants to endow the topological completion with a compatible algebraic structure. This raises questions about (i) the global geometry of the fibres and (ii) the existence of period matrix representations on neighborhoods of such fibres over which the restricted extension is still proper. The purpose of this paper is to investigate these questions.


Compensation Free High Capacity Free Space Optical Communication Using Turbulence Resilient Vector Beams. Free space optical communication is a promising means to establish versatile, secure and high bandwidth communication for many critical point to point applications. While the spatial modes of light offer an additional degree of freedom to increase the information capacity of an optical link, atmospheric turbulence can introduce severe distortion to the spatial modes and lead to data degradation. Here, we propose and demonstrate a vector beam based, turbulence resilient communication protocol, namely spatial polarization differential phase shift keying (SPDPSK), that can encode a large number of information levels using orthogonal spatial polarization states of light. We show experimentally that the spatial polarization profiles of the vector modes are resilient to atmospheric turbulence, and therefore can reliably transmit high dimensional information through a turbid channel without the need of any adaptive optics for beam compensation. We construct a proof of principle experiment with a controllable turbulence cell. Using 34 vector modes, we have measured a channel capacity of 4.84 bits per pulse (corresponding to a data error rate of 4.3 ) through a turbulent channel with a scintillation index larger than 1. Our SPDPSK protocol can also effectively transmit 4.02 bits of information per pulse using 18 vector modes through even stronger turbulence with a scintillation index of 1.54. Our study provides direct experimental evidence on how the spatial polarization profiles of vector beams are resilient to atmospheric turbulence and paves the way towards practical, high capacity, free space communication solutions with robust performance under harsh turbulent environments.


ETC NLG End to end Topic Conditioned Natural Language Generation. Plug and play language models (PPLMs) enable topic conditioned natural language generation by pairing large pre trained generators with attribute models used to steer the predicted token distribution towards the selected topic. Despite their computational efficiency, PPLMs require large amounts of labeled texts to effectively balance generation fluency and proper conditioning, making them unsuitable for low resource settings. We present ETC NLG, an approach leveraging topic modeling annotations to enable fully unsupervised End to end Topic Conditioned Natural Language Generation over emergent topics in unlabeled document collections. We first test the effectiveness of our approach in a low resource setting for Italian, evaluating the conditioning for both topic models and gold annotations. We then perform a comparative evaluation of ETC NLG for Italian and English using a parallel corpus. Finally, we propose an automatic approach to estimate the effectiveness of conditioning on the generated utterances.


A Sieve for Twin Primes. We present an algorithm analogous to the sieve of Eratosthenes that produces the list of twin primes. Next, we count the number of twin primes resulting from the construction with two different heuristic arguments. The first method is essentially the same as the one in Hardy and Wright. However, the second method is novel. It results in the same asymptotic formula but it uses a simpler correction factor than theirs. Though we have no theory for the accuracy of our estimates, we compute them both without and with the correction factor and they turn out to be close to the actual counts up to 8009.


Assuring the Integrity of Videos from Wireless based IoT Devices using Blockchain. Blockchain technology has drawn attention fromvarious communities. The underlying consensus mechanism inBlockchain enables a myriad of applications for the integrityassurance of stored data. In this paper, we utilize Blockchaintechnology to verify the authenticity of a video captured by astreaming IoT device for forensic investigation purposes. Theproposed approach computes the hash of video frames beforethey leave the IoT device and are transferred to a remote basestation. To guarantee the transmission, we ensure that this hashis sent through a TCP based connection. The hash is then storedon multiple nodes on a permissioned blockchain platform. Incase the video is modified, the discrepancy will be detected byinvestigating the previously stored hash on the blockchain andcomparing it with the hash of the existing frame in question.In this work, we present the prototype as proof of concept withexperiment results. The system has been tested on a RaspberryPi with different quality of videos to evaluate performance. Theresults show that the concept can be implemented with moderatevideo resolutions.


Reversing a philosophy from counting to square functions and decoupling. Breakthrough work of Bourgain, Demeter, and Guth recently established that decoupling inequalities can prove powerful results on counting integral solutions to systems of Diophantine equations. In this note we demonstrate that in appropriate situations this implication can also be reversed. As a first example, we observe that a count for the number of integral solutions to a system of Diophantine equations implies a discrete decoupling inequality. Second, in our main result we prove an L 2n square function estimate (which implies a corresponding decoupling estimate) for the extension operator associated to a non degenerate curve in mathbb R n . The proof is via a combinatorial argument that builds on the idea that if gamma is a non degenerate curve in mathbb R n , then as long as x 1, ldots, x 2n are chosen from a sufficiently well separated set, then gamma(x 1) cdots gamma(x n) gamma(x n 1 ) cdots gamma(x 2n ) essentially only admits solutions in which x 1, ldots,x n is a permutation of x n 1 , ldots, x 2n .


On the degrees of irreducible characters fixed by some field automorphism. It is known that, if all the irreducible real valued characters of a finite group are of odd degree, then the group has a normal Sylow 2 subgroup. In this paper, we prove and analogous result for solvable groups, by taking into account the degree of irreducible characters fixed by some field isomorphism of prime order p . We prove it as a consequence of a more general result.


Learning Clinical Outcomes from Heterogeneous Genomic Data Sources. Translating the vast data generated by genomic platforms into reliable predictions of clinical outcomes remains a critical challenge in realizing the promise of genomic medicine largely due to small number of independent samples. In this paper, we show that neural networks can be trained to predict clinical outcomes using heterogeneous genomic data sources via multi task learning and adversarial representation learning, allowing one to combine multiple cohorts and outcomes in training. We compare our proposed method to two baselines and demonstrate that it can be used to help mitigate the data scarcity and clinical outcome censorship in cancer genomics learning problems.


iperfTZ Understanding Network Bottlenecks for TrustZone based Trusted Applications. The growing availability of hardware based trusted execution environments (TEEs) in commodity processors has recently advanced support (i.e., design, implementation and deployment frameworks) for network based secure services. Examples of such TEEs include ARM TrustZone or Intel SGX, largely available in embedded, mobile and server grade processors. TEEs shield services from compromised hosts, malicious users or powerful attackers. TEE enabled devices are largely being deployed on the edge of the network, paving the way for large scale deployments of trusted applications. These applications allow processing and disseminating sensitive data without having to trust cloud providers. However, uncovering network performance limitations of such trusted applications is difficult and currently lacking, despite the interest and reliance by developers and system deployers. iperfTZ is an open source tool to uncover network performance bottlenecks rooted at the design and implementation of trusted applications for ARM TrustZone and underlying runtime systems. Our evaluation based on micro benchmarks shows current trade offs for trusted applications, both from a network as well as an energy perspective an often overlooked yet relevant aspect for edge based deployments.


Evaluation of Automatic FPGA Offloading for Loop Statements of Applications. In recent years, with the prediction of Moore's law slowing down, utilization of hardware other than CPU such as FPGA which is energy effective is increasing. However, when using heterogeneous hardware other than CPUs, barriers of technical skills such as OpenCL are high. Based on that, I have proposed environment adaptive software that enables automatic conversion, configuration, and high performance operation of once written code, according to the hardware to be placed. Partly of the offloading to the GPU was automated previously. In this paper, I propose and evaluate an automatic extraction method of appropriate offload target loop statements of source code as the first step of offloading to FPGA. I evaluate the effectiveness of the proposed method using an existing application.


A hyperbolic Embedding Model for Directed Networks. Network embedding is a fervid topic in current networks science and observes that most real complex systems can be embedded in hidden metrics space and emerge as the geometrical property, where the geometric distance between nodes determines the likelihood of links connected. Among those, hyperbolic space associated with the structural organization of many real complex systems, it has thus received extensive attention. However, the majority of methods and measurements, recently developed, less take these features into consideration for the asymmetry of links. Here, we discuss how to multiplex node information as an embedding foundation through identifying the bipartite structure of directed networks and we proposed the generally mapping framework which hybrids the topological structure of complex networks, directed links and the hidden metrics space. By splitting the different properties of a node, possibilities between different types of nodes can be modeled. In addition to that, we apply this model to some real systems, including international trade networks and C.elegans neural networks. Results confirm that directed networks enable mapping into metrics space as well, and network embedding information can improve the scope of application of existing models.


Coaxial multi mode cavities for fundamental SRF research in an unprecedented parameter space. Recent developments in superconducting radio frequency (SRF) research have focused primarily on high frequency elliptical cavities for electron accelerators. Advances have been made in both reducing RF surface resistance and pushing the readily achievable accelerating gradient by using novel SRF cavity treatments including surface processing, custom heat treatments, and flux expulsion. Despite the global demand for SRF based hadron accelerators, the advancement of TEM mode cavities has lagged behind. To address this, two purpose built research cavities, one quarter wave and one half wave resonator, have been designed and built to allow characterization of TEM mode cavities with standard and novel surface treatments. The cavities are intended as the TEM mode equivalent to the 1.3GHz single cell cavity, which is the essential tool for high frequency cavity research. Given their coaxial structure, the cavities allow testing at the fundamental mode and higher harmonics, giving unique insight into the role of RF frequency on fundamental loss mechanisms from intrinsic and extrinsic sources. In this paper, the cavities and testing infrastructure are described and the first performance measurements of both cavities are presented.


Advances in Symmetry Breaking for SAT Modulo Theories. Symmetry breaking is a popular technique to reduce the search space for SAT solving by exploiting the underlying symmetry over variables and clauses in a formula. The key idea is to first identify sets of assignments which fall in the same symmetry class, and then impose ordering constraints, called Symmetry Breaking Predicates (SBPs), such that only one (or a small subset) of these assignments is allowed to be a solution of the original SAT formula. While this technique has been exploited extensively in the SAT literature, there is little work on using symmetry breaking for SAT Modulo Theories (SMT). In SMT, logical constraints in SAT theories are combined with another set of theory operations defined over non Boolean variables such as integers, reals, etc. SMT solvers typically use a combination of SAT solving techniques augmented with calls to the theory solver. In this work, we take up the advances in SAT symmetry breaking and apply them to the domain of SMT. Our key technical contribution is the formulation of symmetry breaking over the Boolean skeleton variables, which are placeholders for actual theory operations in SMT solving. These SBPs are then applied over the SAT solving part of the SMT solver. We implement our SBP ideas on top of CVC4, which is a state of the art SMT solver. Our approach can result in significantly faster solutions on several benchmark problems compared to the state of the art. Our final solver is a hybrid of the original CVC4 solver, and an SBP based solver, and can solve up to 3.8 and 3.1 more problems in the QF NIA category of 2018 and 2019 SMT benchmarks, respectively, compared to CVC4, the top performer in this category.


Suppression of epitaxial thin film growth by mixing. We consider following fourth order parabolic equation with gradient nonlinearity on the two dimensional torus with and without advection of an incompressible vector field in the case 2 p 3 begin equation partial t u ( Delta) 2 u nabla cdot( nabla u p 2 nabla u). end equation The study of this form of equations arises from mathematical models that simulate the epitaxial growth of the thin film. We prove the local existence of mild solutions for any initial data lies in L 2 in both cases. Our main result is in the advective case, if the imposed advection is sufficiently mixing, then the global existence of solution can be proved, and the solution will converge exponentially to a homogeneous mixed state. While in the absence of advection, there exist initial data in H 2 cap W 1, infty such that the solution will blow up in finite time.


Weakly positive and directed Anosov representations. Given a finitely generated group Gamma with finite generating set R , we introduce the notion of an R directed Anosov representation. This is a weakening of the notion of Anosov representations. Our main theorem gives a procedure to construct R directed Anosov representations using Fock Goncharov positivity. As an application of our main theorem, we construct large families of primitive stable representations from F 2 to mathrm PGL (V) , including non discrete and non faithful examples.