1969 search results - page 40 / 394 » Financial Theory 1 |
MLQ
2000
13 years 8 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Emotion has been identified as a salient dimension of organizational life and this has led to the emergence of a growing body of literature that suggests its importance to a wide ...
ICWL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper calls on activity theory as tool for analyzing Asynchronous Learning Networks (ALN) to achieve a better understanding of their dynamics. This paper makes some ...
PADL
2004
Springer
14 years 2 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...