29082 search results - page 339 / 5817 » The Time-Triggered Model of Computation |
193
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In secure multi-party computation n parties jointly evaluate an n-variate function f in the presence of an adversary which can corrupt up till t parties. All honest parties are req...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
198
click to vote
AMC
2006
15 years 6 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
136
click to vote
FUIN
2008
15 years 6 months ago
2008
In this paper, we investigate the computational efficiency of gene rearrangement operations found in ciliates, a type of unicellular organisms. We show how the so-called guided re...
148
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: Our goal is to develop accurate electrostatic models that can be implemented in current computational protein design protocols. To this end, we improve upon a previously ...