This paper addresses the uniform random generation of words from a context-free language (over an alphabet of size k), while constraining every letter to a targeted frequency of occurrence. Our approach consists in a multidimensional extension of Boltzmann samplers [7]. We show that, under mostly strong-connectivity hypotheses, our samplers return a word of size in [(1− ε)n, (1 + ε)n] and exact...

We consider reachability objectives on an extension of stochastic timed automata (STA) with nondeterminism. Decision stochastic timed automata (DSTA) are Markov decision processes based on timed automata where delays are chosen randomly and choices between enabled edges are nondeterministic. Given a reachability objective, the value 1 problem asks whether a target can be reached with probabilit...

Sensitivity measurements performed on EVLA antenna #14 show that the cold-sky zenith system temperature is about 45K for the 18 – 26 GHz band, and 60 K for the low frequency end of the 40 – 50 GHz band, rising to 95 K at the high frequency end. Efficiency measurements based on the planet Venus show the antenna efficiency to be about 50% in the 18 – 26 GHz band, and about 28% for the 40 – 50 GHz...

Submodular maximization generalizes many fundamental problems in discrete optimization,including Max-Cut in directed/undirected graphs, maximum coverage, maximum facility loca-tion and marketing over social networks.In this paper we consider the problem of maximizing any submodular function subject to dknapsack constraints, where d is a fixed constant. We establish a strong ...

Abstract. One of modern global optimization algorithms is method Strongin and Piyavskii modified by Sergeev Kvasov diagonal approach. In recent paper we propose an extension this approach to continuous multivariable functions defined on the multidimensional parallelepiped. It known that applies only a Lipschitz function though it effectively extends one-dimensional algorithm case. So authors mo...

Abstract. Out of a right, circular cylinder Ωε of height H and cross-section a disc of radius R + σε one removes a stack of n ≈ H/ε parallel, equi-spaced cylinders C j, j = 1,2, . . . ,n, each of radius R and height νε. Here σ, ν are fixed positive numbers and ε is a positive parameter to be allowed to go to zero. The union of the C j almost fills Ωε in the sense that any two contiguous cylinde...

High-resolution image reconstruction arise in many applications, such as remote sensing, surveillance, and medical imaging. The model proposed by Bose and Boo [Int. J. Imaging Syst. Technol. 9 (1998) 294–304] can be viewed as passing the high-resolution image through a blurring kernel, which is the tensor product of a univariate low-pass filter of the form [1/2+ε,1, . . . ,1,1/2−ε], where ε is ...

the geometric-arithmetic index is another topological index was defined as2 deg ( )deg ( )( )deg ( ) deg ( )g guv eg gu vga gu v  , in which degree of vertex u denoted by degg (u). wenow define a new version of ga index as 4( )2 ε ( )ε ( )( )ε ( ) ε ( )g ge uv e g g gu vga g  u v , where εg(u) isthe eccentricity of vertex u. in this paper we compute this new topological index for twogr...

The aim of this study was the in vitro investigation of the change in mechanical properties of a fast-degrading electro-spun polymeric scaffold for the use in soft tissue regenerative implants. Tubular scaffolds were electro-spun from a DegraPol® D30 polyesther-urethane solution (target outer diameter: 5.0 mm; scaffold wall thickness: 0.99 ± 0.18 mm). Scaffold samples were subjected to hydrolyt...