7623 search results - page 1097 / 1525 » Constructive Volume Modeling |
211
click to vote
LFCS
1992
Springer
15 years 11 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
182
Voted
CRYPTO
1989
Springer
15 years 11 months ago
1989
Springer
Abstract. In this paper, we provide a new approach to study undeniable signatures by translating secure digital signatures to secure undeniable signatures so that the existing algo...
139
click to vote
PNPM
1989
15 years 11 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
169
Voted
PKC
2010
Springer
15 years 10 months ago
2010
Springer
Network coding is a method for achieving channel capacity in networks. The key idea is to allow network routers to linearly mix packets as they traverse the network so that recipi...
193
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
![Visualizing Elements of Sha[3] in Genus 2 Jacobians](http://sciweavers.com/files/imagecache/thumbnail/default/content.jpg "Visualizing Elements of Sha[3] in Genus 2 Jacobians")
Abstract. Mazur proved that any element ξ of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in...