Sciweavers

1296 search results - page 71 / 260
» The Number Field Sieve
Sort
View
ICPR
2000
IEEE
15 years 5 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
98
Voted
ANTS
2006
Springer
118views Algorithms» more  ANTS 2006»
15 years 4 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»
15 years 1 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...
88
Voted
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 1 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
15 years 29 days 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