Сортировать по:
| Выпуск | Название | |
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... , and we apply this method to tetrahedra. Using some integral formulas, we present an explicit formula ..." | ||
| Том 19, № 6 (2012) | Непрерывное уплощение правильного тетраэдра точными отображениями | Аннотация PDF (Rus) похожие документы |
| Джин-ичи Ито, Чи Нара | ||
| "... by a continuous folding process of polyhedra. In this paper, we give explicit formulas of continuous functions ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| "... is dual to one of the following five three-dimensional polytopes: a tetrahedron, a quadrangular pyramid ..." | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 23, № 1 (2016) | Асимптотика моментов функции Такаги | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 23, № 2 (2016) | Асимптотика моментов симметричной свертки Бернулли | Аннотация похожие документы |
| Е. А. Tимофеев | ||
| "... Abstract. Asymptotic Formula for the Moments of Bernoulli Convolutions Timofeev E ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... The paper deals with an expressive logic language LF and its calculus. Formulas of this language ..." | ||
| Том 22, № 5 (2015) | Асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
| Камаридин Тухлиев | ||
| "... In this paper is considered the extreme problem of searching for the optimal quadrature formulas ..." | ||
| Том 21, № 3 (2014) | Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности | Аннотация PDF (Rus) похожие документы |
| Мирганд Шабозович Шабозов | ||
| "... The problem of minimizing the error of a cubature formula on the classes of functions given ..." | ||
| Том 23, № 3 (2016) | Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение | Аннотация похожие документы |
| А. И. Задорин | ||
| "... . Interpolation formulas, which are exact on a boundary layer component, are constructed. Interpolation error ..." | ||
| Том 22, № 3 (2015) | РЕШЕНИЕ ПАРАБОЛИЧЕСКОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ С ПОМОЩЬЮ ФОРМУЛЫ ФЕЙНМАНА – I | Аннотация похожие документы |
| И. Д. Рeмизoв | ||
| "... of this semigroup by a Feynman formula, i.e. we write it in the form of the limit of a multiple integral over H ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... of positively constructed formulas (PCF). We consider logical DESs in automata form, understood as generators ..." | ||
| Том 18, № 1 (2011) | Локальная динамика уравнения с сильно запаздывающей обратной связью | Аннотация PDF (Rus) похожие документы |
| Д. В. Глазков | ||
| Том 22, № 1 (2015) | Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Глазков | ||
| "... exponentially distributed delay. The received asymptotic formulas allow us to evidently find characteristics ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| "... for efficient implementation of logic. Logical formulas are tree-like structures with many constructors having ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| Том 19, № 1 (2012) | Обобщенное решение одной начально-краевой задачи, возникающей в механике дискретно-континуальных систем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Ольга Анатольевна Хребтюгова | ||
| "... for a generalized solution, its uniqueness, the correctness of the problem. An analytical formula for the solution ..." | ||
| Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
| "... space. For the periodic solutions which fill the two-dimensional attractor, the asymptotic formulas ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... of formulas for the number of set elements. The system is based on a construction of the statements proof ..." | ||
| Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
| Павел Валерьевич Лебедев | ||
| "... of Markov chains described by formulas of a subset of temporal logic PLTL (propositional temporal logic ..." | ||
| Том 18, № 1 (2011) | Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, Е. О. Овсянникова | ||
| "... numerically analyzed with the help of the obtained asymptotic formulas. ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... is described by a pair of LTL-formulas. The first LTL-formula describes situations which increase the value ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... the proposed approach, the change of the value of each program variable is described by a pair of LTL-formulas ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas ..." | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| "... and construct an information analytical model of the observer. The formula for computing amount of volume ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... each node is a program data-flow graph, whose edges are marked with formulas in a specification language ..." | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... results in having to prove too complex formulas in simple cases. Our contribution is a new logic ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... and verification of the formulas of the method and for their translation into arithmetic operators of the Fortran ..." | ||
| Том 20, № 5 (2013) | Особенности колебания решений адиабатических осцилляторов с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров, Евгений Николаевич Агафончиков | ||
| "... the asymptotic formulas. Finally, we apply the functional differential analog of the Levinson theorem. We use ..." | ||
| Том 14, № 3 (2007) | Учет возрастных групп в уравнении Хатчинсона | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| "... reorganizations have been analyzed with numerical methods with the help of the obtained asymptotic formulas ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... . For images on a rectangular lattice a formula is proposed, which gives approximate values of the components ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... focuses on representation of a counter machine behavior in the form of a set of LTL-formulas and matching ..." | ||
| Том 24, № 1 (2017) | Об асимптотике решений гармонического осциллятора с интегральным возмущением | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... the asymptotic formulas for the fundamental solutions of the obtained ordinary differential system, we use ..." | ||
| Том 29, № 2 (2022) | Применение функций голосования для оценки числа монотонных самодвойственных булевых функций | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Егор Владимирович Кузьмин | ||
| "... boolean functions. For other precomplete classes, general formulas for the number of functions ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... of a program system as a set of formulas of the linear temporal logic LTL, followed by the use ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... of checking $Reg$-$LTL$ formulas to the emptiness problem for Buchi automata of relatively small size ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... generation, employment of high-performance Z3 SMT solver to do the formula heavy-lifting, and the use ..." | ||
| Том 22, № 1 (2015) | О нулях некоторых характеристических квазиполиномов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова | ||
| "... on a value reciprocal to the delay, and uniform asymptotical formulas are constructed. ..." | ||
| Том 23, № 4 (2016) | Вероятностный анализ систем организации турниров | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин, Ал. А. Ахременков | ||
| "... probabilistic models have been analyzed. Calculating formulas for estimating the probability and probability ..." | ||
| Том 27, № 2 (2020) | Об одном механизме образования пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
| "... , and approximate asymptotic formulas are constructed. ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... -cycle results in satisfiability of an Indexed LTL formula on a model of the system and vice versa ..." | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| "... , annotations, logic formulas). The C-targeted component of the SPECTRUM system is based on our two-level C ..." | ||
| Том 22, № 5 (2015) | Численное решение уравнения Пуассона в полярных координатах методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
| Е. В. Ворожцов, В. П. Шапеев | ||
| "... of functions which control the grid stretching and entering the formulas of the passage from polar coordinates ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... formulas for solutions of the perturbed heat equation. ..." | ||
| Том 22, № 5 (2015) | Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии | Аннотация PDF (Rus) похожие документы |
| А. М. Ковалева, Д. А. Куликов | ||
| "... problems were studied: in codimension one and in codimension two. In particular, asymptotic formulas were ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... temporal operators to specify inside properties of scan cycles. We describe the translation of formulas ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... to describe a consistent behavior of sensors by three groups of LTL-formulas. They will affect the program ..." | ||
| Том 20, № 3 (2013) | Об одной задаче для симплекса и куба в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... the following computational formula for x. Denote by x (j) (j = 1, . . . , n+ 1) the vertices of S. Let ..." | ||
| Том 23, № 5 (2016) | Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
| А. А. Мельникова, Р. Л. Аргун | ||
| "... , this paper provides a formula that specifies the location of internal transition layers. The results were ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... formulas. We show the use of this method for verification of some properties of a multiagent system ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... . We provide a detailed description of the model: the explicit analytical formulas ..." | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Алина Вадимовна Секацкая | ||
| "... form theory were used to solve this problem. For the bifurcating solutions the asymptotic formulas ..." | ||
| Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Балабаев | ||
| "... of Green’s formula are established, as well as an analogue of the maximum principle. The used matrix ..." | ||
| Том 25, № 1 (2018) | Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина | ||
| "... the obtained asymptotic formulas, the phase reorganizations occurring in the system are numerically analyzed ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... verification tool. In general, it is not required translating LTL-formulas of the specification into another ..." | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... the possibility of representing the behavior of a software system in the form of a set of LTL-formulas and using ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... that check satis¯ability of prepositional Boolean formulas in the conjunctive normal form) as means ..." | ||
| Том 23, № 5 (2016) | Расслоенное произведение коммутативных алгебр: образующие и соотношения | Аннотация похожие документы |
| Н. В. Тимофеева | ||
| "... , the dimension of their product obeys a Grassmann-like formula. A finite-dimensional case means geometrically ..." | ||
| Том 23, № 5 (2016) | Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием | Аннотация PDF (Rus) похожие документы |
| П. Н. Нестеров | ||
| "... We construct some asymptotic formulas for solutions of a certain linear second-order delay ..." | ||
| Том 25, № 1 (2018) | Бифуркация Андронова–Хопфа в одной биофизической модели реакции Белоусова | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Горюнов | ||
| "... formulas and by numerical integration of the model system. Along with the main case of Andronov–Hopf ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... , and also derives a formula for the suboptimal value of the quality criterion. The presented theoretical ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... using formulas of linear temporal logic LTL of a special form. The developed LTL-specification can ..." | ||
| Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... ), if there are coefficients c and q, for which fx₀x₀+h (f (x) - c - q·(x-x₀)) dx = o(h²). Formulas are found for calculating ..." | ||
| Том 28, № 2 (2021) | Оценка степени опасности дефектов при расшифровке вихретоковых дефектограмм | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин | ||
| "... relative amplitudes in an evaluated defect. Tuning up the formula for calculating severity estimation ..." | ||
| Том 28, № 2 (2021) | О свойствах правильного симплекса, вписанного в шар | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... of $P$ as an operator from $C(B)$ to $C(B)$ can be calculated by the formula $|P|_B=max_{xin B}sum ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... formulas, and logical inference is used to prove that the program satisfies the requirements. Control ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... ) property as an LTL formula allows us to reduce the exact schedulability test of such systems to a model ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... requirements are divided into classes, each of which is defined by a pattern — a parametric formula of the DV ..." | ||
| Том 26, № 2 (2019) | Линейная интерполяция на евклидовом шаре в Rⁿ | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... value of (|P|) under the condition (x^{(j)}in B). In the paper, we obtain the formula to compute ..." | ||
| Том 25, № 3 (2018) | Oб оптимальной интерполяции линейными функциями на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... by the formula (|P|=maxlimits_{xin ver(Q_n)} sumlimits_{j=1}^{n+1} |lambda_j(x)|.) Here (lambda ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... }$ then ${x_0+h}$ for $f-P$ there is $o(h^{k+1}).$ Formulas are found for calculating coefficients of such $P ..." | ||
| 1 - 74 из 74 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
