Сортировать по:
| Выпуск | Название | |
| Том 35, № 1 (2023) | Проблемы использования разговорных агентов для поддержки неформальных опекунов людей с деменцией | Аннотация похожие документы |
| Саманта ХИМЕНЕС, Хесус ФАВЕЛА, Анхелес КЕСАДА, Радж РАМАЧАНДРАН, Рейес ХУАРЕС-РАМИРЕС | ||
| "... , fomenting depression in the PwD and burnout on informal caregivers. Information technology can support ..." | ||
| Том 25 (2013) | Автоматическое извлечение новых концептов предметно-специфичных терминов | Аннотация PDF (Rus) похожие документы |
| Н. А. Астраханцев | ||
| "... in the knowledge base but represent new concepts. Our method can be applied to informal knowledge bases ..." | ||
| Том 36, № 6 (2024) | Определение когнитивных решений в сложных неформально структурированных доменах: эмпирические подходы | Аннотация похожие документы |
| Алисия Маргарита ХИМЕНЕС-ГАЛИНА, Карла ОЛМОС-САНЧЕС, Аида Арасели МАЛЬДОНАДО-МАЧИАС, Жасмин Георгина ЛИКОНА-ОЛМОС, Хулия Патрисия САНЧЕС-СОЛИС | ||
| "... The complexity of dealing with work-related stress as a Complex Informal Structured Domain (CISD ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... milestones on this way in a brief and informal discussion, paying attention not to details, but to the main ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... of the specification Extended FSM from an informal protocol description. The next step is to derive a corresponding ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... современных систем часто приходится учитывать опциональность неформальной спецификации, и соответственно ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... instantiation procedure in Isabelle. The paper presents an informal description of this proof as well as some ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... . Correcting the CTL specification to reflect the apparent informal attempt, re-translating again to contracted ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... instantiation procedure in Isabelle/HOL. The paper presents an informal description of this proof ..." | ||
| 1 - 9 из 9 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
