• 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 201 matches

• 2024
• 
  Paul Dominick E. Baniqued, Paul Bremner, Melissa Sandison, Samuel Harper, Subham Agrawal, Joseph Bolarinwa, Jamie Blanche, Zhengyi Jiang, Thomas Johnson, Daniel Mitchell, Erwin Jose Lopez Pulgarin, Andrew West, Melissa Willis, Kanzhong Yao, David Flynn, Manuel Giuliani, Keir Groves, Barry Lennox, Simon Watson:
  Multimodal immersive digital twin platform for cyber-physical robot fleets in nuclear environments. J. Field Robotics 41(5): 1521-1540 (2024)
• 
  Benjamin Darnell, Hetarth Chopra, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram S. Adve:
  An Empirical Comparison of Code Generation Approaches for Ansible. InteNSE 2024: 1-6
• 
  Ángel Grover Pérez Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano:
  Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach. CoRR abs/2402.04079 (2024)
• 
  Milos Prokop, Petros Wallden, David Joseph:
  Grover's oracle for the Shortest Vector Problem and its application in hybrid classical-quantum solvers. CoRR abs/2402.13895 (2024)
• 
  Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
  Tools at the Frontiers of Quantitative Verification. CoRR abs/2405.13583 (2024)
• 
  Andreas Grivas, Claire Grover, Richard Tobin, Clare Llewellyn, Eleojo Oluwaseun Abubakar, Chunyu Zheng, Chris Dibben, Alan Marshall, David J. Pearce, Beatrice Alex:
  Perceptions of Edinburgh: Capturing Neighbourhood Characteristics by Clustering Geoparsed Local News. CoRR abs/2409.11505 (2024)
• 2023
• 
  David Angeli, Sabato Manfredi:
  Gradient-based local formulations of the Vickrey-Clarke-Groves mechanism for truthful minimization of social convex objectives. Autom. 150: 110870 (2023)
• 
  Ángel Grover Pérez Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano:
  Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach. Comput. Electr. Eng. 111(Part B): 108953 (2023)
• 
  Taylor L. Groves, Naveen Ravichandrasekaran, Brandon Cook, Noel Keen, David Trebotich, Nicholas J. Wright, Bob Alverson, Duncan Roweth, Keith D. Underwood:
  Not all applications have boring communication patterns: Profiling message matching with BMM. Concurr. Comput. Pract. Exp. 35(15) (2023)
• 
  Arlene Casey, Emma M. Davidson, Claire Grover, Richard Tobin, Andreas Grivas, Huayu Zhang, Patrick Schrempf, Alison Q. O'Neil, Liam Lee, Michael Walsh, Freya Pellie, Karen Ferguson, Vera Cvoro, Honghan Wu, Heather Whalley, Grant Mair, William Whiteley, Beatrice Alex:
  Understanding the performance and reliability of NLP tools: a comparison of four NLP tools predicting stroke phenotypes in radiology reports. Frontiers Digit. Health 5 (2023)
• 
  Yogesh K. Dwivedi, Nir Kshetri, Laurie Hughes, Emma L. Slade, Anand Jeyaraj, Arpan Kumar Kar, Abdullah M. Baabdullah, Alex Koohang, Vishnupriya Raghavan, Manju Ahuja, Hanaa Albanna, Mousa Ahmad Albashrawi, Adil S. Al-Busaidi, Janarthanan Balakrishnan, Yves Barlette, Sriparna Basu, Indranil Bose, Laurence D. Brooks, Dimitrios Buhalis, Lemuria D. Carter, Soumyadeb Chowdhury, Tom Crick, Scott W. Cunningham, Gareth H. Davies, Robert M. Davison, Rahul De', Denis Dennehy, Yanqing Duan, Rameshwar Dubey, Rohita Dwivedi, John S. Edwards, Carlos Flavián, Robin Gauld, Varun Grover, Mei-Chih Hu, Marijn Janssen, Paul Jones, Iris A. Junglas, Sangeeta Khorana, Sascha Kraus, Kai R. Larsen, Paul Latreille, Sven Laumer, F. Tegwen Malik, Abbas Mardani, Marcello Mariani, Sunil Mithas, Emmanuel Mogaji, Jeretta Horn Nord, Siobhán O'Connor, Fevzi Okumus, Margherita Pagani, Neeraj Pandey, Savvas Papagiannidis, Ilias O. Pappas, Nishith Pathak, Jan Pries-Heje, Ramakrishnan Raman, Nripendra P. Rana, Sven-Volker Rehm, Samuel Ribeiro-Navarrete, Alexander Richter, Frantz Rowe, Suprateek Sarker, Bernd Carsten Stahl, Manoj Kumar Tiwari, Wil M. P. van der Aalst, Viswanath Venkatesh, Giampaolo Viglia, Michael Wade, Paul Walton, Jochen Wirtz, Ryan T. Wright:
  Opinion Paper: "So what if ChatGPT wrote it?" Multidisciplinary perspectives on opportunities, challenges and implications of generative conversational AI for research, practice and policy. Int. J. Inf. Manag. 71: 102642 (2023)
• 
  Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward A. Epstein:
  Reliable Actors with Retry Orchestration. Proc. ACM Program. Lang. 7(PLDI): 1293-1316 (2023)
• 
  Jamie Blanche, Daniel Mitchell, Andrew West, Samuel Harper, Keir Groves, Barry Lennox, Simon Watson, David Flynn:
  Microwave Sensing for Avoidance of High-Risk Ground Conditions for Mobile Robots. COINS 2023: 1-7
• 
  David Morton, Laura Connolly, Leah A. Groves, Kyle Sunderland, Amoon Jamzad, John F. Rudan, Gabor Fichtinger, Tamas Ungi, Parvin Mousavi:
  Tracked tissue sensing for tumor bed inspection. Medical Imaging: Image-Guided Procedures 2023
• 2022
• 
  Yogesh K. Dwivedi, David Laurie Hughes, Arpan Kumar Kar, Abdullah M. Baabdullah, Purva Grover, Roba Abbas, Daniela Andreini, Iyad Abumoghli, Yves Barlette, Deborah Bunker, Leona Chandra Kruse, Ioanna D. Constantiou, Robert M. Davison, Rahul De', Rameshwar Dubey, Henry Fenby-Taylor, Babita Gupta, Wu He, Mitsuru Kodama, Matti Mäntymäki, Bhimaraya A. Metri, Katina Michael, Johan Olaisen, Niki Panteli, Samuli Pekkola, Rohit Nishant, Ramakrishnan Raman, Nripendra P. Rana, Frantz Rowe, Suprateek Sarker, Brenda Scholtz, Maung Sein, Jeel Dharmeshkumar Shah, Thompson S. H. Teo, Manoj Kumar Tiwari, Morten Thanning Vendelø, Michael Wade:
  Climate change and COP26: Are digital technologies and information management part of the problem or the solution? An editorial reflection and call to action. Int. J. Inf. Manag. 63: 102456 (2022)
• 
  David J. Pearce, Mark Utting, Lindsay Groves:
  Verifying Whiley Programs with Boogie. J. Autom. Reason. 66(4): 747-803 (2022)
• 
  Jodi Asbell-Clarke, Tara Robillard, Teon Edwards, Erin Bardar, David Weintrop, Shuchi Grover, Maya Israel:
  Including Neurodiversity in Foundational and Applied Computational Thinking (INFACT). SIGCSE (2) 2022: 1076
• 
  David Grove:
  Virtual programming environments: programming the cloud (keynote). VEE 2022: 2
• 
  Jamie Blanche, Shivoh Chirayil Nandakumar, Daniel Mitchell, Samuel Harper, Keir Groves, Andrew West, Barry Lennox, Simon Watson, David Flynn, Ikuo Yamamoto:
  Millimeter-Wave Sensing for Avoidance of High-Risk Ground Conditions for Mobile Robots. CoRR abs/2203.16180 (2022)
• 
  Deborah Bard, Cory Snavely, Lisa Gerhardt, Jason Lee, Becci Totzke, Katie Antypas, William Arndt, Johannes P. Blaschke, Suren Byna, Ravi Cheema, Shreyas Cholia, Mark R. Day, Bjoern Enders, Aditi Gaur, Annette Greiner, Taylor L. Groves, Mariam Kiran, Quincey Koziol, Tom Lehman, Kelly Rowland, Chris Samuel, Ashwin Selvarajan, Alex Sim, David Skinner, Laurie Stephey, Rollin C. Thomas, Gabor Torok:
  The LBNL Superfacility Project Report. CoRR abs/2206.11992 (2022)
• 2021
• 
  Emma M. Davidson, Michael Tin Chung Poon, Arlene Casey, Andreas Grivas, Daniel Duma, Hang Dong, Víctor Suárez-Paniagua, Claire Grover, Richard Tobin, Heather Whalley, Honghan Wu, Beatrice Alex, William Whiteley:
  The reporting quality of natural language processing studies: systematic review of studies of radiology reports. BMC Medical Imaging 21(1): 142 (2021)
• 
  Arlene Casey, Emma M. Davidson, Michael Tin Chung Poon, Hang Dong, Daniel Duma, Andreas Grivas, Claire Grover, Víctor Suárez-Paniagua, Richard Tobin, William Whiteley, Honghan Wu, Beatrice Alex:
  A systematic review of natural language processing applied to radiology reports. BMC Medical Informatics Decis. Mak. 21(1): 179 (2021)
• 
  Seth Carbon, Eric Douglass, Benjamin M. Good, Deepak R. Unni, Nomi L. Harris, Christopher J. Mungall, Siddartha Basu, Rex L. Chisholm, Robert J. Dodson, Eric Hartline, Petra Fey, Paul D. Thomas, Laurent-Philippe Albou, Dustin Ebert, Michael J. Kesling, Huaiyu Mi, Anushya Muruganujan, Xiaosong Huang, Tremayne Mushayahama, Sandra A. LaBonte, Deborah A. Siegele, Giulia Antonazzo, Helen Attrill, Nick H. Brown, Phani V. Garapati, Steven J. Marygold, Vitor Trovisco, Gilberto dos Santos, Kathleen Falls, Christopher J. Tabone, Pinglei Zhou, Joshua L. Goodman, Victor B. Strelets, Jim Thurmond, Penelope Garmiri, Rizwan Ishtiaq, Milagros Rodríguez-López, Marcio Luis Acencio, Martin Kuiper, Astrid Lægreid, Colin Logie, Ruth C. Lovering, Barbara Kramarz, Shirin C. C. Saverimuttu, Sandra M. Pinheiro, Heather Gunn, Renzhi Su, Katherine E. Thurlow, Marcus C. Chibucos, Michelle G. Giglio, Suvarna Nadendla, James B. Munro, Rebecca C. Jackson, Margaret J. Duesbury, Noemi del-Toro, Birgit H. M. Meldal, Kalpana Paneerselvam, Livia Perfetto, Pablo Porras, Sandra E. Orchard, Anjali Shrivastava, Hsin-Yu Chang, Robert D. Finn, Alex L. Mitchell, Neil D. Rawlings, Lorna J. Richardson, Amaia Sangrador-Vegas, Judith A. Blake, Karen R. Christie, Mary E. Dolan, Harold J. Drabkin, David P. Hill, Li Ni, Dmitry M. Sitnikov, Midori A. Harris, Stephen G. Oliver, Kim Rutherford, Valerie Wood, Jaqueline Hayles, Jürg Bähler, Elizabeth R. Bolton, Jeffrey DePons, Melinda R. Dwinell, G. Thomas Hayman, Mary L. Kaldunski, Anne E. Kwitek, Stanley J. F. Laulederkind, Cody Plasterer, Marek Tutaj, Mahima Vedi, Shur-Jen Wang, Peter D'Eustachio, Lisa Matthews, James P. Balhoff, Suzi A. Aleksander, Michael J. Alexander, J. Michael Cherry, Stacia R. Engel, Felix Gondwe, Kalpana Karra, Stuart R. Miyasato, Robert S. Nash, Matt Simison, Marek S. Skrzypek, Shuai Weng, Edith D. Wong, Marc Feuermann, Pascale Gaudet, Anne Morgat, Erica Bakker, Tanya Z. Berardini, Leonore Reiser, Shabari Subramaniam, Eva Huala, Cecilia N. Arighi, Andrea H. Auchincloss, Kristian B. Axelsen, Ghislaine Argoud-Puy, Alex Bateman, Marie-Claude Blatter, Emmanuel Boutet, Emily Bowler, Lionel Breuza, Alan J. Bridge, Ramona Britto, Hema Bye-A-Jee, Cristina Casals-Casas, Elisabeth Coudert, Paul Denny, Anne Estreicher, Maria Livia Famiglietti, George E. Georghiou, Arnaud Gos, Nadine Gruaz-Gumowski, Emma Hatton-Ellis, Chantal Hulo, Alexandr Ignatchenko, Florence Jungo, Kati Laiho, Philippe Le Mercier, Damien Lieberherr, Antonia Lock, Yvonne Lussi, Alistair MacDougall, Michele Magrane, Maria Jesus Martin, Patrick Masson, Darren A. Natale, Nevila Hyka-Nouspikel, Ivo Pedruzzi, Lucille Pourcel, Sylvain Poux, Sangya Pundir, Catherine Rivoire, Elena Speretta, Shyamala Sundaram, Nidhi Tyagi, Kate Warner, Rossana Zaru, Cathy H. Wu, Alexander D. Diehl, Juancarlos Chan, Christian A. Grove, Raymond Y. N. Lee, Hans-Michael Müller, Daniela Raciti, Kimberly Van Auken, Paul W. Sternberg, Matthew Berriman, Michael Paulini, Kevin L. Howe, Sibyl Gao, Adam Wright, Lincoln Stein, Douglas G. Howe, Sabrina Toro, Monte Westerfield, Pankaj Jaiswal, Laurel Cooper, Justin Elser:
  The Gene Ontology resource: enriching a GOld mine. Nucleic Acids Res. 49(Database-Issue): D325-D334 (2021)
• 
  Dean G. Chester, Taylor L. Groves, Simon D. Hammond, Tim Law, Steven A. Wright, Richard P. Smedley-Stevenson, Suhaib A. Fahmy, Gihan R. Mudalidge, Stephen A. Jarvis:
  StressBench: A Configurable Full System Network and I/O Benchmark Framework. HPEC 2021
• 
  Marin Dimitrov, Keir Groves, David Howard, Barry Lennox:
  Model Identification of a Small Fully-Actuated Aquatic Surface Vehicle Using a Long Short-Term Memory Neural Network. ICRA 2021: 5966-5972
• 
  Arlene Casey, Emma M. Davidson, Michael Tin Chung Poon, Hang Dong, Daniel Duma, Andreas Grivas, Claire Grover, Víctor Suárez-Paniagua, Richard Tobin, William Whiteley, Honghan Wu, Beatrice Alex:
  A Systematic Review of Natural Language Processing Applied to Radiology Reports. CoRR abs/2102.09553 (2021)
• 
  Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward A. Epstein:
  Reliable Actors with Retry Orchestration. CoRR abs/2111.11562 (2021)
• 
  Paul E. Jones, David Benham, Christian Groves:
  A Solution Framework for Private Media in Privacy-Enhanced RTP Conferencing (PERC). RFC 8871: 1-23 (2021)
• 2020
• 
  Ales Saska, David Tichy, Robert Moore, Achilles Rasquinha, Caner Akdas, Xiaodong Zhao, Renato Fabbri, Ana Jelicic, Gaurav Grover, Himanshu Jotwani, Mohamed Shadab, Resa M. K. Helikar, Tomás Helikar, Jonathan D. Wren:
  ccNetViz: a WebGL-based JavaScript library for visualization of large networks. Bioinform. 36(16): 4527-4529 (2020)
• 
  Nadja Schömig, Katharina Wiedemann, Sebastian Hergeth, Yannick Forster, Jeffrey Muttart, Alexander Eriksson, David Mitropoulos-Rundus, Kevin Grove, Josef Krems, Andreas Keinath, Alexandra Neukum, Frederik Naujoks:
  Checklist for Expert Evaluation of HMIs of Automated Vehicles - Discussions on Its Value and Adaptions of the Method within an Expert Workshop. Inf. 11(4): 233 (2020)

skipping 171 more matches