Publications

Export 896 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
S
Srivastava S, Gulwani S, Foster JS.  2010.  From program verification to program synthesis. ACM SIGPLAN Notices. 45:313-326.
Srivastava A, Damon JN, Dryden IL, Jermyn IH, Das S, Vaswani N, Huckemann S, Hotz T, Munk A, Lin Z et al..  2010.  SPECIAL SECTION ON SHAPE ANALYSIS AND ITS APPLICATIONS IN IMAGE UNDERSTANDING. IEEE Transactions on Pattern Analysis and Machine Intelligence. 32(4):0162-8828.
Srivastava S, Hicks MW, Foster JS, Jenkins P.  2008.  Modular Information Hiding and Type-Safe Linking for C. IEEE Transactions on Software Engineering. 34(3):357-376.
Stallmann M, Cleaveland R, Hebbar P.  1991.  Gdr: A visualization tool for graph algorithms.
Stamps BW, Leddy MB, Plumlee MH, Hasan NA, Colwell RR, Spear JR.  2018.  Characterization of the Microbiome at the World’s Largest Potable Water Reuse Facility. Frontiers in Microbiology.
Stantchev G, Juba D, Dorland W, Varshney A.  2009.  Using Graphics Processors for High-Performance Computation and Visualization of Plasma Turbulence. Computing in Science Engineering. 11(2):52-59.
Stantchev G, Juba D, Dorland W, Varshney A.  2007.  Plasma Turbulence Simulation and Visualization on Graphics Processors: Efficient Parallel Computing on the Desktop. Bulletin of the American Physical Society. Volume 52, Number 11
Stantchev G, Juba D, Dorland W, Varshney A.  2008.  Confluent Volumetric Visualization of Gyrokinetic Turbulence. Plasma Science, IEEE Transactions on. 36(4):1112-1113.
Starin D, Baden R, Bender A, Spring N, Bhattacharjee B.  2009.  Persona : An Online Social Network with User-Defined Privacy Categories and Subject Descriptors. Computer. 39(4):135-146.
Stark E, Cleaveland R, Smolka S.  2006.  Probabilistic I/O automata: Theories of two equivalences. CONCUR 2006–Concurrency Theory. :343-357.
Stark EW, Cleaveland R, Smolka SA.  2003.  A process-algebraic language for probabilistic I/O automata. CONCUR 2003-Concurrency Theory. :193-207.
Stauder M, Huq A, Pezzati E, Grim CJ, Ramoino P, Pane L, Colwell RR, Pruzzo C, Vezzulli L.  2012.  Role of GbpA protein, an important virulence-related colonization factor, for Vibrio cholerae's survival in the aquatic environment. Environmental Microbiology Reports. (4):439-445.
Stefanov E, Elaine Shi.  2012.  Path O-RAM: An Extremely Simple Oblivious RAM Protocol. Arxiv preprint arXiv:1202.5150.
Stefanov E, Elaine Shi, Song D.  2011.  Towards Practical Oblivious RAM. arXiv:1106.3652.
Steinherz T, Doermann D, Rivlin E, Intrator N.  2009.  Off-Line Loop Investigation for Handwriting Analysis. IEEETransactions on Pattern Analysis and Machine Intelligence. 31(2):193-209.
Steitz JA, Berg C, Gottlieb E, Hardin JA, Hashimoto C, Hendrick JP, Hinterberger M, Krikeles M, Lerner MR, Mount SM.  1982.  Structure and function of small ribonucleoproteins from eukaryotic cells. Princess Takamatsu symposiaInt. Symp. Princess Takamatsu Cancer Res. Fund. 12:101-107.
Steitz JA, Wolin SL, Rinke J, Pettersson I, Mount SM, Lerner EA, Hinterberger M, Gottlieb E.  1983.  Small Ribonucleoproteins from Eukaryotes: Structures and Roles in RNA Biogenesis. Cold Spring Harbor Symposia on Quantitative BiologyCold Spring Harb Symp Quant Biol. 47:893-900.
Stelter K, El-Sayed NM, Seeber F.  2007.  The Expression of a Plant-type Ferredoxin Redox System provides Molecular Evidence for a Plastid in the Early Dinoflagellate Perkinsus marinus. Protist. 158(1):119-130.
Stevens P, Shneiderman B.  1981.  Exploratory research on training aids for naive users of interactive systems. Proceedings of the 44th ASIS Annual Meeting. 18:65-67.
Stewart G.W.  2001.  Matrix Algorithms: Eigensystems.
Stewart G.W.  2000.  A Generalization of Saad's Theorem on Rayleigh-Ritz Approximations. UMIACS-TR-99-78
Stewart G.W.  1998.  On the adjugate matrix. Linear Algebra and its Applications. 283(1–3):151-164.
Stewart G.W.  2001.  Backward Error Bounds for Approximate Krylov Subspaces. UMIACS-TR-2001-32
Stewart G.W.  1995.  On the stability of sequential updates and downdates. Signal Processing, IEEE Transactions on. 43(11):2642-2648.
Stewart J, Raybourn E, Bederson BB, Druin A.  1998.  When Two Hands Are Better Than One: Enhancing Collaboration Using Single Display Groupware. CHI’98. Extended Abstracts. :287-288.

Pages