Сортировать по:
| Выпуск | Название | |
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... used today. Such attacks allow you to bypass the protection against the execution of code in the stack ..." | ||
| Том 27, № 2 (2020) | Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... of the normal execution of the program P, in which, in addition to a set of legal chains of system and library ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... due to simplification assumptions these techniques make about the code model. We present a novel ..." | ||
| Том 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 ..." | ||
| Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
| "... code for decrypting. The following attack is possible in these schemes: groups of c malicious users ..." | ||
| Том 25, № 2 (2018) | Коды в диэдральной групповой алгебре | Аннотация PDF (Rus) похожие документы |
| Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк | ||
| "... codes in 1978 and no effective key attacks has been described yet. Variants of this cryptosystem ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... cyber threats. The paper examines an algorithm for detecting the execution of malicious code ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process ..." | ||
| Том 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 ..." | ||
| Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
| "... For the practical application of code cryptosystems such as McEliece, it is necessary ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... for a practical implementation of the majority decoder for group codes specified as left ideals of group algebras ..." | ||
| Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
| "... In the paper, the analysis of the stability of the McEliece-type cryptosystem on induced codes ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... successfully, the executable code of the application and the respective test code are generated from the model ..." | ||
| Том 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 ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... . The main reasons are large overhead for the execution of obfuscated code and the limitation of application ..." | ||
| Том 29, № 3 (2022) | О построении самодополнительных кодов и их приложении в задаче сокрытия информации | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Федор Сергеевич Певнев, Маргарита Владимировна Ягубянц | ||
| "... Line codes are widely used to protect against errors in data transmission and storage systems ..." | ||
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| "... The goal of this article is to consider the task of determining the execution frequency of program ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... . The source code of such programs is translated into a set of graphs that reflect information and control ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... execution. In the case of optimizing a recursive function, repeated calculations are carried out ..." | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| "... We investigate the firmness of code noising to the statistical analysis of the evesdropped ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... трансформации исходного кода, применении SMT-решателя Z3 для проверки свойств корректности и повышения ..." | ||
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... linear codes by information sets can be applied. Based on this technique, algorithms for simplifying ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... Static verification of a program source code correctness is an important element of software ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... cryptosystems on quasi-cyclic codes, make it possible to experimentally study the dependence of decoding failure ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... Nowadays most of software contains code duplication that leads to serious problems in software ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... The purpose of the study is to demonstrate the feasibility of automated code migration to a new ..." | ||
| Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
| Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
| "... , such as HOL4; (2) trusted compilation of smart contracts into the machine code using the verified compiler ..." | ||
| Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
| А. В. Майоров | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... states containing program code that define the logic of the process's behavior. Program execution ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
| Том 21, № 5 (2014) | О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
| "... We consider a model of neuron complex formed by a chain of diffusion coupled oscillators. Every ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... for multiprocessor systems with fixed-priority preemptive schedulers and the interval uncertainty of tasks execution ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... , keeping requirements, code and tests in a consistent state. Classication of software deects is presented ..." | ||
| Том 22, № 3 (2015) | АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов | ||
| "... simultaneously existing in the chain increases unboundedly as the number of links of the chain increases ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... This paper introduces a method for static semantic analysis of source codes at com- pilation time ..." | ||
| Том 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 ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... are described. The main emphasis is put on the system design, automated code generation for large systems ..." | ||
| Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
| Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
| "... The development of dependency analysis methods in order to improve static code analysis precision ..." | ||
| Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
| Павел Валерьевич Лебедев | ||
| "... of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic ..." | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... Markov chain until the first hit to the final state. Since this random variable plays an important role ..." | ||
| Том 26, № 2 (2019) | Система распределения ключей на дизайнах | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Алексей Александрович Таран | ||
| "... , such as error-correcting codes and combinatorial designs. The drawback of such systems is the possibility ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... of program transformation, namely, the merging of the functions code into a single function. To remove mutual ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... code in the imperative programming language is unambiguously built. The translation ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... language and effectively to the original source code. ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... circuit design is an HDL code debug, similar to the same step of program development in means ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... , which allows describing the behavior of control programs and building program code based ..." | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| Том 22, № 4 (2015) | Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях | Аннотация PDF (Rus) похожие документы |
| В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов | ||
| Том 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 ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... , it is necessary to minimize the change in previously written code. For instrumental support of the evolutionary ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... such executions of the program that comply with the consistent behavior of sensors. ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... definition and generating description of break execution condition. ..." | ||
| Том 18, № 2 (2011) | Организация выполнения объектных запросов в динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| "... The problem of algorithm for organization of the object queries execution [1] for a new object DBMS ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..." | ||
| Том 23, № 6 (2016) | Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей | Аннотация PDF (Rus) похожие документы |
| В. А. Александров, В. А. Десницкий, Д. Ю. Чалый | ||
| "... assembly and writing a code for the selected fragment of the system; safety evaluation of the selected ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... generates an actual Eiffel code of the Event-B model, but also translates model properties as contracts ..." | ||
| Том 16, № 3 (2009) | Разностные аппроксимации уравнения «реакция - диффузия» на отрезке | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| "... The system of phase differences for a chain of diffuse weakly coupled oscillators on a stable ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... operations of the algorithm to speed up its execution. It also describes the results of an experiment ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... , an execution model of an abstract program on an abstract processor is described in the language of a model ..." | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| "... We consider chains of identical diffusive weakly coupled oscillation systems with different ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... and debugging applications for parallel execution on a local network. Communication module library classes ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... execution plans. The goal of this paper is to prove the efficiency of the query minimization algorithms ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of iterations of the control cycle, to simulate time constraints on the execution of processes at certain states ..." | ||
| Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
| "... query has the corresponding DB table – the result of the query execution. These queries have a special ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... a Hamiltonian decomposition: an algorithm based on a simple path extension and an algorithm based on the chain ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... of computational modules during program execution. It can be used for applications written in any programming ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... restrictions on input variables and correctness conditions of the result of the program execution, respectively ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... program execution within one PLC working cycle. In fact, CFC-program is a scheme of PLC-program data flow. ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... program execution and dynamically redistribute work between computing modules. Any language with support ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... that if recursive queries contain universe functions and relations, then its execution can fall into an infinite ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... parallel branches of computation directly during program execution and dynamically redistribute work ..." | ||
| Том 21, № 2 (2014) | Неклассические релаксационные колебания в нейродинамике | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... of an arbitrarily large number of traveling waves for this chain. In order to illustrate the increasing ..." | ||
| Том 22, № 6 (2015) | Формальная диагонализация схем Лакса–Дарбу | Аннотация PDF (Rus) похожие документы |
| А. В. Михайлов | ||
| "... (including the Toda lattice and differential-difference Heisenberg chain) and integrable partial difference ..." | ||
| 1 - 75 из 90 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
