The fundamental aspects of ab-initio simulations of materials properties and of processes in materials based on density-functional theory, and their implementation at various leve...
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
The main purpose of the paper is to explore and discuss the influence of product type on customer interaction in electronic commerce. We have conducted two qualitative case studie...
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...