Medical imaging

[akuklev]

Я очень давно не писал о прорывах по части томографии

Comments

[klausnikk]

на тысячи > не тысячи

[akuklev]

Спасибо!

[reytsman]

В общем то логично и ожидаемо. С одной стороны это огромные прорывы, а с другой стороны вроде как ожидаемая эволюция....

Интересно, они используют алгоритмы которые гугл разработал для телефонных камер... меня в своё время потрясло насколько математические алгоритмы могут спасать плохой объектив и я всё жду, когда это начнут применять камеры с большой оптикой и светочувствительностью...

[akuklev]

Я спрошу знакомого, который занимается алгоритмами для внутренностий MR-томографов. Но в целом, они там сейчас дофига всего применяют и у современных аппаратов на 1.5 тесла (даже со столом вместо трубы) картинка значительно лучше, чем была у топовый аппаратов на 3 тесла десять лет назад.

[reytsman]

Это я не сомневаюсь... в матрицы там тоже вливается денег дикое количество... десять лет для любой техники очень большой период. Исключение я видел одно, фонограф Эдисона. Он и сейчас был бы вполне ничего... впрочем тогда он стоил как автомобиль. :)

[akuklev]

Десять лет вот для самолётных двигателей, к сожалению, небольшой период. Там очень медленно раскачиваются. Скорее всего из-за жесточайших требований к надёжности и сроку службы. Современные самолёты же весь срок своей службы проводят в воздухе в среднем не менее 60% времени каждый день.

[66george]

Вы читали статью "Observational equality, now"?

[akuklev]

Разумеется. Но ох и давно это было, уж больше 10 лет назад.

[66george]

Сейчас её перечитал и понял мелкие детали. Я однажды спросил у Макбрайда (когда он вёл блог на Wordpress), что из этого дальше вышло. Он сказал "сейчас это можно сделать гораздо лучше в HoTT". Но в книжке про HoTT вообще ни слова про редукции. Какая там сейчас ситуация с редукциями?

[akuklev]

Да, про книжную HoTT неизвестно, как её сделать вычисляющей. Есть некий зоопарк кубических теорий, которые включают в себя книжную HoTT плюс некоторое количество костылей (можно спорить о том, насколько эти костыли на самом деле правильные и элегантные, но категорной семантикой элементарного высшего топоса они (пока) не мотивированы, и поэтому остаются для меня костылями), которые вычисляют, там всё нормально с редукциями, и доказывается normalization & canonicity, хотя красивых bidirectional-представлений пока никто не сделал, вся надежда на Конора, он в этом просто лучше всех.

[66george]

А вот культурное развлечение нашёл
https://66george.livejournal.com/450402.html