Sciweavers

928 search results - page 141 / 186
» Complexity of Self-assembled Shapes
Sort
View
SIPS
2008
IEEE
14 years 3 months ago
Multi-mode sub-Nyquist rate digital-to-analog conversion for direct waveform synthesis
This paper describes the sub-Nyquist rate digital-to-analog conversion technique for a direct waveform synthesis (DWS) transmitter. IEEE 802.22 TV band Cognitive Radio (CR) transm...
Stanley Yuan-Shih Chen, Nam-Seog Kim, Jan M. Rabae...
WCRE
2008
IEEE
14 years 3 months ago
Consistent Layout for Thematic Software Maps
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...
Adrian Kuhn, Peter Loretan, Oscar Nierstrasz
ISBI
2007
IEEE
14 years 3 months ago
Automatic Segmentation of Nuclei in 3d Microscopy Images of C.Elegans
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
Fuhui Long, Hanchuan Peng, Eugene W. Myers
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
14 years 3 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
ECAL
2007
Springer
14 years 3 months ago
Folding Protein-Like Structures with Open L-Systems
Abstract. Proteins, under native conditions, fold to specific 3D structures according to their 1D amino acid sequence, which in turn is defined by the genetic code. The specific...
Gemma B. Danks, Susan Stepney, Leo S. D. Caves