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 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.
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.
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 M, Stewart G.W.  1998.  On hyperbolic triangularization: Stability and pivoting. SIAM journal on matrix analysis and applications. 19(4):847-860.
Stewart G.W.  2001.  Adjusting the Rayleigh Quotient in Semiorthogonal Lanczos Methods. UMIACS-TR-2001-31
Stewart G.W.  1998.  On the Perturbation of LU, Cholesky, and QR Factorizations. UMIACS-TR-92-24
Stewart G.W.  2004.  Error Analysis of the Quasi-Gram--Schmidt Algorithm. UMIACS-TR-2004-17
Stewart G.W.  2000.  The decompositional approach to matrix computation. Computing in Science Engineering. 2(1):50-59.
Stewart G.W.  1998.  Matrix Algorithms: Basic decompositions.

Pages