Indexical beliefs pose a special problem for standard theories of bayesian updating. Sometimes we are uncertain about our location in time and space. How are we to update our beliefs in situations like these? In a stepwise fashion, I develop a constraint on the dynamics of indexical belief. As an application, the suggested constraint is brought to bear on the Sleeping Beauty problem.

abstract rosa damascena has attracted considerable attention in horticulture, biochemistry and in pharmacology because of the fragrance of the flowers and the high content of its bio-logically active substances. there is limited information available on factors controlling flower yield and its components. the present study reports an investigation on flower yield and the various factors affect...

Silver K edge extended X-ray absorption fine structure (EXAFS) spectroscopy of films containing silver behenate (AgBeh) in the unprocessed, fully processed, and step-processed states has been performed. The results of the EXAFS analysis indicate that the intensity for the real-space peak for the Ag-O distance (~2.3 Å) decreases while the real-space peak for the AgAg distance (~2.9 Å) grows with...

Paddystem borer (Scirpophaga incertulas) is a serious rice pest. The damaged plants wither into dead tassel or white tassel. Such damage leads to decreased in rice production. In order to control the damages of paddystem borer efficiency, it is very important to analyze and study the regulation of population dynamics and the related factors affecting the development. This investigated the popul...

Quantification is well known to be a major ob­ stacle in the construction of a probabilistic net­ work, especially when relying on human experts for this purpose. The construction of a qualitative probabilistic network has been proposed as an initial step in a network's quantification, since the qualitative network can be used to gain prelimi­ nary insight in the projected network's reasoning b...

The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand or costs or damages whatsoever or howsoever caused...

We present a general strategy for stepwise, sound and progressive synthesis of logic programs from specifications by examples and properties. We particularize this to schema-guided synthesis, and state a generic synthesis theorem. We justify some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is i...

In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.

An approach for guiding the construction of use case specifications is presented. A use case specification comprises contextual information of the use case, its change history, the complete graph of possible pathways, attached requirements and open issues. The proposed approach delivers a use case specification as an unambiguous natural language text. This is done by a stepwise and guided proce...