The contribution deals with the Matlab application used for television colorimetry and color spaces analysis. The mathematical description of known color spaces (RGB, XYZ, YUV, YIQ, YCbCr, HSV, CMY, CMYK) is introduced including their reciprocal transformation. The application allows selection of input color image, direct and backward transformation into the selected space including MKO, CIE an...

Taking the specific problem domain of indefinite integration, we describe the on-going development of a repository of mathematical knowledge based on transformation rules. It is important that the repository be not confused with a look-up table. The database of transformation rules is at present encoded in Mathematica, but this is only one convenient form of the repository, and it could be read...

Tutorial material for FME'96: The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. The tutorial focuses on the need to link the diierent formalisms that are used in a development path from speciication of requirements to executable programs or specialized hardware. General linking paradigms for com...

The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we describe a class of invisible reservoirs and amplifiers for waves, which we refer to as Schrödinger hats. The unifying mathematical principle on which these are based admits such devices for any time harmonic waves modeled by either the Helmholtz or Schrödinger ...

Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a solution to an optimization problem. In mathematical programming, however, a considerable amount of symbolic transformation is essential to solving difficult optimization problems, e.g. relaxation or decomposition techniques. This...

This paper describes two ways to transform propositional clauses into mathematical constraints, and gives an overview of mathematical optimization approaches to inference. The first transformation, which translates constraints into linear inequalities, has been applied to cost-based abduction in the past and showed good performance. The second one, which produces nonlinear equalities, is common...

We present a simple mathematical model and numerical simulations of the hexagonal pattern formation of a honeycomb using the immersed boundary method. In our model, we assume that the cells have a circular shape at their birth and there is force acting upon the entire circumference of the cell. The net force from the individual cells is a key factor in their transformation from a circular shape...

We propose an original model for noise analysis, transformation, and synthesis: the CNSS model. Noisy sounds are represented with short-time sinusoids whose frequencies and phases are random variables. This spectral and statistical model represents information about the spectral density of frequencies. This perceptually relevant property is modeled by three mathematical parameters that define t...

This paper presents a mathematical model for the test selection problem in protocol conformance testing, the goal of which is to select a suitable test set from a given test suite. The problem is described together with its mathematical formulation including two optimization problems and four different models for the coverage. The test selection problem is shown to be NP-hard. The Integer Progr...

Watershed Transformation in mathematical morphology is a powerful tool for image segmentation. Watershed transformation based segmentation is generally marker controlled segmentation. In the last decade medical image processing is immerged as one of the major area of research .In medical science, Magnetic Resonance Imaging(MRI) is a very popular technique used in details.MRI provides good contr...