Sciweavers

5510 search results - page 171 / 1102
» Mathematics
Sort
View
GECCO
2006
Springer
147views Optimization» more  GECCO 2006»
15 years 7 months ago
Generalized cycle crossover for graph partitioning
We propose a new crossover that generalizes cycle crossover to permutations with repetitions and naturally suits partition problems. We tested it on graph partitioning problems ob...
Alberto Moraglio, Yong-Hyuk Kim, Yourim Yoon, Byun...
125
Voted
MPC
2000
Springer
113views Mathematics» more  MPC 2000»
15 years 7 months ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
Richard Bornat
ISSAC
1995
Springer
93views Mathematics» more  ISSAC 1995»
15 years 7 months ago
Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial
We present an efficient algorithm for testing whether a given integral polynomial has two distinct roots a, B such that fflp is a root of unity. The test is based on results obtai...
Kazuhiro Yokoyama, Ziming Li, István Nemes
111
Voted
EUROCAL
1987
115views Mathematics» more  EUROCAL 1987»
15 years 7 months ago
Number-theoretic transforms of prescribed length
Abstract. A new constructive method for finding all convenient moduli m for a number-theoretic transform with given length N and given primitive Nth root of unity modulo m is prese...
Reiner Creutzburg, Manfred Tasche
BIOCOMP
2008
15 years 5 months ago
Combinations of Context-Free Shifts and Shifts of Finite Type
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzki...
Hiroshi Kamabe