Items where Subject is "Mathematics and Cybernetics"
- Subjects (113)
- Mathematics and Cybernetics (113)
Thesis
«Բարդ որոշելի» բանաձևերի արտածումների բարդությունները ասույթային հաշվի համակարգերում.
Վերջավոր դաշտերի վրա անվերածելի, նորմալ և տեղադրության բազմանդամների կառուցման եղանակներ.
Առցանց ալգորիթմական մոդելները տվյալների մաքսիմալ կանոնավորված ենթակառուցվածքի խնդիրներում.
Ռեկուրսիվ օպերատորի անշարժ կետերի հետազոտում.
Երկուական կոդեր ադիտիվ կապի գծերում.
Ցանցային տեսքի որոշ դիսկրետ օբյեկտների կառուցվածքների հետազոտում.
Տրամաբանական ծրագրավորման որոշ ալգորիթմական պրոբլեմների մասին.
Անլար ցանցերի մաթեմատիկական մոդելներում ալգորիթմական խնդիրների հետազոտում.
Առանց տիպերի ֆունկցիոնալ ծրագրերի ձևափոխությունների և նրանց պրոցեդուրային սեմանտիկաների մասին.
Գրաֆների կիրառմամբ մոդելի հետազոտություն.
Օպտիմիզացման խնդիրներ առանց լարի ցանցերում.
Բուլյան հավասարումների համակարգերի մոտավոր լուծումներ.
Բուլյան և ստոխաստիկ համակարգեր և դրանց կիրառությունները.
Լիցքավորված մասնիկների ճառագայթման առանձնահատկությունները տորուդային ռեզոնատորներում.
Տեղեկություններ թաքցնող որոշ համակարգերի ինֆորմացիոն-տեսական հետազոտություն.
Ռադիոլոկացիոն ազդանշանների ձևավորման և մշակման արդյունավետ եղանակների հետազոտումը.
Լոկալ Օրե-տիպի պայմաններով գրաֆների Համիլտոնյան հատկություններ.
Գերմեծ ինտեգրալային սխեմաների հատակագծման երկակի գրավիտացիայի մեթոդը.
Իդեսպոտենտ հանրահաշիվների բազմանդամների բնութագրումը: Դե Մորգանի երկկիսախմբեր և եռակիսախմբեր.
Գրաֆում հատուկ տիպի մաքսիմալ զուգակցումների կառուցման մասին.
Ճշգրիտ հանգույցների կոնստրուկցիաներ հանրահաշվական կորերի վրա.
Բազմաչափ բազմանդամային միջարկման և Գասքա-Մաեզթուի վարկածի վերաբերյալ.
Բազմաչափ բինար խորանարդի գագաթների ենթաբազմությունների տրոհումների քանակական նկարագիրը.
Մակերևույթների չեբիշևյան ցանցեր և չեբիշևյան խրձեր ռիմանյան տարածություններում.
Խմբերին իզոտոպ քվազիխմբերի (լատինական քառակուսիներ).
Գրաֆների միջակայքային տոտալ ներկումներ.
Վարկածների օպտիմալ ստուգում ընդհատ աղբյուրներով որոշ մոդելներում.
Մագնիսական գլխիկների անալիզ և սինթեզ.
Ձևման խնդիրների մոդելավորումը և դրանց կիրառումը տեխնոլոգիական գործընթացներում.
Օրիենտացված գրաֆների գագաթային համարակալում.
Раскраски ерафов с локальными условиями.
Համեմատությունների գրաֆների ներկման խնդիրների հետազոտում և ալգորիթմների մշակում.
Բեզիեյի կորերով տվյալների մոտարկման ալգորիթմների մշակում.
Հաշվողական խմբերի տեսության մեթոդների կիրառումը ծածկագրման մեջ.
Յակոբիի բազմանդամներով վերլուծությունների զուգամիտության արագացման ալգորիթմներ.
Ֆունկցիոնալ ծրագրերի հիմնական սեմանտիկայի մասին.
Իդեմպոտենտ հանրահաշիվների բազմանդամների բնութագրումը: Դե Մորգանի երկկիսախմբեր և եռակիսախմբեր.
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին.
Լագրանժի միջին արժեքներով բազմաչափ միջարկման վերաբերյալ.
Ֆորմալ համակարգերում արտածումների բարդությունների հետազոտում.
Մեդիալ տիպի հանրահաշիվների ներկայացումները.
Հանրահաշվական բազմամակարդակային վերապայմանավորիչների կառուցումը փոքրագույն քառակուսիների մեթոդում.
Դիսկրետ էքստրեմալ խնդիրների հետազոտում.
Խառը խնդիրը չորրորդ կարգի վերասերվող դիֆերենցիալ-օպերատորային հավասարումների համար.
Նեյմանի խնդիրը չորրորդ կարգի վերասերվող դիֆերենցիալ-օպերատորային հավասարումների համար.
Խմբերի ո-պարբեբական արտադրյալների ավտոմորֆիզմների մասին.
Օրթոգոնալ համակարգերով գրիդի ալգորիթմի զուգամիտությունը.
Ավտոմատ նախագծման ուղեգծման որոշ ալգորիթմների մշակում և կիրառական ծրագրերի ստեղծում.
Конвейерные языки и стабилизации конвейеров.
Գրաֆների միջակայքային կողային ներկումների հետազոտում.
Создание систем дистанционного обучения и исследование их функциональных параметров.
Алгебраические многосеточные переобуславливатели для конечноэлементных матриц.
Разработка алгоритмов быстрых преобразований Уолша-Адамара с заранее заданным коэффициентом сжатия.
Разработка и анализ методов повышающих пропускную способность систем передачи информации.
Развитие и применение алгоритмов статистического анализа эпидемиологических данных.
Некоторые вопросы организации параллельных вычислительных системах кластерного типа.
Численное решение нелинейной задачи изгиба сверхпроводящей пластинки в магнитном поле.
Методы построения адаптивных средств организации объектно-ориентированных СУБД.
Разработка методов увеличения размерности зашумленных изображений.
Параметрическая интерполяция и численное решение уравнений свёрточного типа.
Моделирование и программная инструментальная поддержка некоторых процессов прогнозирования.
Разработка комплекса алгоритмов и программ иерархической сегментации и восстановления изображений.
Матрицы Адамара и блочные последовательности.
Организация удаленного доступа к армяноязычным библиографическим базам данных.
Исследование и реализация сетевых почтовых систем компьютерной телефонии.
Разработка и реализация базового модуля в сетевой системе компьютерной телефонии.
Разработка адаптивных ЦВЗ-алгоритмов защиты музыкальных произведений.
Улучшение алгоритмов раскопок данных и применение в системах мониторинга.
Исследование и разработка методов построения реконфигуритуемых стеганографических систем.
Разработка и исследование электронных систем обучения.
Исследование и разработка интегрированной информационной системы научно-технических документов.
Распознавание эквивалентности процессов над средами взаимодействующих объектов.
Դիսկրետ կոմբինատոր խնդիրներ վերջավոր դաշտերում.
Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին.
Ագահ ալգորիթմներ բազմաչափ բանախյան տարածություններում.
0-1 մատրիցների համար լավագույն թեստ գտնելու խնդիրների և դրանց մոտավոր ալգորիթմների մասին.
Գրաֆների լոկալ-հավասարակշռված 2-տրոհումների մասին.
Բերգմանի տեսքի օպերատորներ ֆունկցիոնալ տարածությունների վրա Cᶰ-ի գնդում.
Բազմաչափ բազմանդամային միջարկման, GC բազմությունների և Գազքա-Մաեզթուի վարկածի վերաբերյալ.
SLDNF-ռեզոլյուցիայի մասին ժխտումով տրամաբանական ծրագրավորման մեջ.
Անլուծելիության աստիճաններ և միթոտիկություն` ըստ թույլ (T- և wtt-) և աղյուսակային հանգեցումների.
n-անկախ հանգույցների բազմությունների վերաբերյալ.
n-ճշգրիտ և GCn բազմությունների նոր հատկության վերաբերյալ.
Πn-ճշգրիտ և Πn-անկախ հանգույցների բազմությունների վերաբերյալ.