5615 search results - page 152 / 1123 » On the Computational Capabilities of Several Models |
145
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
160
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
171
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
A global sensitivity analysis with regional properties is introduced. This method is demonstrated on two synthetic and one hydraulic example. It can be shown that an uncertainty a...
151
click to vote
SI3D
2005
ACM
15 years 11 months ago
2005
ACM
Recent advances in mobile computing allow the users to deal with 3D interactive graphics on handheld computers. Although the computing resources and screen resolutions grow steadi...
162
click to vote
SIAMREV
2010
15 years 27 days ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...