5401 search results - page 336 / 1081 » Using Versions in GIS |
216
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
174
click to vote
CDES
2006
15 years 8 months ago
2006
Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates ...
176
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
It is well known that unconditionally secure bit commitment is impossible even in the quantum world. In this paper a weak variant of quantum bit commitment, introduced independent...
191
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Joint alignment and secondary structure prediction of two RNA sequences can significantly improve the accuracy of the structural predictions. Methods addressing this p...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Due to its optimality on a single machine for the problem of minimizing average flow time, ShortestRemaining-Processing-Time (SRPT) appears to be the most natural algorithm to con...