Sciweavers

1296 search results - page 71 / 260
» The Number Field Sieve
Sort
View
78
Voted
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
93
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
101
Voted
BMCBI
2008
99views more  BMCBI 2008»
15 years 24 days 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»
15 years 23 days 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 18 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