DictionaryForumContacts

   Russian
Terms containing темпоральные | all forms | exact matches only
SubjectRussianEnglish
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.Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTLA 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)