Sciweavers

5105 search results - page 1016 / 1021
» Approximate Structural Consistency
Sort
View
JCST
2010
198views more  JCST 2010»
13 years 3 months ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
JNSM
2010
166views more  JNSM 2010»
13 years 3 months ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
JOCN
2010
102views more  JOCN 2010»
13 years 3 months ago
The Interplay between Prosody and Syntax in Sentence Processing: The Case of Subject- and Object-control Verbs
This study addresses the question whether prosodic information can affect the choice for a syntactic analysis in auditory sentence processing. We manipulated the prosody (in the f...
Sara Bögels, Herbert Schriefers, Wietske Vonk...
NAR
2010
281views more  NAR 2010»
13 years 3 months ago
PDBselect 1992-2009 and PDBfilter-select
PDBselect (http://bioinfo.tg.fh-giessen.de/pdb select/) is a list of representative protein chains with low mutual sequence identity selected from the protein data bank (PDB) to e...
Sven Griep, Uwe Hobohm
SYMMETRY
2010
109views more  SYMMETRY 2010»
13 years 3 months ago
Asymmetry and Symmetry in the Beauty of Human Faces
: The emphasis in the published literature has mostly been on symmetry as the critical source for beauty judgment. In fact, both symmetry and asymmetry serve as highly aesthetic so...
Dahlia W. Zaidel, Marjan Hessamian
« Prev « First page 1016 / 1021 Last » Next »