Author of the publication

Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.

, , , , and . ICA3PP (3), volume 13157 of Lecture Notes in Computer Science, page 648-667. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High performance low overhead template-based Cell-Interleave Pipeline (TCIP) for asynchronous-logic QDI circuits., , , , , and . ISCAS, page 1762-1765. IEEE, (2016)Coded Cache Placement for Heterogeneous Cache Sizes., and . ITW, page 1-5. IEEE, (2018)An Upper bound on the Error Exponent in Lossless Source Coding with a Helper., and . ITW, page 1-5. IEEE, (2018)The study of obtaining temperature van of SST image., , and . IGARSS, page 1616-1619. IEEE, (2005)Managing Outpatient Service with Strategic Walk-ins., , , and . Manag. Sci., 69 (10): 5904-5922 (October 2023)Multidimensional Constellation Design for Spatial Modulated SCMA Systems., , , and . IEEE Trans. Veh. Technol., 70 (9): 8795-8810 (2021)Leveraging Anatomical Constraints with Uncertainty for Pneumothorax Segmentation., , , , and . CoRR, (2023)Time-sync Video Tag Extraction Using Semantic Association Graph., , , , , , , and . CoRR, (2019)Handling missing values in healthcare data: A systematic review of deep learning-based imputation techniques., , , , , , , , , and 1 other author(s). Artif. Intell. Medicine, (August 2023)Deep learning for temporal data representation in electronic health records: A systematic review of challenges and methodologies., , , , , , , and . J. Biomed. Informatics, (2022)