Sciweavers

3680 search results - page 425 / 736
» cases 2010
Sort
View
JCC
2011
87views more  JCC 2011»
15 years 2 months ago
NUPACK: Analysis and design of nucleic acid systems
: The Nucleic Acid Package (NUPACK) is a growing software suite for the analysis and design of nucleic acid systems. The NUPACK web server (http://www.nupack.org) currently enables...
Joseph N. Zadeh, Conrad Steenberg, Justin S. Bois,...
PQCRYPTO
2010
250views Cryptology» more  PQCRYPTO 2010»
15 years 11 months ago
Strongly Unforgeable Signatures and Hierarchical Identity-Based Signatures from Lattices without Random Oracles
Abstract. We propose a variant of the “bonsai tree” signature scheme, a latticebased existentially unforgeable signature scheme in the standard model. Our construction offers ...
Markus Rückert
ICASSP
2010
IEEE
15 years 7 months ago
Recognition of phonemes and words in singing
This paper studies the influence of n-gram language models in the recognition of sung phonemes and words. We train uni-, bi-, and trigram language models for phonemes and bi- and...
Annamaria Mesaros, Tuomas Virtanen
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 7 months ago
Distributed Control of the Laplacian Spectral Moments of a Network
It is well-known that the eigenvalue spectrum of the Laplacian matrix of a network contains valuable information about the network structure and the behavior of many dynamical proc...
Victor M. Preciado, Michael M. Zavlanos, Ali Jadba...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 7 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara