684 search results - page 9 / 137 » Requirements for an Elucidative Programming Environment |
BMCBI
2010
14 years 9 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...
BMCBI
2005
14 years 9 months ago
2005
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
105
click to vote
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
CSREAEEE
2006
14 years 10 months ago
2006
: This paper examines the re-development of university level web programming unit for delivery in a fully online mode. The unit, which teaches advanced xhtml, javascript, php and m...