Sciweavers

1399 search results - page 9 / 280
» Multi-party Finite Computations
Sort
View
CIE
2008
Springer
13 years 11 months ago
Computable Categoricity of Graphs with Finite Components
A computable graph is computably categorical if any two computable presentations of the graph are computably isomorphic. In this paper we investigate the class of computably catego...
Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu
IEEECGIV
2008
IEEE
14 years 4 months ago
A Product Design Using an S-Shaped and C-Shaped Transition Curves
The focus of this paper is to design a spur gear using an S-shaped transition curve where certain conditions need to be fulfilled such as curvature continuity, shaped parameter etc...
Saifudin Hafiz Yahaya, Jamaludin Md Ali, Muhammad ...
LFP
1992
78views more  LFP 1992»
13 years 11 months ago
A Syntactic Approach to Fixed Point Computation on Finite Domains
We propose a syntactic approach to performing fixed point computation on finite domains. Finding fixed points in finite domains for monotonic functions is an essential task when c...
Tyng-Ruey Chuang, Benjamin Goldberg
MOC
2000
78views more  MOC 2000»
13 years 9 months ago
Using number fields to compute logarithms in finite fields
We describe an adaptation of the number field sieve to the problem of computing logarithms in a finite field. We conjecture that the running time of the algorithm, when restricted ...
Oliver Schirokauer
CCA
2005
Springer
13 years 11 months ago
Computable Versions of Basic Theorems in Functional Analysis
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
Atsushi Yoshikawa, Mariko Yasugi