We consider the iterated belief change that occurs following an alternating sequence of actions and observations. At each instant, an agent has some beliefs about the action that ...
Contextual information such as spatial location can significantly enhance the utility of mobile applications. We introduce the concept of active preferences that represent a comb...
A stent device is a permanent metallic implant currently used to prop open arteries blocked with atherosclerotic plaques. Many classes of stents are available and mainly differ b...
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
- A new system of curriculum evaluation of formative assessment has been established in secondary education system in China for seven years. Attention has been given to teaching an...