4757 search results - page 932 / 952 » A Unique |
148
click to vote
NAR
2010
14 years 10 months ago
2010
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...
134
Voted
NAR
2010
14 years 10 months ago
2010
Xenbase (www.xenbase.org), the model organism database for Xenopus laevis and X. (Silurana) tropicalis, is the principal centralized resource of genomic, development data and comm...
173
click to vote
SIAMCO
2010
14 years 10 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
133
click to vote
SIAMREV
2010
14 years 10 months ago
2010
Abstract. The main thrust of the paper is the design and the numerical analysis of new capand-trade schemes for the control and the reduction of atmospheric pollution. The tools de...
158
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...