5510 search results - page 298 / 1102 » Mathematics |
148
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
Let n/d ∈ Q, m be a positive integer and let u = n/d mod m. Thus u is the image of a rational number modulo m. The rational reconstruction problem is; given u and m find n/d.
142
click to vote
JCDCG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Musical rhythm is considered from the point of view of geometry. The interaction between the two fields yields new insights into rhythm and music theory, as well as new ...
146
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a mathematical analysis of the ripple voltage caused by a mismatch in parasitic capacitances in multi-phase, clocked charge pumps. Through detailed circuit mod...
149
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
We provide a polymorphic framework for radix-n Fast Fourier Transforms (FFTs) where all known kinds of monomoporhic radix-n algorithms can be obtained by specialization. The framew...
184
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...