Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
Journal Articles
Hicks MW.  1998.  Types and intermediate representations. Technical Reports (CIS). :796-796.
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
Skalka C, Smith S, Van Horn D.  2005.  A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.
Katz J, MacKenzie P, Taban G, Gligor V.  2005.  Two-server password-only authenticated key exchange. Applied Cryptography and Network Security. :175-206.
Katz J, MacKenzie P, Taban G, Gligor V.  2012.  Two-server password-only authenticated key exchange. Journal of Computer and System Sciences. 78(2):651-669.
Seydou F, Gumerov NA, Duraiswami R.  2003.  Two methods for solving a 3D acoustic inverse scattering problem. The Journal of the Acoustical Society of America. 113(4):2191-2191.
Gannon JD, Zelkowitz MV.  1987.  Two implementation models of abstract data types. Computer Languages. 12(1):21-25.
Brosey M, Shneiderman B.  1978.  Two experimental comparisons of relational and hierarchical database models. International Journal of Man-Machine Studies. 10(6):625-637.
Zhang X-N, Mount SM.  2009.  Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
Wong PC, Chen C, Görg C, Shneiderman B, Stasko J, Thomas J.  2011.  Tutorial-Graph Analytics — Lessons Learned and Challenges Ahead. IEEE Computer Graphics and Applications. 31(5):18-18.
Getoor L.  2005.  Tutorial on statistical relational learning. Inductive Logic Programming. :415-415.
Sethupathy P, Hannenhalli S.  2008.  A Tutorial of the Poisson Random Field Model in Population Genetics. Advances in Bioinformatics. 2008:1-9.
Bartholomeu DC, Silva RA, Galvão LMC, El-Sayed NM, Donelson JE, Teixeira SMR.  2002.  Trypanosoma cruzi: RNA structure and post-transcriptional control of tubulin gene expression. Experimental Parasitology. 102(3-4):123-133.
Westenberger S, Cerqueira G, El-Sayed NM, Zingales B, Campbell D, Sturm N.  2006.  Trypanosoma cruzi mitochondrial maxicircles display species- and strain-specific variation and a conserved element in the non-coding region. BMC Genomics. 7(1):60-60.
Bringaud F, Bartholomeu DC, Blandin G, Delcher A, Baltz T, El-Sayed NM, Ghedin E.  2006.  The Trypanosoma cruzi L1Tc and NARTc non-LTR retrotransposons show relative site specificity for insertion. Molecular biology and evolution. 23(2):411-411.
Perlis D.  1989.  Truth and meaning (research note). Artificial intelligence. 39(2):245-250.
Zheleva E, Kolcz A, Getoor L.  2008.  Trusting spam reporters: A reporter-based reputation system for email filtering. ACM Transactions on Information Systems (TOIS). 27(1):3:1–3:27-3:1–3:27.
Shneiderman B, Hewett T.  2000.  A Trip Report on Creativity and Cognition 1999: An Insider's Report on a Far Out Conference. SIGCHI BULLETIN. 32(1):43-46.
Sengupta B, Cleaveland R.  2002.  Triggered message sequence charts. ACM SIGSOFT Software Engineering Notes. 27:167-167.
Litwin WA, Roussopoulos N, Levy G, Hong W.  1991.  Trie hashing with controlled load. IEEE Transactions on Software Engineering. 17(7):678-691.
Stewart G.W.  1997.  The Triangular Matrices of Gaussian Elimination and Related Decompositions. IMA Journal of Numerical Analysis. 17(1):7-16.
Khuller S, Mitchell JSB.  1990.  On a triangle counting problem. Information Processing Letters. 33(6):319-321.
Phang KY, Foster JS, Hicks MW, Sazawal V.  2009.  Triaging Checklists: a Substitute for a PhD in Static Analysis. Evaluation and Usability of Programming Languages and Tools (PLATEAU) PLATEAU 2009.
Tilghman S, Astin HS, Brinkley W, Chilton MD, Cummings MP, Ehrenberg RG, Fox MF, Glenn K, Green PJ, Hans S et al..  1998.  Trends in the early careers of life scientists - Preface and executive summary. Mol Biol Cell. 9(11):3007-3015.
Singh LN, Wang L-S, Hannenhalli S.  2007.  TREMOR—a tool for retrieving transcriptional modules by incorporating motif covariance. Nucleic Acids Research. 35(21):7360-7371.

Pages