7988 search results - page 282 / 1598 » A Useful Undecidable Theory |
148
click to vote
DM
2007
15 years 5 months ago
2007
Natural Dowling analogues of the complex of phylogenetic trees are studied. Using discrete Morse theory, we find their homotopy types. In the process, the homotopy types of certai...
178
click to vote
LOGCOM
2008
15 years 5 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
120
click to vote
FIRSTMONDAY
2007
15 years 5 months ago
2007
This paper uses literature on hypertext theory to evaluate our reading strategies in an online environment. Assessing the impact of digital technology on our educational environme...
120
click to vote
ORDER
2008
15 years 5 months ago
2008
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean al...
135
click to vote
IJMMS
2007
15 years 5 months ago
2007
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...