1679 search results - page 27 / 336 » Strong order equivalence |
113
click to vote
ASIACRYPT
2010
Springer
14 years 12 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...
123
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
116
click to vote
TLCA
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—This paper presents a system for in situ atmospheric sensing using an aerial robot system in the presence of a strong wind field. The geostatistical concept of the vari...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The continuous increasing in performance requirements, for both scientic computation and industry, motivates the need of a powerful computing infrastructure. The Grid appeared as ...