In software engineering, transformational development is aimed at developing computer systems by transforming a coarse-grained specification of a system to its final code through a series of transformation steps. Transformational development is known to bring benefits such as: correctness by construction, explicit mappings between development steps, and reversibility of transformations. No comp...

In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements and guarantee valid clustering results as well. To achieve this dual goal, we propose a novel spatial data transformation method called Rotation-Based Transformation (RBT). The major features of our data transformation are: a) it...

Range queries based on L1 distance are a common type of queries in multimedia databases containing feature vectors. We propose a novel approach that transforms the feature space into a new feature space such that range queries in the original space are mapped into equivalent box queries in the transformed space. Since box queries are axes aligned, there are several implementational advantages t...

A linear representation of number predicts children’s arithmetic abilities and mathematical achievement scores (Booth and Siegler, 2008), and this connection is mediated by children’s spatial skills (Gunderson et al. 2012). To evaluate the relation of early spatial and numerical skills to mathematical abilities we administered a battery of mathematical and spatial tasks to kindergarten and 3rd ...

CERES, HLK and ProofTool form together a system for the computer-aided analysis of mathematical proofs. This analysis is based on a proof transformation known as cut-elimination, which corresponds to the elimination of lemmas in the corresponding informal proofs. Consequently, the resulting formal proof in atomic-cut normal form corresponds to a direct, i.e. without lemmas, informal mathematica...

The conflation of geographic data from different sources is an important research area in geographic information sciences. In recent time this is increasingly motivated by the demand for a higher usability of expensively collected data on the part of the national mapping agencies. For this reason also the linkage of geographic datasets with different scales and their mutual administration in on...

Motivation The identification of genetic variants influencing gene expression (known as expression quantitative trait loci or eQTLs) is important in unravelling the genetic basis of complex traits. Detecting multiple eQTLs simultaneously in a population based on paired DNA-seq and RNA-seq assays employs two competing types of models: models which rely on appropriate transformations of RNA-seq d...

Numbers have emerged historically as by far the most popular form of representation. All our basic scientific paradigms are built on the foundation of these, numeric, or quantitative, concepts. Measurement, as conventionally understood, is the corresponding process for (numeric) representation of objects or events, i.e., it is a procedure or device that realizes the mapping from the set of obje...

Mathematical models of complex objects in the form interval difference equations are built on basis obtained experimental data within limits inductive approach. At same time, interpretation physical properties object base such model is enough. A method transformation a mathematical differential was proposed article. The based formulas for representing values function at node grid Taylor series ...

A Darboux transformation for two new differential-integral equations in the Manakov hierarchy is given by using the gauge transformation between the corresponding matrix spectral problems. As an application of the Darboux transformation, soliton solutions of the two equations are obtained. 1. INTRODUCTION In the past few years, there are extensive development in the area of nonlinear mathematic...