8512 search results - page 12 / 1703 » Computing Theory With Relevance |
PUC
2000
2000
Mobile Computers in a Community NHS Trust: Is this a Relevant Context and Environment for their Use?
13 years 7 months ago
This paper describes a case study in which mobile computers were used by a UK NHS Trust. The intention was to give clinicians access to up to date patient data enabling them to be...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
This paper describes CyberCivics, a novel approach to computer science outreach that integrates hands-on computing experiences with the study of contemporary social and political ...
ACMMPC
2000
Springer
14 years 9 days ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
ACS
2007
13 years 8 months ago
2007
We present various results of the last twenty years converging towards a homotopical theory of computation. This new theory is based on two crucial notions : polygraphs (introduce...
BSL
2006
13 years 8 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...