Find Research outputs

Search results

• Conference contribution

  The science of guessing: Analyzing an anonymized corpus of 70 million passwords

  Bonneau, J., 2012, Proceedings - 2012 IEEE Symposium on Security and Privacy, S and P 2012. Institute of Electrical and Electronics Engineers Inc., p. 538-552 15 p. 6234435. (Proceedings - IEEE Symposium on Security and Privacy).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The second qalb shared task on automatic text correction for arabic

  Rozovskaya, A., Bouamor, H., Habash, N., Zaghouani, W., Obeid, O. & Mohit, B., 2015, 2nd Workshop on Arabic Natural Language Processing, ANLP 2015 - held at 53rd Annual Meeting of the Association for Computational Linguistics, ACL 2015 - Proceedings. Habash, N., Vogel, S. & Darwish, K. (eds.). Association for Computational Linguistics (ACL), p. 26-35 10 p. (2nd Workshop on Arabic Natural Language Processing, ANLP 2015 - held at 53rd Annual Meeting of the Association for Computational Linguistics, ACL 2015 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The semantics of topic-focus articulation.

  Szabolcsi, A., 1981, Formal Methods in the Study of Language. Groenendijk, Janssen & Stokhof (eds.). Mathematisch Centrum, p. 513-541

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The SenseChair: The lounge chair as an intelligent assistive device for elders

  Forlizzi, J., Disalvo, C., Zimmerman, J., Mutlu, B. & Hurst, A., Nov 3 2005, Proceedings of the 2005 Conference on Designing for User eXperience, DUX 2005. Association for Computing Machinery, a31. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The sense lounger: Establishing a ubicomp beachhead in elders' homes

  Hurst, A., Zimmerman, J., Atkeson, C. & Forlizzi, J., 2005, CHI'05 Extended Abstracts on Human Factors in Computing Systems, CHI EA'05. p. 1467-1470 4 p. (Conference on Human Factors in Computing Systems - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The shape of the elephant: Scope and membership of the CSCL community

  Hoadley, C. M., 2005, Computer Supported Collaborative Learning 2005: The Next 10 Years - Proceedings of the International Conference on Computer Supported Collaborative Learning 2005, CSCL 2005. p. 205-210 6 p. (Computer Supported Collaborative Learning 2005: The Next 10 Years - Proceedings of the International Conference on Computer Supported Collaborative Learning 2005, CSCL 2005).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The significance of a sociotechnical analysis to better understand factors that affect PLWH and their decision to consent to Health Information Exchange at an HIV clinic

  Ramos, S. R., Schnall, R. & Bakken, S., 2016, Eastern Nursing Research Society 28th Annual Scientific Sessions. Nursing Science: Bridging Research and Health. Pittsburgh, PA.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The significance of fiber numerical aperture for optical measurements of turbid media

  Mourant, J. R. & Hielscher, A. H., 1996, Biomedical Optical Spectroscopy and Diagnostics, BOSD 1996. Optica Publishing Group (formerly OSA), p. 32-36 5 p. (Optics InfoBase Conference Papers).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The silicon photomultiplier as a metasystem with designed electronics as metadevice for a new receiver-emitter in visible light communications

  Gutierrez, R. M., Hernandez, A. I., Castañeda, L. F. & Castaño, J. F., 2015, Metamaterials, Metadevices, and Metasystems 2015. Engheta, N., Zheludev, N. I., Noginov, M. A. & Zheludev, N. I. (eds.). SPIE, 95441P. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9544).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The simplification of retrieval requests generated by question-answering systems

  Grishman, R., 1978, Proceedings of the Fourth International Conference on Very Large Data Bases.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The SMT-LIB standard - version 2.0

  Barrett, C., Stump, A. & Tinelli, C., 2010, Proceedings of the 8th international workshop on satisfiability modulo theories, Edinburgh, Scotland,(SMT '10). Edinburgh, Scotland

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The social implications of an assisted living reminder system

  Alshebli, B. K., Gilbert, E. & Karahalios, K., 2007, Online Communities and Social Computing - Second International Conference, OCSC 2007. Held as Part of HCI International 2007, Proceedings. Springer Verlag, p. 239-249 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4564 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• The Sonic Visualiser: A visualisation platform for semantic descriptors from musical signals

  Cannam, C., Landone, C., Sandler, M. & Bello, J. P., 2006, ISMIR 2006 - 7th International Conference on Music Information Retrieval. p. 324-327 4 p. (ISMIR 2006 - 7th International Conference on Music Information Retrieval).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The sound analysis toolbox (SATB)

  Park, T. H. & Srinivasan, S., 2016, ICMC 2016 - 42nd International Computer Music Conference, Proceedings. Timmermans, H. (ed.). HKU University of the Arts Utrecht, HKU Music and Technology, p. 234-240 7 p. (ICMC 2016 - 42nd International Computer Music Conference, Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The sparse awakens: Streaming algorithms for matching size estimation in sparse graphs

  Cormode, G., Jowhari, H., Monemizadeh, M. & Muthukrishnan, S., Sep 1 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 87).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The spectrum and effective action of SUSY gluodynamics

  Farrar, G. R., Gabadadze, G. & Schwetz, M., Sep 4 1998, Proceedings of the 10th International Seminar on High-Energy Physics (Quarks 98), Suzdal, Russia, May 18-24, 1998.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Spyware Used in Intimate Partner Violence

  Chatterjee, R., Doerfler, P., Orgad, H., Havron, S., Palmer, J., Freed, D., Levy, K., Dell, N., McCoy, D. & Ristenpart, T., Jul 23 2018, Proceedings - 2018 IEEE Symposium on Security and Privacy, SP 2018. Institute of Electrical and Electronics Engineers Inc., p. 441-458 18 p. 8418618. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2018-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• The stochastic score classification problem

  Gkenosis, D., Grammel, N., Hellerstein, L. & Kletenik, D., Aug 1 2018, 26th European Symposium on Algorithms, ESA 2018. Bast, H., Herman, G. & Azar, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 112).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The string edit distance matching problem with moves

  Cormode, G. & Muthukrishnan, S., 2002, Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2002. Association for Computing Machinery, p. 667-676 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 06-08-January-2002).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Suppression of Transient Artifacts in Time Series via Convex Analysis

  Feng, Y., Graber, H. & Selesnick, I., Jan 16 2019, 2018 IEEE Signal Processing in Medicine and Biology Symposium, SPMB 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8615601. (2018 IEEE Signal Processing in Medicine and Biology Symposium, SPMB 2018 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The syntactic classification of adverbs as an update to COMPLEX syntax

  Macleod, C., Meyers, A. & Grishman, R., 1998, Proceedings of ALLC/ACH '98, Debrecen, Hungary, July 1998.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Technophobe and the Madman: An Internet-2 distributed musical: Proceedings of the 2004 International Computer Music Conference. San Francisco:

  Rowe, R., 2004, The Technophobe and the Madman: An Internet-2 distributed musical.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The temporal logic of token causes

  Kleinberg, S. & Mishra, B., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. Institute of Electrical and Electronics Engineers Inc., p. 575-577 3 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The time optimal control problem for a class of nonholonomic systems: A case study

  Retchkiman, Z. & Khorrami, F., 1996, Proceedings of the 13th Triennial IFAC World Congress. San Francisco, CA. July 1996. p. 449-453

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The tools and tactics used in intimate partner surveillance: An analysis of online infidelity forums

  Tseng, E., Bellini, R., McDonald, N., Danos, M., Greenstadt, R., McCoy, D., Dell, N. & Ristenpart, T., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 1893-1909 17 p. (Proceedings of the 29th USENIX Security Symposium).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Torelli group action on representation spaces

  Miller, E., Cappell, S. & Lee, R., 2000, Geometry and topology (Aarhus 1998). Providence, RI: American Mathematical Society, p. 47-70 (Contemporary Mathematics; vol. 258).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The tracking of reaches in three-dimensions

  Wong, Y. T., Hagan, M. A., Markowitz, D. A. & Pesaran, B., 2011, 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 2011. p. 5440-5443 4 p. 6091388. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Trans-Saccadic Extrafoveal Preview Effect is Modulated by Object Visibility

  Liu, X., Huber-Huber, C. & Melcher, D., Jun 8 2022, Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications. Spencer, S. N. (ed.). Association for Computing Machinery, 18. (Eye Tracking Research and Applications Symposium (ETRA)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Triple Tone Sonification Method to Enhance the Diagnosis of Alzheimer’s Dementia

  Gionfrida, L., Roginska, A., Keary, J., Mohanraj, H. & Friedman, K., Jul 2 2016, Proceedings of the 22nd International Conference on Auditory Display. Canberra, Australia

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The turing test track of the 2012 Mario AI Championship: Entries and evaluation

  Shaker, N., Togelius, J., Yannakakis, G. N., Poovanna, L., Ethiraj, V. S., Johansson, S. J., Reynolds, R. G., Heether, L. K., Schumann, T. & Gallagher, M., 2013, 2013 IEEE Conference on Computational Intelligence in Games, CIG 2013. 6633634. (IEEE Conference on Computatonal Intelligence and Games, CIG).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The twin diffie-hellman problem and applications

  Cash, D., Kiltz, E. & Shoup, V., 2008, Advances in Cryptology - EUROCRYPT 2008 - 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. p. 127-145 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4965 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The two possible values of the chromatic number of a random graph

  Achlioptas, D. & Naor, A., 2004, Conference Proceedings of the Annual ACM Symposium on Theory of Computing. p. 587-593 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The UGC hardness threshold of the l _p Grothendieck problem

  Kindler, G., Naor, A. & Schechtman, G., 2008, Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms. p. 64-73 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The ultra III prototype

  Gottlieb, A., Bianchini, R., Dickey, S., Edler, J., Goodman, G., Kenner, R. & Wang, J., Apr 1993, Proceedings of the 7th international parallel processing symposium parallel systems fair. Newport Beach, CA, p. 2-9

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The uncapacitated fixed-charge facility location problem with amulti-echelon inventory system

  Diabat, A., Aouam, T. & Al-Araidah, O., 2009, 2009 International Conference on Computers and Industrial Engineering, CIE 2009. IEEE Computer Society, p. 803-807 5 p. 5223883. (2009 International Conference on Computers and Industrial Engineering, CIE 2009).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l ₁

  Khot, S. A. & Vishnoi, N. K., 2005, Proceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005. p. 53-62 10 p. 1530701. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2005).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The UnMousePad - The future of touch sensing

  Rosenberg, I., Perlin, K., Hendee, C., Grau, A. & Awad, N., 2009, ACM SIGGRAPH 2009 Emerging Technologies, SIGGRAPH '09. 22

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The UnMousePad - The future of touch sensing

  Rosenberg, I., Perlin, K., Hendee, C., Grau, A. & Awad, N., 2009, ACM SIGGRAPH 2009 Emerging Technologies, SIGGRAPH '09. 22. (ACM SIGGRAPH 2009 Emerging Technologies, SIGGRAPH '09).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The urban growth management initiative: Confronting the expected doubling of the size of cities in the developing countries in the next thirty years - Methods and preliminary results

  Civco, D. L., Chabaeva, A., Angel, S. & Sheppard, S., 2005, American Society for Photogrammetry and Remote Sensing - Annual Conference 2005 - Geospatial Goes Global: From Your Neighborhood to the Whole Planet. p. 123-136 14 p. (American Society for Photogrammetry and Remote Sensing - Annual Conference 2005 - Geospatial Goes Global: From Your Neighborhood to the Whole Planet; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The urge to merge: When cellular service providers pool capacity

  Hua, S., Liu, P. & Panwar, S. S., 2012, 2012 IEEE International Conference on Communications, ICC 2012. p. 5020-5025 6 p. 6363788. (IEEE International Conference on Communications).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The use of CPT and Vs for assessment of saturated soil deposits in the centrifuge

  El-Sekelly, W., Abdoun, T. & Dobry, R., 2014, Physical Modelling in Geotechnics - Proceedings of the 8th International Conference on Physical Modelling in Geotechnics 2014, ICPMG 2014. Taylor and Francis - Balkema, p. 1295-1300 6 p. (Physical Modelling in Geotechnics - Proceedings of the 8th International Conference on Physical Modelling in Geotechnics 2014, ICPMG 2014; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The VAD tree: A process-eye view of physical memory

  Dolan-Gavitt, B., 2007, DFRWS 2007 Annual Conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The value of approaching bad things

  Rich, A. S. & Gureckis, T. M., 2014, Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014. The Cognitive Science Society, p. 1281-1286 6 p. (Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Value of Operational Coordination for EV Fleet Aggregators

  Oladimeji, O., Pozo, D. & Dvorkin, Y., Jun 28 2021, 2021 IEEE Madrid PowerTech, PowerTech 2021 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 9494969. (2021 IEEE Madrid PowerTech, PowerTech 2021 - Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The vanishing of MHD compressibility stabilization in closed line systems

  Cerfon, A. J. & Freidberg, J. P., 2008, 35th EPS Conference on Plasma Physics 2008, EPS 2008 - Europhysics Conference Abstracts. 2 ed. p. 1478-1481 4 p. (35th EPS Conference on Plasma Physics 2008, EPS 2008 - Europhysics Conference Abstracts; vol. 32, no. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The variational predictive natural gradient

  Tang, D. & Ranganath, R., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 10735-10744 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The verification grand challenge and abstract interpretation

  Cousot, P., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 189-201 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The vortex method for 2D ideal flows in the exterior of a disk

  Arsénio, D., Lacave, C. & Dormy, E., 2014, Journées Équations aux Dérivées Partielles. 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• The WCCI 2008 simulated car racing competition

  Loiacono, D., Togelius, J., Lanzi, P. L., Kinnaird-Heether, L., Lucas, S. M., Simmerson, M., Perez, D., Reynolds, R. G. & Saez, Y., 2008, 2008 IEEE Symposium on Computational Intelligence and Games, CIG 2008. IEEE Computer Society, p. 119-126 8 p. 5035630. (2008 IEEE Symposium on Computational Intelligence and Games, CIG 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The web interface should be radically refactored

  Douceur, J. R., Howell, J., Parno, B., Walfish, M. & Xiong, X., 2011, Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10. (Proceedings of the 10th ACM Workshop on Hot Topics in Networks, HotNets-10).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution