The Short Side Advantage in Random Matching Markets. A breakthrough of Ashlagi, Kanoria, and Leshno AKL17 found that imbalance in the number of agents on either side of a random matching market has a profound effect on the market's expected characteristics. Specifically, across all stable matchings, the "long side" (i.e. the side with a greater number of agents) receives significantly worse matches in expectation than the short side. Intuitively, this occurs because an agent on the long side is essentially unneeded to create a stable matching a matching could form almost as easily without them. Thus, an agent on the long side has very little market power, and must settle for a match which is not much better than a random assignment. We provide a new and simpler proof for a result of AKL17 which formalizes this intuition.


Macroscopic band width inequalities. Inspired by Gromov's work on 'Metric inequalities with scalar curvature' we establish band width inequalities for Riemannian bands of the form (V M times 0,1 ,g) , where M n 1 is a closed manifold. We introduce a new class of orientable manifolds we call filling enlargeable and prove If M is filling enlargeable and all unit balls in the universal cover of (V,g) have volume less than a constant frac 1 2 varepsilon n , then width(V,g) leq1 . We show that if a closed orientable manifold is enlargeable or aspherical, then it is filling enlargeable. Furthermore we establish that whether a closed orientable manifold is filling enlargeable or not only depends on the image of the fundamental class under the classifying map of the universal cover.


Models Currently Implemented in MIIND. This is a living document that will be updated when appropriate. MIIND 1, 2 is a population level neural simulator. It is based on population density techniques, just like DIPDE 3 . Contrary to DIPDE, MIIND is agnostic to the underlying neuron model used in its populations so any 1, 2 or 3 dimensional model can be set up with minimal effort. The resulting populations can then be grouped into large networks, e.g. the Potjans Diesmann model 4 . The MIIND website http miind.sf.net contains training materials, and helps to set up MIIND, either by using virtual machines, a DOCKER image, or directly from source code.


Permutations of N generated by left right filling algorithms. We give an in depth analysis of an algorithm that generates permutations of the natural numbers introduced by Clark Kimberling in the On Line Encyclopedia of Integer Sequences. It turns out that the examples of such permutations in OEIS are completely determined by 3 automatic sequences.


Dialect Diversity in Text Summarization on Twitter. Discussions on Twitter involve participation from different communities with different dialects and it is often necessary to summarize a large number of posts into a representative sample to provide a synopsis. Yet, any such representative sample should sufficiently portray the underlying dialect diversity to present the voices of different participating communities representing the dialects. Extractive summarization algorithms perform the task of constructing subsets that succinctly capture the topic of any given set of posts. However, we observe that there is dialect bias in the summaries generated by common summarization approaches, i.e., they often return summaries that under represent certain dialects. The vast majority of existing "fair" summarization approaches require socially salient attribute labels (in this case, dialect) to ensure that the generated summary is fair with respect to the socially salient attribute. Nevertheless, in many applications, these labels do not exist. Furthermore, due to the ever evolving nature of dialects in social media, it is unreasonable to label or accurately infer the dialect of every social media post. To correct for the dialect bias, we employ a framework that takes an existing text summarization algorithm as a blackbox and, using a small set of dialect diverse sentences, returns a summary that is relatively more dialect diverse. Crucially, this approach does not need the posts being summarized to have dialect labels, ensuring that the diversification process is independent of dialect classification identification models. We show the efficacy of our approach on Twitter datasets containing posts written in dialects used by different social groups defined by race or gender in all cases, our approach leads to improved dialect diversity compared to standard text summarization approaches.


From Ancient Contemplative Practice to the App Store Designing a Digital Container for Mindfulness. Hundreds of popular mobile apps today market their ties to mindfulness. What activities do these apps support and what benefits do they claim? How do mindfulness teachers, as domain experts, view these apps? We first conduct an exploratory review of 370 mindfulness related apps on Google Play, finding that mindfulness is presented primarily as a tool for relaxation and stress reduction. We then interviewed 15 U.S. mindfulness teachers from the therapeutic, Buddhist, and Yogic traditions about their perspectives on these apps. Teachers expressed concern that apps that introduce mindfulness only as a tool for relaxation neglect its full potential. We draw upon the experiences of these teachers to suggest design implications for linking mindfulness with further contemplative practices like the cultivation of compassion. Our findings speak to the importance of coherence in design that the metaphors and mechanisms of a technology align with the underlying principles it follows.


Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps. What makes a computational problem easy (e.g., in P, that is, solvable in polynomial time) or hard (e.g., NP hard)? This fundamental question now has a satisfactory answer for a quite broad class of computational problems, so called fixed template constraint satisfaction problems (CSPs) it has turned out that their complexity is captured by a certain specific form of symmetry. This paper explains an extension of this theory to a much broader class of computational problems, the promise CSPs, which includes relaxed versions of CSPs such as the problem of finding a 137 coloring of a 3 colorable graph.


Configured Grant for Semi Deterministic Traffic for Ultra Reliable and Low Latency Communications. Configured Grant based allocation has been adopted in New Radio 3rd Generation Partnership Project Release 16. This scheme is beneficial in supporting Ultra Reliable and Low Latency Communication for industrial communication, a key Fifth Generation mobile communication usage scenario. This scheduling mechanism enables a user with a periodic traffic to transmit its data readily and bypasses the signaling entailed to scheduling requests and scheduling grants and provides low latency access. To facilitate ultra reliable communication, the scheduling mechanism can allow the user to transmit redundant transmissions at consecutive repetition occasions in a pre defined period. However, for the user with semi deterministic traffic, the reliability and latency performance with Configured Grant based allocation deteriorates. This can be due to, e.g., late data arrival in the buffer, and the user unable to transmit its repetitions, which leads to reliability degradation. To improve the Configured Grant reliability performance with semi deterministic traffic, we consider various allocation designs utilizing, e.g., additional unlicensed spectrum, or flexible transmission in a Configured Grant period, or allowing time gaps between the repetitions, etc. These enhancements could be a stepping stone for Sixth Generation Configured Grant models.


Connected Components of Affine Primitive Permutation Groups. For a finite group G , the Hurwitz space mathcal H in r,g (G) is the space of genus g covers of the Riemann sphere with r branch points and the monodromy group G . In this paper, we give a complete list of primitive genus one systems of affine type. That is, we assume that G is a primitive group of affine type. Under this assumption we determine the braid orbits on the suitable Nielsen classes, which is equivalent to finding connected components in mathcal H in r,1 (G) . Furthermore, we give a new algorithm for computing large braid orbits on Nielsen classes. This algorithm utilizes a correspondence between the components of mathcal H in r,1 (G) and mathcal H in r,1 (M) , where M is the point stabilizer in G .


Hermitian Sums of Squares Modulo Hermitian Ideals. In this work we study the problem of writing a Hermitian polynomial as a Hermitian sum of squares modulo a Hermitian ideal. We investigate a novel idea of Putinar Scheiderer to obtain necessary matrix positivity conditions for Hermitian polynomials to be Hermitian sums of squares modulo Hermitian ideals. We show that the conditions are sufficient for a class of examples making a connection to the operator valued Riesz Fejer theorem and block Toeplitz forms. The work fits into the larger themes of Hermitian versions of Hilbert's 17 th problem and characterizations of positivity.


Topologically Enabled Ultralarge Purcell Enhancement Robust to Photon Scattering. Micro nanoscale single photon source is a building block of on chip quantum information devices. Owing to possessing ultrasmall optical mode volume, plasmon structures can provide large Purcell enhancement, however scattering and absorption are two barriers to prevent them from being used in practice. To overcome these barriers, we propose the topological photonic structure containing resonant plasmon nanoantenna, where nanoantenna provides large Purcell enhancement while topological photonic crystal guides all scattering light into its edge state. Through the optical mode design, the rate of single photons emitted into the edge state reaches more than 104 gamma 0 simultaneously accompanied with an obvious reduction of absorption. This kind of nonscattering large Purcell enhancement will provide new sight for on chip quantum light sources such as a single photon source and nanolaser.


Calibrating Structured Output Predictors for Natural Language Processing. We address the problem of calibrating prediction confidence for output entities of interest in natural language processing (NLP) applications. It is important that NLP applications such as named entity recognition and question answering produce calibrated confidence scores for their predictions, especially if the system is to be deployed in a safety critical domain such as healthcare. However, the output space of such structured prediction models is often too large to adapt binary or multi class calibration methods directly. In this study, we propose a general calibration scheme for output entities of interest in neural network based structured prediction models. Our proposed method can be used with any binary class calibration scheme and a neural network model. Additionally, we show that our calibration method can also be used as an uncertainty aware, entity specific decoding step to improve the performance of the underlying model at no additional training cost or data requirements. We show that our method outperforms current calibration techniques for named entity recognition, part of speech and question answering. We also improve our model's performance from our decoding step across several tasks and benchmark datasets. Our method improves the calibration and model performance on out of domain test scenarios as well.


Reflectivity of Finite 3D GaAs Photonic Band Gap Crystals. We study the optical reflectivity of three dimensional (3D) photonic band gap crystals with increasing thickness. The crystals consist of GaAs plates with nanorod arrays that are assembled by an advanced stacking method into high quality 3D woodpile structures. We observe intense and broad reflectivity peak with stop bands that correspond to a broad gap in the photonic band structures. The maximum reflectivity quickly reaches high values even for a few crystal layers. Remarkably, the bandwidth of the stop bands hardly decreases with increasing crystal thickness, in good agreement with FDTD simulations. This behavior differs remarkably from the large changes observed earlier in weakly interacting 3D photonic crystals. The nearly constant bandwidth and high reflectivity are rationalized by multiple Bragg interference that occurs in strongly interacting photonic band gap crystals, whereby the incident light scatters from multiple reciprocal lattice vectors simultaneously, in particular from oblique ones that are parallel to a longer crystal dimension and thus experience hardly any finite size effects. Our new insights have favorable consequences for the application of 3D photonic band gap crystals, notably since even thin structures reveal the full band gap functionality, including devices that shield quantum bits from vacuum fluctuations.


Training Image Estimators without Image Ground Truth. Deep neural networks have been very successful in image estimation applications such as compressive sensing and image restoration, as a means to estimate images from partial, blurry, or otherwise degraded measurements. These networks are trained on a large number of corresponding pairs of measurements and ground truth images, and thus implicitly learn to exploit domain specific image statistics. But unlike measurement data, it is often expensive or impractical to collect a large training set of ground truth images in many application settings. In this paper, we introduce an unsupervised framework for training image estimation networks, from a training set that contains only measurements with two varied measurements per image but no ground truth for the full images desired as output. We demonstrate that our framework can be applied for both regular and blind image estimation tasks, where in the latter case parameters of the measurement model (e.g., the blur kernel) are unknown during inference, and potentially, also during training. We evaluate our method for training networks for compressive sensing and blind deconvolution, considering both non blind and blind training for the latter. Our unsupervised framework yields models that are nearly as accurate as those from fully supervised training, despite not having access to any ground truth images.


Envisioning Tool Support for Designing Privacy Aware Internet of Thing Applications. The design and development process for Internet of Things (IoT) applications is more complicated than for desktop, mobile, or web applications. IoT applications require both software and hardware to work together across multiple different types of nodes (e.g., microcontrollers, system on chips, mobile phones, miniaturised single board computers, and cloud platforms) with different capabilities under different conditions. IoT applications typically collect and analyse personal data that can be used to derive sensitive information about individuals. Without proper privacy protections in place, IoT applications could lead to serious privacy violations. Thus far, privacy concerns have not been explicitly considered in software engineering processes when designing and developing IoT applications, partly due to a lack of tools, technologies, and guidance. This paper presents a research vision that argues the importance of developing a privacy aware IoT application design tool to address the challenges mentioned above. This tool should not only transform IoT application designs into privacy aware application designs but also validate and verify them. First, we outline how this proposed tool should work in practice and its core functionalities. Then, we identify research challenges and potential directions towards developing the proposed tool. We anticipate that this proposed tool will save many engineering hours which engineers would otherwise need to spend on developing privacy expertise and applying it. We also highlight the usefulness of this tool towards privacy education and privacy compliance.


Creating a Multimodal Dataset of Images and Text to Study Abusive Language. In order to study online hate speech, the availability of datasets containing the linguistic phenomena of interest are of crucial importance. However, when it comes to specific target groups, for example teenagers, collecting such data may be problematic due to issues with consent and privacy restrictions. Furthermore, while text only datasets of this kind have been widely used, limitations set by image based social media platforms like Instagram make it difficult for researchers to experiment with multimodal hate speech data. We therefore developed CREENDER, an annotation tool that has been used in school classes to create a multimodal dataset of images and abusive comments, which we make freely available under Apache 2.0 license. The corpus, with Italian comments, has been analysed from different perspectives, to investigate whether the subject of the images plays a role in triggering a comment. We find that users judge the same images in different ways, although the presence of a person in the picture increases the probability to get an offensive comment.


Two dimensional thermal finite element model of directed energy deposition matching melt pool temperature profile with pyrometer measurement. An open source two dimensional (2D) thermal finite element (FE) model of the Directed Energy Deposition (DED) process is developed using the Python based FEniCS framework. The model incrementally deposits material ahead of the laser focus point according to the geometry of the part. The laser heat energy is supplied by a Gaussian distributed heat source while the phase change is represented by increased heat capacity around the solidus liquidus temperature range. Experimental validation of the numerical model is performed by matching with the melt pool temperature measurements taken by a dual wavelength pyrometer during the build process of a box shaped Ti 6Al 4V part with large geometrical voids. Effects of large geometrical voids on the melt pool shape and maximum melt pool temperature are examined. Both the numerical and experimental data show an increase in the melt pool size and temperature during deposition above large voids. The trailing edge of the melt pool's temperature profile obtained using the developed numerical model closely matches pyrometer measurements.


Quantifying and Leveraging Classification Uncertainty for Chest Radiograph Assessment. The interpretation of chest radiographs is an essential task for the detection of thoracic diseases and abnormalities. However, it is a challenging problem with high inter rater variability and inherent ambiguity due to inconclusive evidence in the data, limited data quality or subjective definitions of disease appearance. Current deep learning solutions for chest radiograph abnormality classification are typically limited to providing probabilistic predictions, relying on the capacity of learning models to adapt to the high degree of label noise and become robust to the enumerated causal factors. In practice, however, this leads to overconfident systems with poor generalization on unseen data. To account for this, we propose an automatic system that learns not only the probabilistic estimate on the presence of an abnormality, but also an explicit uncertainty measure which captures the confidence of the system in the predicted output. We argue that explicitly learning the classification uncertainty as an orthogonal measure to the predicted output, is essential to account for the inherent variability characteristic of this data. Experiments were conducted on two datasets of chest radiographs of over 85,000 patients. Sample rejection based on the predicted uncertainty can significantly improve the ROC AUC, e.g., by 8 to 0.91 with an expected rejection rate of under 25 . Eliminating training samples using uncertainty driven bootstrapping, enables a significant increase in robustness and accuracy. In addition, we present a multi reader study showing that the predictive uncertainty is indicative of reader errors.


Orbifold bordism and duality for finite orbispectra. We construct the stable (representable) homotopy category of finite orbispectra, whose objects are formal desuspensions of finite orbi CW pairs by vector bundles and whose morphisms are stable homotopy classes of (representable) relative maps. The stable representable homotopy category of finite orbispectra admits a contravariant involution extending Spanier Whitehead duality. This duality relates homotopical cobordism theories (cohomology theories on finite orbispectra) represented by global Thom spectra to geometric (derived) orbifold bordism groups (homology theories on finite orbispectra). This isomorphism extends the classical Pontryagin Thom isomorphism and its known equivariant generalizations.


A Proposal for a Revision of ISO Modula 2. The Modula 2 language was first specified in Wir78 by N. Wirth at ETH Zurich in 1978 and then revised several times. The last revision Wir88 was published in 1988. The resulting language reports included ambiguities and lacked a comprehensive standard library. To resolve the ambiguities and specify a comprehensive standard library an ISO IEC working group was formed and commenced work in 1987. A base standard was then ratified and published as IS 10514 1 in 1996 JTC96 . Several conforming compilers have since been developed. At least five remain available of which at least three are actively maintained and one has been open sourced. Meanwhile, various deficiencies of the standard have become apparent but since its publication, no revision and no maintenance has been carried out. This paper discusses some of the deficiencies of IS 10514 1 and proposes a limited revision that could be carried out with moderate effort. The scope of the paper has been deliberately limited to the core language of the base standard and therefore excludes the standard library.


The Differences Between Consecutive Primes. V. We show that sum substack p n le x p n 1 p n ge sqrt p n (p n 1 p n) ll varepsilon x 3 5 varepsilon for any fixed varepsilon 0 . This improves a result of Matom " a ki, in which the exponent was 2 3 .


A sufficient condition for a toric weak Fano 4 fold to be deformed to a Fano manifold. In this paper, we introduce the notion of toric special weak Fano manifolds, which have only special primitive crepant contractions. We study the structure of them, and in particular completely classify smooth toric special weak Fano 4 folds. As a result, we can confirm that almost every smooth toric special weak Fano 4 fold is a weakened Fano manifold, that is, a weak Fano manifold which can be deformed to a Fano manifold.


Hydrodynamic limits of interacting particle systems on crystal lattices in periodic realizations. We study the hydrodynamic limits of the simple exclusion processes and the zero range processes on crystal lattices. For a periodic realization of crystal lattice, we derive the hydrodynamic limit for the exclusion processes and the zero range processes, which depends on both the structure of crystal lattice and the periodic realization. Even through the crystal lattices have inhomogeneous local structure, for all periodic realizations, we apply the entropy method to derive the hydrodynamic limits. Also, we discuss how the limit equation depends on the choices of the realizations.


Satellite Pose Estimation Challenge Dataset, Competition Design and Results. Reliable pose estimation of uncooperative satellites is a key technology for enabling future on orbit servicing and debris removal missions. The Kelvins Satellite Pose Estimation Challenge aims at evaluating and comparing monocular vision based approaches and pushing the state of the art on this problem. This work is based on the Satellite Pose Estimation Dataset, the first publicly available machine learning set of synthetic and real spacecraft imageries. The choice of dataset reflects one of the unique challenges associated with spaceborne computer vision tasks, namely the lack of spaceborne images to train and validate the developed algorithms. This work briefly reviews the basic properties and the collection process of the dataset which was made publicly available. The competition design, including the definition of performance metrics and the adopted testbed, is also discussed. The main contribution of this paper is the analysis of the submissions of the 48 competitors, which compares the performance of different approaches and uncovers what factors make the satellite pose estimation problem especially challenging.


Model theory and the DME a survey. Recent work using the model theory of differentially closed fields to answer questions having to do with the Dixmier Moeglin equivalence for (noncommutatve) finitely generated noetherian algebras, and for (commutative) finitely generated Poisson algebras, is here surveyed, with an emphasis on the model theoretic and differential algebraic geometric antecedents.


"I'd rather just go to bed" Understanding Indirect Answers. We revisit a pragmatic inference problem in dialog understanding indirect responses to questions. Humans can interpret 'I'm starving.' in response to 'Hungry?', even without direct cue words such as 'yes' and 'no'. In dialog systems, allowing natural responses rather than closed vocabularies would be similarly beneficial. However, today's systems are only as sensitive to these pragmatic moves as their language model allows. We create and release the first large scale English language corpus 'Circa' with 34,268 (polar question, indirect answer) pairs to enable progress on this task. The data was collected via elaborate crowdsourcing, and contains utterances with yes no meaning, as well as uncertain, middle ground, and conditional responses. We also present BERT based neural models to predict such categories for a question answer pair. We find that while transfer learning from entailment works reasonably, performance is not yet sufficient for robust dialog. Our models reach 82 88 accuracy for a 4 class distinction, and 74 85 for 6 classes.


A note on global smoothability of small L p connection with prescribed curvature. We show that if Omega is a connection 1 form on a vector bundle eta over a closed n dimensional Riemannian manifold mathcal M with L p regularity ( p n ) and smooth curvature 2 form mathscr F , then it can be approximated in the L p norm by smooth connections of the same curvature, provided that Omega L p( mathcal M ) is smaller than a uniform constant depending only on p and mathcal M .


Positional Artefacts Propagate Through Masked Language Model Embeddings. In this work, we demonstrate that the contextualized word vectors derived from pretrained masked language model based encoders share a common, perhaps undesirable pattern across layers. Namely, we find cases of persistent outlier neurons within BERT and RoBERTa's hidden state vectors that consistently bear the smallest or largest values in said vectors. In an attempt to investigate the source of this information, we introduce a neuron level analysis method, which reveals that the outliers are closely related to information captured by positional embeddings. We also pre train the RoBERTa base models from scratch and find that the outliers disappear without using positional embeddings. These outliers, we find, are the major cause of anisotropy of encoders' raw vector spaces, and clipping them leads to increased similarity across vectors. We demonstrate this in practice by showing that clipped vectors can more accurately distinguish word senses, as well as lead to better sentence embeddings when mean pooling. In three supervised tasks, we find that clipping does not affect the performance.


A Code for Unscented Kalman Filtering on Manifolds (UKF M). The present paper introduces a novel methodology for Unscented Kalman Filtering (UKF) on manifolds that extends previous work by the authors on UKF on Lie groups. Beyond filtering performance, the main interests of the approach are its versatility, as the method applies to numerous state estimation problems, and its simplicity of implementation for practitioners not being necessarily familiar with manifolds and Lie groups. We have developed the method on two independent open source Python and Matlab frameworks we call UKF M, for quickly implementing and testing the approach. The online repositories contain tutorials, documentation, and various relevant robotics examples that the user can readily reproduce and then adapt, for fast prototyping and benchmarking. The code is available at https github.com CAOR MINES ParisTech ukfm.


Dynamical zeta functions of Reidemeister type and representations spaces. In this paper we continue to study the Reidemeister zeta function. We prove P 'olya Carlson dichotomy between rationality and a natural boundary for analytic behavior of the Reidemeister zeta function for a large class of automorphisms of Abelian groups. We also study dynamical representation theory zeta functions counting numbers of fixed irreducible representations for iterations of an endomorphism. The rationality and functional equation for these zeta functions are proven for several classes of groups. We find a connection between these zeta functions and the Reidemeister torsions of the corresponding mapping tori. We also establish the connection between the Reidemeister zeta function and dynamical representation theory zeta functions under restriction of endomorphism to a subgroup and to a quotient group.


On a rationality problem for fields of cross ratios II. Let k be a field, x 1, dots, x n be independent variables and L n k(x 1, dots, x n) . The symmetric group Sigma n acts on L n by permuting the variables, and the projective linear group text PGL 2 acts by begin pmatrix a b c d end pmatrix colon x i mapsto frac a x i b c x i d for each i 1, ldots, n . The fixed field L n text PGL 2 is called "the field of cross ratios". Given a subgroup S subset Sigma n , H. Tsunogai asked whether L n S rational over K n S . When n geqslant 5 the second author has shown that L n S is rational over K n S if and only if S has an orbit of odd order in 1, dots, n . In this paper we answer Tsunogai's question for n leqslant 4 .


Internality, transfer, and infinitesimal modeling of infinite processes. A probability model is underdetermined when there is no rational reason to assign a particular infinitesimal value as the probability of single events. Pruss claims that hyperreal probabilities are underdetermined. The claim is based upon external hyperreal valued measures. We show that internal hyperfinite measures are not underdetermined. The importance of internality stems from the fact that Robinson's transfer principle only applies to internal entities. We also evaluate the claim that transferless ordered fields (surreals, Levi Civita field, Laurent series) may have advantages over hyperreals in probabilistic modeling. We show that probabilities developed over such fields are less expressive than hyperreal probabilities.


On the Evolution of Subjective Experience. Subjective Experience (SE) is part of the ancient mind body problem, which continues to be one of deepest mysteries of science. Despite major advances in many fields, there is still no plausible causal link between SE and its realization in the body. The core issue is the incompatibility of objective (3rd person) public science with subjective (1st person) private experience. Any scientific approach to SE assumes that it arose from extended evolutionary processes and that examining evolutionary history should help us understand it. While the core mystery remains, converging evidence from theoretical, experimental, and computational studies yields strong constraints on SE and some suggestions for further research. All animals confront many of the same fitness challenges. They all need some kind of internal model to relate their life goals and actionable sensed information to action. We understand the evolution of the bodily aspects of human perception and emotion, but not the SE. The first evolutionary evidence for SE appears in vertebrates and much of its neural substrate and simulation mechanism is preserved in mammals and humans. People exhibit the same phenomena, but there are remaining mysteries of everyday experience that are demonstrably incompatible with current neuroscience. In spite of this limitation, there is considerable progress on understanding the role of SE in the success of prostheses.


Stepping OCaml. Steppers, which display all the reduction steps of a given program, are a novice friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be indeed, the tool is only available in the pedagogical languages of the DrRacket programming environment. We present a stepper for a practical fragment of OCaml. Similarly to the DrRacket stepper, we keep track of evaluation contexts in order to reconstruct the whole program at each reduction step. The difference is that we support effectful constructs, such as exception handling and printing primitives, allowing the stepper to assist a wider range of users. In this paper, we describe the implementation of the stepper, share the feedback from our students, and show an attempt at assessing the educational impact of our stepper.


CORSICA Cross Origin Web Service Identification. Vulnerabilities in private networks are difficult to detect for attackers outside of the network. While there are known methods for port scanning internal hosts that work by luring unwitting internal users to an external web page that hosts malicious JavaScript code, no such method for detailed and precise service identification is known. The reason is that the Same Origin Policy (SOP) prevents access to HTTP responses of other origins by default. We perform a structured analysis of loopholes in the SOP that can be used to identify web applications across network boundaries. For this, we analyze HTML5, CSS, and JavaScript features of standard compliant web browsers that may leak sensitive information about cross origin content. The results reveal several novel techniques, including leaking JavaScript function names or styles of cross origin requests that are available in all common browsers. We implement and test these techniques in a tool called CORSICA. It can successfully identify 31 of 42 (74 ) of web services running on different IoT devices as well as the version numbers of the four most widely used content management systems WordPress, Drupal, Joomla, and TYPO3. CORSICA can also determine the patch level on average down to three versions (WordPress), six versions (Drupal), two versions (Joomla), and four versions (TYPO3) with only ten requests on average. Furthermore, CORSICA is able to identify 48 WordPress plugins containing 65 vulnerabilities. Finally, we analyze mitigation strategies and show that the proposed but not yet implemented strategies Cross Origin Resource Policy (CORP) and Sec Metadata would prevent our identification techniques.


Terrain Inclination Aided Three Dimensional Localization and Mapping for an Outdoor Mobile Robot. A new 3D localization and mapping techinque with terrain inclination assistance is proposed in this paper to allow a robot to identify its location and build a global map in an outdoor environment. The Iterative Closest Points (ICP) algorithm and terrain inclination based localization are combined together to achieve accurate and fast localization and mapping. Inclinations of the terrains the robot navigates are used to achieve local localization during the interval between two laser scans. Using the results of the above localization as the initial condition, the ICP algorithm is then applied to align the overlapped laser scan maps to update the overhanging obstacles for building a global map of the surrounding area. Comprehensive experiments were carried out for the validation of the proposed 3D localization and mapping technique. The experimental results show that the proposed technique could reduce time consumption and improve the accuracy of the performance.


Variational Regularization Theory Based on Image Space Approximation Rates. We present a new approach to convergence rate results for variational regularization. Avoiding Bregman distances and using image space approximation rates as source conditions we prove a nearly minimax theorem showing that the modulus of continuity is an upper bound on the reconstruction error up to a constant. Applied to Besov space regularization we obtain convergence rate results for 0,2,q and 0,p,p penalties without restrictions on p,q in (1, infty). Finally we prove equivalence of H "older type variational source conditions, bounds on the defect of the Tikhonov functional, and image space approximation rates.


Representations of braid groups and construction of projective surfaces. Braid groups are an important and flexible tool used in several areas of science, such as Knot Theory (Alexander's theorem), Mathematical Physics (Yang Baxter's equation) and Algebraic Geometry (monodromy invariants). In this note we will focus on their algebraic geometric aspects, explaining how the representation theory of higher genus braid groups can be used to produce interesting examples of projective surfaces defined over the field of complex numbers.


Backdoor Attacks Against Deep Learning Systems in the Physical World. Backdoor attacks embed hidden malicious behaviors into deep learning models, which only activate and cause misclassifications on model inputs containing a specific trigger. Existing works on backdoor attacks and defenses, however, mostly focus on digital attacks that use digitally generated patterns as triggers. A critical question remains unanswered can backdoor attacks succeed using physical objects as triggers, thus making them a credible threat against deep learning systems in the real world? We conduct a detailed empirical study to explore this question for facial recognition, a critical deep learning task. Using seven physical objects as triggers, we collect a custom dataset of 3205 images of ten volunteers and use it to study the feasibility of physical backdoor attacks under a variety of real world conditions. Our study reveals two key findings. First, physical backdoor attacks can be highly successful if they are carefully configured to overcome the constraints imposed by physical objects. In particular, the placement of successful triggers is largely constrained by the target model's dependence on key facial features. Second, four of today's state of the art defenses against (digital) backdoors are ineffective against physical backdoors, because the use of physical objects breaks core assumptions used to construct these defenses. Our study confirms that (physical) backdoor attacks are not a hypothetical phenomenon but rather pose a serious real world threat to critical classification tasks. We need new and more robust defenses against backdoors in the physical world.


Symplectic triangle inequality. We prove a non squeezing result for Lagrangian embeddings of the real projective plane into blow ups of the symplectic ball.


Conjectures on L functions for flag bundles on Dedekind domains. Let mathcal O K be the ring of integers in an algebraic number field K and let S operatorname Spec ( mathcal O K) . Let T 0, ldots,T n be regular schemes of finite type over S and let X be a scheme of finite type over T n with a stratification of closed subschemes (a generalized cellular decomposition) emptyset X 1 subseteq X 0 subseteq cdots subseteq X n 1 subseteq X n X with X i X i 1 E i where E i is a vector bundle of rank d i on T i . We prove that if the Beilinson Soule vanishing conjecture and Soule conjecture holds for T i it follows the same conjectures hold for X . We develop a criteria for the conjectures to hold in terms of an open cover and use this criteria to prove the Beilinson Soule vanishing conjecture and Soule conjecture for the partial flag bundle mathbb F (d,E) of any coherent mathcal O S module E on S . Hence we get non trivial examples where the conjectures hold in arbitrary dimension. As a special case we prove the conjectures for any affine or projective fibration of finite type over S . We moreover reduce the study of the Beilinson Soule vanishing conjecture and the Soule conjecture on L functions to the study of affine regular schemes of finite type over mathbb Z . We also discuss the Beilinson conjecture on special values for partial flag bundles. We reduce the study of the Bloch Kato conjecture on special values for flag bundles to the case of Dedekind domains.


Infinite products related to generalized Thue Morse sequences. Given an integer q ge2 and theta 1, cdots, theta q 1 in 0,1 , let ( theta n) n ge0 be the generalized Thue Morse sequence, defined to be the unique fixed point of the morphism 0 mapsto0 theta 1 cdots theta q 1 1 mapsto1 overline theta 1 cdots overline theta q 1 beginning with theta 0 0 , where overline 0 1 and overline 1 0 . For rational functions R , we study infinite products of the forms prod n 1 infty Big(R(n) Big) ( 1) theta n quad text and quad prod n 1 infty Big(R(n) Big) theta n . This generalizes relevant results given by Allouche, Riasat and Shallit in 2019 on infinite products related to the famous Thue Morse sequence (t n) n ge0 of the forms prod n 1 infty Big(R(n) Big) ( 1) t n quad text and quad prod n 1 infty Big(R(n) Big) t n .


A Sufficient Condition For An Operator To Map uL infty to rm BMO u . Let T be an operator and suppose that there exists a positive constant C such that left( int I Tf(x) q , dx right) 1 q leq C left( int I f(x) q , dx right) 1 q for every q which is near enough to 1 and for every interval I in mathbb R and f in L infty ( mathbb R ) . Then we show that T maps uL infty to rm BMO u .


Information Credibility in the Social Web Contexts, Approaches, and Open Issues. In the Social Web scenario, large amounts of User Generated Content (UGC) are diffused through social media often without almost any form of traditional trusted intermediaries. Therefore, the risk of running into misinformation is not negligible. For this reason, assessing and mining the credibility of online information constitutes nowadays a fundamental research issue. Credibility, also referred as believability, is a quality perceived by individuals, who are not always able to discern, with their own cognitive capacities, genuine information from fake one. Hence, in the last years, several approaches have been proposed to automatically assess credibility in social media. Many of them are based on data driven models, i.e., they employ machine learning techniques to identify misinformation, but recently also model driven approaches are emerging, as well as graph based approaches focusing on credibility propagation, and knowledge based ones exploiting Semantic Web technologies. Three of the main contexts in which the assessment of information credibility has been investigated concern (i) the detection of opinion spam in review sites, (ii) the detection of fake news in microblogging, and (iii) the credibility assessment of online health related information. In this article, the main issues connected to the evaluation of information credibility in the Social Web, which are shared by the above mentioned contexts, are discussed. A concise survey of the approaches and methodologies that have been proposed in recent years to address these issues is also presented.


Race, Gender and Beauty The Effect of Information Provision on Online Hiring Biases. We conduct a study of hiring bias on a simulation platform where we ask Amazon MTurk participants to make hiring decisions for a mathematically intensive task. Our findings suggest hiring biases against Black workers and less attractive workers and preferences towards Asian workers female workers and more attractive workers. We also show that certain UI designs including provision of candidates information at the individual level and reducing the number of choices can significantly reduce discrimination. However provision of candidates information at the subgroup level can increase discrimination. The results have practical implications for designing better online freelance marketplaces.


Lucas Interpretation on Isabelle's Functions. Software tools of Automated Reasoning are too sophisticated for general use in mathematics education and respective reasoning, while Lucas Interpretation provides a general concept for integrating such tools into educational software with the purpose to reliably and flexibly check formal input of students. This paper gives the first technically concise description of Lucas Interpretation at the occasion of migrating a prototype implementation to the function package of the proof assistant Isabelle. The description shows straightforward adaptations of Isabelle's programming language and shows, how simple migration of the interpreter was, since the design (before the function package has been introduced to Isabelle) recognised appropriateness of Isabelle's terms as middle end. The paper gives links into the code in an open repository as invitation to readers for re using the prototyped code or adopt the general concept. And since the prototype has been designed before the function package was implemented, the paper is an opportunity for recording lessons learned from Isabelle's development of code structure.


FoCL Feature Oriented Continual Learning for Generative Models. In this paper, we propose a general framework in continual learning for generative models Feature oriented Continual Learning (FoCL). Unlike previous works that aim to solve the catastrophic forgetting problem by introducing regularization in the parameter space or image space, FoCL imposes regularization in the feature space. We show in our experiments that FoCL has faster adaptation to distributional changes in sequentially arriving tasks, and achieves the state of the art performance for generative models in task incremental learning. We discuss choices of combined regularization spaces towards different use case scenarios for boosted performance, e.g., tasks that have high variability in the background. Finally, we introduce a forgetfulness measure that fairly evaluates the degree to which a model suffers from forgetting. Interestingly, the analysis of our proposed forgetfulness score also implies that FoCL tends to have a mitigated forgetting for future tasks.


Optimal Control Problem for Discrete Time Systems with Colored Multiplicative Noise. The optimal control problem for discrete time systems with colored multiplicative noise is discussed in this paper. The problem will be more difficult to deal with than the case of white noise due to the correlation of the adjoining state. By solving the forward and backward stochastic difference equations (FBSDEs), the necessary and sufficient conditions for the solvability of the optimal control problems in both delay free and one step input delay case are given.


Loss Aware Post training Quantization. Neural network quantization enables the deployment of large models on resource constrained devices. Current post training quantization methods fall short in terms of accuracy for INT4 (or lower) but provide reasonable accuracy for INT8 (or above). In this work, we study the effect of quantization on the structure of the loss landscape. Additionally, we show that the structure is flat and separable for mild quantization, enabling straightforward post training quantization methods to achieve good results. We show that with more aggressive quantization, the loss landscape becomes highly non separable with steep curvature, making the selection of quantization parameters more challenging. Armed with this understanding, we design a method that quantizes the layer parameters jointly, enabling significant accuracy improvement over current post training quantization methods. Reference implementation is available at https github.com ynahshan nn quantization pytorch tree master lapq


Prototype of a front end readout ASIC designed for the Water Cherenkov Detector Array in LHAASO. The Large High Altitude Air Shower Observatory is in the R D phase, in which the Water Cherenkov Detector Array is an important part. The signals of Photo Multiplier Tubes would vary from single photo electron to 4000 photo electrons, and both high precision charge and time measurement is required. To simplify the signal processing chain, the charge to time conversion method is employed. A prototype of the front end readout ASIC is designed and fabricated in Chartered 0.35 mu m CMOS technology, which integrates time disctrimination and converts the input charge information to pulse widths. With Time to Digital Converters, both time and charge can be digitized at the same time. We have conducted initial tests on this chip, and the results indicate that a time resolution better than 0.5 ns is achieved over the full dynamic range (1 4000 photo electrons, corresponding to 0.75 3000 pC with the threshold of 0.188 pC) the charge resolution is better than 1 with large input amplitudes (500 4000 photo electrons), and remains better than 15 with a 1 photo electron input amplitude, which is beyond the application requirement.


Dynamic inverse problem for special system associated with Jacobi matrices and classical moment problems. We consider the Hamburger, Stieltjes and Hausdorff moment problems, that are problems of the construction of a Borel measure supported on a real line, on a half line or on an interval (0,1) , from a prescribed set of moments. We propose a unified approach to these three problems based on using the auxiliary dynamical system with the discrete time associated with a semi infinite Jacobi matrix. It is show that the set of moments determines the inverse dynamic data for such a system. Using the ideas of the Boundary Control method for every N in mathbb N we can recover the spectral measure of a N times N block of Jacobi matrix, which is a solution to a truncated moment problem. This problem is reduced to the finite dimensional generalized spectral problem, whose matrices are constructed from moments and are connected with well known Hankel matrices by simple formulas. Thus the results on existence of solutions to Hamburger, Stieltjes and Hausdorff moment problems are naturally given in terms of these matrices. We also obtain results on uniqueness of the solution of moment problems, where as a main tool we use the Krein type equations of inverse problem.


Privacy Preserving Claims Exchange Networks for Virtual Asset Service Providers. In order for VASPs to fulfill the regulatory requirements from the FATF and the Travel Rule, VASPs need access to truthful information regarding originators, beneficiaries and other VASPs involved in a virtual asset transfer instance. Additionally, in seeking data regarding subjects (individuals or organizations) VASPs are faced with privacy regulations such as the GDPR and CCPA. In this paper we a propose privacy preserving claims issuance model that carries indicators of the provenance of the data and the algorithms used to derive the claim or assertion. This allows VASPs to obtain originator and beneficiary information without necessarily having access to the private data about these entities. Secondly we propose the use of a consortium trust network arrangement for VASPs to exchange signed claims about subjects and their public key information or certificate.


Recent Advances in Practical Data Reduction. Over the last two decades, significant advances have been made in the design and analysis of fixed parameter algorithms for a wide variety of graph theoretic problems. This has resulted in an algorithmic toolbox that is by now well established. However, these theoretical algorithmic ideas have received very little attention from the practical perspective. We survey recent trends in data reduction engineering results for selected problems. Moreover, we describe concrete techniques that may be useful for future implementations in the area and give open problems and research questions.


Search What You Want Barrier Panelty NAS for Mixed Precision Quantization. Emergent hardwares can support mixed precision CNN models inference that assign different bitwidths for different layers. Learning to find an optimal mixed precision model that can preserve accuracy and satisfy the specific constraints on model size and computation is extremely challenge due to the difficult in training a mixed precision model and the huge space of all possible bit quantizations. In this paper, we propose a novel soft Barrier Penalty based NAS (BP NAS) for mixed precision quantization, which ensures all the searched models are inside the valid domain defined by the complexity constraint, thus could return an optimal model under the given constraint by conducting search only one time. The proposed soft Barrier Penalty is differentiable and can impose very large losses to those models outside the valid domain while almost no punishment for models inside the valid domain, thus constraining the search only in the feasible domain. In addition, a differentiable Prob 1 regularizer is proposed to ensure learning with NAS is reasonable. A distribution reshaping training strategy is also used to make training more stable. BP NAS sets new state of the arts on both classification (Cifar 10, ImageNet) and detection (COCO), surpassing all the efficient mixed precision methods designed manually and automatically. Particularly, BP NAS achieves higher mAP (up to 2.7 mAP improvement) together with lower bit computation cost compared with the existing best mixed precision model on COCO detection.


Visualizing a Moving Target A Design Study on Task Parallel Programs in the Presence of Evolving Data and Concerns. Common pitfalls in visualization projects include lack of data availability and the domain users' needs and focus changing too rapidly for the design process to complete. While it is often prudent to avoid such projects, we argue it can be beneficial to engage them in some cases as the visualization process can help refine data collection, solving a "chicken and egg" problem of having the data and tools to analyze it. We found this to be the case in the domain of task parallel computing where such data and tooling is an open area of research. Despite these hurdles, we conducted a design study. Through a tightly coupled iterative design process, we built Atria, a multi view execution graph visualization to support performance analysis. Atria simplifies the initial representation of the execution graph by aggregating nodes as related to their line of code. We deployed Atria on multiple platforms, some requiring design alteration. We describe how we adapted the design study methodology to the "moving target" of both the data and the domain experts' concerns and how this movement kept both the visualization and programming project healthy. We reflect on our process and discuss what factors allow the project to be successful in the presence of changing data and user needs.


On the Inference Calibration of Neural Machine Translation. Confidence calibration, which aims to make model predictions equal to the true correctness measures, is important for neural machine translation (NMT) because it is able to offer useful indicators of translation errors in the generated output. While prior studies have shown that NMT models trained with label smoothing are well calibrated on the ground truth training data, we find that miscalibration still remains a severe challenge for NMT during inference due to the discrepancy between training and inference. By carefully designing experiments on three language pairs, our work provides in depth analyses of the correlation between calibration and translation performance as well as linguistic properties of miscalibration and reports a number of interesting findings that might help humans better analyze, understand and improve NMT models. Based on these observations, we further propose a new graduated label smoothing method that can improve both inference calibration and translation performance.


A Comprehensive Review of Smart Cities Components, Applications, and Technologies Based on Internet of Things. Smart city technology is making cities more effective which is necessary for the rapid growth in urban population. With the rapid increase in advanced metering infrastructure and other digital technologies, Smart cities have become smarter with efficient electronic devices and embedded sensors based on the Internet of Things (IoT). This paper provides a comprehensive review of the smart cities concept with its components and applications. Moreover, technologies of IoT used in smart cities infrastructure and some practically implemented smart cities in the world are mentioned as exemplary implementations. Some open issues and future directions concluded the paper.


Learning Optimal Temperature Region for Solving Mixed Integer Functional DCOPs. Distributed Constraint Optimization Problems (DCOPs) are an important framework for modeling coordinated decision making problems in multi agent systems with a set of discrete variables. Later works have extended DCOPs to model problems with a set of continuous variables, named Functional DCOPs (F DCOPs). In this paper, we combine both of these frameworks into the Mixed Integer Functional DCOP (MIF DCOP) framework that can deal with problems regardless of their variables' type. We then propose a novel algorithm Distributed Parallel Simulated Annealing (DPSA), where agents cooperatively learn the optimal parameter configuration for the algorithm while also solving the given problem using the learned knowledge. Finally, we empirically evaluate our approach in DCOP, F DCOP, and MIF DCOP settings and show that DPSA produces solutions of significantly better quality than the state of the art non exact algorithms in their corresponding settings.


A rate of metastability for the Halpern type Proximal Point Algorithm. Using proof theoretical techniques, we analyze a proof by H. K. Xu regarding a result of strong convergence for the Halpern type proximal point algorithm. We obtain a rate of metastability (in the sense of T. Tao) and also a rate of asymptotic regularity for the iteration. Furthermore, our final quantitative result bypasses the need of the sequential weak compactness argument present in the original proof. This elimination is reflected in the extraction of primitive recursive quantitative information. This work follows from recent results in Proof Mining regarding the removal of sequential weak compactness arguments.


The Seven Sins of Personal Data Processing Systems under GDPR. In recent years, our society is being plagued by unprecedented levels of privacy and security breaches. To rein in this trend, the European Union, in 2018, introduced a comprehensive legislation called the General Data Protection Regulation (GDPR). In this paper, we review GDPR from a system design perspective, and identify how its regulations conflict with the design, architecture, and operation of modern systems. We illustrate these conflicts via the seven GDPR sins storing data forever reusing data indiscriminately walled gardens and black markets risk agnostic data processing hiding data breaches making unexplainable decisions treating security as a secondary goal. Our findings reveal a deep rooted tussle between GDPR requirements and how modern systems have evolved. We believe that achieving compliance requires comprehensive, grounds up solutions, and anything short would amount to fixing a leaky faucet in a sinking ship.


Real hypersurfaces in complex space forms attaining equality in an inequality involving a contact delta invariant. We investigate real hypersurfaces in complex space forms attaining equality in an inequality involving the contact delta invariant delta c(2) introduced by Chen and Mihai in 3 .


Brown's Criterion and classifying spaces for families. Let G be a group and mathcal F be a family of subgroups closed under conjugation and subgroups. A model for the classifying space E mathcal F G is a G CW complex X such that every isotropy group belongs to mathcal F , and for all H in mathcal F the fixed point subspace X H is contractible. The group G is of type mathcal F text mathrm F n if it admits a model for E mathcal F G with n skeleton with compact orbit space. The main result of the article provides is a characterization of mathcal F text mathrm F n analogue to Brown's criterion for mathrm FP n . As applications we provide criteria for this type of finiteness properties with respect to families to be preserved by finite extensions, a result that contrast with examples of Leary and Nucinkis. We also recover L "uck's characterization of property underline mathrm F n in terms of the finiteness properties of the Weyl groups.


Inferring the effective fraction of the population infected with Covid 19 from the behaviour of Lombardy, Madrid and London relative to the remainder of Italy, Spain and England. I use a very simple deterministic model for the spread of Covid 19 in a large population. Using this to compare the relative decay of the number of deaths per day between different regions in Italy, Spain and England, each applying in principle the same social distancing procedures across the whole country, I obtain an estimate of the total fraction of the population which had already become infected by April 10th. In the most heavily affected regions, Lombardy, Madrid and London, this fraction is higher than expected, i.e. approx 0.3 . This result can then be converted to a determination of the infection fatality rate ifr , which appears to be ifr approx 0.0025 0.005 , and even smaller in London, somewhat lower than usually assumed. Alternatively, the result can also be interpreted as an effectively larger fraction of the population than simple counting would suggest if there is a variation in susceptibility to infection with a variance of up to a value of about 2. The implications are very similar for either interpretation or for a combination of effects.


A Comparative Analysis of Non relativistic and Relativistic Calculations of Electric Dipole Moments and Polarizabilities of Heteronuclear Alkali Dimers. We analyze the molecular electric dipole moments (PDMs) and static electric dipole polarizabilities of heteronuclear alkali dimers in their ground states by employing coupled cluster theory, both in the non relativistic and four component relativistic frameworks. The roles of electron correlations as well as relativistic effects are demonstrated by studying them at different levels of theory, followed by a comprehensive treatment of error estimates. We compare our obtained values with the previous non relativistic calculations, some of which include lower order relativistic corrections, as well as with the experimental values, wherever available. We find that the PDMs are very sensitive to relativistic effects, as compared to polarizabilities this aspect can explain the long standing question on the difference between experimental values and theoretical results for LiNa. We show that consideration of relativistic values of PDMs improves significantly the isotropic Van der Waals C 6 coefficients of the investigated alkali dimers over the previously reported non relativistic calculations. The dependence of dipole polarizabilities on molecular volume is also illustrated.


Discovery data topology with the closure structure. Theoretical and practical aspects. In this paper, we are revisiting pattern mining and especially itemset mining, which allows one to analyze binary datasets in searching for interesting and meaningful association rules and respective itemsets in an unsupervised way. While a summarization of a dataset based on a set of patterns does not provide a general and satisfying view over a dataset, we introduce a concise representation the closure structure based on closed itemsets and their minimum generators, for capturing the intrinsic content of a dataset. The closure structure allows one to understand the topology of the dataset in the whole and the inherent complexity of the data. We propose a formalization of the closure structure in terms of Formal Concept Analysis, which is well adapted to study this data topology. We present and demonstrate theoretical results, and as well, practical results using the GDPM algorithm. GDPM is rather unique in its functionality as it returns a characterization of the topology of a dataset in terms of complexity levels, highlighting the diversity and the distribution of the itemsets. Finally, a series of experiments shows how GDPM can be practically used and what can be expected from the output.


Long time dynamics for defocusing cubic NLS on three dimensional product space. In this article, we study long time dynamics for defocusing cubic NLS on three dimensional product space. First, we apply the decoupling method in Bourgain Demeter cite BD to establish a bilinear Strichartz estimate. Moreover, we prove global well posedness for defocusing, cubic NLS on three dimensional product space with rough initial data ( H s , s frac 5 6 ) based on I method and the bilinear estimate. At last, we discuss the growth of higher Sobolev norm problem which is tightly linked to the weak turbulence phenomenon.


An Analysis of the Utility of Explicit Negative Examples to Improve the Syntactic Abilities of Neural Language Models. We explore the utilities of explicit negative examples in training neural language models. Negative examples here are incorrect words in a sentence, such as "barks" in " The dogs barks". Neural language models are commonly trained only on positive examples, a set of sentences in the training data, but recent studies suggest that the models trained in this way are not capable of robustly handling complex syntactic constructions, such as long distance agreement. In this paper, using English data, we first demonstrate that appropriately using negative examples about particular constructions (e.g., subject verb agreement) will boost the model's robustness on them, with a negligible loss of perplexity. The key to our success is an additional margin loss between the log likelihoods of a correct word and an incorrect word. We then provide a detailed analysis of the trained models. One of our findings is the difficulty of object relative clauses for RNNs. We find that even with our direct learning signals the models still suffer from resolving agreement across an object relative clause. Augmentation of training sentences involving the constructions somewhat helps, but the accuracy still does not reach the level of subject relative clauses. Although not directly cognitively appealing, our method can be a tool to analyze the true architectural limitation of neural models on challenging linguistic constructions.


Data Processing and Annotation Schemes for FinCausal Shared Task. This document explains the annotation schemes used to label the data for the FinCausal Shared Task (Mariko et al., 2020). This task is associated to the Joint Workshop on Financial Narrative Processing and MultiLing Financial Summarisation (FNP FNS 2020), to be held at The 28th International Conference on Computational Linguistics (COLING'2020), on December 12, 2020.


Equilibrium states for natural extensions of non uniformly expanding local homeomorphisms. We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non uniformly expanding, local homeomorphism with a H "older continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to apply these results to partially hyperbolic attractors.


C 1 smooth dependence on initial conditions and delay spaces of initial histories of Sobolev type, and differentiability of translation in L p . The objective of this paper is to clarify the relationship between the C 1 smooth dependence of solutions to delay differential equations (DDEs) on initial histories (i.e., initial conditions) and delay parameters. For this purpose, we consider a class of DDEs which include a constant discrete delay. The problem of C 1 smooth dependence is fundamental from the viewpoint of the theory of differential equations. However, the above mentioned relationship is not obvious because the corresponding functional differential equations have the less regularity with respect to the delay parameter. In this paper, we prove that the C 1 smooth dependence on initial histories and delay holds by adopting spaces of initial histories of Sobolev type, where the differentiability of translation in L p plays an important role.


Meromorphic L 2 functions on flat surfaces. We prove a quantitative version of the non uniform hyperbolicity of the Teichm "uller geodesic flow. Namely, at each point of any Teichm "uller flow line, we bound the infinitesimal spectral gap for variations of the Hodge norm along the flow line in terms of an easily estimated geometric quantity on the flat surface, which is greater than or equal to the flat systole. As applications, we strengthen results of Trevi no and Smith regarding unique ergodicity of measured foliations, and give an estimate for the spectral gaps of pseudo Anosov homeomorphisms based on the location of their axes in the moduli space of quadratic differentials.


3D Dense Geometry Guided Facial Expression Synthesis by Adversarial Learning. Manipulating facial expressions is a challenging task due to fine grained shape changes produced by facial muscles and the lack of input output pairs for supervised learning. Unlike previous methods using Generative Adversarial Networks (GAN), which rely on cycle consistency loss or sparse geometry (landmarks) loss for expression synthesis, we propose a novel GAN framework to exploit 3D dense (depth and surface normals) information for expression manipulation. However, a large scale dataset containing RGB images with expression annotations and their corresponding depth maps is not available. To this end, we propose to use an off the shelf state of the art 3D reconstruction model to estimate the depth and create a large scale RGB Depth dataset after a manual data clean up process. We utilise this dataset to minimise the novel depth consistency loss via adversarial learning (note we do not have ground truth depth maps for generated face images) and the depth categorical loss of synthetic data on the discriminator. In addition, to improve the generalisation and lower the bias of the depth parameters, we propose to use a novel confidence regulariser on the discriminator side of the framework. We extensively performed both quantitative and qualitative evaluations on two publicly available challenging facial expression benchmarks AffectNet and RaFD. Our experiments demonstrate that the proposed method outperforms the competitive baseline and existing arts by a large margin.


Indoor dense depth map at drone hovering. Autonomous Micro Aerial Vehicles (MAVs) gained tremendous attention in recent years. Autonomous flight in indoor requires a dense depth map for navigable space detection which is the fundamental component for autonomous navigation. In this paper, we address the problem of reconstructing dense depth while a drone is hovering (small camera motion) in indoor scenes using already estimated cameras and sparse point cloud obtained from a vSLAM. We start by segmenting the scene based on sudden depth variation using sparse 3D points and introduce a patch based local plane fitting via energy minimization which combines photometric consistency and co planarity with neighbouring patches. The method also combines a plane sweep technique for image segments having almost no sparse point for initialization. Experiments show, the proposed method produces better depth for indoor in artificial lighting condition, low textured environment compared to earlier literature in small motion.


Employing Simulation to Facilitate the Design of Dynamic Code Generators. Dynamic Translation (DT) is a sophisticated technique that allows the implementation of high performance emulators and high level language virtual machines. In this technique, the guest code is compiled dynamically at runtime. Consequently, achieving good performance depends on several design decisions, including the shape of the regions of code being translated. Researchers and engineers explore these decisions to bring the best performance possible. However, a real DT engine is a very sophisticated piece of software, and modifying one is a hard and demanding task. Hence, we propose using simulation to evaluate the impact of design decisions on dynamic translators and present RAIn, an open source DT simulator that facilitates the test of DT's design decisions, such as Region Formation Techniques (RFTs). RAIn outputs several statistics that support the analysis of how design decisions may affect the behavior and the performance of a real DT. We validated RAIn running a set of experiments with six well known RFTs (NET, MRET2, LEI, NETPlus, NET R, and NETPlus e r) and showed that it can reproduce well known results from the literature without the effort of implementing them on a real and complex dynamic translator engine.


Supporting Round Trip Data Migration for Web APIs A Henshin Solution. We present a solution to the Round Trip Migration case of the Transformation Tool Contest 2020, based on the Henshin model transformation language. The task is to support four scenarios of transformations between two versions of the same data metamodel, a problem inspired by the application scenario of Web API migration, where such a round trip migration methodology might mitigate drawbacks of the conventional "instant" migration style. Our solution relies on Henshin's visual syntax, which seems well suited to capture the problem on an intuitive level, since the syntax is already similar to the scenario illustrations in the case description. We discuss the five evaluation criteria expressiveness, comprehensibility, bidirectionality, performance, and reusability.


Enriched Pre trained Transformers for Joint Slot Filling and Intent Detection. Detecting the user's intent and finding the corresponding slots among the utterance's words are important tasks in natural language understanding. Their interconnected nature makes their joint modeling a standard part of training such models. Moreover, data scarceness and specialized vocabularies pose additional challenges. Recently, the advances in pre trained language models, namely contextualized models such as ELMo and BERT have revolutionized the field by tapping the potential of training very large models with just a few steps of fine tuning on a task specific dataset. Here, we leverage such models, namely BERT and RoBERTa, and we design a novel architecture on top of them. Moreover, we propose an intent pooling attention mechanism, and we reinforce the slot filling task by fusing intent distributions, word features, and token representations. The experimental results on standard datasets show that our model outperforms both the current non BERT state of the art as well as some stronger BERT based baselines.


Learnable Cost Volume Using the Cayley Representation. Cost volume is an essential component of recent deep models for optical flow estimation and is usually constructed by calculating the inner product between two feature vectors. However, the standard inner product in the commonly used cost volume may limit the representation capacity of flow models because it neglects the correlation among different channel dimensions and weighs each dimension equally. To address this issue, we propose a learnable cost volume (LCV) using an elliptical inner product, which generalizes the standard inner product by a positive definite kernel matrix. To guarantee its positive definiteness, we perform spectral decomposition on the kernel matrix and re parameterize it via the Cayley representation. The proposed LCV is a lightweight module and can be easily plugged into existing models to replace the vanilla cost volume. Experimental results show that the LCV module not only improves the accuracy of state of the art models on standard benchmarks, but also promotes their robustness against illumination change, noises, and adversarial perturbations of the input signals.


Quantitative phase microscopy spatial signatures of cancer cells. We present cytometric classification of live healthy and cancer cells by using the spatial morphological and textural information found in the label free quantitative phase images of the cells. We compare both healthy cells to primary tumor cell and primary tumor cells to metastatic cancer cells, where tumor biopsies and normal tissues were isolated from the same individuals. To mimic analysis of liquid biopsies by flow cytometry, the cells were imaged while unattached to the substrate. We used low coherence off axis interferometric phase microscopy setup, which allows a single exposure acquisition mode, and thus is suitable for quantitative imaging of dynamic cells during flow. After acquisition, the optical path delay maps of the cells were extracted, and used to calculate 15 parameters derived from cellular 3 D morphology and texture. Upon analyzing tens of cells in each group, we found high statistical significance in the difference between the groups in most of the parameters calculated, with the same trends for all statistically significant parameters. Furthermore, a specially designed machine learning algorithm, implemented on the phase map extracted features, classified the correct cell type (healthy cancer metastatic) with 81 93 sensitivity and 81 99 specificity. The quantitative phase imaging approach for liquid biopsies presented in this paper could be the basis for advanced techniques of staging freshly isolated live cancer cells in imaging flow cytometers.


Calorimeters for the FCC hh. The future proton proton collider (FCC hh) will deliver collisions at a center of mass energy up to sqrt s 100 TeV at an unprecedented instantaneous luminosity of L 3 10 35 cm 2 s 1 , resulting in extremely challenging radiation and luminosity conditions. By delivering an integrated luminosity of few tens of ab 1 , the FCC hh will provide an unrivalled discovery potential for new physics. Requiring high sensitivity for resonant searches at masses up to tens of TeV imposes strong constraints on the design of the calorimeters. Resonant searches in final states containing jets, taus and electrons require both excellent energy resolution at multi TeV energies as well as outstanding ability to resolve highly collimated decay products resulting from extreme boosts. In addition, the FCC hh provides the unique opportunity to precisely measure the Higgs self coupling in the di photon and b jets channel. Excellent photon and jet energy resolution at low energies as well as excellent angular resolution for pion background rejection are required in this challenging environment. This report describes the calorimeter studies for a multi purpose detector at the FCC hh. The calorimeter active components consist of Liquid Argon, scintillating plastic tiles and Monolithic Active Pixel Sensors technologies. The technological choices, design considerations and achieved performances in full Geant4 simulations are discussed and presented. The simulation studies are focused on the evaluation of the concepts. Standalone studies under laboratory conditions as well as first tests in realistic FCC hh environment, including pileup rejection capabilities by making use of fast signals and high granularity, have been performed. These studies have been performed within the context of the preparation of the FCC conceptual design reports (CDRs).


Contour Dynamics for Surface Quasi Geostrophic Fronts. We use contour dynamics to derive equations of motion for infinite planar surface quasi geostrophic (SQG) fronts, and show that it leads to the same result as a regularization procedure introduced previously by Hunter and Shu (2018).


Density based Community Detection Optimization. Modularity based algorithms used for community detection have been increasing in recent years. Modularity and its application have been generating controversy since some authors argue it is not a metric without disadvantages. It has been shown that algorithms that use modularity to detect communities suffer a resolution limit and, therefore, it is unable to identify small communities in some situations. In this work, we try to apply a density optimization of communities found by the label propagation algorithm and study what happens regarding modularity of optimized results. We introduce a metric we call ADC (Average Density per Community) we use this metric to prove our optimization provides improvements to the community density obtained with benchmark algorithms. Additionally, we provide evidence this optimization might not alter modularity of resulting communities significantly. Additionally, by also using the SSC (Strongly Connected Components) concept we developed a community detection algorithm that we also compare with the label propagation algorithm. These comparisons were executed with several test networks and with different network sizes. The results of the optimization algorithm proved to be interesting. Additionally, the results of the community detection algorithm turned out to be similar to the benchmark algorithm we used.


The Multiple Points of Fractional Brownian Motion. Nils Tongring (1987) proved sufficient conditions for a compact set to contain k tuple points of a Brownian motion. In this paper, we extend these findings to the fractional Brownian motion. Using the property of strong local nondeterminism, we show that if B is a fractional Brownian motion in mathbb R d with Hurst index H such that Hd 1 , and E is a fixed, nonempty compact set in mathbb R d with positive capacity with respect to the function phi(s) ( log (1 s)) k , then E contains k tuple points with positive probability. For the Hd 1 case, the same result holds with the function replaced by phi(s) s k(d 1 H) .


New Quantum MDS Codes over Finite Fields. In this paper, we present three new classes of q ary quantum MDS codes utilizing generalized Reed Solomon codes satisfying Hermitian self orthogonal property. Among our constructions, the minimum distance of some q ary quantum MDS codes can be bigger than frac q 2 1 . Comparing to previous known constructions, the lengths of codes in our constructions are more flexible.


3D Reconstruction of Deformable Revolving Object under Heavy Hand Interaction. We reconstruct 3D deformable object through time, in the context of a live pottery making process where the crafter molds the object. Because the object suffers from heavy hand interaction, and is being deformed, classical techniques cannot be applied. We use particle energy optimization to estimate the object profile and benefit of the object radial symmetry to increase the robustness of the reconstruction to both occlusion and noise. Our method works with an unconstrained scalable setup with one or more depth sensors. We evaluate on our database (released upon publication) on a per frame and temporal basis and shows it significantly outperforms state of the art achieving 7.60mm average object reconstruction error. Further ablation studies demonstrate the effectiveness of our method.


Contract Discovery Dataset and a Few Shot Semantic Retrieval Challenge with Competitive Baselines. We propose a new shared task of semantic retrieval from legal texts, in which a so called contract discovery is to be performed, where legal clauses are extracted from documents, given a few examples of similar clauses from other legal acts. The task differs substantially from conventional NLI and shared tasks on legal information extraction (e.g., one has to identify text span instead of a single document, page, or paragraph). The specification of the proposed task is followed by an evaluation of multiple solutions within the unified framework proposed for this branch of methods. It is shown that state of the art pretrained encoders fail to provide satisfactory results on the task proposed. In contrast, Language Model based solutions perform better, especially when unsupervised fine tuning is applied. Besides the ablation studies, we addressed questions regarding detection accuracy for relevant text fragments depending on the number of examples available. In addition to the dataset and reference results, LMs specialized in the legal domain were made publicly available.


Separating Variables in Bivariate Polynomial Ideals. We present an algorithm which for any given ideal I subseteq mathbb K x,y finds all elements of I that have the form f(x) g(y) , i.e., all elements in which no monomial is a multiple of xy .


Lie algebras arising from Nichols algebras of diagonal type. Let mathcal B mathfrak q be a finite dimensional Nichols algebra of diagonal type with braiding matrix mathfrak q , let mathcal L mathfrak q be the corresponding Lusztig algebra as in arXiv 1501.04518 and let operatorname Fr mathfrak q mathcal L mathfrak q to U( mathfrak n mathfrak q ) be the corresponding quantum Frobenius map as in arXiv 1603.09387. We prove that the finite dimensional Lie algebra mathfrak n mathfrak q is either 0 or else the positive part of a semisimple Lie algebra mathfrak g mathfrak q which is determined for each mathfrak q in the list of arXiv math 0605795.


Efficient Behavior aware Control of Automated Vehicles at Crosswalks using Minimal Information Pedestrian Prediction Model. For automated vehicles (AVs) to reliably navigate through crosswalks, they need to understand pedestrians crossing behaviors. Simple and reliable pedestrian behavior models aid in real time AV control by allowing the AVs to predict future pedestrian behaviors. In this paper, we present a Behavior aware Model Predictive Controller (B MPC) for AVs that incorporates long term predictions of pedestrian crossing behavior using a previously developed pedestrian crossing model. The model incorporates pedestrians gap acceptance behavior and utilizes minimal pedestrian information, namely their position and speed, to predict pedestrians crossing behaviors. The BMPC controller is validated through simulations and compared to a rule based controller. By incorporating predictions of pedestrian behavior, the B MPC controller is able to efficiently plan for longer horizons and handle a wider range of pedestrian interaction scenarios than the rule based controller. Results demonstrate the applicability of the controller for safe and efficient navigation at crossing scenarios.


Spectral asymptotic and positivity for singular Dirichlet to Neumann operators. In the framework of Hilbert spaces we shall give necessary and sufficient conditions to define a Dirichlet to Neumann operator via Dirichlet principle. For singular Dirichlet to Neumann operators we will establish Laurent expansion near singularities as well as Mittag Leffler expansion for the related quadratic form. The established results will be exploited to solve definitively the problem of positivity of the related semigroup in the L 2 setting. The obtained results are supported by some examples on Lipschitz domains. Among other results, we shall demonstrate that regularity of the boundary may affect positivity and derive Mittag Leffler expansion for the eigenvalues of singular Dirichlet to Neumann operators.


Topology of random 2 dimensional cubical complexes. We study a natural model of random 2 dimensional cubical complex which is a subcomplex of an n dimensional cube, and where every possible square 2 face is included independently with probability p. Our main result is to exhibit a sharp threshold p 1 2 for homology vanishing as n to infty . This is a 2 dimensional analogue of the Burtin and Erd H o s Spencer theorems characterizing the connectivity threshold for random cubical graphs. Our main result can also be seen as a cubical counterpart to the Linial Meshulam theorem for random 2 dimensional simplicial complexes. However, the models exhibit strikingly different behaviors. We show that if p 1 sqrt 1 2 approx 0.2929 , then with high probability the fundamental group is a free group with one generator for every maximal 1 dimensional face. As a corollary, homology vanishing and simple connectivity have the same threshold, even in the strong "hitting time" sense. This is in contrast with the simplicial case, where the thresholds are far apart. The proof depends on an iterative algorithm for contracting cycles we show that with high probability the algorithm rapidly and dramatically simplifies the fundamental group, converging after only a few steps.


The game chromatic index of trees of maximum degree 4 with at most three degree four vertices in a row. Fong et al. (The game chromatic index of some trees with maximum degree four and adjacent degree four vertices, J. Comb Optim 36 (2018) 1 12) proved that the game chromatic index of any tree T of maximum degree 4 whose degree four vertices induce a forest of paths of length l less than 2 is at most 5. In this paper, we show that the bound 5 is also valid for l leq 2 . This partially solves the problem of characterization of the trees whose game chromatic index exceeds the maximum degree by at most 1, which was proposed by Cai and Zhu (Game chromatic index of k degenerate graphs, J. Graph Theory 36 (2001) 144 155).


Anti efficient encoding in emergent communication. Despite renewed interest in emergent language simulations with neural networks, little is known about the basic properties of the induced code, and how they compare to human language. One fundamental characteristic of the latter, known as Zipf's Law of Abbreviation (ZLA), is that more frequent words are efficiently associated to shorter strings. We study whether the same pattern emerges when two neural networks, a "speaker" and a "listener", are trained to play a signaling game. Surprisingly, we find that networks develop an emph anti efficient encoding scheme, in which the most frequent inputs are associated to the longest messages, and messages in general are skewed towards the maximum length threshold. This anti efficient code appears easier to discriminate for the listener, and, unlike in human communication, the speaker does not impose a contrasting least effort pressure towards brevity. Indeed, when the cost function includes a penalty for longer messages, the resulting message distribution starts respecting ZLA. Our analysis stresses the importance of studying the basic features of emergent communication in a highly controlled setup, to ensure the latter will not strand too far from human language. Moreover, we present a concrete illustration of how different functional pressures can lead to successful communication codes that lack basic properties of human language, thus highlighting the role such pressures play in the latter.


Exit momentum and instantaneous ionization rate of nonadiabatic tunneling ionization in elliptically polarized laser fields. Based on the strong field approximation, we obtain analytical expressions for the initial momentum at the tunnel exit and instantaneous ionization rate of tunneling ionization in elliptically polarized laser fields with arbitrary ellipticity. The tunneling electron reveals a nonzero offset of the initial momentum at the tunnel exit in the elliptically polarized laser field. We find that the transverse and longitudinal components of this momentum offset with respect to the instantaneous field direction are directly related to the time derivatives of the instantaneous laser electric field along the angular and radial directions, respectively. We further show that the nonzero initial momentum at the tunnel exit has a significant influence on the laser phase dependence of the instantaneous ionization rate in the nonadiabatic tunneling regime.


Flexibility and rigidity in steady fluid motion. Flexibility and rigidity properties of steady (time independent) solutions of the Euler, Boussinesq and Magnetohydrostatic equations are investigated. Specifically, certain Liouville type theorems are established which show that suitable steady solutions with no stagnation points occupying a two dimensional periodic channel, or axisymmetric solutions in (hollowed out) cylinder, must have certain structural symmetries. It is additionally shown that such solutions can be deformed to occupy domains which are themselves small perturbations of the base domain. As application of the general scheme, Arnol'd stable solutions are shown to be structurally stable.


Probabilistic Approach to Mean Field Games and Mean Field Type Control Problems with Multiple Populations. In this work, we systematically investigate mean field games and mean field type control problems with multiple populations using a coupled system of forward backward stochastic differential equations of McKean Vlasov type stemming from Pontryagin's stochastic maximum principle. Although the same cost functions as well as the coefficient functions of the state dynamics are shared among the agents within each population, they can be different population by population. We study the mean field limit for the three different situations (i) every agent is non cooperative (ii) the agents within each population are cooperative and (iii) the agents in some populations are cooperative but those in the other populations are not. We provide several sets of sufficient conditions for the existence of a mean field equilibrium for each of these cases. Furthermore, under appropriate conditions, we show that the mean field solution to each of these problems actually provides an approximate Nash equilibrium for the corresponding game with a large but finite number of agents.


Differentiable Implicit Layers. In this paper, we introduce an efficient backpropagation scheme for non constrained implicit functions. These functions are parametrized by a set of learnable weights and may optionally depend on some input making them perfectly suitable as a learnable layer in a neural network. We demonstrate our scheme on different applications (i) neural ODEs with the implicit Euler method, and (ii) system identification in model predictive control.


A Blow up Dichotomy for Semilinear Fractional Heat Equations. We derive a blow up dichotomy for positive solutions of fractional semilinear heat equations on the whole space. That is, within a certain class of convex source terms, we establish a necessary and sufficient condition on the source for all positive solutions to become unbounded in finite time. Moreover, we show that this condition is equivalent to blow up of all positive solutions of a closely related scalar ordinary differential equation.


High order energy stable schemes of incommensurate phase field crystal model. This article focuses on the development of high order energy stable schemes for the multi length scale incommensurate phase field crystal model which is able to study the phase behavior of aperiodic structures. These high order schemes based on the scalar auxiliary variable (SAV) and spectral deferred correction (SDC) approaches are suitable for the L 2 gradient flow equation, i.e., the Allen Cahn dynamic equation. Concretely, we propose a second order Crank Nicolson (CN) scheme of the SAV system, prove the energy dissipation law, and give the error estimate in the almost periodic function sense. Moreover, we use the SDC method to improve the computational accuracy of the SAV CN scheme. Numerical results demonstrate the advantages of high order numerical methods in numerical computations and show the influence of length scales on the formation of ordered structures.


Discrete index Whittaker transforms. Discrete analogs of the index Whittaker transform are introduced and investigated. It involves series and integrals with respect to a second parameter of the Whittaker function W mu, i n (x), x 0, mu in mathbb R , n in mathbb N , i is the imaginary unit. The corresponding inversion formulas for suitable functions and sequences in terms of these series and integrals are established.


Constructing networks by filtering correlation matrices A null model approach. Network analysis has been applied to various correlation matrix data. Thresholding on the value of the pairwise correlation is probably the most straightforward and common method to create a network from a correlation matrix. However, there have been criticisms on this thresholding approach such as an inability to filter out spurious correlations, which have led to proposals of alternative methods to overcome some of the problems. We propose a method to create networks from correlation matrices based on optimisation with regularization, where we lay an edge between each pair of nodes if and only if the edge is unexpected from a null model. The proposed algorithm is advantageous in that it can be combined with different types of null models. Moreover, the algorithm can select the most plausible null model from a set of candidate null models using a model selection criterion. For three economic data sets, we find that the configuration model for correlation matrices is often preferred to standard null models. For country level product export data, the present method better predicts main products exported from countries than sample correlation matrices do.


Evaluation of the cumulated impacts on the marine resource of a socio ecological coral system approach by agent based modeling. In the context of climate change and significant changes in human activities around the world, coral reefs are subject to many disruptions. We develop here a tool to help decision making in Moorea (French Polynesia), based on multi agent modeling. We model the trophic interactions with a Lotka Volterra model, and also the interactions between fishermen, trophic groups and tourist operators. The results are generated through global, temporal (time series), and spatial (GIS maps) outputs. The model produced here can be transposed to other ecological and economic situations, and other geographical areas, by modifying the parameters and changing the input map data.