From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 Synthesis and Planning was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas ...

Article history: Received 10 November 2015 Accepted 9 December 2015 Available online 15 December 2015 Editor: M. Cvetič We present manifestly duality invariant, non-linear, equations of motion for maximal depth, partially massless higher spins. These are based on a first order, Maxwell-like formulation of the known partially massless systems. Our models mimic Dirac–Born–Infeld theory but it is ...

In this paper, we introduce some new classes of proximal contraction mappings and establish  best proximity point theorems for such kinds of mappings in a non-Archimedean fuzzy metric space. As consequences of these results, we deduce certain new best proximity and fixed point theorems in partially ordered non-Archimedean fuzzy metric spaces. Moreover, we present an example to illustrate the us...

We analyze the asymptotic behavior of agents engaged in an infinite horizon partially observable stochastic game as formalized by the interactive POMDP framework. We show that when agents’ initial beliefs satisfy a truth compatibility condition, their behavior converges to a subjective ǫ-equilibrium in a finite time, and subjective equilibrium in the limit. This result is a generalization of a ...

Partially observable planning is one of the most general and useful models for dealing with complex problems. In recent years there have been significant progress on the development of planners for deterministic models that offer strong theoretical guarantees over certain subclasses of tasks. These guarantees however are difficult to establish as they often involve reasoning about features that...

Pain is a complex process in the central nervous system (CNS). Several factors can alter the pain threshold and insulin is one of them which is produced by the beta cells of pancreas and capable of crossing blood-brain barrier. The aim of this study was to evaluate the effects of intra-cerebroventricular (ICV) injection of insulin on the pain response to formalin in short-term induced diabetic ...

Band theory for partially coherent light is introduced by using the formalism of second-order classical coherence under paraxial approximation. It demonstrated that cross-spectral density function, describing correlations between pairs points in field, can have bands and gaps form a correlation band structure. The propagation beam non-Hermitian periodic structures considered to elucidate interp...