2498 search results - page 184 / 500 » A tool for materials exploration |
139
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
Graph-centric and node-centric browsing are the two commonly identified hypertext-browsing paradigms. We believe that pathcentric browsing, the browsing behavior exhibited by path...
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
164
click to vote
ITICSE
1999
ACM
15 years 11 months ago
1999
ACM
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
220
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
237
click to vote
CGI
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper gives an overview of some recent methods useful for local and global shape analysis and for the design of solids. These methods include as new tools for global and loca...