skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


  • NSF Public Access
  • Search Results
  • Sensitivity Enhancement by Progressive Saturation of the Proton Reservoir: A Solid-State NMR Analogue of Chemical Exchange Saturation Transfer
Title: Sensitivity Enhancement by Progressive Saturation of the Proton Reservoir: A Solid-State NMR Analogue of Chemical Exchange Saturation Transfer
Award ID(s):
2003854
PAR ID:
10360656
Author(s) / Creator(s):
 ;  ;  ;  
Publisher / Repository:
American Chemical Society
Date Published:
Journal Name:
Journal of the American Chemical Society
Volume:
143
Issue:
47
ISSN:
0002-7863
Page Range / eLocation ID:
p. 19778-19784
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ; (, Schloss Dagstuhl – Leibniz-Zentrum für Informatik)
    Roy, Sudeepa; Kara, Ahmet (Ed.)
    Equality saturation is an emerging technique for program and query optimization developed in the programming language community. It performs term rewriting over an E-graph, a data structure that compactly represents a program space. Despite its popularity, the theory of equality saturation lags behind the practice. In this paper, we define a fixpoint semantics of equality saturation based on tree automata and uncover deep connections between equality saturation and the chase. We characterize the class of chase sequences that correspond to equality saturation. We study the complexities of terminations of equality saturation in three cases: single-instance, all-term-instance, and all-E-graph-instance. Finally, we define a syntactic criterion based on acyclicity that implies equality saturation termination. 
    more » « less
  2. ; ; ; (, European Journal of Combinatorics)
  3. ; ; (, Algebra & Number Theory)
  4. ; ; ; ; ; (, The Journal of Physical Chemistry C)
  5. ; ; (, Physical Review D)
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email