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

• 2024
• 
  Roderick Chapman, Claire Dross, Stuart Matthews, Yannick Moy:
  Co-Developing Programs and Their Proof of Correctness. Commun. ACM 67(3): 84-94 (2024)
• 
  Débora B. Pina, Adriane Chapman, Liliane N. O. Kunstmann, Daniel de Oliveira, Marta Mattoso:
  DLProv: A Data-Centric Support for Deep Learning Workflow Analyses. DEEM@SIGMOD 2024: 77-85
• 
  Zhiqiang Huo, Timothy Neate, David Wyatt, Sophie Rowland-Coomber, Martin Chapman, Iain J. Marshall, Charles Wolfe, Matthew O'Connell, Vasa Curcin:
  Co-Designing a User-Centred Digital Portal to Support Health-Related Self-Management for Stroke Survivors. ICHI 2024: 418-425
• 
  Zhiqiang Huo, Timothy Neate, David Wyatt, Sophie Rowland-Coomber, Martin Chapman, Iain J. Marshall, Charles Wolfe, Matthew O'Connell, Vasa Curcin:
  A Preliminary Case Study of Developing a Web-Based Digital Portal for Stroke Survivors Using Synthetic Personal Health Data. ICHI 2024: 550-552
• 2023
• 
  Kate Talsma, Andrew Chapman, Allison Matthews:
  Self-regulatory and demographic predictors of grades in online and face-to-face university cohorts: A multi-group path analysis. Br. J. Educ. Technol. 54(6): 1917-1938 (2023)
• 
  Kayla E. Chapman, Megan E. Davidson, Nneka Azuka, Matthew W. Liberatore:
  Quantifying deliberate practice using auto-graded questions: Analyzing multiple metrics in a chemical engineering course. Comput. Appl. Eng. Educ. 31(4): 916-929 (2023)
• 
  Nathan J. Wispinski, Andrew Butcher, Kory Wallace Mathewson, Craig S. Chapman, Matthew M. Botvinick, Patrick M. Pilarski:
  Adaptive patch foraging in deep reinforcement learning agents. Trans. Mach. Learn. Res. 2023 (2023)
• 
  Janosch Haber, Bertie Vidgen, Matthew Chapman, Vibhor Agarwal, Roy Ka-Wei Lee, Yong Keong Yap, Paul Röttger:
  Improving the Detection of Multilingual Online Attacks with Rich Social Media Data from Singapore. ACL (1) 2023: 12705-12721
• 
  Amid Ayobi, Jacob Hughes, Christopher J. Duckworth, Jakub J. Dylag, Sam James, Paul Marshall, Matthew Guy, Anitha Kumaran, Adriane Chapman, Michael J. Boniface, Aisling Ann O'Kane:
  Computational Notebooks as Co-Design Tools: Engaging Young Adults Living with Diabetes, Family Carers, and Clinicians with Machine Learning Models. CHI 2023: 300:1-300:20
• 
  Nicholas Arena, M. Grace Bato, David Bekaert, Matthew Bonnema, Steven Chan, Bruce Chapman, John W. Jones, Alexander L. Handwerger, Alex Lewandowski, Charlie Marshak, Simran Sangha, Karthik Venkataramani:
  Opera Dynamic Surface Water Extents for Harmonized Landsat Sentinel-2 (DSWX-HLS) Validation Activities. IGARSS 2023: 2723-2726
• 
  Alec B. Chapman, Kelly S. Peterson, Elizabeth Rutter, McKenna Nevers, Jian Ying, David C. Classen, Makoto Jones, Matthew H. Samore, Barbara Jones:
  A Linguistic Analysis Examining the Impact of COVID-19 on Pneumonia Diagnosis and Disease Models. MedInfo 2023: 1444-1445
• 
  Débora B. Pina, Adriane Chapman, Daniel de Oliveira, Marta Mattoso:
  Deep Learning Provenance Data Integration: a Practical Approach. WWW (Companion Volume) 2023: 1542-1550
• 
  Hyuna Kwon, Tim Hsu, Wenyu Sun, Wonseok Jeong, Fikret Aydin, James Chapman, Xiao Chen, Matthew R. Carbone, Deyu Lu, Fei Zhou, Tuan Anh Pham:
  Spectroscopy-Guided Discovery of Three-Dimensional Structures of Disordered Materials with Diffusion Models. CoRR abs/2312.05472 (2023)
• 2022
• 
  Mike Busch, Andrew Funk, Matt McIlvride, Trevor Thomas, Brian Fuller, Dan Blair, John Chapman:
  A Novel Programmatic Hybrid 2D / 3D Image Segmentation and Labeling Methodology. AIPR 2022: 1-8
• 
  Durga S. Borkar, Meghan Hatfield, Thaihien Nguyen, Richard Chapman, Theodore Leng, Michael Mbagwu, Matthew Roe, Shrujal Baxi, Aracelis Z. Torres:
  Understanding Mechanisms of Missingness for Unspecified Diabetic Retinopathy Disease Severity in the Electronic Health Record: An IRIS® Registry Analysis. AMIA 2022
• 
  Nathan J. Wispinski, Andrew Butcher, Kory W. Mathewson, Craig S. Chapman, Matthew M. Botvinick, Patrick M. Pilarski:
  Adaptive patch foraging in deep reinforcement learning agents. CoRR abs/2210.08085 (2022)
• 2021
• 
  Matt Chapman-Rounds, Umang Bhatt, Erik Pazos, Marc-Andre Schulz, Konstantinos Georgatzis:
  FIMAP: Feature Importance by Minimal Adversarial Perturbation. AAAI 2021: 11433-11441
• 
  Md Abdullah Shahneous Bari, Barbara M. Chapman, Anthony Curtis, Robert J. Harrison, Eva Siegmann, Nikolay A. Simakov, Matthew D. Jones:
  A64FX performance: experience on Ookami. CLUSTER 2021: 711-718
• 2020
• 
  Matthew Tamasi, Shashank Kosuri, Jason Distefano, Robert Chapman, Adam J. Gormley:
  Automation of Controlled/Living Radical Polymerization. Adv. Intell. Syst. 2(2): 1900126 (2020)
• 
  Cong Tan, Brett Chapman, Penghao Wang, Qisen Zhang, Gaofeng Zhou, Xiao-qi Zhang, Roberto A. Barrero, Matthew I. Bellgard, Chengdao Li:
  BarleyVarDB: a database of barley genomic variation. Database J. Biol. Databases Curation 2020 (2020)
• 
  Matthew W. Liberatore, Kayla E. Chapman, Katherine M. Roach:
  Significant reading participation across multiple cohorts before and after the due date when using an interactive textbook. Comput. Appl. Eng. Educ. 28(2): 444-453 (2020)
• 
  Derek Richards, Angel Enrique, Nora Eilert, Matthew Franklin, Jorge E. Palacios, Daniel Duffy, Caroline Earley, Judith Chapman, Grace Jell, Sarah Sollesse, Ladislav Timulak:
  A pragmatic randomized waitlist-controlled effectiveness and cost-effectiveness trial of digital interventions for depression and anxiety. npj Digit. Medicine 3 (2020)
• 
  Derek Richards, Angel Enrique, Nora Eilert, Matthew Franklin, Jorge E. Palacios, Daniel Duffy, Caroline Earley, Judith Chapman, Grace Jell, Sarah Sollesse, Ladislav Timulak:
  Author Correction: A pragmatic randomized waitlist-controlled effectiveness and cost-effectiveness trial of digital interventions for depression and anxiety. npj Digit. Medicine 3 (2020)
• 
  Lei Xiao, Salah Nouri, Matthew Chapman, Alexander Fix, Douglas Lanman, Anton Kaplanyan:
  Neural supersampling for real-time rendering. ACM Trans. Graph. 39(4): 142 (2020)
• 
  Scott Hensley, Razi Ahmed, Bruce Chapman, Brian P. Hawkins, Marco Lavalle, Naiara Pinto, Matteo Pardini, Kostas Papathanassiou, Paul Siqueira, Robert N. Treuhaft:
  Boreal Forest Radar Tomography at P, L and S-Bands at Berms and Delta Junction. IGARSS 2020: 96-99
• 
  Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova:
  Flexible Formality Practical Experience with Agile Formal Methods. TFP 2020: 94-120
• 
  Bob Coecke, Matthew Leifer:
  Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents]
• 2019
• 
  Imon Banerjee, Yuan Ling, Matthew C. Chen, Sadid A. Hasan, Curtis P. Langlotz, Nathaniel Moradzadeh, Brian E. Chapman, Timothy Amrhein, David A. Mong, Daniel L. Rubin, Oladimeji Farri, Matthew P. Lungren:
  Comparative effectiveness of convolutional neural network (CNN) and recurrent neural network (RNN) architectures for radiology text report classification. Artif. Intell. Medicine 97: 79-88 (2019)
• 
  Christian D. Chapman, Matthew Kinsinger, Ameya Agaskar, Daniel W. Bliss:
  Distributed Recovery of a Gaussian Source in Interference with Successive Lattice Processing. Entropy 21(9): 845 (2019)
• 
  Matt Chapman-Rounds, Marc-Andre Schulz, Erik Pazos, Konstantinos Georgatzis:
  EMAP: Explanation by Minimal Adversarial Perturbation. CoRR abs/1912.00872 (2019)

skipping 53 more matches