Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [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 
N
Namata GM, Getoor L, Diehl C.  2006.  Inferring formal titles in organizational email archives. Proc. of the ICML Workshop on Statistical Network Analysis.
Namata GM, Sharara H, Getoor L.  2010.  A survey of link mining tasks for analyzing noisy and incomplete networks. Link Mining: Models, Algorithms, and Applications. :107-133.
Namata G, Getoor L, Diehl C.  2007.  Inferring organizational titles in online communication. Statistical Network Analysis: Models, Issues, and New Directions. :179-181.
Namata G M, Staats B, Getoor L, Shneiderman B.  2007.  A dual-view approach to interactive network visualization. Proceedings of the sixteenth ACM conference on Conference on information and knowledge management. :939-942.
Nam B, Sussman A.  2003.  Improving access to multi-dimensional self-describing scientific datasets. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings. CCGrid 2003. :172-179.
Nam B, Sussman A.  2006.  DiST: fully decentralized indexing for querying distributed multidimensional datasets. Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International.
Nam B, Sussman A.  2004.  A Comparative Study of Spatial Indexing Techniques for Multidimensional Scientific Datasets. Scientific and Statistical Database Management, International Conference on. :171-171.
Nam B, Andrade H, Sussman A.  2006.  Multiple range query optimization with distributed cache indexing. Proceedings of the 2006 ACM/IEEE conference on Supercomputing. :100–es-100–es.
Nam B, Sussman A.  2005.  Spatial indexing of distributed multidimensional datasets. IEEE International Symposium on Cluster Computing and the Grid, 2005. CCGrid 2005. 2:743-750Vol.2-743-750Vol.2.
Nakamura T, Hochstein L, Basili VR.  2006.  Identifying domain-specific defect classes using inspections and change history. Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering. :346-355.
Nakamura T, Basili VR.  2005.  Metrics of software architecture changes based on structural distance. IEEE METRICS. :8-8.
Naishlos D, Nuzman J, Tseng CW, Vishkin U.  2001.  Evaluating the XMT parallel programming model. High-Level Parallel Programming Models and Supportive Environments. :95-108.
Naishlos D, Nuzman J, Tseng CW, Vishkin U.  2000.  Evaluating multi-threading in the prototype XMT environment. Proc. 4th Workshop on Multi-Threaded Execution, Architecture and Compliation (MTEAC2000).
Naishlos D, Nuzman J, Tseng CW, Vishkin U.  2003.  Towards a first vertical prototyping of an extremely fine-grained parallel programming approach. Theory of Computing Systems. 36(5):521-552.
Naiman AE, Babuška IM, Elman H.  1997.  A note on conjugate gradient convergence. Numerische Mathematik. 76(2):209-230.
Nahar S, Sultana M, Naser NM, Nair GB, Watanabe H, Ohnishi M, Yamamoto S, Endtz H, Cravioto A, Sack BR et al..  2012.  Role of Shrimp Chitin in the Ecology of Toxigenic Vibrio cholerae and Cholera Transmission. Frontiers in Microbiology. 2:260
Nagy JG, O'Leary DP.  2002.  Image Restoration through Subimages and Confidence Images. Electronic Transactions on Numerical Analysis. 13:22-37.
Nagy JG, O'Leary DP.  1998.  Restoring Images Degraded by Spatially Variant Blur. SIAM Journal on Scientific Computing. 19(4):1063-1082.
Nagy JG, O'Leary DP.  1997.  Fast iterative image restoration with a spatially varying PSF. Proceedings of SPIE. 3162(1):388-399.
Nagengast AA, Stitzinger SM, Tseng C-H, Mount SM, Salz HK.  2003.  Sex-lethal splicing autoregulation in vivo: interactions between SEX-LETHAL, the U1 snRNP and U2AF underlie male exon skipping. DevelopmentDevelopment. 130(3):463-471.
Nagarajan A, Memon AM.  2003.  Refactoring using event-based profiling. First International Workshop on REFactoring: Achievements, Challenges, Effects (REFACE).
Nagarajan N, Read TD, Pop M.  2008.  Scaffolding and Validation of Bacterial Genome Assemblies Using Optical Restriction Maps. Bioinformatics. 24(10):1229-1235.
Nagarajan N, Cook C, Di Bonaventura M P, Ge H, Richards A, Bishop-Lilly KA, DeSalle R, Read TD, Pop M.  2010.  Finishing genomes with limited resources: lessons from an ensemble of microbial genomes. BMC Genomics. 11(1):242-242.
Nagarajan N, Pop M.  2009.  Parametric Complexity of Sequence Assembly: Theory and Applications to Next Generation Sequencing. Journal of Computational Biology. 16(7):897-908.
Nagarajan N, Pop M.  2010.  Sequencing and Genome Assembly Using Next-Generation Technologies. Computational BiologyComputational Biology. 673:1-17.

Pages