Сортировать по:
| Выпуск | Название | |
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... successfully, the executable code of the application and the respective test code are generated from the model ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... development phases. The approach allows to detail the model to the level of the system code, at the same time ..." | ||
| Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
| "... For the practical application of code cryptosystems such as McEliece, it is necessary ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..." | ||
| Том 29, № 3 (2022) | О построении самодополнительных кодов и их приложении в задаче сокрытия информации | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц | ||
| "... Line codes are widely used to protect against errors in data transmission and storage systems ..." | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| "... codes in 1978 and no effective key attacks has been described yet. Variants of this cryptosystem ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts ..." | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| "... We investigate the firmness of code noising to the statistical analysis of the evesdropped ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... due to simplification assumptions these techniques make about the code model. We present a novel ..." | ||
| Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
| "... In the paper, the analysis of the stability of the McEliece-type cryptosystem on induced codes ..." | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... When exploiting software vulnerabilities such as buffer overflows, code reuse techniques are often ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... and compared in accordance with the chosen comparison model. The developed scheme, in particular, is suitable ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... code, asserting logic properties in it and process the returned model. This paper describes a prototype ..." | ||
| Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
| "... code for decrypting. The following attack is possible in these schemes: groups of c malicious users ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... cryptosystems on quasi-cyclic codes, make it possible to experimentally study the dependence of decoding failure ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..." | ||
| Том 23, № 2 (2016) | Криптосистема на индуцированных групповых кодах | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... The code C on a group G, induced by the code N on a subgroup H, has the property that for decoding ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... for a practical implementation of the majority decoder for group codes specified as left ideals of group algebras ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... language constructs into EO code is considered at the level of the compilation unit. To study the variants ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... can be used to define models for particular libraries. The mentioned metamodel directly forms the code ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... of the PLC source code with technological description of the process under control. This language combines ..." | ||
| Том 27, № 2 (2020) | Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... between function calls will reveal shell code execution using system and / or library function calls ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... of the fast and optimal search of the unique execution paths that is valuable in the methods of static code ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... be directly verified by using a model checking tool. Next, according to the LTL-specification, the program ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... , which allows describing the behavior of control programs and building program code based ..." | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... on the relational model and it proposes the concept of database cluster designed for applications with a multi ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..." | ||
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... linear codes by information sets can be applied. Based on this technique, algorithms for simplifying ..." | ||
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... code static analysis. We have developed some static analysis algorithms that can extract information ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| "... Рассматривается задача о вычислении частоты выполнения фрагментов кода последовательной программы ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... . The source code of such programs is translated into a set of graphs that reflect information and control ..." | ||
| Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович Гаянов | ||
| "... The individual-based model describes the dynamics of genetic diversity of a population scattered ..." | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... models. Such work will be more efficient with a convenient graphical modeling tool. The paper discusses ..." | ||
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... The paper presents two approaches to debugging the application model behavior scenarios: semi ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... Static verification of a program source code correctness is an important element of software ..." | ||
| Том 14, № 3 (2007) | О вербальной модели диссертационной работы | Аннотация похожие документы |
| Ю. Г. Гущин | ||
| Том 24, № 3 (2017) | Математическая модель эксперимента Николсона | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин | ||
| "... Considered is a mathematical model of insects population dynamics, and an attempt is made ..." | ||
| Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов | ||
| "... Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... Nowadays most of software contains code duplication that leads to serious problems in software ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..." | ||
| Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
| "... A dynamical model of laser generation based on monomode balance equations with delay is studied ..." | ||
| Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Волков | ||
| "... the traditional approaches, which generally involve training a separate classification model for each class ..." | ||
| Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
| Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
| "... We use an infinite-dimensional Lotka–Volterra model to analyze production, accumulation ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... supported by LLVM compiler infrastructure. It uses its own parser of bitcode files and a program model ..." | ||
| Том 14, № 4 (2007) | Формальная модель семантики художественного текста (на материале русских пословиц) | Аннотация PDF (Rus) похожие документы |
| А. C. Малкова, В. И. Январев | ||
| "... In the article the formal model of proverb semantics is suggested. The proverb statement ..." | ||
| Том 29, № 4 (2022) | Модель текста для автоматической оценки делового письма на заданную тему | Аннотация PDF (Rus) похожие документы |
| Даниил Дмитриевич Зафиевский, Надежда Станиславовна Лагутина, Оксана Андреевна Мельникова, Анатолий Юрьевич Полетаев | ||
| "... This study is aimed at building an automated model for business writing assessment, based on 14 ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... of the model checking method to find the optimal tuning parameters by the method of counterexamples. In our ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
| Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
| В. В. Майоров, С. Е. Ануфриенко | ||
| "... In the article it is considered the Nerve Impulse Saltatore Conduction model in which the Impulse ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... . In particular, this is important when using models in the form of partial differential equations systems ..." | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев | ||
| "... should allow us to describe a simple data query of this model. ..." | ||
| Том 18, № 1 (2011) | Динамические свойства одной модели пассивного захвата мод | Аннотация PDF (Rus) похожие документы |
| И. С. Кащенко | ||
| "... We study the local dynamics of a model for the passive mode locking in semiconductor lasers ..." | ||
| Том 24, № 2 (2017) | Релаксационные циклы в модели синаптически взаимодействующих осцилляторов | Аннотация PDF (Rus) похожие документы |
| Маргарита Михайловна Преображенская | ||
| "... In this paper the mathematical model of a neural network with a ring synaptic interaction elements ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... models of describing topological relationships of spatial objects: the nine intersections model ..." | ||
| Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
| Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
| "... techniques, it became important to adapt and apply existing graph analysis methods to examine process models ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... to the local operational semantics of separate process instances in the interleaving model. We specialize ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: Ю. В. Косолапов, «Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода», Моделирование и анализ информационных систем, Том 27, №2, с. 138–151, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-2-138-151 | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... to the Execution of a Malicious Code” (Modeling and analysis of information systems, vol. 27, no. 2, pp. 138–151 ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... System for the model proposed; the focus is to provide software portability and backward compatibility ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... A new data structure is suggested for symbolic model checking of distributed systems defined ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... We consider a problem of integrating a formal method of verification (model checking ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN ..." | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... to the original system model. However, to the IS support it is very important to have the latest model ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| "... Process mining is a new emerging discipline related to process management, formal process models ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... In the paper, a neural network model based on three McCulloch–Pitts adder neurons is considered ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... type is a mathematical model of a neuron and a separate pulse containing one function without delay ..." | ||
| 1 - 75 из 340 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
