• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 24 matches

• 2024
• 
  Jeremiah P. Singer, Brian C. Tefft, Aaron Benson, James W. Jenness, William J. Horrey:
  Driver Expectations of a Partial Driving Automation System in Relation to Branding and Training. Hum. Factors 66(5): 1531-1544 (2024)
• 
  Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Wenfei Zhou, James Coady, David Peng, Yujie Qiao, Luke Benson, Lucy Sun, Alexander Wardle-Solano, Hannah Szabó, Ekaterina Zubova, Matthew Burtell, Jonathan Fan, Yixin Liu, Brian Wong, Malcolm Sailor, Ansong Ni, Linyong Nan, Jungo Kasai, Tao Yu, Rui Zhang, Alexander R. Fabbri, Wojciech Kryscinski, Semih Yavuz, Ye Liu, Xi Victoria Lin, Shafiq Joty, Yingbo Zhou, Caiming Xiong, Rex Ying, Arman Cohan, Dragomir Radev:
  FOLIO: Natural Language Reasoning with First-Order Logic. EMNLP 2024: 22017-22031
• 2023
• 
  Justyna P. Zwolak, Jacob M. Taylor, Reed Andrews, Jared Benson, Garnett W. Bryant, Donovan Buterakos, Anasua Chatterjee, Sankar Das Sarma, Mark A. Eriksson, Eliska Greplova, Michael J. Gullans, Fabian Hader, Tyler J. Kovach, Pranav S. Mundada, Mick Ramsey, Torbjørn Rasmussen, Brandon Severin, Anthony Sigillito, Brennan Undseth, Brian J. Weber:
  Data Needs and Challenges of Quantum Dot Devices Automation: Workshop Report. CoRR abs/2312.14322 (2023)
• 2022
• 
  Shehtab Zaman, Tim Moon, Tom Benson, Sam Adé Jacobs, Kenneth Chiu, Brian Van Essen:
  Parallelizing Graph Neural Networks via Matrix Compaction for Edge-Conditioned Networks. CCGRID 2022: 386-395
• 
  Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Luke Benson, Lucy Sun, Ekaterina Zubova, Yujie Qiao, Matthew Burtell, David Peng, Jonathan Fan, Yixin Liu, Brian Wong, Malcolm Sailor, Ansong Ni, Linyong Nan, Jungo Kasai, Tao Yu, Rui Zhang, Shafiq R. Joty, Alexander R. Fabbri, Wojciech Kryscinski, Xi Victoria Lin, Caiming Xiong, Dragomir Radev:
  FOLIO: Natural Language Reasoning with First-Order Logic. CoRR abs/2209.00840 (2022)
• 2021
• 
  Hector Carrillo-Cabada, Jeremy Benson, Asghar M. Razavi, Brianna Mulligan, Michel A. Cuendet, Harel Weinstein, Michela Taufer, Trilce Estrada:
  A Graphic Encoding Method for Quantitative Classification of Protein Structure and Representation of Conformational Changes. IEEE ACM Trans. Comput. Biol. Bioinform. 18(4): 1336-1349 (2021)
• 
  Arpan Jain, Tim Moon, Tom Benson, Hari Subramoni, Sam Adé Jacobs, Dhabaleswar K. Panda, Brian Van Essen:
  SUPER: SUb-Graph Parallelism for TransformERs. IPDPS 2021: 629-638
• 2020
• 
  Garikoitz Lerma-Usabiaga, Noah C. Benson, Jonathan Winawer, Brian A. Wandell:
  A validation framework for neuroimaging software: The case of population receptive fields. PLoS Comput. Biol. 16(6) (2020)
• 2019
• 
  Jacqueline Rohde, Lisa Musselman, Brianna Benedict, Dina Verdin, Allison Godwin, Adam Kirn, Lisa Benson, Geoff Potvin:
  Design Experiences, Engineering Identity, and Belongingness in Early Career Electrical and Computer Engineering Students. IEEE Trans. Educ. 62(3): 165-172 (2019)
• 
  Sam Ade Jacobs, Jim Gaffney, Tom Benson, Peter B. Robinson, J. Luc Peterson, Brian K. Spears, Brian Van Essen, David Hysom, Jae-Seung Yeom, Tim Moon, Rushil Anirudh, Jayaraman J. Thiagarajan, Shusen Liu, Peer-Timo Bremer:
  Parallelizing Training of Deep Generative Models on Massive Scientific Datasets. CLUSTER 2019: 1-10
• 
  Nikoli Dryden, Naoya Maruyama, Tom Benson, Tim Moon, Marc Snir, Brian Van Essen:
  Improving Strong-Scaling of CNN Training by Exploiting Finer-Grained Parallelism. IPDPS 2019: 210-220
• 
  Nikoli Dryden, Naoya Maruyama, Tim Moon, Tom Benson, Marc Snir, Brian Van Essen:
  Channel and filter parallelism for large-scale CNN training. SC 2019: 10:1-10:20
• 
  Nikoli Dryden, Naoya Maruyama, Tom Benson, Tim Moon, Marc Snir, Brian Van Essen:
  Improving Strong-Scaling of CNN Training by Exploiting Finer-Grained Parallelism. CoRR abs/1903.06681 (2019)
• 
  Sam Ade Jacobs, Brian Van Essen, David Hysom, Jae-Seung Yeom, Tim Moon, Rushil Anirudh, Jayaraman J. Thiagarajan, Shusen Liu, Peer-Timo Bremer, Jim Gaffney, Tom Benson, Peter B. Robinson, J. Luc Peterson, Brian K. Spears:
  Parallelizing Training of Deep Generative Models on Massive Scientific Datasets. CoRR abs/1910.02270 (2019)
• 2017
• 
  Brian J. Burrows, Benson Isaac, Douglas L. Allaire:
  Multitask Aircraft Capability Estimation Using Conjunctive Filters. J. Aerosp. Inf. Syst. 14(12): 625-636 (2017)
• 2015
• 
  Samar Aseeri, Oleg Batrasev, Matteo Icardi, Brian Leu, Albert Liu, Ning Li, Benson K. Muite, Eike Müller, Brock Palen, Michael Quell, Harald Servat, Parth Sheth, Robert Speck, Mark Van Moer, Jérôme Vienne:
  Solving the Klein-Gordon equation using fourier spectral methods: a benchmark test for computer performance. SpringSim (HPS) 2015: 182-191
• 
  Samar Aseeri, Oleg Batrasev, Matteo Icardi, Brian Leu, Albert Liu, Ning Li, Benson K. Muite, Eike Müller, Brock Palen, Michael Quell, Harald Servat, Parth Sheth, Robert Speck, Mark Van Moer, Jérôme Vienne:
  Solving the Klein-Gordon equation using Fourier spectral methods: A benchmark test for computer performance. CoRR abs/1501.04552 (2015)
• 2010
• 
  Brian Benson, Deeparnab Chakrabarty, Prasad Tetali:
  G-parking functions, acyclic orientations and spanning trees. Discret. Math. 310(8): 1340-1353 (2010)
• 
  Bridget Benson, Ying Li, Brian Faunce, Kenneth Domond, Don Kimball, Curt Schurgers, Ryan Kastner:
  Design of a Low-Cost Underwater Acoustic Modem. IEEE Embed. Syst. Lett. 2(3): 58-61 (2010)
• 2009
• 
  Inigo San Gil, Karen S. Baker, John L. Campbell, Ellen G. Denny, Kristin Vanderbilt, Brian Riordan, Rebecca Koskela, Jason Downing, Sabine Grabner, Eda Melendez, Jonathan M. Walsh, Mason Kortz, James Conners, Lynn Yarmey, Nicole Kaplan, Emery R. Boose, Linda Powell, Corinna Gries, Robin Schroeder, Todd Ackerman, Ken Ramsey, Barbara Benson, Jonathan Chipman, James Laundre, Hap Garritt, Don Henshaw, Barrie Collins, Christopher Gardner, Sven Bohm, Margaret O'Brien, Jincheng Gao, Wade Sheldon, Stephanie Lyon, Dan Bahauddin, Mark Servilla, Duane Costa, James Brunt:
  The Long-Term Ecological Research community metadata standardisation project: a progress report. Int. J. Metadata Semant. Ontologies 4(3): 141-153 (2009)
• 2007
• 
  Steven Eno, Lauren Mace, Jianyi Liu, Brian Benson, Kailash Raman, Kiju Lee, Matthew Moses, Gregory S. Chirikjian:
  Robotic Self-Replication in a Structured Environment without Computer Control. CIRA 2007: 327-332
• 2006
• 
  Bridget Benson, Grace Chang, Derek Manov, Brian Graham, Ryan Kastner:
  Design of a low-cost acoustic modem for moored oceanographic applications. Underwater Networks 2006: 71-78
• 2003
• 
  Kirk C. Benson, Glenn Dean, Geoffrey Kuhlmann, Brian Sperling, Amy R. Pritchett, Julie A. Jacko:
  Experimental study of cockpit displays of traffic information for pilot self-spacing in congested airspace. CHI Extended Abstracts 2003: 842-843
• 1992
• 
  Steven C. Horii, Betty Ann Levine, Gregory Goger, Seong Ki Mun, Rob Fielding, Brian S. Garra, Shih-Chung Benedict Lo, Brian H. Krasner, Harold R. Benson:
  A comparison of case retrieval times: Film versus picture archiving and communications systems. J. Digit. Imaging 5(3): 138-143 (1992)