Sciweavers

1296 search results - page 71 / 260
» The Number Field Sieve
Sort
View
ICPR
2000
IEEE
14 years 3 months ago
Pen Computing: Challenges and Applications
Pen computing as afield broadly includes computers and applications in which a pen is the main input device. This field continues to draw a lot of attention from researchers becau...
Jayashree Subrahmonia, Thomas Zimmerman
ANTS
2006
Springer
118views Algorithms» more  ANTS 2006»
14 years 2 months ago
Computation of Locally Free Class Groups
We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to prese...
Werner Bley, Robert Boltje
BMCBI
2008
99views more  BMCBI 2008»
13 years 11 months ago
Towards a lightweight generic computational grid framework for biological research
Background: An increasing number of scientific research projects require access to large-scale computational resources. This is particularly true in the biological field, whether ...
Mark D. Halling-Brown, David S. Moss, Adrian J. Sh...
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 11 months ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui
TCS
2008
13 years 11 months ago
An annotated bibliography on guaranteed graph searching
Graph searching encompasses a wide variety of combinatorial problems related to the problem of capturing a fugitive residing in a graph using the minimum number of searchers. In t...
Fedor V. Fomin, Dimitrios M. Thilikos