Sciweavers

3890 search results - page 319 / 778
» Computation of unirational fields
Sort
View
APLAS
2007
ACM
15 years 11 months ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch
205
Voted
EUROCRYPT
2000
Springer
15 years 11 months ago
An Algorithm for Solving the Discrete Log Problem on Hyperelliptic Curves
We present an index-calculus algorithm for the computation of discrete logarithms in the Jacobian of hyperelliptic curves defined over finite fields. The complexity predicts that i...
Pierrick Gaudry
171
Voted
COLT
2008
Springer
15 years 9 months ago
Learning from Collective Behavior
Inspired by longstanding lines of research in sociology and related fields, and by more recent largepopulation human subject experiments on the Internet and the Web, we initiate a...
Michael Kearns, Jennifer Wortman
FECS
2007
199views Education» more  FECS 2007»
15 years 9 months ago
Identifying Neurologic Music Therapy Techniques Amenable to Automation
- Neurologic Music Therapy (NMT) can improve deficiencies in speech, motor, and cognitive skills. This paper introduces the field to computer scientists by explaining the rationale...
Billy Harris
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 7 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