More Like this

1. Regular resolution effectively simulates resolution

   https://doi.org/10.1016/j.ipl.2024.106489  

   Buss, Sam; Yolcu, Emre (August 2024, Information Processing Letters)

   Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist sequences of formulas that require exponential-size proofs in regular resolution while admitting polynomial-size proofs in resolution. Thus, with respect to the usual notion of simulation, regular resolution is separated from resolution. An alternative, and weaker, notion for comparing proof systems is that of an “effective simulation,” which allows the translation of the formula along with the proof when moving between proof systems. We prove that regular resolution is equivalent to resolution under effective simulations. As a corollary, we recover in a black-box fashion a recent result on the hardness of automating regular resolution. 

   more » « less
2. Multi-Resolution Data Fusion for Super Resolution Imaging

   https://doi.org/10.1109/TCI.2022.3140551  

   Reid, Emma J.; Drummy, Lawrence F.; Bouman, Charles A.; Buzzard, Gregery T. (January 2022, IEEE Transactions on Computational Imaging)
3. High-resolution momentum distributions from low-resolution wave functions

   https://doi.org/10.1016/j.physletb.2024.138591  

   Tropiano, AJ; Bogner, SK; Furnstahl, RJ; Hisham, MA; Lovato, A; Wiringa, RB (May 2024, Physics Letters B)
4. High mass and halo resolution from fast low resolution simulations

   https://doi.org/10.1088/1475-7516/2020/04/002  

   Dai, Biwei; Feng, Yu; Seljak, Uroš; Singh, Sukhdeep (April 2020, Journal of Cosmology and Astroparticle Physics)
5. Joint Super-Resolution and Head Pose Estimation for Extreme Low-Resolution Faces

   https://doi.org/10.1109/ACCESS.2023.3241606  

   Malakshan, Sahar Rahimi; Saadabadi, Mohammad Saeed; Mostofa, Moktari; Soleymani, Sobhan; Nasrabadi, Nasser M. (January 2023, IEEE Access)