The complexity class of Πpk-Polynomial Local Search (PLS) problems with Πp` -goal is introduced, and is used to give new characterisations of definable search problems in fragments of Bounded Arithmetic. The characterisations are established via notations for propositional proofs obtained by translating Bounded Arithmetic proofs using the Paris-Wilkie-translation. For ` ≤ k, the Σ`+1-definable ...

Multiagent systems o er a new paradigm where learning techniques can be useful. We focus on the application of lazy learning to multiagent systems where each agents learns individually and also learns when to cooperate in order to improve its performance. We show some experiments in which CBR agents use an adapted version of LID (Lazy Induction of Descriptions), a CBR method for classi cation. ...

We consider teams of mobile autonomous robot systems that coordinate their work via communication over a wireless local area network. In such a scenario, timely delivery and group support are the predominant requirements on the communication protocol. As the mobile robot systems are communicating via standard hardware, we base our work on the IEEE 802.11 standard for wireless local area network...

The Unified Modeling Language (UML) receives increasing attention by designers of real-time systems. Several approaches already extend the UML notation for modeling real-time applications. In this context, it is essential to be able to specify time-bounded temporal constraints as a prerequisite to validate a model for correct system behavior. But currently, UML and corresponding extensions only...

In this paper, we discuss some properties of joint spectral {radius(jsr)} and  generalized spectral radius(gsr)  for a finite set of upper triangular matrices with entries in a Banach algebra and represent relation between geometric and joint/generalized spectral radius. Some of these are in scalar matrices, but  some are different. For example for a bounded set of scalar matrices,$Sigma$, $r_*...

A common misconception is that alkaline textured silicon solar cell surfaces are characterised by features that are pyramidal and bounded by {111} planes. In preference to the typical approach of observing scanning electron microscope images, we analyse reflection distributions from various pyramidal textures and find that {111} faceted pyramids are a poor approximation to the features on such ...

This paper shows that realised power variation and its extension called realised bipower variation that we introduce here is somewhat robust to rare jumps. We demonstrate that in special cases realised bipower variation estimate integrated variance in stochastic volatility models, thus providing a model free and consistent alternative to realised variance. Its robustness property means that if ...

Are Wage and Employment Effects Robust to Alternative Minimum Wage Variables? A national minimum wage cannot explain variation in wages or employment across regions. Identification of the effect of the minimum wage separately from the effect of other variables on wages or employment requires regional variation. Many minimum wage variables with regional variation have been suggested in the liter...

In this paper, we establish some generalizations of weighted trapezoid inequality for mappings of bounded variation, and give several applications for r − moment, the expectation of a continuous random variable and the Beta mapping.