Social Media Attributions in the Context of Water Crisis. Attribution of natural disasters collective misfortune is a widely studied political science problem. However, such studies are typically survey centric or rely on a handful of experts to weigh in on the matter. In this paper, we explore how can we use social media data and an AI driven approach to complement traditional surveys and automatically extract attribution factors. We focus on the most recent Chennai water crisis which started off as a regional issue but rapidly escalated into a discussion topic with global importance following alarming water crisis statistics. Specifically, we present a novel prediction task of attribution tie detection which identifies the factors held responsible for the crisis (e.g., poor city planning, exploding population etc.). On a challenging data set constructed from YouTube comments (72,098 comments posted by 43,859 users on 623 relevant videos to the crisis), we present a neural classifier to extract attribution ties that achieved a reasonable performance (Accuracy 81.34 on attribution detection and 71.19 on attribution resolution).


q-bio.QM cs.NA math.NA physics.bio-ph physics.flu-dyn

Bayesian uncertainty quantification for micro swimmers with fully resolved hydrodynamics. Due to the computational complexity of micro swimmer models with fully resolved hydrodynamics, parameter estimation has been prohibitively expensive. Here, we describe a Bayesian uncertainty quantification framework that is highly parallelizable, making parameter estimation for complex forward models tractable. Using noisy in silico data for swimmers, we demonstrate the methodology's robustness in estimating the fluid and elastic swimmer parameters. Our proposed methodology allows for analysis of real data and demonstrates potential for parameter estimation for various types of micro swimmers. Better understanding the movement of elastic micro structures in a viscous fluid could aid in developing artificial micro swimmers for bio medical applications as well as gain a fundamental understanding of the range of parameters that allow for certain motility patterns.


Retrofitting Structure aware Transformer Language Model for End Tasks. We consider retrofitting structure aware Transformer based language model for facilitating end tasks by proposing to exploit syntactic distance to encode both the phrasal constituency and dependency connection into the language model. A middle layer structural learning strategy is leveraged for structure integration, accomplished with main semantic task training under multi task learning scheme. Experimental results show that the retrofitted structure aware Transformer language model achieves improved perplexity, meanwhile inducing accurate syntactic phrases. By performing structure aware fine tuning, our model achieves significant improvements for both semantic and syntactic dependent tasks.


On A numerical radius inequalities for 2 times 2 operator matrices. Let ( mathcal H , langle . , . rangle ) be a complex Hilbert space and A be a positive bounded linear operator on it. Let w A(T) be the A numerical radius and T A be the A operator seminorm of an operator T acting on the semi Hilbertian space ( mathcal H , langle .,. rangle A), where langle x, y rangle A langle Ax, y rangle for all x,y in mathcal H . In this article, we establish several upper and lower bounds for B numerical radius of 2 times 2 operator matrices, where B begin bmatrix A 0 0 A end bmatrix . Further, we prove some refinements of earlier A numerical radius inequalities for operators.


EdgeLens Deep Learning based Object Detection in Integrated IoT, Fog and Cloud Computing Environments. Data intensive applications are growing at an increasing rate and there is a growing need to solve scalability and high performance issues in them. By the advent of Cloud computing paradigm, it became possible to harness remote resources to build and deploy these applications. In recent years, new set of applications and services based on Internet of Things (IoT) paradigm, require to process large amount of data in very less time. Among them surveillance and object detection have gained prime importance, but cloud is unable to bring down the network latencies to meet the response time requirements. This problem is solved by Fog computing which harnesses resources in the edge of the network along with remote cloud resources as required. However, there is still a lack of frameworks that are successfully able to integrate sophisticated software and applications, especially deep learning, with fog and cloud computing environments. In this work, we propose a framework to deploy deep learning based applications in fog cloud environments to harness edge and cloud resources to provide better service quality for such applications. Our proposed framework, called EdgeLens, adapts to the application or user requirements to provide high accuracy or low latency modes of services. We also tested the performance of the software in terms of accuracy, response time, jitter, network bandwidth and power consumption and show how EdgeLens adapts to different service requirements.


External Spanier Whitehead duality and homology representation theorems for diagram spaces. We construct a Spanier Whitehead type duality functor relating finite mathcal C spectra to finite mathcal C mathrm op spectra and prove that every mathcal C homology theory is given by taking the homotopy groups of a balanced smash product with a fixed mathcal C mathrm op spectrum. We use this to construct Chern characters for certain rational mathcal C homology theories.


Incentive Analysis of Bitcoin NG, Revisited. Bitcoin NG is among the first blockchain protocols to approach the emph near optimal throughput by decoupling blockchain operation into two planes leader election and transaction serialization. Its decoupling idea has inspired a new generation of high performance blockchain protocols. However, the existing incentive analysis of Bitcoin NG has several limitations. First, the impact of network capacity is ignored. Second, an integrated incentive analysis that jointly considers both key blocks and microblocks is still missing. In this paper, we aim to address these two limitations. First, we propose a new incentive analysis that takes the network capacity into account, showing that Bitcoin NG can still maintain incentive compatibility against the microblock mining attack even under limited network capacity. Second, we leverage a Markov decision process (MDP) to jointly analyze the incentive of both key blocks and microblocks, showing that the selfish mining revenue of Bitcoin NG is a little higher than that in Bitcoin only when the selfish miner controls more than 35 of the mining power. We hope that our in depth incentive analysis for Bitcoin NG can shed some light on the mechanism design and incentive analysis of next generation blockchain protocols.


From individual based epidemic models to McKendrick von Foerster PDEs A guide to modeling and inferring COVID 19 dynamics. We present a unifying, tractable approach for studying the spread of viruses causing complex diseases that require to be modeled using a large number of types (e.g., infective stage, clinical state, risk factor class). We show that recording each infected individual's infection age, i.e., the time elapsed since infection, 1. The age distribution n(t, a) of the population at time t can be described by means of a first order, one dimensional partial differential equation (PDE) known as the McKendrick von Foerster equation. 2. The frequency of type i at time t is simply obtained by integrating the probability p(a, i) of being in state i at age a against the age distribution n(t, a) . The advantage of this approach is three fold. First, regardless of the number of types, macroscopic observables (e.g., incidence or prevalence of each type) only rely on a one dimensional PDE "decorated" with types. This representation induces a simple methodology based on the McKendrick von Foerster PDE with Poisson sampling to infer and forecast the epidemic. We illustrate this technique using a French data from the COVID 19 epidemic. Second, our approach generalizes and simplifies standard compartmental models using high dimensional systems of ordinary differential equations (ODEs) to account for disease complexity. We show that such models can always be rewritten in our framework, thus, providing a low dimensional yet equivalent representation of these complex models. Third, beyond the simplicity of the approach, we show that our population model naturally appears as a universal scaling limit of a large class of fully stochastic individual based epidemic models, here the initial condition of the PDE emerges as the limiting age structure of an exponentially growing population starting from a single individual.


Priority based Fair Scheduling in Edge Computing. Scheduling is important in Edge computing. In contrast to the Cloud, Edge resources are hardware limited and cannot support workload driven infrastructure scaling. Hence, resource allocation and scheduling for the Edge requires a fresh perspective. Existing Edge scheduling research assumes availability of all needed resources whenever a job request is made. This paper challenges that assumption, since not all job requests from a Cloud server can be scheduled on an Edge node. Thus, guaranteeing fairness among the clients (Cloud servers offloading jobs) while accounting for priorities of the jobs becomes a critical task. This paper presents four scheduling techniques, the first is a naive first come first serve strategy and further proposes three strategies, namely a client fair, priority fair, and hybrid that accounts for the fairness of both clients and job priorities. An evaluation on a target platform under three different scenarios, namely equal, random, and Gaussian job distributions is presented. The experimental studies highlight the low overheads and the distribution of scheduled jobs on the Edge node when compared to the naive strategy. The results confirm the superior performance of the hybrid strategy and showcase the feasibility of fair schedulers for Edge computing.


Multi span Style Extraction for Generative Reading Comprehension. Generative machine reading comprehension (MRC) requires a model to generate well formed answers. For this type of MRC, answer generation method is crucial to the model performance. However, generative models, which are supposed to be the right model for the task, in generally perform poorly. At the same time, single span extraction models have been proven effective for extractive MRC, where the answer is constrained to a single span in the passage. Nevertheless, they generally suffer from generating incomplete answers or introducing redundant words when applied to the generative MRC. Thus, we extend the single span extraction method to multi span, proposing a new framework which enables generative MRC to be smoothly solved as multi span extraction. Thorough experiments demonstrate that this novel approach can alleviate the dilemma between generative models and single span models and produce answers with better formed syntax and semantics.


Orbital stability and instability of periodic wave solutions for phi 4n models. In this work we study the orbital stability instability in the energy space of a specific family of periodic wave solutions of the general phi 4n model for all n in mathbb N . This family of periodic solutions are orbiting around the origin in the corresponding phase portrait and, in the standing case, are related (in a proper sense) with the aperiodic Kink solution that connect the states tfrac 1 2 with tfrac 1 2 . In the traveling case, we prove the orbital instability in the whole energy space for all n in mathbb N , while in the standing case we prove that, under some additional parity assumptions, these solutions are orbitally stable for all n in mathbb N .


Relativistic correction scheme for core level binding energies from GW . We present a relativistic correction scheme to improve the accuracy of 1s core level binding energies calculated from Green's function theory in the GW approximation, which does not add computational overhead. An element specific corrective term is derived as the difference between the 1s eigenvalues obtained from the self consistent solutions to the non or scalar relativistic Kohn Sham equations and the four component Dirac Kohn Sham equations for a free neutral atom. We examine the dependence of this corrective term on the molecular environment and on the amount of exact exchange in hybrid exchange correlation functionals. This corrective term is then added as a perturbation to the quasiparticle energies from partially self consistent and single shot GW calculations. We show that this element specific relativistic correction, when applied to a previously reported benchmark set of 65 core state excitations J. Phys. Chem. Lett. 11, 1840 (2020) , reduces the mean absolute error (MAE) with respect to experiment from 0.55 to 0.30 eV and eliminates the species dependence of the MAE, which otherwise increases with the atomic number. The relativistic corrections also reduce the species dependence for the optimal amount of exact exchange in the hybrid functional used as starting point for the single shot G 0W 0 calculations. Our correction scheme can be transferred to other methods, which we demonstrate for the Delta self consistent field ( Delta SCF) approach based on density functional theory.


Explicit Plancherel formula for the space of symplectic forms. We provide a Plancherel decomposition for the space of symplectic bilinear forms of rank 2n over a local non archimedean field F in terms of that of GL n(F) .


Amplified endomorphisms of Fano fourfolds. Let X be a smooth Fano fourfold admitting a conic bundle structure. We show that X is toric if and only if X admits an amplified endomorphism in this case, X is a rational variety.


Spin Preserving Chiral Photonic Crystal Mirror. Chirality refers to a geometric phenomenon in which objects are not superimposable on their mirror image. Structures made of nano scale chiral elements can display chiroptical effects, such as dichroism for left and right handed circularly polarized light, which makes them of high interest for applications ranging from quantum information processing and quantum optics to circular dichroism spectroscopy and molecular recognition. At the same time, strong effects have been challenging to achieve even in synthetic optical media and chiroptical effects for light with normal incidence has been speculated to be prohibited in lossless, thin, quasi two dimensional structures. Here, we report on our experimental realization of a giant chiroptical effect in a thin monolithic photonic crystal mirror. Unlike conventional mirrors, our structure selectively reflects only one spin state of light, while preserving its handedness, with a near unity level of circular dichroism. The operational principle of the photonic crystal mirror relies on Guided Mode Resonance (GMR) with simultaneous excitation of leaky TE and TM Bloch modes in the photonic crystal slab. Such modes are not reliant on the suppression of their radiative losses through the long range destructive interference and even small areas of the photonic crystal exhibit robust circular dichroism. Despite its simplicity, the mirror strongly surpasses the performance of earlier reported structures and, contrary to a prevailed notion, demonstrates that near unity reflectivity contrast for the opposite helicities is achievable in a quasi two dimensional structure.


Robotic grasp detection using a novel two stage approach. Recently, deep learning has been successfully applied to robotic grasp detection. Based on convolutional neural networks (CNNs), there have been lots of end to end detection approaches. But end to end approaches have strict requirements for the dataset used for training the neural network models and it's hard to achieve in practical use. Therefore, we proposed a two stage approach using particle swarm optimizer (PSO) candidate estimator and CNN to detect the most likely grasp. Our approach achieved an accuracy of 92.8 on the Cornell Grasp Dataset, which leaped into the front ranks of the existing approaches and is able to run at real time speeds. After a small change of the approach, we can predict multiple grasps per object in the meantime so that an object can be grasped in a variety of ways.


Tensor categories of affine Lie algebras beyond admissible levels. We show that if V is a vertex operator algebra such that all the irreducible ordinary V modules are C 1 cofinite and all the grading restricted generalized Verma modules for V are of finite length, then the category of finite length generalized V modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) mathfrak g at level k and the category KL k( mathfrak g ) of its finite length generalized modules, we discover several families of KL k( mathfrak g ) at non admissible levels k , having braided tensor category structures. In particular, KL k( mathfrak g ) has a braided tensor category structure if the category of ordinary modules is semisimple or more generally if the category of ordinary modules is of finite length. We also prove the rigidity and determine the fusion rules of some categories KL k( mathfrak g ) , including the category KL 1 ( mathfrak sl n) . Using these results, we construct a rigid tensor category structure on a full subcategory of KL 1( mathfrak sl (n m)) consisting of objects with semisimple Cartan subalgebra actions.


Effcient logging and querying for Blockchain based cross site genomic dataset access audit. Background Genomic data have been collected by different institutions and companies and need to be shared for broader use. In a cross site genomic data sharing system, a secure and transparent access control audit module plays an essential role in ensuring the accountability. The 2018 iDASH competition first track provides us with an opportunity to design efficient logging and querying system for cross site genomic dataset access audit. We designed a blockchain based log system which can provide a light weight and widely compatible module for existing blockchain platforms. The submitted solution won the third place of the competition. In this paper, we report the technical details in our system. Methods We present two methods baseline method and enhanced method. We started with the baseline method and then adjusted our implementation based on the competition evaluation criteria and characteristics of the log system. To overcome obstacles of indexing on the immutable Blockchain system, we designed a hierarchical timestamp structure which supports efficient range queries on the timestamp field. Results We implemented our methods in Python3, tested the scalability, and compared the performance using the test data supplied by competition organizer. We successfully boosted the log retrieval speed for complex AND queries that contain multiple predicates. For the range query, we boosted the speed for at least one order of magnitude. The storage usage is reduced by 25 . Conclusion We demonstrate that Blockchain can be used to build a time and space efficient log and query genomic dataset audit trail. Therefore, it provides a promising solution for sharing genomic data with accountability requirement across multiple sites.


Learning Personalized Risk Preferences for Recommendation. The rapid growth of e commerce has made people accustomed to shopping online. Before making purchases on e commerce websites, most consumers tend to rely on rating scores and review information to make purchase decisions. With this information, they can infer the quality of products to reduce the risk of purchase. Specifically, items with high rating scores and good reviews tend to be less risky, while items with low rating scores and bad reviews might be risky to purchase. On the other hand, the purchase behaviors will also be influenced by consumers' tolerance of risks, known as the risk attitudes. Economists have studied risk attitudes for decades. These studies reveal that people are not always rational enough when making decisions, and their risk attitudes may vary in different circumstances. Most existing works over recommendation systems do not consider users' risk attitudes in modeling, which may lead to inappropriate recommendations to users. For example, suggesting a risky item to a risk averse person or a conservative item to a risk seeking person may result in the reduction of user experience. In this paper, we propose a novel risk aware recommendation framework that integrates machine learning and behavioral economics to uncover the risk mechanism behind users' purchasing behaviors. Concretely, we first develop statistical methods to estimate the risk distribution of each item and then draw the Nobel award winning Prospect Theory into our model to learn how users choose from probabilistic alternatives that involve risks, where the probabilities of the outcomes are uncertain. Experiments on several e commerce datasets demonstrate that our approach can achieve better performance than many classical recommendation approaches, and further analyses also verify the advantages of risk aware recommendation beyond accuracy.


Pyramid Multi view Stereo Net with Self adaptive View Aggregation. n this paper, we propose an effective and efficient pyramid multi view stereo (MVS) net with self adaptive view aggregation for accurate and complete dense point cloud reconstruction. Different from using mean square variance to generate cost volume in previous deep learning based MVS methods, our textbf VA MVSNet incorporates the cost variances in different views with small extra memory consumption by introducing two novel self adaptive view aggregations pixel wise view aggregation and voxel wise view aggregation. To further boost the robustness and completeness of 3D point cloud reconstruction, we extend VA MVSNet with pyramid multi scale images input as textbf PVA MVSNet , where multi metric constraints are leveraged to aggregate the reliable depth estimation at the coarser scale to fill in the mismatched regions at the finer scale. Experimental results show that our approach establishes a new state of the art on the textsl textbf DTU dataset with significant improvements in the completeness and overall quality, and has strong generalization by achieving a comparable performance as the state of the art methods on the textsl textbf Tanks and Temples benchmark. Our codebase is at hyperlink https github.com yhw yhw PVAMVSNet https github.com yhw yhw PVAMVSNet


Omni sourced Webly supervised Learning for Video Recognition. We introduce OmniSource, a novel framework for leveraging web data to train video recognition models. OmniSource overcomes the barriers between data formats, such as images, short videos, and long untrimmed videos for webly supervised learning. First, data samples with multiple formats, curated by task specific data collection and automatically filtered by a teacher model, are transformed into a unified form. Then a joint training strategy is proposed to deal with the domain gaps between multiple data sources and formats in webly supervised learning. Several good practices, including data balancing, resampling, and cross dataset mixup are adopted in joint training. Experiments show that by utilizing data from multiple sources and formats, OmniSource is more data efficient in training. With only 3.5M images and 800K minutes videos crawled from the internet without human labeling (less than 2 of prior works), our models learned with OmniSource improve Top 1 accuracy of 2D and 3D ConvNet baseline models by 3.0 and 3.9 , respectively, on the Kinetics 400 benchmark. With OmniSource, we establish new records with different pretraining strategies for video recognition. Our best models achieve 80.4 , 80.5 , and 83.6 Top 1 accuracies on the Kinetics 400 benchmark respectively for training from scratch, ImageNet pre training and IG 65M pre training.


Networks of geometrically exact beams well posedness and stabilization. In this work, we are interested in tree shaped networks of freely vibrating beams which are geometrically exact (GEB) in the sense that large motions (deflections, rotations) are accounted for in addition to shearing and linked by rigid joints. For the intrinsic GEB formulation, namely that in terms of velocities and internal forces moments, we derive transmission conditions and show that the network is locally in time well posed in the classical sense. Applying velocity feedback controls at the external nodes of a star shaped network, we show by means of a quadratic Lyapunov functional and the theory developed by Bastin Coron in cite BC2016 that the zero steady state of this network is exponentially stable for the H 1 and H 2 norms. The major obstacles to overcome in the intrinsic formulation of the GEB network, are that the governing equations are semilinar, containing a quadratic nonlinearity, and that linear lower order terms cannot be neglected.


Large and moderate deviation principles for McKean Vlasov SDEs with jumps. In this paper, we consider McKean Vlasov stochastic differential equations (MVSDEs) driven by L 'evy noise. By identifying the right equations satisfied by the solutions of the MVSDEs with shifted driving L 'evy noise, we build up a framework to fully apply the weak convergence method to establish large and moderate deviation principles for MVSDEs. In the case of ordinary SDEs, the rate function is calculated by using the solutions of the corresponding skeleton equations simply replacing the noise by the elements of the Cameron Martin space. It turns out that the correct rate function for MVSDEs is defined through the solutions of skeleton equations replacing the noise by smooth functions and replacing the distributions involved in the equation by the distribution of the solution of the corresponding deterministic equation (without the noise). This is somehow surprising. With this approach, we obtain large and moderate deviation principles for much wider classes of MVSDEs in comparison with the existing literature.


Remarks on the range and multiple range of random walk up to the time of exit. We consider the scaling behavior of the range and p multiple range, that is the number of points visited and the number of points visited exactly p geq 1 times, of simple random walk on mathbb Z d , for dimensions d geq 2 , up to time of exit from a domain D N of the form D N ND where D subset mathbb R d , as N uparrow infty . Recent papers have discussed connections of the range and related statistics with the Gaussian free field, identifying in particular that the distributional scaling limit for the range, in the case D is a cube in d geq 3 , is proportional to the exit time of Brownian motion. The purpose of this note is to give a concise, different argument that the scaled range and multiple range, in a general setting in d geq 2 , both weakly converge to proportional exit times of Brownian motion from D , and that the corresponding limit moments are polyharmonic', solving a hierarchy of Poisson equations.


Efficient Adversarial Training with Transferable Adversarial Examples. Adversarial training is an effective defense method to protect classification models against adversarial attacks. However, one limitation of this approach is that it can require orders of magnitude additional training time due to high cost of generating strong adversarial examples during training. In this paper, we first show that there is high transferability between models from neighboring epochs in the same training process, i.e., adversarial examples from one epoch continue to be adversarial in subsequent epochs. Leveraging this property, we propose a novel method, Adversarial Training with Transferable Adversarial Examples (ATTA), that can enhance the robustness of trained models and greatly improve the training efficiency by accumulating adversarial perturbations through epochs. Compared to state of the art adversarial training methods, ATTA enhances adversarial accuracy by up to 7.2 on CIFAR10 and requires 12 14x less training time on MNIST and CIFAR10 datasets with comparable model robustness.


Dynamics of coupled thermoacoustic oscillators under asymmetric forcing Experiments and theoretical modeling. Quenching of limit cycle oscillations (LCO), either through mutual coupling or external forcing, has attracted wide attention in several fields of science and engineering. However, the simultaneous utilization of these coupling schemes in quenching of LCO has rarely been studied despite its practical applicability. We study the dynamics of two thermoacoustic oscillators simultaneously subjected to mutual coupling and asymmetric external forcing through experiments and theoretical modeling. We investigate the forced response of both identical and non identical thermoacoustic oscillators for two different amplitudes of LCO. Under mutual coupling alone, identical thermoacoustic oscillators display the occurrence of partial amplitude death and amplitude death, whereas under forcing alone, asynchronous quenching of LCO is observed at non resonant conditions. When the oscillators are simultaneously subjected to mutual coupling and asymmetric forcing, we observe a larger parametric region of oscillation quenching than when the two mechanisms are utilized individually. This enhancement in the region of oscillation quenching is due to the complementary effect of amplitude death and asynchronous quenching. However, a forced response of coupled non identical oscillators shows that the effect of forcing is insignificant on synchronization and quenching of oscillations in the oscillator which is not directly forced. Finally, we qualitatively capture the experimental results using a reduced order theoretical model of two coupled Rijke tubes which are coupled through dissipative and time delay coupling and asymmetrically forced. We believe that these findings offer fresh insights into the combined effects of mutual and forced synchronization in a system of coupled nonlinear oscillators.


On the parabolic elliptic Keller Segel system with signal dependent motilities a paradigm for global boundedness and steady states. This paper is concerned with a parabolic elliptic Keller Segel system where both diffusive and chemotactic coefficients (motility functions) depend on the chemical signal density. This system was originally proposed by Keller and Segel in cite KS 1971 JTB2 to describe the aggregation phase of it Dictyostelium discoideum cells in response to the secreted chemical signal cyclic adenosine monophosphate (cAMP), but the available analytical results are very limited by far. Considering system in a bounded smooth domain with Neumann boundary conditions, we establish the global boundedness of solutions in any dimensions with suitable general conditions on the signal dependent motility functions, which are applicable to a wide class of motility functions. The existence nonexistence of non constant steady states is studied and abundant stationary profiles are found. Some open questions are outlined for further pursues. Our results demonstrate that the global boundedness and profile of stationary solutions to the Keller Segel system with signal dependent motilities depend on the decay rates of motility functions, space dimensions and the relation between the diffusive and chemotactic motilities, which makes the dynamics immensely wealthy.


A Memory Window Expression to Predict the Scaling Trends and Endurance of FeFETs. The commercialization of non volatile memories based on ferroelectric transistors (FeFETs) has remained elusive due to scaling, retention, and endurance issues. Thus, it is important to develop accurate characterization tools to quantify the scaling and reliability limits of FeFETs. In this work, we propose to exploit an analytical expression for the Memory Window (MW, i.e., the difference between the threshold voltages due to polarization switching) as a tool to i) identify a universal scaling behavior of MW regardless of the ferroelectric material ii) predict endurance and explain its weak dependence on writing conditions iii) give an alternative explanation for MW being lower than theoretical limits and, based on this, iv) devise strategies to maximize MW for a given ferroelectric thickness. According to these findings, the characterization and analysis of MW would enable the systematic comparison of next generation FeFET based on emerging ferroelectric materials.


Delay Sensitive Task Offloading in the 802.11p Based Vehicular Fog Computing Systems. Vehicular fog computing (VFC) is envisioned as a promising solution to process the explosive tasks in autonomous vehicular networks. In the VFC system, task offloading is the key technique to process the computation intensive tasks efficiently. In the task offloading, the task is transmitted to the VFC system according to the 802.11p standard and processed by the computation resources in the VFC system. The delay of task offloading, consisting of the transmission delay and computing delay, is extremely critical especially for some delay sensitive applications. Furthermore, the long term reward of the system (i.e., jointly considers the transmission delay, computing delay, available resources, and diversity of vehicles and tasks) becomes a significantly important issue for providers. Thus, in this article, we propose an optimal task offloading scheme to maximize the long term reward of the system where 802.11p is employed as the transmission protocol for the communications between vehicles. Specifically, a task offloading problem based on a semi Markov decision process (SMDP) is formulated. To solve this problem, we utilize an iterative algorithm based on the Bellman equation to approach the desired solution. The performance of the proposed scheme has been demonstrated by extensive numerical results.


Zoom on the Keystrokes Exploiting Video Calls for Keystroke Inference Attacks. Due to recent world events, video calls have become the new norm for both personal and professional remote communication. However, if a participant in a video call is not careful, he she can reveal his her private information to others in the call. In this paper, we design and evaluate an attack framework to infer one type of such private information from the video stream of a call keystrokes, i.e., text typed during the call. We evaluate our video based keystroke inference framework using different experimental settings and parameters, including different webcams, video resolutions, keyboards, clothing, and backgrounds. Our relatively high keystroke inference accuracies under commonly occurring and realistic settings highlight the need for awareness and countermeasures against such attacks. Consequently, we also propose and evaluate effective mitigation techniques that can automatically protect users when they type during a video call.


Construction of a solution for the two component radial Gross Pitaevskii system with a large coupling parameter. We consider strongly coupled competitive elliptic systems that arise in the study of two component Bose Einstein condensates. As the coupling parameter tends to infinity, solutions that remain uniformly bounded are known to converge to a segregated limiting profile, with the difference of its components satisfying a limit scalar PDE. In the case of radial symmetry, under natural non degeneracy assumptions on a solution of the limit problem, we establish by a perturbation argument its persistence as a solution to the elliptic system.


Approximation Schemes for Subset Sum Ratio Problems. We consider the Subset Sum Ratio Problem ( SSR ), in which given a set of integers the goal is to find two subsets such that the ratio of their sums is as close to 1 as possible, and introduce a family of variations that capture additional meaningful requirements. Our main contribution is a generic framework that yields fully polynomial time approximation schemes (FPTAS) for problems in this family that meet certain conditions. We use our framework to design explicit FPTASs for two such problems, namely Two Set Subset Sum Ratio and Factor r Subset Sum Ratio, with running time mathcal O (n 4 varepsilon) , which coincides with the best known running time for the original SSR problem 15 .


Towards Automatic Threat Detection A Survey of Advances of Deep Learning within X ray Security Imaging. X ray security screening is widely used to maintain aviation transport security, and its significance poses a particular interest in automated screening systems. This paper aims to review computerised X ray security imaging algorithms by taxonomising the field into conventional machine learning and contemporary deep learning applications. The first part briefly discusses the classical machine learning approaches utilised within X ray security imaging, while the latter part thoroughly investigates the use of modern deep learning algorithms. The proposed taxonomy sub categorises the use of deep learning approaches into supervised, semi supervised and unsupervised learning, with a particular focus on object classification, detection, segmentation and anomaly detection tasks. The paper further explores well established X ray datasets and provides a performance benchmark. Based on the current and future trends in deep learning, the paper finally presents a discussion and future directions for X ray security imagery.


Inequalities for space bounded Kolmogorov complexity. There is a parallelism between Shannon information theory and algorithmic information theory. In particular, the same linear inequalities are true for Shannon entropies of tuples of random variables and Kolmogorov complexities of tuples of strings (Hammer et al., 1997), as well as for sizes of subgroups and projections of sets (Chan, Yeung, Romashchenko, Shen, Vereshchagin, 1998 2002). This parallelism started with the Kolmogorov Levin formula (1968) for the complexity of pairs of strings with logarithmic precision. Longpr 'e (1986) proved a version of this formula for space bounded complexities. In this paper we prove an improved version of Longpr 'e's result with a tighter space bound, using Sipser's trick (1980). Then, using this space bound, we show that every linear inequality that is true for complexities or entropies, is also true for space bounded Kolmogorov complexities with a polynomial space overhead.


Symbolic dynamics and rotation symmetric Boolean functions. We identify the weights wt(f n) of a family f n of rotation symmetric Boolean functions with the cardinalities of the sets of n periodic points of a finite type shift, recovering the second author's result that said weights satisfy a linear recurrence. Similarly, the weights of idempotent functions f n defined on finite fields can be recovered as the cardinalities of curves over those fields and hence satisfy a linear recurrence as a consequence of the rationality of curves' zeta functions. Weil's Riemann hypothesis for curves then provides additional information about wt(f n) . We apply our results to the case of quadratic functions and considerably extend the results in an earlier paper of ours.


Understanding Roles and Entities Datasets and Models for Natural Language Inference. We present two new datasets and a novel attention mechanism for Natural Language Inference (NLI). Existing neural NLI models, even though when trained on existing large datasets, do not capture the notion of entity and role well and often end up making mistakes such as "Peter signed a deal" can be inferred from "John signed a deal". The two datasets have been developed to mitigate such issues and make the systems better at understanding the notion of "entities" and "roles". After training the existing architectures on the new dataset we observe that the existing architectures does not perform well on one of the new benchmark. We then propose a modification to the "word to word" attention function which has been uniformly reused across several popular NLI architectures. The resulting architectures perform as well as their unmodified counterparts on the existing benchmarks and perform significantly well on the new benchmark for "roles" and "entities".


Flood Extent Mapping based on High Resolution Aerial Imagery and DEM A Hidden Markov Tree Approach. Flood extent mapping plays a crucial role in disaster management and national water forecasting. In recent years, high resolution optical imagery becomes increasingly available with the deployment of numerous small satellites and drones. However, analyzing such imagery data to extract flood extent poses unique challenges due to the rich noise and shadows, obstacles (e.g., tree canopies, clouds), and spectral confusion between pixel classes (flood, dry) due to spatial heterogeneity. Existing machine learning techniques often focus on spectral and spatial features from raster images without fully incorporating the geographic terrain within classification models. In contrast, we recently proposed a novel machine learning model called geographical hidden Markov tree that integrates spectral features of pixels and topographic constraints from Digital Elevation Model (DEM) data (i.e., water flow directions) in a holistic manner. This paper evaluates the model through case studies on high resolution aerial imagery from the National Oceanic and Atmospheric Administration (NOAA) National Geodetic Survey together with DEM. Three scenes are selected in heavily vegetated floodplains near the cities of Grimesland and Kinston in North Carolina during Hurricane Matthew floods in 2016. Results show that the proposed hidden Markov tree model outperforms several state of the art machine learning algorithms (e.g., random forests, gradient boosted model) by an improvement of F score (the harmonic mean of the user's accuracy and producer's accuracy) from around 70 to 80 to over 95 on our datasets.


A Privacy preserving Method to Optimize Distributed Resource Allocation. We consider a resource allocation problem involving a large number of agents with individual constraints subject to privacy, and a central operator whose objective is to optimize a global, possibly nonconvex, cost while satisfying the agents' constraints, for instance an energy operator in charge of the management of energy consumption flexibilities of many individual consumers. We provide a privacy preserving algorithm that does compute the optimal allocation of resources, avoiding each agent to reveal her private information (constraints and individual solution profile) neither to the central operator nor to a third party. Our method relies on an aggregation procedure we compute iteratively a global allocation of resources, and gradually ensure existence of a disaggregation, that is individual profiles satisfying agents' private constraints, by a protocol involving the generation of polyhedral cuts and secure multiparty computations (SMC). To obtain these cuts, we use an alternate projection method, which is implemented locally by each agent, preserving her privacy needs. We adress especially the case in which the local and global constraints define a transportation polytope. Then, we provide theoretical convergence estimates together with numerical results, showing that the algorithm can be effectively used to solve the allocation problem in high dimension, while addressing privacy issues.


Unity Style Transfer for Person Re Identification. Style variation has been a major challenge for person re identification, which aims to match the same pedestrians across different cameras. Existing works attempted to address this problem with camera invariant descriptor subspace learning. However, there will be more image artifacts when the difference between the images taken by different cameras is larger. To solve this problem, we propose a UnityStyle adaption method, which can smooth the style disparities within the same camera and across different cameras. Specifically, we firstly create UnityGAN to learn the style changes between cameras, producing shape stable style unity images for each camera, which is called UnityStyle images. Meanwhile, we use UnityStyle images to eliminate style differences between different images, which makes a better match between query and gallery. Then, we apply the proposed method to Re ID models, expecting to obtain more style robust depth features for querying. We conduct extensive experiments on widely used benchmark datasets to evaluate the performance of the proposed framework, the results of which confirm the superiority of the proposed model.


On the Minimal Recognizable Image Patch. In contrast to human vision, common recognition algorithms often fail on partially occluded images. We propose characterizing, empirically, the algorithmic limits by finding a minimal recognizable patch (MRP) that is by itself sufficient to recognize the image. A specialized deep network allows us to find the most informative patches of a given size, and serves as an experimental tool. A human vision study recently characterized related (but different) minimally recognizable configurations (MIRCs) 1 , for which we specify computational analogues (denoted cMIRCs). The drop in human decision accuracy associated with size reduction of these MIRCs is substantial and sharp. Interestingly, such sharp reductions were also found for the computational versions we specified.


Power System Dispatch with Marginal Degradation Cost of Battery Storage. Battery storage is essential for the future smart grid. The inevitable cell degradation renders the battery lifetime volatile and highly dependent on battery dispatch, and thus incurs opportunity cost. This paper rigorously derives the marginal degradation cost of battery for power system dispatch. The derived optimal marginal degradation cost is time variant to reflect the time value of money and the functionality fade of battery and takes the form of a constant value divided by a discount factor plus a term related to battery state of health. In case studies, we demonstrate the evolution of the optimal marginal costs of degradation that corresponds to the optimal long term dispatch outcome. We also show that the optimal marginal cost of degradation depends on the marginal cost of generation in the grid.


Approximating Optimal Bidirectional Macro Schemes. Lempel Ziv is an easy to compute member of a wide family of so called macro schemes it restricts pointers to go in one direction only. Optimal bidirectional macro schemes are NP complete to find, but they may provide much better compression on highly repetitive sequences. We consider the problem of approximating optimal bidirectional macro schemes. We describe a simulated annealing algorithm that usually converges quickly. Moreover, in some cases, we obtain bidirectional macro schemes that are provably a 2 approximation of the optimal. We test our algorithm on a number of artificial repetitive texts and verify that it is efficient in practice and outperforms Lempel Ziv, sometimes by a wide margin.


Intensity A Metric Approach to Quantifying Attractor Robustness in ODEs. Although mathematical models do not fully match reality, robustness of dynamical objects to perturbation helps bridge from theoretical to real world dynamical systems. Classical theories of structural stability and isolated invariant sets treat robustness of qualitative dynamics to sufficiently small errors. But they do not indicate just how large a perturbation can become before the qualitative behavior of our system changes fundamentally. Here we introduce a quantity, intensity of attraction, that measures the robustness of attractors in metric terms. Working in the setting of ordinary differential equations on mathbb R n , we consider robustness to vector field perturbations that are time dependent or independent. We define intensity in a control theoretic framework, based on the magnitude of control needed to steer trajectories out of a domain of attraction. Our main result is that intensity also quantifies the robustness of an attractor to time independent vector field perturbations we prove this by connecting the reachable sets of control theory to isolating blocks of Conley theory. In addition to treating classical questions of robustness in a new metric framework, intensity of attraction offers a novel tool for resilience quantification in ecological applications. Unlike many measurements of resilience, intensity detects the strength of transient dynamics in a domain of attraction.


On the Growth of a Ballistic Deposition Model on Finite Graphs. We revisit a ballistic deposition process introduced by Atar, Athreya and Kang. Let mathcal G (V,E) be a finite connected graph. We choose independently and uniformly vertices in mathcal G . If a vertex x is chosen and the previous height configuration is given by h (h y) y in V in mathbb N 0 V , the height h x is replaced by tilde h x 1 max y sim x h y. We study asymptotic properties of this growth model. We determine the asymptotic growth parameter gamma( mathcal G ) for some graphs and prove a central limit theorem for the fluctuations around gamma ( mathcal G ) . We also give a new graph theoretic interpretation of an inequality obtained by Atar et al..


Adversarial Genetic Programming for Cyber Security A Rising Application Domain Where GP Matters. Cyber security adversaries and engagements are ubiquitous and ceaseless. We delineate Adversarial Genetic Programming for Cyber Security, a research topic that, by means of genetic programming (GP), replicates and studies the behavior of cyber adversaries and the dynamics of their engagements. Adversarial Genetic Programming for Cyber Security encompasses extant and immediate research efforts in a vital problem domain, arguably occupying a position at the frontier where GP matters. Additionally, it prompts research questions around evolving complex behavior by expressing different abstractions with GP and opportunities to reconnect to the Machine Learning, Artificial Life, Agent Based Modeling and Cyber Security communities. We present a framework called RIVALS which supports the study of network security arms races. Its goal is to elucidate the dynamics of cyber networks under attack by computationally modeling and simulating them.


Transferred Fusion Learning using Skipped Networks. Identification of an entity that is of interest is prominent in any intelligent system. The visual intelligence of the model is enhanced when the capability of recognition is added. Several methods such as transfer learning and zero shot learning help to reuse the existing models or augment the existing model to achieve improved performance at the task of object recognition. Transferred fusion learning is one such mechanism that intends to use the best of both worlds and build a model that is capable of outperforming the models involved in the system. We propose a novel mechanism to amplify the process of transfer learning by introducing a student architecture where the networks learn from each other.


Measuring the Complexity of Domains Used to Evaluate AI Systems. There is currently a rapid increase in the number of challenge problem, benchmarking datasets and algorithmic optimization tests for evaluating AI systems. However, there does not currently exist an objective measure to determine the complexity between these newly created domains. This lack of cross domain examination creates an obstacle to effectively research more general AI systems. We propose a theory for measuring the complexity between varied domains. This theory is then evaluated using approximations by a population of neural network based AI systems. The approximations are compared to other well known standards and show it meets intuitions of complexity. An application of this measure is then demonstrated to show its effectiveness as a tool in varied situations. The experimental results show this measure has promise as an effective tool for aiding in the evaluation of AI systems. We propose the future use of such a complexity metric for use in computing an AI system's intelligence.


A new look at the fractional Poisson problem via the Logarithmic Laplacian. We analyze the s dependence of solutions u s to the family of fractional Poisson problems ( Delta) s u f in Omega , u equiv 0 on mathbb R N setminus Omega in an open bounded set Omega subset mathbb R N , s in (0,1) . In the case where Omega is of class C 2 and f in C alpha ( bar Omega ) for some alpha 0 , we show that the map (0,1) to L infty( Omega) , s mapsto u s is of class C 1 , and we characterize the derivative partial s u s in terms of the logarithmic Laplacian of f . As a corollary, we derive pointwise monotonicity properties of the solution map s mapsto u s under suitable assumptions on f and Omega . Moreover, we derive explicit bounds for the corresponding Green operator on arbitrary bounded domains which are new even for the case s 1 , i.e., for the local Dirichlet problem Delta u f in Omega , u equiv 0 on partial Omega .


Robust Graph Data Learning via Latent Graph Convolutional Representation. Graph Convolutional Representation (GCR) has achieved impressive performance for graph data representation. However, existing GCR is generally defined on the input fixed graph which may restrict the representation capacity and also be vulnerable to the structural attacks and noises. To address this issue, we propose a novel Latent Graph Convolutional Representation (LatGCR) for robust graph data representation and learning. Our LatGCR is derived based on reformulating graph convolutional representation from the aspect of graph neighborhood reconstruction. Given an input graph textbf A , LatGCR aims to generate a flexible latent graph widetilde textbf A for graph convolutional representation which obviously enhances the representation capacity and also performs robustly w.r.t graph structural attacks and noises. Moreover, LatGCR is implemented in a self supervised manner and thus provides a basic block for both supervised and unsupervised graph learning tasks. Experiments on several datasets demonstrate the effectiveness and robustness of LatGCR.


ISMS role in the improvement of digital forensics related process in SOC's. Organizations concerned about digital or computer forensics capability which establishes procedures and records to support a prosecution for computer crimes could benefit from implementing an ISO 27001 2013 compliant (ISMS Information Security Management System). A certified ISMS adds credibility to information gathered in a digital forensics investigation certification shows that the organization has an outsider which verifies that the correct procedures are in place and being followed. A certified ISMS is a valuable tool either when prosecuting an intruder or when a customer or other stakeholder seeks damages against the organization. SOC (Security Operation Center) as an organization or a security unit which handles a large volume of information requires a management complement, where ISMS would be a good choice. This idea will help finding solutions for problems related to digital forensics for non cloud and cloud digital forensics, including Problems associated with the absence of standardization amongst different CSPs (Cloud service providers).


Signless Laplacian spectral characterization of some graphs. In this paper, we investigate (signless) Laplacian spectral characterization of graphs with star components. Also, we prove that the join graph small K n alpha e vee alpha K 1 is DQS for n alpha 3 and alpha neq3 , and for alpha 3 , we show that its only Q cospectral mate is bar K 1,3 cup K 2 cup (n 6)K 1 .


Exact and Approximate Algorithms for Computing a Second Hamiltonian Cycle. In this paper we consider the following total functional problem Given a cubic Hamiltonian graph G and a Hamiltonian cycle C 0 of G , how can we compute a second Hamiltonian cycle C 1 neq C 0 of G ? Cedric Smith proved in 1946, using a non constructive parity argument, that such a second Hamiltonian cycle always exists. Our main result is an algorithm which computes the second Hamiltonian cycle in time O(n cdot 2 (0.3 varepsilon)n ) time, for some positive constant varepsilon 0 , and in polynomial space, thus improving the state of the art running time for solving this problem. Our algorithm is based on a fundamental structural property of Thomason's lollipop algorithm, which we prove here for the first time. In the direction of approximating the length of a second cycle in a Hamiltonian graph G with a given Hamiltonian cycle C 0 (where we may not have guarantees on the existence of a second Hamiltonian cycle), we provide a linear time algorithm computing a second cycle with length at least n 4 alpha ( sqrt n 2 alpha) 8 , where alpha frac Delta 2 delta 2 and delta, Delta are the minimum and the maximum degree of the graph, respectively. This approximation result also improves the state of the art.


Developing models to fit capacity rate data in battery systems. Analyzing rate performance data in battery electrodes is greatly facilitated by access to simple analytical models. Here we describe a number of simple equations for fitting capacity rate data. These equations output fit parameters, such as the characteristic time, which quantify rate performance. This characteristic time can be linked to mechanistic effects, such as diffusion and electrical limitations, allowing quantitative analysis.


Discrete representations of orbit structures of flows for topological data analysis. This paper shows that the topological structures of particle orbits generated by a generic class of vector fields on spherical surfaces, called the flow of finite type, are in one to one correspondence with discrete structures such as trees graphs and sequence of letters. The flow of finite type is an extension of structurally stable Hamiltonian vector fields, which appear in many theoretical and numerical investigations of 2D incompressible fluid flows. Moreover, it contains compressible 2D vector fields such as the Morse Smale vector fields and the projection of 3D vector fields onto 2D sections. The discrete representation is not only a simple symbolic identifier for the topological structure of complex flows, but it also gives rise to a new methodology of topological data analysis for flows, called Topological Flow Data Analysis (TFDA), when applied to data brought by measurements, experiments and numerical simulations of complex flows. As a proof of concept, we provide some applications of the representation theory to 2D compressible vector fields and a 3D vector field arising in an industrial problem.


SMT ILP. Inductive logic programming (ILP) has been a deeply influential paradigm in AI, enjoying decades of research on its theory and implementations. As a natural descendent of the fields of logic programming and machine learning, it admits the incorporation of background knowledge, which can be very useful in domains where prior knowledge from experts is available and can lead to a more data efficient learning regime. Be that as it may, the limitation to Horn clauses composed over Boolean variables is a very serious one. Many phenomena occurring in the real world are best characterized using continuous entities, and more generally, mixtures of discrete and continuous entities. In this position paper, we motivate a reconsideration of inductive declarative programming by leveraging satisfiability modulo theory technology.


Band Attention Convolutional Networks For Hyperspectral Image Classification. Redundancy and noise exist in the bands of hyperspectral images (HSIs). Thus, it is a good property to be able to select suitable parts from hundreds of input bands for HSIs classification methods. In this letter, a band attention module (BAM) is proposed to implement the deep learning based HSIs classification with the capacity of band selection or weighting. The proposed BAM can be seen as a plug and play complementary component of the existing classification networks which fully considers the adverse effects caused by the redundancy of the bands when using convolutional neural networks (CNNs) for HSIs classification. Unlike most of deep learning methods used in HSIs, the band attention module which is customized according to the characteristics of hyperspectral images is embedded in the ordinary CNNs for better performance. At the same time, unlike classical band selection or weighting methods, the proposed method achieves the end to end training instead of the separated stages. Experiments are carried out on two HSI benchmark datasets. Compared to some classical and advanced deep learning methods, numerical simulations under different evaluation criteria show that the proposed method have good performance. Last but not least, some advanced CNNs are combined with the proposed BAM for better performance.


Asymptotic approximations for eigenvalues and eigenfunctions of a spectral problem in a thin graph like junction with a concentrated mass in the node. A spectral problem is considered in a thin 3D graph like junction that consists of three thin curvilinear cylinders that are joined through a domain (node) of the diameter mathcal O ( varepsilon), where varepsilon is a small parameter. A concentrated mass with the density varepsilon alpha ( alpha ge 0) is located in the node. The asymptotic behaviour of the eigenvalues and eigenfunctions is studied as varepsilon to 0, i.e. when the thin junction is shrunk into a graph. There are five qualitatively different cases in the asymptotic behaviour ( varepsilon to 0) of the eigenelements depending on the value of the parameter alpha. In this paper three cases are considered, namely, alpha 0, alpha in (0, 1), and alpha 1. Using multiscale analysis, asymptotic approximations for eigenvalues and eigenfunctions are constructed and justified with a predetermined accuracy with respect to the degree of varepsilon. For irrational alpha in (0, 1), a new kind of asymptotic expansions is introduced. These approximations show how to account the influence of local geometric inhomogeneity of the node and the concentrated mass in the corresponding limit spectral problems on the graph for different values of the parameter alpha.


Simultaneous dual species laser cooling using an optical frequency comb. We demonstrate 1D simultaneous laser cooling of 87 Rb and 85 Rb atoms using an optical frequency comb. By adjusting the pulse repetition frequency and the offset frequency, the frequency comb spectrum is tuned to ensure that two distinct frequency comb modes are simultaneously red detuned from the cooling transitions, one mode for each species. Starting from a pre cooled cloud of 85,87 Rb atoms at above Doppler temperatures, we show simultaneous cooling of both species down to the Doppler temperature using two counter propagating sigma sigma polarized beams from the frequency comb. The results indicate that simultaneous dual species frequency comb cooling does not affect the cooling characteristics of individual atomic species. The results of this work imply that several atomic species could be cooled simultaneously using a single frequency comb source. This comb based multi channel laser cooling could bring significant advances in multi species atom interferometers for space applications and in the study of multi species interactions.


When Person Re identification Meets Changing Clothes. Person re identification (ReID) is now an active research topic for AI based video surveillance applications such as specific person search, but the practical issue that the target person(s) may change clothes (clothes inconsistency problem) has been overlooked for long. For the first time, this paper systematically studies this problem. We first overcome the difficulty of lack of suitable dataset, by collecting a small yet representative real dataset for testing whilst building a large realistic synthetic dataset for training and deeper studies. Facilitated by our new datasets, we are able to conduct various interesting new experiments for studying the influence of clothes inconsistency. We find that changing clothes makes ReID a much harder problem in the sense of bringing difficulties to learning effective representations and also challenges the generalization ability of previous ReID models to identify persons with unseen (new) clothes. Representative existing ReID models are adopted to show informative results on such a challenging setting, and we also provide some preliminary efforts on improving the robustness of existing models on handling the clothes inconsistency issue in the data. We believe that this study can be inspiring and helpful for encouraging more researches in this direction. The dataset is available on the project website https wanfb.github.io dataset.html.


Tool Supported Experiments for Continuously Collecting Data of Subjective Video Quality Assessments During Video Playback. The adequate use of documentation for communication is one challenge in requirements engineering (RE). In recent years, several researchers addressed this challenge by using videos as a communication mechanism. All of them concluded that this way of using videos has the potential to facilitate requirements communication. Nevertheless, software professionals are not directors and thus do not necessarily know what constitutes a good video. This lack of knowledge is one crucial reason why videos are still not an established communication mechanism in RE. When videos shall be established in the RE activities, practices, and techniques, requirements engineers have to acquire the necessary knowledge to produce and use good videos on their own at moderate costs, yet sufficient quality. In our research project ViViReq (see Acknowledgment), we aspire to bridge this knowledge gap about what constitutes a good video. Whether a video is good or not depends on its quality perceived by its viewers. However, video quality is a rather ill defined concept due to numerous unspecified technical and subjective characteristics. As part of our research plan, we develop a quality model for videos inspired by the idea of Femmer and Vogelsang to define and evaluate the quality of videos as RE artifacts. In addition to evaluating videos, this quality model can be used to identify the relevant characteristics of videos for their specific purpose which can be further used to specify requirements, their criteria for satisfaction, and corresponding measures. Therefore, software professionals may use the quality model as guidance for producing and using videos.


Variable Spectral Slope and Nonequilibrium Surface Wave Spectrum. The wave spectral properties in the centimeter to decameter (cmDm) wavelength range is of great interest to ocean remote sensing and studies of ocean surface processes including the surface roughness, air sea energy and momentum exchanges, wave breaking, and whitecap coverage. For more than six decades, the cmDm wave components are generally considered to be in the equilibrium range, and its spectral function has a constant slope 5 or 4 in the 1D frequency spectrum, and 3 or 2.5 in the 1D wavenumber spectrum. Some variations of the equilibrium spectrum models include varying the frequency spectral slope from 4 to 5 at some multiple of the spectral peak frequency, or incorporating a threshold velocity in the reference wind speed. Extensive efforts are then devoted to quantifying the spectral coefficient of the equilibrium spectrum function. The observed wind wave spectral slopes in the ocean environment, however, are rarely constant. The variable spectral slope is indicative of the nonequilibrium nature of surface wind waves in the field. As a result the wave properties in field observations are significantly different from those inferred from assuming a constant spectral slope. From signal to noise consideration the surface slope measurements are much more sensitive than the elevation data for the study of cmDm waves. Recently, several large datasets of low pass filtered mean square slope (LPMSS) have been reported in support of the Global Navigation Satellite System Reflectometry (GNSSR) tropical cyclone wind sensing effort. Combining the LPMSS observations with a spectrum model that accommodates a variable spectral slope, this paper seeks to quantify the connection between the variable spectral slope and the spectral properties of cmDm waves.


Performance report and optimized implementation of Weather Climate Dwarfs on GPU, MIC and Optalysys Optical Processor. This document is one of the deliverable reports created for the ESCAPE project. ESCAPE stands for Energy efficient Scalable Algorithms for Weather Prediction at Exascale. The project develops world class, extreme scale computing capabilities for European operational numerical weather prediction and future climate models. This is done by identifying Weather Climate dwarfs which are key patterns in terms of computation and communication (in the spirit of the Berkeley dwarfs). These dwarfs are then optimised for different hardware architectures (single and multi node) and alternative algorithms are explored. Performance portability is addressed through the use of domain specific languages. Here we summarize the work performed on optimizations of the dwarfs on CPUs, Xeon Phi, GPUs and on the Optalysys optical processor. We limit ourselves to a subset of the dwarf configurations and to problem sizes small enough to execute on a single node. Also, we use time to solution as the main performance metric. Multi node optimizations of the dwarfs and energy specific optimizations are beyond the scope of this report and will be described in Deliverable D3.4. To cover the important algorithmic motifs we picked dwarfs related to the dynamical core as well as column physics. Specifically, we focused on the formulation relevant to spectral codes like ECMWF's IFS code. The main findings of this report are (a) Acceleration of 1.1x 2.5x of the dwarfs on CPU based systems using compiler directives, (b) order of magnitude acceleration of the dwarfs on GPUs (23x for spectral transform, 9x for MPDATA) using data locality optimizations and (c) demonstrated feasibility of a spectral transform in a purely optical fashion.


There is no equivariant coarse embedding of L p into ell p . In this paper we prove that L p does not admit an equivariant coarse embedding into ell p i.e there is no proper, affine, isometric action of L p , viewed as a group under addition with the standard metric . p , on ell p . This is done by showing that representations of L p into Isom( ell p) has to be trivial, which allows us to reduce the question to bi Lipschitz setting.


RADDLE An Evaluation Benchmark and Analysis Platform for Robust Task oriented Dialog Systems. For task oriented dialog systems to be maximally useful, it must be able to process conversations in a way that is (1) generalizable with a small number of training examples for new task domains, and (2) robust to user input in various styles, modalities or domains. In pursuit of these goals, we introduce the RADDLE benchmark, a collection of corpora and tools for evaluating the performance of models across a diverse set of domains. By including tasks with limited training data, RADDLE is designed to favor and encourage models with a strong generalization ability. RADDLE also includes a diagnostic checklist that facilitates detailed robustness analysis in aspects such as language variations, speech errors, unseen entities, and out of domain utterances. We evaluate recent state of the art systems based on pre training and fine tuning, and find that grounded pre training on heterogeneous dialog corpora performs better than training a separate model per domain. Overall, existing models are less than satisfactory in robustness evaluation, which suggests opportunities for future improvement.


Learning to Abstract and Predict Human Actions. Human activities are naturally structured as hierarchies unrolled over time. For action prediction, temporal relations in event sequences are widely exploited by current methods while their semantic coherence across different levels of abstraction has not been well explored. In this work we model the hierarchical structure of human activities in videos and demonstrate the power of such structure in action prediction. We propose Hierarchical Encoder Refresher Anticipator, a multi level neural machine that can learn the structure of human activities by observing a partial hierarchy of events and roll out such structure into a future prediction in multiple levels of abstraction. We also introduce a new coarse to fine action annotation on the Breakfast Actions videos to create a comprehensive, consistent, and cleanly structured video hierarchical activity dataset. Through our experiments, we examine and rethink the settings and metrics of activity prediction tasks toward unbiased evaluation of prediction systems, and demonstrate the role of hierarchical modeling toward reliable and detailed long term action forecasting.


Clifford Analysis with Indefinite Signature. We extend constructions of classical Clifford analysis to the case of indefinite non degenerate quadratic forms. We define (p,q) left and right monogenic functions by means of Dirac operators that factor a certain wave operator. We prove two different versions of Cauchy's integral formulas for these functions. The two formulas arise from dealing with singularities in distinct ways, and are inspired by the methods of L, FL . These results indicate the merit of these methods for dealing with singularities.


Highness properties close to PA completeness. Suppose we are given a computably enumerable object arise from algorithmic randomness or computable analysis. We are interested in the strength of oracles which can compute an object that approximates this c.e. object. It turns out that, depending on the type of object, the resulting highness property is either close to, or equivalent to being PA complete. We examine, for example, dominating a c.e. martingale by an oracle computable martingale, computing compressions functions for two variants of Kolmogorov complexity, and computing subtrees of positive measure of a given Pi 0 1 tree of positive measure without dead ends. We prove a separation result from PA completeness for the latter property, called the emph continuous covering property . We also separate the corresponding principles in reverse mathematics.


Sequential Convex Restriction and its Applications in Robust Optimization. This paper presents a convex sufficient condition for solving a system of nonlinear equations under parametric changes and proposes a sequential convex optimization method for solving robust optimization problems with nonlinear equality constraints. By bounding the nonlinearity with concave envelopes and using Brouwer's fixed point theorem, the sufficient condition is expressed in terms of closed form convex inequality constraints. We extend the result to provide a convex sufficient condition for feasibility under bounded uncertainty. Using these conditions, a non convex optimization problem can be solved as a sequence of convex optimization problems, with feasibility and robustness guarantees. We present a detailed analysis of the performance and complexity of the proposed condition. The examples in polynomial optimization and nonlinear network are provided to illustrate the proposed method.


An 8 Gs s 12 Bit TIADC System With Real Time Broadband Mismatch Error Correction. High sampling speed can be achieved using multiple Analog to Digital Converters (ADCs) based on the Time Interleaving A D Conversion (TIADC) technique. Various types of methods were proposed to correct the mismatch errors among parallel ADC channels in TIADC systems, which would deteriorate the system performance. Traditional correction methods based on digital signal processing have good performance, however often only for input signals limited in a narrow frequency band. In this paper, we present our recent work on design of an 8 Gsps 12 bit TIADC system and implementation of real time mismatch correction algorithms in FPGA devices, over a broad band of input signal frequencies. Tests were also conducted to evaluate the systems performance, and the results indicate that the Effective Number of Bits (ENOB) is enhanced to be better than 8.5 bits ( 800 MHz) and 8 bits from 800 MHz to 1.6 GHz after correction, almost the same with that of the ADC chip employed.


Jump Models with delay option pricing and logarithmic Euler Maruyama scheme. In this paper, we obtain the existence, uniqueness and positivity of the solution to delayed stochastic differential equations with jumps. This equation is then applied to model the price movement of the risky asset in a financial market and the Black Scholes formula for the price of European options is obtained together with the hedging portfolios. The option price is evaluated analytically at the last delayed period by using the Fourier transformation technique. But in general, there is no analytical expression for the option price. To evaluate the price numerically we then use the Monte Carlo method. To this end, we need to simulate the delayed stochastic differential equations with jumps. We propose a logarithmic Euler Maruyama scheme to approximate the equation and prove that all the approximations remain positive and the rate of convergence of the scheme is proved to be 0.5 .


Interior and up to the boundary regularity for the fractional g Laplacian the convex case. We establish interior and up to the boundary H "older regularity estimates for weak solutions of the Dirichlet problem for the fractional g Laplacian with bounded right hand side and g convex. These are the first regularity results available in the literature for integro differential equations in the context of fractional Orlicz Sobolev spaces.


Non dense orbits of systems with approximate product property. We show that for any topological dynamical system with approximate product property, the set of points whose forward orbits do not accumulate to any point in a large set carries full topological pressure.


RTAMT Online Robustness Monitors from STL. We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface aware variant (IA STL), providing both discrete and dense time interpretation of the logic. We also introduce RTAMT4ROS, a tool that integrates RTAMT with Robotic Operating System (ROS), a common environment for developing robotic applications. We evaluate RTAMT and RTAMT4ROS on two robotic case studies.


Weakly Supervised Geodesic Segmentation of Egyptian Mummy CT Scans. In this paper, we tackle the task of automatically analyzing 3D volumetric scans obtained from computed tomography (CT) devices. In particular, we address a particular task for which data is very limited the segmentation of ancient Egyptian mummies CT scans. We aim at digitally unwrapping the mummy and identify different segments such as body, bandages and jewelry. The problem is complex because of the lack of annotated data for the different semantic regions to segment, thus discouraging the use of strongly supervised approaches. We, therefore, propose a weakly supervised and efficient interactive segmentation method to solve this challenging problem. After segmenting the wrapped mummy from its exterior region using histogram analysis and template matching, we first design a voxel distance measure to find an approximate solution for the body and bandage segments. Here, we use geodesic distances since voxel features as well as spatial relationship among voxels is incorporated in this measure. Next, we refine the solution using a GrabCut based segmentation together with a tracking method on the slices of the scan that assigns labels to different regions in the volume, using limited supervision in the form of scribbles drawn by the user. The efficiency of the proposed method is demonstrated using visualizations and validated through quantitative measures and qualitative unwrapping of the mummy.


Redesign of web based exam for knowledge evaluation in Advanced Mathematics for pharmaceutical students based on analysis of the results. The usage of the information technologies everywhere leads to demands for new manners of education. Modern e learning environments lead the teaching, the learning and the evaluation of acquired knowledge and skills of the students to a new era. The students' motivation for e learning is considered. The course of Advanced Mathematics is part of the curriculum of pharmaceutical students at the Medical University Plovdiv. For students' knowledge evaluation it is used a hybrid type exam in this university discipline, i.e. a problems solving part and a remote web based test which is created using the free and open source e educational platform Moodle. This paper presents a detailed analysis of the implemented electronic test for knowledge evaluation of the students, using statistical methods and instruments. The questions included in the test and the respective answers given by the students are estimated and analysed. Thus, it is made an improvement of the database of the test questions. The received results are used to enhance the quality of the developed knowledge evaluation and the type of its implementation.


Efficient ConvNet based Object Detection for Unmanned Aerial Vehicles by Selective Tile Processing. Many applications utilizing Unmanned Aerial Vehicles (UAVs) require the use of computer vision algorithms to analyze the information captured from their on board camera. Recent advances in deep learning have made it possible to use single shot Convolutional Neural Network (CNN) detection algorithms that process the input image to detect various objects of interest. To keep the computational demands low these neural networks typically operate on small image sizes which, however, makes it difficult to detect small objects. This is further emphasized when considering UAVs equipped with cameras where due to the viewing range, objects tend to appear relatively small. This paper therefore, explores the trade offs involved when maintaining the resolution of the objects of interest by extracting smaller patches (tiles) from the larger input image and processing them using a neural network. Specifically, we introduce an attention mechanism to focus on detecting objects only in some of the tiles and a memory mechanism to keep track of information for tiles that are not processed. Through the analysis of different methods and experiments we show that by carefully selecting which tiles to process we can considerably improve the detection accuracy while maintaining comparable performance to CNNs that resize and process a single image which makes the proposed approach suitable for UAV applications.


Preferences Single Peaked on a Tree Multiwinner Elections and Structural Results. A preference profile is single peaked on a tree if the candidate set can be equipped with a tree structure so that the preferences of each voter are decreasing from their top candidate along all paths in the tree. This notion was introduced by Demange (1982), and subsequently Trick (1989) described an efficient algorithm for deciding if a given profile is single peaked on a tree. We study the complexity of multiwinner elections under several variants of the Chamberlin Courant rule for preferences single peaked on trees. We show that the egalitarian version of this problem admits a polynomial time algorithm. For the utilitarian version, we prove that winner determination remains NP hard, even for the Borda scoring function however, a winning committee can be found in polynomial time if either the number of leaves or the number of internal vertices of the underlying tree is bounded by a constant. To benefit from these positive results, we need a procedure that can determine whether a given profile is single peaked on a tree that has additional desirable properties (such as, e.g., a small number of leaves). To address this challenge, we develop a structural approach that enables us to compactly represent all trees with respect to which a given profile is single peaked. We show how to use this representation to efficiently find the best tree for a given profile for use with our winner determination algorithms Given a profile, we can efficiently find a tree with the minimum number of leaves, or a tree with the minimum number of internal vertices among trees on which the profile is single peaked. We also consider several other optimization criteria for trees for some we obtain polynomial time algorithms, while for others we show NP hardness results.


An Analysis on the Learning Rules of the Skip Gram Model. To improve the generalization of the representations for natural language processing tasks, words are commonly represented using vectors, where distances among the vectors are related to the similarity of the words. While word2vec, the state of the art implementation of the skip gram model, is widely used and improves the performance of many natural language processing tasks, its mechanism is not yet well understood. In this work, we derive the learning rules for the skip gram model and establish their close relationship to competitive learning. In addition, we provide the global optimal solution constraints for the skip gram model and validate them by experimental results.


A note on new type degenerate Bernoulli numbers. Studying degenerate versions of various special polynomials have become an active area of research and yielded many interesting arithmetic and combinatorial results. Here we introduce a degenerate version of polylogarithm function, called the degenerate polylogarithm function. Then we construct new type degenerate Bernoulli polynomials and numbers, called degenerate poly Bernoulli polynomials and numbers,by using the degenerate polylogarithm function and derive several properties on the degenerate poly Bernoulli numbers


Scalable Alignment of Process Models and Event Logs An Approach Based on Automata and S Components. Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of identifying and describing the differences between the model and the log. A desirable feature of a conformance checking technique is to identify a minimal yet complete set of differences. Existing conformance checking techniques that fulfil this property exhibit limited scalability when confronted to large and complex models and logs. This paper presents two complementary techniques to address these shortcomings. The first technique transforms the model and log into two automata. These automata are compared using an error correcting synchronized product, computed via an A that guarantees the resulting automaton captures all differences with a minimal amount of error corrections. The synchronized product is used to extract minimal length alignments between each trace of the log and the closest corresponding trace of the model. A limitation of the first technique is that as the level of concurrency in the model increases, the size of the automaton of the model grows exponentially, thus hampering scalability. To address this limitation, the paper proposes a second technique wherein the process model is first decomposed into a set of automata, known as S components, such that the product of these automata is equal to the automaton of the whole process model. An error correcting product is computed for each S component separately and the resulting automata are recomposed into a single product automaton capturing all differences without minimality guarantees. An empirical evaluation shows that the proposed techniques outperform state of the art baselines in terms of computational efficiency. Moreover, the decomposition based technique is optimal for the vast majority of datasets and quasi optimal for the remaining ones.


General Cops and Robbers Games with randomness. Cops and Robbers games have been studied for the last few decades in computer science and mathematics. As in general pursuit evasion games, pursuers (cops) seek to capture evaders (robbers) however, players move in turn and are constrained to move on a discrete structure, usually a graph, and know the exact location of their opponent. In 2017, Bonato and MacGillivray presented a general characterization of Cops and Robbers games in order for them to be globally studied. However, their model doesn't cover cases where stochastic events may occur, such as the robbers moving in a random fashion. In this paper we present a novel model with stochastic elements that we call a Generalized Probabilistic Cops and Robbers game (GPCR). A typical such game is one where the robber moves according to a probabilistic distribution, either because she is rather lost or drunk than evading, or because she is a robot. We present results to solve GPCR games, thus enabling one to study properties relating to the optimal strategies in large classes of Cops and Robbers games. Some classic Cops and Robbers games properties are also extended.


Automatic Gesture Recognition in Robot assisted Surgery with Reinforcement Learning and Tree Search. Automatic surgical gesture recognition is fundamental for improving intelligence in robot assisted surgery, such as conducting complicated tasks of surgery surveillance and skill evaluation. However, current methods treat each frame individually and produce the outcomes without effective consideration on future information. In this paper, we propose a framework based on reinforcement learning and tree search for joint surgical gesture segmentation and classification. An agent is trained to segment and classify the surgical video in a human like manner whose direct decisions are re considered by tree search appropriately. Our proposed tree search algorithm unites the outputs from two designed neural networks, i.e., policy and value network. With the integration of complementary information from distinct models, our framework is able to achieve the better performance than baseline methods using either of the neural networks. For an overall evaluation, our developed approach consistently outperforms the existing methods on the suturing task of JIGSAWS dataset in terms of accuracy, edit score and F1 score. Our study highlights the utilization of tree search to refine actions in reinforcement learning framework for surgical robotic applications.


Anisotropic estimates of subelliptic type. We discuss some estimates of subelliptic type related with vector fields satisfying the H "ormander condition. Our approach makes use of a class of approximate exponentials maps. Such kind of estimates arises naturally in the study of regularity theory of weak solutions of degenerate elliptic equations.


Looking for a new member of Gordon's identities. We give a commutative algebra viewpoint on Andrews recursive formula for the partitions appearing in "Gordon's identities", which are a generalization of Rogers Ramanujan identities. Using this approach and differential ideals we conjecture a family of partition identities which extend Gordon's identities. This family is indexed by r 2. We prove the conjecture for r 2 and r 3.


Dynamic Impact for Ant Colony Optimization algorithm. This paper proposes an extension method for Ant Colony Optimization (ACO) algorithm called Dynamic Impact. Dynamic Impact is designed to solve challenging optimization problems that has nonlinear relationship between resource consumption and fitness in relation to other part of the optimized solution. This proposed method is tested against complex real world Microchip Manufacturing Plant Production Floor Optimization (MMPPFO) problem, as well as theoretical benchmark Multi Dimensional Knapsack problem (MKP). MMPPFO is a non trivial optimization problem, due the nature of solution fitness value dependence on collection of wafer lots without prioritization of any individual wafer lot. Using Dynamic Impact on single objective optimization fitness value is improved by 33.2 . Furthermore, MKP benchmark instances of small complexity have been solved to 100 success rate where high degree of solution sparseness is observed, and large instances have showed average gap improved by 4.26 times. Algorithm implementation demonstrated superior performance across small and large datasets and sparse optimization problems.


Toward a view based data cleaning architecture. Big data analysis has become an active area of study with the growth of machine learning techniques. To properly analyze data, it is important to maintain high quality data. Thus, research on data cleaning is also important. It is difficult to automatically detect and correct inconsistent values for data requiring expert knowledge or data created by many contributors, such as integrated data from heterogeneous data sources. An example of such data is metadata for scientific datasets, which should be confirmed by data managers while handling the data. To support the efficient cleaning of data by data managers, we propose a data cleaning architecture in which data managers interactively browse and correct portions of data through views. In this paper, we explain our view based data cleaning architecture and discuss some remaining issues.


Copy Enhanced Heterogeneous Information Learning for Dialogue State Tracking. Dialogue state tracking (DST) is an essential component in task oriented dialogue systems, which estimates user goals at every dialogue turn. However, most previous approaches usually suffer from the following problems. Many discriminative models, especially end to end (E2E) models, are difficult to extract unknown values that are not in the candidate ontology previous generative models, which can extract unknown values from utterances, degrade the performance due to ignoring the semantic information of pre defined ontology. Besides, previous generative models usually need a hand crafted list to normalize the generated values. How to integrate the semantic information of pre defined ontology and dialogue text (heterogeneous texts) to generate unknown values and improve performance becomes a severe challenge. In this paper, we propose a Copy Enhanced Heterogeneous Information Learning model with multiple encoder decoder for DST (CEDST), which can effectively generate all possible values including unknown values by copying values from heterogeneous texts. Meanwhile, CEDST can effectively decompose the large state space into several small state spaces through multi encoder, and employ multi decoder to make full use of the reduced spaces to generate values. Multi encoder decoder architecture can significantly improve performance. Experiments show that CEDST can achieve state of the art results on two datasets and our constructed datasets with many unknown values.


Predicting MOOCs Dropout Using Only Two Easily Obtainable Features from the First Week's Activities. While Massive Open Online Course (MOOCs) platforms provide knowledge in a new and unique way, the very high number of dropouts is a significant drawback. Several features are considered to contribute towards learner attrition or lack of interest, which may lead to disengagement or total dropout. The jury is still out on which factors are the most appropriate predictors. However, the literature agrees that early prediction is vital to allow for a timely intervention. Whilst feature rich predictors may have the best chance for high accuracy, they may be unwieldy. This study aims to predict learner dropout early on, from the first week, by comparing several machine learning approaches, including Random Forest, Adaptive Boost, XGBoost and GradientBoost Classifiers. The results show promising accuracies (82 94 ) using as little as 2 features. We show that the accuracies obtained outperform state of the art approaches, even when the latter deploy several features.


Laminar Tight Cuts in Matching Covered Graphs. An edge cut C of a graph G is it tight if C cap M 1 for every perfect matching M of G . Barrier cuts and 2 separation cuts are called it ELP cuts , which are two important types of tight cuts in matching covered graphs. Edmonds, Lov 'asz and Pulleyblank proved that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP cut. Carvalho, Lucchesi, and Murty made a stronger conjecture given any nontrivial tight cut C in a matching covered graph G , there exists a nontrivial ELP cut D in G which does not cross C . We confirm the conjecture in this paper.


Unsupervised Data Extraction from Computer generated Documents with Single Line Formatting. Processing large amounts of data is an essential problem of the big data era. Most of the data exchange is done via direct communication (using APIs) and well structured file formats (JSON, XML, EDI, etc.), but a significant portion of the data is transferred using arbitrary formatted computer generated documents (such as invoices, purchase orders, financial reports, etc.), which require sophisticated processing and human intervention for data interpretation and extraction. The currently available solutions, ranging from manual data entry to low level scripting and data extraction tools, are costly and require human intervention. This paper describes the principle methodology for unsupervised, fully automatic data extraction from a wide range of computer generated documents, assuming that their formatting reflects the original structure of the data sources. The presented methodology falls into the category of unsupervised machine learning and consists of the three main parts (1) detecting repeating patterns of text formatting by employing the relative feature space clustering and adaptive weighted feature score maps, (2) detecting hierarchical formatting structures via collapsing and noise filtering procedure applied to the repeating formatting patterns and (3) automatic configuration of the interactive data extraction tool (SiMX TextConverter) for fully automated processing.


Computational methods for nonlocal mean field games with applications. We introduce a novel framework to model and solve mean field game systems with nonlocal interactions. Our approach relies on kernel based representations of mean field interactions and feature space expansions in the spirit of kernel methods in machine learning. We demonstrate the flexibility of our approach by modeling various interaction scenarios between agents. Additionally, our method yields a computationally efficient saddle point reformulation of the original problem that is amenable to state of the art convex optimization methods such as the primal dual hybrid gradient method (PDHG). We also discuss potential applications of our methods to multi agent trajectory planning problems.