Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations 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 
B
Brown DG, Robinson DT, An L, Nassauer JI, Zellner M, Rand W, Riolo R, Page SE, Low B, Wang Z.  2008.  Exurbia from the bottom-up: Confronting empirical challenges to characterizing a complex system. Geoforum. 39(2):805-818.
Brown Q, Bonsignore E, Hatley L, Druin A, Walsh G, Foss E, Brewer R, Hammer J, Golub E.  2010.  Clear Panels: a technique to design mobile application interactivity. Proceedings of the 8th ACM Conference on Designing Interactive Systems. :360-363.
Brown DG, Page SE, Riolo R, Rand W.  2002.  Modeling the Effects of Greenbelts at the Urban-Rural Fringe. Proceedings of IEMSS 2002. :190-195.
Brown JR, van Dam A, Earnshaw R, Encarnacao J, Guedj R, Preece J, Shneiderman B, Vince J.  1999.  Human-centered computing, online communities, and virtual environments. IEEE Computer Graphics and Applications. 19(6):70-74.
Brown B, Chetty M, Grimes A, Harmon E.  2006.  Reflecting on Health: A System for Students to Monitor Diet and Exercise. SIGCHI EA '06. :1807-1812.
Browne H, Bederson BB, Plaisant C, Druin A.  2001.  Designing an Interactive Message Board as a Technology Probe for Family Communication. Technical Reports of the Computer Science Department.
Browne HK, Arbaugh WA, McHugh J, Fithen WL.  2001.  A trend analysis of exploitations. 2001 IEEE Symposium on Security and Privacy, 2001. S&P 2001. Proceedings. :214-229.
Bröcheler M, Pugliese A, V.S. Subrahmanian.  2010.  COSI: Cloud Oriented Subgraph Identification in Massive Social Networks. Advances in Social Networks Analysis and Mining (ASONAM), 2010 International Conference on. :248-255.
Bruck HA, Gershon AL, Gupta SK.  2004.  Enhancement of mechanical engineering curriculum to introduce manufacturing techniques and principles for bio-inspired product development. :1-6.
Bryce RC, Sampath S, Memon AM.  2011.  Developing a Single Model and Test Prioritization Strategies for Event-Driven Software. Software Engineering, IEEE Transactions on. 37(1):48-64.
Bryce RC, Memon AM.  2007.  Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting. :1-7.
Buck BR, Hollingsworth J.  2006.  A New Hardware Monitor Design to Measure Data Structure-Specific Cache Eviction Information. International Journal of High Performance Computing Applications. 20(3):353-363.
Buck BR, Hollingsworth J.  2000.  Using hardware performance monitors to isolate memory bottlenecks. Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM). :40-40.
Buck BR, Hollingsworth J.  2004.  Data Centric Cache Measurement on the Intel ltanium 2 Processor. Proceedings of the 2004 ACM/IEEE conference on Supercomputing. :58–-58–.
Buck B, Hollingsworth J.  2000.  An API for Runtime Code Patching. International Journal of High Performance Computing Applications. 14(4):317-329.
Buck J, Shneiderman B.  1976.  An internship in information systems: Combining computer science education with realistic problems. SIGCSE Bull.. 8(3):80-83.
Budowle B, Connell ND, Bielecka-Oder A, Colwell RR, Corbett CR, Fletcher J, Forsman M, Kadavy DR, Markotic A, Morse SA et al..  2014.  Validation of high throughput sequencing and microbial forensics applications. Investigative Genetics. 5(1):9.
Bulka B, Gaston M, desJardins M.  2007.  Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.
Bullock SS, O’Leary DP, Brennen GK.  2005.  Asymptotically Optimal Quantum Circuits for d-Level Systems. Physical Review LettersPhys. Rev. Lett.. 94(23):230502-230502.
Bullock SS, O'Leary DP.  2009.  Locality bounds on hamiltonians for stabilizer codes. Quantum Info. Comput.. 9(5):487-499.
Bullock SS, Brennen GK, O’Leary DP.  2005.  Time reversal and n-qubit canonical decompositions. Journal of Mathematical Physics. 46(6):062104-062104-19-062104-062104-19.
Bultan T, Gerber R, Pugh W.  1997.  Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
Bultan T, Gerber R, Pugh W.  1999.  Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 21(4):747-789.
Buonanno E, Katz J, Yung M.  2002.  Incremental unforgeable encryption. Fast Software Encryption. :317-325.
Buono P, Aris A, Plaisant C, Khella A, Shneiderman B.  2005.  Interactive pattern search in time series. Proceedings of SPIE. 5669(1):175-186.

Pages