Sciweavers

232 search results - page 13 / 47
» Twenty Years Later
Sort
View
CRYPTO
2010
Springer
167views Cryptology» more  CRYPTO 2010»
13 years 8 months ago
Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
Ivan Damgård, Claudio Orlandi
DAM
2007
79views more  DAM 2007»
13 years 7 months ago
Necessary conditions for multistationarity in discrete dynamical systems
R. Thomas conjectured, twenty years ago, that the presence of a positive circuit in the interaction graph of a dynamical system is a necessary condition for the presence of severa...
Adrien Richard, Jean-Paul Comet
CCE
2004
13 years 7 months ago
Retrospective on optimization
In this paper we provide a general classification of mathematical optimization problems, followed by a matrix of applications that shows the areas in which these problems have bee...
Lorenz T. Biegler, Ignacio E. Grossmann
FSTTCS
2010
Springer
13 years 5 months ago
Computing Rational Radical Sums in Uniform TC^0
A fundamental problem in numerical computation and computational geometry is to determine the sign of arithmetic expressions in radicals. Here we consider the simpler problem of d...
Paul Hunter, Patricia Bouyer, Nicolas Markey, Jo&e...
DDECS
2007
IEEE
106views Hardware» more  DDECS 2007»
14 years 1 months ago
A Proposal for ASM++ Diagrams
– Algorithmic State Machines are a 40-year old tool for the design of digital circuits. They are a good alternative to Finite State Machines, where only states can be properly de...
Santiago De Pablo, Santiago Cáceres, Jes&ua...