Сортировать по:
| Выпуск | Название | |
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... The Elliptic Curve Cryptography (ECC) is widely known as secure and reliable cryptographic scheme ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| "... The Design and Analysis of Computer Algorithms is a must of Computer Curricula. It covers many ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... The blockchain technology is based on the ”Proof-of-work” principles. The essence ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... Proof-of-work for blockchains” problem. We suggest some alternative ways for searching useful tasks ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... of explanations for unproven correctness conditions. Modifications of these algorithms are presented ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... of automatic validation of correctness conditions (instead of semi-automatic proof techniques). The key idea ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... , then use this verification as proof-outlines for a manual verification of the algorithm in computer ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... of the rules of program correctness for statements of the predicate programming P language. The paper presents ..." | ||
| Том 24, № 3 (2017) | Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем | Аннотация PDF (Rus) похожие документы |
| Вера Александровна Белошапко | ||
| "... Abstract. A singularly perturbed elliptic problem with Dirichlet boundary conditions ..." | ||
| Том 23, № 5 (2016) | Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
| В. Ф. Бутузов, В. А. Белошапко | ||
| "... A singularly perturbed elliptic problem with Dirichlet boundary conditions is considered ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... their proof. Two programs from the well-known verification benchmarks illustrate the applicability ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... are present in the systems with ordinary architectures. The proof of programs correctness is based ..." | ||
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| "... a square root by linear interpolation. We use deductive proof to prove its correctness and show ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... task. The paper provides the algorithm and the proof of its correctness. The second one is to find ..." | ||
| Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Балабаев | ||
| "... We built first order elliptic systems with any possible number of unknown functions ..." | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... the problem, prove (manually) their correctness, model check some of these algorithms, and discuss further ..." | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... dependencies. An algorithm for constructing closures has been developed and its correctness has been proven ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... The development of fast algorithms for key generation, encryption and decryption not only ..." | ||
| Том 20, № 2 (2013) | Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты | Аннотация PDF (Rus) похожие документы |
| Антон Юрьевич Бернштейн, Николай Вячеславович Шилов | ||
| "... the problem, give an upper bound for the algorithm, prove (manually) its correctness, and examine two ..." | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... investigate the dependence of the value $f_{k}(50000)$ on $k$ and propose an effective algorithm for checking ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... An algorithm for solving the coverability problem for monotonic counter systems is presented ..." | ||
| Том 20, № 2 (2013) | Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей | Аннотация PDF (Rus) похожие документы |
| Анна Шмилевна Непомнящая | ||
| "... The paper proposes an efficient associative algorithm for dynamic update of the shortest paths ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... to signal transfromation and analysis; a corresponding verification algorithm together with its correctness ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... the correctness of the proposed approach. A set of correctness requirements to models of system components ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... of the proof process. In this article a proof process of correctness of functional data-flow parallel programs ..." | ||
| Том 21, № 1 (2014) | Угловой пограничный слой в нелинейных эллиптических задачах, содержащих производные первого порядка | Аннотация PDF (Rus) похожие документы |
| Валентин Федорович Бутузов, Игорь Васильевич Денисов | ||
| "... elliptic equation ε 2∆u − ε αA(x, y) ∂u/∂y = F(u, x, y, ε) with a nonlinear on u function F. The complete ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... to the Kalman algorithm. For this, the solution of an auxiliary optimal control problem with a quadratic ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... transmission of data over unreliable channels. A formal proof of correctness for this protocol faces ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... for the construction of a not surplus set of typed inclusion dependencies. The correctness of the algorithm is proved. ..." | ||
| Том 21, № 5 (2014) | Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Мария Владимировна Демина | ||
| "... The problem of constructing and classifying elliptic solutions of nonlinear differential equations ..." | ||
| Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Д. И. Синельщиков | ||
| "... be constructed without any constraints on its parameters and can be expressed via the Weierstrass elliptic ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... of its edge lengths. Finally, we give a direct analitic proof of the famous Schläfli formula ..." | ||
| Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
| Евгений Юрьевич Павленко | ||
| "... functioning with adaptive topology, a graph algorithm for link prediction is proposed, which is extended ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... to prove the correctness of the program. Therefore, we add extra invariants containing auxiliary ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the proof is authored in a classical sequent calculus framework and a successful proof requires from ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..." | ||
| Том 14, № 4 (2007) | Об одном методе распознавания изображений | Аннотация PDF (Rus) похожие документы |
| И. А. Михайлов | ||
| "... A new algorithm for the recognition of digits is proposed. The result of computer experiments ..." | ||
| Том 16, № 4 (2009) | Новые алгоритмы лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, Н. А. Мендкович | ||
| "... New algorithms for query modifications are proposed. These algorithms involve the lexical ..." | ||
| Том 20, № 2 (2013) | Алгоритм эффективного оценивания энтропии | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... . The classic Little algorithm belonging to the category of ”branch and bound methods” can solve it both ..." | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... complexity of algorithms” course. This system should provide students with means to familiarize themselves ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... -TRL language. The correctness conditions generated for process-oriented programs regarding ..." | ||
| Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... In this paper, we consider the notion of a direct type algorithm introduced by V. A. Bondarenko ..." | ||
| Том 20, № 2 (2013) | Технологии и алгоритмы для создания дополненной реальности | Аннотация PDF (Rus) похожие документы |
| Иван Александрович Благовещенский, Николай Андреевич Демьянков | ||
| "... objects in it, algorithms of the Computer Vision are used. The authors give a short description ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... We consider a problem of constructive description and justification of the algorithms necessary ..." | ||
| Том 23, № 4 (2016) | Сравнение алгоритмов удвоения размера изображения | Аннотация PDF (Rus) похожие документы |
| С. Е. Ваганов, С. И. Хашин | ||
| "... by interpolation methods were not considered. The description of the doubling interpolation upscale algorithms ..." | ||
| Том 25, № 3 (2018) | Об алгоритме расщепления носителя для индуцированных кодов | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Алексей Николаевич Шигаев | ||
| "... . This suggests a potentially high resistance of the McEliece-type cryptosystem on the code Flq ⊗ C. The algorithm ..." | ||
| Том 27, № 4 (2020) | Алгоритмы для BDI-агентов, основанные на знаниях | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Наталья Олеговна Гаранина | ||
| "... Multiagent algorithm is a knowledge-based distributed algorithm that solves some problems by means ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of the Reflex language to annotations simplifies the proof of the correctness of the transformation approach ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... , the controller can be seen as an algorithm formulated in a classical programming language. In this paper, we ..." | ||
| Том 21, № 4 (2014) | Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... of rounding-off. Heuristic algorithms for this problem are suggested in the article: layering algorithm being ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... on the quality of service. However, there must be a proof that ensures that every network flow is secure ..." | ||
| Том 16, № 4 (2009) | Оценки оператора Кордобы - Фернандеса в пространствах Марцинкевича | Аннотация PDF (Rus) похожие документы |
| Е. И. Бережной, Д. С. Гладких | ||
| "... In the A. Cordoba and P. Fernandez research of the divergence of greedy algorithms in Lebesgue ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In this paper, we offer an efficient parallel algorithm for solving the NP-complete Knapsack ..." | ||
| Том 29, № 3 (2022) | Исследование моделей топологических отношений пространственных объектов | Аннотация PDF (Rus) похожие документы |
| Владислав Геннадьевич Горшков, Дмитрий Михайлович Мурин, Ольга Павловна Якимова | ||
| "... (polylines). The developed algorithm is planned to be used to solve the problem of consistent generalization ..." | ||
| Том 16, № 4 (2009) | Метод автоматического построения алгоритмов распознавания участков фазовых траекторий | Аннотация PDF (Rus) похожие документы |
| Д. С. Коваленко | ||
| "... . The algorithm described here is based on the idea of applying an algebraic approach to the labeling ..." | ||
| Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
| Павел Валерьевич Лебедев | ||
| "... In this article a polynomial algorithm is described of verification of dynamic properties ..." | ||
| Том 20, № 4 (2013) | Алгоритм (n, t)-пороговой доверенной цифровой подписи с Арбитром | Аннотация PDF (Rus) похожие документы |
| Евгений Алексеевич Толюпа | ||
| Том 14, № 3 (2007) | Экономный алгоритм нахождения средних минимальных расстояний | Аннотация PDF (Rus) похожие документы |
| Н.Е. Тимофеева | ||
| "... Let £o,..., £n be strings drawn from some finite alphabet. In this paper we describe an algorithm ..." | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| "... , the authors present a new efficient algorithm for detecting and resolving collisions in firewall rules ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... represented as loosely connected directed acyclic graphs. A synchronous algorithm for executing such workflows ..." | ||
| Том 27, № 1 (2020) | Параллельный алгоритм решения задачи об изоморфизме графов | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... In this paper, we offer an efficient parallel algorithm for solving the Graph Isomorphism Problem ..." | ||
| Том 30, № 1 (2023) | Оптимизированный алгоритм поиска кратчайшего пути в кратном графе | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... the algorithm of finding the shortest path in an arbitrary multiple graph, which was obtained earlier. We show ..." | ||
| Том 29, № 2 (2022) | Рекурсивный алгоритм определения тональности предложений на русском языке | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Илья Вячеславович Парамонов | ||
| "... introduces a rule-based sentiment detection algorithm for Russian sentences. The algorithm is based ..." | ||
| Том 31, № 3 (2024) | Матрично-кубитный алгоритм семантического анализа вероятностных данных | Аннотация PDF (Rus) похожие документы |
| Илья Алексеевич Суров | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... of the proposed approach is noninteractive operating mode that allows to use a special encryption algorithm ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... The article is devoted to the methods of proving parallel programs correctness that are based ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... of intermediate data representation as a ”join table” is offered, which is used for maintenance of correctness ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... . The estimations of the maximum flow in a generalized net with bound arcs are proposed. And the algorithm ..." | ||
| Том 30, № 2 (2023) | Рекурсивно-параллельный алгоритм поиска максимального общего подграфа | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... The paper proposes an algorithm for solving the problem of finding the maximum common subgraph ..." | ||
| 1 - 75 из 279 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
