Online Advertising Security Issues, Taxonomy, and Future Directions. Online advertising has become the backbone of the Internet economy by revolutionizing business marketing. It provides a simple and efficient way for advertisers to display their advertisements to specific individual users, and over the last couple of years has contributed to an explosion in the income stream for several web based businesses. For example, Google's income from advertising grew 51.6 between 2016 and 2018, to 136.8 billion. This exponential growth in advertising revenue has motivated fraudsters to exploit the weaknesses of the online advertising model to make money, and researchers to discover new security vulnerabilities in the model, to propose countermeasures and to forecast future trends in research. Motivated by these considerations, this paper presents a comprehensive review of the security threats to online advertising systems. We begin by introducing the motivation for online advertising system, explain how it differs from traditional advertising networks, introduce terminology, and define the current online advertising architecture. We then devise a comprehensive taxonomy of attacks on online advertising to raise awareness among researchers about the vulnerabilities of online advertising ecosystem. We discuss the limitations and effectiveness of the countermeasures that have been developed to secure entities in the advertising ecosystem against these attacks. To complete our work, we identify some open issues and outline some possible directions for future research towards improving security methods for online advertising systems.


Label Enhanced Event Detection with Heterogeneous Graph Attention Networks. Event Detection (ED) aims to recognize instances of specified types of event triggers in text. Different from English ED, Chinese ED suffers from the problem of word trigger mismatch due to the uncertain word boundaries. Existing approaches injecting word information into character level models have achieved promising progress to alleviate this problem, but they are limited by two issues. First, the interaction between characters and lexicon words is not fully exploited. Second, they ignore the semantic information provided by event labels. We thus propose a novel architecture named Label enhanced Heterogeneous Graph Attention Networks (L HGAT). Specifically, we transform each sentence into a graph, where character nodes and word nodes are connected with different types of edges, so that the interaction between words and characters is fully reserved. A heterogeneous graph attention networks is then introduced to propagate relational message and enrich information interaction. Furthermore, we convert each label into a trigger prototype based embedding, and design a margin loss to guide the model distinguish confusing event labels. Experiments on two benchmark datasets show that our model achieves significant improvement over a range of competitive baseline methods.


Global local covers. This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.


What if we had no Wikipedia? Domain independent Term Extraction from a Large News Corpus. One of the most impressive human endeavors of the past two decades is the collection and categorization of human knowledge in the free and accessible format that is Wikipedia. In this work we ask what makes a term worthy of entering this edifice of knowledge, and having a page of its own in Wikipedia? To what extent is this a natural product of on going human discourse and discussion rather than an idiosyncratic choice of Wikipedia editors? Specifically, we aim to identify such "wiki worthy" terms in a massive news corpus, and see if this can be done with no, or minimal, dependency on actual Wikipedia entries. We suggest a five step pipeline for doing so, providing baseline results for all five, and the relevant datasets for benchmarking them. Our work sheds new light on the domain specific Automatic Term Extraction problem, with the problem at hand being a domain independent variant of it.


Eigenvalues, Smith normal form and determinantal ideals. Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the k th invariant factor of its SNF if the eigenvalue belongs to a variety of the k th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on mathbb R x , and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.


An Efficient Numerical Method for the Generalised Kolmogorov Equation. An efficient algorithm for computing the terms appearing in the Generalised Kolmogorov Equation (GKE) written for the indefinite plane channel flow is presented. The algorithm, which features three distinct strategies for parallel computing, is designed such that CPU and memory requirements are kept to a minimum, so that high Re wall bounded flows can be afforded. Computational efficiency is mainly achieved by leveraging the Parseval's theorem for the two homogeneous directions available in the plane channel geometry. A speedup of 3 4 orders of magnitude, depending on the problem size, is reported in comparison to a key implementation used in the literature. Validation of the code is demonstrated by computing the residual of the GKE, and example results are presented for channel flows at Re tau 200 and Re tau 1000, where for the first time they are observed in the whole four dimensional domain. It is shown that the space and scale properties of the scale energy fluxes change for increasing values of the Reynolds number. Among all scale energy fluxes, the wall normal flux is found to show the richest behaviour for increasing streamwise scales.


Error estimation in the method of quasi optimal weights. We examine the problem of construction of confidence intervals within the basic single parameter, single iteration variation of the method of quasi optimal weights. Two kinds of distortions of such intervals due to insufficiently large samples are examined, both allowing an analytical investigation. First, a criterion is developed for validity of the assumption of asymptotic normality together with a recipe for the corresponding corrections. Second, a method is derived to take into account the systematic shift of the confidence interval due to the non linearity of the theoretical mean of the weight as a function of the parameter to be estimated. A numerical example illustrates the two corrections.


Projective Integration Schemes for Hyperbolic Moment Equations. In this paper, we apply projective integration methods to hyperbolic moment models of the Boltzmann equation and the BGK equation, and investigate the numerical properties of the resulting scheme. Projective integration is an explicit, asymptotic preserving scheme that is tailored to problems with large spectral gaps between slow and (one or many) fast eigenvalue clusters of the model. The spectral analysis of a linearized moment model clearly shows spectral gaps and reveals the multi scale nature of the model for which projective integration is a matching choice. The combination of the non intrusive projective integration method with moment models allows for accurate, but efficient simulations with significant speedup, as demonstrated using several 1D and 2D test cases with different collision terms, collision frequencies and relaxation times.


A network paradigm for very high capacity mobile and fixed telecommunications ecosystem sustainable evolution. For very high capacity networks (VHC), the main objective is to improve the quality of the end user experience. This implies compliance with key performance indicators (KPIs) required by applications. Key performance indicators at the application level are throughput, download time, round trip time, and video delay. They depend on the end to end connection between the server and the end user device. For VHC networks, Telco operators must provide the required application quality. Moreover, they must meet the objectives of economic sustainability. Today, Telco operators rarely achieve the above objectives, mainly due to the push to increase the bit rate of access networks without considering the end to end KPIs of the applications. The main contribution of this paper concerns the definition of a deployment framework to address performance and cost issues for VHC networks. We show three actions on which it is necessary to focus. First, limiting bit rate through video compression. Second, contain the rate of packet loss through artificial intelligence algorithms for line stabilization. Third, reduce latency (i.e., round trip time) with edge cloud computing. The concerted and gradual application of these measures can allow a Telco to get out of the ultra broadband "trap" of the access network, as defined in the paper. We propose to work on end to end optimization of the bandwidth utilization ratio. This leads to a better performance experienced by the end user. It also allows a Telco operator to create new business models and obtain new revenue streams at a sustainable cost. To give a clear example, we describe how to realize mobile virtual and augmented reality, which is one of the most challenging future services.


Gamma Factory at CERN novel research tools made of light. We discuss the possibility of creating novel research tools by producing and storing highly relativistic beams of highly ionised atoms in the CERN accelerator complex, and by exciting their atomic degrees of freedom with lasers to produce high energy photon beams. Intensity of such photon beams would be by several orders of magnitude higher than offered by the presently operating light sources, in the particularly interesting gamma ray energy domain of 0.1 400 MeV. In this energy range, the high intensity photon beams can be used to produce secondary beams of polarised electrons, polarised positrons, polarised muons, neutrinos, neutrons and radioactive ions. New research opportunities in a wide domain of fundamental and applied physics can be opened by the Gamma Factory scientific programme based on the above primary and secondary beams.


Propagation Graph Estimation from Individual's Time Series of Observed States. Various things propagate through the medium of individuals. Some individuals follow the others and take the states similar to their states a small number of time steps later. In this paper, we study the problem of estimating the state propagation order of individuals from the real valued state sequences of all the individuals. We propose a method to estimate the propagation direction between individuals by the sum of the time delay of one individual's state positions from the other individual's matched state position averaged over the minimum cost alignments and show how to calculate it efficiently. The propagation order estimated by our proposed method is demonstrated to be significantly more accurate than that by a baseline method for our synthetic datasets, and also to be consistent with visually recognizable propagation orders for the dataset of Japanese stock price time series and biological cell firing state sequences.


Towards improving the e learning experience for deaf students e LUX. Deaf people are more heavily affected by the digital divide than many would expect. Moreover, most accessibility guidelines addressing their needs just deal with captioning and audio content transcription. However, this approach to the problem does not consider that deaf people have big troubles with vocal languages, even in their written form. At present, only a few organizations, like W3C, produced guidelines dealing with one of their most distinctive expressions Sign Language (SL). SL is, in fact, the visual gestural language used by many deaf people to communicate with each other. The present work aims at supporting e learning user experience (e LUX) for these specific users by enhancing the accessibility of content and container services. In particular, we propose preliminary solutions to tailor activities which can be more fruitful when performed in one's own "native" language, which for most deaf people, especially younger ones, is represented by national SL.


Enhanced broadband Terahertz radiation from two colour laser pulse interaction with thin dielectric solid target in air. We report enhanced broadband Terahertz (THz) generation and detailed characterization from the interaction of femtosecond two colour laser pulses with thin transparent dielectric tape target in ambient air. The proposed source is easy to implement, exhibits excellent scalability with laser energy. Spectral characterization using Fourier transform spectrometer reveals yield enhancement of more than 150 in the THz region of 0.1 10 THz with respect to conventional two colour laser plasma source in ambient air. Further, the source spectrum extends up to 40 THz with an enhancement of flux 30 . Experimental results, well supported with two dimensional particle in cell simulations establishes that the transient photo current produced by the asymmetric laser pulse interaction with air plasma as well as near solid density plasma formed on the tape surface is responsible for the enhanced terahertz generation. The source will be useful for the multidisciplinary activities and ongoing applications of the laboratory based terahertz sources.


The Next Era of American Law Amid the Advent of Autonomous AI Legal Reasoning. Legal scholars have postulated that there have been three eras of American law to date, consisting in chronological order of the initial Age of Discovery, the Age of Faith, and then the Age of Anxiety. An open question that has received erudite attention in legal studies is what the next era, the fourth era, might consist of, and for which various proposals exist including examples such as the Age of Consent, the Age of Information, etc. There is no consensus in the literature as yet on what the fourth era is, and nor whether the fourth era has already begun or will instead emerge in the future. This paper examines the potential era elucidating impacts amid the advent of autonomous Artificial Intelligence Legal Reasoning (AILR), entailing whether such AILR will be an element of a fourth era or a driver of a fourth, fifth, or perhaps the sixth era of American law. Also, a set of meta characteristics about the means of identifying a legal era changeover are introduced, along with an innovative discussion of the role entailing legal formalism versus legal realism in the emergence of the American law eras.


On Locally Quasiconformal Teichmuller Spaces. We define a universal Teichm "uller space for locally quasiconformal mappings whose dilatation grows not faster than a certain rate. Paralleling the classical Teichm "uller theory, we prove results of existence and uniqueness for extremal mappings in the generalized Teichm "uller class. Further, we analyze the circle maps that arise.


A note on the Higher order Tur ' a n inequalities for k regular partitions. Nicolas and DeSalvo and Pak proved that the partition function p(n) is log concave for n geq 25 . Chen, Jia and Wang proved that p(n) satisfies the third order Tur ' a n inequality, and that the associated degree 3 Jensen polynomials are hyperbolic for n geq 94 . More recently, Griffin, Ono, Rolen and Zagier proved more generally that for all d , the degree d Jensen polynomials associated to p(n) are hyperbolic for sufficiently large n . In this paper, we prove that the same result holds for the k regular partition function p k(n) for k geq 2 . In particular, for any positive integers d and k , the order d Tur ' a n inequalities hold for p k(n) for sufficiently large n . The case when d k 2 proves a conjecture by Neil Sloane that p 2(n) is log concave.


On certain isogenies between K3 surfaces. The aim of this paper is to construct "special" isogenies between K3 surfaces, which are not Galois covers between K3 surfaces, but are obtained by composing cyclic Galois covers, induced by quotients by symplectic automorphisms. We determine the families of K3 surfaces for which this construction is possible. To this purpose we will prove that there are infinitely many big families of K3 surfaces which both admit a finite symplectic automorphism and are (desingularizations of) quotients of other K3 surfaces by a symplectic automorphism. In the case of involutions, for any n in mathbb N 0 we determine the transcendental lattices of the K3 surfaces which are 2 n 1 isogenous (by a non Galois cover) to other K3 surfaces. We also study the Galois closure of the 2 2 1 isogenies and we describe the explicit geometry on an example.


Determining Relative Argument Specificity and Stance for Complex Argumentative Structures. Systems for automatic argument generation and debate require the ability to (1) determine the stance of any claims employed in the argument and (2) assess the specificity of each claim relative to the argument context. Existing work on understanding claim specificity and stance, however, has been limited to the study of argumentative structures that are relatively shallow, most often consisting of a single claim that directly supports or opposes the argument thesis. In this paper, we tackle these tasks in the context of complex arguments on a diverse set of topics. In particular, our dataset consists of manually curated argument trees for 741 controversial topics covering 95,312 unique claims lines of argument are generally of depth 2 to 6. We find that as the distance between a pair of claims increases along the argument path, determining the relative specificity of a pair of claims becomes easier and determining their relative stance becomes harder.


MATLAB Implementation of Element based Solvers. Rahman and Valdman (2013) introduced a vectorized way to assemble finite element stiffness and mass matrices in MATLAB. Local element matrices are computed all at once by array operations and stored in multi dimentional arrays (matrices). We build some iterative solvers on available multi dimentional structures completely avoiding the use of a sparse matrix.


Self similar shrinkers of the one dimensional Landau Lifshitz Gilbert equation. The main purpose of this paper is the analytical study of self shrinker solutions of the one dimensional Landau Lifshitz Gilbert equation (LLG), a model describing the dynamics for the spin in ferromagnetic materials. We show that there is a unique smooth family of backward self similar solutions to the LLG equation, up to symmetries, and we establish their asymptotics. Moreover, we obtain that in the presence of damping, the trajectories of the self similar profiles converge to great circles on the sphere mathbb S 2 , at an exponential rate. In particular, the results presented in this paper provide examples of blow up in finite time, where the singularity develops due to rapid oscillations forming limit circles.


A minimal model for synaptic integration in simple neurons. Synaptic integration is a prominent aspect of neuronal information processing. The detailed mechanisms that modulate synaptic inputs determine the computational properties of any given neuron. We study a simple model for the summation of excitatory inputs from synapses and illustrate its use by characterizing some functional properties of postsynaptic neurons. In this regard, we study the response of postsynaptic neurons as defined by the model to two well known noise driven processes stochastic and coherence resonance. The model requires a small number of parameters and is especially useful to isolate the role of integration mechanisms that rely on summation of inputs with little dendritic processing.


A Birkhoff Bruhat Atlas for partial flag varieties. A partial flag variety mathcal P K of a Kac Moody group G has a natural stratification into projected Richardson varieties. When G is a connected reductive group, a Bruhat atlas for mathcal P K was constructed by He, Knutson and Lu mathcal P K is locally modeled with Schubert varieties in some Kac Moody flag variety as stratified spaces. The existence of Bruaht atlases implies some nice combinatorial and geometric properties on the partial flag varieties and the decomposition into projected Richardson varieties. A Bruhat atlas does not exist for partial flag varieties of an arbitrary Kac Moody group due to combinatorial and geometric reasons. To overcome obstructions, we introduce the notion of Birkhoff Bruhat atlas. Instead of the Schubert varieties used in a Bruhat atlas, we use the J Schubert varieties for a Birkhoff Bruhat atlas. The notion of the J Schubert varieties interpolates Birkhoff decomposition and Bruhat decomposition of the full flag variety (of a larger Kac Moody group). The main result of this paper is the construction of a Birkhoff Bruhat atlas for any partial flag variety mathcal P K of a Kac Moody group. We also construct a combinatorial atlas for the index set Q K of the projected Richardson varieties in mathcal P K . As a consequence, we show that Q K has some nice combinatorial properties. This gives a new proof and generalizes the work of Williams in the case where the group G is a connected reductive group.


Generalized Circuit Elements. The structural analysis, i.e., the investigation of the differential algebraic nature, of circuits containing simple elements, i.e., resistances, inductances and capacitances is well established. However, nowadays circuits contain all sorts of elements, e.g. behavioral models or partial differential equations stemming from refined device modelling. This paper proposes the definition of generalized circuit elements which may for example contain additional internal degrees of freedom, such that those elements still behave structurally like resistances, inductances and capacitances. Several complex examples demonstrate the relevance of those definitions.


Algorithmic study of superspecial hyperelliptic curves over finite fields. This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are an algorithm to enumerate superspecial hyperelliptic curves of genus g over finite fields mathbb F q , and an algorithm to compute the automorphism group of a (not necessarily superspecial) hyperelliptic curve over finite fields. The first algorithm works for any (g,q) such that q and 2g 2 are coprime and q 2g 1 . As an application, we enumerate superspecial hyperelliptic curves of genus g 4 over mathbb F p for 11 leq p leq 23 and over mathbb F p 2 for 11 leq p leq 19 with our implementation on a computer algebra system Magma. Moreover, we found maximal hyperelliptic curves and minimal hyperelliptic curves over mathbb F p 2 from among enumerated superspecial ones. The second algorithm computes an automorphism as a concrete element in (a quotient of) a linear group in the general linear group of degree 2 .


SlugBot Developing a Computational Model andFramework of a Novel Dialogue Genre. One of the most interesting aspects of the Amazon Alexa Prize competition is that the framing of the competition requires the development of new computational models of dialogue and its structure. Traditional computational models of dialogue are of two types (1) task oriented dialogue, supported by AI planning models,or simplified planning models consisting of frames with slots to be filled or (2)search oriented dialogue where every user turn is treated as a search query that may elaborate and extend current search results. Alexa Prize dialogue systems such as SlugBot must support conversational capabilities that go beyond what these traditional models can do. Moreover, while traditional dialogue systems rely on theoretical computational models, there are no existing computational theories that circumscribe the expected system and user behaviors in the intended conversational genre of the Alexa Prize Bots. This paper describes how UCSC's SlugBot team has combined the development of a novel computational theoretical model, Discourse Relation Dialogue Model, with its implementation in a modular system in order to test and refine it. We highlight how our novel dialogue model has led us to create a novel ontological resource, UniSlug, and how the structure of UniSlug determine show we curate and structure content so that our dialogue manager implements and tests our novel computational dialogue model.


Measuring the Faraday effect in olive oil using permanent magnets and Malus' law. We present a simple permanent magnet set up that can be used to measure the Faraday effect in gases, liquids and solids. By fitting the transmission curve as a function of polarizer angle (Malus' law) we average over fluctuations in the laser intensity and can extract phase shifts as small as pm 50 mu rads. We have focused on measuring the Faraday effect in olive oil and find a Verdet coefficient of V 192 pm 1 deg T 1 m 1 at approximately 20 circ C for a wavelength of 659.2 nm. We show that the Verdet coefficient can be fit with a Drude like dispersion law A ( lambda 2 lambda 0 2) with coefficients A 7.9 pm 0.2 times 10 7 deg T 1 m 1 nm 2 and lambda 0 142 pm 13 nm.


Toward a quantum enhanced strontium optical lattice clock at INRIM. The new strontium atomic clock at INRIM seeks to establish a new frontier in quantum measurement by joining state of the art optical lattice clocks and the quantized electromagnetic field provided by a cavity QED setup. The goal of our experiment is to apply advanced quantum techniques to state of the art optical lattice clocks, demonstrating enhanced sensitivity while preserving long coherence times and the highest accuracy. In this paper we describe the current status of the experiment and the prospected sensitivity gain for the designed cavity QED setup.


Accelerated CNN Training Through Gradient Approximation. Training deep convolutional neural networks such as VGG and ResNet by gradient descent is an expensive exercise requiring specialized hardware such as GPUs. Recent works have examined the possibility of approximating the gradient computation while maintaining the same convergence properties. While promising, the approximations only work on relatively small datasets such as MNIST. They also fail to achieve real wall clock speedups due to lack of efficient GPU implementations of the proposed approximation methods. In this work, we explore three alternative methods to approximate gradients, with an efficient GPU kernel implementation for one of them. We achieve wall clock speedup with ResNet 20 and VGG 19 on the CIFAR 10 dataset upwards of 7 , with a minimal loss in validation accuracy.


Edge maximal graphs on orientable and some non orientable surfaces. We study edge maximal, non complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane mathbb N 1 , K 7 e is the unique such graph on the Klein bottle mathbb N 2 and K 8 E(C 5) is the unique such graph on the torus mathbb S 1 . In contrast to this for each g ge 2 we construct an infinite family of such graphs on the orientable surface mathbb S g of genus g , that are lfloor frac g 2 rfloor edges short of a triangulation.


Splittings of Toric Ideals. Let I subseteq R mathbb K x 1, ldots,x n be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal I can be "split" into the sum of two smaller toric ideals. For a general toric ideal I , we give a sufficient condition for this splitting in terms of the integer matrix that defines I . When I I G is the toric ideal of a finite simple graph G , we give additional splittings of I G related to subgraphs of G . When there exists a splitting I I 1 I 2 of the toric ideal, we show that in some cases we can describe the (multi )graded Betti numbers of I in terms of the (multi )graded Betti numbers of I 1 and I 2 .


Latent CF A Simple Baseline for Reverse Counterfactual Explanations. In the environment of fair lending laws and the General Data Protection Regulation (GDPR), the ability to explain a model's prediction is of paramount importance. High quality explanations are the first step in assessing fairness. Counterfactuals are valuable tools for explainability. They provide actionable, comprehensible explanations for the individual who is subject to decisions made from the prediction. It is important to find a baseline for producing them. We propose a simple method for generating counterfactuals by using gradient descent to search in the latent space of an autoencoder and benchmark our method against approaches that search for counterfactuals in feature space. Additionally, we implement metrics to concretely evaluate the quality of the counterfactuals. We show that latent space counterfactual generation strikes a balance between the speed of basic feature gradient descent methods and the sparseness and authenticity of counterfactuals generated by more complex feature space oriented techniques.


Data driven Inferences of Agency level Risk and Response Communication on COVID 19 through Social Media based Interactions. Risk and response communication of public agencies through social media played a significant role in the emergence and spread of novel Coronavirus (COVID 19) and such interactions were echoed in other information outlets. This study collected time sensitive online social media data and analyzed such communication patterns from public health (WHO, CDC), emergency (FEMA), and transportation (FDOT) agencies using data driven methods. The scope of the work includes a detailed understanding of how agencies communicate risk information through social media during a pandemic and influence community response (i.e. timing of lockdown, timing of reopening) and disease outbreak indicators (i.e. number of confirmed cases, number of deaths). The data includes Twitter interactions from different agencies (2.15K tweets per agency on average) and crowdsourced data (i.e. Worldometer) on COVID 19 cases and deaths were observed between February 21, 2020 and June 06, 2020. Several machine learning techniques such as (i.e. topic mining and sentiment ratings over time) are applied here to identify the dynamics of emergent topics during this unprecedented time. Temporal infographics of the results captured the agency levels variations over time in circulating information about the importance of face covering, home quarantine, social distancing and contact tracing. In addition, agencies showed differences in their discussions about community transmission, lack of personal protective equipment, testing and medical supplies, use of tobacco, vaccine, mental health issues, hospitalization, hurricane season, airports, construction work among others. Findings could support more efficient transfer of risk and response information as communities shift to new normal as well as in future pandemics.


Convergence analysis of a variational data assimilation scheme for bathymetry detection from surface wave observations. Accurate mapping of ocean bathymetry is a multi faceted process, needed for safe and efficient navigation on shipping routes and for predicting tsunami waves. Currently available bathymetry data does not always provide the resolution to capture dynamics of such nonlinear waves accurately. However collection of accurate mapping data is difficult, costly, and often a dangerous affair. As an alternative, in this study we implement a variational data assimilation scheme on the one dimensional shallow water equations to improve estimates of bathymetry, using a finite set of observations of surface wave height to optimise predictions. We show necessary conditions on system parameters for convergence, and implement a low pass filter for increased regularity of our reconstructed bathymetry. If our objective is to use this to model tsunami propagation, we observe that a relatively higher error in the optimal reconstruction of the bathymetry still yields a highly accurate prediction of the surface wave, suggesting low sensitivity of surface waves to small scale effects in the bathymetry. These conclusions are based on numerical experiments for both Gaussian and sandbar profile bathymetry, and with different observation operators.These extension of these results to realistic models can potentially have a significant impact, as computational cost can be minimised through a priori knowledge of sufficient error tolerances needed for accurate tsunami prediction.


Measurement Based Evaluation Of Google Apple Exposure Notification API For Proximity Detection in a Commuter Bus. We report on the results of a measurement study carried out on a commuter bus in Dublin, Ireland using the Google Apple Exposure Notification (GAEN) API. This API is likely to be widely used by Covid 19 contact tracing apps. Measurements were collected between 60 pairs of handset locations and are publicly available. We find that the attenuation level reported by the GAEN API need not increase with distance between handsets, consistent with there being a complex radio environment inside a bus caused by the metal rich environment. Changing the people holding a pair of handsets, with the location of the handsets otherwise remaining unchanged, can cause variations of 10dB in the attenuation level reported by the GAEN API. Applying the rule used by the Swiss Covid 19 contact tracing app to trigger an exposure notification to our bus measurements we find that no exposure notifications would have been triggered despite the fact that all pairs of handsets were within 2m of one another for at least 15 mins. Applying an alternative threshold based exposure notification rule can somewhat improve performance to a detection rate of 5 when an exposure duration threshold of 15 minutes is used, increasing to 8 when the exposure duration threshold is reduced to 10 mins. Stratifying the data by distance between pairs of handsets indicates that there is only a weak dependence of detection rate on distance.


Selecting efficient and reliable preservation strategies modeling long term information integrity using large scale hierarchical discrete event simulation. This article addresses the problem of formulating efficient and reliable operational preservation policies that ensure bit level information integrity over long periods, and in the presence of a diverse range of real world technical, legal, organizational, and economic threats. We develop a systematic, quantitative prediction framework that combines formal modeling, discrete event based simulation, hierarchical modeling, and then use empirically calibrated sensitivity analysis to identify effective strategies. The framework offers flexibility for the modeling of a wide range of preservation policies and threats. Since this framework is open source and easily deployed in a cloud computing environment, it can be used to produce analysis based on independent estimates of scenario specific costs, reliability, and risks.


Pose Augmentation Class agnostic Object Pose Transformation for Object Recognition. Object pose increases intraclass object variance which makes object recognition from 2D images harder. To render a classifier robust to pose variations, most deep neural networks try to eliminate the influence of pose by using large datasets with many poses for each class. Here, we propose a different approach a class agnostic object pose transformation network (OPT Net) can transform an image along 3D yaw and pitch axes to synthesize additional poses continuously. Synthesized images lead to better training of an object classifier. We design a novel eliminate add structure to explicitly disentangle pose from object identity first eliminate pose information of the input image and then add target pose information (regularized as continuous variables) to synthesize any target pose. We trained OPT Net on images of toy vehicles shot on a turntable from the iLab 20M dataset. After training on unbalanced discrete poses (5 classes with 6 poses per object instance, plus 5 classes with only 2 poses), we show that OPT Net can synthesize balanced continuous new poses along yaw and pitch axes with high quality. Training a ResNet 18 classifier with original plus synthesized poses improves mAP accuracy by 9 overtraining on original poses only. Further, the pre trained OPT Net can generalize to new object classes, which we demonstrate on both iLab 20M and RGB D. We also show that the learned features can generalize to ImageNet.


Highly Parallelized Data driven MPC for Minimal Intervention Shared Control. We present a shared control paradigm that improves a user's ability to operate complex, dynamic systems in potentially dangerous environments without a priori knowledge of the user's objective. In this paradigm, the role of the autonomous partner is to improve the general safety of the system without constraining the user's ability to achieve unspecified behaviors. Our approach relies on a data driven, model based representation of the joint human machine system to evaluate, in parallel, a significant number of potential inputs that the user may wish to provide. These samples are used to (1) predict the safety of the system over a receding horizon, and (2) minimize the influence of the autonomous partner. The resulting shared control algorithm maximizes the authority allocated to the human partner to improve their sense of agency, while improving safety. We evaluate the efficacy of our shared control algorithm with a human subjects study (n 20) conducted in two simulated environments a balance bot and a race car. During the experiment, users are free to operate each system however they would like (i.e., there is no specified task) and are only asked to try to avoid unsafe regions of the state space. Using modern computational resources (i.e., GPUs) our approach is able to consider more than 10,000 potential trajectories at each time step in a control loop running at 100Hz for the balance bot and 60Hz for the race car. The results of the study show that our shared control paradigm improves system safety without knowledge of the user's goal, while maintaining high levels of user satisfaction and low levels of frustration. Our code is available online at https github.com asbroad mpmi shared control.


Graphene ribbons with suspended masses as transducers in ultra small nanoelectromechanical accelerometers. Nanoelectromechanical system (NEMS) sensors and actuators could be of use in the development of next generation mobile, wearable, and implantable devices. However, these NEMS devices require transducers that are ultra small, sensitive and can be fabricated at low cost. Here, we show that suspended double layer graphene ribbons with attached silicon proof masses can be used as combined spring mass and piezoresistive transducers. The transducers, which are realized using processes that are compatible with large scale semiconductor manufacturing technologies, can yield NEMS accelerometers that occupy at least two orders of magnitude smaller die area than conventional state of the art silicon accelerometers.


Sparse Single Sweep LiDAR Point Cloud Segmentation via Learning Contextual Shape Priors from Scene Completion. LiDAR point cloud analysis is a core task for 3D computer vision, especially for autonomous driving. However, due to the severe sparsity and noise interference in the single sweep LiDAR point cloud, the accurate semantic segmentation is non trivial to achieve. In this paper, we propose a novel sparse LiDAR point cloud semantic segmentation framework assisted by learned contextual shape priors. In practice, an initial semantic segmentation (SS) of a single sweep point cloud can be achieved by any appealing network and then flows into the semantic scene completion (SSC) module as the input. By merging multiple frames in the LiDAR sequence as supervision, the optimized SSC module has learned the contextual shape priors from sequential LiDAR data, completing the sparse single sweep point cloud to the dense one. Thus, it inherently improves SS optimization through fully end to end training. Besides, a Point Voxel Interaction (PVI) module is proposed to further enhance the knowledge fusion between SS and SSC tasks, i.e., promoting the interaction of incomplete local geometry of point cloud and complete voxel wise global structure. Furthermore, the auxiliary SSC and PVI modules can be discarded during inference without extra burden for SS. Extensive experiments confirm that our JS3C Net achieves superior performance on both SemanticKITTI and SemanticPOSS benchmarks, i.e., 4 and 3 improvement correspondingly.


A new compact, portable 2 LTD brick x pinch driver at the Idaho Accelerator Center design, fabrication, testing and x ray performance. We propose to construct a compact and portable x pinch driver with x ray radiation performance, comparable to standard x pinch drivers. Such a new x pinch driver was recently designed, fabricated and tested at the Idaho Accelerator Center. The generator is based on two slow LTD bricks combined into one solid unit, and can be described by a simple RLC circuit with four fast 140 nF, 100 kV capacitors that store up to 2.8 kJ. The test data reveals that when charged to 80 kV, the driver supplies 185 kA peak current into a short Ni wire load with 220 ns, 10 90 , rise time. The total internal inductance of our driver was measured to be about 60 nH. The revised driver model shows that when fully charged to 100 kV, the driver will supply 180 kA peak current with 150 ns rise time into the x pinch load. The corresponding current rise rate is about 1.2 kA ns. To prove the driver x pinch efficiency and to estimate the x ray radiation performance, we could, for example, image an exploding wires, placed in a separate HV pulser, with our x pinch x ray radiation source. The study of exploding wires helps to understand the behavior of a warm dense matter, and our x pinch driver can be part of the diagnostics needed for this study which is currently under progress at the IAC. Our driver contains no oil inside, is very compact and portable, and can be easily relocated to practically anywhere, which makes it an ideal backlighting diagnostic tool in many areas of plasma physics, biology, and industry where a bright, fast, and small x pinch radiation source is required.


Hybrid MMSE Beamforming for Multiuser Millimeter Wave Communication Systems. This letter investigates the hybrid analog and digital beamforming (HBF) design for multiuser millimeter wave (mmWave) communication systems based on the minimum mean square error (MMSE) criterion. Using the alternating minimization method, the hybrid precoder of the base station (BS) and the hybrid combiners of the users are alternatively optimized. It is shown that both the optimized digital precoder of the BS and the digital combiners of the users have closed form expressions, and their corresponding analog ones can be efficiently obtained via generalized eigen decomposition. Simulation results show that the proposed MMSE HBF scheme has fast convergence and performs close to the fully digital beamforming.


Simple control for complex pandemics. The COVID 19 pandemic began over two years ago, yet schools, businesses, and other organizations are still struggling to keep the risk of disease outbreak low while returning to (near) normal functionality. Observations from these past years suggest that this goal can be achieved through the right balance of mitigation strategies, which may include some combination of mask use, vaccinations, viral testing, and contact tracing. The choice of mitigation measures will be uniquely based on the needs and available resources of each organization. This article presents practical guidance for creating these policies based on an analytical model of disease spread that captures the combined effects of each of these interventions. The resulting guidance is tested through simulation across a wide range of parameters and used to discuss the spread of disease on college campuses.


Broadband and robust adiabatic second harmonic generation by a temperature gradient in birefringently phase matched lithium triborate crystal. Phase matched nonlinear processes exhibit a tradeoff between the conversion efficiency and the acceptance bandwidth. Adiabatic nonlinear processes, in which the phase mismatch varies slowly along the interaction length, enable us to overcome this tradeoff, allowing an efficient frequency conversion with broad spectral and thermal bandwidths. Until now, the variation in the phase mismatch condition was mainly based on quasi phase matching in ferroelectric crystals. However, this solution is limited to low power sources. Here, instead, we study the adiabatic second harmonic in birefringently phase matched lithium triborate crystal, enabling us to handle much higher power levels. The variation in the phase mismatch is achieved by inducing a temperature gradient along the crystal. By using a 50 mm long crystal, the adiabatic process provided a temperature bandwidth of 18 celsius degrees, 5.4 times wider than what is achieved when the same crystal is held at the fixed phasematching temperature. The conversion efficiency exceeded 60 for a 0.9 millijoule pump pulse.


The level of distribution of the sum of digits function of linear recurrence number systems. Let G (G j) j ge 0 be a strictly increasing linear recurrent sequence of integers with G 0 1 having characteristic polynomial X d a 1X d 1 cdots a d 1 X a d . It is well known that each positive integer nu can be uniquely represented by the so called greedy expansion nu varepsilon 0( nu)G 0 cdots varepsilon ell( nu)G ell for ell in mathbb N satisfying G ell le nu G ell 1 . Here the digits are defined recursively in a way that 0 le nu varepsilon ell ( nu) G ell cdots varepsilon j( nu) G j G j holds for 0 le j le ell . In the present paper we study the sum of digits function s G( nu) varepsilon 0( nu) cdots varepsilon ell( nu) under certain natural assumptions on the sequence G . In particular, we determine its level of distribution x vartheta . To be more precise, we show that for r,s in mathbb N with gcd(a 1 cdots a d 1,s) 1 we have for each x ge 1 and all A, varepsilon in mathbb R 0 that sum q x vartheta varepsilon max z x max 1 leq h leq q lvert sum substack k z,s G(k) equiv r bmod s k equiv h bmod q 1 frac1q sum k z,s G(k) equiv r bmod s 1 rvert ll x( log 2x) A . Here vartheta vartheta(G) ge frac12 can be computed explicitly and we have vartheta(G) to 1 for a 1 to infty . As an application we show that k le x , , s G(k) equiv r pmod s , k hbox has at most two prime factors gg x log x provided that the coefficient a 1 is not too small. Moreover, using Bombieri's sieve an "almost prime number theorem" for s G follows from our result. Our work extends earlier results on the classical q ary sum of digits function obtained by Fouvry and Mauduit.


Elliptic supersonic jet morphology manipulation using sharp tipped lobes. Elliptic nozzle geometry is attractive for mixing enhancement of supersonic jets. However, jet dynamics, such as flapping, gives rise to high intensity tonal sound. We experimentally manipulate the supersonic elliptic jet morphology by using two sharp tipped lobes. The lobes are placed on either end of the minor axis in an elliptic nozzle. The design Mach number and the aspect ratio of the elliptic nozzle and the lobed nozzle are 2.0 and 1.65. The supersonic jet is exhausted into ambient at almost perfectly expanded conditions. Time resolved schlieren imaging, longitudinal and cross sectional planar laser Mie scattering imaging, planar Particle Image Velocimetry, and near field microphone measurements are performed to assess the fluidic behavior of the two nozzles. Dynamic Mode and Proper Orthogonal Decomposition (DMD and POD) analysis are carried out on the schlieren and the Mie scattering images. Mixing characteristics are extracted from the Mie scattering images through the image processing routines. The flapping elliptic jet consists of two dominant DMD modes, while the lobed nozzle has only one dominant mode, and the flapping is suppressed. Microphone measurements show the associated noise reduction. The jet column bifurcates in the lobed nozzle enabling a larger surface contact area with the ambient fluid and higher mixing rates in the near field of the nozzle exit. The jet width growth rate of the two lobed nozzle is about twice as that of the elliptic jet in the near field, and there is a 40 reduction in the potential core length. Particle Image Velocimetry (PIV) contours substantiate the results.


Spatial variations in the Caspian Sea wave climate in 2002 2013 from satellite altimetry. The core properties of the wave climate and its changes in the Caspian Sea are established in terms of the annual mean significant wave height and its regional changes in 2002 2013 based on the outcome of the satellite altimetry mission JASON 1. Remotely estimated wave heights are validated against properties of the empirical distribution of instrumentally measured wave heights in the southern Caspian Sea and monthly averages of visually observed wave heights at three locations. A correction for systematic differences leads to very good correspondence between monthly averaged in situ and satellite data with a typical root mean square difference of 0.06 m. The average significant wave height in the Caspian Sea is 0.5 0.7 m in the northern basin of the sea, around 1.2 m in large parts of the central and southern basins and reaches up to 1.8 m in the northern segment of the central basin. The basin wide average wave intensity varied insignificantly in the range of 1.02 1.14 m in 2002 2013. These estimates overestimate the wave heights by about 30 because low wave conditions are ignored. Substantial and statistically significant changes in the wave height occurred in certain areas. The wave height decreased by 0.019 0.007 m yr in the eastern segment of the central basin and by 0.04 0.04 m yr in the western segment of the southern basin. These changes can be explained by an increase in the frequency of westerly winds at the expence of southerly winds. Both basin wide and regional extreme wave heights exhibit large interannual variations but do not show any significant trend. The patterns of changes in mean and extreme wave height are different. The average wave height has increased while the extreme wave height has decreased in the eastern segment of the southern basin.


Sharp Inequalities for maximal operators on finite graphs. Let G (V,E) be a finite graph and M G be the centered Hardy Littlewood maximal operator defined there. We find the optimal value bf C G,p such that the inequality text Var p (M G f) leq textbf C G,p text Var p (f) holds for every f V to mathbb R , where text Var p stands for the p variation, when (i) G K n (complete graph) and p in frac log(4) log(6) , infty) or G K 4 and p in (0, infty) (ii) G S n (star graph) and 1 ge p ge frac 1 2 p in (0, frac 1 2 ) and n ge C(p) or G S 3 and p in (1, infty). We also find the value of the norm M G 2 when (i) G K n and n ge 3 (ii) G S n and n ge 3.


Wireless Technologies for Agricultural Monitoring using Internet of Things Devices with Energy Harvesting Capabilities. Technological advances in the Internet of Things (IoT) have lead the way for technology to be used in ways that were never possible before. Through the development of devices with low power radios, Wireless Sensor Networks (WSN) can be configured for almost any type of application. Agricultural has been one example where IoT and WSN have been able to increase productivity, efficiency, and output yield. Systems that previously required manual operation can be easily replaced with sensors and actuators to automate the process such as irrigation and disease management. Powering these devices is a concern as batteries are often required due to devices being located where electricity is not readily available. In this paper, a comparison is performed between three wireless technologies IEEE 802.15.4 (Zigbee), Long Range Wireless Area Network (LoRaWAN), and IEEE 802.11g (WiFi 2.4 GHz) for agricultural monitoring with energy harvesting capabilities. According to experimental results, LoRaWAN is the optimal technology to use in an agricultural monitoring system where power consumption and network lifetime are a priority. The experimental results can be used for the selection of wireless technology for agricultural monitoring following application requirements.


A Privacy Preserving Machine Learning Scheme Using EtC Images. We propose a privacy preserving machine learning scheme with encryption then compression (EtC) images, where EtC images are images encrypted by using a block based encryption method proposed for EtC systems with JPEG compression. In this paper, a novel property of EtC images is first discussed, although EtC ones was already shown to be compressible as a property. The novel property allows us to directly apply EtC images to machine learning algorithms non specialized for computing encrypted data. In addition, the proposed scheme is demonstrated to provide no degradation in the performance of some typical machine learning algorithms including the support vector machine algorithm with kernel trick and random forests under the use of z score normalization. A number of facial recognition experiments with are carried out to confirm the effectiveness of the proposed scheme.


PointRNN Point Recurrent Neural Network for Moving Point Cloud Processing. In this paper, we introduce a Point Recurrent Neural Network (PointRNN) for moving point cloud processing. At each time step, PointRNN takes point coordinates boldsymbol P in mathbb R n times 3 and point features boldsymbol X in mathbb R n times d as input ( n and d denote the number of points and the number of feature channels, respectively). The state of PointRNN is composed of point coordinates boldsymbol P and point states boldsymbol S in mathbb R n times d' ( d' denotes the number of state channels). Similarly, the output of PointRNN is composed of boldsymbol P and new point features boldsymbol Y in mathbb R n times d'' ( d'' denotes the number of new feature channels). Since point clouds are orderless, point features and states from two time steps can not be directly operated. Therefore, a point based spatiotemporally local correlation is adopted to aggregate point features and states according to point coordinates. We further propose two variants of PointRNN, i.e., Point Gated Recurrent Unit (PointGRU) and Point Long Short Term Memory (PointLSTM). We apply PointRNN, PointGRU and PointLSTM to moving point cloud prediction, which aims to predict the future trajectories of points in a set given their history movements. Experimental results show that PointRNN, PointGRU and PointLSTM are able to produce correct predictions on both synthetic and real world datasets, demonstrating their ability to model point cloud sequences. The code has been released at url https github.com hehefan PointRNN .


Lawrence Bigelow representations, bases and duality. We study homological representations of mapping class groups, including the braid groups. These arise from the twisted homology of certain configuration spaces, and come in many different flavours. Our goal is to give a unified general account of the fundamental relationships (non degenerate pairings, embeddings, isomorphisms) between the many different flavours of homological representations. Our motivating examples are the Lawrence Bigelow representations of the braid groups, which are of central importance in the study of the braid groups themselves, as well as their connections with quantum invariants of knots and links.


Electro optical imaging of electric fields in silicon sensors. A conceptual set up for measuring the electric field in silicon detectors by electro optical imaging is proposed. It is based on the Franz Keldysh effect which describes the electric field dependence of the absorption of light with an energy close to the silicon band gap. Using published data, a measurement accuracy of 1 to 4 kV cm is estimated. The set up is intended for determining the electric field in radiation damaged silicon detectors as a function of irradiation fluence and particle type, temperature and bias voltage. The overall concept and the individual components of the set up are presented.


PINFER Privacy Preserving Inference for Machine Learning. The foreseen growing role of outsourced machine learning services is raising concerns about the privacy of user data. Several technical solutions are being proposed to address the issue. Hardware security modules in cloud data centres appear limited to enterprise customers due to their complexity, while general multi party computation techniques require a large number of message exchanges. This paper proposes a variety of protocols for privacy preserving regression and classification that (i) only require additively homomorphic encryption algorithms, (ii) limit interactions to a mere request and response, and (iii) that can be used directly for important machine learning algorithms such as logistic regression and SVM classification. The basic protocols are then extended and applied to feed forward neural networks.


One shot screening of potential peptide ligands on HR1 domain in COVID 19 glycosylated spike (S) protein with deep siamese network. The novel coronavirus (2019 nCoV) has been declared to be a new international health emergence and no specific drug has been yet identified. Several methods are currently being evaluated such as protease and glycosylated spike (S) protein inhibitors, that outlines the main fusion site among coronavirus and host cells. Notwithstanding, the Heptad Repeat 1 (HR1) domain on the glycosylated spike (S) protein is the region with less mutability and then the most encouraging target for new inhibitors drugs.The novelty of the proposed approach, compared to others, lies in a precise training of a deep neural network toward the 2019 nCoV virus. Where a Siamese Neural Network (SNN) has been trained to distingue the whole 2019 nCoV protein sequence amongst two different viruses family such as HIV 1 and Ebola. In this way, the present deep learning system has precise knowledge of peptide linkage among 2019 nCoV protein structure and differently, of other works, is not trivially trained on public datasets that have not been provided any ligand peptide information for 2019 nCoV. Suddenly, the SNN shows a sensitivity of 83 of peptide affinity classification, where 3027 peptides on SATPdb bank have been tested towards the specific region HR1 of 2019 nCoV exhibiting an affinity of 93 for the peptidyl prolyl cis trans isomerase (PPIase) peptide. This affinity between PPIase and HR1 can open new horizons of research since several scientific papers have already shown that CsA immunosuppression drug, a main inhibitor of PPIase, suppress the reproduction of different CoV virus included SARS CoV and MERS CoV. Finally, to ensure the scientific reproducibility, code and data have been made public at the following link https github.com bionick87 2019 nCoV


Mass transport in multicomponent compressible fluids Local and global well posedness in classes of strong solutions for general class one models. We consider a system of partial differential equations describing mass transport in a multicomponent isothermal compressible fluid. The diffusion fluxes obey the Fick Onsager or Maxwell Stefan closure approach. Mechanical forces result into one single convective mixture velocity, the barycentric one, which obeys the Navier Stokes equations. The thermodynamic pressure is defined by the Gibbs Duhem equation. Chemical potentials and pressure are derived from a thermodynamic potential, the Helmholtz free energy, with a bulk density allowed to be a general convex function of the mass densities of the constituents. The resulting PDEs are of mixed parabolic hyperbolic type. We prove two theoretical results concerning the well posedness of the model in classes of strong solutions 1. The solution always exists and is unique for short times and 2. If the initial data are sufficiently near to an equilibrium solution, the well posedness is valid on arbitrary large, but finite time intervals. Both results rely on a contraction principle valid for systems of mixed type that behave like the compressible Navier Stokes equations. The linearised parabolic part of the operator possesses the self map property with respect to some closed ball in the state space, while being contractive in a lower order norm only. In this paper, we implement these ideas by means of precise a priori estimates in spaces of exact regularity.


Investigation of Self similar Properties of Additive Data Traffic. The work presents results of numerical study of self similar properties of additive data traffic. It is shown that the value of Hurst exponent of total stream is determined by the maximum value of Hurst exponent of summed streams and the ratio of variation coefficient of stream with maximum Hurst exponent and other ones.


Generating Novel Glyph without Human Data by Learning to Communicate. In this paper, we present Neural Glyph, a system that generates novel glyph without any training data. The generator and the classifier are trained to communicate via visual symbols as a medium, which enforces the generator to come up with a set of distinctive symbols. Our method results in glyphs that resemble the human made glyphs, which may imply that the visual appearances of existing glyphs can be attributed to constraints of communication via writing. Important tricks that enable this framework are described and the code is made available.


Unipotent extensions and differential equations (after Bloch Vlasenko). S. Bloch and M. Vlasenko recently introduced a theory of emph motivic Gamma functions , given by periods of the Mellin transform of a geometric variation of Hodge structure, which they tie to the monodromy and asymptotic behavior of certain unipotent extensions of the variation. Here we further examine these Gamma functions and the related emph Ap 'ery and Frobenius invariants of a VHS, and establish a relationship to motivic cohomology and solutions to inhomogeneous Picard Fuchs equations.


Good Stabilizer Codes from Quasi Cyclic Codes over mathbb F 4 and mathbb F 9 . We apply quantum Construction X on quasi cyclic codes with large Hermitian hulls over mathbb F 4 and mathbb F 9 to derive good qubit and qutrit stabilizer codes, respectively. In several occasions we obtain quantum codes with stricly improved parameters than the current record. In numerous other occasions we obtain quantum codes with best known performance. For the qutrit ones we supply a systematic construction to fill some gaps in the literature.


Monomial Cartesian codes and their duals, with applications to LCD codes, quantum codes, and locally recoverable codes. A monomial Cartesian code is an evaluation code defined by evaluating a set of monomials over a Cartesian product. It is a generalization of some families of codes in the literature, for instance toric codes, affine Cartesian codes and J affine variety codes. In this work we use the vanishing ideal of the Cartesian product to give a description of the dual of a monomial Cartesian code. Then we use such description of the dual to prove the existence of quantum error correcting codes and MDS quantum error correcting codes. Finally we show that the direct product of monomial Cartesian codes is a locally recoverable code with t availability if at least t of the components are locally recoverable codes.


Tensor optimal transport, distance between sets of measures and tensor scaling. We study the optimal transport problem for d 2 discrete measures. This is a linear programming problem on d tensors. It gives a way to compute a "distance" between two sets of discrete measures. We introduce an entropic regularization term, which gives rise to a scaling of tensors. We give a variation of the celebrated Sinkhorn scaling algorithm. We show that this algorithm can be viewed as a partial minimization algorithm of a strictly convex function. Under appropriate conditions the rate of convergence is geometric and we estimate the rate. Our results are generalizations of known results for the classical case of two discrete measures.


Online Quantitative Timed Pattern Matching with Semiring Valued Weighted Automata. Monitoring of a signal plays an essential role in the runtime verification of cyber physical systems. Qualitative timed pattern matching is one of the mathematical formulations of monitoring, which gives a Boolean verdict for each sub signal according to the satisfaction of the given specification. There are two orthogonal directions of extension of the qualitative timed pattern matching. One direction on the result is quantitative what engineers want is often not a qualitative verdict but the quantitative measurement of the satisfaction of the specification. The other direction on the algorithm is online checking the monitor returns some verdicts before obtaining the entire signal, which enables to monitor a running system. It is desired from application viewpoints. In this paper, we conduct these two extensions, taking an automata based approach. This is the first quantitative and online timed pattern matching algorithm to the best of our knowledge. More specifically, we employ what we call timed symbolic weighted automata to specify quantitative specifications to be monitored, and we obtain an online algorithm using the shortest distance of a weighted variant of the zone graph and dynamic programming. Moreover, our problem setting is semiring based and therefore, general. Our experimental results confirm the scalability of our algorithm for specifications with a time bound.


Beyond Human Parts Dual Part Aligned Representations for Person Re Identification. Person re identification is a challenging task due to various complex factors. Recent studies have attempted to integrate human parsing results or externally defined attributes to help capture human parts or important object regions. On the other hand, there still exist many useful contextual cues that do not fall into the scope of predefined human parts or attributes. In this paper, we address the missed contextual cues by exploiting both the accurate human parts and the coarse non human parts. In our implementation, we apply a human parsing model to extract the binary human part masks emph and a self attention mechanism to capture the soft latent (non human) part masks. We verify the effectiveness of our approach with new state of the art performances on three challenging benchmarks Market 1501, DukeMTMC reID and CUHK03. Our implementation is available at https github.com ggjy P2Net.pytorch.


Para Sasaki like Riemannian manifolds and new Einstein metrics. We extract a new class of paracontact paracomplex Riemannian manifolds arising from certain cone construction, call it para Sasaki like Riemannian manifold and give explicit examples. We define a hyperbolic extension of a paraholomorphic paracomplex Riemannian manifold, which is a local product of two Riemannian spaces with equal dimensions, showing that it is a para Sasaki like Riemannian manifold. If the starting paraholomorphic paracomplex Riemannian manifold is complete Einstein with negative scalar curvature then its hyperbolic extension is a complete Einstein para Sasaki like Riemannian manifold with negative scalar curvature thus producing new examples of complete Einstein Riemannian manifold with negative scalar curvature.


Improved Approximation Factor for Adaptive Influence Maximization via Simple Greedy Strategies. In the adaptive influence maximization problem, we are given a social network and a budget k , and we iteratively select k nodes, called seeds, in order to maximize the expected number of nodes that are reached by an influence cascade that they generate according to a stochastic model for influence diffusion. Differently from the non adaptive influence maximization problem, where all the seeds must be selected beforehand, here nodes are selected sequentially one by one, and the decision on the i th seed is based on the observed cascade produced by the first i 1 seeds. We focus on the myopic feedback model, in which we can only observe which neighbors of previously selected seeds have been influenced and on the independent cascade model, where each edge is associated with an independent probability of diffusing influence. Previous works showed that the adaptivity gap is at most 4 , which implies that the non adaptive greedy algorithm guarantees an approximation factor of frac 1 4 left(1 frac 1 e right) for the adaptive problem. In this paper, we improve the bounds on both the adaptivity gap and on the approximation factor. We directly analyze the approximation factor of the non adaptive greedy algorithm, without passing through the adaptivity gap, and show that it is at least frac 1 2 left(1 frac 1 e right) . Therefore, the adaptivity gap is at most frac 2e e 1 approx 3.164 . To prove these bounds, we introduce a new approach to relate the greedy non adaptive algorithm to the adaptive optimum. The new approach does not rely on multi linear extensions or random walks on optimal decision trees, which are commonly used techniques in the field. We believe that it is of independent interest and may be used to analyze other adaptive optimization problems.


Is Robustness To Transformations Driven by Invariant Neural Representations?. Deep Convolutional Neural Networks (DCNNs) have demonstrated impressive robustness to recognize objects under transformations (e.g. blur or noise) when these transformations are included in the training set. A hypothesis to explain such robustness is that DCNNs develop invariant neural representations that remain unaltered when the image is transformed. Yet, to what extent this hypothesis holds true is an outstanding question, as including transformations in the training set could lead to properties different from invariance, e.g. parts of the network could be specialized to recognize either transformed or non transformed images. In this paper, we analyze the conditions under which invariance emerges. To do so, we leverage that invariant representations facilitate robustness to transformations for object categories that are not seen transformed during training. Our results with state of the art DCNNs indicate that invariant representations strengthen as the number of transformed categories in the training set is increased. This is much more prominent with local transformations such as blurring and high pass filtering, compared to geometric transformations such as rotation and thinning, that entail changes in the spatial arrangement of the object. Our results contribute to a better understanding of invariant representations in deep learning, and the conditions under which invariance spontaneously emerges.


Deep Fusion Network for Image Completion. Deep image completion usually fails to harmonically blend the restored image into existing content, especially in the boundary area. This paper handles with this problem from a new perspective of creating a smooth transition and proposes a concise Deep Fusion Network (DFNet). Firstly, a fusion block is introduced to generate a flexible alpha composition map for combining known and unknown regions. The fusion block not only provides a smooth fusion between restored and existing content, but also provides an attention map to make network focus more on the unknown pixels. In this way, it builds a bridge for structural and texture information, so that information can be naturally propagated from known region into completion. Furthermore, fusion blocks are embedded into several decoder layers of the network. Accompanied by the adjustable loss constraints on each layer, more accurate structure information are achieved. We qualitatively and quantitatively compare our method with other state of the art methods on Places2 and CelebA datasets. The results show the superior performance of DFNet, especially in the aspects of harmonious texture transition, texture detail and semantic structural consistency. Our source code will be avaiable at url https github.com hughplay DFNet


Branch Prediction Is Not a Solved Problem Measurements, Opportunities, and Future Directions. Modern branch predictors predict the vast majority of conditional branch instructions with near perfect accuracy, allowing superscalar, out of order processors to maximize speculative efficiency and thus performance. However, this impressive overall effectiveness belies a substantial missed opportunity in single threaded instructions per cycle (IPC). For example, we show that correcting the mispredictions made by the state of the art TAGE SC L branch predictor on SPECint 2017 would improve IPC by margins similar to an advance in process technology node. In this work, we measure and characterize these mispredictions. We find that they categorically arise from either (1) a small number of systematically hard to predict (H2P) branches or (2) rare branches with low dynamic execution counts. Using data from SPECint 2017 and additional large code footprint applications, we quantify the occurrence and IPC impact of these two categories. We then demonstrate that increasing the resources afforded to existing branch predictors does not alone address the root causes of most mispredictions. This leads us to reexamine basic assumptions in branch prediction and to propose new research directions that, for example, deploy machine learning to improve pattern matching for H2Ps, and use on chip phase learning to track long term statistics for rare branches.


Self reference Upfront A Study of Self referential G "odel Numberings. In this paper we examine various requirements on the formalisation choices under which self reference can be adequately formalised in arithmetic. In particular, we study self referential numberings, which immediately provide a strong notion of self reference even for expressively weak languages. The results of this paper suggest that the question whether truly self referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study of certain principles of self referential truth.


Coherent Springer theory and the categorical Deligne Langlands correspondence. Kazhdan and Lusztig identified the affine Hecke algebra mathcal H with an equivariant K group of the Steinberg variety, and applied this to prove the Deligne Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields F with an Iwahori fixed vector. We apply techniques from derived algebraic geometry to pass from K theory to Hochschild homology and thereby identify mathcal H with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, the coherent Springer sheaf. As a result the derived category of mathcal H modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues Scholze, Hellmann and Zhu). We explain how this refines the more familiar description of representations, one central character at a time, in terms of categories of perverse sheaves (as previously observed in local Langlands over mathbb R ). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement we construct a full embedding of the derived category of smooth representations of mathrm GL n(F) into coherent sheaves on the stack of Langlands parameters.


Hybrid Adaptive Evolutionary Algorithm for Multi objective Optimization. The major difficulty in Multi objective Optimization Evolutionary Algorithms (MOEAs) is how to find an appropriate solution that is able to converge towards the true Pareto Front with high diversity. Most existing methodologies, which have demonstrated their niche on various practical problems involving two and three objectives, face significant challenges in the dependency of the selection of the EA parameters. Moreover, the process of setting such parameters is considered time consuming, and several research works have tried to deal with this problem. This paper proposed a new Multi objective Algorithm as an extension of the Hybrid Adaptive Evolutionary algorithm (HAEA) called MoHAEA. MoHAEA allows dynamic adaptation of the application of operator probabilities (rates) to evolve with the solution of the multi objective problems combining the dominance and decomposition based approaches. MoHAEA is compared with four states of the art MOEAs, namely MOEA D, pa lambda MOEA D, MOEA D AWA, and NSGA II on ten widely used multi objective test problems. Experimental results indicate that MoHAEA outperforms the benchmark algorithms in terms of how it is able to find a well covered and well distributed set of points on the Pareto Front.


Learning Graph Normalization for Graph Neural Networks. Graph Neural Networks (GNNs) have attracted considerable attention and have emerged as a new promising paradigm to process graph structured data. GNNs are usually stacked to multiple layers and the node representations in each layer are computed through propagating and aggregating the neighboring node features with respect to the graph. By stacking to multiple layers, GNNs are able to capture the long range dependencies among the data on the graph and thus bring performance improvements. To train a GNN with multiple layers effectively, some normalization techniques (e.g., node wise normalization, batch wise normalization) are necessary. However, the normalization techniques for GNNs are highly task relevant and different application tasks prefer to different normalization techniques, which is hard to know in advance. To tackle this deficiency, in this paper, we propose to learn graph normalization by optimizing a weighted combination of normalization techniques at four different levels, including node wise normalization, adjacency wise normalization, graph wise normalization, and batch wise normalization, in which the adjacency wise normalization and the graph wise normalization are newly proposed in this paper to take into account the local structure and the global structure on the graph, respectively. By learning the optimal weights, we are able to automatically select a single best or a best combination of multiple normalizations for a specific task. We conduct extensive experiments on benchmark datasets for different tasks, including node classification, link prediction, graph classification and graph regression, and confirm that the learned graph normalization leads to competitive results and that the learned weights suggest the appropriate normalization techniques for the specific task. Source code is released here https github.com cyh1112 GraphNormalization.


Graph Sampling with Distributed In Memory Dataflow Systems. Given a large graph, a graph sample determines a subgraph with similar characteristics for certain metrics of the original graph. The samples are much smaller thereby accelerating and simplifying the analysis and visualization of large graphs. We focus on the implementation of distributed graph sampling for Big Data frameworks and in memory dataflow systems such as Apache Spark or Apache Flink. We evaluate the scalability of the new implementations and analyze to what degree the sampling approaches preserve certain graph metrics compared to the original graph. The latter analysis also uses comparative graph visualizations. The presented methods will be open source and be integrated into Gradoop, a system for distributed graph analytics.


Generating Challenge Datasets for Task Oriented Conversational Agents through Self Play. End to end neural approaches are becoming increasingly common in conversational scenarios due to their promising performances when provided with sufficient amount of data. In this paper, we present a novel methodology to address the interpretability of neural approaches in such scenarios by creating challenge datasets using dialogue self play over multiple tasks intents. Dialogue self play allows generating large amount of synthetic data by taking advantage of the complete control over the generation process, we show how neural approaches can be evaluated in terms of unseen dialogue patterns. We propose several out of pattern test cases each of which introduces a natural and unexpected user utterance phenomenon. As a proof of concept, we built a single and a multiple memory network, and show that these two architectures have diverse performances depending on the peculiar dialogue patterns.


One Pixel Attack Deceives Computer Assisted Diagnosis of Cancer. Computer vision and machine learning can be used to automate various tasks in cancer diagnostic and detection. If an attacker can manipulate the automated processing, the results can be devastating and in the worst case lead to wrong diagnosis and treatment. In this research, the goal is to demonstrate the use of one pixel attacks in a real life scenario with a real pathology dataset, TUPAC16, which consists of digitized whole slide images. We attack against the IBM CODAIT's MAX breast cancer detector using adversarial images. These adversarial examples are found using differential evolution to perform the one pixel modification to the images in the dataset. The results indicate that a minor one pixel modification of a whole slide image under analysis can affect the diagnosis by reversing the automatic diagnosis result. The attack poses a threat from the cyber security perspective the one pixel method can be used as an attack vector by a motivated attacker.


Short Packet Transmission over a Bidirectional Massive MIMO link. We consider the transmission of short packets over a bidirectional communication link where multiple devices, e.g., sensors and actuators, exchange small data payloads with a base station equipped with a large antenna array. Using results from finite blocklength information theory, we characterize the minimum SNR required to achieve a target error probability for a fixed packet length and a fixed payload size. Our nonasymptotic analysis, which applies to the scenario in which the bidirectional communication is device initiated, and also to the more challenging case when it is base station initiated, provides guidelines on the design of massive multiple input multiple output links that need to support sporadic ultra reliable low latency transmissions. Specifically, it allows us to determine the optimal amount of resources that need to be dedicated to the acquisition of channel state information.


Simulation and Control of a Nonsmooth Cahn Hilliard Navier Stokes System. We are concerned with the simulation and control of a two phase flow model governed by a coupled Cahn Hilliard Navier Stokes system involving a nonsmooth energy potential. We establish the existence of optimal solutions and present two distinct approaches to derive suitable stationarity conditions for the bilevel problem, namely C and strong stationarity. Moreover, we demonstrate the numerical realization of these concepts at the hands of two adaptive solution algorithms relying on a specifically developed goal oriented error estimator. In addition, we present a model order reduction approach using proper orthogonal decomposition (POD MOR) in order to replace high fidelity models by low order surrogates. In particular, we combine POD with space adapted snapshots and address the challenges which are the consideration of snapshots with different spatial resolutions and the conservation of a solenoidal property.


Scene Graph Augmented Data Driven Risk Assessment of Autonomous Vehicle Decisions. Despite impressive advancements in Autonomous Driving Systems (ADS), navigation in complex road conditions remains a challenging problem. There is considerable evidence that evaluating the subjective risk level of various decisions can improve ADS' safety in both normal and complex driving scenarios. However, existing deep learning based methods often fail to model the relationships between traffic participants and can suffer when faced with complex real world scenarios. Besides, these methods lack transferability and explainability. To address these limitations, we propose a novel data driven approach that uses scene graphs as intermediate representations. Our approach includes a Multi Relation Graph Convolution Network, a Long Short Term Memory Network, and attention layers for modeling the subjective risk of driving maneuvers. To train our model, we formulate this task as a supervised scene classification problem. We consider a typical use case to demonstrate our model's capabilities lane changes. We show that our approach achieves a higher classification accuracy than the state of the art approach on both large (96.4 vs. 91.2 ) and small (91.8 vs. 71.2 ) synthesized datasets, also illustrating that our approach can learn effectively even from smaller datasets. We also show that our model trained on a synthesized dataset achieves an average accuracy of 87.8 when tested on a real world dataset compared to the 70.3 accuracy achieved by the state of the art model trained on the same synthesized dataset, showing that our approach can more effectively transfer knowledge. Finally, we demonstrate that the use of spatial and temporal attention layers improves our model's performance by 2.7 and 0.7 respectively, and increases its explainability.


Contrastive Explanations in Neural Networks. Visual explanations are logical arguments based on visual features that justify the predictions made by neural networks. Current modes of visual explanations answer questions of the form Why text P?' . These Why questions operate under broad contexts thereby providing answers that are irrelevant in some cases. We propose to constrain these Why questions based on some context Q so that our explanations answer contrastive questions of the form Why text P, text rather text than text Q?' . In this paper, we formalize the structure of contrastive visual explanations for neural networks. We define contrast based on neural networks and propose a methodology to extract defined contrasts. We then use the extracted contrasts as a plug in on top of existing Why text P?' techniques, specifically Grad CAM. We demonstrate their value in analyzing both networks and data in applications of large scale recognition, fine grained recognition, subsurface seismic analysis, and image quality assessment.


Robust Combinatorial Optimization with Locally Budgeted Uncertainty. Budgeted uncertainty sets have been established as a major influence on uncertainty modeling for robust optimization problems. A drawback of such sets is that the budget constraint only restricts the global amount of cost increase that can be distributed by an adversary. Local restrictions, while being important for many applications, cannot be modeled this way. We introduce new variant of budgeted uncertainty sets, called locally budgeted uncertainty. In this setting, the uncertain parameters become partitioned, such that a classic budgeted uncertainty set applies to each partition, called region. In a theoretical analysis, we show that the robust counterpart of such problems for a constant number of regions remains solvable in polynomial time, if the underlying nominal problem can be solved in polynomial time as well. If the number of regions is unbounded, we show that the robust selection problem remains solvable in polynomial time, while also providing hardness results for other combinatorial problems. In computational experiments using both random and real world data, we show that using locally budgeted uncertainty sets can have considerable advantages over classic budgeted uncertainty sets.


Performance Analysis of SWIPT Relaying Systems in the Presence of Impulsive Noise. We develop an analytical framework to characterize the effect of impulsive noise on the performance of relay assisted simultaneous wireless information and power transfer (SWIPT) systems. We derive novel closed form expressions for the pairwise error probability (PEP) considering two variants based on the availability of channel state information (CSI), namely, blind relaying and CSI assisted relaying. We further consider two energy harvesting (EH) techniques, i.e., instantaneous EH (IEH) and average EH (AEH). Capitalizing on the derived analytical results, we present a detailed numerical investigation of the diversity order for the underlying scenarios under the impulsive noise assumption. For the case when two relays and the availability of a direct link, it is demonstrated that the considered SWIPT system with blind AEH relaying is able to achieve an asymptotic diversity order of less than 3, which is equal to the diversity order achieved by CSI assisted IEH relaying. This result suggests that, by employing the blind AEH relaying, the power consumption of the network can be reduced, due to eliminating the need of CSI estimation. This can be achieved without any performance loss. Our results further show that placing the relays close to the source can significantly mitigate the detrimental effects of impulsive noise. Extensive Monte Carlo simulation results are presented to validate the accuracy of the proposed analytical framework.


Avoiding a shape, and the slice rank method for a system of equations. Fix a vector space over a finite field and a system of linear equations. We provide estimates, in terms of the dimension of the vector space, of the maximum of the sizes of subsets of the space that do not admit solutions of the system consisting of more than one point. That from above is derived by slice rank method of Tao to obtain one from below, we define the notion of 'dominant reductions' of the system. Furthermore, by adapting a recent argument of Sauermann, we make an estimation of the maximum of the sizes of subsets that are 'W shape' free, that means, there exist no five distinct points forming two overlapping parallelograms.


Three dimensional convolutional neural network (3D CNN) for heterogeneous material homogenization. Homogenization is a technique commonly used in multiscale computational science and engineering for predicting collective response of heterogeneous materials and extracting effective mechanical properties. In this paper, a three dimensional deep convolutional neural network (3D CNN) is proposed to predict the effective material properties for representative volume elements (RVEs) with random spherical inclusions. The high fidelity dataset generated by a computational homogenization approach is used for training the 3D CNN models. The inference results of the trained networks on unseen data indicate that the network is capable of capturing the microstructural features of RVEs and produces an accurate prediction of effective stiffness and Poisson's ratio. The benefits of the 3D CNN over conventional finite element based homogenization with regard to computational efficiency, uncertainty quantification and model's transferability are discussed in sequence. We find the salient features of the 3D CNN approach make it a potentially suitable alternative for facilitating material design with fast product design iteration and efficient uncertainty quantification.


A Comprehensive Survey on Moving Networks. The unprecedented increase in the demand for mobile data, fuelled by new emerging applications such as HD video streaming and heightened online activities has caused massive strain on the existing cellular networks. As a solution, the 5G technology has been introduced to improve network performance through various innovative features such as mmWave spectrum and HetNets. In essence, HetNets include several small cells underlaid within macro cell to serve densely populated regions. Recently, a mobile layer of HetNet has been under consideration by the researchers and is often referred to as moving networks. Moving networks comprise of mobile cells that are primarily introduced to improve QoS for commuting users inside public transport because the QoS is deteriorated due to vehicular penetration losses. Furthermore, the users inside fast moving public transport also exert excessive load on the core network due to large group handovers. To this end, mobile cells will play a crucial role in reducing overall handover count and will help in alleviating these problems by decoupling in vehicle users from the core network. To date, remarkable research results have been achieved by the research community in addressing challenges linked to moving networks. However, to the best of our knowledge, a discussion on moving networks in a holistic way is missing in the current literature. To fill the gap, in this paper, we comprehensively survey moving networks. We cover the technological aspects and their applications in the futuristic applications. We also discuss the use cases and value additions that moving networks may bring to future cellular architecture and identify the challenges associated with them. Based on the identified challenges we discuss the future research directions.


Exploring Overall Contextual Information for Image Captioning in Human Like Cognitive Style. Image captioning is a research hotspot where encoder decoder models combining convolutional neural network (CNN) and long short term memory (LSTM) achieve promising results. Despite significant progress, these models generate sentences differently from human cognitive styles. Existing models often generate a complete sentence from the first word to the end, without considering the influence of the following words on the whole sentence generation. In this paper, we explore the utilization of a human like cognitive style, i.e., building overall cognition for the image to be described and the sentence to be constructed, for enhancing computer image understanding. This paper first proposes a Mutual aid network structure with Bidirectional LSTMs (MaBi LSTMs) for acquiring overall contextual information. In the training process, the forward and backward LSTMs encode the succeeding and preceding words into their respective hidden states by simultaneously constructing the whole sentence in a complementary manner. In the captioning process, the LSTM implicitly utilizes the subsequent semantic information contained in its hidden states. In fact, MaBi LSTMs can generate two sentences in forward and backward directions. To bridge the gap between cross domain models and generate a sentence with higher quality, we further develop a cross modal attention mechanism to retouch the two sentences by fusing their salient parts as well as the salient areas of the image. Experimental results on the Microsoft COCO dataset show that the proposed model improves the performance of encoder decoder models and achieves state of the art results.


An arbitrary order method for magnetostatics on polyhedral meshes based on a discrete de Rham sequence. In this work, we develop a discretisation method for the mixed formulation of the magnetostatic problem supporting arbitrary orders and polyhedral meshes. The method is based on a global discrete de Rham (DDR) sequence, obtained by patching the local spaces constructed in Di Pietro, Droniou, Rapetti, Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra, arXiv 1911.03616 by enforcing the single valuedness of the components attached to the boundary of each element. The first main contribution of this paper is a proof of exactness relations for this global DDR sequence, obtained leveraging the exactness of the corresponding local sequence and a topological assembly of the mesh valid for domains that do not enclose any void. The second main contribution is the formulation and well posedness analysis of the method, which includes the proof of uniform Poincar 'e inequalities for the discrete divergence and curl operators. The convergence rate in the natural energy norm is numerically evaluated on standard and polyhedral meshes. When the DDR sequence of degree k ge 0 is used, the error converges as h k 1 , with h denoting the meshsize.


On the Surface Diffusion Flow with Triple Junctions in Higher Space Dimensions. We show short time existence for the evolution of triple junction clusters driven by the surface diffusion flow. On the triple line we use the boundary conditions derived by Garcke and Novick Cohen as the singular limit of a Cahn Hilliard equation with degenerated mobility. These conditions are concurrency of the triple junction, angle conditions between the hypersurfaces, continuity of the chemical potentials and a flux balance. For the existence analysis we first write the geometric problem over a fixed reference surface and then use for the resulting analytic problem an approach in a parabolic H "older setting.


Global well posedness and blow up for the damped perturbation of Camassa Holm type equations. In this paper, we prove global well posedness of strong solutions to a class of perturbed Camassa Holm type equations in Besov spaces. It is shown that the existence of global solutions depends only on the L 1 integrability of the time dependent parameters, but not on the shape or smoothness conditions on initial data. As a by product, we obtain a new global in time result for the weakly dissipative Camassa Holm type equations in Besov spaces, which considerably improves the results in cite wu2009global,wuyin2008blow,guo2009some . Moreover, we derive two kinds of precise blow up criteria for a certain perturbed Camassa Holm type equations in Sobolev space, which in some sense tell us how the time dependent parameters affect the singularity formation of strong solutions.