From post

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.

 

Другие публикации лиц с тем же именем

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs., , , , , , и . CoRR, (2024)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , и . CoRR, (2018)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , и . CPP, стр. 234-248. ACM, (2019)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , и . ITP, том 193 из LIPIcs, стр. 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Identification of vegetable diseases using neural network., , и . IPAS, том 6497 из SPIE Proceedings, стр. 649717. SPIE, (2007)A Filling Algorithm of Mining Constraint Frequent Neighboring Class Set., , , и . ICICA (1), том 307 из Communications in Computer and Information Science, стр. 175-182. Springer, (2012)Metal highlight spots removal based on multi-light-sources and total variation inpainting., и . VRCIA, стр. 323-326. ACM, (2006)The comparison of electric fields distribution applying various coil configurations in Deep Transcranial magnetic stimulation., , , , , и . CISP-BMEI, стр. 1-5. IEEE, (2017)Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network., , , и . CoRR, (2018)A Strong Baseline for Domain Adaptation and Generalization in Medical Imaging., , , и . CoRR, (2019)