Sciweavers

400 search results - page 79 / 80
» Moving Proofs-As-Programs into Practice
Sort
View
BMCBI
2007
109views more  BMCBI 2007»
13 years 5 months ago
TABASCO: A single molecule, base-pair resolved gene expression simulator
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...
Sriram Kosuri, Jason R. Kelly, Drew Endy
CN
2010
152views more  CN 2010»
13 years 5 months ago
An environment-aware mobility model for wireless ad hoc network
Simulation is a cost effective, fast and flexible alternative to test-beds or practical deployment for evaluating the characteristics and potential of mobile ad hoc networks. Sinc...
Sabbir Ahmed, Gour C. Karmakar, Joarder Kamruzzama...
CE
2008
102views more  CE 2008»
13 years 5 months ago
E-Science in the classroom - Towards viability
E-Science has the potential to transform school science by enabling learners, teachers and research scientists to engage together in authentic scientific enquiry, collaboration an...
Joshua Underwood, Hilary Smith, Rosemary Luckin, G...
CE
2008
95views more  CE 2008»
13 years 5 months ago
Enabling teachers to explore grade patterns to identify individual needs and promote fairer student assessment
Exploring student test, homework, and other assessment scores is a challenge for most teachers, especially when attempting to identify cross-assessment weaknesses and produce fina...
Sorelle A. Friedler, Yee Lin Tan, Nir J. Peer, Ben...
CORR
2010
Springer
173views Education» more  CORR 2010»
13 years 5 months ago
Local search for stable marriage problems
The stable marriage (SM) problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more genera...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...