18 search results - page 4 / 4 » Further Reduction of Normal Forms and Unique Normal Forms of... |
SIAMAM
2011
13 years 1 months ago
2011
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
VMV
2003
13 years 7 months ago
2003
198 Triangles Std. Wire Frame 2 Triangles 32×32 Texture Finite element models used in crash worthiness simulations now contain more than one million mostly quadrilateral elements...