9166 search results - page 370 / 1834 » A framework for comparing models of computation |
186
click to vote
EUROCRYPT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
153
click to vote
TCS
1998
15 years 6 months ago
1998
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
167
click to vote
PR
2007
15 years 6 months ago
2007
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
163
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Protein conformation and protein/protein interaction can be elucidated by solution-phase Hydrogen/ Deuterium exchange (sHDX) coupled to high-resolution mass analysis o...
208
click to vote
PE
2011
Springer
15 years 1 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...