16844 search results - page 2956 / 3369 » How to Design Programs |
212
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
207
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Residue depth allows determining how deeply a given residue is buried, in contrast to the solvent accessibility that differentiates between buried and solvent-exposed ...
171
click to vote
CACM
2010
15 years 7 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
163
Voted
CN
2010
15 years 7 months ago
2010
The natural world is enormous, dynamic, incredibly diverse, and highly complex. Despite the inherent challenges of surviving in such a world, biological organisms evolve, self-org...
130
click to vote
COGSCI
2010
15 years 7 months ago
2010
We created paired moral dilemmas with minimal contrasts in wording, a research strategy that has been advocated as a way to empirically establish principles operative in a domain-...