MRPB 1.0 A Unified Benchmark for the Evaluation of Mobile Robot Local Planning Approaches. Local planning is one of the key technologies for mobile robots to achieve full autonomy and has been widely investigated. To evaluate mobile robot local planning approaches in a unified and comprehensive way, a mobile robot local planning benchmark called MRPB 1.0 is newly proposed in this paper. The benchmark facilitates both motion planning researchers who want to compare the performance of a new local planner relative to many other state of the art approaches as well as end users in the mobile robotics industry who want to select a local planner that performs best on some problems of interest. We elaborately design various simulation scenarios to challenge the applicability of local planners, including large scale, partially unknown, and dynamic complex environments. Furthermore, three types of principled evaluation metrics are carefully designed to quantitatively evaluate the performance of local planners, wherein the safety, efficiency, and smoothness of motions are comprehensively considered. We present the application of the proposed benchmark in two popular open source local planners to show the practicality of the benchmark. In addition, some insights and guidelines about the design and selection of local planners are also provided. The benchmark website contains all data of the designed simulation scenarios, detailed descriptions of these scenarios, and example code.


Loop erased partitioning of a graph mean field analysis. We consider a random partition of the vertex set of an arbitrary graph that can be sampled using loop erased random walks stopped at a random independent exponential time of parameter q 0 , that we see as a tuning parameter.The related random blocks tend to cluster nodes visited by the random walk on time scale 1 q . We explore the emerging macroscopic structure by analyzing 2 point correlations. To this aim, it is defined an interaction potential between pair of vertices, as the probability that they do not belong to the same block of the random partition. This interaction potential can be seen as an affinity measure for densely connected nodes'' and capture well separated regions in network models presenting non homogeneous landscapes. In this spirit, we compute this potential and its scaling limits on a complete graph and on a non homogeneous weighted version with community structures. For the latter geometry we show a phase transition for community detectability'' as a function of the tuning parameter and the edge weights.


3D Marchenko applications implementation and examples. We implement the 3D Marchenko equations to retrieve responses to virtual sources inside the subsurface. For this, we require reflection data at the surface of the Earth that contain no free surface multiples and are densely sampled in space. The required 3D reflection data volume is very large and solving the Marchenko equations requires a significant amount of computational cost. To limit the cost, we apply floating point compression to the reflection data to reduce their volume and the loading time from disk. We apply the Marchenko implementation to numerical reflection data to retrieve accurate Green's functions inside the medium and use these reflection data to apply imaging. This requires the simulation of many virtual source points, which we circumvent by using virtual plane wave sources instead of virtual point sources. Through this method, we retrieve the angle dependent response of a source from a depth level rather than of a point. We use these responses to obtain angle dependent structural images of the subsurface, free of contamination from wrongly imaged internal multiples. These images have less lateral resolution than those obtained using virtual point sources, but are more efficiently retrieved.


Exploration of Interaction Techniques for Graph based Modelling in Virtual Reality. Editing and manipulating graph based models within immersive environments is largely unexplored and certain design activities could benefit from using those technologies. For example, in the case study of architectural modelling, the 3D context of Virtual Reality naturally matches the intended output product, i.e. a 3D architectural geometry. Since both the state of the art and the state of the practice are lacking, we explore the field of VR based interactive modelling, and provide insights as to how to implement proper interactions in that context, with broadly available devices. We consequently produce several open source software prototypes for manipulating graph based models in VR.


Kernel Density Estimation based Factored Relevance Model for Multi Contextual Point of Interest Recommendation. An automated contextual suggestion algorithm is likely to recommend contextually appropriate and personalized 'points of interest' (POIs) to a user, if it can extract information from the user's preference history (exploitation) and effectively blend it with the user's current contextual information (exploration) to predict a POI's 'appropriateness' in the current context. To balance this trade off between exploitation and exploration, we propose an unsupervised, generic framework involving a factored relevance model (FRLM), constituting two distinct components, one pertaining to historical contexts, and the other corresponding to the current context. We further generalize the proposed FRLM by incorporating the semantic relationships between terms in POI descriptors using kernel density estimation (KDE) on embedded word vectors. Additionally, we show that trip qualifiers, (e.g. 'trip type', 'accompanied by') are potentially useful information sources that could be used to improve the recommendation effectiveness. Using such information is not straight forward since users' texts reviews of visited POIs typically do not explicitly contain such annotations. We undertake a weakly supervised approach to predict the associations between the review texts in a user profile and the likely trip contexts. Our experiments, conducted on the TREC contextual suggestion 2016 dataset, demonstrate that factorization, KDE based generalizations, and trip qualifier enriched contexts of the relevance model improve POI recommendation.


A model for the competition between political mono polarization and bi polarization. We investigate the phenomena of political bi polarization in a population of interacting agents by means of a generalized version of the model introduced in PRE E 101, 012101 (2020) for the dynamics of voting intention. Each agent has a propensity p in 0,1 to vote for one of two political candidates. In an iteration step, two agents i and j with respective propensities p i and p j interact, and then p i either increases by an amount h 0 with a probability that is a nonlinear function of p i and p j or decreases by h with the complementary probability. We study the behavior of the system under variations of a parameter q ge 0 that measures the nonlinearity of the propensity update rule. We focus on the stability properties of the two distinct stationary states mono polarization in which all agents share the same extreme propensity ( 0 or 1 ), and bi polarization where the population is divided into two groups with opposite and extreme propensities. We find that the bi polarized state is stable for q q c , while the mono polarized state is stable for q q c , where q c is a transition value that decreases as h decreases. We develop a rate equation approach whose stability analysis reveals that q c vanishes when h becomes infinitesimally small. This result is supported by the analysis of a transport equation derived in the continuum h to 0 limit. We also show by Monte Carlo simulations that the mean time tau to reach mono polarization in a system of size N scales as tau sim N alpha at q c , where alpha(h) is a non universal exponent.


Integrable bodies in odd dimensional spaces. V. Arnold's problem 1987 14 asks whether there exist smooth hypersurfaces in R N (other than the conics in odd dimensional spaces) for which the volume of the segment cut by any hyperplane from the body bounded by such a hypersurface is an algebraic function of the hyperplane. We desribe very realistic candidates for the role of such new hypersurfaces in particular, it are examples (additional to Archimedes' conics) of such hypersurfaces, for which the analytic continuation of this volume function is finitely valued.


RSK superinsertion and super Frobenius formulae. In this paper we extend the Robinson Schensted Knuth (RSK) superinsertion algorithm to hook multipartitions and derive the super Frobenius formula for the characters of cyclotomic Hecke algebras (Linear and Multilinear Algebra, DOI 10.1080 03081087.2019.1663140) via the RSK superinsertion algorithm. In particular, we obtain a new proof of Mitsuhashi's super Frobenius formula for the characters of Iwahori Hecke algebras.


DeepVIO Self supervised Deep Learning of Monocular Visual Inertial Odometry using 3D Geometric Constraints. This paper presents an self supervised deep learning network for monocular visual inertial odometry (named DeepVIO). DeepVIO provides absolute trajectory estimation by directly merging 2D optical flow feature (OFF) and Inertial Measurement Unit (IMU) data. Specifically, it firstly estimates the depth and dense 3D point cloud of each scene by using stereo sequences, and then obtains 3D geometric constraints including 3D optical flow and 6 DoF pose as supervisory signals. Note that such 3D optical flow shows robustness and accuracy to dynamic objects and textureless environments. In DeepVIO training, 2D optical flow network is constrained by the projection of its corresponding 3D optical flow, and LSTM style IMU preintegration network and the fusion network are learned by minimizing the loss functions from ego motion constraints. Furthermore, we employ an IMU status update scheme to improve IMU pose estimation through updating the additional gyroscope and accelerometer bias. The experimental results on KITTI and EuRoC datasets show that DeepVIO outperforms state of the art learning based methods in terms of accuracy and data adaptability. Compared to the traditional methods, DeepVIO reduces the impacts of inaccurate Camera IMU calibrations, unsynchronized and missing data.


BrazilDAM A Benchmark dataset for Tailings Dam Detection. In this work we present BrazilDAM, a novel public dataset based on Sentinel 2 and Landsat 8 satellite images covering all tailings dams cataloged by the Brazilian National Mining Agency (ANM). The dataset was built using georeferenced images from 769 dams, recorded between 2016 and 2019. The time series were processed in order to produce cloud free images. The dams contain mining waste from different ore categories and have highly varying shapes, areas and volumes, making BrazilDAM particularly interesting and challenging to be used in machine learning benchmarks. The original catalog contains, besides the dam coordinates, information about the main ore, constructive method, risk category, and associated potential damage. To evaluate BrazilDAM's predictive potential we performed classification essays using state of the art deep Convolutional Neural Network (CNNs). In the experiments, we achieved an average classification accuracy of 94.11 in tailing dam binary classification task. In addition, others four setups of experiments were made using the complementary information from the original catalog, exhaustively exploiting the capacity of the proposed dataset.


Additivity and Double Coset formulae for the Motivic and 'Etale Becker Gottlieb transfer. In this paper, which is a continuation of earlier work by the first author and Gunnar Carlsson, one of the first results we establish is the additivity of the motivic Becker Gottlieb transfer, the corresponding trace as well as their realizations. We then apply this to derive several important consequences for example, we settle a conjecture of Morel regarding the assertion that the Euler characteristic of rmG NT for a split reductive group scheme rmG and the normalizer of a split maximal torus NT is 1 in the Grothendieck Witt ring. We also obtain the analogues of various double coset formulae known in the classical setting of algebraic topology.


Symmetric polynomials in the symplectic alphabet and their expression via Dickson Zhukovsky variables. Given a symmetric polynomial P in 2n variables, there exists a unique symmetric polynomial Q in n variables such that P(x 1, ldots,x n,x 1 1 , ldots,x n 1 ) Q(x 1 x 1 1 , ldots,x n x n 1 ). We denote this polynomial Q by Phi n(P) and show that Phi n is an epimorphism of algebras. We compute Phi n(P) for several families of symmetric polynomials P symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016). The polynomials of the form Phi n( operatorname s lambda mu (2n) ) , where operatorname s lambda mu (2n) is a skew Schur polynomial in 2n variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as x 1, ldots,x n,x 1 1, ldots,x 1 n . Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.


Autonomous Vehicle Benchmarking using Unbiased Metrics. With the recent development of autonomous vehicle technology, there have been active efforts on the deployment of this technology at different scales that include urban and highway driving. While many of the prototypes showcased have been shown to operate under specific cases, little effort has been made to better understand their shortcomings and generalizability to new areas. Distance, uptime and number of manual disengagements performed during autonomous driving provide a high level idea on the performance of an autonomous system but without proper data normalization, testing location information, and the number of vehicles involved in testing, the disengagement reports alone do not fully encompass system performance and robustness. Thus, in this study a complete set of metrics are applied for benchmarking autonomous vehicle systems in a variety of scenarios that can be extended for comparison with human drivers and other autonomous vehicle systems. These metrics have been used to benchmark UC San Diego's autonomous vehicle platforms during early deployments for micro transit and autonomous mail delivery applications.


On the finite representation of group equivariant operators via permutant measures. The study of G equivariant operators is of great interest to explain and understand the architecture of neural networks. In this paper we show that each linear G equivariant operator can be produced by a suitable permutant measure, provided that the group G transitively acts on a finite signal domain X . This result makes available a new method to build linear G equivariant operators in the finite setting.


Note on an eigenvalue problem with applications to a Minkowski type regularity problem in mathbb R n. We consider existence and uniqueness of homogeneous solutions u 0 to certain PDE of p Laplace type, p fixed, n 1 p infty, n geq 2, when u is a solution in K( alpha) subset mathbb R n where K ( alpha) x (x 1, dots, x n ) x 1 cos alpha , x quad mbox for fixed , , alpha in (0, pi , with continuous boundary value zero on partial K ( alpha ) setminus 0 . In our main result we show that if u has continuous boundary value 0 on partial K ( pi ) then u is homogeneous of degree 1 (n 1) p when p n 1. Applications of this result are given to a Minkowski type regularity problem in mathbb R n when n 2,3 .


Subjective Assessment of Text Complexity A Dataset for German Language. This paper presents TextComplexityDE, a dataset consisting of 1000 sentences in German language taken from 23 Wikipedia articles in 3 different article genres to be used for developing text complexity predictor models and automatic text simplification in German language. The dataset includes subjective assessment of different text complexity aspects provided by German learners in level A and B. In addition, it contains manual simplification of 250 of those sentences provided by native speakers and subjective assessment of the simplified sentences by participants from the target group. The subjective ratings were collected using both laboratory studies and crowdsourcing approach.


Analysis of an M G 1 system for the optimization of the RTG performances in the delivery of containers in Abidjan Terminal. In front of the major challenges to increase its productivity while satisfying its customer, it is today important to establish in advance the operational performances of the RTG Abidjan Terminal. In this article, by using an M G 1 retrial queue system, we obtained the average number of parked delivery trucks and as well as their waiting time. Finally, we used Matlab to represent them graphically then analyze the RTG performances according to the traffic rate.


AD Cluster Augmented Discriminative Clustering for Domain Adaptive Person Re identification. Domain adaptive person re identification (re ID) is a challenging task, especially when person identities in target domains are unknown. Existing methods attempt to address this challenge by transferring image styles or aligning feature distributions across domains, whereas the rich unlabeled samples in target domains are not sufficiently exploited. This paper presents a novel augmented discriminative clustering (AD Cluster) technique that estimates and augments person clusters in target domains and enforces the discrimination ability of re ID models with the augmented clusters. AD Cluster is trained by iterative density based clustering, adaptive sample augmentation, and discriminative feature learning. It learns an image generator and a feature encoder which aim to maximize the intra cluster diversity in the sample space and minimize the intra cluster distance in the feature space in an adversarial min max manner. Finally, AD Cluster increases the diversity of sample clusters and improves the discrimination capability of re ID models greatly. Extensive experiments over Market 1501 and DukeMTMC reID show that AD Cluster outperforms the state of the art with large margins.


A Flexible Machine Learning Aware Architecture for Future WLANs. Lots of hopes have been placed on Machine Learning (ML) as a key enabler of future wireless networks. By taking advantage of large volumes of data, ML is expected to deal with the ever increasing complexity of networking problems. Unfortunately, current networks are not yet prepared to support the ensuing requirements of ML based applications in terms of data collection, processing, and output distribution. This article points out the architectural requirements that are needed to pervasively include ML as part of future wireless networks operation. Specifically, we look into Wireless Local Area Networks (WLANs), which, due to their nature can be found in multiple forms, ranging from cloud based to edge computing like deployments. In particular, we propose to adopt the International Telecommunications Union (ITU) unified architecture for 5G and beyond. Based on ITU's architecture, we provide insights on the main requirements and the major challenges of introducing ML to the multiple modalities of WLANs. Finally, we showcase the superiority of the architecture through an ML enabled use case for future networks.


HoaxItaly a collection of Italian disinformation and fact checking stories shared on Twitter in 2019. We released over 1 million tweets shared during 2019 and containing links to thousands of news articles published on two classes of Italian outlets (1) disinformation websites, i.e. outlets which have been repeatedly flagged by journalists and fact checkers for producing low credibility content such as false news, hoaxes, click bait, misleading and hyper partisan stories (2) fact checking websites which notably debunk and verify online news and claims. The dataset, which includes also title and body for approximately 37k news articles, is publicly available at https doi.org 10.7910 DVN PGVDHX.


A sharp Bombieri inequality, logarithmic energy and well conditioned polynomials. In this paper we explore the connections between minimizers of the discrete logarithmic energy on the 2 dimensional sphere, univariate polynomials with optimal condition number in the Shub Smale sense and a quotient involving norms of polynomials. Our main results are that polynomials with optimal condition number produce spherical points with small logarithmic energy (the reverse result was already known) and a sharp Bombieri type inequality for univariate polynomials with complex coefficients.


Existence of Crepant resolutions for two parameter Gorenstein Cyclic Quotient Singularities. In this paper, we show a condition for two parameter Gorenstein cyclic quotient singularities to have a crepant resolution by using the remainder polynomial in any dimension.


Learning Compliance Adaptation in Contact Rich Manipulation. Compliant robot behavior is crucial for the realization of contact rich manipulation tasks. In such tasks, it is important to ensure a high stiffness and force tracking accuracy during normal task execution as well as rapid adaptation and complaint behavior to react to abnormal situations and changes. In this paper, we propose a novel approach for learning predictive models of force profiles required for contact rich tasks. Such models allow detecting unexpected situations and facilitates better adaptive control. The approach combines an anomaly detection based on Bidirectional Gated Recurrent Units (Bi GRU) and an adaptive force impedance controller. We evaluated the approach in simulated and real world experiments on a humanoid robot.The results show that the approach allow simultaneous high tracking accuracy of desired motions and force profile as well as the adaptation to force perturbations due to physical human interaction.


Monotonicity of solutions for fractional equations with De Giorgi type nonlinearities. In this paper, we develop a sliding method for the fractional Laplacian. We first obtain the key ingredients needed in the sliding method either in a bounded domain or in the whole space, such as narrow region principles and maximum principles in unbounded domains. Then using semi linear equations involving the fractional Laplacian in both bounded domains and in the whole space, we illustrate how this new sliding method can be employed to obtain monotonicity of solutions. Some new ideas are introduced. Among which, one is to use Poisson integral representation of s subharmonic functions in deriving the maximum principle, the other is to estimate the singular integrals defining the fractional Laplacians along a sequence of approximate maximum points by using a generalized average inequality. We believe that this new inequality will become a useful tool in analyzing fractional equations.


Application of the criterion of Li Wang to a five dimensional epidemic model of COVID 19. Part I. The dynamics of many epidemic models for infectious diseases that spread in a single host population demonstrate a threshold phenomenon. If the basic reproduction number R0 is below unity, the disease free equilibrium P0 is globally stable in the feasible region and the disease always dies out. If R0 1, a unique endemic equilibrium P? is globally asymptotically stable in the interior of the feasible region and the disease will persist at the endemic equilibrium if it is initially present. In this paper (Part I), we reinvestigate the study of the stability or the non stability of a mathematical Covid 19 model constructed by Nita H. Shah, Ankush H. Suthar and Ekta N. Jayswal. We use a criterion of Li Wang for stability of matrices Li Wang on the second additive compound matrix associated to their model. In second paper (Part II), In order to control the Covid 19 system, i.e., force the trajectories to go to the equilibria we will add some control parameters with uncertain parameters to stabilize the five dimensional Covid 19 system studied in this paper. Based on compound matrices theory, we apply in Intissar again the criterion of Li Wang to study the stability of equilibrium points of Covid 19 system with uncertain parameters. In this part II, all sophisticated technical calculations including those in part I are given in appendices.


Buried and ridge graphene based silicon waveguides for broadband polarization insensitive amplitude and phase modulators. In this paper, four easy to fabricate graphene based Si waveguide modulators are presented to overcome the strong polarization dependency of graphene based modulators. The modulation features of two newly proposed structures, i.e. two graphene based buried silicon waveguides in addition to two standard ridge silicon waveguides at the telecommunication wavelength of lambda 1.55 mu m are studied. The results show that for certain widths of each waveguide (the height is constant), the amplitude and phase modulations clearly become polarization insensitive. The amplitude modulation depths for both the TE and TM modes are equal for these optimized waveguides with the precision of 10 4 dB mu m . Moreover, in some of the proposed modulators, the maximum variations of the real parts of the effective mode indices (EMI) for both the TE and TM modes coincide with each other with an excellent precision ( 5 times 10 5 ). This precision value is much smaller than the standard criterion value for confirming a polarization insensitive phase modulation. Furthermore, the performances of all the structures are studied for all optical telecommunication wavelengths. Even without making any changes to the structures designed at 1.55 mu m at appropriate wavelength intervals, the structures exhibit polarization insensitive behaviors.


Politeness Transfer A Tag and Generate Approach. This paper introduces a new task of politeness transfer which involves converting non polite sentences to polite sentences while preserving the meaning. We also provide a dataset of more than 1.39 instances automatically labeled for politeness to encourage benchmark evaluations on this new task. We design a tag and generate pipeline that identifies stylistic attributes and subsequently generates a sentence in the target style while preserving most of the source content. For politeness as well as five other transfer tasks, our model outperforms the state of the art methods on automatic metrics for content preservation, with a comparable or better performance on style transfer accuracy. Additionally, our model surpasses existing methods on human evaluations for grammaticality, meaning preservation and transfer accuracy across all the six style transfer tasks. The data and code is located at https github.com tag and generate.


Political Framing US COVID19 Blame Game. Through the use of Twitter, framing has become a prominent presidential campaign tool for politically active users. Framing is used to influence thoughts by evoking a particular perspective on an event. In this paper, we show that the COVID19 pandemic rather than being viewed as a public health issue, political rhetoric surrounding it is mostly shaped through a blame frame (blame Trump, China, or conspiracies) and a support frame (support candidates) backing the agenda of Republican and Democratic users in the lead up to the 2020 presidential campaign. We elucidate the divergences between supporters of both parties on Twitter via the use of frames. Additionally, we show how framing is used to positively or negatively reinforce users' thoughts. We look at how Twitter can efficiently be used to identify frames for topics through a reproducible pipeline.


Technologies and Workflow of Creative Coding Projects Examples from the Google DevArt Competition. Recently, many artists and creative technologists created computer programming as a goal to create something expressive instead of something functional. In this paper, I analyzed 18 creative coding projects from the Google DevArt competition and summarized the critical technologies, types of content, and key workflows of these creative coding projects. The paper also discusses the potential research opportunities for creative coding and art technologies.


mathcal A quasiconvexity, G r a rding inequalities and applications in PDE constrained problems in dynamics and statics. A G r a rding type inequality is proved for a quadratic form associated to mathcal A quasiconvex functions. This quadratic form appears as the relative entropy in the theory of conservation laws and it is related to the Weierstrass excess function in the calculus of variations. The former provides weak strong uniqueness results, whereas the latter has been used to provide sufficiency theorems for local minimisers. Using this new G r a rding inequality we provide an extension of these results to PDE constrained problems in dynamics and statics under mathcal A quasiconvexity assumptions. The application in statics improves existing results by proving uniqueness of L p local minimisers in the classical mathcal A rm curl case.


Near Linear Time Homomorphism Counting in Bounded Degeneracy Graphs The Barrier of Long Induced Cycles. Counting homomorphisms of a constant sized pattern graph H in an input graph G is a fundamental computational problem. There is a rich history of studying the complexity of this problem, under various constraints on the input G and the pattern H . Given the significance of this problem and the large sizes of modern inputs, we investigate when near linear time algorithms are possible. We focus on the case when the input graph has bounded degeneracy, a commonly studied and practically relevant class for homomorphism counting. It is known from previous work that for certain classes of H , H homomorphisms can be counted exactly in near linear time in bounded degeneracy graphs. Can we precisely characterize the patterns H for which near linear time algorithms are possible? We completely resolve this problem, discovering a clean dichotomy using fine grained complexity. Let m denote the number of edges in G . We prove the following if the largest induced cycle in H has length at most 5 , then there is an O(m log m) algorithm for counting H homomorphisms in bounded degeneracy graphs. If the largest induced cycle in H has length at least 6 , then (assuming standard fine grained complexity conjectures) there is a constant gamma 0 , such that there is no o(m 1 gamma ) time algorithm for counting H homomorphisms.


Decompositions of the stable module infty category. We show that the stable module infty category of a finite group G decomposes in three different ways as a limit of the stable module infty categories of certain subgroups of G . Analogously to Dwyer's terminology for homology decompositions, we call these the centraliser, normaliser, and subgroup decompositions. We construct centraliser and normaliser decompositions and extend the subgroup decomposition (constructed by Mathew) to more collections of subgroups. The key step in the proof is extending the stable module infty category to be defined for any G space, then showing that this extension only depends on the S equivariant homotopy type of a G space. The methods used are not specific to the stable module infty category, so may also be applicable in other settings where an infty category depends functorially on G .


Entropy Martingale Optimal Transport and Nonlinear Pricing Hedging Duality. The objective of this paper is to develop a duality between a novel Entropy Martingale Optimal Transport problem (A) and an associated optimization problem (B). In (A) we follow the approach taken in the Entropy Optimal Transport (EOT) primal problem by Liero et al. "Optimal entropy transport problems and a new Hellinger Kantorovic distance between positive measures", Invent. math. 2018, but we add the constraint, typical of Martingale Optimal Transport (MOT) theory, that the infimum of the cost functional is taken over martingale probability measures, instead of finite positive measures, as in Liero et al.. The Problem (A) differs from the corresponding problem in Liero et al. not only by the martingale constraint, but also because we admit less restrictive penalization terms mathcal D U , which may not have a divergence formulation. In Problem (B) the objective functional, associated via Fenchel conjugacy to the terms mathcal D U , is not any more linear, as in OT or in MOT. This leads to a novel optimization problem which also has a clear financial interpretation as a nonlinear subhedging value. Our theory allows us to establish a nonlinear robust pricing hedging duality, which covers a wide range of known robust results. We also focus on Wasserstein induced penalizations and we study how the duality is affected by variations in the penalty terms, with a special focus on the convergence of EMOT to the extreme case of MOT.


Triebel Lizorkin regularity and bi Lipschitz maps composition operator and inverse function regularity. We study the stability of Triebel Lizorkin regularity of bounded functions and Lipschitz functions under bi Lipschitz changes of variables and the regularity of the inverse function of a Triebel Lizorkin bi Lipschitz map in Lipschitz domains. To obtain the results we provide an equivalent norm for the Triebel Lizorkin spaces with fractional smoothness in uniform domains in terms of the first order difference of the last weak derivative available averaged on balls.


Eliciting Knowledge from Experts Automatic Transcript Parsing for Cognitive Task Analysis. Cognitive task analysis (CTA) is a type of analysis in applied psychology aimed at eliciting and representing the knowledge and thought processes of domain experts. In CTA, often heavy human labor is involved to parse the interview transcript into structured knowledge (e.g., flowchart for different actions). To reduce human efforts and scale the process, automated CTA transcript parsing is desirable. However, this task has unique challenges as (1) it requires the understanding of long range context information in conversational text and (2) the amount of labeled data is limited and indirect i.e., context aware, noisy, and low resource. In this paper, we propose a weakly supervised information extraction framework for automated CTA transcript parsing. We partition the parsing process into a sequence labeling task and a text span pair relation extraction task, with distant supervision from human curated protocol files. To model long range context information for extracting sentence relations, neighbor sentences are involved as a part of input. Different types of models for capturing context dependency are then applied. We manually annotate real world CTA transcripts to facilitate the evaluation of the parsing tasks


How Successful Are Open Source Contributions From Countries with Different Levels of Human Development?. Are Brazilian developers less likely to have a contribution accepted than their peers from, say, the United Kingdom? In this paper we studied whether the developers' location relates to the outcome of a pull request. We curated the locations of 14k contributors who performed 44k pull requests to 20 open source projects. Our results indeed suggest that developers from countries with low human development indexes (HDI) not only perform a small fraction of the overall pull requests, but they also are the ones that face rejection the most.


Designing a physically feasible colour filter to make a camera more colorimetric. Previously, a method has been developed to find the best colour filter for a given camera which results in the new effective camera sensitivities that best meet the Luther condition. That is, the new sensitivities are approximately linearly related to the XYZ colour matching functions. However, with no constraint, the filter derived from this Luther condition based optimisation can be rather non smooth and transmit very little light which are impractical for fabrication. In this paper, we extend the Luther condition filter optimisation method to allow us to incorporate both the smoothness and transmittance bounds of the recovered filter which are key practical concerns. Experiments demonstrate that we can find physically realisable filters which are smooth and reasonably transmissive with which the effective "camera filter" becomes significantly more colorimetric.


Adaptive Self training for Few shot Neural Sequence Labeling. Sequence labeling is an important technique employed for many Natural Language Processing (NLP) tasks, such as Named Entity Recognition (NER), slot tagging for dialog systems and semantic parsing. Large scale pre trained language models obtain very good performance on these tasks when fine tuned on large amounts of task specific labeled data. However, such large scale labeled datasets are difficult to obtain for several tasks and domains due to the high cost of human annotation as well as privacy and data access constraints for sensitive user applications. This is exacerbated for sequence labeling tasks requiring such annotations at token level. In this work, we develop techniques to address the label scarcity challenge for neural sequence labeling models. Specifically, we develop self training and meta learning techniques for training neural sequence taggers with few labels. While self training serves as an effective mechanism to learn from large amounts of unlabeled data meta learning helps in adaptive sample re weighting to mitigate error propagation from noisy pseudo labels. Extensive experiments on six benchmark datasets including two for massive multilingual NER and four slot tagging datasets for task oriented dialog systems demonstrate the effectiveness of our method. With only 10 labeled examples for each class for each task, our method obtains 10 improvement over state of the art systems demonstrating its effectiveness for the low resource setting.


Features in Extractive Supervised Single document Summarization Case of Persian News. Text summarization has been one of the most challenging areas of research in NLP. Much effort has been made to overcome this challenge by using either the abstractive or extractive methods. Extractive methods are more popular, due to their simplicity compared with the more elaborate abstractive methods. In extractive approaches, the system will not generate sentences. Instead, it learns how to score sentences within the text by using some textual features and subsequently selecting those with the highest rank. Therefore, the core objective is ranking and it highly depends on the document. This dependency has been unnoticed by many state of the art solutions. In this work, the features of the document are integrated into vectors of every sentence. In this way, the system becomes informed about the context, increases the precision of the learned model and consequently produces comprehensive and brief summaries.


Reducing Discrimination in Learning Algorithms for Social Good in Sociotechnical Systems. Sociotechnical systems within cities are now equipped with machine learning algorithms in hopes to increase efficiency and functionality by modeling and predicting trends. Machine learning algorithms have been applied in these domains to address challenges such as balancing the distribution of bikes throughout a city and identifying demand hotspots for ride sharing drivers. However, these algorithms applied to challenges in sociotechnical systems have exacerbated social inequalities due to previous bias in data sets or the lack of data from marginalized communities. In this paper, I will address how smart mobility initiatives in cities use machine learning algorithms to address challenges. I will also address how these algorithms unintentionally discriminate against features such as socioeconomic status to motivate the importance of algorithmic fairness. Using the bike sharing program in Pittsburgh, PA, I will present a position on how discrimination can be eliminated from the pipeline using Bayesian Optimization.


Weakly Supervised Vessel Segmentation in X ray Angiograms by Self Paced Learning from Noisy Labels with Suggestive Annotation. The segmentation of coronary arteries in X ray angiograms by convolutional neural networks (CNNs) is promising yet limited by the requirement of precisely annotating all pixels in a large number of training images, which is extremely labor intensive especially for complex coronary trees. To alleviate the burden on the annotator, we propose a novel weakly supervised training framework that learns from noisy pseudo labels generated from automatic vessel enhancement, rather than accurate labels obtained by fully manual annotation. A typical self paced learning scheme is used to make the training process robust against label noise while challenged by the systematic biases in pseudo labels, thus leading to the decreased performance of CNNs at test time. To solve this problem, we propose an annotation refining self paced learning framework (AR SPL) to correct the potential errors using suggestive annotation. An elaborate model vesselness uncertainty estimation is also proposed to enable the minimal annotation cost for suggestive annotation, based on not only the CNNs in training but also the geometric features of coronary arteries derived directly from raw data. Experiments show that our proposed framework achieves 1) comparable accuracy to fully supervised learning, which also significantly outperforms other weakly supervised learning frameworks 2) largely reduced annotation cost, i.e., 75.18 of annotation time is saved, and only 3.46 of image regions are required to be annotated and 3) an efficient intervention process, leading to superior performance with even fewer manual interactions.


Urban volumetrics spatial complexity and wayfinding, extending space syntax to three dimensional space. Wayfinding behavior and pedestrian movement pattern research relies on objective spatial configuration representation and analysis, such as space syntax, to quantify and control for the difficulty of wayfinding in multi level buildings and urban built environments. However, the space syntax's representation oversimplifies multi level vertical connections. The more recent segment and angular approaches to space syntax remain un operationalizable in three dimensional space. The two dimensional axial map and segment map line representations are reviewed to determine their extension to a novel three dimensional space line representation. Using an extreme case study research strategy, four representations of a large scale complex multi level outdoor and indoor built environment are tested against observed pedestrian movement patterns N 17,307. Association with the movement pattern increases steadily as the representation increases toward high three dimensional space level of definition and completeness. A novel hybrid angular Euclidean analysis was used for the objective description of three dimensional built environment complexity. The results suggest that pedestrian wayfinding and movement pattern research in a multi level built environment should include interdependent outdoor and indoor, and use full three dimensioanal line representation.


On the profinite rigidity of lattices in higher rank Lie groups. We investigate which higher rank simple Lie groups admit profinitely but not abstractly commensurable lattices. We show that no such examples exist for the complex forms of type E 8 , F 4 , and G 2 . In contrast, there are arbitrarily many such examples in all other higher rank Lie groups, except possibly mathrm SL 2n 1 ( mathbb R ) , mathrm SL 2n 1 ( mathbb C ) , mathrm SL n( mathbb H ) , or groups of type E 6 .


On the Existence of Minimal Hypersurfaces with Arbitrarily Large Area and Morse Index. We show that a bumpy closed Riemannian manifold (M n 1 , g) (3 leq n 1 leq 7) admits a sequence of connected closed embedded two sided minimal hypersurfaces whose areas and Morse indices both tend to infinity. This improves a previous result by O. Chodosh and C. Mantoulidis on connected minimal hypersurfaces with arbitrarily large area.


Adaptive Low Rank Approximations for Operator Equations Accuracy Control and Computational Complexity. The challenge of mastering computational tasks of enormous size tends to frequently override questioning the quality of the numerical outcome in terms of accuracy. By this we do not mean the accuracy within the discrete setting, which itself may also be far from evident for ill conditioned problems or when iterative solvers are involved. By accuracy controlled computation we mean the deviation of the numerical approximation from the exact solution of an underlying continuous problem in a relevant metric, which has been the initiating interest in the first place. Can the accuracy of a numerical result be rigorously certified a question that is particularly important in the context of uncertainty quantification, when many possible sources of uncertainties interact. This is the guiding question throughout this article, which reviews recent developments of low rank approximation methods for problems in high spatial dimensions. In particular, we highlight the role of adaptivity when dealing with such strongly nonlinear methods that integrate in a natural way issues of discrete and continuous accuracy.


physics.flu-dyn physics.app-ph physics.comp-ph physics.med-ph physics.soc-ph

Extended lifetime of respiratory droplets in a turbulent vapour puff and its implications on airborne disease transmission. To quantify the fate of respiratory droplets under different ambient relative humidities, direct numerical simulations of a typical respiratory event are performed. We found that, because small droplets (with initial diameter of 10um) are swept by turbulent eddies in the expelled humid puff, their lifetime gets extended by a factor of more than 30 times as compared to what is suggested by the classical picture by William F. Wells, for 50 relative humidity. With increasing ambient relative humidity the extension of the lifetimes of the small droplets further increases and goes up to around 150 times for 90 relative humidity, implying more than two meters advection range of the respiratory droplets within one second. Employing Lagrangian statistics, we demonstrate that the turbulent humid respiratory puff engulfs the small droplets, leading to many orders of magnitude increase in their lifetimes, implying that they can be transported much further during the respiratory events than the large ones. Our findings provide the starting points for larger parameter studies and may be instructive for developing strategies on optimizing ventilation and indoor humidity control. Such strategies are key in mitigating the COVID 19 pandemic in the present autumn and upcoming winter.


Predicting Student Performance Based on Online Study Habits A Study of Blended Courses. Online tools provide unique access to research students' study habits and problem solving behavior. In MOOCs, this online data can be used to inform instructors and to provide automatic guidance to students. However, these techniques may not apply in blended courses with face to face and online components. We report on a study of integrated user system interaction logs from 3 computer science courses using four online systems LMS, forum, version control, and homework system. Our results show that students rarely work across platforms in a single session, and that final class performance can be predicted from students' system use.


Stryker Scaling Specification Based Program Repair by Pruning Infeasible Mutants with SAT. Many techniques for automated program repair involve syntactic program transformations. Applying combinations of such transformations on faulty code yields fix candidates whose correctness must be determined. Exploring these combinations leads to an explosion on the number of generated fix candidates that severely limits the applicability of such fault repair techniques. This explosion is most times tamed by not considering fix candidates exhaustively, and by disabling intra statement modifications. In this article we present a technique for program repair that considers an ample set of intra statement syntactic operations, and explores fix candidates exhaustively up to a provided bound. The suitability of the technique, implemented in our tool Stryker, is supported by a novel mechanism to detect and prune infeasible fix candidates. This allows Stryker to repair programs with several bugs, whose fixes require multiple modifications. We evaluate our technique on a benchmark of faulty Java container classes, which Stryker is able to repair, pruning significant parts of the space of generated candidates when more than one bug is present in the code.


Kwame A Bilingual AI Teaching Assistant for Online SuaCode Courses. Introductory hands on courses such as our smartphone based coding course, SuaCode require a lot of support for students to accomplish learning goals. Online environments make it even more difficult to get assistance especially more recently because of COVID 19. Given the multilingual context of SuaCode students learners across 42 African countries that are mostly Anglophone or Francophone in this work, we developed a bilingual Artificial Intelligence (AI) Teaching Assistant (TA) Kwame that provides answers to students' coding questions from SuaCode courses in English and French. Kwame is a Sentence BERT (SBERT) based question answering (QA) system that we trained and evaluated offline using question answer pairs created from the course's quizzes, lesson notes and students' questions in past cohorts. Kwame finds the paragraph most semantically similar to the question via cosine similarity. We compared the system with TF IDF and Universal Sentence Encoder. Our results showed that fine tuning on the course data and returning the top 3 and 5 answers improved the accuracy results. Kwame will make it easy for students to get quick and accurate answers to questions in SuaCode courses.


JEDI Many to Many End to End Encryption and Key Delegation for IoT. As the Internet of Things (IoT) emerges over the next decade, developing secure communication for IoT devices is of paramount importance. Achieving end to end encryption for large scale IoT systems, like smart buildings or smart cities, is challenging because multiple principals typically interact indirectly via intermediaries, meaning that the recipient of a message is not known in advance. This paper proposes JEDI (Joining Encryption and Delegation for IoT), a many to many end to end encryption protocol for IoT. JEDI encrypts and signs messages end to end, while conforming to the decoupled communication model typical of IoT systems. JEDI's keys support expiry and fine grained access to data, common in IoT. Furthermore, JEDI allows principals to delegate their keys, restricted in expiry or scope, to other principals, thereby granting access to data and managing access control in a scalable, distributed way. Through careful protocol design and implementation, JEDI can run across the spectrum of IoT devices, including ultra low power deeply embedded sensors severely constrained in CPU, memory, and energy consumption. We apply JEDI to an existing IoT messaging system and demonstrate that its overhead is modest.


Logic Bugs in IoT Platforms and Systems A Review. In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper seeks to provide a review of the recently discovered logic bugs that are specific to IoT platforms and systems. In particular, 17 logic bugs and one weakness falling into seven categories of vulnerabilities are reviewed in this survey.


Stochastic maximum principle for problems with delay with general dependence on the past. We prove a stochastic maximum principle for a control problem where the state equation is delayed both in the state and in the control, and also the final cost functional may depend on the past trajectories. The adjoint equations turn out to be a new form of linear anticipated backward stochastic differential equations (ABSDEs in the following), and we prove a direct formula to solve these equations.


A Model for Optimizing the Health and Economic Impacts of Covid 19 under Social Distancing Measures A Study for the Number of Passengers and their Seating Arrangements in Aircrafts. Covid 19 has had a disastrous economic impact on countries and industries as countries have gone through the lockdown process to reduce the health impact of Covid 19. As countries have started lifting Covid 19 related restrictions, businesses have been allowed to again have on site customers. However, just a limited number of people are being allowed on site as long as social distancing measures are being followed. This has resulted in heavy burdens on businesses as their number of customers have decreased substantially. In this study, we propose a model to minimize the economic impact of Covid 19 for businesses that have implemented social distancing measures, as well as to minimize the health impact of Covid 19 for their customers and employees. We introduce the quantity Spread in which minimizing Spread gives the optimum number and arrangement of people at a given site while applying social distancing measures. We apply our model to a real world scenario and optimize the number of passengers and their arrangements under a social distancing measure for two different popular aircraft seat layouts using the Annealing Monte Carlo technique. We obtain the optimal numbers and optimal arrangements of passengers considering both family groups and individual passengers for the social distancing measure. The obtained optimal arrangements of passengers show complex patterns with groups and individual passengers mixed in complex and non trivial ways. This demonstrates the necessity of using our model or its variants to find these optimal arrangements. In addition, we show that any other arrangements of passengers with the same number of passengers is a suboptimal arrangement with higher health risks as a result of less distance between passengers. Our model could be implemented for other social situations such as sports events, theaters, medical centers, etc.


Theory In, Theory Out The uses of social theory in machine learning for social science. Research at the intersection of machine learning and the social sciences has provided critical new insights into social behavior. At the same time, a variety of critiques have been raised ranging from technical issues with the data used and features constructed, problematic assumptions built into models, their limited interpretability, and their contribution to bias and inequality. We argue such issues arise primarily because of the lack of social theory at various stages of the model building and analysis. In the first half of this paper, we walk through how social theory can be used to answer the basic methodological and interpretive questions that arise at each stage of the machine learning pipeline. In the second half, we show how theory can be used to assess and compare the quality of different social learning models, including interpreting, generalizing, and assessing the fairness of models. We believe this paper can act as a guide for computer and social scientists alike to navigate the substantive questions involved in applying the tools of machine learning to social data.


The Global Solutions to Cartan's Realization Problem. We introduce a systematic method to solve a type of Cartan's realization problem. Our method builds upon a new theory of Lie algebroids and Lie groupoids with structure group and connection. This approach allows to find local as well as complete solutions, their symmetries, and to determine the moduli spaces of local and complete solutions. We apply our method to the problem of classification of extremal K "ahler metrics on surfaces.


Imperfect Gaps in Gap ETH and PCPs. We study the role of perfect completeness in probabilistically checkable proof systems (PCPs) and give a new way to transform a PCP with imperfect completeness to a PCP with perfect completeness when the initial gap is a constant. In particular, we show that text PCP c,s r,q subseteq text PCP 1,1 Omega(1) r O(1),q O(r) , for c s Omega(1) . This implies that one can convert imperfect completeness to perfect in linear sized PCPs for NTIME O(n) with a O( log n) additive loss in the query complexity q . We show our result by constructing a "robust circuit" using threshold gates. These results are a gap amplification procedure for PCPs (when completeness is imperfect), analogous to questions studied in parallel repetition and pseudorandomness. We also investigate the time complexity of approximating perfectly satisfiable instances of 3SAT versus those with imperfect completeness. We show that the Gap ETH conjecture without perfect completeness is equivalent to Gap ETH with perfect completeness, i.e. we show that Gap 3SAT, where the gap is not around 1, has a subexponential algorithm, if and only if, Gap 3SAT with perfect completeness has subexponential algorithms. We also relate the time complexities of these two problems in a more fine grained way, to show that T 2(n) leq T 1(n( log log n) O(1) ) , where T 1(n),T 2(n) denote the randomized time complexity of approximating MAX 3SAT with perfect and imperfect completeness, respectively.


The Space of Persistence Diagrams on n Points Coarsely Embeds into Hilbert Space. We prove that the space of persistence diagrams on n points (with the bottleneck or a Wasserstein distance) coarsely embeds into Hilbert space by showing it is of asymptotic dimension 2n . Such an embedding enables utilisation of Hilbert space techniques on the space of persistence diagrams. We also prove that when the number of points is not bounded, the corresponding spaces of persistence diagrams do not have finite asymptotic dimension. Furthermore, in the case of the bottleneck distance, the corresponding space does not coarsely embed into Hilbert space.


IMS at SemEval 2020 Task 1 How low can you go? Dimensionality in Lexical Semantic Change Detection. We present the results of our system for SemEval 2020 Task 1 that exploits a commonly used lexical semantic change detection model based on Skip Gram with Negative Sampling. Our system focuses on Vector Initialization (VI) alignment, compares VI to the currently top ranking models for Subtask 2 and demonstrates that these can be outperformed if we optimize VI dimensionality. We demonstrate that differences in performance can largely be attributed to model specific sources of noise, and we reveal a strong relationship between dimensionality and frequency induced noise in VI alignment. Our results suggest that lexical semantic change models integrating vector space alignment should pay more attention to the role of the dimensionality parameter.


Well posedness of the Riemann problem with two shocks for the isentropic Euler system in a class of vanishing physical viscosity limits. We consider the Riemann problem composed of two shocks for the 1D Euler system. We show that the Riemann solution with two shocks is stable and unique in the class of weak inviscid limits of solutions to the Navier Stokes equations with initial data with bounded energy. This work extends to the case of two shocks a previous result of the authors in the case of a single shock. It is based on the method of weighted relative entropy with shifts known as a contraction theory. A major difficulty due to the method is that very little control is available on the shifts. A modification of the construction of the shifts is needed to ensure that the two shock waves are well separated, at the level of the Navier Stokes system, even when subjected to large perturbations. This work put the foundations needed to consider a large family of interacting waves. It is a key result in the program to solve the Bianchini Bressan conjecture, that is the inviscid limit of solutions to the Navier Stokes equation to the unique BV solution of the Euler equation, in the case of small BV initial values.


Blue Microlasers Integrated on a Photonic Platform on Silicon. The main interest of group III nitride nanophotonic circuits is the integration of active structures and laser sources. A photonic platform of group III nitride microdisk lasers integrated on silicon and emitting in the blue spectral range is demonstrated. The active microdisks are side coupled to suspended bus waveguides, and the coupled emission is guided and outcoupled to free space using grating couplers. A small gap size of less than 100 nm between the disk and the waveguide is required in the blue spectral range for optimal evanescent coupling. To avoid reabsorption of the microdisk emission in the waveguide, the quantum wells are etched away from the waveguide. Under continuous wave excitation, loaded quality factors greater than 2000 are observed for the whispering gallery modes for devices with small gaps and large waveguide bending angles. Under pulsed excitation conditions, lasing is evidenced for 3 mu m diameter microdisks integrated in a full photonic circuit. We thus present a first demonstration of a III nitride microlaser coupled to a nanophotonic circuit.


Approximate and Strategyproof Maximin Share Allocation of Chores with Ordinal Preferences. We initiate the work on maximin share (MMS) fair allocation of m indivisible chores to n agents using only their ordinal preferences, from both algorithmic and mechanism design perspectives. The previous best known approximation is 2 1 n by Aziz et al. IJCAI 2017 . We improve this result by giving a simple deterministic 5 3 approximation algorithm that determines an allocation sequence of agents, according to which items are allocated one by one. By a tighter analysis, we show that for n 2,3, our algorithm achieves better approximation ratios, and is actually optimal. We also consider the setting with strategic agents, where agents may misreport their preferences to manipulate the outcome. We first provide a O( log (m n)) approximation consecutive picking algorithm, and then improve the approximation ratio to O( sqrt log n ) by a randomized algorithm. Our results uncover some interesting contrasts between the approximation ratios achieved for chores versus goods.


A Survey on Evolutionary Neural Architecture Search. Deep Neural Networks (DNNs) have achieved great success in many applications. The architectures of DNNs play a crucial role in their performance, which is usually manually designed with rich expertise. However, such a design process is labour intensive because of the trial and error process, and also not easy to realize due to the rare expertise in practice. Neural Architecture Search (NAS) is a type of technology that can design the architectures automatically. Among different methods to realize NAS, Evolutionary Computation (EC) methods have recently gained much attention and success. Unfortunately, there has not yet been a comprehensive summary of the EC based NAS algorithms. This paper reviews over 200 papers of most recent EC based NAS methods in light of the core components, to systematically discuss their design principles as well as justifications on the design. Furthermore, current challenges and issues are also discussed to identify future research in this emerging field.


Dynamical Characterization of Antiviral Effects in COVID 19. Mathematical models describing SARS CoV 2 dynamics and the corresponding immune responses in patients with COVID 19 can be critical to evaluate possible clinical outcomes of antiviral treatments. In this work, based on the concept of virus spreadability in the host, antiviral effectiveness thresholds are determined to establish whether or not a treatment will be able to clear the infection. In addition, the virus dynamic in the host including the time to peak and the final monotonically decreasing behavior is chracterized as a function of the treatment initial time. Simulation results, based on nine real patient data, show the potential clinical benefits of a treatment classification according to patient critical parameters. This study is aimed at paving the way for the different antivirals being developed to tackle SARS CoV 2.


Deep Domain Decomposition Method Elliptic Problems. This paper proposes a deep learning based domain decomposition method (DeepDDM), which leverages deep neural networks (DNN) to discretize the subproblems divided by domain decomposition methods (DDM) for solving partial differential equations (PDE). Using DNN to solve PDE is a physics informed learning problem with the objective involving two terms, domain term and boundary term, which respectively make the desired solution satisfy the PDE and corresponding boundary conditions. DeepDDM will exchange the subproblem information across the interface in DDM by adjusting the boundary term for solving each subproblem by DNN. Benefiting from the simple implementation and mesh free strategy of using DNN for PDE, DeepDDM will simplify the implementation of DDM and make DDM more flexible for complex PDE, e.g., those with complex interfaces in the computational domain. This paper will firstly investigate the performance of using DeepDDM for elliptic problems, including a model problem and an interface problem. The numerical examples demonstrate that DeepDDM exhibits behaviors consistent with conventional DDM the number of iterations by DeepDDM is independent of network architecture and decreases with increasing overlapping size. The performance of DeepDDM on elliptic problems will encourage us to further investigate its performance for other kinds of PDE and may provide new insights for improving the PDE solver by deep learning.


Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade. By reasoning about the claims and speculations promised as part of the public discourse, we analyze the hypothesis that flaws in software engineering played a critical role in the Boeing 737 MCAS incidents. We use promise based reasoning to discuss how, from an outsider's perspective, one may assemble clues about what went wrong. Rather than looking for a Rational Alternative Design (RAD), as suggested by Wendel, we look for candidate flaws in the software process. We describe four such potential flaws. Recently, Boeing has circulated information on its envisaged MCAS algorithm upgrade. We cast this as a promise to resolve the flaws, i.e. to provide a RAD for the B737 Max. We offer an assessment of B Max New based on the public discourse.


Regularized Pooling. In convolutional neural networks (CNNs), pooling operations play important roles such as dimensionality reduction and deformation compensation. In general, max pooling, which is the most widely used operation for local pooling, is performed independently for each kernel. However, the deformation may be spatially smooth over the neighboring kernels. This means that max pooling is too flexible to compensate for actual deformations. In other words, its excessive flexibility risks canceling the essential spatial differences between classes. In this paper, we propose regularized pooling, which enables the value selection direction in the pooling operation to be spatially smooth across adjacent kernels so as to compensate only for actual deformations. The results of experiments on handwritten character images and texture images showed that regularized pooling not only improves recognition accuracy but also accelerates the convergence of learning compared with conventional pooling operations.


The Adversarial Machine Learning Conundrum Can The Insecurity of ML Become The Achilles' Heel of Cognitive Networks?. The holy grail of networking is to create textit cognitive networks that organize, manage, and drive themselves. Such a vision now seems attainable thanks in large part to the progress in the field of machine learning (ML), which has now already disrupted a number of industries and revolutionized practically all fields of research. But are the ML models foolproof and robust to security attacks to be in charge of managing the network? Unfortunately, many modern ML models are easily misled by simple and easily crafted adversarial perturbations, which does not bode well for the future of ML based cognitive networks unless ML vulnerabilities for the cognitive networking environment are identified, addressed, and fixed. The purpose of this article is to highlight the problem of insecure ML and to sensitize the readers to the danger of adversarial ML by showing how an easily crafted adversarial ML example can compromise the operations of the cognitive self driving network. In this paper, we demonstrate adversarial attacks on two simple yet representative cognitive networking applications (namely, intrusion detection and network traffic classification). We also provide some guidelines to design secure ML models for cognitive networks that are robust to adversarial attacks on the ML pipeline of cognitive networks.


Digital rock reconstruction with user defined properties using conditional generative adversarial networks. Uncertainty is ubiquitous with flow in subsurface rocks because of their inherent heterogeneity and lack of in situ measurements. To complete uncertainty analysis in a multi scale manner, it is a prerequisite to provide sufficient rock samples. Even though the advent of digital rock technology offers opportunities to reproduce rocks, it still cannot be utilized to provide massive samples due to its high cost, thus leading to the development of diversified mathematical methods. Among them, two point statistics (TPS) and multi point statistics (MPS) are commonly utilized, which feature incorporating low order and high order statistical information, respectively. Recently, generative adversarial networks (GANs) are becoming increasingly popular since they can reproduce training images with excellent visual and consequent geologic realism. However, standard GANs can only incorporate information from data, while leaving no interface for user defined properties, and thus may limit the representativeness of reconstructed samples. In this study, we propose conditional GANs for digital rock reconstruction, aiming to reproduce samples not only similar to the real training data, but also satisfying user specified properties. In fact, the proposed framework can realize the targets of MPS and TPS simultaneously by incorporating high order information directly from rock images with the GANs scheme, while preserving low order counterparts through conditioning. We conduct three reconstruction experiments, and the results demonstrate that rock type, rock porosity, and correlation length can be successfully conditioned to affect the reconstructed rock images. Furthermore, in contrast to existing GANs, the proposed conditioning enables learning of multiple rock types simultaneously, and thus invisibly saves computational cost.


Influence of driver behavior in the emergence of traffic gridlocks. We present a microscopic driving algorithm that prescribes the acceleration using three parameters the distance to the leading vehicle, to the next traffic light and to the nearest stopping point when the next traffic light is in the red phase. We apply this algorithm to construct decision trees that enable two driving behaviors aggressive and careful. The focus of this study is to analyze the amount of aggressive drivers that are needed in order to generate a traffic gridlock in a portion of a city with signalized intersections. At rush hour, aggressive drivers will enter the intersection regardless if they have enough time or space to clear it. When their traffic light changes they block other drivers, thus providing the conditions for a gridlock to develop. We find that gridlocks emerge even with very few aggressive drivers present. These results support the idea of promoting good driving behavior to avoid heavy congestion during rush hours.


Renorming AM spaces. We prove that any separable AM space X has an equivalent lattice norm for which no non trivial surjective lattice isometries exist. Moreover, if X has no more than one atom, then this new norm may be an AM norm. As our main tool, we introduce and investigate the class of so called Benyamini spaces, which approximate'' general AM spaces.


LMVE at SemEval 2020 Task 4 Commonsense Validation and Explanation using Pretraining Language Model. This paper describes our submission to subtask a and b of SemEval 2020 Task 4. For subtask a, we use a ALBERT based model with improved input form to pick out the common sense statement from two statement candidates. For subtask b, we use a multiple choice model enhanced by hint sentence mechanism to select the reason from given options about why a statement is against common sense. Besides, we propose a novel transfer learning strategy between subtasks which help improve the performance. The accuracy scores of our system are 95.6 94.9 on official test set and rank 7 th 2 nd on Post Evaluation leaderboard.


The African School of Fundamental Physics and Applications (ASP). The African School of Fundamental Physics and Applications is a biennial school in Africa. It is based on the observation that fundamental physics provides excellent motivation for students of science. The aim of the school is to build capacity to harvest, interpret, and exploit the results of current and future physics experiments and to increase proficiency in related applications. The participating students are selected from all over Africa. The school also offers a workshop to train high school teachers, an outreach to motivate high school pupils and a physics conference to support a broader participation of African research faculties. Support for the school comes from institutes in Africa, Europe, USA and Asia. In this paper, we will present the school and discuss strategies to make the school sustainable.


DeBERTa Decoding enhanced BERT with Disentangled Attention. Recent progress in pre trained neural language models has significantly improved the performance of many natural language processing (NLP) tasks. In this paper we propose a new model architecture DeBERTa (Decoding enhanced BERT with disentangled attention) that improves the BERT and RoBERTa models using two novel techniques. The first is the disentangled attention mechanism, where each word is represented using two vectors that encode its content and position, respectively, and the attention weights among words are computed using disentangled matrices on their contents and relative positions, respectively. Second, an enhanced mask decoder is used to incorporate absolute positions in the decoding layer to predict the masked tokens in model pre training. In addition, a new virtual adversarial training method is used for fine tuning to improve models' generalization. We show that these techniques significantly improve the efficiency of model pre training and the performance of both natural language understanding (NLU) and natural langauge generation (NLG) downstream tasks. Compared to RoBERTa Large, a DeBERTa model trained on half of the training data performs consistently better on a wide range of NLP tasks, achieving improvements on MNLI by 0.9 (90.2 vs. 91.1 ), on SQuAD v2.0 by 2.3 (88.4 vs. 90.7 ) and RACE by 3.6 (83.2 vs. 86.8 ). Notably, we scale up DeBERTa by training a larger version that consists of 48 Transform layers with 1.5 billion parameters. The significant performance boost makes the single DeBERTa model surpass the human performance on the SuperGLUE benchmark (Wang et al., 2019a) for the first time in terms of macro average score (89.9 versus 89.8), and the ensemble DeBERTa model sits atop the SuperGLUE leaderboard as of January 6, 2021, out performing the human baseline by a decent margin (90.3 versus 89.8).


Anticipated synchronization in human EEG data unidirectional causality with negative phase lag. Understanding the functional connectivity of the brain has become a major goal of neuroscience. In many situatons, the relative phase difference, together with coherence patterns, have been employed to infer the direction of the information flow. However, it has been recently shown in local field potential data from monkeys the existence of a synchronized regime in which unidirectionally coupled areas can present both positive and negative phase differences. During the counterintuitive regime, called anticipated synchronization (AS), the phase difference does not reflect the causality. Here we investigate coherence and causality at the alpha frequency band (10 Hz) between pairs of electroencephalogram (EEG) electrodes in humans during a GO NO GO task. We show that human EEG signals can exhibit anticipated synchronization, which is characterized by a unidirectional influence from an electrode A to an electrode B, but the electrode B leads the electrode A in time. To the best of our knowledge, this is the first verification of AS in EEG signals and in the human brain. The usual delayed synchronization (DS) regime is also present between many pairs. DS is characterized by a unidirectional influence from an electrode A to an electrode B and a positive phase difference between A and B which indicates that the electrode A leads the electrode B in time. Moreover, we show that EEG signals exhibit diversity in phase relations the pairs of electrodes can present in phase, anti phase, or out of phase synchronization with a similar distribution of positive and negative phase differences.


Galerkin collocation approximation in time for the wave equation and its post processing. We introduce and analyze a class of Galerkin collocation discretization schemes in time for the wave equation. Its conceptual basis is the establishment of a direct connection between the Galerkin method for the time discretization and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs provided by the latter in terms of less complex linear algebraic systems. Continuously differentiable in time discrete solutions are obtained by the application of a special quadrature rule involving derivatives. Optimal order error estimates are proved for fully discrete approximations based on the Galerkin collocation approach. Further, the concept of Galerkin collocation approximation is extended to twice continuously differentiable in time discrete solutions. A direct connection between the two families by a computationally cheap post processing is presented. The error estimates are illustrated by numerical experiments.


Reinforcement Learning based Transmission Range Control in Software Defined Wireless Sensor Networks with Moving Sensor. Routing in Software Defined Wireless sensor networks (SD WSNs) can be either single or multi hop, whereas the network is either static or dynamic. In static SD WSN, the selection of the optimum route from source to destination is accomplished by the SDN controller(s). On the other hand, if moving sensors are there, then SDN controllers of zones cannot handle route discovery sessions by themselves they can only store information about the most recent zone state. Moving sensors find lots of robotics applications where robots continue to move from one room to another to sensing the environment. A huge amount of energy can be saved in these networks if transmission range control is applied. Multiple power levels exist in each node, and each of these levels takes possible actions after a potential sender node decides to transmit forward a message. Based on each such activity, the next states of the concerned sender node and the communication session are re determined while the router receives a reward. The Epsilon greedy algorithm is applied in this study to decide the optimum power level in the next iteration. It is determined anew depending upon the present network scenario. Simulation results show that our proposed work leads the network to equilibrium by reducing energy consumption and maintaining network throughput.


Structural Scaffolds for Citation Intent Classification in Scientific Publications. Identifying the intent of a citation in scientific papers (e.g., background information, use of methods, comparing results) is critical for machine reading of individual publications and automated analysis of the scientific literature. We propose structural scaffolds, a multitask model to incorporate structural information of scientific papers into citations for effective classification of citation intents. Our model achieves a new state of the art on an existing ACL anthology dataset (ACL ARC) with a 13.3 absolute increase in F1 score, without relying on external linguistic resources or hand engineered features as done in existing methods. In addition, we introduce a new dataset of citation intents (SciCite) which is more than five times larger and covers multiple scientific domains compared with existing datasets. Our code and data are available at https github.com allenai scicite.


Cold atoms in micromachined waveguides a new platform for atom photon interaction. Hybrid quantum devices, incorporating both atoms and photons, can exploit the benefits of both to enable scalable architectures for quantum computing and quantum communication, as well as chip scale sensors and single photon sources. Production of such devices depends on the development of an interface between their atomic and photonic components. This should be compact, robust and compatible with existing technologies from both fields. Here we demonstrate such an interface. Cold cesium atoms are trapped inside a transverse, 30 mu m diameter through hole in an optical fiber, created via laser micromachining. When the guided light is on resonance with the cesium D 2 line, up to 87 of it is absorbed by the atoms. The corresponding optical depth per unit length is 700 cm 1 , higher than any reported for a comparable system. This is important for miniaturisation and scalability. The technique can be equally effective in optical waveguide chips and other existing photonic systems, providing a new platform for fundamental research.


Gelfand numbers of embeddings of Schatten classes. Let 0 p,q leq infty and denote by mathcal S p N and mathcal S q N the corresponding Schatten classes of real N times N matrices. We study the Gelfand numbers of natural identities mathcal S p N hookrightarrow mathcal S q N between Schatten classes and prove asymptotically sharp bounds up to constants only depending on p and q . This extends classical results for finite dimensional ell p sequence spaces by E. Gluskin to the non commutative setting and complements bounds previously obtained by B. Carl and A. Defant, A. Hinrichs and C. Michels, and J. Ch 'avez Dom 'inguez and D. Kutzarova.


One Exact Approximate Pareto Sets. Papadimitriou and Yannakakis show that the polynomial time solvability of a certain singleobjective problem determines the class of multiobjective optimization problems that admit a polynomial time computable (1 varepsilon, dots , 1 varepsilon) approximate Pareto set (also called an varepsilon Pareto set). Similarly, in this article, we characterize the class of problems having a polynomial time computable approximate varepsilon Pareto set that is exact in one objective by the efficient solvability of an appropriate singleobjective problem. This class includes important problems such as multiobjective shortest path and spanning tree, and the approximation guarantee we provide is, in general, best possible. Furthermore, for biobjective problems from this class, we provide an algorithm that computes a one exact varepsilon Pareto set of cardinality at most twice the cardinality of a smallest such set and show that this factor of 2 is best possible. For three or more objective functions, however, we prove that no constant factor approximation on the size of the set can be obtained efficiently.


Object Detection in Specific Traffic Scenes using YOLOv2. object detection framework plays crucial role in autonomous driving. In this paper, we introduce the real time object detection framework called You Only Look Once (YOLOv1) and the related improvements of YOLOv2. We further explore the capability of YOLOv2 by implementing its pre trained model to do the object detecting tasks in some specific traffic scenes. The four artificially designed traffic scenes include single car, single person, frontperson rearcar and frontcar rearperson.


physics.ins-det physics.atm-clus physics.atom-ph physics.chem-ph

Strong permanent magnet gradient deflector for Stern Gerlach type experiments on molecular beams. We describe the design, assembly, and testing of a magnet intended to deflect beams of paramagnetic nanoclusters, molecules, and atoms. It is energized by high grade permanent neodymium magnets. This offers a convenient option in terms of cost, portability, and scalability of the construction, while providing field and gradient values (1.1 T, 330 T m) which are fully comparable with commonly used electromagnet deflectors.


How to Find the Convex Hull of All Integer Points in a Polyhedron?. We propose a cut based algorithm for finding all vertices and all facets of the convex hull of all integer points of a polyhedron defined by a system of linear inequalities. Our algorithm DDM Cuts is based on the Gomory cuts and the dynamic version of the double description method. We describe the computer implementation of the algorithm and present the results of computational experiments comparing our algorithm with a naive one.


Parallel Blockwise Knowledge Distillation for Deep Neural Network Compression. Deep neural networks (DNNs) have been extremely successful in solving many challenging AI tasks in natural language processing, speech recognition, and computer vision nowadays. However, DNNs are typically computation intensive, memory demanding, and power hungry, which significantly limits their usage on platforms with constrained resources. Therefore, a variety of compression techniques (e.g. quantization, pruning, and knowledge distillation) have been proposed to reduce the size and power consumption of DNNs. Blockwise knowledge distillation is one of the compression techniques that can effectively reduce the size of a highly complex DNN. However, it is not widely adopted due to its long training time. In this paper, we propose a novel parallel blockwise distillation algorithm to accelerate the distillation process of sophisticated DNNs. Our algorithm leverages local information to conduct independent blockwise distillation, utilizes depthwise separable layers as the efficient replacement block architecture, and properly addresses limiting factors (e.g. dependency, synchronization, and load balancing) that affect parallelism. The experimental results running on an AMD server with four Geforce RTX 2080Ti GPUs show that our algorithm can achieve 3x speedup plus 19 energy savings on VGG distillation, and 3.5x speedup plus 29 energy savings on ResNet distillation, both with negligible accuracy loss. The speedup of ResNet distillation can be further improved to 3.87 when using four RTX6000 GPUs in a distributed cluster.


The first passage time on the (reflected) Brownian motion with broken drift hitting a random boundary. In this paper we consider a (reflected) Brownian motion with broken drift hitting a random boundary. Some dedicated calculations allow us to obtain the formula on the joint Laplace transform of the hitting time and hitting position. These develop the research on first rendezvous times of (reflected) Brownian motion and compound Poisson type processes by Perry et al. (2004).


Learning and Reasoning for Robot Dialog and Navigation Tasks. Reinforcement learning and probabilistic reasoning algorithms aim at learning from interaction experiences and reasoning with probabilistic contextual knowledge respectively. In this research, we develop algorithms for robot task completions, while looking into the complementary strengths of reinforcement learning and probabilistic reasoning techniques. The robots learn from trial and error experiences to augment their declarative knowledge base, and the augmented knowledge can be used for speeding up the learning process in potentially different tasks. We have implemented and evaluated the developed algorithms using mobile robots conducting dialog and navigation tasks. From the results, we see that our robot's performance can be improved by both reasoning with human knowledge and learning from task completion experience. More interestingly, the robot was able to learn from navigation tasks to improve its dialog strategies.


How to learn from inconsistencies Integrating molecular simulations with experimental data. Molecular simulations and biophysical experiments can be used to provide independent and complementary insights into the molecular origin of biological processes. A particularly useful strategy is to use molecular simulations as a modelling tool to interpret experimental measurements, and to use experimental data to refine our biophysical models. Thus, explicit integration and synergy between molecular simulations and experiments is fundamental for furthering our understanding of biological processes. This is especially true in the case where discrepancies between measured and simulated observables emerge. In this chapter, we provide an overview of some of the core ideas behind methods that were developed to improve the consistency between experimental information and numerical predictions. We distinguish between situations where experiments are used to refine our understanding and models of specific systems, and situations where experiments are used more generally to refine transferable models. We discuss different philosophies and attempt to unify them in a single framework. Until now, such integration between experiments and simulations have mostly been applied to equilibrium data, and we discuss more recent developments aimed to analyse time dependent or time resolved data.


Separated response surfaces for flows in parametrised domains comparison of a priori and a posteriori PGD algorithms. Reduced order models (ROM) are commonly employed to solve parametric problems and to devise inexpensive response surfaces to evaluate quantities of interest in real time. There are many families of ROMs in the literature and choosing among them is not always a trivial task. This work presents a comparison of the performance of a priori and a posteriori proper generalised decomposition (PGD) algorithms for an incompressible Stokes flow problem in a geometrically parametrised domain. This problem is particularly challenging as the geometric parameters affect both the solution manifold and the computational spatial domain. The difficulty is further increased because multiple geometric parameters are considered and extended ranges of values are analysed for the parameters and this leads to significant variations in the flow features. Using a set of numerical experiments involving geometrically parametrised microswimmers, the two PGD algorithms are extensively compared in terms of their accuracy and their computational cost, expressed as a function of the number of full order solves required.


Inexpensive and Portable System for Dexterous High Density Myoelectric Control of Multiarticulate Prostheses. Multiarticulate bionic arms are now capable of mimicking the endogenous movements of the human hand. 3D printing has reduced the cost of prosthetic hands themselves, but there is currently no low cost alternative to dexterous electromyographic (EMG) control systems. To address this need, we developed an inexpensive ( 675) and portable EMG control system by integrating low cost microcontrollers with an EMG acquisition device. We validated signal acquisition by comparing the signal to noise ratio (SNR) of our system with that of a high end research grade system. We also demonstrate the ability to use the low cost control system for proportional and independent control of various prosthetic hands in real time. We found that the SNR of the low cost control system was statistically no worse than 44 of the SNR of a research grade control system. The RMSEs of predicted hand movements (from a modified Kalman filter) were typically a few percent better than, and not more than 6 worse than, RMSEs of a research grade system for up to six degrees of freedom when only relatively few (six) EMG electrodes were used. However, RMSEs were generally higher than RMSEs of research grade systems that utilize considerably more (32) EMG electrodes, guiding future work towards increasing electrode count. Successful instantiation of this low cost control system constitutes an important step towards the commercialization and wide spread availability of dexterous bionic hands.


Optimal Controller and Actuator Design for Nonlinear Parabolic Systems. Many physical systems are modeled by nonlinear parabolic differential equations, such as the Kuramoto Sivashinsky (KS) equation. In this paper, the existence of a concurrent optimal controller and actuator design is established for semilinear parabolic systems. Optimality equations are provided. The results are shown to apply to optimal controller actuator design for the Kuramoto Sivashinsky equation and also nonlinear diffusion.


On the properties of quasi Banach function spaces. In this paper we explore some basic properties of quasi Banach function spaces which are important in applications. Namely, we show that they posses a generalised version of Riesz Fischer property, that embeddings between them are always continuous and that the dilation operator is bounded on them. We also provide a characterisation of separability for quasi Banach function spaces over the Euclidean space. Furthermore, we extend the classical Riesz Fischer theorem to the context of quasinormed spaces and, as a consequence, obtain an alternative proof of completeness of quasi Banach function spaces.


A Robust Aerial Gripper for Passive Grasping and Impulsive Release using Scotch Yoke Mechanism. Aerial transportation requires a simple yet reliable gripper for picking and placing objects of interest. In this work, we design an aerial gripper for passive grasping and impulsive release of ferrous coated objects. Permanent magnets are used for passive grasping and the Scotch Yoke mechanism is used for providing impulsive force to drop the object. The load carrying capacity of the gripper is calculated theoretically and experimentally. The parameters such as the radius of the rotating disk and length of the slider in the Scotch Yoke mechanism were optimized using weighted geometric programming. The dimensions of the gripper mount were derived considering the various components of the gripper. The gripper was mounted on an Unmanned Aerial Vehicle (UAV) and the tests were done by carrying ferrous coated cuboid shaped objects of different sizes and masses. These tests were done in manual and autonomous mode in the outdoor environment.


Three dimensional modelling of processes in Electron Cyclotron Resonance Ion Source. Three dimensional numerical model is developed and applied for studies of physical processes in Electron Cyclotron Resonance Ion Source. The model includes separate modules that simulate the electron and ion dynamics in the source plasma in an iterative way. The electron heating by microwaves is simulated by using results of modelling the microwave propagation in the plasma by the COMSOL Multiphysics software. Extracted ion currents and other parameters of the source are obtained for different gas flows into the source. It is observed that the currents are strongly influenced by ion transport in transversal direction induced by the plasma potential gradients. Impact of some special techniques on the source performance is investigated. Magnetic field scaling is shown to reduce the ion losses during their movement toward the extraction aperture, as well as use of the aluminum chamber walls and mixing of the working gas with helium.


Large deviations for backward stochastic differential equations driven by G Brownian motion. In this paper, we consider forward backward stochastic differential equation driven by G Brownian motion ( G FBSDEs in short) with small parameter varepsilon 0 . We study the asymptotic behavior of the solution of the backward equation and establish a large deviation principle for the corresponding process.


A BaTiO3 Based Electro Optic Pockels Modulator Monolithically Integrated on an Advanced Silicon Photonics Platform. To develop a new generation of high speed photonic modulators on silicon technology based photonics, new materials with large Pockels coefficients have been transferred to silicon substrates. Previous approaches focus on realizing stand alone devices on dedicated silicon substrates, incompatible with the fabrication process in silicon foundries. In this work, we demonstrate monolithic integration of electro optic modulators based on the Pockels effect in barium titanate (BTO) thin films into the back end of line of a photonic integrated circuit (PIC) platform. Molecular wafer bonding allows fully PIC compatible integration of BTO based devices and is, as shown, scalable to 200 mm wafers. The PIC integrated BTO Mach Zehnder modulators outperform conventional Si photonic modulators in modulation efficiency, losses, and static tuning power. The devices show excellent V pi L (0.2 Vcm) and V pi L alpha (1.3 VdB), work at high speed (25 Gbps), and can be tuned at low static power consumption (100 nW). Our concept demonstrates the possibility of monolithic integration of Pockels based electro optic modulators in advanced silicon photonic platforms. c 2019 Optical Society of America. Users may use, reuse, and build upon the article, or use the article for text or data mining, so long as such uses are for non commercial purposes and appropriate attribution is maintained. All other rights are reserved. https www.osapublishing.org jlt abstract.cfm?URI jlt 37 5 1456 Publication date March 1, 2019 This work was supported in part by the European Union (EU) under Horizon 2020 grant agreements no. H2020 ICT 2015 25 688579 (PHRESCO) and H2020 ICT 2017 1 780997 (plaCMOS).