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

• 2024
• 
  Saniya Vahedian Movahed, James Dimino, Andrew Farrell, Elyas Irankhah, Srija Ghosh, Garima Jain, Vaishali Mahipal, Pranathi Rayavaram, Ismaila Temitayo Sanusi, Erika Salas, Kelilah L. Wolkowicz, Sashank Narain, Fred Martin:
  Introducing Children to AI and ML with Five Software Exhibits. CHI Extended Abstracts 2024: 202:1-202:6
• 
  Fred Martin, Saniya Vahedian Movahed, James Dimino, Andrew Farrell, Elyas Irankhah, Srija Ghosh, Garima Jain, Vaishali Mahipal, Pranathi Rayavaram, Ismaila Temitayo Sanusi, Erika Salas, Kelilah L. Wolkowicz, Sashank Narain:
  Perception, Trust, Attitudes, and Models: Introducing Children to AI and Machine Learning with Five Software Exhibits. SIGCSE (2) 2024: 1740-1741
• 
  Elijah Bellamy, Kseniya Farrell, Aiden Hopping, James Pinter, Michael Saju, David M. Beskow:
  Designing an Intelligent System to Map Global Connections. SysCon 2024: 1-3
• 
  Mehmet Fatih Ozkan, James Farrell, Marcello Telloni, Luis Mendez, Radu Pirvan, Jeffrey P. Chrstos, Marcello Canova, Stephanie Stockar:
  Data-Driven Personalized Energy Consumption Range Estimation for Plug-in Hybrid Electric Vehicles in Urban Traffic. CoRR abs/2405.17654 (2024)
• 2023
• 
  Eric W. Sayers, Evan E. Bolton, J. Rodney Brister, Kathi Canese, Jessica Chan, Donald C. Comeau, Catherine M. Farrell, Michael Feldgarden, Anna M. Fine, Kathryn Funk, Eneida Hatcher, Sivakumar Kannan, Christopher Kelly, Sunghwan Kim, William Klimke, Melissa J. Landrum, Stacy Lathrop, Zhiyong Lu, Thomas L. Madden, Adriana J. Malheiro, Aron Marchler-Bauer, Terence D. Murphy, Lon Phan, Shashikant Pujar, Sanjida H. Rangwala, Valerie A. Schneider, Tony Tse, Jiyao Wang, Jian Ye, Barton W. Trawick, Kim D. Pruitt, Stephen T. Sherry:
  Database resources of the National Center for Biotechnology Information in 2023. Nucleic Acids Res. 51(D1): 29-38 (2023)
• 
  Marie Farrell, Rosemary Monahan, James F. Power:
  Building Specifications in the Event-B Institution: A Summary. ABZ 2023: 245-253
• 2022
• 
  Julia A. Kelly, Shannon L. Farrell, Lois G. Hendrickson, James Luby, Kristen L. Mastel:
  A Critical Literature Review of Historic Scientific Analog Data: Uses, Successes, and Challenges. Data Sci. J. 21: 14 (2022)
• 
  Marie Farrell, Rosemary Monahan, James F. Power:
  Building Specifications in the Event-B Institution. Log. Methods Comput. Sci. 18(4) (2022)
• 
  James Dalby, Patrick E. Farrell, Apala Majumdar, Jingmin Xia:
  One-Dimensional Ferronematics in a Channel: Order Reconstruction, Bifurcations, and Multistability. SIAM J. Appl. Math. 82(2): 694-719 (2022)
• 2021
• 
  James H. Adler, Thomas R. Benson, Eric C. Cyr, Patrick E. Farrell, Scott P. MacLachlan, Ray S. Tuminaro:
  Monolithic Multigrid Methods for Magnetohydrodynamics. SIAM J. Sci. Comput. 43(5): S70-S91 (2021)
• 
  James You, Christopher W. Schankula, Bill O'Farrell, Christopher K. Anand:
  Building blocks for redundancy-free vector integer multiplication. CASCON 2021: 208-213
• 
  Xiangyang Ju, Daniel Murnane, Paolo Calafiura, Nicholas Choma, Sean Conlon, Steven Farrell, Yaoyuan Xu, Maria Spiropulu, Jean-Roch Vlimant, Adam Aurisano, Jeremy Hewes, Giuseppe Cerati, Lindsey Gray, Thomas Klijnsma, Jim Kowalkowski, Markus Atkinson, Mark S. Neubauer, Gage DeZoort, Savannah Thais, Aditi Chauhan, Alex Schuy, Shih-Chieh Hsu, Alexandra Ballow, Alina Lazar:
  Physics and Computing Performance of the Exa.TrkX TrackML Pipeline. CoRR abs/2103.06995 (2021)
• 
  Marie Farrell, Rosemary Monahan, James F. Power:
  Building Specifications in the Event-B Institution. CoRR abs/2103.10881 (2021)
• 2020
• 
  Edward E. Allen, John Farrell, Alexandria F. Harkey, David J. John, Gloria K. Muday, James L. Norris, Bo Wu:
  Time Series Adjustment Enhancement of Hierarchical Modeling of Arabidopsis Thaliana Gene Interactions. AlCoB 2020: 143-154
• 
  J. H. Adler, Thomas R. Benson, Eric C. Cyr, Patrick E. Farrell, Scott P. MacLachlan, Ray S. Tuminaro:
  Monolithic Multigrid for Magnetohydrodynamics. CoRR abs/2006.15700 (2020)
• 
  Nicholas Choma, Daniel Murnane, Xiangyang Ju, Paolo Calafiura, Sean Conlon, Steven Farrell, Prabhat, Giuseppe Cerati, Lindsey Gray, Thomas Klijnsma, Jim Kowalkowski, Panagiotis Spentzouris, Jean-Roch Vlimant, Maria Spiropulu, Adam Aurisano, Jeremy Hewes, Aristeidis Tsaris, Kazuhiro Terao, Tracy L. Usher:
  Track Seeding and Labelling with Embedded-space Graph Neural Networks. CoRR abs/2007.00149 (2020)
• 
  Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov:
  Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR abs/2010.05708 (2020)
• 
  James You, Qi Zhang, Curtis D'Alves, Bill O'Farrell, Christopher Kumar Anand:
  Using z14 Fused-Multiply-Add Instructions to Accelerate Elliptic Curve Cryptography. IACR Cryptol. ePrint Arch. 2020: 481 (2020)
• 2019
• 
  Wazir Muhammad, Gregory R. Hart, Bradley J. Nartowt, James J. Farrell, Kimberly Johung, Ying Liang, Jun Deng:
  Pancreatic Cancer Prediction Through an Artificial Neural Network. Frontiers Artif. Intell. 2: 2 (2019)
• 
  James You, Qi Zhang, Curtis D'Alves, Bill O'Farrell, Christopher Kumar Anand:
  Using z14 fused-multiply-add instructions to accelerate elliptic curve cryptography. CASCON 2019: 284-291
• 
  Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov:
  Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun 2019: 1-26
• 
  Shayan Shahramian, Behzad Dehlaghi, Joshua Liang, Ryan Bespalko, Dustin Dunwell, James Bailey, Bo Wang, Alireza Sharif Bakhtiar, Michael O'Farrell, Kerry Tang, Anthony Chan Carusone, David Cassan, Davide Tonietto:
  A 1.41pJ/b 56Gb/s PAM-4 Wireline Receiver Employing Enhanced Pattern Utilization CDR and Genetic Adaptation Algorithms in 7nm CMOS. ISSCC 2019: 482-484
• 2017
• 
  James C. Korte, Kelvin J. Layton, Bahman Tahayori, Peter Mark Farrell, Stephen M. Moore, Leigh A. Johnston:
  NMR spectroscopy using Rabi modulated continuous wave excitation. Biomed. Signal Process. Control. 33: 422-428 (2017)
• 
  J. H. Adler, David B. Emerson, Patrick E. Farrell, Scott P. MacLachlan:
  Combining Deflation and Nested Iteration for Computing Multiple Solutions of Nonlinear Variational Problems. SIAM J. Sci. Comput. 39(1) (2017)
• 
  James Brunton, Mark Brown, Eamon Costello, Orna Farrell, Conor Mahon:
  Giving Flexible Learners a Head Start on Higher Education: Designing and Implementing a Pre-induction Socialisation MOOC. EMOOCs 2017: 10-19
• 
  Haomiao Jiang, Nicolas P. Cottaris, James Golden, David H. Brainard, Joyce E. Farrell, Brian A. Wandell:
  Simulating retinal encoding: factors influencing Vernier acuity. HVEI 2017: 177-181
• 
  Marie Farrell, Rosemary Monahan, James F. Power:
  Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. ICFEM 2017: 140-156
• 
  Marie Farrell, Rosemary Monahan, James F. Power:
  Specification Clones: An Empirical Study of the Structure of Event-B Specifications. SEFM 2017: 152-167
• 2016
• 
  Tianlv Xu, James Farrell, Yuning Xu, Roya Momen, Steven R. Kirk, Samantha Jenkins, David J. Wales:
  QTAIM and stress tensor interpretation of the (H₂O)₅ potential energy surface. J. Comput. Chem. 37(31): 2712-2721 (2016)
• 
  Nuala A. O'Leary, Mathew W. Wright, J. Rodney Brister, Stacy Ciufo, Diana Haddad, Richard McVeigh, Bhanu Rajput, Barbara Robbertse, Brian Smith-White, Danso Ako-Adjei, Alexander Astashyn, Azat Badretdin, Yiming Bao, Olga Blinkova, Vyacheslav Brover, Vyacheslav Chetvernin, Jinna Choi, Eric Cox, Olga D. Ermolaeva, Catherine M. Farrell, Tamara Goldfarb, Tripti Gupta, Daniel H. Haft, Eneida Hatcher, Wratko Hlavina, Vinita S. Joardar, Vamsi K. Kodali, Wenjun Li, Donna R. Maglott, Patrick Masterson, Kelly M. McGarvey, Michael R. Murphy, Kathleen O'Neill, Shashikant Pujar, Sanjida H. Rangwala, Daniel Rausch, Lillian D. Riddick, Conrad L. Schoch, Andrei Shkeda, Susan S. Storz, Hanzhen Sun, Françoise Thibaud-Nissen, Igor Tolstoy, Raymond E. Tully, Anjana R. Vatsan, Craig Wallin, David Webb, Wendy Wu, Melissa J. Landrum, Avi Kimchi, Tatiana A. Tatusova, Michael DiCuccio, Paul A. Kitts, Terence D. Murphy, Kim D. Pruitt:
  Reference sequence (RefSeq) database at NCBI: current status, taxonomic expansion, and functional annotation. Nucleic Acids Res. 44(Database-Issue): 733-745 (2016)

skipping 47 more matches