In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...

lstituto Beni Culturali (Institute for Cultural Heritage) is the cultural institution of Regione Emilia Romagna. IBC web site [6] has been completely revised in cooperation with Hypermedia Open Center [S], the laboratory of the Electronics and Information Department at Politecnico di Milano. We adopted W2000 model for requirements analysis and for the analysis and organization of the applicatio...

This paper introduces the concept of a dynamic key infrastructure for Grid. It utilises the properties of Identity-based Cryptography (IBC) to simplify key management techniques used in current Public Key Infrastructure (PKI) settings for Grid. This approach can offer greater simplicity, flexibility, and enhanced computation trade-offs.

The evolution of building codes typically produce design provisions that are expected to create safer and more accurate designs. We as engineers expect building codes to advance the state of the art with each successive edition. The 2009 International Building Code (IBC) and the Building Code Requirements for Structural Concrete (ACI 318-08) have significant revisions affecting the design of ti...

This paper estimates reduced-form Phillips curves for Brazil with a framework of time series with unobserved components, in the spirit of Harvey (2011). However, we allow for expectations to play a key role using data from the Central Bank of Brazil’s Focus survey. Besides GDP, we also use industrial capacity utilization rate and IBC-Br index, as measures of economic activity. Our findings supp...

To improve accuracy and reliability, Boolean combination (BC) can efficiently integrate the responses of multiple biometric systems in the ROC space. However, BC techniques assume that recognition systems are conditionally-independent and that their ROC curves are convex. These assumptions are rarely valid in practice, where systems face complex environments, and are designed using limited enro...