2625 search results - page 315 / 525 » Applications 2000 |
165
click to vote
JCC
2000
15 years 6 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
160
click to vote
JCST
2000
15 years 6 months ago
2000
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
189
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
159
click to vote
JSS
2000
15 years 6 months ago
2000
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
165
click to vote
JSYML
2000
15 years 6 months ago
2000
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...