1679 search results - page 27 / 336 » Strong order equivalence |
ASIACRYPT
2010
Springer
13 years 7 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...
CORR
2007
Springer
13 years 9 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...
TLCA
1999
Springer
14 years 2 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
14 years 4 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
13 years 10 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 ...