Seminars and Lectures


 
-------------------------------

Archive


 

Семінар Центру дослідження даних КАУ (Archiv)

Organiser: Кафедра математики КАУ. Cайт семінару
Location: Інститут математики НАН України, 208, 17:00
Date Seminar
21, April 2021
17:00 Wednesday
Застосування методів оброблення медичних зображень для дослідження медичних даних
Оксана Шкурат

Резюме:

Медичні дані пацієнтів є основою комунікації в галузі електронної охорони здоров’я. Взаємодія медичних працівників ґрунтується на процесах отримання, зберігання, оброблення та аналізу, а також передачі текстових та графічних даних. До графічних даних відносяться зображення рентгенографії, комп’ютерної та магнітно-резонансної томографії, ультразвукових досліджень, мікроскопічних досліджень тощо. З обробленням та аналізом графічної інформації, що несуть в собі медичні зображення розширюється медичний досвід спеціалістів, а також виникає можливість впровадити довготривалий моніторинг станів пацієнтів, персоніфіковану медицину, що в свою чергу підвищить рівень медицини та економіки країни. Виділення ознак зображень та прийняття на їх основі експертних рішень дозволить уникнути помилок, ускладнень, зменшити ймовірність неправильного діагнозу в медичній практиці. Тому актуальним є розроблення, вдосконалення, а також впровадження методів оброблення зображень у медичні дослідження. У доповіді розглядатимуться методи підвищення яскравості зображень, сегментації для автоматизованого визначення відхилень на об’єктах зображень, контурного опису та пошуку медичних зображень. Запропоновані методи оброблення медичних зображень доцільно застосовувати: як окремі модулі автоматизованого аналізу зображень у складі медичної інформаційної системи; або у сукупності як інформаційна технологія оброблення медичних даних, що дозволяє створювати медичні інформаціи?ні системи з розширеними функціональними можливостями.

31, March 2021
17:00 Wednesday
Оцінювання параметрів лінійної регресії за наявності суміші класичної та берксонівської похибок у регресорі
Микита Яковлєв

Резюме:

Досліджується лінійна структурна модель регресії, у якій регресор спостерігається із сумішшю класичної та Берксонівської похибок вимірювання. Дисперсії класичної похибки та похибки Берксона вважаються відомими. Без припущень про нормальність будуються консистентні оцінки параметрів моделі та задаються умови їх асимптотичної нормальності. Побудовані оцінки розділяються на дві асимптотично незалежні групи.

24, March 2021
17:00 Wednesday
Класична задача дискретної математики — мінімізація диз'юнктивної нормальної форми у формалізмі реляційних схем
Ігор Ткачев

Резюме:

В доповіді буде розглянута класична задача дискретної математики мінімізація диз'юнктивної нормальної форми на основі формалізму реляційних схем. Буде показано що задача побудови мінімальної диз'юнктивній нормальної форми відповідає задачі побудові системи реляційних схем, що породжує задану мову у вигляді об'єднання множин спроможних розміток цих схем.

03, March 2021
17:00 Wednesday
Задачі обробки великих даних у промисловості
Максим Романов

Резюме:

Буде розглянуто типову задачу класу застосунків предиктивної аналітики на промислових підприємствах при оптимізації процесів планування виробництва. Розкрито її контекст, місце у ієрархії процесів керування виробництвом, моделі вхідних даних та очікувані результати використання. Наведено варіанти використання на прикладі підприємств харчової (овочепереробної) промисловості.

24, February 2021
17:00 Wednesday
Аналіз фотоемісійних спектрів багатозонних надпровідників методами машинного навчання з застосуванням згорткових нейронних мереж

03, February 2021
17:00 Wednesday
Сучасні підходи створення векторної репрезентації слова
Ігор Cтепанов, Максим Ніколаєнко

Резюме:

Обчислювальна лінгвістика - розділ математичного та комп'ютерного моделювання, що займається використанням математичних моделей для опису природних мов. На сьогодні найбільш розповсюджені підходи моделювання мови так і окремих її компонентів засновані на нейронних мережах. Більшість з них спирається на гіпотезу дистрибутивної семантики, згідно з якою значення слова визначається словами з якими досліджуване слово зустрічається. Подібні моделі дозволяють створити тематичний ембединг(векторну репрезентацію слова), розташовуючи в векторному просторі поряд ті слова які належать до спільної тематики. В нашому дослідженні ми виділили інший тип ембедингу, що базується на моделюванні синтаксичного оточення слова, тобто структури речень та взаємозв'язку даного слова з іншими. Наша модель заснована на використання Graph Convolutional Network та інформації про структуру речення на основі universal dependencies tree. Результати продемонстрували, що даний тип ембедингу створює більш функціональну репрезентацію, розташовуючи поряд слова з однакової категорії в ієрархії значень слів. Крім того, оскільки дана модель чудово утилізує інформацію про роль слова в реченні, даний тип ембедингу підходить для створення репрезентації речень. В даній доповіді ми зробимо акцент на поєднання різних типів ембедингу та аналіз кожного з них на відповідність до тих чи інших задач.

23, December 2020
17:00 Wednesday
Бот для проведення тендерів з продажу агрокультур
Антон Жуковський

Резюме:

У бакалаврській дипломній роботі було реалізовано систему для проведення тендерів з продажу агрокультур, використовуючи Telegram Bot API. Розроблена система дозволяє агрокомпанії зручно проводити тендери всередині месенджера Telegram.

16, December 2020
17:00 Wednesday
Автоматизація зворотної розробки методами декодування та дизассемблювання
Олег Самойленко

Резюме:

Розробка програмного забезпечення у сучасному світі дуже швидка, тому іноді аспектам безпеки та захищеності програмного продукту може не бути приділено достатньо уваги. Зворотна розробка власного продукту є ефективною для пошуку його вразливостей та загроз. У роботі був зроблено огляд структури файлів Mach-O з метою декодування вразливої інформації з системних компонентів; розроблено програмне забезпечення, яке може бути використаним для декодування внутрішніх даних системних компонентів формату Mach-O.

09, December 2020
17:00 Wednesday
Обмеження на параметри темної матерії в Баєсовому підході
Денис Савченко

Резюме:

Позаяк частотний підхід в статистиці широко використовувався протягом 20 століття, сучасний прогрес в розвитку комп’ютерних технологій призвів до розширення використання баєсових підходів. Великою перевагою баєсових методів є можливість отримання постеріорних розподілів ймовірності значень параметрів моделі на противагу точковим оцінкам. Ми використовуємо підхід Монте-Карло Марківських ланцюжків для аналізу спостережних даних про кількість перших галактик у Всесвіті. Оскільки властивості частинок темної матерії впливають на процеси формування структур, можемо отримати обмеження на масу частинки темної матерії. Окрім того, ми маємо можливість оцінити величини інтегрованої правдоподібності і виконати порівняння різних моделей темної матерії.

02, December 2020
17:00 Wednesday
Застосування методів кластерізації в деяких задачах обробки мовних сигналів
Василь Семенов

Резюме:

В даній доповіді ми розглядаємо застосування деяких методів кластерізації в задачах обробки мовних сигналів. По-перше, розглянуто загальну класифікацію методів машинного навчання та показано місце у ній методів кластерізації. Надалі розглянуто методи кластерізації за допомогою алгоритму К-середніх, моделей гаусівських сумішей та напівтоматичного навчання із відповідним застосуванням до задач кодування та класифікації мовних сигналів. Наведено результати тестування на реальних даних.

Посилання на zoom

25, November 2020
17:45 Wednesday
Термодинамічне моделювання складу асоційованих розчинів систем Ni-Zr та Ni-Hf
Марк-Ездра Волинський

Резюме:

Методом калориметрії досліджено ентальпії змішування розплавів систем Ni-Zr і Ni-Hf в усьому інтервалі складів при 1770 К. Показано, що рідкі сплави утворюються із виділенням великої кількості теплоти. Мінімальні ентальпії змішування близькі до -50 кДж/моль для розплавів обох вивчених систем. За моделлю ідеальних асоційованих розчинів розраховано термодинамічні властивості сполук, асоціатів і розплавів цих систем.

Посилання на zoom

25, November 2020
17:00 Wednesday
Аналіз та порівняння існуючих систем пожежонебезпеки, доступних баз даних пожеж
Олександр Пархомчук

Резюме:

Проаналізовано інсунуючі системи пожежонебезбеки, та доступні бази
даних пожеж. Проаналізовано індекс FWI. Здійснено попередню обробку
супутника Sentinel-3 та на основі цих даних проаналізовано дані, які
входять для цього індексу.

Посилання на zoom

18, November 2020
17:00 Wednesday
Один підхід до розв'язування задач напівавтоматичного навчання
Yevgeniya Semenova

Резюме:

Розглядається проблема чисельного розв'язування задач класифікації напівавтоматичного навчання. Для таких задач пропонуються нові стійкі алгоритми, що базуються на спектральних властивостях графа в Лапласіане та дозволяють ефективно задіяти непомічені дані для відновлення многовиду. Апроксимаційні властивості побудованих алгоритмів буде продемонстрировано за допомогою чисельних експериментів.

Посилання на zoom

11, November 2020
17:00 Wednesday
Покращена оцінка найменших квадратів в умовах фіксованої та спадної точності
Іван Сенько

Резюме:

Розглядається покращена оцінка найменших квадратів у векторній лінійній моделі з похибками у змінних за умов невипадкових регресорів, за умов коли точність спостереження регресорів є рівномірно обмеженою та спадною із зростанням кількості вимірювань. Встановлені умови консистентності та строгої консистентності оцінок для гетерескедастичного випадку та умови асимптотичної нормальності за умов гомоскедастичного випадку.

Посилання на zoom

04, November 2020
17:00 Wednesday
Дослідження web-форуму як соціокультурного феномену та використання сучасних скриптових мов програмування для створення інтернет форуму студентів
Михайло Ємельянов

Резюме:

Сьогодні все більшого значення набуває інформатизація освіти та розробка методичних системи, технологій, методів і організаційних форм навчання, що дозволяють удосконалити механізм управління системою освіти в сучасних умовах інформаційного суспільства. Основними інтернет-технологіями, що використовуються в освітніх цілях, є засоби синхронної та асинхронної комунікації. У даному дослідженні був розглянутий інтернет-форум, як засіб асинхронної комунікації. У ході дослідження була побудована та описана концептуальна модель інтернет-форуму, визначені роль і перспективи інтернет-спільнот типу «форум» в соціокультурній системі сучасного інформаційного суспільства, а також спроектований та програмно реалізований прототип студентського web-форуму.

Посилання на конференцію в zoom

21, October 2020
17:00 Wednesday
Великі супутникові дані як основа для інноваційних Українських проєктів
Леонід Шуміло

Резюме:

Конференція в Zoom

https://us02web.zoom.us/j/81901090493?pwd=bkVlOVBJWEJMcFdNMDNOc2liUkNRUT09

07, October 2020
17:00 Wednesday
ІЧ-сенсибілізація фулереновмісних комплексів для органічних сонячних елементів/ Статичний блочно-рекурсивний алгоритм Холецького для кластера з розподіленою пам'яттю
Андрій Іваськевич, Ізабелла Шевчук

Резюме:
  • У роботі досліджено можливості сенсибілізації фулереновмісних комплексів за допомогою сквараїнового та кроконатного барвників. За допомогою квантово-хімічних методів розраховано спектри оптичного поглинання систем фулерен-барвник. Отримано зсув спектру поглинання в ІЧ-область для сквараїнового та кроконатного комплексів у порівнянні положенням смуг поглинання його складових.

  • В даній статті досліджується блочно-рекурсивний паралельний алгоритм розкладання Холецького для суперкомп`ютера з розподіленою пам`яттю. Для зручності масштабування, число ядер — це деяка ступінь двійки. Ми досліджуємо стійкість алгоритму до накопичення помилок обчислень і ефективність масштабування статичного блочно-рекурсивного алгоритму.
30, September 2020
17:00 Wednesday
Система Євросоюзу з ядерного аварійного реагування РОДОС та обчислювальні технології асиміляції даних вимірів для розв'язання обернених задач й корегування результатів прогнозування/ Реалізація алгоритму побудови представлення групи по машині Тьюринга
Іван Васильович Ковалець, Максим Борисович Шамрай

Резюме:

1. У доповіді зроблено огляд системи підтримки рішень (СППР) Євросоюзу з ядерного аварійного реагування РОДОС. Особливу увагу приділено модулю атмосферного перенесення цієї системи. Функціонування сучасних СППР з екологічної безпеки неможливе без застосування методів асиміляції (засвоєння) даних вимірів у розрахунках моделей для корегування результатів прогнозування. У доповіді дається огляд методів засвоєння, які застосовуються у моделях розповсюдження радіоактивності системи РОДОС. Наводяться приклади застосування системи РОДОС під час радіаційних інцидентів на території України та у світі.

2. Дослідження формальних мов показало, що є відкриті проблеми, які досить важко вирішити за допомогою традиційних комбінаторних методів. У цій роботі ми намагаємось застосувати методи теорії груп до анализу формальних мов шляхом розробки алгоритму, який був описаний Сапіром, Біржетом і Ріпсом, і будуємо представлення кінцево представленої групи за даною машиною Тьюрінга. Крім того, ми отримали ін’єктивне відображення з мови машини Тьюрінга у проблему слів відповідної групи. Алгоритм може бути використаний для подальшого вивчення класифікації формальних мов з точки зору загальновідомих класів груп, виділення ознак приналежності до певного класу та застосування алгебраїчних методів до формальних мов. Взагалі, ми намагаємось застосувати новий підхід до аналізу формальних мов за допомогою теорії груп.

23, September 2020
17:00 Wednesday
1. Використання методів нелінійного зменшення розмірності на основі дифузійних карт для задачі класифікації даних./ 2. Дифузійне згладження даних
Олександр Кравченко, Поліна Мерзлікіна

Резюме:

1. Однією з проблем у галузі машинного навчання є використання глибонного навчання на невеликих наборах даних, які не можна доповнити. Для таких наборів даних раціональніше використовувати стандартні алгоритми машинного навчання, але ми стикаємось ще з однією проблемою - малою точністю класифікацій для даних великої розмірності, таких як зображення, аудіозаписи, тощо. Щоб уникнути цієї проблеми зазвичай використовують лінійні алгоритми зменшення розмірності, проте вони не підходять для даних, змінні яких не лежать у напрямках найбільшої дисперсії. Для таких даних доцільніше використовувати нелінійни алгоритми зменшення розмірності.

 

2. Доповідь ознайомить слухачів із поняттям дифузійних координат та їх прикладним використання при згладженні даних (на прикладі 3D об'єктів).
Дифузiйнi вiдображення - це один з нелiнiйних методiв зниження розмiрностi який використовує в якостi мiри подiбностi довжину шляху пройденого
випадковим процесом на неорiєнтованому графi, який побудований на основi вхiдних даних. Якщо про дані можна припустити, що вони описуються многовидом, метод дозволяє перейти до нового базису простору, що уможливлює зменшення існуючих в них осциляцій.
Це є суттєво важливим, зокрема, для медичних даних.

19, February 2020
17:00 Wednesday
Interaction of laser radiation with hemoglobin of arterial blood.

04, December 2019
17:00 Wednesday
ПРОБЛЕМИ ТА ПІДХОДИ ДО ПРОГНОЗУВАННЯ ПОПИТУ CPG ТОВАРІВ
Олександр Сичов
04, December 2019
17:00 Wednesday
Approaches to forecasting CPG demand
Oleksandr Sychov
27, November 2019
17:00 Wednesday
Рекурсивні матричні алгоритми і розподілене динамічне управління обчислювальним процесом на суперкомп'ютері
Геннадій Малашонок

Резюме:
У лекції розглядаються рекурсивні матричні алгоритми і їх застосування при створенні бібліотеки програм для суперкомп'ютера з розподіленою пам'яттю і динамічним децентралізованим управлінням обчислювальним процесом. Дається нова класифікація матричних алгоритмів, яка заснована на класах функцій, які використовуються в цих алгоритмах.
20, November 2019
17:00 Wednesday
Системи бізнес-аналітики
Володимир Домрачев

Резюме:
В лекції будуть проаналізовані сучасні інструменти бізнес – аналітики, які застосовуються в процесі роботи фінансовими установами України.
13, November 2019
17:00 Wednesday
Визначення рівняння стану матерії в моделі ядро-ядерних зіткнень UrQMD за допомогою згорткових нейронних мереж
Квасюк Ю.

Резюме:
Розглянуто застосування згорткових нейронних мереж (потужного алгоритму для класифікації зображень) для визначення рівняння стану матерії у моделі ядро-ядерних зіткнень. Алгоритм було натреновано на низькорівненвих експериментально-спостережуваних величинах, та досягнуто 98% точності класифікації. Отримані результати вказують на широкі перспективи застосування даних методів до реальних експериментів
30, October 2019
17:00 Wednesday
Understanding Machine Learning
Pavlo Tytarenko
23, October 2019
17:00 Wednesday
Understanding Machine Learning
Pavlo Tytarenko

Резюме:
The mathematical foundations of Machine Learning are explained. Different algorithmic approaches are discussed. The talk is aimed at beginners and those who would like to get an impression on this rapidly developing and very "fashionable" field.
09, October 2019
18:00 Wednesday
Метод експертних парних порівнянь з урахуванням попереднього досвіду
Андрійчук О.В.
25, September 2019
18:00 Wednesday
Дифузійні координати їх застосування
Кравченко О., Мерзлікіна П.
25, September 2019
17:00 Wednesday
Класифікація розподілів баріонного числа за допомогою методів машинного навчання.
Квасюк Ю.

Резюме:
Досліджуються розподіли числа баріонів у системах напіввідкритого типу (із законом збереження загального баріонного числа), що утворюються у ядро-ядерних зіткненнях. Класифікація розподілів на наявність закону збереження у проводиться за допомогою алгоритму машинного навчання.
18, September 2019
17:00 Wednesday
Концепція відкритих динамічних систем
Різник О.М.
19, June 2019
17:00 Wednesday
Geometrical Picture of Continuous-Wave Detection
Chris Boldt
29, May 2019
17:00 Wednesday
Чисельні методи в квантовій оптиці та квантових технологіях
Андрій Семенов
22, May 2019
17:00 Wednesday
Data Markets and Data Economics
Yuri Demchenko(University of Amsterdam, Amsterdam)
08, May 2019
17:00 Wednesday
P-адичний аналіз та штучні нейронні мережі
Олексій Нікітченко (ФТІ, НТУУ КПІ)
14, December 2018
17:00 Friday

Міні воркшоп `Математика та теорія ігор`

Резюме:
Доповідачі:
1) Олексій Ігнатенко, ст.н.с. Інституту програмних систем НАН України Тема: "Головні математичні ідеї теорії ігор і їх застосування"
2) Олександр Борисенко, Керівник видавництва настільних ігор FEELINDIGO Тема: "Математика у настільних іграх. Можливості"
3) Терлецька Катерина, ст.н.с. Інституту проблем математичних машин і систем НАН України Тема: "Математика у настільних іграх. Реалізація"
23, November 2018
17:00 Friday
Функції Хаара, як базис чисельного диференціювання та застосування у медицині
Покутний Олександр Олексійович
26, October 2018
17:00 Friday
Формальні та адаптивні методи паралельного програмування
А.Ю. Дорошенко (КАУ, НТУУ КПІ та Інститут програмнитх систем НАНУ)
08, June 2018
17:00 Friday
Аксіоматичний підхід до створення штучного інтелекту – «загального типу» - Artificial General Intelligence (AGI)
Сергій Корнєєв

Резюме:
План доповіді 1. Концепція штучного інтелекту загального типу – “AGI”. 2. Відмінність концепції «Систем автоматичного регулювання» - традиційний кібернетичний підхід - від «Систем штучного інтелекту загального типу». 3. Сутність аксіоматичного підходу до створення штучного інтелекту загального типу, запропонованого автором в 2014-2018рр. 4. Операційні системи штучного інтелекту загального типу. 5. Загальна дискусія по запропонованим темам, короткі виступи учасників.
27, April 2018
17:00 Friday
Взаємодія процесів розробки математичних моделей та генерації відповідних реальних даних для підтримки оперативного прийняття централізованих і децентралізованих рішень
В. М. Горбачук (д.ф.-м.н., Інститут кібернетики імені В.М.Глушкова НАН України)

Резюме:
Cпільно із семінаром Інституту кібернетики імені В.М.Глушкова НАН України «Системний аналіз та інформаційні технології в економіці та державному управлінні
30, March 2018
17:00 Friday
Сегментація експериментальних кривих як реалізацій кусково-гладких функцій, спотворених завадами
Антон Шарипанов, Володимир Калмиков (Інститут проблем математичних машин і систем НАН України)

Резюме:
Розглядається задача сегментації експериментальних графіків , які є реалізаціями невідомих кусково-гладких функцій, причому реалізації спотворені завадами невідомої природи, тобто неможливо зробити ніякого розумного припущення про їхню природу. Ми вважаємо, що зорове сприйняття найчастіше справляється з подібними завданнями, завдяки феномену змінної роздільної здатності. Метод, алгоритм засновані на тому, що рецептивне поле нейрона представлене як дискретна аналогія околу точки при аналізі безперервності функції. Наведені приклади сегментації реальних об\'єктів-кардіограм. Подальший розвиток - сегментація зображень. Запропоновано новий метод сегментації сигналів, спотворених завадами. На відміну від інших відомих методів, наприклад, методу Канні, априорні дані про завади не використовуються. Сегментація сигналів та півтонових зображень, спотворених завадами, є однією з найстаріших проблем комп\'ютерного зору. Але людський зір вирішує це завдання майже незалежно від нашої свідомості. Для зорових нейронів виявлено, що розміри збуджувальних зон рецептивних полів змінюються під час зорового акту, що в кінцевому підсумку означає динамічні зміни роздільної здатності зорової системи, тобто феномен \"coarse-to-fine\" у живих організмах. Ми припустили, що феномен \"coarse-to-fine\" , тобто декілька різних роздільних здатностей, використовується в системі людського зорового сприйняття для сегментації зображень. Розроблено алгоритм \"coarse-to-fine\" для сегментації експериментальних графіків. Основна відмінність алгоритму, згаданого вище від інших, полягає в тому, що рішення приймається з урахуванням усіх частинних рішень для всіх використаних роздільних здатностей. Це забезпечує стабільність остаточного рішення. Результати програмної перевірки алгоритму представлені. Очікується, що метод можна розширити до сегментації півтонових зображень.
Current seminars
Copyright © 2007 Institute of Mathematics