Publications

Export 7151 results:
Author [ Title(Asc)] 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
Vishkin U.  2000.  A no-busy-wait balanced tree parallel algorithmic paradigm. Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures. :147-155.
Shneiderman B.  1986.  No members, no officers, no dues: A ten year history of the software psychology society. ACM SIGCHI Bulletin. 18(2):14-16.
Dumitras T, Narasimhan P.  2009.  No Downtime for Data Conversions: Rethinking Hot Upgrades (CMU-PDL-09-106). Parallel Data Laboratory.
Pejaković DA, Marschall J, Duan L, Martin, M.P.  2008.  Nitric oxide production from surface recombination of oxygen and nitrogen atoms. Journal of Thermophysics and Heat Transfer. 22(2):178-186.
Berthier R, Cukier M, Hiltunen M, Kormann D, Vesonder G, Sheleheda D.  2010.  Nfsight: netflow-based network awareness tool.
Treangen TJ, Sommer DD, Angly FE, Koren S, Pop M.  2011.  Next Generation Sequence Assembly with AMOS. Current Protocols in Bioinformatics. 11:1-11.
Shneiderman B.  1997.  The next generation of graphical user interfaces: information visualization and better window management. Displays. 17(3–4):125-129.
Baras JS, Atallah GC, Ball M, Goli S, Karne RK, Kelley S, Kumar H, Plaisant C, Roussopoulos N, Schneiderman B et al..  1995.  Next generation network management technology. AIP Conference Proceedings. 325(1):75-82.
Atallah GC, Ball MO, Baras JS, Goli SK, Karne RK, Kelley S, Kumar HP, Plaisant C, Roussopoulos N, Shneiderman B et al..  1994.  Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
Teitler BE, Lieberman MD, Panozzo D, Sankaranarayanan J, Samet H, Sperling J.  2008.  NewsStand: a new view on news. Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems. :18:1–18:10-18:1–18:10.
Basili VR, Boehm B, Davis A, Humphrey WS, Leveson N, Mead NR, Musa JD, Parnas DL, Pfleeger SL, Weyuker E.  2004.  New year’s resolutions for software quality. IEEE Software. 21(1):12-13.
Eisenstat SC, Elman H, Schultz MH, Sherman AH.  1983.  The (new) Yale sparse matrix package. Elliptic problem solvers II. :45-52.
Souza RT, Santos MRM, Lima FM, El-Sayed NM, Myler PJ, Ruiz JC, da Silveira J F.  2007.  New Trypanosoma cruzi Repeated Element That Shows Site Specificity for Insertion. Eukaryotic Cell. 6(7):1228-1238.
Song S, JaJa JF.  2007.  New techniques for ensuring the long term integrity of digital archives. Proceedings of the 8th annual international conference on Digital government research. :57-65.
Li R-C, Stewart G.W.  2000.  A new relative perturbation theorem for singular subspaces. Linear Algebra and its Applications. 313(1–3):41-51.
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2009.  New records of phytoplankton for Bangladesh. 9. Some rare and a new species. Bangladesh Journal of Plant Taxonomy. 16(1)
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2008.  New records of phytoplankton for Bangladesh. 8. Trachelomonas Ehr. (Euglenophyceae). Bangladesh Journal of Botany. 37(2)
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2008.  New records of phytoplankton for Bangladesh. 7. Phacus spp.. Bangladesh Journal of Botany. 37(1)
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2008.  New records of phytoplankton for Bangladesh. 5. Euglena, Euglenocapsa. Bangladesh Journal of Plant Taxonomy. 15(1)
Khondker M, Bhuiyan R A, Yeasim J, Alam M, Sack BR, Huq A, Colwell RR.  2007.  New records of phytoplankton for Bangladesh. 4. Chlorococcales. Bangladesh Journal of Plant Taxonomy. 14(2)
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2007.  New records of phytoplankton for Bangladesh. 3. Volvocales. Bangladesh Journal of Plant Taxonomy. 14(1)
Khondker M, Bhuiyan R A, Yeasmin J, Alam M, Sack BR, Huq A, Colwell RR.  2008.  New records of phytoplankton for Bangladesh. 2. Cryptophyceae and Synurophyceae. Bangladesh Journal of Botany. 36(1)
Mayergoyz ID, D'Angelo J.  1993.  A new point of view on the mathematical structure of Maxwell's equations. Magnetics, IEEE Transactions on. 29(2):1315-1320.
Patel VM, Easley GR, Healy DM.  2008.  A new multiresolution generalized directional filter bank design and application in image enhancement. 15th IEEE International Conference on Image Processing, 2008. ICIP 2008. :2816-2819.
Chekuri C, Gal A, Im S, Khuller S, Li J, McCutchen R, Moseley B, Raschid L.  2011.  New models and algorithms for throughput maximization in broadcast scheduling. Approximation and Online Algorithms. :71-82.

Pages