Displaying 21 – 40 of 222

Showing per page

Parallélisation sémantique

P. Jouvelot, P. Feautrier (1990)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Parallelization of artificial immune systems using a massive parallel approach via modern GPUs

Khun, Jiří, Šimeček, Ivan (2015)

Programs and Algorithms of Numerical Mathematics

Parallelization is one of possible approaches for obtaining better results in terms of algorithm performance and overcome the limits of the sequential computation. In this paper, we present a study of parallelization of the opt-aiNet algorithm which comes from Artificial Immune Systems, one part of large family of population based algorithms inspired by nature. The opt-aiNet algorithm is based on an immune network theory which incorporates knowledge about mammalian immune systems in order to create...

Parametric families of fuzzy consequence operators.

Javier Elorza, Pedro Burillo (2004)

Mathware and Soft Computing

In a previous paper we explored the notion of coherent fuzzy consequence operator. Since we did not know of any example in the literature of non-coherent fuzzy consequence operator, we also showed several families of such operators. It is well-known that the operator induced by a fuzzy preorder through Zadeh's compositional rule is always a coherent fuzzy consequence operator. It is also known that the relation induced by a fuzzy consequence operator is a fuzzy preorder if such operator is coherent....

Parametric logarithmic type image processing for contrast based auto-focus in extreme lighting conditions

Corneliu Florea, Laura Florea (2013)

International Journal of Applied Mathematics and Computer Science

While most of state-of-the-art image processing techniques were built under the so-called classical linear image processing, an alternative that presents superior behavior for specific applications comes in the form of Logarithmic Type Image Processing (LTIP). This refers to mathematical models constructed for the representation and processing of gray tones images. In this paper we describe a general mathematical framework that allows extensions of these models by various means while preserving...

Pareto optimality in the kidney exchange problem

Viera Borbeľová, Katarína Cechlárová (2008)

Kybernetika

To overcome the shortage of cadaveric kidneys available for transplantation, several countries organize systematic kidney exchange programs. The kidney exchange problem can be modelled as a cooperative game between incompatible patient-donor pairs whose solutions are permutations of players representing cyclic donations. We show that the problems to decide whether a given permutation is not (weakly) Pareto optimal are NP-complete.

Parikh test sets for commutative languages

Štěpán Holub (2008)

RAIRO - Theoretical Informatics and Applications

A set T ⊆ L is a Parikh test set of L if c(T) is a test set of c(L). We give a characterization of Parikh test sets for arbitrary language in terms of its Parikh basis, and the coincidence graph of letters.

Parity vertex colorings of binomial trees

Petr Gregor, Riste Škrekovski (2012)

Discussiones Mathematicae Graph Theory

We show for every k ≥ 1 that the binomial tree of order 3k has a vertex-coloring with 2k+1 colors such that every path contains some color odd number of times. This disproves a conjecture from [1] asserting that for every tree T the minimal number of colors in a such coloring of T is at least the vertex ranking number of T minus one.

Parity vertex colouring of graphs

Piotr Borowiecki, Kristína Budajová, Stanislav Jendrol', Stanislav Krajci (2011)

Discussiones Mathematicae Graph Theory

A parity path in a vertex colouring of a graph is a path along which each colour is used an even number of times. Let χₚ(G) be the least number of colours in a proper vertex colouring of G having no parity path. It is proved that for any graph G we have the following tight bounds χ(G) ≤ χₚ(G) ≤ |V(G)|-α(G)+1, where χ(G) and α(G) are the chromatic number and the independence number of G, respectively. The bounds are improved for trees. Namely, if T is a tree with diameter diam(T) and radius rad(T),...

Partial covers of graphs

Jirí Fiala, Jan Kratochvíl (2002)

Discussiones Mathematicae Graph Theory

Given graphs G and H, a mapping f:V(G) → V(H) is a homomorphism if (f(u),f(v)) is an edge of H for every edge (u,v) of G. In this paper, we initiate the study of computational complexity of locally injective homomorphisms called partial covers of graphs. We motivate the study of partial covers by showing a correspondence to generalized (2,1)-colorings of graphs, the notion stemming from a practical problem of assigning frequencies to transmitters without interference. We compare the problems of...

Currently displaying 21 – 40 of 222