Sciweavers

5005 search results - page 660 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
ISMB
2000
15 years 8 months ago
Computation and Visualization of Degenerate Repeats in Complete Genomes
The repetitive structure of genomic DNA holds many secrets to be discovered. A systematic study of repetitive DNA on a genomic or inter-genomic scale requires extensive algorithmi...
Stefan Kurtz, Enno Ohlebusch, Chris Schleiermacher...
ENGL
2008
80views more  ENGL 2008»
15 years 6 months ago
Controlled Permanent Magnet Drives
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
C. Grabner
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
IJSYSC
1998
93views more  IJSYSC 1998»
15 years 6 months ago
A new adaptive control scheme with arbitrary nonlinear inputs
This paper presents a new analysis and design method for model reference adaptive control(MRAC) with arbitrary bounded input nonlinearities. The adaptive algorithm ensures that th...
Wen Yu, Manuel de la Sen
TSP
2010
15 years 1 months ago
Timing estimation and resynchronization for amplify-and- forward communication systems
Abstract--This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms...
Xiao Li, Chengwen Xing, Yik-Chung Wu, S. C. Chan