Stochastic Programming and Distributionally Robust Optimization Approaches for Location and Inventory Prepositioning of Disaster Relief Supplies. In this paper, we study the problem of disaster relief inventory prepositioning under uncertainty. Specifically, we aim to determine where to open warehouses and how much relief item inventory to preposition in each, pre disaster. During the post disaster phase, prepositioned items are distributed to demand nodes, and additional items are procured and distributed as needed. There is uncertainty in the (1) disaster level, (2) locations of affected areas, (3) demand of relief items, (4) usable fraction of prepositioned items post disaster, (5) procurement quantity, and (6) arc capacity. We propose and analyze two stage stochastic programming (SP) and distributionally robust optimization (DRO) models, assuming known and unknown uncertainty distributions, respectively. The first and second stages correspond to pre and post disaster phases, respectively. We propose a Monte Carlo Optimization procedure to solve the SP and a decomposition algorithm to solve the DRO model. To illustrate potential applications of our approaches, we conduct extensive experiments using a hurricane season and an earthquake as case studies. Our results demonstrate the (1) the robustness and superior post disaster operational performance of the DRO decisions under various distributions compared to SP decisions, especially under misspecified distributions and high variability, (2) the trade off between considering distributional ambiguity and following distributional belief, and (3) computational efficiency of our approaches.


omega Lyndon words. Let A be a finite non empty set and preceq a total order on A nats verifying the following lexicographic like condition For each n in nats and u, v in A n, if u omega prec v omega then ux prec vy for all x, y in A nats. A word x in A nats is called omega Lyndon if x prec y for each proper suffix y of x. A finite word w in A is called omega Lyndon if w omega prec v omega for each proper suffix v of w. In this note we prove that every infinite word may be written uniquely as a non increasing product of omega Lyndon words.


Proof of forgery for hash based signatures. In the present work, a peculiar property of hash based signatures allowing detection of their forgery event is explored. This property relies on the fact that a successful forgery of a hash based signature most likely results in a collision with respect to the employed hash function, while the demonstration of this collision could serve as convincing evidence of the forgery. Here we prove that with properly adjusted parameters Lamport and Winternitz one time signatures schemes could exhibit a forgery detection availability property. This property is of significant importance in the framework of crypto agility paradigm since the considered forgery detection serves as an alarm that the employed cryptographic hash function becomes insecure to use and the corresponding scheme has to be replaced.


A Comprehensive Comparison of End to End Approaches for Handwritten Digit String Recognition. Over the last decades, most approaches proposed for handwritten digit string recognition (HDSR) have resorted to digit segmentation, which is dominated by heuristics, thereby imposing substantial constraints on the final performance. Few of them have been based on segmentation free strategies where each pixel column has a potential cut location. Recently, segmentation free strategies has added another perspective to the problem, leading to promising results. However, these strategies still show some limitations when dealing with a large number of touching digits. To bridge the resulting gap, in this paper, we hypothesize that a string of digits can be approached as a sequence of objects. We thus evaluate different end to end approaches to solve the HDSR problem, particularly in two verticals those based on object detection (e.g., Yolo and RetinaNet) and those based on sequence to sequence representation (CRNN). The main contribution of this work lies in its provision of a comprehensive comparison with a critical analysis of the above mentioned strategies on five benchmarks commonly used to assess HDSR, including the challenging Touching Pair dataset, NIST SD19, and two real world datasets (CAR and CVL) proposed for the ICFHR 2014 competition on HDSR. Our results show that the Yolo model compares favorably against segmentation free models with the advantage of having a shorter pipeline that minimizes the presence of heuristics based models. It achieved a 97 , 96 , and 84 recognition rate on the NIST SD19, CAR, and CVL datasets, respectively.


Satellite based estimates of decline and rebound in China's CO 2 emissions during COVID 19 pandemic. Changes in CO 2 emissions during the COVID 19 pandemic have been estimated from indicators on activities like transportation and electricity generation. Here, we instead use satellite observations together with bottom up information to track the daily dynamics of CO 2 emissions during the pandemic. Unlike activity data, our observation based analysis can be independently evaluated and can provide more detailed insights into spatially explicit changes. Specifically, we use TROPOMI observations of NO 2 to deduce ten day moving averages of NO x and CO 2 emissions over China, differentiating emissions by sector and province. Between January and April 2020, China's CO 2 emissions fell by 11.5 compared to the same period in 2019, but emissions have since rebounded to pre pandemic levels owing to the fast economic recovery in provinces where industrial activity is concentrated.


Nonexistence of Strong External Difference Families in Abelian Groups of Order Being Product of At Most Three Primes. Let v be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group G of order v , except possibly when G C p 3 and p is a prime greater than 3 times 10 12 .


Higher Specht bases for generalizations of the coinvariant ring. The classical coinvariant ring R n is defined as the quotient of a polynomial ring in n variables by the positive degree S n invariants. It has a known basis that respects the decomposition of R n into irreducible S n modules, consisting of the higher specht polynomials due to Ariki, Terasoma, and Yamada. We provide an extension of the higher Specht basis to the generalized coinvariant rings R n,k . We also give a conjectured higher Specht basis for the Garsia Procesi modules R mu , and provide a proof of the conjecture in the case of two row partition shapes mu . We then combine these results to give a higher Specht basis for an infinite subfamily of the modules R n,k, mu recently defined by Griffin, which are a common generalization of R n,k and R mu .


Active Multi Kernel Domain Adaptation for Hyperspectral Image Classification. Recent years have witnessed the quick progress of the hyperspectral images (HSI) classification. Most of existing studies either heavily rely on the expensive label information using the supervised learning or can hardly exploit the discriminative information borrowed from related domains. To address this issues, in this paper we show a novel framework addressing HSI classification based on the domain adaptation (DA) with active learning (AL). The main idea of our method is to retrain the multi kernel classifier by utilizing the available labeled samples from source domain, and adding minimum number of the most informative samples with active queries in the target domain. The proposed method adaptively combines multiple kernels, forming a DA classifier that minimizes the bias between the source and target domains. Further equipped with the nested actively updating process, it sequentially expands the training set and gradually converges to a satisfying level of classification performance. We study this active adaptation framework with the Margin Sampling (MS) strategy in the HSI classification task. Our experimental results on two popular HSI datasets demonstrate its effectiveness.


Graph Planarity Testing with Hierarchical Embedding Constraints. Hierarchical embedding constraints define a set of allowed cyclic orders for the edges incident to the vertices of a graph. These constraints are expressed in terms of FPQ trees. FPQ trees are a variant of PQ trees that includes F nodes in addition to P and to Q nodes. An F node represents a permutation that is fixed, i.e., it cannot be reversed. Let G be a graph such that every vertex of G is equipped with a set of FPQ trees encoding hierarchical embedding constraints for its incident edges. We study the problem of testing whether G admits a planar embedding such that, for each vertex v of G , the cyclic order of the edges incident to v is described by at least one of the FPQ trees associated with v . We prove that the problem is fixed parameter tractable for biconnected graphs, where the parameters are the treewidth of G and the number of FPQ trees associated with every vertex of G . We also show that the problem is NP complete if parameterized by the number of FPQ trees only, and W 1 hard if parameterized by the treewidth only. Besides being interesting on its own right, the study of planarity testing with hierarchical embedding constraints can be used to address other planarity testing problems. In particular, we apply our techniques to the study of NodeTrix planarity testing of clustered graphs. We show that NodeTrix planarity testing with fixed sides is fixed parameter tractable when parameterized by the size of the clusters and by the treewidth of the multi graph obtained by collapsing the clusters to single vertices, provided that this graph is biconnected.


Solar Event Tracking with Deep Regression Networks A Proof of Concept Evaluation. With the advent of deep learning for computer vision tasks, the need for accurately labeled data in large volumes is vital for any application. The increasingly available large amounts of solar image data generated by the Solar Dynamic Observatory (SDO) mission make this domain particularly interesting for the development and testing of deep learning systems. The currently available labeled solar data is generated by the SDO mission's Feature Finding Team's (FFT) specialized detection modules. The major drawback of these modules is that detection and labeling is performed with a cadence of every 4 to 12 hours, depending on the module. Since SDO image data products are created every 10 seconds, there is a considerable gap between labeled observations and the continuous data stream. In order to address this shortcoming, we trained a deep regression network to track the movement of two solar phenomena Active Region and Coronal Hole events. To the best of our knowledge, this is the first attempt of solar event tracking using a deep learning approach. Since it is impossible to fully evaluate the performance of the suggested event tracks with the original data (only partial ground truth is available), we demonstrate with several metrics the effectiveness of our approach. With the purpose of generating continuously labeled solar image data, we present this feasibility analysis showing the great promise of deep regression networks for this task.


The use of scaling properties to detect relevant changes in financial time series a new visual warning tool. The dynamical evolution of multiscaling in financial time series is investigated using time dependent Generalized Hurst Exponents (GHE), H q , for various values of the parameter q . Using H q , we introduce a new visual methodology to algorithmically detect critical changes in the scaling of the underlying complex time series. The methodology involves the degree of multiscaling at a particular time instance, the multiscaling trend which is calculated by the Change Point Analysis method, and a rigorous evaluation of the statistical significance of the results. Using this algorithm, we have identified particular patterns in the temporal co evolution of the different H q time series. These GHE patterns, distinguish in a statistically robust way, not only between time periods of uniscaling and multiscaling, but also among different types of multiscaling symmetric multiscaling (M) and asymmetric multiscaling (A). We apply the visual methodology to time series comprising of daily close prices of four stock market indices two major ones (S P 500 and NIKKEI) and two peripheral ones (Athens Stock Exchange general Index and Bombay SENSEX). Results show that multiscaling varies greatly with time time periods of strong multiscaling behavior and time periods of uniscaling behavior are interchanged while transitions from uniscaling to multiscaling behavior occur before critical market events, such as stock market bubbles. Moreover, particular asymmetric multiscaling patterns appear during critical stock market eras and provide useful information about market conditions. In particular, they can be used as 'fingerprints' of a turbulent market period as well as provide warning signals for an upcoming stock market 'bubble'. The applied visual methodology also appears to distinguish between exogenous and endogenous stock market crises, based on the observed patterns before the actual events.


Hypergraph Models of Biological Networks to Identify Genes Critical to Pathogenic Viral Response. Background Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high throughput biomolecular data. However, graphs do not natively capture the multi way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi way relationships and have shown promise in modeling systems such as protein complexes and metabolic reactions. In this paper we seek to understand how hypergraphs can more faithfully identify, and potentially predict, important genes based on complex relationships inferred from genomic expression data sets. Results We compiled a novel data set of transcriptional host response to pathogenic viral infections and formulated relationships between genes as a hypergraph where hyperedges represent significantly perturbed genes, and vertices represent individual biological samples with specific experimental conditions. We find that hypergraph betweenness centrality is a superior method for identification of genes important to viral response when compared with graph centrality. Conclusions Our results demonstrate the utility of using hypergraphs to represent complex biological systems and highlight central important responses in common to a variety of highly pathogenic viruses.


Real time Recognition of Smartphone User Behavior Based on Prophet Algorithms. Although the traditional physical password, fingerprint unlocking and facial features have improved the security to a certain extent, they have the characteristics of passive authentication and easiness to be stolen. The existing behavioral data collected based on mobile phone sensors is mainly used for human activity recognition and fall detection and health management. Prophet is a procedure for forecasting time series data based on an additive model where non linear trends are fit with yearly, weekly, and daily seasonality, plus holiday effects. It works best with time series that have strong seasonal effects and several seasons of historical data. Prophet is robust to missing data and shifts in the trend, and typically handles outliers well. Based on the time series behavior data of mobile terminal users, this paper uses Prophet algorithm to decompose the time series of six kinds of daily behavior and strip off the singular value, to get the inherent cycle and trend of each behavior, and to verify the legitimacy of the behavior user at the next moment. The experimental results on the UniMiB SHAR public dataset show that the user only needs to do 2 cycles of specified actions to realize the prediction of the next time series. The main contribution of this paper is that we propose a new idea for smartphone user authentication. It is based on real time data of smartphone user behavior, through Phophet algorithm for feature decomposition and time series prediction, and to find the inherent cycle and other characteristics, so as to perform user behavior recognition. This data driven auxiliary authentication method can effectively solve the problem of easy forgery of static feature recognition such as password, fingerprint and face recognition.


Affine reflection subgroups of Coxeter groups. In this paper we study affine reflection subgroups in arbitrary infinite Coxeter groups of finite rank. In particular, we study the distribution of roots of Coxeter groups in the root subsystems associated with affine reflection subgroups. We give a characterization of limit roots arising from affine reflection subgroups. We also give a characterization of when a Coxeter group may possess affine reflection subgroups. We show that the intersection of the normalized isotropic cone (associated with the Tits representation of a Coxeter group) and the imaginary cone consists of limit roots closely related to affine reflection subgroups.


Towards Scalable Bayesian Learning of Causal DAGs. We give methods for Bayesian inference of directed acyclic graphs, DAGs, and the induced causal effects from passively observed complete data. Our methods build on a recent Markov chain Monte Carlo scheme for learning Bayesian networks, which enables efficient approximate sampling from the graph posterior, provided that each node is assigned a small number K of candidate parents. We present algorithmic techniques to significantly reduce the space and time requirements, which make the use of substantially larger values of K feasible. Furthermore, we investigate the problem of selecting the candidate parents per node so as to maximize the covered posterior mass. Finally, we combine our sampling method with a novel Bayesian approach for estimating causal effects in linear Gaussian DAG models. Numerical experiments demonstrate the performance of our methods in detecting ancestor descendant relations, and in causal effect estimation our Bayesian method is shown to outperform previous approaches.


Investigation of the Impact of Cold Plasma Treatment on the Wettability of Medical Grade Polyvinylchloride. The impact of the Corona, dielectric barrier discharge and low pressure radiofrequency air plasmas on the wettability of the medical grade polyvinylchloride was investigated. Corona plasma treatment exerted the most pronounced increase in the hydrophilization of polyvinylchloride. The specific energy of adhesion of the pristine and plasma treated PVC tubing is reported. The kinetics of hydrophobic recovery following the plasma treatment was explored. The time evolution of the apparent contact angle under the hydrophobic recovery is satisfactorily described by the exponential fitting. Energy dispersive X ray spectroscopy of the chemical composition of the near surface layers of the plasma treated catheters revealed their oxidation. The effect of the hydrophobic recovery is hardly correlated with oxidation of the polymer surface, which is irreversible.


Framework for a DLT Based COVID 19 Passport. Uniquely identifying individuals across the various networks they interact with on a daily basis remains a challenge for the digital world that we live in, and therefore the development of secure and efficient privacy preserving identity mechanisms has become an important field of research. In addition, the popularity of decentralised decision making networks such as Bitcoin has seen a huge interest in making use of distributed ledger technology to store and securely disseminate end user identity credentials. In this paper we describe a mechanism that allows one to store the COVID 19 vaccination details of individuals on a publicly readable, decentralised, immutable blockchain, and makes use of a two factor authentication system that employs biometric cryptographic hashing techniques to generate a unique identifier for each user. Our main contribution is the employment of a provably secure input hiding, locality sensitive hashing algorithm over an iris extraction technique, that can be used to authenticate users and anonymously locate vaccination records on the blockchain, without leaking any personally identifiable information to the blockchain.


Invariant Diffs. Software development is inherently incremental. Nowadays, many software companies adopt an agile process and a shorter release cycle, where software needs to be delivered faster with quality assurances. On the other hand, the majority of existing program analysis tools still target single versions of programs and are slow and inflexible to handle changes. In the popular version control systems such as git, the program changes are still presented using source code diffs. It is hard to understand what program conditions are changed and which source code lines cause them. In this paper, we propose to compute "invariant diffs" to specify changes. Similar to source diffs that report common code and code churns, we define version invariants to represent program conditions that are common across versions, and invariant churns to show the changes of program conditions between versions. We designed a static demand driven, path sensitive analysis to compute and compare invariants for multiple versions of programs using multiversion control flow graphs. We report invariant diffs at the matched program points where comparing invariants are meaningful. Importantly, our analysis correlates source diffs with invariant diffs to explain what source code changes lead to the property changes. We implemented our algorithms in a tool called H 2 and performed experiments on 104 versions of programs. Our results show that we are able to compute invariant diffs correctly within reasonable amount of time. The version invariants can capture the common properties of program versions even constructed by different persons, and the invariant churns can specify the semantics of changes such as how a patch changed a buggy condition to a correct condition.


New classes of Picard operators. In this paper, we give new results concerning the existence of Picard operators on complete metric spaces.


A Preconditioned Algorithm for Model Based Iterative CT Reconstruction and Material Decomposition from Spectral CT Data. Model based material decomposition is a statisticaliterative reconstruction framework where basis material densityimages are estimated directly from spectral CT data. This methoduses a physical model for polyenergetic x ray transmission andattenuation and therefore it does not typically suffer frombeam hardening artifacts. However, this estimation is a poorly conditioned inverse problem due to the strong anticorrelationbetween basis materials. In this work we propose an precondi tioned optimization algorithm for a nonlinear penalized weightedleast squares objective function.


Can a population survive in a shifting environment using non local dispersion. In this article, we analyse the non local model partial t U (t, x) J star U (t, x) U (t, x) f (x ct, U (t, x)) for t 0, and x in R, where J is a positive continuous dispersal kernel and f (x, s) is a heterogeneous KPP type non linearity describing the growth rate of the population. The ecological niche of the population is assumed to be bounded (i.e. outside a compact set, the environment is assumed to be lethal for the population) and shifted through time at a constant speed c. For compactly supported dispersal kernels J, assuming that for c 0 the population survive, we prove that there exists a critical speeds c , pm and c , pm such that for all c , c c , then the population will survive and will perish when c ge c , or c le c , . To derive this results we first obtain an optimal persistence criteria depending of the speed c for non local problem with a drift term. Namely, we prove that for a positive speed c the population persists if and only if the generalized principal eigenvalue lambda p of the linear problem cD x Phi J star Phi Phi partial s f (x, 0) Phi lambda p Phi 0 in R, is negative. lambda p is a spectral quantity that we defined in the spirit of the generalized first eigenvalue of an elliptic operator. The speeds c , pm and c ,pm are then obtained through a fine analysis of the properties of lambda p with respect to c. In particular, we establish its continuity with respect to the speed c. In addition, for any continuous bounded non negative initial data, we establish the long time behaviour of the solution U (t, x).


Local Rigidity of Teichm "uller space with Thurston metric. We show that every mathbb R linear surjective isometry between the cotangent spaces to the Teichm "uller space equipped with the Thurston norm is induced by some isometry between the underlying hyperbolic surfaces, which is an analogue of Royden's theorem concerning the Teichm "uller metric.


Dreaddit A Reddit Dataset for Stress Analysis in Social Media. Stress is a nigh universal human experience, particularly in the online world. While stress can be a motivator, too much stress is associated with many negative health outcomes, making its identification useful across a range of domains. However, existing computational research typically only studies stress in domains such as speech, or in short genres such as Twitter. We present Dreaddit, a new text corpus of lengthy multi domain social media data for the identification of stress. Our dataset consists of 190K posts from five different categories of Reddit communities we additionally label 3.5K total segments taken from 3K posts using Amazon Mechanical Turk. We present preliminary supervised learning methods for identifying stress, both neural and traditional, and analyze the complexity and diversity of the data and characteristics of each category.


On the metric geometry of the space of compact balls and the shooting property for length spaces. In this work we study the geodesic structure of the space Sigma (X) of compact balls of a complete and locally compact metric length space endowed with the Hausdorff distance d H . In particular, we focus on a geometric condition (referred to as the shooting property) that enables us to give an explicit isometry between ( Sigma (X),d H) and the closed half space X times mathbb R ge 0 endowed with a taxicab metric.


Attentive CutMix An Enhanced Data Augmentation Approach for Deep Learning Based Image Classification. Convolutional neural networks (CNN) are capable of learning robust representation with different regularization methods and activations as convolutional layers are spatially correlated. Based on this property, a large variety of regional dropout strategies have been proposed, such as Cutout, DropBlock, CutMix, etc. These methods aim to promote the network to generalize better by partially occluding the discriminative parts of objects. However, all of them perform this operation randomly, without capturing the most important region(s) within an object. In this paper, we propose Attentive CutMix, a naturally enhanced augmentation strategy based on CutMix. In each training iteration, we choose the most descriptive regions based on the intermediate attention maps from a feature extractor, which enables searching for the most discriminative parts in an image. Our proposed method is simple yet effective, easy to implement and can boost the baseline significantly. Extensive experiments on CIFAR 10 100, ImageNet datasets with various CNN architectures (in a unified setting) demonstrate the effectiveness of our proposed method, which consistently outperforms the baseline CutMix and other methods by a significant margin.


A Hermite WENO scheme with artificial linear weights for hyperbolic conservation laws. In this paper, a fifth order Hermite weighted essentially non oscillatory (HWENO) scheme with artificial linear weights is proposed for one and two dimensional hyperbolic conservation laws, where the zeroth order and the first order moments are used in the spatial reconstruction. We construct the HWENO methodology using a nonlinear convex combination of a high degree polynomial with several low degree polynomials, and the associated linear weights can be any artificial positive numbers with only requirement that their summation equals one. The one advantage of the HWENO scheme is its simplicity and easy extension to multi dimension in engineering applications for we can use any artificial linear weights which are independent on geometry of mesh. The another advantage is its higher order numerical accuracy using less candidate stencils for two dimensional problems. In addition, the HWENO scheme still keeps the compactness as only immediate neighbor information is needed in the reconstruction and has high efficiency for directly using linear approximation in the smooth regions. In order to avoid nonphysical oscillations nearby strong shocks or contact discontinuities, we adopt the thought of limiter for discontinuous Galerkin method to control the spurious oscillations. Some benchmark numerical tests are performed to demonstrate the capability of the proposed scheme.


Doubling tolerances and coalition lattices. If every block of a (compatible) tolerance (relation) T on a modular lattice L of finite length consists of at most two elements, then we call T a emph doubling tolerance on L . We prove that, in this case, L and T determines a modular lattice of size 2 L . This construction preserves distributivity and modularity. In order to give an application of the new construct, let P be a partially ordered set (poset). Following a 1995 paper by G. Poll 'ak and the present author, the subsets of P are called the emph coalitions of P . For coalitions X and Y of P , let X leq Y mean that there exists an injective map f from X to Y such that x leq f(x) for every x in X . If P is a finite chain, then its coalitions form a distributive lattice by the 1995 paper we give a new proof of its distributivity by means of doubling tolerances.


Cross Lingual Document Retrieval with Smooth Learning. Cross lingual document search is an information retrieval task in which the queries' language differs from the documents' language. In this paper, we study the instability of neural document search models and propose a novel end to end robust framework that achieves improved performance in cross lingual search with different documents' languages. This framework includes a novel measure of the relevance, smooth cosine similarity, between queries and documents, and a novel loss function, Smooth Ordinal Search Loss, as the objective. We further provide theoretical guarantee on the generalization error bound for the proposed framework. We conduct experiments to compare our approach with other document search models, and observe significant gains under commonly used ranking metrics on the cross lingual document retrieval task in a variety of languages.


UnRectDepthNet Self Supervised Monocular Depth Estimation using a Generic Framework for Handling Common Camera Distortion Models. In classical computer vision, rectification is an integral part of multi view depth estimation. It typically includes epipolar rectification and lens distortion correction. This process simplifies the depth estimation significantly, and thus it has been adopted in CNN approaches. However, rectification has several side effects, including a reduced field of view (FOV), resampling distortion, and sensitivity to calibration errors. The effects are particularly pronounced in case of significant distortion (e.g., wide angle fisheye cameras). In this paper, we propose a generic scale aware self supervised pipeline for estimating depth, euclidean distance, and visual odometry from unrectified monocular videos. We demonstrate a similar level of precision on the unrectified KITTI dataset with barrel distortion comparable to the rectified KITTI dataset. The intuition being that the rectification step can be implicitly absorbed within the CNN model, which learns the distortion model without increasing complexity. Our approach does not suffer from a reduced field of view and avoids computational costs for rectification at inference time. To further illustrate the general applicability of the proposed framework, we apply it to wide angle fisheye cameras with 190 circ horizontal field of view. The training framework UnRectDepthNet takes in the camera distortion model as an argument and adapts projection and unprojection functions accordingly. The proposed algorithm is evaluated further on the KITTI rectified dataset, and we achieve state of the art results that improve upon our previous work FisheyeDistanceNet. Qualitative results on a distorted test scene video sequence indicate excellent performance https youtu.be K6pbx3bU4Ss.


MS GWNN multi scale graph wavelet neural network for breast cancer diagnosis. Breast cancer is one of the most common cancers in women worldwide, and early detection can significantly reduce the mortality rate of breast cancer. It is crucial to take multi scale information of tissue structure into account in the detection of breast cancer. And thus, it is the key to design an accurate computer aided detection (CAD) system to capture multi scale contextual features in a cancerous tissue. In this work, we present a novel graph convolutional neural network for histopathological image classification of breast cancer. The new method, named multi scale graph wavelet neural network (MS GWNN), leverages the localization property of spectral graph wavelet to perform multi scale analysis. By aggregating features at different scales, MS GWNN can encode the multi scale contextual interactions in the whole pathological slide. Experimental results on two public datasets demonstrate the superiority of the proposed method. Moreover, through ablation studies, we find that multi scale analysis has a significant impact on the accuracy of cancer diagnosis.


Static Pricing Universal Guarantees for Reusable Resources. We consider a fundamental pricing model in which a fixed number of units of a reusable resource are used to serve customers. Customers arrive to the system according to a stochastic process and upon arrival decide whether or not to purchase the service, depending on their willingness to pay and the current price. The service time during which the resource is used by the customer is stochastic and the firm may incur a service cost. This model represents various markets for reusable resources such as cloud computing, shared vehicles, rotable parts, and hotel rooms. In the present paper, we analyze this pricing problem when the firm attempts to maximize a weighted combination of three central metrics profit, market share, and service level. Under Poisson arrivals, exponential service times, and standard assumptions on the willingness to pay distribution, we establish a series of results that characterize the performance of static pricing in such environments. In particular, while an optimal policy is fully dynamic in such a context, we prove that a static pricing policy simultaneously guarantees 78.9 of the profit, market share, and service level from the optimal policy. Notably, this result holds for any service rate and number of units the firm operates. Our proof technique relies on a judicious construction of a static price that is derived directly from the optimal dynamic pricing policy. In the special case where there are two units and the induced demand is linear, we also prove that the static policy guarantees 95.5 of the profit from the optimal policy. Our numerical findings on a large testbed of instances suggest that the latter result is quite indicative of the profit obtained by the static pricing policy across all parameters.


Robust globally divergence free weak Galerkin finite element methods for natural convection problems. This paper proposes and analyzes a class of weak Galerkin (WG) finite element methods for stationary natural convection problems in two and three dimensions. We use piecewise polynomials of degrees k, k 1, and k(k 1) for the velocity, pressure, and temperature approximations in the interior of elements, respectively, and piecewise polynomials of degrees l, k, l(l k 1,k) for the numerical traces of velocity, pressure and temperature on the interfaces of elements. The methods yield globally divergence free velocity solutions. Well posedness of the discrete scheme is established, optimal a priori error estimates are derived, and an unconditionally convergent iteration algorithm is presented. Numerical experiments confirm the theoretical results and show the robustness of the methods with respect to Rayleigh number.


Video Face Recognition System RetinaFace mnet faster and Secondary Search. Face recognition is widely used in the scene. However, different visual environments require different methods, and face recognition has a difficulty in complex environments. Therefore, this paper mainly experiments complex faces in the video. First, we design an image pre processing module for fuzzy scene or under exposed faces to enhance images. Our experimental results demonstrate that effective images pre processing improves the accuracy of 0.11 , 0.2 and 1.4 on LFW, WIDER FACE and our datasets, respectively. Second, we propose RetinacFace mnet faster for detection and a confidence threshold specification for face recognition, reducing the lost rate. Our experimental results show that our RetinaFace mnet faster for 640 480 resolution on the Tesla P40 and single thread improve speed of 16.7 and 70.2 , respectively. Finally, we design secondary search mechanism with HNSW to improve performance. Ours is suitable for large scale datasets, and experimental results show that our method is 82 faster than the violent retrieval for the single frame detection.


From proprioception to long horizon planning in novel environments A hierarchical RL model. For an intelligent agent to flexibly and efficiently operate in complex environments, they must be able to reason at multiple levels of temporal, spatial, and conceptual abstraction. At the lower levels, the agent must interpret their proprioceptive inputs and control their muscles, and at the higher levels, the agent must select goals and plan how they will achieve those goals. It is clear that each of these types of reasoning is amenable to different types of representations, algorithms, and inputs. In this work, we introduce a simple, three level hierarchical architecture that reflects these distinctions. The low level controller operates on the continuous proprioceptive inputs, using model free learning to acquire useful behaviors. These in turn induce a set of mid level dynamics, which are learned by the mid level controller and used for model predictive control, to select a behavior to activate at each timestep. The high level controller leverages a discrete, graph representation for goal selection and path planning to specify targets for the mid level controller. We apply our method to a series of navigation tasks in the Mujoco Ant environment, consistently demonstrating significant improvements in sample efficiency compared to prior model free, model based, and hierarchical RL methods. Finally, as an illustrative example of the advantages of our architecture, we apply our method to a complex maze environment that requires efficient exploration and long horizon planning.


Asymptotic properties of steady and nonsteady solutions to the 2D Navier Stokes equations with finite generalized Dirichlet integral. We consider the stationary and non stationary Navier Stokes equations in the whole plane mathbb R 2 and in the exterior domain outside of the large circle. The solution v is handled in the class with nabla v in L q for q ge 2 . Since we deal with the case q ge 2 , our class is larger in the sense of spatial decay at infinity than that of the finite Dirichlet integral, i.e., for q 2 where a number of results such as asymptotic behavior of solutions have been observed. For the stationary problem we shall show that omega(x) o( x (1 q 1 q 2) ) and nabla v(x) o( x (1 q 1 q 2) log x ) as x to infty , where omega equiv rm rot , v . As an application, we prove the Liouville type theorem under the assumption that omega in L q( mathbb R 2) . For the non stationary problem, a generalized L q energy identity is clarified. We also apply it to the uniqueness of the Cauchy problem and the Liouville type theorem for ancient solutions under the assumption that omega in L q( mathbb R 2 times I) .


Dehazing Cost Volume for Deep Multi view Stereo in Scattering Media with Airlight and Scattering Coefficient Estimation. We propose a learning based multi view stereo (MVS) method in scattering media, such as fog or smoke, with a novel cost volume, called the dehazing cost volume. Images captured in scattering media are degraded due to light scattering and attenuation caused by suspended particles. This degradation depends on scene depth thus, it is difficult for traditional MVS methods to evaluate photometric consistency because the depth is unknown before three dimensional (3D) reconstruction. The dehazing cost volume can solve this chicken and egg problem of depth estimation and image restoration by computing the scattering effect using swept planes in the cost volume. We also propose a method of estimating scattering parameters, such as airlight, and a scattering coefficient, which are required for our dehazing cost volume. The output depth of a network with our dehazing cost volume can be regarded as a function of these parameters thus, they are geometrically optimized with a sparse 3D point cloud obtained at a structure from motion step. Experimental results on synthesized hazy images indicate the effectiveness of our dehazing cost volume against the ordinary cost volume regarding scattering media. We also demonstrated the applicability of our dehazing cost volume to real foggy scenes.


Comment on "Magnetic Levitation Stabilized by Streaming Fluid Flows". It is shown that basic origin of radial stability is a centripetal component of the same vibrational force that makes a "flea" levitate.


Time Series Change Point Detection with Self Supervised Contrastive Predictive Coding. Change Point Detection (CPD) methods identify the times associated with changes in the trends and properties of time series data in order to describe the underlying behaviour of the system. For instance, detecting the changes and anomalies associated with web service usage, application usage or human behaviour can provide valuable insights for downstream modelling tasks. We propose a novel approach for self supervised Time Series Change Point detection method based onContrastivePredictive coding (TS CP 2). TS CP 2 is the first approach to employ a contrastive learning strategy for CPD by learning an embedded representation that separates pairs of embeddings of time adjacent intervals from pairs of interval embeddings separated across time. Through extensive experiments on three diverse, widely used time series datasets, we demonstrate that our method outperforms five state of the art CPD methods, which include unsupervised and semi supervisedapproaches. TS CP 2 is shown to improve the performance of methods that use either handcrafted statistical or temporal features by 79.4 and deep learning based methods by 17.0 with respect to the F1 score averaged across the three datasets.


Edge colouring graphs with local list sizes. The famous List Colouring Conjecture from the 1970s states that for every graph G the chromatic index of G is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph G with sufficiently large maximum degree Delta and minimum degree delta geq ln 25 Delta , the following holds for every assignment of lists of colours to the edges of G , such that L(e) geq (1 o(1)) cdot max left rm deg (u), rm deg (v) right for each edge e uv , there is an L edge colouring of G . Furthermore, Kahn showed that the List Colouring Conjecture holds asymptotically for linear, k uniform hypergraphs, and recently Molloy generalized Kahn's original result to correspondence colouring as well as its hypergraph generalization. We prove local versions of all of these generalizations by showing a weighted version that simultaneously implies all of our results.


Supervised Phrase boundary Embeddings. We propose a new word embedding model, called SPhrase, that incorporates supervised phrase information. Our method modifies traditional word embeddings by ensuring that all target words in a phrase have exactly the same context. We demonstrate that including this information within a context window produces superior embeddings for both intrinsic evaluation tasks and downstream extrinsic tasks.


Explainable Knowledge Tracing Models for Big Data Is Ensembling an Answer?. In this paper, we describe our Knowledge Tracing model for the 2020 NeurIPS Education Challenge. We used a combination of 22 models to predict whether the students will answer a given question correctly or not. Our combination of different approaches allowed us to get an accuracy higher than any of the individual models, and the variation of our model types gave our solution better explainability, more alignment with learning science theories, and high predictive power.


NATSA A Near Data Processing Accelerator for Time Series Analysis. Time series analysis is a key technique for extracting and predicting events in domains as diverse as epidemiology, genomics, neuroscience, environmental sciences, economics, and more. Matrix profile, the state of the art algorithm to perform time series analysis, computes the most similar subsequence for a given query subsequence within a sliced time series. Matrix profile has low arithmetic intensity, but it typically operates on large amounts of time series data. In current computing systems, this data needs to be moved between the off chip memory units and the on chip computation units for performing matrix profile. This causes a major performance bottleneck as data movement is extremely costly in terms of both execution time and energy. In this work, we present NATSA, the first Near Data Processing accelerator for time series analysis. The key idea is to exploit modern 3D stacked High Bandwidth Memory (HBM) to enable efficient and fast specialized matrix profile computation near memory, where time series data resides. NATSA provides three key benefits 1) quickly computing the matrix profile for a wide range of applications by building specialized energy efficient floating point arithmetic processing units close to HBM, 2) improving the energy efficiency and execution time by reducing the need for data movement over slow and energy hungry buses between the computation units and the memory units, and 3) analyzing time series data at scale by exploiting low latency, high bandwidth, and energy efficient memory access provided by HBM. Our experimental evaluation shows that NATSA improves performance by up to 14.2x (9.9x on average) and reduces energy by up to 27.2x (19.4x on average), over the state of the art multi core implementation. NATSA also improves performance by 6.3x and reduces energy by 10.2x over a general purpose NDP platform with 64 in order cores.


Logic based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling. The distributed operating room (OR) scheduling problem aims to find an assignment of surgeries to ORs across collaborating hospitals that share their waiting lists and ORs. We propose a stochastic extension of this problem where surgery durations are considered to be uncertain. In order to obtain solutions for the challenging stochastic model, we use sample average approximation, and develop two enhanced decomposition frameworks that use logic based Benders (LBBD) optimality cuts and binary decision diagram based Benders cuts. Specifically, to the best of our knowledge, deriving LBBD optimality cuts in a stochastic programming context is new to the literature. Our computational experiments on a hospital dataset illustrate that the stochastic formulation generates robust schedules, and that our algorithms improve the computational efficiency.


Enabling Failure resilient Intermittent Systems Without Runtime Checkpointing. Self powered intermittent systems typically adopt runtime checkpointing as a means to accumulate computation progress across power cycles and recover system status from power failures. However, existing approaches based on the checkpointing paradigm normally require system suspension and or logging at runtime. This paper presents a design which overcomes the drawbacks of checkpointing based approaches, to enable failure resilient intermittent systems. Our design allows accumulative execution and instant system recovery under frequent power failures while enforcing the serializability of concurrent task execution to improve computation progress and ensuring data consistency without system suspension during runtime, by leveraging the characteristics of data accessed in hybrid memory. We integrated the design into FreeRTOS running on a Texas Instruments device. Experimental results show that our design can still accumulate progress when the power source is too weak for checkpointing based approaches to make progress, and improves the computation progress by up to 43 under a relatively strong power source, while reducing the recovery time by at least 90 .


ProVe Self supervised pipeline for automated product replacement and cold starting based on neural language models. In retail vertical industries, businesses are dealing with human limitation of quickly understanding and adapting to new purchasing behaviors. Moreover, retail businesses need to overcome the human limitation of properly managing a massive selection of products brands categories. These limitations lead to deficiencies from both commercial (e.g. loss of sales, decrease in customer satisfaction) and operational perspective (e.g. out of stock, over stock). In this paper, we propose a pipeline approach based on Natural Language Understanding, for recommending the most suitable replacements for products that are out of stock. Moreover, we will propose a solution for managing products that were newly introduced in a retailer's portfolio with almost no transactional history. This solution will help businesses automatically assign the new products to the right category recommend complementary products for cross sell from day 1 perform sales predictions even with almost no transactional history. Finally, the vector space model resulted by applying the pipeline presented in this paper is directly used as semantic information in deep learning based demand forecasting solutions, leading to more accurate predictions. The whole research and experimentation process have been done using real life private transactional data, however the source code is available on https github.com Lummetry ProVe


A constraint based notion of illiquidity. This article introduces a new mathematical concept of illiquidity that goes hand in hand with credit risk. The concept is not volume but constraint based, i.e., certain assets cannot be shorted and are ineligible as num 'eraire. If those assets are still chosen as num 'eraire, we arrive at a two price economy. We utilise Jarrow Turnbull's foreign exchange analogy that interprets defaultable zero coupon bonds as a conversion of non defaultable foreign counterparts. In the language of structured derivatives, the impact of credit risk is disabled through quanto ing. In a similar fashion, we look at bond prices as if perfect liquidity was given. This corresponds to asset pricing with respect to an ineligible num 'eraire and necessitates F "ollmer measures.


Quasi parallel X ray microbeam obtained using a parabolic monocapillary X ray lens with an embedded square shaped lead occluder. A parabolic monocapillary X ray lens (PMXRL) is designed to effectively constrain a laboratory point X ray source into a parallel beam. A square shaped lead occluder (SSLO) is used to block direct X rays in the PMXRL. To design the PMXRL, we use Python to simulate the conic parameter (p 0.001 mm) of the lens and then use a drawing machine to draw a corresponding lens (p 0.000939 mm) with a total length of 60.8 mm. We place the SSLO at the lens inlet for optical testing. The results show that the controlled outgoing beam has a divergence of less than 0.4 mrad in the range of 15 45 mm of the lens outlet, which achieves excellent optical performance in X ray imaging methodology. The design details are reported in this paper.


On the discrepancies of graphs. In the literature, the notion of discrepancy is used in several contexts, even in the theory of graphs. Here, for a graph G , 1, 1 labels are assigned to the edges, and we consider a family mathcal S G of (spanning) subgraphs of certain types, among others spanning trees, Hamiltonian cycles. As usual, we seek for bounds on the sum of the labels that hold for all elements of mathcal S G , for every labeling.


Examples of finite dimensional pointed Hopf algebras in characteristic 2 . We present new examples of finite dimensional Nichols algebra over fields of characteristic 2 starting from braided vector spaces that are not of diagonal type, admit realizations as Yetter Drinfeld modules over finite abelian groups and are analogous to braidings over fields of odd characteristic with finite dimensional Nichols algebras presented in arXiv 1905.03074. As these last ones, they are related to the Nichols algebras of finite Gelfand Kirillov dimension in characteristic 0 described in arXiv 1606.02521. New finite dimensional pointed Hopf algebras over fields of characteristic 2 are obtained by bosonization with group algebras of suitable finite abelian groups.


Causal Paths in Temporal Networks of Face to Face Human Interactions. In a temporal network causal paths are characterized by the fact that links from a source to a target must respect the chronological order. In this article we study the causal paths structure in temporal networks of human face to face interactions in different social contexts. In a static network paths are transitive i.e. the existence of a link from a to b and from b to c implies the existence of a path from a to c via b . In a temporal network the chronological constraint introduces time correlations that affects transitivity. A probabilistic model based on higher order Markov chains shows that correlations that can invalidate transitivity are present only when the time gap between consecutive events is larger than the average value and are negligible below such a value. The comparison between the densities of the temporal and static accessibility matrices shows that the static representation can be used with good approximation. Moreover, we quantify the extent of the causally connected region of the networks over time.


Deep Contextualized Biomedical Abbreviation Expansion. Automatic identification and expansion of ambiguous abbreviations are essential for biomedical natural language processing applications, such as information retrieval and question answering systems. In this paper, we present DEep Contextualized Biomedical. Abbreviation Expansion (DECBAE) model. DECBAE automatically collects substantial and relatively clean annotated contexts for 950 ambiguous abbreviations from PubMed abstracts using a simple heuristic. Then it utilizes BioELMo to extract the contextualized features of words, and feed those features to abbreviation specific bidirectional LSTMs, where the hidden states of the ambiguous abbreviations are used to assign the exact definitions. Our DECBAE model outperforms other baselines by large margins, achieving average accuracy of 0.961 and macro F1 of 0.917 on the dataset. It also surpasses human performance for expanding a sample abbreviation, and remains robust in imbalanced, low resources and clinical settings.


Reducing Confusion in Active Learning for Part Of Speech Tagging. Active learning (AL) uses a data selection algorithm to select useful training samples to minimize annotation cost. This is now an essential tool for building low resource syntactic analyzers such as part of speech (POS) taggers. Existing AL heuristics are generally designed on the principle of selecting uncertain yet representative training instances, where annotating these instances may reduce a large number of errors. However, in an empirical study across six typologically diverse languages (German, Swedish, Galician, North Sami, Persian, and Ukrainian), we found the surprising result that even in an oracle scenario where we know the true uncertainty of predictions, these current heuristics are far from optimal. Based on this analysis, we pose the problem of AL as selecting instances which maximally reduce the confusion between particular pairs of output tags. Extensive experimentation on the aforementioned languages shows that our proposed AL strategy outperforms other AL strategies by a significant margin. We also present auxiliary results demonstrating the importance of proper calibration of models, which we ensure through cross view training, and analysis demonstrating how our proposed strategy selects examples that more closely follow the oracle data distribution.


On the Gluing Construction of Translating Solitons to Lagrangian Mean Curvature Flow. We construct Lagrangian translating solitons by desingularizing the intersection points between Lagrangian Grim Reaper cylinders with the same phase using special Lagrangian Lawlor necks. The resulting Lagrangian translating solitons could have arbitrarily many ends and non contractible loops.


Detecting Spoofing Attacks Using VGG and SincNet BUT Omilia Submission to ASVspoof 2019 Challenge. In this paper, we present the system description of the joint efforts of Brno University of Technology (BUT) and Omilia Conversational Intelligence for the ASVSpoof2019 Spoofing and Countermeasures Challenge. The primary submission for Physical access (PA) is a fusion of two VGG networks, trained on single and two channels features. For Logical access (LA), our primary system is a fusion of VGG and the recently introduced SincNet architecture. The results on PA show that the proposed networks yield very competitive performance in all conditions and achieved 86 relative improvement compared to the official baseline. On the other hand, the results on LA showed that although the proposed architecture and training strategy performs very well on certain spoofing attacks, it fails to generalize to certain attacks that are unseen during training.


The Group Theoretic Roots of Information permutations, symmetry, and entropy. We propose a new interpretation of measures of information and disorder by connecting these concepts to group theory in a new way. Entropy and group theory are connected here by their common relation to sets of permutations. A combinatorial measure of information and disorder is proposed, in terms of integers and discrete functions, that we call the integer entropy. The Shannon measure of information is the limiting case of a richer, more general conceptual structure that reveals relations among finite groups, information, and symmetries. It is shown that the integer entropy converges uniformly to the Shannon entropy when the group includes all permutations, the Symmetric group, and the number of objects increases without bound. The harmonic numbers have a well known combinatorial meaning as the expected number of disjoint, non empty cycles in permutations of n objects, and since integer entropy is defined in terms of the expected value of the number of cycles over the set of permutations, it also has a clear combinatorial meaning. Since all finite groups are isomorphic to subgroups of the Symmetric group, every finite group has a corresponding information functional, analogous to the Shannon entropy and a number series analogous to the harmonic numbers. The Cameron Semeraro cycle polynomial is used to analyze the integer entropy for finite groups, and to characterize the series analogous to the Harmonic numbers. We introduce and use a reciprocal polynomial, the transposition polynomial that provides an additional tool and new insights. Broken symmetries and conserved quantities are linked through the cycle and transposition properties of the groups, and can be used to generalize the analysis of stochastic processes.


Observability results related to fractional Schr "odinger operators. We establish observability inequalities for various problems involving fractional Schr "odinger operators ( Delta) alpha 2 V , alpha 0 , on a compact Riemannian manifold. Observability from an open set for the corresponding fractional Schr "odinger evolution equation with alpha 1 is proved to hold as soon as the observation set satisfies the Geometric Control Condition it is also shown that this condition is necessary when the manifold is the d dimensional sphere equipped with the standard metric. This is in stark contrast with the case of eigenfunctions. We construct potentials on the two sphere with the property that there exist two points on the sphere such that eigenfunctions of Delta V are uniformly observable from an arbitrarily small neighborhood of those two points. This condition is much weaker than the Geometric Control Condition, which is necessary for uniform observability of eigenfunctions for the free Laplacian on the sphere. The same result also holds for eigenfunctions of ( Delta) alpha 2 V , for any alpha 0 .


Supervised Text Classification using Text Search. Supervised text classification is a classical and active area of ML research. In large enterprise, solutions to this problem has significant importance. This is specifically true in ticketing systems where prediction of the type and subtype of tickets given new incoming ticket text to find out optimal routing is a multi billion dollar industry. In this paper authors describe a class of industrial standard algorithms which can accurately ( 86 and above ) predict classification of any text given prior labelled text data by novel use of any text search engine. These algorithms were used to automate routing of issue tickets to the appropriate team. This class of algorithms has far reaching consequences for a wide variety of industrial applications, IT support, RPA script triggering, even legal domain where massive set of pre labelled data are already available.


Subdomain Separability in Global Optimization. We propose a generalization of separability in the context of global optimization. Our results apply to objective functions implemented as differentiable computer programs. They are presented in the context of a simple branch and bound method. The often significant search space reduction can be expected to yield an acceleration of any global optimization method. We show how to utilize interval derivatives calculated by adjoint algorithmic differentiation to examine the monotonicity of the objective with respect to so called structural separators and how to verify the latter automatically.


On the Power Leakage Problem in Millimeter Wave Massive MIMO with Lens Antenna Arrays. The emerging millimeter wave (mmWave) massive multiple input multiple output (MIMO) with lens antenna arrays, which is also known as "beamspace MIMO", can effectively reduce the required number of power hungry radio frequency (RF) chains. Therefore, it has been considered as a promising technique for the upcoming 5G communications and beyond. However, most current studies on beamspace MIMO have not taken into account the important power leakage problem in beamspace channels, which possibly leads to a significant degradation in the signal to noise ratio (SNR) and the system sum rate. To this end, we propose a beam aligning precoding method to handle the power leakage problem in this paper. Firstly, a phase shifter network (PSN) structure is proposed, which enables each RF chain in beamspace MIMO to select multiple beams to collect the leakage power. Then, a rotation based precoding algorithm is designed based on the proposed PSN structure, which aligns the channel gains of the selected beams towards the same direction for maximizing the received SNR at each user. Furthermore, we reveal some system design insights by analyzing the sum rate and energy efficiency (EE) of the proposed beam aligning precoding method. In simulations, the proposed approach is found to achieve the near optimal sum rate performance compared with the ideal case of no power leakage, and obtains a higher EE than the existing schemes with either a linear or planar array.


Model based design of riblets for turbulent drag reduction. Both experiments and direct numerical simulations have been used to demonstrate that riblets can reduce turbulent drag by as much as 10 , but their systematic design remains an open challenge. In this paper, we develop a model based framework to quantify the effect of streamwise aligned spanwise periodic riblets on kinetic energy and skin friction drag in turbulent channel flow. We model the effect of riblets as a volume penalization in the Navier Stokes equations and use the statistical response of the eddy viscosity enhanced linearized equations to quantify the effect of background turbulence on the mean velocity and skin friction drag. For triangular riblets, our simulation free approach reliably predicts drag reducing trends as well as mechanisms that lead to performance deterioration for large riblets. We investigate the effect of height and spacing on drag reduction and demonstrate a correlation between energy suppression and drag reduction for appropriately sized riblets. We also analyze the effect of riblets on drag reduction mechanisms and turbulent flow structures including very large scale motions. Our results demonstrate the utility of our approach in capturing the effect of riblets on turbulent flows using models that are tractable for analysis and optimization.


Methods for Computing Legal Document Similarity A Comparative Study. Computing similarity between two legal documents is an important and challenging task in the domain of Legal Information Retrieval. Finding similar legal documents has many applications in downstream tasks, including prior case retrieval, recommendation of legal articles, and so on. Prior works have proposed two broad ways of measuring similarity between legal documents analyzing the precedent citation network, and measuring similarity based on textual content similarity measures. But there has not been a comprehensive comparison of these existing methods on a common platform. In this paper, we perform the first systematic analysis of the existing methods. In addition, we explore two promising new similarity computation methods one text based and the other based on network embeddings, which have not been considered till now.


Characterization of a plasma window as a membrane free transition between vacuum and high pressure. A plasma window (PW) is a device for separating two areas of different pressures while letting particle beams pass with little to no loss. It has been introduced by A. Hershcovitch. In the course of this publication, the properties of a PW with apertures of 3.3 mm and 5.0 mm are presented. Especially the link between the pressure properties relevant for applications in accelerator systems and the underlying plasma properties depending on external parameters are presented. At the low pressure side around some mbar, high pressure values reached up to 750 mbar while operating with volume flows between 1 slm and 4 slm (standard liter per minute) and discharge currents ranging from 45 A to 60 A. Unique features of the presented PW include simultaneous plasma parameter determination and the absence of ceramic insulators between the cooling plates. Optical analysis reveals no significant damage or wear to the components after an operation time well over 10 h, whereas the cathode needle needs replacement after 5 h.


On Biproducts and Extensions. We describe in which ways the Radford biproducts of certain eight dimensional Yetter Drinfel'd Hopf algebras over the elementary abelian group of order 4 can be written as extensions of Hopf algebras.


Establishing and assessing adaptive parking prices in a city Algorithms, software and examples. We propose ParkSage, a set of spatially explicit algorithms for establishing parking prices that guarantee a predetermined occupancy rate over a city, and for evaluating the achieved reduction in parking search time. We apply ParkSage for establishing overnight parking prices that guarantee 85 occupation in the Israeli city of Bat Yam. Pricing by street links ensures high parking availability and close to zero cruising everywhere in the city, but is inconvenient for drivers. Establishing prices by the large and heterogeneous city quarters results in local mismatch between demand and supply, the emergence of areas with fully occupied on street parking and a long search time for the drivers whose destinations are in these areas. We demonstrate that pricing by the medium sized Transportation Analysis Zones, which is easy enough for drivers to comprehend and abide by, is sufficient for eliminating cruising. The software for establishing and assessing performance parking prices is based on the standard municipal GIS layers of streets and parking lots and is available for free download from https www.researchgame.net profile Nir Fulman


Minimax Rates of Estimating Approximate Differential Privacy. Differential privacy has become a widely accepted notion of privacy, leading to the introduction and deployment of numerous privatization mechanisms. However, ensuring the privacy guarantee is an error prone process, both in designing mechanisms and in implementing those mechanisms. Both types of errors will be greatly reduced, if we have a data driven approach to verify privacy guarantees, from a black box access to a mechanism. We pose it as a property estimation problem, and study the fundamental trade offs involved in the accuracy in estimated privacy guarantees and the number of samples required. We introduce a novel estimator that uses polynomial approximation of a carefully chosen degree to optimally trade off bias and variance. With n samples, we show that this estimator achieves performance of a straightforward plug in estimator with n ln n samples, a phenomenon referred to as effective sample size amplification. The minimax optimality of the proposed estimator is proved by comparing it to a matching fundamental lower bound.


Blockwise Self Attention for Long Document Understanding. We present BlockBERT, a lightweight and efficient BERT model for better modeling long distance dependencies. Our model extends BERT by introducing sparse block structures into the attention matrix to reduce both memory consumption and training inference time, which also enables attention heads to capture either short or long range contextual information. We conduct experiments on language model pre training and several benchmark question answering datasets with various paragraph lengths. BlockBERT uses 18.7 36.1 less memory and 12.0 25.1 less time to learn the model. During testing, BlockBERT saves 27.8 inference time, while having comparable and sometimes better prediction accuracy, compared to an advanced BERT based model, RoBERTa.


A varying terminal time mean variance model. To improve the efficient frontier of the classical mean variance model in continuous time, we propose a varying terminal time mean variance model with a constraint on the mean value of the portfolio asset, which moves with the varying terminal time. Using the embedding technique from stochastic optimal control in continuous time and varying the terminal time, we determine an optimal strategy and related deterministic terminal time for the model. Our results suggest that doing so for an investment plan requires minimizing the variance with a varying terminal time.


DualTKB A Dual Learning Bridge between Text and Knowledge Base. In this work, we present a dual learning approach for unsupervised text to path and path to text transfers in Commonsense Knowledge Bases (KBs). We investigate the impact of weak supervision by creating a weakly supervised dataset and show that even a slight amount of supervision can significantly improve the model performance and enable better quality transfers. We examine different model architectures, and evaluation metrics, proposing a novel Commonsense KB completion metric tailored for generative models. Extensive experimental results show that the proposed method compares very favorably to the existing baselines. This approach is a viable step towards a more advanced system for automatic KB construction expansion and the reverse operation of KB conversion to coherent textual descriptions.


Transfer learning with class weighted and focal loss function for automatic skin cancer classification. Skin cancer is by far in top 3 of the world's most common cancer. Among different skin cancer types, melanoma is particularly dangerous because of its ability to metastasize. Early detection is the key to success in skin cancer treatment. However, skin cancer diagnosis is still a challenge, even for experienced dermatologists, due to strong resemblances between benign and malignant lesions. To aid dermatologists in skin cancer diagnosis, we developed a deep learning system that can effectively and automatically classify skin lesions into one of the seven classes (1) Actinic Keratoses, (2) Basal Cell Carcinoma, (3) Benign Keratosis, (4) Dermatofibroma, (5) Melanocytic nevi, (6) Melanoma, (7) Vascular Skin Lesion. The HAM10000 dataset was used to train the system. An end to end deep learning process, transfer learning technique, utilizing multiple pre trained models, combining with class weighted and focal loss were applied for the classification process. The result was that our ensemble of modified ResNet50 models can classify skin lesions into one of the seven classes with top 1, top 2 and top 3 accuracy 93 , 97 and 99 , respectively. This deep learning system can potentially be integrated into computer aided diagnosis systems that support dermatologists in skin cancer diagnosis.


Matchings and squarefree powers of edge ideals. Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so called squarefree Ratliff property.


Summary Refinement through Denoising. We propose a simple method for post processing the outputs of a text summarization system in order to refine its overall quality. Our approach is to train text to text rewriting models to correct information redundancy errors that may arise during summarization. We train on synthetically generated noisy summaries, testing three different types of noise that introduce out of context information within each summary. When applied on top of extractive and abstractive summarization baselines, our summary denoising models yield metric improvements while reducing redundancy.


Disentangling Label Distribution for Long tailed Visual Recognition. The current evaluation protocol of long tailed visual recognition trains the classification model on the long tailed source label distribution and evaluates its performance on the uniform target label distribution. Such protocol has questionable practicality since the target may also be long tailed. Therefore, we formulate long tailed visual recognition as a label shift problem where the target and source label distributions are different. One of the significant hurdles in dealing with the label shift problem is the entanglement between the source label distribution and the model prediction. In this paper, we focus on disentangling the source label distribution from the model prediction. We first introduce a simple but overlooked baseline method that matches the target label distribution by post processing the model prediction trained by the cross entropy loss and the Softmax function. Although this method surpasses state of the art methods on benchmark datasets, it can be further improved by directly disentangling the source label distribution from the model prediction in the training phase. Thus, we propose a novel method, LAbel distribution DisEntangling (LADE) loss based on the optimal bound of Donsker Varadhan representation. LADE achieves state of the art performance on benchmark datasets such as CIFAR 100 LT, Places LT, ImageNet LT, and iNaturalist 2018. Moreover, LADE outperforms existing methods on various shifted target label distributions, showing the general adaptability of our proposed method.


Singularities in the weak turbulence regime for the quintic Schr "odinger equation. In this paper, we discuss the problem of derivation of kinetic equations from the theory of weak turbulence for the quintic Schr "odinger equation. We study the quintic Schr "odinger equation on L mathbb T , with L gg 1 and with a non linearity of size varepsilon ll 1 . We consider the correlations f(T) of the Fourier coefficients of the solution at times t T varepsilon 2 when varepsilon rightarrow 0 and L rightarrow infty . Our results can be summed up in the following way there exists a regime for varepsilon and L such that for T dyadic, f(T) has the form expected from the physics literature, but such that f has an infinite number of discontinuity points.


Securing Microservices and Microservice Architectures A Systematic Mapping Study. Microservice architectures (MSA) are becoming trending alternatives to existing software development paradigms notably for developing complex and distributed applications. Microservices emerged as an architectural design pattern aiming to address the scalability and ease the maintenance of online services. However, security breaches have increased threatening availability, integrity and confidentiality of microservice based systems. A growing body of literature is found addressing security threats and security mechanisms to individual microservices and microservice architectures. The aim of this study is to provide a helpful guide to developers about already recognized threats on microservices and how they can be detected, mitigated or prevented we also aim to identify potential research gaps on securing MSA. In this paper, we conduct a systematic mapping in order to categorize threats on MSA with their security proposals. Therefore, we extracted threats and details of proposed solutions reported in selected studies. Obtained results are used to design a lightweight ontology for security patterns of MSA. The ontology can be queried to identify source of threats, security mechanisms used to prevent each threat, applicability layer and validation techniques used for each mechanism. The systematic search yielded 1067 studies of which 46 are selected as primary studies. The results of the mapping revealed an unbalanced research focus in favor of external attacks auditing and enforcing access control are the most investigated techniques compared with prevention and mitigation. Additionally, we found that most proposed solutions are soft infrastructure applicable layer compared with other layers such as communication and deployment. We also found that performance analysis and case studies are the most used validation techniques of security proposals.


New type II Finite time blow up for the energy supercritical heat equation. We consider the energy supercritical heat equation with the (n 3) th Sobolev exponent begin equation begin cases u t Delta u u 3 , mbox in Omega times (0,T), u(x,t) u partial Omega , mbox on partial Omega times (0,T), u(x,0) u 0(x), mbox in Omega, end cases end equation where 5 leq n leq 7 , Omega R n or Omega subset R n is a smooth, bounded domain enjoying special symmetries. We construct type II finite time blow up solution u(x,t) with the singularity taking place along an (n 4) dimensional em shrinking sphere in Omega . More precisely, at leading order, the solution u(x,t) is of the sharply scaled form u(x,t) approx la 1 (t) frac 2 sqrt 2 1 left frac (r,z) ( xi r(t), xi z(t)) la(t) right 2 where r sqrt x 1 2 cdots x n 3 2 , z (x n 2 ,x n 1 ,x n) with x (x 1, cdots,x n) in Omega . Moreover, the singularity location ( xi r(t), xi z(t)) sim ( sqrt 2(n 4)(T t) ,z 0) mbox as t nearrow T, for some fixed z 0 , and the blow up rate la(t) sim frac T t log(T t) 2 mbox as t nearrow T. This is a completely new phenomenon in the parabolic setting.


Efficient second order semi implicit finite element method for fourth order nonlinear diffusion equations. We focus here on a class of fourth order parabolic equations that can be written as a system of second order equations by introducing an auxiliary variable. We design a novel second order fully discrete mixed finite element method to approximate these equations. In our approach, we propose new techniques using the second order backward differentiation formula for the time derivative and a special technique for the approximation of nonlinear terms. The use of the proposed technique for nonlinear terms makes the developed numerical scheme efficient in terms of computational cost since the proposed method only deals with a linear system at each time step and no iterative resolution is needed. A numerical convergence study is performed using the method of manufactured and analytical solutions of the system where we investigate different boundary conditions. With respect to the spatial discretization, convergence rates are found to at least match a priori error estimates available for linear problems. The convergence analysis is completed with an investigation of the temporal discretization where we numerically demonstrate the second order time accuracy of the proposed scheme using the method of reference solution. We present a series of numerical tests to demonstrate the efficiency and robustness of the proposed scheme.


Sim2Real2Sim Bridging the Gap Between Simulation and Real World in Flexible Object Manipulation. This paper addresses a new strategy called Simulation to Real to Simulation (Sim2Real2Sim) to bridge the gap between simulation and real world, and automate a flexible object manipulation task. This strategy consists of three steps (1) using the rough environment with the estimated models to develop the methods to complete the manipulation task in the simulation (2) applying the methods from simulation to real world and comparing their performance (3) updating the models and methods in simulation based on the differences between the real world and the simulation. The Plug Task from the 2015 DARPA Robotics Challenge Finals is chosen to evaluate our Sim2Real2Sim strategy. A new identification approach for building the model of the linear flexible objects is derived from real world to simulation. The automation of the DRC plug task in both simulation and real world proves the success of the Sim2Real2Sim strategy. Numerical experiments are implemented to validate the simulated model.


Dueling Deep Q Network for Highway Decision Making in Autonomous Vehicles A Case Study. This work optimizes the highway decision making strategy of autonomous vehicles by using deep reinforcement learning (DRL). First, the highway driving environment is built, wherein the ego vehicle, surrounding vehicles, and road lanes are included. Then, the overtaking decision making problem of the automated vehicle is formulated as an optimal control problem. Then relevant control actions, state variables, and optimization objectives are elaborated. Finally, the deep Q network is applied to derive the intelligent driving policies for the ego vehicle. Simulation results reveal that the ego vehicle could safely and efficiently accomplish the driving task after learning and training.


Constrained Sampling based Trajectory Optimization using Stochastic Approximation. We propose a sampling based trajectory optimization methodology for constrained problems. We extend recent works on stochastic search to deal with box control constraints,as well as nonlinear state constraints for discrete dynamical systems. Regarding the former, our strategy is to optimize over truncated parameterized distributions on control inputs. Furthermore, we show how non smooth penalty functions can be incorporated into our framework to handle state constraints. Simulations on cartpole and quadcopter show that our approach outperforms previous methods on constrained sampling based optimization, in terms of quality of solutions and convergence speed.


The Checkered Smocked Space and its Tangent Cone. Smocked metric spaces were first defined in arXiv 1906.03403 and it was proved that if a norm on the Euclidean space uniformly estimates the pseudometric of a smocked metric space, then the tangent cone at infinity is unique and is a norm vector space with that estimating norm. In this paper, we explicitly calculate the norm approximating the pseudometric of the checkered smocked space and find the tangent cone at infinity.


Robust label attribution for real time bidding. Most of the display advertising inventory is sold through real time auctions. The participants of these auctions are typically bidders (Google, Criteo, RTB House, Trade Desk for instance) who participate on behalf of advertisers. In order to estimate the value of each display opportunity, they usually train advanced machine learning algorithms using historical data. In the labeled training set, the inputs are vectors of features representing each display opportunity and the labels are the generated rewards. In practice, the rewards are given by the advertiser and are tied to whether or not a particular user converts. Consequently, the rewards are aggregated at the user level and never observed at the display level. A fundamental task that has, to the best of our knowledge, been overlooked is to account for this mismatch and split, or attribute, the rewards at the right granularity level before training a learning algorithm. We call this the label attribution problem. In this paper, we develop an approach to the label attribution problem which is both theoretically justified and practical. We dub our solution the robust label attribution because it satisfies several desirable properties, including distributional robustness. Moreover, we develop a fixed point algorithm that allows for large scale implementation and showcase our solution using a large scale publicly available dataset from Criteo, a large Demand Side Platform.


Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. In spite of the rapidly increasing number of applications of machine learning in various domains, a principled and systematic approach to the incorporation of domain knowledge in the engineering process is still lacking and ad hoc solutions that are difficult to validate are still the norm in practice, which is of growing concern not only in mission critical applications. In this note, we introduce Probabilistic Approximate Logic (PALO) as a logic based on the notion of mean approximate probability to overcome conceptual and computational difficulties inherent to strictly probabilistic logics. The logic is approximate in several dimensions. Logical independence assumptions are used to obtain approximate probabilities, but by averaging over many instances of formulas a useful estimate of mean probability with known confidence can usually be obtained. To enable efficient computational inference, the logic has a continuous semantics that reflects only a subset of the structural properties of classical logic, but this imprecision can be partly compensated by richer theories obtained by classical inference or other means. Computational inference, which refers to the construction of models and validation of logical properties, is based on Stochastic Gradient Descent (SGD) and Markov Chain Monte Carlo (MCMC) techniques and hence another dimension where approximations are involved. We also present the Logical Imagination Engine (LIME), a prototypical implementation of PALO based on TensorFlow. Albeit not limited to the biological domain, we illustrate its operation in a quite substantial bioinformatics machine learning application concerned with network synthesis and analysis in a recent DARPA project.


PolyLaneNet Lane Estimation via Deep Polynomial Regression. One of the main factors that contributed to the large advances in autonomous driving is the advent of deep learning. For safer self driving vehicles, one of the problems that has yet to be solved completely is lane detection. Since methods for this task have to work in real time ( 30 FPS), they not only have to be effective (i.e., have high accuracy) but they also have to be efficient (i.e., fast). In this work, we present a novel method for lane detection that uses as input an image from a forward looking camera mounted in the vehicle and outputs polynomials representing each lane marking in the image, via deep polynomial regression. The proposed method is shown to be competitive with existing state of the art methods in the TuSimple dataset while maintaining its efficiency (115 FPS). Additionally, extensive qualitative results on two additional public datasets are presented, alongside with limitations in the evaluation metrics used by recent works for lane detection. Finally, we provide source code and trained models that allow others to replicate all the results shown in this paper, which is surprisingly rare in state of the art lane detection methods. The full source code and pretrained models are available at https github.com lucastabelini PolyLaneNet.


Assess the impacts of human mobility change on COVID 19 dynamics in Arizona, U.S. a modeling study incorporating Google Community Mobility Reports. In June 2020, Arizona, U.S., emerged as one of the world's worst coronavirus disease 2019(COVID 19) spots after the stay at home order was lifted in the middle of May. However, with the decisions to reimpose restrictions, the number of COVID 19 cases has been declining, and Arizona is considered to be a good model in slowing the epidemic. In this paper, we aimed to examine the COVID 19 situation in Arizona and assess the impact of human mobility change. We constructed the mobility integrated metapopulation susceptible infectious removed model and fitted to publicly available datasets on COVID 19 cases and mobility changes in Arizona. Our simulations showed that by reducing human mobility, the peak time was delayed, and the final size of the epidemic was decreased in all three regions. Our analysis suggests that rapid and effective decision making is crucial to control human mobility and, therefore, COVID 19 epidemics. Until a vaccine is available, reimplementations of mobility restrictions in response to the increase of new COVID 19 cases might need to be considered in Arizona and beyond.


A formula for backward and control problems of the heat equation. (a). Using time analyticity result, we address a basic question for a nonhomogeneous backward heat equation (exact control problem) in the setting of smooth domains and compact manifolds, namely when is essentially time independent control possible? i.e. The control function is 0 on one time interval and stationary on the other. For general L 2 initial values, the answer is if and only if the full space domain is used for the control function. Also an explicit formula for the control function is found in the form of an infinite series involving the heat kernel, which converges rapidly. (b). A formal exact formula for a time dependent control function supported in a proper subdomain is also obtained via eigenfunctions of the Laplacian. The formula is rigorous on any finite dimensional space spanned by the eigenfunctions and there is no smoothness assumption on the whole domain, making partial progress on a problem on p74 cite Zu 1 . (c). A byproduct is an inversion formula for the heat kernel.


In Place Parallel Partition Algorithms using Exclusive Read and Write Memory. We present an in place algorithm for the partition problem that has linear work and polylogarithmic span. The algorithm uses only exclusive read write shared variables, and can be implemented using parallel for loops without any additional concurrency considerations (i.e., the algorithm is EREW). A key feature of the algorithm is that it exhibits provably optimal cache behavior, up to small order factors. We also present a second in place EREW algorithm for the partition problem that has linear work and span O( log n cdot log log n) , which is within an O( log log n) factor of the optimal span. By using this low span algorithm as a subroutine within the cache friendly algorithm, we are able to obtain a single EREW algorithm that combines their theoretical guarantees the algorithm achieves span O( log n cdot log log n) and optimal cache behavior. As an immediate consequence, we also get an in place EREW quicksort algorithm with work O(n log n) , span O( log 2 n cdot log log n) . Whereas the standard EREW algorithm for parallel partitioning is memory bandwidth bound on large numbers of cores, our cache friendly algorithm is able to achieve near ideal scaling in practice by avoiding the memory bandwidth bottleneck. The algorithm's performance is comparable to that of the Blocked Strided Algorithm of Francis, Pannan, Frias, and Petit, which is the previous state of the art for parallel EREW sorting algorithms, but which lacks theoretical guarantees on its span and cache behavior.


Assigning function to protein protein interactions a weakly supervised BioBERT based approach using PubMed abstracts. Motivation Protein protein interactions (PPI) are critical to the function of proteins in both normal and diseased cells, and many critical protein functions are mediated by interactions.Knowledge of the nature of these interactions is important for the construction of networks to analyse biological data. However, only a small percentage of PPIs captured in protein interaction databases have annotations of function available, e.g. only 4 of PPI are functionally annotated in the IntAct database. Here, we aim to label the function type of PPIs by extracting relationships described in PubMed abstracts. Method We create a weakly supervised dataset from the IntAct PPI database containing interacting protein pairs with annotated function and associated abstracts from the PubMed database. We apply a state of the art deep learning technique for biomedical natural language processing tasks, BioBERT, to build a model dubbed PPI BioBERT for identifying the function of PPIs. In order to extract high quality PPI functions at large scale, we use an ensemble of PPI BioBERT models to improve uncertainty estimation and apply an interaction type specific threshold to counteract the effects of variations in the number of training samples per interaction type. Results We scan 18 million PubMed abstracts to automatically identify 3253 new typed PPIs, including phosphorylation and acetylation interactions, with an overall precision of 46 (87 for acetylation) based on a human reviewed sample. This work demonstrates that analysis of biomedical abstracts for PPI function extraction is a feasible approach to substantially increasing the number of interactions annotated with function captured in online databases.


Gradient Based Adversarial Training on Transformer Networks for Detecting Check Worthy Factual Claims. We present a study on the efficacy of adversarial training on transformer neural network models, with respect to the task of detecting check worthy claims. In this work, we introduce the first adversarially regularized, transformer based claim spotter model that achieves state of the art results on multiple challenging benchmarks. We obtain a 4.70 point F1 score improvement over current state of the art models on the ClaimBuster Dataset and CLEF2019 Dataset, respectively. In the process, we propose a method to apply adversarial training to transformer models, which has the potential to be generalized to many similar text classification tasks. Along with our results, we are releasing our codebase and manually labeled datasets. We also showcase our models' real world usage via a live public API.


Closed Form Factorization of Latent Semantics in GANs. A rich set of interpretable dimensions has been shown to emerge in the latent space of the Generative Adversarial Networks (GANs) trained for synthesizing images. In order to identify such latent dimensions for image editing, previous methods typically annotate a collection of synthesized samples and train linear classifiers in the latent space. However, they require a clear definition of the target attribute as well as the corresponding manual annotations, limiting their applications in practice. In this work, we examine the internal representation learned by GANs to reveal the underlying variation factors in an unsupervised manner. In particular, we take a closer look into the generation mechanism of GANs and further propose a closed form factorization algorithm for latent semantic discovery by directly decomposing the pre trained weights. With a lightning fast implementation, our approach is capable of not only finding semantically meaningful dimensions comparably to the state of the art supervised methods, but also resulting in far more versatile concepts across multiple GAN models trained on a wide range of datasets.


Nonlinear inviscid damping near monotonic shear flows. We prove nonlinear asymptotic stability of a large class of monotonic shear flows among solutions of the 2D Euler equations in the channel mathbb T times 0,1 . More precisely, we consider shear flows (b(y),0) given by a function b which is Gevrey smooth, strictly increasing, and linear outside a compact subset of the interval (0,1) (to avoid boundary contributions which are incompatible with inviscid damping). We also assume that the associated linearized operator satisfies a suitable spectral condition, which is needed to prove linear inviscid damping. Under these assumptions, we show that if u is a solution which is a small and Gevrey smooth perturbation of such a shear flow (b(y),0) at time t 0 , then the velocity field u converges strongly to a nearby shear flow as the time goes to infinity. This is the first nonlinear asymptotic stability result for Euler equations around general steady solutions for which the linearized flow cannot be explicitly solved.