The data type of spatial objects

A spatial object consists of data assigned to points in a space. Spatial objects, such as memory states and three dimensional graphical scenes, are diverse and ubiquitous in computing. We develop a general theory of spatial objects by modelling abstract data types of spatial objects as topological algebras of functions. One useful algebra is that of continuous functions, with operations derived from operations on space and data, and equipped with the compact-open topology. Terms are used as abstract syntax for defining spatial objects and conditional equational specifications are used for reasoning. We pose a completeness problem: Given a selection of operations on spatial objects, do the terms approximate all the spatial objects to arbitrary accuracy? We give some general methods for solving the problem and consider their application to spatial objects with real number attributes. © 2011 British Computer Society.

Matrix Power S-box Analysis

* Work supported by the Lithuanian State Science and Studies Foundation.

Renewal Processes of Mittag-Leffler and Wright Type

2000 MSC: 26A33, 33E12, 33E20, 44A10, 44A35, 60G50, 60J05, 60K05.

On Multidimensional Analogue of Marchaud Formula for Fractional Riesz-Type Derivatives in Domains in R^n

2000 Mathematics Subject Classification: 26A33, 42B20

Cauchy-Type Problem for Diffusion-Wave Equation with the Riemann-Liouville Partial Derivative

2000 Mathematics Subject Classification: 35A15, 44A15, 26A33

Sobolev-Morrey Type Inequality for Riesz Potentials, Associated with the Laplace-Bessel Differential Operator

2000 Mathematics Subject Classification: 42B20, 42B25, 42B35

Krätzel Function as a Function of Hypergeometric Type

2000 Mathematics Subject Classification: 33C60, 33C20, 44A15

Some Mean-Value Theorems of the Cauchy Type

2000 Mathematics Subject Classification: Primary 26A24, 26D15; Secondary 41A05

Mean-Periodic Functions Associated with the Jacobi-Dunkl Operator on R

2000 Mathematics Subject Classification: 34K99, 44A15, 44A35, 42A75, 42A63

Generalized Sobolev Spaces of Exponential Type Associated with the Dunkl Operators

2000 Mathematics Subject Classification: 35E45

Theorems on the Convergence of Series in Generalized Lommel-Wright Functions

Mathematics Subject Classification: 30B10, 30B30; 33C10, 33C20

On Generalized Weyl Fractional q-Integral Operator Involving Generalized Basic Hypergeometric Functions

Mathematics Subject Classification: 33D60, 33D90, 26A33

Nonlinear Bihari Type Integral Inequalities with Maxima

Some new nonlinear integral inequalities that involve the maximum of the unknown scalar function of one variable are solved. The considered inequalities are generalizations of the classical nonlinear integral inequality of Bihari. The importance of these integral inequalities is defined by their wide applications in qualitative investigations of differential equations with "maxima" and it is illustrated by some direct applications.

Practical Stability and Vector-Lyapunov Functions for Impulsive Differential Equations with "Supremum"

Stability of nonlinear impulsive differential equations with "supremum" is studied. A special type of stability, combining two different measures and a dot product on a cone, is defined. Perturbing cone-valued piecewise continuous Lyapunov functions have been applied. Method of Razumikhin as well as comparison method for scalar impulsive ordinary differential equations have been employed.

An Analog of the Tricomi Problem for a Mixed Type Equation with a Partial Fractional Derivative

Mathematics Subject Classification 2010: 35M10, 35R11, 26A33, 33C05, 33E12, 33C20.