Page 1 Next

Displaying 1 – 20 of 94

Showing per page

Back Matter

(2008)

Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008

Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers

Ondřej Turek (2007)

RAIRO - Theoretical Informatics and Applications

In this paper we will deal with the balance properties of the infinite binary words associated to β-integers when β is a quadratic simple Pisot number. Those words are the fixed points of the morphisms of the type ϕ ( A ) = A p B , ϕ ( B ) = A q for p , q , p q , where β = p + p 2 + 4 q 2 . We will prove that such word is t-balanced with t = 1 + ( p - 1 ) / ( p + 1 - q ) . Finally, in the case that p < q it is known [B. Adamczewski, Theoret. Comput. Sci.273 (2002) 197–224] that the fixed point of the substitution ϕ ( A ) = A p B , ϕ ( B ) = A q is not m-balanced for any m. We exhibit an infinite sequence...

Balanced problems on graphs with categorization of edges

Štefan Berežný, Vladimír Lacko (2003)

Discussiones Mathematicae Graph Theory

Suppose a graph G = (V,E) with edge weights w(e) and edges partitioned into disjoint categories S₁,...,Sₚ is given. We consider optimization problems on G defined by a family of feasible sets (G) and the following objective function: L ( D ) = m a x 1 i p ( m a x e S i D w ( e ) - m i n e S i D w ( e ) ) For an arbitrary number of categories we show that the L₅-perfect matching, L₅-a-b path, L₅-spanning tree problems and L₅-Hamilton cycle (on a Halin graph) problem are NP-complete. We also summarize polynomiality results concerning above objective functions for arbitrary...

Balances and Abelian Complexity of a Certain Class of Infinite Ternary Words

Ondřej Turek (2010)

RAIRO - Theoretical Informatics and Applications

A word u defined over an alphabet 𝒜 is c-balanced (c∈ ) if for all pairs of factors v, w of u of the same length and for all letters a∈ 𝒜 , the difference between the number of letters a in v and w is less or equal to c. In this paper we consider a ternary alphabet 𝒜 = {L, S, M} and a class of substitutions ϕ p defined by ϕ p (L) = LpS, ϕ p (S) = M, ϕ p (M) = Lp–1S where p> 1. We prove that the fixed point of ϕ p , formally written as ϕ p (L), is 3-balanced and that its Abelian complexity is bounded above by...

Bar k -visibility graphs.

Dean, Alice M., Evans, William, Gethner, Ellen, Laison, Joshua D., Safari, Mohammad Ali, Trotter, William T. (2007)

Journal of Graph Algorithms and Applications

Batch scheduling problem with due-date and fuzzy precedence relation

Xuesong Li, Hiroaki Ishii, Minghao Chen (2012)

Kybernetika

A single-machine batch scheduling problem is investigated. Each job has a positive processing time and due-date. Setup times are assumed to be identical for all batches. All batch sizes cannot exceed a common upper bound. As in many practical situations, jobs have to be subject to flexible precedence constraints. The aim of this paper is to find an optimal batch sequence. The sequence is to minimize the maximal completion time and maximize the minimum value of desirability of the fuzzy precedence....

Bayesian estimation of mixtures with dynamic transitions and known component parameters

Ivan Nagy, Evgenia Suzdaleva, Miroslav Kárný (2011)

Kybernetika

Probabilistic mixtures provide flexible “universal” approximation of probability density functions. Their wide use is enabled by the availability of a range of efficient estimation algorithms. Among them, quasi-Bayesian estimation plays a prominent role as it runs “naturally” in one-pass mode. This is important in on-line applications and/or extensive databases. It even copes with dynamic nature of components forming the mixture. However, the quasi-Bayesian estimation relies on mixing via constant...

Bayesian inference and optimal release times. For two software failure models

W. P. Wiper, D. Ríos Insua, R. Hierons (1998)

Revista de la Real Academia de Ciencias Exactas Físicas y Naturales

We carry out Bayesian inference for the Jelinski-Moranda and Littlewood software failure models given a sample of failure times. Furthermore, we illustrate how to assess the optimal length of an additional pre-release testing period under each of these models. Modern Bayesian computational methods are used to estimate the posterior expected utility of testing for and additional time.

bdim: the Italian Digital Mathematical Library

Coti Zelati, Vittorio (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

We present bdim (Bibliteca Digitale Italiana di Matematica) the Italian project of math digitization. The project has been started by SIMAI (Società Italiana di Matematica Applicata e Industriale) and UMI (Unione Matematica Italiana) with initial support from the Biblioteca Digitale Italiana and the Italian Ministry of Beni and Attività Culturali and with the help of Numdam. At the moment bdim consists of approximately 1,300 articles, 11,000 pages (articles from Bollettino Unione Matematica Italiana,...

Currently displaying 1 – 20 of 94

Page 1 Next