Сортировать по:
| Выпуск | Название | |
| Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазинов | ||
| "... The present paper contains a sketch of the proof of an upper bound for the variance of the number ..." | ||
| Том 21, № 4 (2014) | Совершенные призмоиды и решетчатые многогранники Делоне | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Козачок, Александр Николаевич Магазинов | ||
| "... A perfect prismatoid is a convex polytope P such that for every its facet F there exists ..." | ||
| Том 19, № 6 (2012) | Совершенные призмоиды и гипотеза о минимальном числе граней центрально-симметричных многогранников | Аннотация PDF (Rus) похожие документы |
| Марина Александровна Козачок | ||
| "... In this paper we introduce and study a class of centrally symmetric polytopes – perfect ..." | ||
| Том 21, № 4 (2014) | О нецелочисленных гранях метрического многогранника | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Бондаренко, Андрей Валерьевич Николаев | ||
| "... quadric polytope relaxations, including the rooted semimetric Mn and the metric Mn,3 polytopes ..." | ||
| Том 20, № 6 (2013) | Правильные полигональные комплексы высших рангов в E³ | Аннотация PDF (Rus) похожие документы |
| Шульте Эйгон | ||
| Том 14, № 2 (2007) | О релаксационном многограннике задачи «3-выполнимость» | Аннотация PDF (Rus) похожие документы |
| Б. В. Урываев | ||
| "... The properties of a polytope associated with the 3-satisfiability problem are investigated ..." | ||
| Том 17, № 1 (2010) | О числе фасет 2-смежностного многогранника | Аннотация PDF (Rus) похожие документы |
| А. Н. Максименко | ||
| "... A d-polytope P is 2-neighborly if each 2 vertices of P determine an edge. It is conjectured ..." | ||
| Том 23, № 1 (2016) | A Special Role of Boolean Quadratic Polytopes among Other Combinatorial Polytopes | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... We consider several families of combinatorial polytopes associated with the following NP-complete ..." | ||
| Том 18, № 3 (2011) | Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника | Аннотация PDF (Rus) похожие документы |
| Андрей Валерьевич Николаев | ||
| "... and properties of the points of the cut polytope relaxations $M_{n,k}$. It is established that for a sufficiently ..." | ||
| Том 19, № 2 (2012) | Двойственность Гейла и смежностность случайных многогранников. I | Аннотация PDF (Rus) похожие документы |
| Алексей Германович Бродский | ||
| Том 19, № 4 (2012) | Двойственность Гейла и смежностность случайных многогранников. II | Аннотация PDF (Rus) похожие документы |
| Алексей Германович Бродский | ||
| "... polytopes. They confirm the well-known Gale conjecture for the general case. ..." | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
| А. В. Николаев | ||
| "... New facts characterizing the vertex set of 3-SAT problem relaxation polytope are established ..." | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... In the 1980s V.A. Bondarenko found that the clique number of the graph of a polytope in many cases ..." | ||
| Том 19, № 4 (2012) | Замечания о расположениях точек на квадриках | Аннотация PDF (Rus) похожие документы |
| Александр Владиславович Селиверстов | ||
| "... programming, empty quadric, polytope, facet ..." | ||
| Том 16, № 3 (2009) | Асимптотика дисперсии оценки энтропии для симметричных мер Бернулли | Аннотация PDF (Rus) похожие документы |
| Е. А. Тимофеев | ||
| "... of the Grassberger entropy estimator variance. ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... and asymmetric traveling salesperson polytopes is an NP-complete problem. On the other hand, a suffcient ..." | ||
| Том 20, № 6 (2013) | Определение области типа параллелоэдра | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Гришухин | ||
| "... Each convex polytope P = P(α) can be described by a set of linear inequalities determined ..." | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| "... is dual to one of the following five three-dimensional polytopes: a tetrahedron, a quadrangular pyramid ..." | ||
| Том 22, № 3 (2015) | ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА | Аннотация похожие документы |
| И. И. Овсянников, Д. В. Тураев, С. В. Зелик | ||
| "... We give an analytic proof of the existence of Shilnikov chaos in complex Ginzburg– Landau equation ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... The blockchain technology is based on the ”Proof-of-work” principles. The essence ..." | ||
| Том 24, № 2 (2017) | Полиэдральные характеристики задач о сбалансированном и несбалансированном двудольных подграфах | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Бондаренко, Андрей Валерьевич Николаев, Джамболет Азаматович Шовгенов | ||
| "... are established to be NP-hard. We study the polytopes and the cone decompositions of these problems and their 1 ..." | ||
| Том 19, № 6 (2012) | Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ | Аннотация PDF (Rus) похожие документы |
| Анатолий Игоревич Антонов, Владимир Александрович Бондаренко | ||
| "... Приводится эффективное описание графов многогранников задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ..." | ||
| Том 19, № 6 (2012) | Многочлены объема для некоторых многогранников в пространствах постоянной кривизны | Аннотация PDF (Rus) похожие документы |
| Денис Иджадович Сабитов, Иджад Хакович Сабитов | ||
| "... Известно, что для каждого симплициального многогранника P в 3-пространстве существует многочлен Q ..." | ||
| Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Горский | ||
| "... corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope ..." | ||
| Том 19, № 6 (2012) | Непрерывное уплощение правильного тетраэдра точными отображениями | Аннотация PDF (Rus) похожие документы |
| Джин-ичи Ито, Чи Нара | ||
| "... В статье [10] нами доказано, что любой правильный многогранник P допускает непрерывное ..." | ||
| Том 20, № 5 (2013) | Замкнутые локально минимальные сети на поверхностях выпуклых многогранников | Аннотация PDF (Rus) похожие документы |
| Наталия Павловна Стрелкова | ||
| "... геодезических. Исследуются свойства таких сетей на поверхностях выпуклых многогранников и задача описания класса ..." | ||
| Том 22, № 4 (2015) | Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях | Аннотация PDF (Rus) похожие документы |
| В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов | ||
| "... a given value. The recognition versions of both problems are NP-complete. We consider polytopes ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... Proof-of-work for blockchains” problem. We suggest some alternative ways for searching useful tasks ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... of its edge lengths. Finally, we give a direct analitic proof of the famous Schläfli formula ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... investigates the possibilities of automated proofs on the correctness of different algorithmic variants. We ..." | ||
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| "... for those systems. We think that bringing formal proof in their development can help establishing safety ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the proof is authored in a classical sequent calculus framework and a successful proof requires from ..." | ||
| Том 20, № 2 (2013) | Алгоритм эффективного оценивания энтропии | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| "... . We prove that, under certain conditions, the estimators has a small variance. We show that a special ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... of automatic validation of correctness conditions (instead of semi-automatic proof techniques). The key idea ..." | ||
| Том 17, № 3 (2010) | Гиперплоскости универсальной экстремали некоторых задач оптимизации | Аннотация PDF (Rus) похожие документы |
| Н. П. Федотова | ||
| "... свойством: для многогранника (из некото¬рой совокупности) в такой гиперплоскости существует точка ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... , then use this verification as proof-outlines for a manual verification of the algorithm in computer ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... transmission of data over unreliable channels. A formal proof of correctness for this protocol faces ..." | ||
| Том 31, № 3 (2024) | Oценивание интерполяционных проекторов с применением многочленов Лежандра | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... многочленов Лежандра через объёмы выпуклых многогранников. Именно, мы показываем, что при $gammage 1$ объём ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... language and it has the capability of partial automation of the proof process. However, the method ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... review some recent extensions of the proof calculus applied by KeYmaeraX that make formal proofs ..." | ||
| Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... . In the proof of a lower bound we give an explicit construction of required lattice plane tilings. The proof ..." | ||
| Том 27, № 3 (2020) | Обобщение правил вывода для зависимостей соединения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... ) of the obtained axioms does not cause difficulties, the proof of completeness in general has not been ..." | ||
| Том 14, № 2 (2007) | Динамические свойства уравнений первого порядка с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| И. С. Кащенко | ||
| "... the order of coefficient variance from critical values and order of delay are studied. ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... their proof. Two programs from the well-known verification benchmarks illustrate the applicability ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... with initial and target sets of states and from the proof that under some conditions the procedure terminates ..." | ||
| Том 14, № 3 (2007) | Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| "... on the cube [0,1]n. The proofs make use of certain properties of the Eulerian numbers and the central B ..." | ||
| Том 27, № 1 (2020) | Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... являются оценки кликовых чисел графов многогранников, ассоциированных с различными задачами комбинаторной ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... . Minsky machines equipollent Turing machines, and the considered approach also has Turing power. The proof ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... weight coefficients. An analytic proof of the zero equilibrium state instability for the corresponding ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... calculus JF and complete strategy for automated proof search based on a single unary rule of inference ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... and proofs are easier and faster than that for program verication. ..." | ||
| Том 18, № 3 (2011) | О гипотезе Лассака для выпуклого тела | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... . The paper contains a new proof of this statement for n = 2. Also we show that if a translate of $[0,1]^n ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of the Reflex language to annotations simplifies the proof of the correctness of the transformation approach ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... are present in the systems with ordinary architectures. The proof of programs correctness is based ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... implementing a method on passive NFC tags. To proof the concept, software implementation of the described ..." | ||
| Том 24, № 3 (2017) | Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Терентьев | ||
| "... the domain of the problem, i.e. this boundary is the true boundary of the attraction domain. The proof ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... an induction is applied which is a challenge for SMT-solvers. At proof stage the SMT-solver CVC4 is used in our ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... work, based on a study of the properties of dependencies, a system of axioms was presented with proof ..." | ||
| Том 20, № 6 (2013) | Построение оценки энтропии для специальной метрики и произвольной функции | Аннотация PDF (Rus) похожие документы |
| Нина Евгеньевна Тимофеева | ||
| "... симплексе. Основные свойства оценки, такие как, асимптотическая несмещенность и степенное убывание дисперсии ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... lattice is a sublattice of Z 2 . It is proved that C1( √ 2)n ≤ Tc(n) ≤ C2n 2 ( √ 2.68)n . In the proof ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... requirements satisfying the same pattern have the same proof scheme. At the third step, appropriate proof ..." | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... характеристик: математического ожидания и дисперсии. Затем мы существенно обобщаем рассматриваемую марковскую ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... satisfaction proof for the constructed model occurs with the condition that the model contains only ..." | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Омелькова | ||
| "... prove that these families are irreducible. The proof of the irreducibility of the families of curves ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... about the static completeness of data representation in DIM, at the end of the paper the proof ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... pi ik}{ln 2}, kne 0. $$ The proof is based on analytic techniques such as the poissonization ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... . Inaccuracies in the solution of the problem are contained in the statements of axioms and the proof ..." | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| "... in the neighborhood of centroid vertices, the definition of which is presented. In the paper, we proposed proofs ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... on the quality of service. However, there must be a proof that ensures that every network flow is secure ..." | ||
| 1 - 75 из 84 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
