Publications
Export 7148 results:
[ Author] Title Type Year Filters: Robotson-crusoe%E2%80%93or%E2%80%93what-common-sense is [Clear All Filters]
2009. Comparative genomics reveals mechanism for short-term and long-term clonal transitions in pandemic Vibrio cholerae. Proceedings of the National Academy of Sciences. 106(36):15442-15447.
2008. A Weighted GCV Method for Lanczos Hybrid Regularization. Electronic Transactions on Numerical Analysis. 28:149-167.
2011. Windowed Spectral Regularization of Inverse Problems. SIAM Journal on Scientific Computing. 33(6)
2011. Designing Optimal Spectral Filters for Inverse Problems. SIAM Journal on Scientific Computing. 33(6)
2004. Automated cluster-based Web service performance tuning. 13th IEEE International Symposium on High performance Distributed Computing, 2004. Proceedings. :36-44.
2003. Interactive Visualization of Large Tetrahedral Meshes through Selective Refinement. IEEE Transactions on Visualization and Computer Graphics.
2004. Multi-resolution modeling, visualization and streaming of volume meshes. Eurographics 2004, Tutorials 2: Multi-resolution Modeling, Visualization and Streaming of Volume Meshes.
2004. Selective refinement queries for volume visualization of unstructured tetrahedral meshes. Visualization and Computer Graphics, IEEE Transactions on. 10(1):29-45.
1993. Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
1998. Genetic nomenclature for Trypanosoma and Leishmania.. Molecular and biochemical parasitology. 97(1-2):221-221.
1997. Challenges in sending large radiology images over military communications channels. Proceedings of SPIE. 3035:230-230.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
2000. A semantic theory for heterogeneous system design. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. :312-324.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.