Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
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, Riolo R, Robinson DT, North M, Rand W.  2005.  Spatial process and data models: Toward integration of agent-based models and GIS. Journal of Geographical Systems. 7(1):25-47.
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 S, Riolo R, Zellner M, Rand W.  2005.  Path dependence and the validation of agent‐based spatial models of land use. International Journal of Geographical Information Science. 19(2):153-174.
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 DG, Page SE, Riolo R, Rand W.  2004.  Agent-based and analytical modeling to evaluate the effectiveness of greenbelts. Environmental Modelling & Software. 19(12):1097-1109.
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.
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.
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, 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.
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.
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.
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.
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, Plaisant C, Simeone A, Aris A, Shneiderman B, Shmueli G, Jank W.  2007.  Similarity-Based Forecasting with Simultaneous Previews: A River Plot Interface for Time Series Forecasting. Information Visualization, 2007. IV '07. 11th International Conference. :191-196.

Pages