Hasil Pencarian - Mikhail Belyaev

  • Menampilkan 1 - 7 hasil dari 7
Perbaiki Hasil
  1. 1
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts oleh Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Diterbitkan 2013-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts oleh Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Diterbitkan 2013-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Adaptation to CT Reconstruction Kernels by Enforcing Cross-Domain Feature Maps Consistency

    Adaptation to CT Reconstruction Kernels by Enforcing Cross-Domain Feature Maps Consistency oleh Stanislav Shimovolos, Andrey Shushko, Mikhail Belyaev, Boris Shirokikh

    Diterbitkan 2022-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver

    Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver oleh Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

    Diterbitkan 2014-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Limitations of Out-of-Distribution Detection in 3D Medical Image Segmentation

    Limitations of Out-of-Distribution Detection in 3D Medical Image Segmentation oleh Anton Vasiliuk, Daria Frolova, Mikhail Belyaev, Boris Shirokikh

    Diterbitkan 2023-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Accelerating 3D Medical Image Segmentation by Adaptive Small-Scale Target Localization

    Accelerating 3D Medical Image Segmentation by Adaptive Small-Scale Target Localization oleh Boris Shirokikh, Alexey Shevtsov, Alexandra Dalechina, Egor Krivov, Valery Kostjuchenko, Andrey Golanov, Victor Gombolevskiy, Sergey Morozov, Mikhail Belyaev

    Diterbitkan 2021-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    ISLES 2016 and 2017-Benchmarking Ischemic Stroke Lesion Outcome Prediction Based on Multispectral MRI

    ISLES 2016 and 2017-Benchmarking Ischemic Stroke Lesion Outcome Prediction Based on Multispectral MRI oleh Stefan Winzeck, Arsany Hakim, Richard McKinley, José A. A. D. S. R. Pinto, Victor Alves, Carlos Silva, Maxim Pisov, Maxim Pisov, Egor Krivov, Mikhail Belyaev, Miguel Monteiro, Arlindo Oliveira, Youngwon Choi, Myunghee Cho Paik, Yongchan Kwon, Hanbyul Lee, Beom Joon Kim, Joong-Ho Won, Mobarakol Islam, Hongliang Ren, David Robben, Paul Suetens, Enhao Gong, Yilin Niu, Junshen Xu, John M. Pauly, Christian Lucas, Mattias P. Heinrich, Luis C. Rivera, Laura S. Castillo, Laura A. Daza, Andrew L. Beers, Pablo Arbelaezs, Oskar Maier, Ken Chang, James M. Brown, Jayashree Kalpathy-Cramer, Greg Zaharchuk, Roland Wiest, Mauricio Reyes

    Diterbitkan 2018-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: