Remediation of bentazone contaminated water by Trametes versicolor characterization, identification of transformation products, and implementation in a trickle bed reactor under non sterile conditions. Bentazone, an herbicide widely applied in rice and cereal crops, is widespread in the aquatic environment. This study evaluated the capacity of Trametes versicolor to remove bentazone from water. The fungus was able to completely remove bentazone after three days at Erlenmeyer scale incubation. Both laccase and cytochrome P450 enzymatic systems were involved in bentazone degradation. A total of 19 transformation products (TPs) were identified to be formed during the process. The reactions involved in their formation included hydroxylations, oxidations, methylations, N nitrosation, and dimerization. A laccase mediated radical mechanism was proposed for TP formation. In light of the results obtained at the Erlenmeyer scale, a trickle bed reactor with T. versicolor immobilized on pine wood chips was set up to evaluate its stability during bentazone removal under non sterile conditions. After 30 days of sequencing batch operation, an average bentazone removal of 48 was obtained, with a considerable contribution of adsorption onto the lignocellulosic support material. Bacterial contamination, which is the bottleneck in the implementation of fungal bioreactors, was successfully addressed by this particular system according to its maintained performance. This research is a pioneering step forward to the implementation of fungal bioremediation on a real scale.


A new solution to square matrix completion problem. In this paper we give a novel solution to a classical completion problem for square matrices. This problem was studied by many authors through time, and it is completely solved in 2, 3 . In this paper we relate this classical problem to a purely combinatorial question involving partitions of integers and their majorizations studied in 4 . We show surprising relations in these approaches and as a corollary, we obtain a new combinatorial result on partitions of integers.


Statistical Physics of Synchronized Traffic Flow Spatiotemporal Competition between S to F and S to J Instabilities. We have revealed statistical physics of synchronized traffic flow that is governed by a spatiotemporal competition between S rightarrow F and S rightarrow J instabilities (where F, S, and J denote, respectively, the free flow, synchronized flow, and wide moving jam traffic phases). A probabilistic analysis of synchronized flow based on simulations of a cellular automaton model in the framework of three phase traffic theory is made. This probabilistic analysis shows that there is a finite range of the initial space gap between vehicles in synchronized flow within which during a chosen time for traffic observation either synchronized flow persists with probability P rm S , or an S rightarrow F transition occurs with probability P rm SF , or else an S rightarrow J transition occurs with probability P rm SJ . Space gap dependencies of the probabilities P rm S , P rm SF , and P rm SJ have been found. The statistical features of synchronized flow found for a homogeneous road remain qualitatively for a road with a bottleneck. However, rather than nuclei for S rightarrow F and S rightarrow J instabilities occur at random road locations of the homogeneous road, due to a permanent non homogeneity introduced by the bottleneck, nuclei for initial S rightarrow F and S rightarrow J instabilities appear mostly at the bottleneck.


Variation of GIT and Variation of Lagrangian Skeletons II Quasi Symmetric Case. Consider ( mathbb C ) k acting on mathbb C N satisfying certain 'quasi symmetric' condition which produces a class of toric Calabi Yau GIT quotient stacks. Using subcategories of Coh( mathbb C N ( mathbb C ) k ) generated by line bundles whose weights are inside certain zonotope called the 'magic window', Halpern Leistner and Sam give a combinatorial construction of equivalences between derived categories of coherent sheaves for various GIT quotients. We apply the coherent constructible correspondence for toric varieties to the magic windows and obtain a non characteristic deformation of Lagrangian skeletons in mathbb R N k parameterized by mathbb R k , exhibiting derived equivalences between A models of the various phases. Moreover, by translating the magic window zonotope in mathbb R k , we obtain a universal skeleton over mathbb R k times mathbb R k setminus mathcal D for some fattening of hyperplane arrangements mathcal D , and we show that the the universal skeleton induces a local system of categories over mathbb R k times mathbb R k setminus mathcal D . We also connect our results to the perverse schober structure identified by v S penko and Van den Bergh.


How big should a Stress Shock be?. Stress shocks are often calculated as multiples of the standard deviation of a history set. This paper investigates how many standard deviations are required to guarantee that this shock exceeds any observation within the history set, given the additional constraint of kurtosis. The results of this analysis are then used to validate the shocks produced by some stress test models, in particular that of Brace Lauer Rado. A secondary application of our results is to investigate three known extensions of Chebyshev's Inequality where the kurtosis is known. It is found that our results give a tighter bound than the well known inequalities.


Spectral properties of the Neumann Poincar 'e operator in 3D elasticity. We consider the double layer potential (Neumann Poincar 'e) operator appearing in 3 dimensional elasticity. We show that the recent result about the polynomial compactness of this operator for the case of a homogeneous media follows without additional calculations from previous considerations by Agranovich et.al., based upon pseudodifferential operators. Further on, we define the NP operator for the case of a nonhomogeneous isotropic media and show that its properties depend crucially on the character of non homogeneity. If the Lam 'e parameters are constant along the boundary, the NP operator is still polynomially compact. On the other hand, if these parameters are not constant, two or more intervals of continuous spectrum may appear, so the NP operator ceases to be polynomially compact. However, after a certain modification, it becomes polynomially compact again. Finally, we evaluate the rate of convergence of discrete eigenvalues of the NP operator to the tips of the essential spectrum.


Turbulent Jet A DNS Study. The entrainment of ambient fluid into a turbulent shear flow has been a topic of wide interest for several decades. To estimate the entrainment of ambient fluid into turbulent jet, it is essential to define the boundary of the jet. The question arises as to what should be the appropriate criterion to determine the edge of the turbulent jet. From the present DNS simulations, we observe that there is a need to define two boundaries for the turbulent jet, namely, the Rotational Irrotational (R IR) interface termed here as "Outer boundary" and the Turbulent Non Turbulent (T NT) interface as "Inner boundary". The main aim of the present paper is to identify the need for defining the two boundaries for the jet. We also present some interesting observations of the jet flow, essentially on self similarity and self preservation.


XOR QA Cross lingual Open Retrieval Question Answering. Multilingual question answering tasks typically assume answers exist in the same language as the question. Yet in practice, many languages face both information scarcity where languages have few reference articles and information asymmetry where questions reference concepts from other cultures. This work extends open retrieval question answering to a cross lingual setting enabling questions from one language to be answered via answer content from another language. We construct a large scale dataset built on questions from TyDi QA lacking same language answers. Our task formulation, called Cross lingual Open Retrieval Question Answering (XOR QA), includes 40k information seeking questions from across 7 diverse non English languages. Based on this dataset, we introduce three new tasks that involve cross lingual document retrieval using multi lingual and English resources. We establish baselines with state of the art machine translation systems and cross lingual pretrained models. Experimental results suggest that XOR QA is a challenging task that will facilitate the development of novel techniques for multilingual question answering. Our data and code are available at https nlp.cs.washington.edu xorqa.


Dual band general Toeplitz operators. We relate dual band general Toeplitz operators to block truncated Toeplitz operators and, via equivalence after extension, with Toeplitz operators with 4 times 4 matrix symbols. We discuss their norm, their kernel, Fredhomlness, invertibility and spectral properties in various situations, focusing on the spectral properties of the dual band shift, which turns out to be considerably complex, leading to new and nontrivial connections with the boundary behaviour of the associated inner function.


Sketching Image Gist Human Mimetic Hierarchical Scene Graph Generation. Scene graph aims to faithfully reveal humans' perception of image content. When humans analyze a scene, they usually prefer to describe image gist first, namely major objects and key relations in a scene graph. This humans' inherent perceptive habit implies that there exists a hierarchical structure about humans' preference during the scene parsing procedure. Therefore, we argue that a desirable scene graph should be also hierarchically constructed, and introduce a new scheme for modeling scene graph. Concretely, a scene is represented by a human mimetic Hierarchical Entity Tree (HET) consisting of a series of image regions. To generate a scene graph based on HET, we parse HET with a Hybrid Long Short Term Memory (Hybrid LSTM) which specifically encodes hierarchy and siblings context to capture the structured information embedded in HET. To further prioritize key relations in the scene graph, we devise a Relation Ranking Module (RRM) to dynamically adjust their rankings by learning to capture humans' subjective perceptive habits from objective entity saliency and size. Experiments indicate that our method not only achieves state of the art performances for scene graph generation, but also is expert in mining image specific relations which play a great role in serving downstream tasks.


Extending the Parisi formula along a Hamilton Jacobi equation. We study the free energy of mixed p spin spin glass models enriched with an additional magnetic field given by the canonical Gaussian field associated with a Ruelle probability cascade. We prove that this free energy converges to the Hopf Lax solution of a certain Hamilton Jacobi equation. Using this result, we give a new representation of the free energy of mixed p spin models with soft spins.


Active Learning in CNNs via Expected Improvement Maximization. Deep learning models such as Convolutional Neural Networks (CNNs) have demonstrated high levels of effectiveness in a variety of domains, including computer vision and more recently, computational biology. However, training effective models often requires assembling and or labeling large datasets, which may be prohibitively time consuming or costly. Pool based active learning techniques have the potential to mitigate these issues, leveraging models trained on limited data to selectively query unlabeled data points from a pool in an attempt to expedite the learning process. Here we present "Dropout based Expected IMprOvementS" (DEIMOS), a flexible and computationally efficient approach to active learning that queries points that are expected to maximize the model's improvement across a representative sample of points. The proposed framework enables us to maintain a prediction covariance matrix capturing model uncertainty, and to dynamically update this matrix in order to generate diverse batches of points in the batch mode setting. Our active learning results demonstrate that DEIMOS outperforms several existing baselines across multiple regression and classification tasks taken from computer vision and genomics.


Recovering affine curves over finite fields from L functions. Let K be the function field of a curve over a finite field of odd characteristic. We investigate using L functions of Galois extensions of K to effectively recover K . When K is the function field of the projective line with four rational points removed, we show how to use L functions of a ray class field to effectively recover the removed points up to automorphisms of the projective line. When K is the function field of a plane curve, we show how to effectively recover the equation of that curve using L functions of Artin Schreier extensions of K .


Optimal identification of cavities in the Generalized Plane Stress problem in linear elasticity. For the Generalized Plane Stress (GPS) problem in linear elasticity, we obtain an optimal stability estimate of logarithmic type for the inverse problem of determining smooth cavities inside a thin isotropic cylinder from a single boundary measurement of traction and displacement. The result is obtained by reformulating the GPS problem as a Kirchhoff Love plate like problem in terms of the Airy's function, and by using the strong unique continuation at the boundary for a Kirchhoff Love plate operator under homogeneous Dirichlet conditions, which has been recently obtained in cite l arv .


Robust linear domain decomposition schemes for reduced non linear fracture flow models. In this work, we consider compressible single phase flow problems in a porous media containing a fracture. In the latter, a non linear pressure velocity relation is prescribed. Using a non overlapping domain decomposition procedure, we reformulate the global problem into a non linear interface problem. We then introduce two new algorithms that are able to efficiently handle the non linearity and the coupling between the fracture and the matrix, both based on linearization by the so called L scheme. The first algorithm, named MoLDD, uses the L scheme to resolve the non linearity, requiring at each iteration to solve the dimensional coupling via a domain decomposition approach. The second algorithm, called ItLDD, uses a sequential approach in which the dimensional coupling is part of the linearization iterations. For both algorithms, the computations are reduced only to the fracture by pre computing, in an offline phase, a multiscale flux basis (the linear Robin to Neumann co dimensional map), that represent the flux exchange between the fracture and the matrix. We present extensive theoretical findings and in particular, the stability and the convergence of both schemes are obtained, where user given parameters are optimized to minimise the number of iterations. Examples on two important fracture models are computed with the library PorePy and agree with the developed theory.


A Neuro inspired Theory of Joint Human Swarm Interaction. Human swarm interaction (HSI) is an active research challenge in the realms of swarm robotics and human factors engineering. Here we apply a cognitive systems engineering perspective and introduce a neuro inspired joint systems theory of HSI. The mindset defines predictions for adaptive, robust and scalable HSI dynamics and therefore has the potential to inform human swarm loop design.


Shape aware Meta learning for Generalizing Prostate MRI Segmentation to Unseen Domains. Model generalization capacity at domain shift (e.g., various imaging protocols and scanners) is crucial for deep learning methods in real world clinical deployment. This paper tackles the challenging problem of domain generalization, i.e., learning a model from multi domain source data such that it can directly generalize to an unseen target domain. We present a novel shape aware meta learning scheme to improve the model generalization in prostate MRI segmentation. Our learning scheme roots in the gradient based meta learning, by explicitly simulating domain shift with virtual meta train and meta test during training. Importantly, considering the deficiencies encountered when applying a segmentation model to unseen domains (i.e., incomplete shape and ambiguous boundary of the prediction masks), we further introduce two complementary loss objectives to enhance the meta optimization, by particularly encouraging the shape compactness and shape smoothness of the segmentations under simulated domain shift. We evaluate our method on prostate MRI data from six different institutions with distribution shifts acquired from public datasets. Experimental results show that our approach outperforms many state of the art generalization methods consistently across all six settings of unseen domains.


A highly accurate boundary integral method for the elastic obstacle scattering problem. Consider the scattering of a time harmonic plane wave by a rigid obstacle embedded in a homogeneous and isotropic elastic medium in two dimensions. In this paper, a novel boundary integral formulation is proposed and its highly accurate numerical method is developed for the elastic obstacle scattering problem. More specifically, based on the Helmholtz decomposition, the model problem is reduced to a coupled boundary integral equation with singular kernels. A regularized system is constructed in order to handle the degenerated integral operators. The semi discrete and full discrete schemes are studied for the boundary integral system by using the trigonometric collocation method. Convergence is established for the numerical schemes in some appropriate Sobolev spaces. Numerical experiments are presented for both smooth and nonsmooth obstacles to demonstrate the superior performance of the proposed method.


ell 0 Regularized Structured Sparsity Convolutional Neural Networks. Deepening and widening convolutional neural networks (CNNs) significantly increases the number of trainable weight parameters by adding more convolutional layers and feature maps per layer, respectively. By imposing inter and intra group sparsity onto the weights of the layers during the training process, a compressed network can be obtained with accuracy comparable to a dense one. In this paper, we propose a new variant of sparse group lasso that blends the ell 0 norm onto the individual weight parameters and the ell 2,1 norm onto the output channels of a layer. To address the non differentiability of the ell 0 norm, we apply variable splitting resulting in an algorithm that consists of executing stochastic gradient descent followed by hard thresholding for each iteration. Numerical experiments are demonstrated on LeNet 5 and wide residual networks for MNIST and CIFAR 10 100, respectively. They showcase the effectiveness of our proposed method in attaining superior test accuracy with network sparsification on par with the current state of the art.


Magneto elasticity on the disk. A model problem of magneto elastic body is considered. Specifically, the case of a two dimensional circular disk is studied. The functional which represents the magneto elastic energy is introduced. Then, the minimisation problem, referring to the simplified two dimensional model under investigation, is analysed. The existence of a minimiser is proved and its dependence on the eigenvalues of the problem is investigated. A bifurcation result is obtained corresponding to special values of the parameters.


Pusz Woronowicz's functional calculus revisited. This note is a complement to Pusz Woronowicz's works on functional calculus for two positive forms from the viewpoint of operator theory. Based on an elementary, self contained and purely Hilbert space operator explanation of their functional calculus, we show that any operator connection type operations (including any operator perspectives) are captured by their functional calculus.


SI spreading based network embedding in static and temporal networks. Link prediction can be used to extract missing information, identify spurious interactions as well as forecast network evolution. Network embedding is a methodology to assign coordinates to nodes in a low dimensional vector space. By embedding nodes into vectors, the link prediction problem can be converted into a similarity comparison task. Nodes with similar embedding vectors are more likely to be connected. Classic network embedding algorithms are random walk based. They sample trajectory paths via random walks and generate node pairs from the trajectory paths. The node pair set is further used as the input for a Skip Gram model, a representative language model that embeds nodes (which are regarded as words) into vectors. In the present study, we propose to replace random walk processes by a spreading process, namely the susceptible infected (SI) model, to sample paths. Specifically, we propose two SI spreading based algorithms, SINE and TSINE, to embed static and temporal networks, respectively. The performance of our algorithms is evaluated by the missing link prediction task in comparison with state of the art static and temporal network embedding algorithms. Results show that SINE and TSINE outperform the baselines across all six empirical datasets. We further find that the performance of SINE is mostly better than TSINE, suggesting that temporal information does not necessarily improve the embedding for missing link prediction. Moreover, we study the effect of the sampling size, quantified as the total length of the trajectory paths, on the performance of the embedding algorithms. The better performance of SINE and TSINE requires a smaller sampling size in comparison with the baseline algorithms. Hence, SI spreading based embedding tends to be more applicable to large scale networks.


Quasigeostrophy against the wall. Coasts are obstructions to the classical derivation of continuously stratified quasigeostrophic equations, due to possible resonances between slow internal coastally trapped Kelvin waves and anticyclones. Deremble et al Ocean Modelling 2017 proposed a coupled model between a quasigeostrophic interior and boundary layer Kelvin wave dynamics. We revisit the derivation of this model, paying particular attention to conservation laws. We find that quasigeostrophic energy is conserved despite the existence of Kelvin wave shocks in the boundary layer. The effect of those shocks is to change the global distribution of potential vorticity, and, consequently the interior flow structure. In that respect, we show that there is an active control of the boundary region on the interior flow.


On Shape Calculus with Elliptic PDE Constraints in Classical Function Spaces. In this thesis we develop a functional analytic framework for shape optimization with elliptic partial differential equation (PDE) constraints in classical function spaces (H "older spaces). This approach is motivated by shape optimization problems, which are subjected to linear elasticity constraints and involve a special class of shape functionals which calculate the failure rate of a mechanically loaded device w.r.t. the component shape. These objectives are ill defined for H 1 solutions of the state equation and the shape derivatives are not defined for H 1 material derivatives. Thus, the resulting optimal reliability problems can not be solved by the already existing methods of shape calculus. We develop a general concept on Banach and Hilbert spaces which is based on parameter depending variational equations, classical PDE Solutions, Schauder estimates and compact embeddings and which allows to transfer differentiability in lower Banach space topologies to higher ones. We apply this framework to the linear elasticity equation and its variational formulation, given that the domain is transformed according to the speed method. We prove the existence of material and local shape derivatives in H "older spaces, the existence of shape derivatives and derive adjoint equations. We also give a classification of the L 2 shape gradient w.r.t. its regularity and its potential to sustain the domain regularity along a descent flow.


Scalable Simulation of Realistic Volume Fraction Red Blood Cell Flows through Vascular Networks. High resolution blood flow simulations have potential for developing better understanding biophysical phenomena at the microscale, such as vasodilation, vasoconstriction and overall vascular resistance. To this end, we present a scalable platform for the simulation of red blood cell (RBC) flows through complex capillaries by modeling the physical system as a viscous fluid with immersed deformable particles. We describe a parallel boundary integral equation solver for general elliptic partial differential equations, which we apply to Stokes flow through blood vessels. We also detail a parallel collision avoiding algorithm to ensure RBCs and the blood vessel remain contact free. We have scaled our code on Stampede2 at the Texas Advanced Computing Center up to 34,816 cores. Our largest simulation enforces a contact free state between four billion surface elements and solves for three billion degrees of freedom on one million RBCs and a blood vessel composed from two million patches.


Influence of Initialization on the Performance of Metaheuristic Optimizers. All metaheuristic optimization algorithms require some initialization, and the initialization for such optimizers is usually carried out randomly. However, initialization can have some significant influence on the performance of such algorithms. This paper presents a systematic comparison of 22 different initialization methods on the convergence and accuracy of five optimizers differential evolution (DE), particle swarm optimization (PSO), cuckoo search (CS), artificial bee colony (ABC) algorithm and genetic algorithm (GA). We have used 19 different test functions with different properties and modalities to compare the possible effects of initialization, population sizes and the numbers of iterations. Rigorous statistical ranking tests indicate that 43.37 of the functions using the DE algorithm show significant differences for different initialization methods, while 73.68 of the functions using both PSO and CS algorithms are significantly affected by different initialization methods. The simulations show that DE is less sensitive to initialization, while both PSO and CS are more sensitive to initialization. In addition, under the condition of the same maximum number of function evaluations (FEs), the population size can also have a strong effect. Particle swarm optimization usually requires a larger population, while the cuckoo search needs only a small population size. Differential evolution depends more heavily on the number of iterations, a relatively small population with more iterations can lead to better results. Furthermore, ABC is more sensitive to initialization, while such initialization has little effect on GA. Some probability distributions such as the beta distribution, exponential distribution and Rayleigh distribution can usually lead to better performance. The implications of this study and further research topics are also discussed in detail.


Learning Fair Policies in Multiobjective (Deep) Reinforcement Learning with Average and Discounted Rewards. As the operations of autonomous systems generally affect simultaneously several users, it is crucial that their designs account for fairness considerations. In contrast to standard (deep) reinforcement learning (RL), we investigate the problem of learning a policy that treats its users equitably. In this paper, we formulate this novel RL problem, in which an objective function, which encodes a notion of fairness that we formally define, is optimized. For this problem, we provide a theoretical discussion where we examine the case of discounted rewards and that of average rewards. During this analysis, we notably derive a new result in the standard RL setting, which is of independent interest it states a novel bound on the approximation error with respect to the optimal average reward of that of a policy optimal for the discounted reward. Since learning with discounted rewards is generally easier, this discussion further justifies finding a fair policy for the average reward by learning a fair policy for the discounted reward. Thus, we describe how several classic deep RL algorithms can be adapted to our fair optimization problem, and we validate our approach with extensive experiments in three different domains.


A note on Griffiths' conjecture about the positivity of Chern Weil forms. Let (E,h) be a Griffiths semipositive Hermitian holomorphic vector bundle of rank 3 over a complex manifold. In this paper, we prove the positivity of the characteristic differential form c 1(E,h) wedge c 2(E,h) c 3(E,h) , thus providing a new evidence towards a conjecture by Griffiths about the positivity of the Schur polynomials in the Chern forms of Griffiths semipositive vector bundles. As a consequence, we establish a new chain of inequalities between Chern forms. Moreover, we point out how to obtain the positivity of the second Chern form c 2(E,h) in any rank, starting from the well known positivity of such form if (E,h) is just Griffiths positive of rank 2 . The final part of the paper gives an overview on the state of the art of Griffiths' conjecture, collecting several remarks and open questions.


Retrieving Top Weighted Triangles in Graphs. Pattern counting in graphs is a fundamental primitive for many network analysis tasks, and a number of methods have been developed for scaling subgraph counting to large graphs. Many real world networks carry a natural notion of strength of connection between nodes, which are often modeled by a weighted graph, but existing scalable graph algorithms for pattern mining are designed for unweighted graphs. Here, we develop a suite of deterministic and random sampling algorithms that enable the fast discovery of the 3 cliques (triangles) with the largest weight in a graph, where weight is measured by a generalized mean of a triangle's edges. For example, one of our proposed algorithms can find the top 1000 weighted triangles of a weighted graph with billions of edges in thirty seconds on a commodity server, which is orders of magnitude faster than existing "fast" enumeration schemes. Our methods thus open the door towards scalable pattern mining in weighted graphs.


Experimental generation of Helical Mathieu Gauss vector modes. Vector modes represent the most general state of light in which, the spatial and polarisation degrees of freedom are coupled in a non separable way. Crucially, while polarisation is limited to a bi dimensional space, the spatial degree of freedom can take any spatial profile. However, most generation and application techniques are mainly limited to spatial modes with polar cylindrical symmetry, such as Laguerre and Bessel Gauss modes. In this manuscript we put forward a novel class of vector modes with its spatial degree of freedom encoded in the set of helical Mathieu Gauss beams of the elliptical cylindrical coordinates. We first introduce these modes theoretically and outline their geometric representation on the higher order Poincar 'e sphere. Later on, we demonstrate their experimental generation using a polarisation insensitive technique comprising the use of a digital micromirror device. Finally, we provide with a qualitative and a quantitative characterisation of the same using modern approaches based on quantum mechanics tools. It is worth mentioning that non polar vector beams are highly desired in various applications, such as optical trapping and optical communications.


An explicit P ' o lya Vinogradov inequality via Partial Gaussian sums. In this paper we obtain a new fully explicit constant for the P 'olya Vinogradov inequality for squarefree modulus. Given a primitive character chi to squarefree modulus q , we prove the following upper bound begin align left sum 1 le n le N chi(n) right le c sqrt q log q, end align where c 1 (2 pi 2) o(1) for even characters and c 1 (4 pi) o(1) for odd characters, with an explicit o(1) term. This improves a result of Frolenkov and Soundararajan for large q . We proceed via partial Gaussian sums rather than the usual Montgomery and Vaughan approach of exponential sums with multiplicative coefficients. This allows a power saving on the minor arcs rather than a factor of log q as in previous approaches and is an important factor for fully explicit bounds.


Lifespan estimates for 2 dimensional semilinear wave equations in asymptotically Euclidean exterior domains. In this paper we study the initial boundary value problem for two dimensional semilinear wave equations with small data, in asymptotically Euclidean exterior domains. We prove that if 1 p le p c(2) , the problem admits almost the same upper bound of the lifespan as that of the corresponding Cauchy problem, only with a small loss for 1 p le 2 . It is interesting to see that the logarithmic increase of the harmonic function in 2 D has no influence to the estimate of the upper bound of the lifespan for 2 p le p c(2) . One of the novelties is that we can deal with the problem with flat metric and general obstacles (bounded and simple connected), and it will be reduced to the corresponding problem with compact perturbation of the flat metric outside a ball.


Unsupervised Joint k node Graph Representations with Compositional Energy Based Models. Existing Graph Neural Network (GNN) methods that learn inductive unsupervised graph representations focus on learning node and edge representations by predicting observed edges in the graph. Although such approaches have shown advances in downstream node classification tasks, they are ineffective in jointly representing larger k node sets, k 2 . We propose MHM GNN, an inductive unsupervised graph representation approach that combines joint k node representations with energy based models (hypergraph Markov networks) and GNNs. To address the intractability of the loss that arises from this combination, we endow our optimization with a loss upper bound using a finite sample unbiased Markov Chain Monte Carlo estimator. Our experiments show that the unsupervised MHM GNN representations of MHM GNN produce better unsupervised representations than existing approaches from the literature.


Locally zero Groupoids and the Center of Bin(X). In this paper we introduce the notion of the center ZBin(X) in the semigroup Bin(X) of all binary systems on a set X , and show that if (X, bullet) in ZBin(X) , then x not y implies x,y x bullet y,y bullet x .Moreover, we show that a groupoid (X, bullet ) in ZBin(X) if and only if it is a locally zero groupoid.


Classification of 3 dimensional complete rectifiable steady and expanding gradient Ricci solitons. Let (M,g,f) be a 3 dimensional complete steady gradient Ricci soliton. Assume that M is rectifiable, that is, the potential function can be written as f f(r) , where r is a distance function. Then, we prove that M is isometric to (1) a quotient of mathbb R 3 , or (2) the Bryant soliton. In particular, we show that any 3 dimensional complete rectifiable steady gradient Ricci soliton with positive Ricci curvature is isometric to the Bryant soliton. Furthermore, we show that any 3 dimensional complete rectifiable expanding gradient Ricci soliton with positive Ricci curvature is rotationally symmetric.


Interaction of forced Orr Sommerfeld and Squire modes in a low order representation of turbulent channel flow. A resolvent based reduced order representation is used to capture time averaged second order statistics in turbulent channel flow. The recently proposed decomposition of the resolvent operator into two distinct families related to the Orr Sommerfeld and Squire operators K. Rosenberg and B. J. McKeon, Efficient representation of exact coherent states of the Navier Stokes equations using resolvent analysis, Fluid Dynamics Research 51, 011401 (2019) results in dramatic improvement in the ability to match all components of the energy spectra and the uv cospectrum. The success of the new representation relies on the ability of the Squire modes to compete with the vorticity generated by Orr Sommerfeld modes, which is demonstrated by decomposing the statistics into contributions from each family. It is then shown that this competition can be used to infer a phase relationship between the two sets of modes. Additionally, the relative Reynolds number scalings for the two families of resolvent weights are derived for the universal classes of resolvent modes presented by Moarref et al. R. Moarref, A. S. Sharma, J. A. Tropp, and B. J. McKeon, Model based scaling of the streamwise energy density in high Reynolds number turbulent channels, Journal of Fluid Mechanics 734, 275 (2013) . These developments can be viewed as a starting point for further modeling efforts to quantify nonlinear interactions in wall bounded turbulence.


Referencing Sources of Molecular Spectroscopic Data in the Era of Data Science Application to the HITRAN and AMBDAS Databases. The application described has been designed to create bibliographic entries in large databases with diverse sources automatically, which reduces both the frequency of mistakes and the workload for the administrators. This new system uniquely identifies each reference from its digital object identifier (DOI) and retrieves the corresponding bibliographic information from any of several online services, including the SAO NASA Astrophysics Data Systems (ADS) and CrossRef APIs. Once parsed into a relational database, the software is able to produce bibliographies in any of several formats, including HTML and BibTeX, for use on websites or printed articles. The application is provided free of charge for general use by any scientific database. The power of this application is demonstrated when used to populate reference data for the HITRAN and AMBDAS databases as test cases. HITRAN contains data that is provided by researchers and collaborators throughout the spectroscopic community. These contributors are accredited for their contributions through the bibliography produced alongside the data returned by an online search in HITRAN. Prior to the work presented here, HITRAN and AMBDAS created these bibliographies manually, which is a tedious, time consuming and error prone process. The complete code for the new referencing system can be found at url https github.com hitranonline refs .


A Physical Testbed for Intelligent Transportation Systems. Intelligent transportation systems (ITSs) and other smart city technologies are increasingly advancing in capability and complexity. While simulation environments continue to improve, their fidelity and ease of use can quickly degrade as newer systems become increasingly complex. To remedy this, we propose a hardware and software based traffic management system testbed as part of a larger smart city testbed. It comprises a network of connected vehicles, a network of intersection controllers, a variety of control services, and data analytics services. The main goal of our testbed is to provide researchers and students with the means to develop novel traffic and vehicle control algorithms with higher fidelity than what can be achieved with simulation alone. Specifically, we are using the testbed to develop an integrated management system that combines model based control and data analytics to improve the system performance over time. In this paper, we give a detailed description of each component within the testbed and discuss its current developmental state. Additionally, we present initial results and propose future work. Index Terms Smart city, Intelligent transportation systems, Human in the loop, Data analytics, Data visualization, Traffic network management and control, Machine learning.


Pareto Adaptive Robust Optimality via a Fourier Motzkin Elimination Lens. We introduce the concept of Pareto Adaptive Robust Optimality (PARO) for linear Adaptive Robust Optimization (ARO) problems. A worst case optimal solution pair of here and now decisions and wait and see decisions is PARO if it cannot be Pareto dominated by another solution, i.e., there does not exist another such pair that performs at least as good in all scenarios in the uncertainty set and strictly better in at least one scenario. We argue that, unlike PARO, extant solution approaches including those that adopt Pareto Robust Optimality from static robust optimization could fail in ARO and yield solutions that can be Pareto dominated. The latter could lead to inefficiencies and suboptimal performance in practice. We prove the existence of PARO solutions, and present particular approaches for finding and approximating such solutions. We present numerical results for a facility location problem that demonstrate the practical value of PARO solutions. Our analysis of PARO relies on an application of Fourier Motzkin Elimination as a proof technique. We demonstrate how this technique can be valuable in the analysis of ARO problems, besides PARO. In particular, we employ it to devise more concise and more insightful proofs of known results on (worst case) optimality of decision rule structures.


GM CTSC at SemEval 2020 Task 1 Gaussian Mixtures Cross Temporal Similarity Clustering. This paper describes the system proposed for the SemEval 2020 Task 1 Unsupervised Lexical Semantic Change Detection. We focused our approach on the detection problem. Given the semantics of words captured by temporal word embeddings in different time periods, we investigate the use of unsupervised methods to detect when the target word has gained or loosed senses. To this end, we defined a new algorithm based on Gaussian Mixture Models to cluster the target similarities computed over the two periods. We compared the proposed approach with a number of similarity based thresholds. We found that, although the performance of the detection methods varies across the word embedding algorithms, the combination of Gaussian Mixture with Temporal Referencing resulted in our best system.


Generic Rotation Sets in Hyperbolic Surfaces. We show that for generic homeomorphisms homotopic to the identity in a closed and oriented surface of genus g 1 , the rotation set is given by a union of at most 2 5g 3 convex sets. Examples showing the sharpness for this asymptotic order are provided.


ACNMP Skill Transfer and Task Extrapolation through Learning from Demonstration and Reinforcement Learning via Representation Sharing. To equip robots with dexterous skills, an effective approach is to first transfer the desired skill via Learning from Demonstration (LfD), then let the robot improve it by self exploration via Reinforcement Learning (RL). In this paper, we propose a novel LfD RL framework, namely Adaptive Conditional Neural Movement Primitives (ACNMP), that allows efficient policy improvement in novel environments and effective skill transfer between different agents. This is achieved through exploiting the latent representation learned by the underlying Conditional Neural Process (CNP) model, and simultaneous training of the model with supervised learning (SL) for acquiring the demonstrated trajectories and via RL for new trajectory discovery. Through simulation experiments, we show that (i) ACNMP enables the system to extrapolate to situations where pure LfD fails (ii) Simultaneous training of the system through SL and RL preserves the shape of demonstrations while adapting to novel situations due to the shared representations used by both learners (iii) ACNMP enables order of magnitude sample efficient RL in extrapolation of reaching tasks compared to the existing approaches (iv) ACNMPs can be used to implement skill transfer between robots having different morphology, with competitive learning speeds and importantly with less number of assumptions compared to the state of the art approaches. Finally, we show the real world suitability of ACNMPs through real robot experiments that involve obstacle avoidance, pick and place and pouring actions.


Automatic Extraction of Urban Outdoor Perception from Geolocated Free Texts. The automatic extraction of urban perception shared by people on location based social networks (LBSNs) is an important multidisciplinary research goal. One of the reasons is because it facilitates the understanding of the intrinsic characteristics of urban areas in a scalable way, helping to leverage new services. However, content shared on LBSNs is diverse, encompassing several topics, such as politics, sports, culture, religion, and urban perceptions, making the task of content extraction regarding a particular topic very challenging. Considering free text messages shared on LBSNs, we propose an automatic and generic approach to extract people's perceptions. For that, our approach explores opinions that are spatial temporal and semantically similar. We exemplify our approach in the context of urban outdoor areas in Chicago, New York City and London. Studying those areas, we found evidence that LBSN data brings valuable information about urban regions. To analyze and validate our outcomes, we conducted a temporal analysis to measure the results' robustness over time. We show that our approach can be helpful to better understand urban areas considering different perspectives. We also conducted a comparative analysis based on a public dataset, which contains volunteers' perceptions regarding urban areas expressed in a controlled experiment. We observe that both results yield a very similar level of agreement.


Turbulence assisted formation of bacterial cellulose. Bacterial cellulose is an important class of biomaterials which can be grown in well controlled laboratory and industrial conditions. The cellulose structure is affected by several biological, chemical and environmental factors, including hydrodynamic flows in bacterial suspensions. In this work, we explore the possibility of using well controlled turbulent flow to control the bacterial cellulose production. Turbulent flows leading to random motion of fluid elements may affect the structure of the extracellular polymeric matrix produced by bacteria. Here we show that two dimensional turbulence at the air liquid interface generates chaotic rotation at a well defined scale and random persistent stretching of the fluid elements. The results offer new approaches to engineering of the bacterial cellulose structure by controlling turbulence parameters.


Asymptotics of some generalised sine integrals. We obtain the asymptotic expansion for large integer n of a generalised sine integral int 0 infty left( frac sin ,x x right) n dx by utilising the saddle point method. This expansion is shown to agree with recent results of J. Schlage Puchta in it Commun. Korean Math. Soc. bf 35 (2020) 1193 1202 who used a different approach. An asymptotic estimate is obtained for another related sine integral also involving a large power n . Numerical results are given to illustrate the accuracy of this approximation. We also revisit the asymptotics of Ball's integral involving the Bessel function J nu(x) , which reduces to the above integral when nu 1 2 .


Lifting to Passivity for mathcal H 2 Gain Scheduling Synthesis with Full Block Scalings. We focus on the mathcal H 2 gain scheduling synthesis problem for time varying parametric scheduling blocks with scalings. Recently, we have presented a solution of this problem for D and positive real scalings by guaranteeing finiteness of the mathcal H 2 norm for the closed loop system with suitable linear fractional plant and controller representations. In order to reduce conservatism, we extend these methods to full block scalings by designing a triangular scheduling function and by introducing a new lifting technique for gain scheduled synthesis that enables convexification.


Lozenge Tiling Function Ratios for Hexagons with Dents on Two Sides. We give a formula for the number of lozenge tilings of a hexagon on the triangular lattice with unit triangles removed from arbitrary positions along two non adjacent, non opposite sides. Our formula implies that for certain families of such regions, the ratios of their numbers of tilings are given by simple product formulas.


Secure Deep Graph Generation with Link Differential Privacy. Many data mining and analytical tasks rely on the abstraction of networks (graphs) to summarize relational structures among individuals (nodes). Since relational data are often sensitive, we aim to seek effective approaches to generate utility preserved yet privacy protected structured data. In this paper, we leverage the differential privacy (DP) framework to formulate and enforce rigorous privacy constraints on deep graph generation models, with a focus on edge DP to guarantee individual link privacy. In particular, we enforce edge DP by injecting proper noise to the gradients of a link reconstruction based graph generation model, while ensuring data utility by improving structure learning with structure oriented graph discrimination. Extensive experiments on two real world network datasets show that our proposed DPGGAN model is able to generate graphs with effectively preserved global structure and rigorously protected individual link privacy.


Generalized Ricci flow on nilpotent Lie groups. We define solitons for the generalized Ricci flow on an exact Courant algebroid, building on the definitions of M. Garcia Fernandez and J. Streets. We then define a family of flows for left invariant Dorfman brackets on an exact Courant algebroid over a simply connected nilpotent Lie group, generalizing the bracket flows for nilpotent Lie brackets in a way that might make this new family of flows useful for the study of generalized geometric flows, such as the generalized Ricci flow. We provide explicit examples of both constructions on the Heisenberg group. We also discuss solutions to the generalized Ricci flow on the Heisenberg group.


Team NCTU Toward AI Driving for Autonomous Surface Vehicles From Duckietown to RobotX. Robotic software and hardware systems of autonomous surface vehicles have been developed in transportation, military, and ocean researches for decades. Previous efforts in RobotX Challenges 2014 and 2016 facilitates the developments for important tasks such as obstacle avoidance and docking. Team NCTU is motivated by the AI Driving Olympics (AI DO) developed by the Duckietown community, and adopts the principles to RobotX challenge. With the containerization (Docker) and uniformed AI agent (with observations and actions), we could better 1) integrate solutions developed in different middlewares (ROS and MOOS), 2) develop essential functionalities of from simulation (Gazebo) to real robots (either miniaturized or full sized WAM V), and 3) compare different approaches either from classic model based or learning based. Finally, we setup an outdoor on surface platform with localization services for evaluation. Some of the preliminary results will be presented for the Team NCTU participations of the RobotX competition in Hawaii in 2018.


SemEval 2017 Task 3 Community Question Answering. We describe SemEval 2017 Task 3 on Community Question Answering. This year, we reran the four subtasks from SemEval 2016 (A) Question Comment Similarity,(B) Question Question Similarity,(C) Question External Comment Similarity, and (D) Rerank the correct answers for a new question in Arabic, providing all the data from 2015 and 2016 for training, and fresh data for testing. Additionally, we added a new subtask E in order to enable experimentation with Multi domain Question Duplicate Detection in a larger scale scenario, using StackExchange subforums. A total of 23 teams participated in the task, and submitted a total of 85 runs (36 primary and 49 contrastive) for subtasks A D. Unfortunately, no teams participated in subtask E. A variety of approaches and features were used by the participating systems to address the different subtasks. The best systems achieved an official score (MAP) of 88.43, 47.22, 15.46, and 61.16 in subtasks A, B, C, and D, respectively. These scores are better than the baselines, especially for subtasks A C.


Development of Dynamic Local Area Network (LAN) Based Mock Board Examination System. Purpose Mock board exam is necessary to identify if the students are ready to take the board exam. However, preparing for the examination is not easy. It takes too much time to release the result, given that the College has limited personnel. Thus, the proponents developed the Dynamic Local Area Network (LAN) Based Mock Board Examination System that makes the preparation and checking easy. Method The proponents followed the iterative waterfall model to develop the system efficiently. Some criteria of ISO 25010 were adopted in the evaluation instrument. Simultaneously, evaluators are composed of program chairperson, College of Computer Studies (CCS) faculty, board program students, and alumni. Results The result of 4.91 in Functional Suitability, 4.87 in Performance Efficiency, 4.91 in Usability, 4.90 in Security, and 4.92 in Maintainability shows that the system is fully functional and is usable by any board program. Conclusion The computer based examination, implemented through LAN, can simplify administering personnel of MinSCAT mock board examination. The development of the "Dynamic LAN Based Mock Board Examination System" is a great help to the MinSCAT and their board program graduates if it is implemented. Recommendations The system has hidden weaknesses that were only identified in actual operation. Thus, further testing is needed, like beta testing, to identify and correct it for better performance. After beta testing, the system can be improved through iteration of the Waterfall Model phases. Research Implications The developed system can improve the mock board examination process and ease preparing this significant examination. Moreover, it immediately provides a result that helps the examinees to identify their weaknesses and do a further review to master it.


Are We Hungry for 3D LiDAR Data for Semantic Segmentation? A Survey and Experimental Study. 3D semantic segmentation is a fundamental task for robotic and autonomous driving applications. Recent works have been focused on using deep learning techniques, whereas developing fine annotated 3D LiDAR datasets is extremely labor intensive and requires professional skills. The performance limitation caused by insufficient datasets is called data hunger problem. This research provides a comprehensive survey and experimental study on the question are we hungry for 3D LiDAR data for semantic segmentation? The studies are conducted at three levels. First, a broad review to the main 3D LiDAR datasets is conducted, followed by a statistical analysis on three representative datasets to gain an in depth view on the datasets' size and diversity, which are the critical factors in learning deep models. Second, a systematic review to the state of the art 3D semantic segmentation is conducted, followed by experiments and cross examinations of three representative deep learning methods to find out how the size and diversity of the datasets affect deep models' performance. Finally, a systematic survey to the existing efforts to solve the data hunger problem is conducted on both methodological and dataset's viewpoints, followed by an insightful discussion of remaining problems and open questions To the best of our knowledge, this is the first work to analyze the data hunger problem for 3D semantic segmentation using deep learning techniques that are addressed in the literature review, statistical analysis, and cross dataset and cross algorithm experiments. We share findings and discussions, which may lead to potential topics in future works.


Using performance analysis tools for parallel in time integrators Does my time parallel code do what I think it does?. While many ideas and proofs of concept for parallel in time integration methods exists, the number of large scale, accessible time parallel codes is rather small. This is often due to the apparent or subtle complexity of the algorithms and the many pitfalls awaiting developers of parallel numerical software. One example of such a time parallel code is pySDC, which implements, among others, the parallel full approximation scheme in space and time (PFASST). Inspired by nonlinear multigrid ideas, PFASST allows to integrate multiple time steps simultaneously using a space time hierarchy of spectral deferred corrections. In this paper we demonstrate the application of performance analysis tools to the PFASST implementation pySDC. Tracing the path we took for this work, we highlight the obstacles encountered, describe remedies and explain the sometimes surprising findings made possible by the tools. Although focusing only on a single implementation of a particular parallel in time integrator, we hope that our results and in particular the way we obtained them are a blueprint for other time parallel codes.


Mass sensitivity of gravimetric satellites. Frequency domain expressions are found for gradiometer and satellite to satellite tracking measurements of a point source on the surface of the Earth. The maximum signal to noise ratio as a function of noise in the measurement apparatus is computed, and from that the minimum detectable point mass is inferred. A point mass of magnitude M 3 100 Gt gives a signal to noise ratio of 3 when a GOCE like gradiometer passes directly over the mass. On the satellite to satellite tracking mission GRACE FO M 3 1.3 Gt for the microwave instrument and M 3 0.5 Gt for the laser ranging interferometer. The sensitivity of future GRACE like missions with different orbital parameters and improved accelerometer sensitivity is explored, and the optimum spacecraft separation for detecting point like sources is found. The future mission benefit of improving the accelerometer sensitivity for measurement of non gravitational disturbances is shown by the resulting reduction of M 3 to as small as 7 Mt for 500 km orbital altitude and optimized satellite separation of 900 km.


TDR OBCA A Reliable Planner for Autonomous Driving in Free Space Environment. This paper presents an optimization based collision avoidance trajectory generation method for autonomous driving in free space environments, with enhanced robustness, driving comfort and efficiency. Starting from the hybrid optimization based framework, we introduces two warm start methods, temporal and dual variable warm starts, to improve the efficiency. We also reformulate the problem to improve the robustness and efficiency. We name this new algorithm TDR OBCA. With these changes, compared with original hybrid optimization we achieve a 96.67 failure rate decrease with respect to initial conditions, 13.53 increase in driving comforts and 3.33 to 44.82 increase in planner efficiency as obstacles number scales. We validate our results in hundreds of simulation scenarios and hundreds of hours of public road tests in both U.S. and China. Our source code is available at https github.com ApolloAuto apollo.


Linking OpenStreetMap with Knowledge Graphs Link Discovery for Schema Agnostic Volunteered Geographic Information. Representations of geographic entities captured in popular knowledge graphs such as Wikidata and DBpedia are often incomplete. OpenStreetMap (OSM) is a rich source of openly available, volunteered geographic information that has a high potential to complement these representations. However, identity links between the knowledge graph entities and OSM nodes are still rare. The problem of link discovery in these settings is particularly challenging due to the lack of a strict schema and heterogeneity of the user defined node representations in OSM. In this article, we propose OSM2KG a novel link discovery approach to predict identity links between OSM nodes and geographic entities in a knowledge graph. The core of the OSM2KG approach is a novel latent, compact representation of OSM nodes that captures semantic node similarity in an embedding. OSM2KG adopts this latent representation to train a supervised model for link prediction and utilises existing links between OSM and knowledge graphs for training. Our experiments conducted on several OSM datasets, as well as the Wikidata and DBpedia knowledge graphs, demonstrate that OSM2KG can reliably discover identity links. OSM2KG achieves an F1 score of 92.05 on Wikidata and of 94.17 on DBpedia on average, which corresponds to a 21.82 percentage points increase in F1 score on Wikidata compared to the best performing baselines.


Palindromic intervals in Bruhat order and hyperplane arrangements. An element w of the Weyl group is called rationally smooth if the corresponding Schubert variety is rationally smooth. This happens exactly when the lower interval id,w in the Bruhat order is palindromic. For each element w of the Weyl group, we construct a certain hyperplane arrangement. After analyzing the palindromic intervals inside the maximal quotients, we use this result to show that the generating function for regions of the arrangement coincides with the Poincar 'e polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.


EQG RACE Examination Type Question Generation. Question Generation (QG) is an essential component of the automatic intelligent tutoring systems, which aims to generate high quality questions for facilitating the reading practice and assessments. However, existing QG technologies encounter several key issues concerning the biased and unnatural language sources of datasets which are mainly obtained from the Web (e.g. SQuAD). In this paper, we propose an innovative Examination type Question Generation approach (EQG RACE) to generate exam like questions based on a dataset extracted from RACE. Two main strategies are employed in EQG RACE for dealing with discrete answer information and reasoning among long contexts. A Rough Answer and Key Sentence Tagging scheme is utilized to enhance the representations of input. An Answer guided Graph Convolutional Network (AG GCN) is designed to capture structure information in revealing the inter sentences and intra sentence relations. Experimental results show a state of the art performance of EQG RACE, which is apparently superior to the baselines. In addition, our work has established a new QG prototype with a reshaped dataset and QG method, which provides an important benchmark for related research in future work. We will make our data and code publicly available for further research.


pdbmine A Node.js API for the RCSB Protein Data Bank (PDB). Summary The advent of Web based tools that assist in the analysis and visualization of macromolecules require application programming interfaces (APIs) designed for modern web frameworks. To this end, we have developed a Node.js module pdbmine that allows any user to generate faster data request queries to the RCSB Protein Data Bank (PDB). This JavaScript API acts as a layer over the XML based RCSB PDB RESTful API. The relatively simple nature of the function calls within this module allows the user to easily implement and integrate pdbmine into larger Node.js web applications. Availability This module can be installed via the Node Package Manager (NPM) at https www.npmjs.com package pdbmine , and is hosted on GitHub under the open source MIT license at https github.com nnj1 pdbmine . Relevant documentation is detailed at https nnj1.github.io pdbmine


From Kinematics To Dynamics Estimating Center of Pressure and Base of Support from Video Frames of Human Motion. To gain an understanding of the relation between a given human pose image and the corresponding physical foot pressure of the human subject, we propose and validate two end to end deep learning architectures, PressNet and PressNet Simple, to regress foot pressure heatmaps (dynamics) from 2D human pose (kinematics) derived from a video frame. A unique video and foot pressure data set of 813,050 synchronized pairs, composed of 5 minute long choreographed Taiji movement sequences of 6 subjects, is collected and used for leaving one subject out cross validation. Our initial experimental results demonstrate reliable and repeatable foot pressure prediction from a single image, setting the first baseline for such a complex cross modality mapping problem in computer vision. Furthermore, we compute and quantitatively validate the Center of Pressure (CoP) and Base of Support (BoS) from predicted foot pressure distribution, obtaining key components in pose stability analysis from images with potential applications in kinesiology, medicine, sports and robotics.


A super smooth C 1 spline space over planar mixed triangle and quadrilateral meshes. In this paper we introduce a C 1 spline space over mixed meshes composed of triangles and quadrilaterals, suitable for FEM based or isogeometric analysis. In this context, a mesh is considered to be a partition of a planar polygonal domain into triangles and or quadrilaterals. The proposed space combines the Argyris triangle, cf. (Argyris, Fried, Scharpf 1968), with the C 1 quadrilateral element introduced in (Brenner, Sung 2005) and (Kapl, Sangalli, Takacs 2019) for polynomial degrees p geq 5 . The space is assumed to be C 2 at all vertices and C 1 across edges, and the splines are uniquely determined by C 2 data at the vertices, values and normal derivatives at chosen points on the edges, and values at some additional points in the interior of the elements. The motivation for combining the Argyris triangle element with a recent C 1 quadrilateral construction, inspired by isogeometric analysis, is two fold on one hand, the ability to connect triangle and quadrilateral finite elements in a C 1 fashion is non trivial and of theoretical interest. We provide not only approximation error bounds but also numerical tests verifying the results. On the other hand, the construction facilitates the meshing process by allowing more flexibility while remaining C 1 everywhere. This is for instance relevant when trimming of tensor product B splines is performed. In the presented construction we assume to have (bi)linear element mappings and piecewise polynomial function spaces of arbitrary degree p geq 5 . The basis is simple to implement and the obtained results are optimal with respect to the mesh size for L infty , L 2 as well as Sobolev norms H 1 and H 2 .


Recollements and Ladders for weighted projective lines. In this paper, we construct recollements and ladders for exceptional curves by using reduction insertion functors due to p cycle construction. As applications to weighted projective lines, we classify recollements for the category of coherent sheaves over a weighted projective line, and give an explicit description of ladders in two different levels the bounded derived category of coherent sheaves and the stable category of vector bundles.


Waiting but not Aging Optimizing Information Freshness Under the Pull Model. The Age of Information is an important metric for investigating the timeliness performance in information update systems. In this paper, we study the AoI minimization problem under a new Pull model with replication schemes, where a user proactively sends a replicated request to multiple servers to "pull" the information of interest. Interestingly, we find that under this new Pull model, replication schemes capture a novel tradeoff between different values of the AoI across the servers (due to the random updating processes) and different response times across the servers, which can be exploited to minimize the expected AoI at the user's side. Specifically, assuming Poisson updating process for the servers and exponentially distributed response time, we derive a closed form formula for computing the expected AoI and obtain the optimal number of responses to wait for to minimize the expected AoI. Then, we extend our analysis to the setting where the user aims to maximize the AoI based utility, which represents the user's satisfaction level with respect to freshness of the received information. Furthermore, we consider a more realistic scenario where the user has no prior knowledge of the system. In this case, we reformulate the utility maximization problem as a stochastic Multi Armed Bandit problem with side observations and leverage a special linear structure of side observations to design learning algorithms with improved performance guarantees. Finally, we conduct extensive simulations to elucidate our theoretical results and compare the performance of different algorithms. Our findings reveal that under the Pull model, waiting does not necessarily lead to aging waiting for more than one response can often significantly reduce the AoI and improve the AoI based utility in most scenarios.


Generalized 3x 1 Mappings searching for cycles. We determine the conditions for the existence or not of cycles for several families of generalized 3x 1 mappings and develop a method to find them.


A Game Theoretic Drone as a Service Composition for Delivery. We propose a novel game theoretic approach for drone service composition considering recharging constraints. We design a non cooperative game model for drone services. We propose a non cooperative game algorithm for the selection and composition of optimal drone services. We conduct several experiments on a real drone dataset to demonstrate the efficiency of our proposed approach.


DMM Net Differentiable Mask Matching Network for Video Object Segmentation. In this paper, we propose the differentiable mask matching network (DMM Net) for solving the video object segmentation problem where the initial object masks are provided. Relying on the Mask R CNN backbone, we extract mask proposals per frame and formulate the matching between object templates and proposals at one time step as a linear assignment problem where the cost matrix is predicted by a CNN. We propose a differentiable matching layer by unrolling a projected gradient descent algorithm in which the projection exploits the Dykstra's algorithm. We prove that under mild conditions, the matching is guaranteed to converge to the optimum. In practice, it performs similarly to the Hungarian algorithm during inference. Meanwhile, we can back propagate through it to learn the cost matrix. After matching, a refinement head is leveraged to improve the quality of the matched mask. Our DMM Net achieves competitive results on the largest video object segmentation dataset YouTube VOS. On DAVIS 2017, DMM Net achieves the best performance without online learning on the first frames. Without any fine tuning, DMM Net performs comparably to state of the art methods on SegTrack v2 dataset. At last, our matching layer is very simple to implement we attach the PyTorch code ( 50 lines) in the supplementary material. Our code is released at https github.com ZENGXH DMM Net.


LP based Approximation for Personalized Reserve Prices. We study the problem of computing data driven personalized reserve prices in eager second price auctions without having any assumption on valuation distributions. Here, the input is a data set that contains the submitted bids of n buyers in a set of auctions and the problem is to return personalized reserve prices textbf r that maximize the revenue earned on these auctions by running eager second price auctions with reserve textbf r . For this problem, which is known to be APX hard, we present a novel LP formulation and a rounding procedure which achieves a (1 2( sqrt 2 1)e sqrt 2 2 ) 1 approx 0.684 approximation. This improves over the frac 1 2 approximation algorithm due to Roughgarden and Wang. We show that our analysis is tight for this rounding procedure. We also bound the integrality gap of the LP, which shows that it is impossible to design an algorithm that yields an approximation factor larger than 0.828 with respect to this LP.


Privacy preserving Health Data Sharing for Medical Cyber Physical Systems. The recent spades of cyber security attacks have compromised end users' data safety and privacy in Medical Cyber Physical Systems (MCPS). Traditional standard encryption algorithms for data protection are designed based on a viewpoint of system architecture rather than a viewpoint of end users. As such encryption algorithms are transferring the protection on the data to the protection on the keys, data safety and privacy will be compromised once the key is exposed. In this paper, we propose a secure data storage and sharing method consisted by a selective encryption algorithm combined with fragmentation and dispersion to protect the data safety and privacy even when both transmission media (e.g. cloud servers) and keys are compromised. This method is based on a user centric design that protects the data on a trusted device such as end user's smartphone and lets the end user to control the access for data sharing. We also evaluate the performance of the algorithm on a smartphone platform to prove the efficiency.


Inverse eigenproblems and approximation problems for the generalized reflexive and antireflexive matrices with respect to a pair of generalized reflection matrices. A matrix P is said to be a nontrivial generalized reflection matrix over the real quaternion algebra mathbb H if P ast P neq I and P 2 I where ast means conjugate and transpose. We say that A in mathbb H n times n is generalized reflexive (or generalized antireflexive) with respect to the matrix pair (P,Q) if A PAQ ( or A PAQ) where P and Q are two nontrivial generalized reflection matrices of demension n . Let large varphi be one of the following subsets of mathbb H n times n (i) generalized reflexive matrix (ii)reflexive matrix (iii) generalized antireflexive matrix (iiii) antireflexive matrix. Let Z in mathbb H n times m with rank left( Z right) m and Lambda diag left( lambda 1 ,..., lambda m right) . The inverse eigenproblem is to find a matrix A such that the set large varphi left( Z, Lambda right) left A in large varphi text text AZ Z Lambda right nonempty and find the general expression of A. newline In this paper, we investigate the inverse eigenproblem large varphi left( Z, Lambda right) . Moreover, the approximation problem underset A in large varphi min left Vert A E right Vert F is studied, where E is a given matrix over mathbb H and parallel cdot parallel F is the Frobenius norm.


Towards Unsupervised Learning for Instrument Segmentation in Robotic Surgery with Cycle Consistent Adversarial Networks. Surgical tool segmentation in endoscopic images is an important problem it is a crucial step towards full instrument pose estimation and it is used for integration of pre and intra operative images into the endoscopic view. While many recent approaches based on convolutional neural networks have shown great results, a key barrier to progress lies in the acquisition of a large number of manually annotated images which is necessary for an algorithm to generalize and work well in diverse surgical scenarios. Unlike the surgical image data itself, annotations are difficult to acquire and may be of variable quality. On the other hand, synthetic annotations can be automatically generated by using forward kinematic model of the robot and CAD models of tools by projecting them onto an image plane. Unfortunately, this model is very inaccurate and cannot be used for supervised learning of image segmentation models. Since generated annotations will not directly correspond to endoscopic images due to errors, we formulate the problem as an unpaired image to image translation where the goal is to learn the mapping between an input endoscopic image and a corresponding annotation using an adversarial model. Our approach allows to train image segmentation models without the need to acquire expensive annotations and can potentially exploit large unlabeled endoscopic image collection outside the annotated distributions of image annotation data. We test our proposed method on Endovis 2017 challenge dataset and show that it is competitive with supervised segmentation methods.


The challenges of Scheduling and Resource Allocation in IEEE 802.11ad ay. The IEEE 802.11ad WiFi amendment enables short range multi gigabit communications in the unlicensed 60 GHz spectrum, unlocking new interesting applications such as wireless Augmented and Virtual Reality. The characteristics of the mmWave band and directional communications allow increasing the system throughput by scheduling pairs of nodes with low cross interfering channels in the same time frequency slot. On the other hand, this requires significantly more signaling overhead. Furthermore, IEEE 802.11ad introduces a hybrid MAC characterized by two different channel access mechanisms contention based and contention free access periods. The coexistence of both access period types and the directionality typical of mmWave increase the channel access and scheduling complexity in IEEE 802.11ad compared to previous WiFi versions. Hence, to provide the Quality of Service (QoS) performance required by demanding applications, a proper resource scheduling mechanism that takes into account both directional communications and the newly added features of this WiFi amendment is needed. In this paper, we present a brief but comprehensive review of the open problems and challenges associated with channel access in IEEE 802.11ad and propose a workflow to tackle them via both heuristic and learning based methods.


Unveiling Coordinated Groups Behind White Helmets Disinformation. Propaganda, disinformation, manipulation, and polarization are the modern illnesses of a society increasingly dependent on social media as a source of news. In this paper, we explore the disinformation campaign, sponsored by Russia and allies, against the Syria Civil Defense (a.k.a. the White Helmets). We unveil coordinated groups using automatic retweets and content duplication to promote narratives and or accounts. The results also reveal distinct promoting strategies, ranging from the small groups sharing the exact same text repeatedly, to complex "news website factories" where dozens of accounts synchronously spread the same news from multiple sites.


Measuring and Managing Carbon Risk in Investment Portfolios. This article studies the impact of carbon risk on stock pricing. To address this, we consider the seminal approach of G "orgen textsl et al. (2019), who proposed estimating the carbon financial risk of equities by their carbon beta. To achieve this, the primary task is to develop a brown minus green (or BMG) risk factor, similar to Fama and French (1992). Secondly, we must estimate the carbon beta using a multi factor model. While G "orgen textsl et al. (2019) considered that the carbon beta is constant, we propose a time varying estimation model to assess the dynamics of the carbon risk. Moreover, we test several specifications of the BMG factor to understand which climate change related dimensions are priced in by the stock market. In the second part of the article, we focus on the carbon risk management of investment portfolios. First, we analyze how carbon risk impacts the construction of a minimum variance portfolio. As the goal of this portfolio is to reduce unrewarded financial risks of an investment, incorporating the carbon risk into this approach fulfils this objective. Second, we propose a new framework for building enhanced index portfolios with a lower exposure to carbon risk than capitalization weighted stock indices. Finally, we explore how carbon sensitivities can improve the robustness of factor investing portfolios.


Estimating the duration effects in structural responses by a new energy cycle based parameter. Strong motion duration and number of cycles of motion are the well known parameters with which earthquake engineers currently use to take into account the influence of motion duration for the dynamic analysis of structures. In addition to these prevalent means, using the number of nonlinear cycles, which a structure experiences during the motion, is also one another method to find the influence of the motion duration in the response of structures. In this study, a new approach is proposed to determine the number of nonlinear cycles. Moreover, a parameter based on both hysteretic energy and number of nonlinear cycles is likewise suggested to precisely reflect the shaking characteristics of the motion. The proposed parameter is expected to demonstrate a high correlation with the response of structures even for the structures having deteriorative and degraded behaviour during the motion. This matter is examined and confirmed with the application of this parameter to predict the influence of motion duration in the response of several degrading RC frames. It is revealed that the proposed parameter is able to well predict the influence of motion duration and can be used as a criterion to select ground motions for dynamic analysis.


Ontology Focusing Knowledge enriched Databases on Demand. We propose a novel framework to facilitate the on demand design of data centric systems by exploiting domain knowledge from an existing ontology. Its key ingredient is a process that we call focusing, which allows to obtain a schema for a (possibly knowledge enriched) database semi automatically, given an ontology and a specification of the scope of the desired system. We formalize the inputs and outputs of focusing, and identify relevant computational problems finding a schema via focusing, testing its consistency, and answering queries in the knowledge enriched databases it produces. These definitions are fully independent of the ontology language. We then instantiate the framework using selected description logics as ontology languages, and popular classes of queries for specifying the scope of the system. For several representative combinations, we study the decidability and complexity of the identified computational problems. As a by product, we isolate (and solve) variants of classical decision problems in description logics, that are interesting in their own right.


The agreement distance of unrooted phylogenetic networks. A rearrangement operation makes a small graph theoretical change to a phylogenetic network to transform it into another one. For unrooted phylogenetic trees and networks, popular rearrangement operations are tree bisection and reconnection (TBR) and prune and regraft (PR) (called subtree prune and regraft (SPR) on trees). Each of these operations induces a metric on the sets of phylogenetic trees and networks. The TBR distance between two unrooted phylogenetic trees T and T' can be characterised by a maximum agreement forest, that is, a forest with a minimum number of components that covers both T and T' in a certain way. This characterisation has facilitated the development of fixed parameter tractable algorithms and approximation algorithms. Here, we introduce maximum agreement graphs as a generalisations of maximum agreement forests for phylogenetic networks. While the agreement distance the metric induced by maximum agreement graphs does not characterise the TBR distance of two networks, we show that it still provides constant factor bounds on the TBR distance. We find similar results for PR in terms of maximum endpoint agreement graphs.


Robust and effective eSIF preconditioning for general SPD matrices. We propose an unconditionally robust and highly effective preconditioner for general symmetric positive definite (SPD) matrices based on structured incomplete factorization (SIF), called enhanced SIF (eSIF) preconditioner. The original SIF strategy proposed recently derives a structured preconditioner by applying block diagonal preprocessing to the matrix and then compressing appropriate scaled off diagonal blocks. Here, we use an enhanced scaling and compression strategy to design the new eSIF preconditioner. Some subtle modifications are made, such as the use of two sided block triangular preprocessing. A practical multilevel eSIF scheme is then designed. We give rigorous analysis for both the enhanced scaling and compression strategy and the multilevel eSIF preconditioner. The new eSIF framework has some significant advantages and overcomes some major limitations of the SIF strategy. (i) With the same tolerance for compressing the off diagonal blocks, the eSIF preconditioner can approximate the original matrix to a much higher accuracy. (ii) The new preconditioner leads to much more significant reductions of condition numbers due to an accelerated magnification effect for the decay in the singular values of the scaled off diagonal blocks. (iii) With the new preconditioner, the eigenvalues of the preconditioned matrix are much better clustered around 1 . (iv) The multilevel eSIF preconditioner is further unconditionally robust or is guaranteed to be positive definite without the need of extra stabilization, while the multilevel SIF preconditioner has a strict requirement in order to preserve positive definiteness. Comprehensive numerical tests are used to show the advantages of the eSIF preconditioner in accelerating the convergence of iterative solutions.


A Real Time Approach for Chance Constrained Motion Planning with Dynamic Obstacles. Uncertain dynamic obstacles, such as pedestrians or vehicles, pose a major challenge for optimal robot navigation with safety guarantees. Previous work on motion planning has followed two main strategies to provide a safe bound on an obstacle's space a polyhedron, such as a cuboid, or a nonlinear differentiable surface, such as an ellipsoid. The former approach relies on disjunctive programming, which has a relatively high computational cost that grows exponentially with the number of obstacles. The latter approach needs to be linearized locally to find a tractable evaluation of the chance constraints, which dramatically reduces the remaining free space and leads to over conservative trajectories or even unfeasibility. In this work, we present a hybrid approach that eludes the pitfalls of both strategies while maintaining the original safety guarantees. The key idea consists in obtaining a safe differentiable approximation for the disjunctive chance constraints bounding the obstacles. The resulting nonlinear optimization problem is free of chance constraint linearization and disjunctive programming, and therefore, it can be efficiently solved to meet fast real time requirements with multiple obstacles. We validate our approach through mathematical proof, simulation and real experiments with an aerial robot using nonlinear model predictive control to avoid pedestrians.


Unified Image and Video Saliency Modeling. Visual saliency modeling for images and videos is treated as two independent tasks in recent computer vision literature. While image saliency modeling is a well studied problem and progress on benchmarks like SALICON and MIT300 is slowing, video saliency models have shown rapid gains on the recent DHF1K benchmark. Here, we take a step back and ask Can image and video saliency modeling be approached via a unified model, with mutual benefit? We identify different sources of domain shift between image and video saliency data and between different video saliency datasets as a key challenge for effective joint modelling. To address this we propose four novel domain adaptation techniques Domain Adaptive Priors, Domain Adaptive Fusion, Domain Adaptive Smoothing and Bypass RNN in addition to an improved formulation of learned Gaussian priors. We integrate these techniques into a simple and lightweight encoder RNN decoder style network, UNISAL, and train it jointly with image and video saliency data. We evaluate our method on the video saliency datasets DHF1K, Hollywood 2 and UCF Sports, and the image saliency datasets SALICON and MIT300. With one set of parameters, UNISAL achieves state of the art performance on all video saliency datasets and is on par with the state of the art for image saliency datasets, despite faster runtime and a 5 to 20 fold smaller model size compared to all competing deep methods. We provide retrospective analyses and ablation studies which confirm the importance of the domain shift modeling. The code is available at https github.com rdroste unisal


Solutions of second order PDEs with first order quotients. We describe a way of solving a partial differential equation using the differential invariants of its point symmetries. By first solving its quotient PDE, which is given by the differential syzygies in the algebra of differential invariants, we obtain new differential constraints which are compatible with the PDE under consideration. Adding these constraints to our system makes it overdetermined, and thus easier to solve. We focus on second order scalar PDEs whose quotients are first order scalar PDEs. This situation occurs only when the Lie algebra of symmetries of the second order PDE is infinite dimensional. We apply this idea to several different PDEs, one of which is the Hunter Saxton equation.


PennSyn2Real Training Object Recognition Models without Human Labeling. Scalable training data generation is a critical problem in deep learning. We propose PennSyn2Real a photo realistic synthetic dataset consisting of more than 100,000 4K images of more than 20 types of micro aerial vehicles (MAVs). The dataset can be used to generate arbitrary numbers of training images for high level computer vision tasks such as MAV detection and classification. Our data generation framework bootstraps chroma keying, a mature cinematography technique with a motion tracking system, providing artifact free and curated annotated images where object orientations and lighting are controlled. This framework is easy to set up and can be applied to a broad range of objects, reducing the gap between synthetic and real world data. We show that synthetic data generated using this framework can be directly used to train CNN models for common object recognition tasks such as detection and segmentation. We demonstrate competitive performance in comparison with training using only real images. Furthermore, bootstrapping the generated synthetic data in few shot learning can significantly improve the overall performance, reducing the number of required training data samples to achieve the desired accuracy.


A non commutative K "ahler structure on the Poincar 'e disk of a C algebra. We study the Poincar 'e disk d z in a z 1 of a C algebra a as a homogeneous space under the action of an appropriate Banach Lie group u( theta) of 2 times 2 matrices with entries in a . We define on d a homogeneous K "ahler structure in a non commutative sense. In particular, this K "ahler structure defines on d a homogeneous symplectic structure under the action of u( theta) . This action has a moment map that we explicitly compute. In the presence of a trace in a , we show that the moment map has a convex image when restricted to appropriate subgroups of u( theta) , resembling the classical result of Atiyah Guillmien Sternberg.


On the algebraic functional equation for the mixed signed Selmer group over multiple mathbb Z p extensions. Let E be an elliptic curve defined over a number field with good reduction at all primes above a fixed odd prime p , where at least one of which is a supersingular prime of E . In this paper, we will establish the algebraic functional equation for the mixed signed Selmer groups of an elliptic curve with good reduction at every prime above p over a multiple mathbb Z p extension.


A QoS Oriented Trajectory Optimization in Swarming Unmanned Aerial Vehicles Communications. This letter aims to present a novel approach for unmanned aerial vehicles (UAV)' path planning with respect to certain quality of service requirements. More specifically, we study the max min fairness problem in an air to ground communication system where multiple UAVs and multiple ground stations exist. We jointly optimize the UAVs trajectories and power allocation as well as the user scheduling. To this end, we propose an effective iterative algorithm that relies on the successive convex approximation and the block coordinate decent techniques.


Period mimicry A note on the ( 1) evaluation of the peak polynomials. We briefly explore a sequence that came up in recent work of Tirrell and Zhuang. We discover an unusual phenomenon where the sequence appears at first to have periodic behavior but eventually has non periodic fluctuations.


The Arens Michael envelopes of the Jordanian Plane and U q( mathfrak sl (2)) . The Arens Michael functor in noncommutative geometry is an analogue of the analytification functor in algebraic geometry out of the ring of "algebraic functions" on a noncommutative space it constructs the ring of "holomorphic functions" on it. In this paper, we explicitly compute the Arens Michael envelopes of the Jordanian plane and the quantum enveloping algebra U q( mathfrak sl (2)) of mathfrak sl (2) for q 1 .


HotFuzz Discovering Algorithmic Denial of Service Vulnerabilities Through Guided Micro Fuzzing. Contemporary fuzz testing techniques focus on identifying memory corruption vulnerabilities that allow adversaries to achieve either remote code execution or information disclosure. Meanwhile, Algorithmic Complexity (AC)vulnerabilities, which are a common attack vector for denial of service attacks, remain an understudied threat. In this paper, we present HotFuzz, a framework for automatically discovering AC vulnerabilities in Java libraries. HotFuzz uses micro fuzzing, a genetic algorithm that evolves arbitrary Java objects in order to trigger the worst case performance for a method under test. We define Small Recursive Instantiation (SRI) as a technique to derive seed inputs represented as Java objects to micro fuzzing. After micro fuzzing, HotFuzz synthesizes test cases that triggered AC vulnerabilities into Java programs and monitors their execution in order to reproduce vulnerabilities outside the fuzzing framework. HotFuzz outputs those programs that exhibit high CPU utilization as witnesses for AC vulnerabilities in a Java library. We evaluate HotFuzz over the Java Runtime Environment (JRE), the 100 most popular Java libraries on Maven, and challenges contained in the DARPA Space and Time Analysis for Cybersecurity (STAC) program. We evaluate SRI's effectiveness by comparing the performance of micro fuzzing with SRI, measured by the number of AC vulnerabilities detected, to simply using empty values as seed inputs. In this evaluation, we verified known AC vulnerabilities, discovered previously unknown AC vulnerabilities that we responsibly reported to vendors, and received confirmation from both IBM and Oracle. Our results demonstrate that micro fuzzing finds AC vulnerabilities in real world software, and that micro fuzzing with SRI derived seed inputs outperforms using empty values.


Guarantees for Sound Abstractions for Generalized Planning (Extended Paper). Generalized planning is about finding plans that solve collections of planning instances, often infinite collections, rather than single instances. Recently it has been shown how to reduce the planning problem for generalized planning to the planning problem for a qualitative numerical problem the latter being a reformulation that simultaneously captures all the instances in the collection. An important thread of research thus consists in finding such reformulations, or abstractions, automatically. A recent proposal learns the abstractions inductively from a finite and small sample of transitions from instances in the collection. However, as in all inductive processes, the learned abstraction is not guaranteed to be correct for the whole collection. In this work we address this limitation by performing an analysis of the abstraction with respect to the collection, and show how to obtain formal guarantees for generalization. These guarantees, in the form of first order formulas, may be used to 1) define subcollections of instances on which the abstraction is guaranteed to be sound, 2) obtain necessary conditions for generalization under certain assumptions, and 3) do automated synthesis of complex invariants for planning problems. Our framework is general, it can be extended or combined with other approaches, and it has applications that go beyond generalized planning.


Identity Management on Blockchain Privacy and Security Aspects. In the last years, identity management solutions on blockchain were proposed as a possible solution to the digital identity management problem. However, they are still at an early stage and further research needs to be done to conclude whether identity systems could benefit from the use of blockchain or not. Motivated by this, we investigate identity management solutions on blockchain intending to give the reader an overview of the current status and provide a better understanding of the pros and cons of using such solutions. We conduct an analysis on ten of the most known implementations, with a focus on privacy and security aspects. Finally, we identify existing challenges and give new directions for research.


Dynamics of a cell motility model near the sharp interface limit. Phase field models have recently had great success in describing the dynamic morphologies and motility of eukaryotic cells. In this work we investigate the minimal phase field model introduced in Berlyand, Potomkin, Rybalko (2017) . Rigorous analysis of its sharp interface limit dynamics was completed in Mizuhara, Berlyand, Rybalko, Zhang (2016) Mizuhara, Zhang (2019) , where it was observed that persistent cell motion was not stable. In this work we numerically study the pre limiting phase field model near the sharp interface limit, to better understand this lack of persistent motion. We find that immobile, persistent, and rotating states are all exhibited in this minimal model, and investigate the loss of persistent motion in the sharp interface limit. In addition we study cell speed as a function of biophysical parameters.