20573 search results - page 339 / 4115 » The Computer's New Clothes |
141
click to vote
ICARIS
2005
Springer
16 years 10 days ago
2005
Springer
We propose to develop a theoretical basis and experimental simulator of the first Immune-Computer (IC) as a new kind of biomolecular computer. This IC will be able to control a fra...
175
click to vote
AVI
2010
15 years 8 months ago
2010
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...
171
click to vote
TCC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
172
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
142
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...