Факультет інформатики
Permanent URI for this community
Browse
Browsing Факультет інформатики by Title
Now showing 1 - 20 of 458
Results Per Page
Sort Options
Item 3-D сегментація та візуалізація об'єктів на основі медичних зображень(2020) Нгуєн, Сан Бинь; Бучко, ОленаМета курсової роботи написати застосунок, на вхід якого подається набір медичних зображень, що являють собою 2D зрізи певної ділянки людського тіла, а на виході отримати модель, проекцію якої можна переглянути у 3D просторі. Були розглянуті стандартні алгоритми для побудови 3D-моделей та сегментації. Наведені методи покращення, оптимізації та виявлені певні недоліки наведених алгоритмів. Реалізація, тестування та дослідження основної частини програми були проведені за допомогою мови програмування Python та написаних під неї бібліотек. Для візуалізації отриманих 3D-моделей було додатково створено застосунок під операційну систему iOS з використанням методів доповненої реальності за допомогою бібліотеки ARKit. Оглянуто готові рішення.Item 3D-візуалізація об’єктів на основі медичних зображень(2022) Першута, П.; Бучко, ОленаМетою даної курсової роботи є дослідження роботи алгоритмів побудови 3D-моделей на основі зрізів, отриманих в результаті томографії голови. Проведено аналіз актуальності теми та проаналізовано два алгоритми побудови 3D-зображень, а саме “крокуючі куби” та “крокуючі тетраедри”. Також було розглянуто алгоритми сегментації для покращення вихідної моделі. Реалізовано алгоритм “крокуючі куби” для отримання 3D-моделі на мові С++ з використанням бібліотеки OpenCV.Item Architectural approach in Software development. Research and technology stack decision(2021) Кузьменко, Дмитро; Корнійчук, МаксимThe topic of architectural approach in software engineering is chosen for the research in this work. The topic is undoubtedly relevant at the moment. The further we progress technologically, the more requirements are set for new projects centered around the software. Also, more projects are being created, more products are being designed, and more diversified approaches can be assessed and chosen for many different tasks. Domain research and technology stack decisions do play a vital role in the potential risk avoidance and success of the project. This work will comprise of different segments, such as the theoretical part of software development architectural approach - architectural patterns, different methodologies to the development itself, server and client sides of the application as necessary parts of any product, core solutions to the set tasks, and solutions to continuous integration and delivery - are to be explored, assessed, compared and explained; the practical part - in which the team project is evaluated, the development process inside the team is shown, and the general structure of the project, as well as the decision per every point mentioned in the theoretical part, is explained; the demo part - involves demonstration snapshotsItem Binary relations between binary operations(2021) Bilyi, Illia; Козеренко, СергійLet Bin(X) be a collection of all groupoids on some non-empty set X. De ne the operation : Bin2(X) ! Bin(X) so that x( )y = (x y) (y x) for all x; y 2 X and (X; ); (X; ) 2 Bin(X). Let lz denote left-zero operation (8x; y 2 X : x lz y = x) on X. Then, (X; lz) is an identity of (Bin(X); ). Similarly, de ne right-zero rz 2 Bin(X) (8x; y 2 X : x rz y = y). We consider the center of (Bin(X); ) and represent its elements as graphs. Furthermore, we investigate distributivity from the left in Bin(X) and its interaction with -product. We show that the only operation that is left- distributive over all possible 2 Bin(X) is rz 2 Bin(X) and that any 2 Bin(X) is left-distributive over lz; rz 2 Bin(X).Item Coherence in the coupled oscillators for the case of financial time series(2020) Марченко, Анастасія; Щестюк, НаталіяThe analysis in natural science leads to spreading the ideas of chaos theory and non- linear dynamics to nancial mathematics and creating the new researches to consider similar models and procedures for nancial time series. Also, the irregular uctuations in these series are sometimes considered as an outcome from chaotic systems.[1] This can be used, for example, to forecast the value of an investment portfolio, which is the combination of di erent nancial assets, for example, stocks, bonds, cash. One of the ways to think about a successful portfolio is when the chosen equities have the high expected returns and synchronized in time for bottom moments.[2] Then the dynamics of these nancial assets can be described as oscillators connected in the network.Item Creation and distribution of the commercial project(2020) Гончар, Андрій; Ющенко, ЮрійIn this coursework the basic lifespan of a startup or a regular project are described. Specific situations, which come up during building and managing the team are explained. There is also a description of the work done to create the app “Quarantine” . The idea of this app is just a fun for the users and money income for the developers from the adds banners inside the app. The preparations done before launching the app are also described below. All the paragraphs describe the real experience gained by the author during the “Quarantine” project.Item Decoding Speech from ECoG with Machine Translation Models(2023) Burakov, Roman; Shvai, Nadyia; Wang, BoThis paper explores the use and improvement of brain-computer interface (BCI)- based speech neuroprostheses, devices designed to enhance communication for individuals with speech disorders. Focusing on the machine learning aspect, we address the existing challenges associated with these systems, such as the limited vocabulary and simple algorithms of previous research and the individual variances in electrode implantation sites. Our approach reframes the decoding of speech from BCI as a machine translation problem and employs existing language models for semantic knowledge transfer. This research provides an extensive analysis of current neural speech decoding and multilingual neural machine translation methods, adapts the pre-existing M2M100 neural machine translation model for decoding ECoG data into text, and introduces a state-of-the-art model for neural speech decoding that improves upon current methods in semantic text reconstructions.Item Dependent Types for Formal Theorem Proving: A Case Study of Hall’s Theorem(2023) Власенко, Павло; Жежерун, ОлександрThis thesis investigates the role of dependent types and Curry-Howard isomorphism in formal theorem proving and programming. First, we highlight the connection between formal logic and type theory and demonstrate how dependent types allow us to encode complex properties like proofs or programs. Next, we introduce Lean, a language utilizing dependent types, and show practical examples to check that the program will never fail and be correct at compile time without needing tests. Finally, we will show an example of a more complex theorem defined in Lean – Hall’s graph theorem and how to use its proof to write the verified program.Item Development of the auditoriums’ occupation management system called “KMAuditoriums”(2020) Леськів, Олександр; Глибовець, АндрійIn the modern world, most applications are built using software as a service (SaaS), client-server approach. With server-rendering is no longer being a common nor recommended practice for most scenarios, Frontend development became separated from the Backend one. They might be built using different languages and technologies and will usually be hosted on two different servers, one for web’s static files serving and another for the application programming interface (also known as API) server. The only thing that ties those two is the HTTP protocol. With that, the whole application development becomes more flexible as frontend and backend teams can work independently of each other and even test their code using mock data (for frontend) and an API development tools like Postman (for backend) to be completely separate.Item E-commerce додаток для платформи iOS(2023) Колесніков, Антон; Бітаєва, ОксанаМетою дослідження є розробка та реалізація E-commerce додатку для платформи iOS з метою покращення процесу онлайн-шопінгу на мобільних пристроях для користувачів iOS. Мета та завдання дослідження будуть досягнуті шляхом аналізу інтернет-ресурсів, проєктування та розробки додатка, його тестування та вдосконалення. Також будуть проведені опитування користувачів для оцінки ефективності додатка та його впливу на їхню покупкову поведінку.Item Face recognition in the video stream. Self-attention neural aggregation network(2020) Проценко, Ігор; Крюкова, ГалинаThe models based on self-attention mechanisms have been successful in analyzing temporal data and have been widely used in the natural language domain. A new model architecture is being proposed for video face representation and recognition based on the self-attention mechanism. Moreover, given approach could be used for video with single and multiple identities. Notably, no one explored the aggregation approaches that consider the video with multiple identities. The proposed approach utilizes existing models to get the face representation for each video frame, e.g., ArcFace and MobileFaceNet, and the aggregation module produces the aggregated face representation vector for video by taking into consideration the order of frames and their quality scores. Empirical results are demonstrated on a public dataset for video face recognition called IJB-C to indicate that the self-attention aggregation network (SAAN) outperforms naive average pooling. Moreover, a new multi-identity video dataset based on the publicly available UMDFaces dataset and collected GIFs from Giphy is being proposed. It is shown that SAAN is capable of producing a compact face representation for both single and multiple identities in a video. The source code is attached in the archive.Item Few-shot learning in computer vision(2021) Янкін, Ігор; Глибовець, АндрійУ роботі розглянута проблематика вирішення задач з галузі машинного навчання за умови дуже обмеженої кількості зображень для тренування. Проведено аналіз усіх існуючих розповсюджених методів вирішення цієї проблеми, які допомагають досягти задовольняючих результатів без потреби використовувати велику кількість зображень у якості прикладів для тренування. Виконана реалізація обраних методів та їх порівняння відповідно до визначених у роботі критеріїв. Відповідно до отриманих результатів були зроблені висновки про переваги та недоліки реалізованих методівItem Implementing Hexmap Generation Framework using Cube Coordinate System in Unity3D(2021) Martyniuk, Taras; Бублик, ВолодимирThis paper describes the implementation of hexagonal grid framework that uses Cube coordinate system for hexagon representation and implementation of algorithms. Unity3D game engine was used, along with its Entity Component System framework for runtime grid representation and Tiled tilemap editor for level design. It also showcases and compares different coordinate systems used for representing hexagonal grids.Item Introducing real-time boundless data with websockets(2020) Діденко, Віра; Глибовець, АндрійLoading and displaying a large data set with minimal delay has always been a challenging task. With the increase of data set size, the loading time before the data is displayed grows and the user experience suffers. In this research work the aim is to load and display a large data set within the time limit required for the user to perceive the response as instant and to provide smooth navigation and a pleasant user experience. Based on multiple research the required response time limit was determined to be 0.1 second. Based on this time constraint the time that can be spent for each process was calculated and after an empirical research the data transfer method for loading the data and keeping it real-time was chosen to be WebSockets. With WebSockets as the data transfer technology the large data set was loaded and displayed on a sample data table under 100 milliseconds and a smooth user experience was achieved.Item JIT компіляція динамічних мов програмування(2022) Петрик, Ярослав; Глибовець, АндрійМетою дослідження є огляд та аналіз методів виконання, аналізу, та компіляції динамічних мов програмування. Оглянуто процес перетворень та оптимізації від текстового формату, до різних проміжних репрезентацій обчислень.Item Modelling prosody in the task of human speech synthesis with the use of machine learning(2020) Процик, Олексій; Крюкова, ГалинаGenerating high fidelity speech using a text-to-speech (TTS) system remains a challenging task despite the decades of research and investigations. Modern TTS systems are very complex. For example, it is a common practice for a statistical TTS system to have a linguistic extractor in the front, which extracts different linguistic features. It is followed by a duration model to estimate the speech length in time of a given text and an acoustic feature prediction model. Given these features, it is all fed into a vocoder, which synthesizes speech out of acoustic features. All these components are trained independently and require extensive field knowledge to be sophisticated enough and produce considerable results. Because it has a modular design, it is prone to errors which will proceed in the following modules and can accumulate.Item NK-моделі Кауффмана(2020) Крошин, Олександр; Чорней, РусланA given work focuses on the NK fitness models, focuses on classical NK models of Boolean networks dynamics, gives intuition of its basic properties and describes most useful ways to represent it. The paper is also focused on a fitness landscape and its corresponding NK model, concepts of ruggedness and smoothness. It also covers a concept of NK-models stability and researches an impact of internal and external parameters of a model (N, K, ruggedness of a landscape) on its stability. Experiments were implemented with Python 3.8 using libraries Numpy, matplotlib etc.Item NLP система для автоматичного рейтингування за важливістю – разом з Fuzzy Logic(2021) Кольчик, Микита; Гороховський, КирилоУ даній роботі розглядається програма для сортування новин за важливістю за допомогою нечіткої логіки і нейронних мереж. Розроблена архітектура програми, визначені основні недоліки і переваги. Проведений аналіз ефективності програми. Розглянуто її застосування на цінах акцій. Програма була написана на Python3.Item NLP: створення пошукового сервісу для вакансій(2023) Золотаревич, Олександра; Смиш, ОлегЦя робота демонструє основні етапи створення пошукового сервісу для вакансій із використанням методів обробки природного мовлення. Описано оптимізацію наявних методів структурування вакансій та побудову моделі навчання з вчителем, яку представлено як реалізацію семантичного пошуку.Item Optimizing Segmentation of Neonatal Brain MRI with Partially Annotated Multi-Label Data(2023) Kucheruk, Dariia; Hlybovets, Andriy; Brudno, MichaelThis thesis proposes a multi-label segmentation model for optimizing the segmentation of neonatal brain MRI with partially annotated data. A multi-label segmentation model that addresses the challenges of limited annotated data by modifying the preprocessing, loss function, and postprocessing of the original multi-class label segmentation was developed. The proposed approach aims to improve the accuracy and efficiency of neonatal brain MRI segmentation by leveraging partially annotated data. We evaluate our method on a unique dataset of neonatal brain MRI and demonstrate its effectiveness compared to the models trained on fully annotated data.