Sciweavers

5608 search results - page 64 / 1122
» On the Theory of Matchgate Computations
Sort
View
GC
2007
Springer
15 years 1 months ago
Some Recent Progress and Applications in Graph Minor Theory
Ken-ichi Kawarabayashi, Bojan Mohar
CIE
2009
Springer
15 years 5 months ago
The First Order Theories of the Medvedev and Muchnik Lattices
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
Andrew Lewis, André Nies, Andrea Sorbi
GC
2004
Springer
15 years 6 months ago
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
Andrea Bracciali, Neophytos Demetriou, Ulrich Endr...
CIE
2005
Springer
15 years 7 months ago
Computability in Computational Geometry
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
Abbas Edalat, Ali Asghar Khanban, André Lie...
CHI
2007
ACM
16 years 1 months ago
In-between theory and practice: dialogues in design research
Arianna Bassoli, Johanna Brewer, Karen Martin