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

• 2024
• 
  Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore:
  Randomized Testing of RISC-V CPUs Using Direct Instruction Injection. IEEE Des. Test 41(1): 40-49 (2024)
• 
  Jean Feng, Alexej Gossmann, Romain Pirracchio, Nicholas Petrick, Gene Pennello, Berkman Sahiner:
  Is this model reliable for everyone? Testing for strong calibration. AISTATS 2024: 181-189
• 
  Nicholas Harrison, Nathan D. Wallace, Salah Sukkarieh:
  Automated Testing of Spatially-Dependent Environmental Hypotheses through Active Transfer Learning. ICRA 2024: 17941-17947
• 
  Nicholas Harrison, Nathan D. Wallace, Salah Sukkarieh:
  Automated Testing of Spatially-Dependent Environmental Hypotheses through Active Transfer Learning. CoRR abs/2402.18064 (2024)
• 
  Sondess Missaoui, Simos Gerasimou, Nikolaos Drivalos Matragkas:
  DeepKnowledge: Generalisation-Driven Deep Learning Testing. CoRR abs/2403.16768 (2024)
• 
  Nicholas Lyu, Kaifeng Bu:
  Fermionic Gaussian Testing and Non-Gaussian Measures via Convolution. CoRR abs/2409.08180 (2024)
• 2023
• 
  Jiangqi Hu, Zhiyuan Zhao, Maxwell McManus, Sabarish Krishna Moorthy, Yuqing Cui, Nicholas Mastronarde, Elizabeth Serena Bentley, Michael J. Medley, Zhangyu Guan:
  NeXT: Architecture, prototyping and measurement of a software-defined testing framework for integrated RF network simulation, experimentation and optimization. Comput. Commun. 210: 342-355 (2023)
• 
  Gerasimos Chouliaras, Efthimios S. Skordas, Nicholas V. Sarlis:
  Earthquake Nowcasting: Retrospective Testing in Greece. Entropy 25(2): 379 (2023)
• 
  George Stamatelis, Nicholas Kalouptsidis:
  Active Hypothesis Testing in Unknown Environments Using Recurrent Neural Networks and Model Free Reinforcement Learning. EUSIPCO 2023: 1380-1384
• 
  Naomi Tack, Nicholas Holschuh, Sharad Sharma, Rebecca Williams, Don Engel:
  Development and Initial Testing of XR-Based Fence Diagrams for Polar Science. IGARSS 2023: 1541-1544
• 
  Nicholas Kwan, Lele Wang:
  Constructions for Nonadaptive Tropical Group Testing. ISIT 2023: 1627-1632
• 
  Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas:
  Semantic Data Augmentation for Deep Learning Testing Using Generative AI. ASE 2023: 1694-1698
• 
  George Stamatelis, Nicholas Kalouptsidis:
  Active hypothesis testing in unknown environments using recurrent neural networks and model free reinforcement learning. CoRR abs/2303.10623 (2023)
• 
  Nicholas Kwan, Lele Wang:
  Constructions for Nonadaptive Tropical Group Testing. CoRR abs/2305.05112 (2023)
• 
  Jean Feng, Alexej Gossmann, Romain Pirracchio, Nicholas Petrick, Gene Pennello, Berkman Sahiner:
  Is this model reliable for everyone? Testing for strong calibration. CoRR abs/2307.15247 (2023)
• 2022
• 
  Nicholas Paul Imperius, Ayman Diyab Alahmar:
  Systematic Mapping of Testing Smart Contracts for Blockchain Applications. IEEE Access 10: 112845-112857 (2022)
• 
  Nandha Kumar Kandasamy, Sarad Venugopalan, Tin Kit Wong, Leu Junming Nicholas:
  An electric power digital twin for cyber security testing, research and education. Comput. Electr. Eng. 101: 108061 (2022)
• 
  J. Nathan Matias, Austin Hounsel, Nick Feamster:
  Software-Supported Audits of Decision-Making Systems: Testing Google and Facebook's Political Advertising Policies. Proc. ACM Hum. Comput. Interact. 6(CSCW1): 118:1-118:19 (2022)
• 
  Matthias Christandl, Nicholas Gauguin Houghton-Larsen, Laura Mancinska:
  An Operational Environment for Quantum Self-Testing. Quantum 6: 699 (2022)
• 
  Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
  Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2393-2406 (2022)
• 
  Nicholas A. Vickers, Sean B. Andersson:
  Synthetic Stochastic Motion Platform for Testing Single Particle Tracking Microscopes. IEEE Trans. Control. Syst. Technol. 30(6): 2726-2733 (2022)
• 
  Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray:
  FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. ASP-DAC 2022: 352-357
• 
  Elizabeth Dekeyser, Nicholas Comment, Shermin Pei, Rajat Kumar, Shruti Rai, Fengtao Wu, Lisa A. Haverty, Kanna Shimizu:
  Iterative Stratified Testing and Measurement for Automated Model Updates. EMNLP (Industry Track) 2022: 198-205
• 
  Ariana J. Mann, Ilai Bistritz, Nicholas Bambos:
  Active Testing for an Emerging Epidemic. HealthCom 2022: 7-12
• 
  Angus B. Clark, Nicholas Baron, Lachlan Orr, Mirko Kovac, Nicolás Rojas:
  On a Balanced Delta Robot for Precise Aerial Manipulation: Implementation, Testing, and Lessons for Future Designs. IROS 2022: 7359-7366
• 
  Shamil S. Patel, Jenny C. A. Read, Vivek Nityananda, Nicholas S. Szczecinski:
  Robotic Platform for Testing a Simple Stereopsis Network. Living Machines 2022: 195-198
• 
  Paul Alcock, Ben Simms, Will Fantom, Charalampos Rotsos, Nicholas J. P. Race:
  Improving Intent Correctness with Automated Testing. NetSoft 2022: 61-66
• 2021
• 
  Nicholas Valceschini, Mirko Mazzoleni, Fabio Previdi:
  Inertial load classification of low-cost electro-mechanical systems under dataset shift with fast end of line testing. Eng. Appl. Artif. Intell. 105: 104446 (2021)
• 
  Cangyu Jin, Retsef Levi, Qiao Liang, Nicholas Renegar, Stacy L. Springs, Jiehong Zhou, Weihua Zhou:
  Testing at the Source: Analytics-Enabled Risk-Based Sampling of Food Supply Chains in China. Manag. Sci. 67(5): 2985-2996 (2021)
• 
  Fred S. Lu, André T. Nguyen, Nicholas B. Link, Mathieu Molina, Jessica T. Davis, Matteo Chinazzi, Xinyue Xiong, Alessandro Vespignani, Marc Lipsitch, Mauricio Santillana:
  Estimating the cumulative incidence of COVID-19 in the United States using influenza surveillance, virologic testing, and mortality data: Four complementary approaches. PLoS Comput. Biol. 17(6) (2021)

skipping 76 more matches