Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
2012
Zelkowitz MV.  2012.  What have we learned about software engineering? Communications of the ACM. 55(2):38-39.
Stonedahl F, Rand W.  2012.  When Does Simulated Data Match Real Data? Comparing Model Calibration Functions using Genetic Algorithms World Congress on Social Simulation (WCSS), Taipei, Taiwan.
Katz J.  2012.  Which Languages Have 4-Round Zero-Knowledge Proofs? Journal of cryptology. 25(1):41-56.
Ricaldi JN, Fouts DE, Selengut JD, Harkins DM, Patra KP, Moreno A, Lehmann JS, Purushe J, Sanka R, Torres M et al..  2012.  Whole genome analysis of Leptospira licerasiae provides insight into leptospiral evolution and pathogenicity.. PLoS Negl Trop Dis. 6(10):e1853.
Chetty M, Banks R, Brush A.J., Donner J, Grinter R.  2012.  You'Re Capped: Understanding the Effects of Bandwidth Caps on Broadband Use in the Home. SIGCHI '12. :3021-3030.
2011
Molinaro C, Sliva A, V.S. Subrahmanian.  2011.  Abduction in Annotated Probabilistic Temporal Logic. Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). 11:240-250.
Wobbrock JO, Kane SK, Gajos KZ, Harada S, Froehlich J.  2011.  Ability-based design: Concept, principles and examples. ACM Transactions on Accessible Computing (TACCESS). 3(3)
Van Horn D, Might M.  2011.  Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].
Yaklichkin S Y, Darnell DK, Pier MV, Antin PB, Hannenhalli S.  2011.  Accelerated evolution of 3'avian FOXE1 genes, and thyroid and feather specific expression of chicken FoxE1. BMC Evolutionary Biology. 11(1):302-302.
Liu B, Gibbons T, Ghodsi M, Treangen T, Pop M.  2011.  Accurate and fast estimation of taxonomic profiles from metagenomic shotgun sequences. BMC Genomics. 12(Suppl 2):S4-S4.
Khan Z, Amini S, Bloom JS, Ruse C, Caudy AA, Kruglyak L, Singh M, Perlman DH, Tavazoie S.  2011.  Accurate proteome-wide protein quantification from high-resolution 15N mass spectra. Genome Biology. 12(12)
Ishai Y, Katz J, Kushilevitz E, Lindell Y, Petrank E.  2011.  On Achieving the" Best of Both Worlds" in Secure Multiparty Computation. SIAM Journal on Computing. 40(1):122-122.
Ramadan S, Davis LS.  2011.  Action recognition using Partial Least Squares and Support Vector Machines. Image Processing (ICIP), 2011 18th IEEE International Conference on. :533-536.
Chen D, Bilgic M, Getoor L, Jacobs DW, Mihalkova L, Tom Yeh.  2011.  Active inference for retrieval in camera networks. Person-Oriented Vision (POV), 2011 IEEE Workshop on. :13-20.
Chen D, Bilgic M, Getoor L, Jacobs DW, Mihalkova L, Tom Yeh.  2011.  Active inference for retrieval in camera networks. Person-Oriented Vision (POV), 2011 IEEE Workshop on. :13-20.
Hurter C, Girouard A, Riche N, Plaisant C.  2011.  Active progress bars: facilitating the switch to temporary activities. Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :1963-1968.
Yu X, Fermüller C, Teo C L, Yang Y, Aloimonos Y.  2011.  Active scene recognition with vision and language. 2011 IEEE International Conference on Computer Vision (ICCV). :810-817.
Sharara H, Getoor L, Norton M.  2011.  Active Surveying: A Probabilistic Approach for Identifying Key Opinion Leaders. Twenty-Second International Joint Conference on Artificial Intelligence.
Samet H, Teitler BE, Adelfio MD, Lieberman MD.  2011.  Adapting a map query interface for a gesturing touch screen interface. Proceedings of the 20th international conference companion on World wide web. :257-260.
Garay JA, Katz J, Kumaresan R, Zhou HS.  2011.  Adaptively secure broadcast, revisited. Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing.
Chellappa R, Turaga P.  2011.  Advances in Video-Based Biometrics. Advances in Imaging and Electron Physics. 83:183-203.
Rand W, Rust RT.  2011.  Agent-based modeling in marketing: Guidelines for rigor. International Journal of Research in Marketing. 28(3):181-193.
Falk J, Zebelein C, Keinert J, Haubelt C, Teich J, Bhattacharyya SS.  2011.  Analysis of SystemC actor networks for efficient synthesis. ACM Trans. Embed. Comput. Syst.. 10(2):18:1-18:34.
Guerra Gómez J, Wongsuphasawat K, Wang TD, Pack M, Plaisant C.  2011.  Analyzing Incident Management Event Sequences with Interactive Visualization. Transportation Research Board 90th Annual Meeting Compendium of Papers.
Shakarian P, Parker A, Simari G, V.S. Subrahmanian.  2011.  Annotated probabilistic temporal logic. ACM Trans. Comput. Logic. 12(2):14:1–14:44-14:1–14:44.

Pages