Subject | Russian | English |
ophtalm. | векорасширитель темпоральный по Либерману | lieberman temporal speculum (Civa13) |
med. | гигантоклеточный темпоральный артериит | giant cell arteritis (MichaelBurov) |
med. | гигантоклеточный темпоральный артериит | temporal arteritis (MichaelBurov) |
med. | гигантоклеточный темпоральный артериит | giant-cell arteritis (MichaelBurov) |
med. | гигантоклеточный темпоральный артериит | Horton disease (MichaelBurov) |
med. | гигантоклеточный темпоральный артериит | cranial arteritis (MichaelBurov) |
med. | гигантоклеточный темпоральный артериит | GCA (MichaelBurov) |
progr. | линейная темпоральная логика | LTL (ssn) |
progr. | линейная темпоральная логика | linear temporal logic (сокр. LTL ssn) |
AI. | механизм темпоральных рассуждений | temporal reasoning mechanism (Alex_Odeychuk) |
progr. | проблемы, связанные с темпоральной группировкой | issues in temporal clustering (ssn) |
progr. | программирование в терминах темпоральной логики | temporal logic programming (Alex_Odeychuk) |
progr. | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | темпоральная группировка | temporal clustering (ssn) |
med. | темпоральная дисперсия | temporal dispersion (neuromuscular.ru dimock) |
avia., med. | темпоральная доля | temporal lobe |
progr. | темпоральная инверсия | temporal inversion (ssn) |
progr. | темпоральная инверсия задач | temporal task inversion (ssn) |
progr. | темпоральная логика | temporal logic (ssn) |
progr. | темпоральная логика для бесконечных семейств | temporal logic for infinite families (ssn) |
progr. | темпоральная логика линейного времени | linear temporal logic (сокр. LTL ssn) |
progr. | темпоральная логика линейного времени | LTL (ssn) |
progr. | темпоральная логика реального времени | real-time temporal logic (ssn) |
AI. | темпоральная модель ветвящегося времени | CTL model (сокр. от "computational tree logic model" Alex_Odeychuk) |
AI. | темпоральная модель ветвящегося времени | computational tree logic model (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk) |
med. | темпоральная сосудистая аркада | temporal vessel arcade (shpak_07) |
progr. | темпоральное логическое программирование | temporal logic programming (Alex_Odeychuk) |
ling. | темпоральное отношение | temporal relation |
progr. | темпоральные логики | temporal logics (ssn) |
progr. | темпоральные операторы | temporal operators (ssn) |
AI. | темпоральные рассуждения | temporal reasoning (Alex_Odeychuk) |
AI. | темпоральные рассуждения | reasoning with respect to time (i.e., a solution to the frame problem and introspection with regard to previous beliefs Alex_Odeychuk) |
med. | темпоральный артериит | temporal arteritis |
med. | темпоральный артериит | arteriitis cranialis (Игорь_2006) |
Makarov. | темпоральный артериит | giant-cell arteritis |
Makarov. | темпоральный артериит | cranial arteritis |
ling. | темпоральный дейксис | temporal deixis |
quant.mech. | темпоральный кристалл | time crystal (to create a completely new phase of matter — a time crystal livescience.com MichaelBurov) |
phys. | темпоральный кристалл | temporal crystal (Sergei Aprelikov) |
progr. | темпоральный оператор | temporal operator (ssn) |
logic | темпоральный прецедент | temporal precedent (Alex_Odeychuk) |
fant./sci-fi. | темпоральный станок | temporal loom (Taras) |
psychol. | темпоральный фактор | temporal factor |
med. | фронто-темпоральный | fronto-temporal (MichaelBurov) |
med. | фронто-темпоральный | frontotemporal (MichaelBurov) |