7924 search results - page 237 / 1585 » Non-Malleable Functions and Their Applications |
173
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
178
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
179
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
206
click to vote
IJCAI
2001
15 years 8 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
237
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...