Keywords: Impulsive stochastic systems Integro-differential systems Schaefer's fixed point theorem Complete controllability a b s t r a c t This paper is concerned with the controllability of impulsive stochastic integro-differential systems. Sufficient conditions of complete controllability for impulsive stochastic integro-differential systems are obtained by using Schaefer's fixed point theor...

This paper describes Ckylark, a PCFG-LA style phrase structure parser that is more robust than other parsers in the genre. PCFG-LA parsers are known to achieve highly competitive performance, but sometimes the parsing process fails completely, and no parses can be generated. Ckylark introduces three new techniques that prevent possible causes for parsing failure: outputting intermediate results...

The theory of rational expectations (RE) is a collection of assumptions regarding the manner in which economic agents exploit available information to form their expectations. In its stronger forms, RE operates as a coordination device that permits the construction of a “representative agent” having “representative expectations.” Section 2 of these introductory notes on RE provides several alte...

The concept of geometric-arithmetic indices (GA) was put forward in chemical graph theory very recently. In spite of this, several works have already appeared dealing with these indices. In this paper we present lower and upper bounds on the second geometric-arithmetic index (GA2) and characterize the extremal graphs. Moreover, we establish Nordhaus-Gaddum-type results for GA2.

In the running time analysis of the algorithm Find and versions of it appear as limiting distributions solutions of some stochastic fixed points equation of the form X D = ∑ i AiXi ◦Bi +C on the space D of cadlag functions. The distribution of the D-valued process X is invariant by some random linear affine transformation of space and some random time change. We show the existence of solutions ...

The size distribution of land plots is a result of land allocation processes in the past. In the absence of regulation this is a Markov process leading an equilibrium described by a probabilistic equation used commonly in the insurance and financial mathematics. We support this claim by analyzing the distribution of two plot types, garden and build-up areas, in the Czech Land Registry pointing ...

New Schur stability checking method of the polynomial matrices whose coefficient matrix are interval matrices is presented in this paper. In the suggested method, the interval Markov matrices of the interval polynomial matrix are used to assess its stability. The validity of the suggested methods is illustrated through numerical examples. The main contribution of the suggested method is that it...

We propose a delayed random walk model of stochastic single neuron which has a delayed self{exciting feedback. Using computer simulation the model is studied to examine how the delay in the self{excitation aaects the bistable stochastic dynamics of the model neuron. It is found that progressive delay causes the width of two bimodal peaks of the stationary probability distribution to increase, a...

We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS are nondeterministic infinitely branching processes described by evolutions of integer-valued variables, subject to Presburger constraints of the form x−y ≥ k, where x and y are variables or constants and k ∈ N is a non-negati...

Studying the theoretical properties of optimization algorithms such as genetic and evolutionary strategies allows us to determine when they are suitable for solving a particular type problem. Such study consists three main steps. The first step is considering Stochastic Global Optimization Algorithms (SGoals ), i.e., iterative algorithm that applies stochastic operations set candidate solutions...