Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2003. Starting an intergenerational technology design team: a case study. Proceedings of the 2003 conference on Interaction design and children. :51-58.
2002. The START multimedia information system: Current technology and future directions. In Proceedings of the International Workshop on Multimedia Information Systems (MIS 2002).
1995. Starfield visualization with interactive smooth zooming. Visual database systems, IIIVisual database systems, III. 3:1-1.
1995. Starfield information visualization with interactive smooth zooming. Proc. IFIP 2.6 Visual Databases Systems. :3-14.
1992. Standards-are software engineering process standards really necessary? Computer. 25(11):82-84.
2014. Stable isotope labeling of phosphoproteins for large-scale phosphorylation rate determination. Molecular & Cellular Proteomics.
2006. Stable Factorizations of Symmetric Tridiagonal and Triadic Matrices. SIAM J. on Matrix Analysis and Applications. 28:576-595.
2006. Stabilization and Mosaicing of Airborne Videos. Image Processing, 2006 IEEE International Conference on. :345-348.
1995. On the stability of sequential updates and downdates. Signal Processing, IEEE Transactions on. 43(11):2642-2648.
2010. On Stability of Magnetization Dynamics in Nanoparticles. Magnetics, IEEE Transactions on. 46(6):1718-1721.
1986. A Stability Analysis of Incomplete LU Factorizations. Mathematics of Computation. 47(175):191-217.
1998. SRRIT--A FORTRAN Subroutine to Calculate the Dominant Invariant Subspace of a Nonsymmetric Matrix. UMIACS-TR-92-61
1998. Spreading depression in focal ischemia: A computational study. Journal of Cerebral Blood Flow & Metabolism. 18(9):998-1007.
2009. SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases. Knowledge and Data Engineering, IEEE Transactions on. 21(1):92-107.
2018. Spores and soil from six sides: interdisciplinarity and the environmental biology of anthrax (Bacillus anthracis). Biological Reviews. (4):1813-1831.
2013. Spoiler Alert: Machine Learning Approaches to Detect Social Media Posts with Revelatory Information.
1995. Splitters and near-optimal derandomization. , 36th Annual Symposium on Foundations of Computer Science, 1995. Proceedings. :182-191.
1994. Split menus: effectively using selection frequency to organize menus. ACM Transactions on Computer-Human Interaction. 1(1):27-51.
1992. Splicing signals in Drosophila: intron size, information content, and consensus sequences. Nucleic Acids ResearchNucl. Acids Res.. 20(16):4255-4262.
1983. Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
2007. SplicePort--An interactive splice-site analysis tool. Nucleic Acids Research. 35(Web Server):W285-W291-W285-W291.