Publications
Export 7148 results:
[ Author] Title Type Year Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
2002. Efficient instrumentation for code coverage testing. ACM SIGSOFT Software Engineering Notes. 27:86-96.
2004. Using Hardware Counters to Automatically Improve Memory Performance. Proceedings of the 2004 ACM/IEEE conference on Supercomputing. :46–-46–.
2017. Genomic Methods and Microbiological Technologies for Profiling Novel and Extreme Environments for the Extreme Microbiome Project (XMP). Journal of Biomolecular Techniques : JBT. 28(1):31-39.
1992. A formal program complexity model and its application. Journal of Systems and Software. 17(3):253-266.
2011. Regulation of Lung Endoderm Progenitor Cell Behavior by miR302/367. DevelopmentDevelopment. 138(7):1235-1245.
1995. Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.
1992. An improved classification tree analysis of high cost modules based upon an axiomatic definition of complexity. Software Reliability Engineering, 1992. Proceedings., Third International Symposium on. :164-172.
2005. Torrance-sparrow off-specular reflection and linear subspaces for object recognition. 10/230,888(6900805)
1980. Automatic database system conversion: A transformation language approach to sub-schema implementation. IEEE Computer Software and Applications Conference. :80-88.
2009. A survey of CAD model simplification techniques for physics-based simulation applications. Computer-Aided Design. 41(2):65-80.
2010. A Computational Framework for Real-Time Unmanned Sea Surface Vehicle Motion Simulation. 3:51-61.
2011. Real-time dynamics simulation of unmanned sea surface vehicle for virtual environments. Journal of Computing and Information Science in Engineering. 11:031005-031005.
2011. A Corpus-Guided Framework for Robotic Visual Perception. Workshops at the Twenty-Fifth AAAI Conference on Artificial Intelligence.
1997. Parallelizing and algorithm for visibility on polyhedral terrain. International Journal of Computational Geometry and Applications. 7(1/2):75-84.
2011. Comparing values and sentiment using Mechanical Turk. Proceedings of the 2011 iConference. :783-784.
2011. Simulating Audiences: Automating Analysis of Values, Attitudes, and Sentiment. Privacy, Security, Risk and Trust (PASSAT), 2011 IEEE Third International Conference on and 2011 IEEE Third International Confernece on Social Computing (SocialCom). :734-737.
2008. NewsStand: a new view on news. Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems. :18:1–18:10-18:1–18:10.
2004. Analysis of dataflow programs with interval-limited data-rates. Computer Systems: Architectures, Modeling, and Simulation. :507-518.
2007. Stencil adaptation properties of a WENO scheme in direct numerical simulations of compressible turbulence. Journal of Scientific Computing. 30(3):533-554.
1979. Database Program Conversion: A Framework For Research. Fifth International Conference on Very Large Data Bases, 1979. :299-312.
2006. On Synchronization of Weighted Essentially Non-Oscillatory Methods. 36th AIAA Fluid Dynamics Conference and Exhibit.
2007. Optimization of nonlinear error for weighted essentially non-oscillatory methods in direct numerical simulations of compressible turbulence. Journal of Computational Physics. 223(1):384-397.
2004. Local Adaption and Dissipation Properties of a Weighted Essentially Non-Oscillatory Scheme. 34th AIAA Fluid Dynamics Conference and Exhibit.