7404 search results - page 354 / 1481 » New Tools in Education |
137
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
154
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or mor...
176
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
A new random geometric graph model, the so-called secrecy graph, is introduced and studied. The graph represents a wireless network and includes only edges over which secure commun...
161
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We reexamine fundamental problems from computational geometry in the word RAM model, where input coordinates are integers that fit in a machine word. We develop a new algorithm fo...
116
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract: This document contains the Intellectual Property Statement and the technical description of the MQQ-SIG - a new public key digital signature scheme. The complete scientif...