3820 search results - page 228 / 764 » Bounded Model Debugging |
114
Voted
MOC
1998
15 years 3 months ago
1998
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
115
Voted
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
We prove that Tandem-DM, one of the two “classical” schemes for turning a blockcipher of 2n-bit key into a double block length hash function, has birthday-type collision resist...
107
click to vote
TOC
2008
15 years 3 months ago
2008
Abstract: We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time propor...
94
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we first present a uniformity property that characterises optimal channel assignments for networks arranged as cellular or square grids. Then, we present optimal ch...
135
click to vote
MICCAI
1998
Springer
15 years 7 months ago
1998
Springer
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...