Mikhail Belyayev
Mikhail Alekseyevich Belyaev (; December 23, 18631918) was a Russian general of the Infantry, statesman, Chief of Staff of the Imperial Russian Army from August 1, 1914, to August 10, 1916, and was the last Minister of War of the Russian Empire from January 3, 1917, to February 28, 1917.
Provided by Wikipedia
-
1
Defect Detection: Combining Bounded Model Checking and Code Contracts
Published 2013-12-01Get full text
Article -
2
Defect Detection: Combining Bounded Model Checking and Code Contracts
Published 2013-01-01Get full text
Article -
3
Adaptation to CT Reconstruction Kernels by Enforcing Cross-Domain Feature Maps Consistency
Published 2022-08-01Get full text
Article -
4
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver
Published 2014-12-01Get full text
Article -
5
Limitations of Out-of-Distribution Detection in 3D Medical Image Segmentation
Published 2023-09-01Get full text
Article -
6
Accelerating 3D Medical Image Segmentation by Adaptive Small-Scale Target Localization
Published 2021-02-01Get full text
Article