2086 search results - page 57 / 418 » Mathematical Theory Exploration |
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...
ACS
2004
13 years 8 months ago
2004
In this paper we continue the investigation of some aspects of descent theory for schemes that was begun in [11]. Let SCH be a category of schemes. We show that quasi-compact pure ...
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...