2741 search results - page 341 / 549 » Engineering Mathematical Knowledge |
152
click to vote
MAGS
2007
15 years 4 months ago
2007
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...
133
click to vote
CCR
2004
15 years 4 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
126
click to vote
CSUR
2004
15 years 4 months ago
2004
Bresenham's algorithm minimizes error in drawing lines on integer grid points; leap year calculations, surprisingly, are a generalization. We compare the two calculations, exp...
150
click to vote
CAD
1999
Springer
15 years 4 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
136
click to vote
JSS
2002
15 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...