Sciweavers

5608 search results - page 49 / 1122
» On the Theory of Matchgate Computations
Sort
View
FUIN
2007
89views more  FUIN 2007»
15 years 1 months ago
Maurer Computers with Single-Thread Control
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
Jan A. Bergstra, C. A. Middelburg
106
Voted
CIE
2008
Springer
15 years 3 months ago
Perfect Local Computability and Computable Simulations
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
Russell Miller, Dustin Mulcahey

Lecture Notes
555views
16 years 11 months ago
Microeconomic Theory
These lecture notes cover several topics such as Consumer Theory Basics, The Traditional Approach To Consumer Theory, Topics in Consumer Theory, Producer Theory, Choice Under Unce...
Nolan H. Miller
LOGCOM
2010
120views more  LOGCOM 2010»
14 years 8 months ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
DKE
2002
218views more  DKE 2002»
15 years 1 months ago
Computing iceberg concept lattices with T
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas P...