186 research outputs found

    Implementation of the TIL-Script Language

    Get PDF
    Cílem práce je implementovat programovací jazyk TIL-Script. Jazyk TIL-Script slouží jako výpočetní varianta logického kalkulu TIL, jenž umožňuje jednoduchý strojový zápis konstrukcí Transparentní intenzionální logiky, ale také jejich následné provedení. Práce dále řeší praktické problémy s interpretací jazyka TIL-Script, a to například definice pojmenovaných funkcí, interakce s databází, apod. Dále se práce snaží navrhnout nadmnožinu jazyka TIL-Script, která umožní konstrukce TIL nejen provádět, ale také analyzovat, vytvářet je, a pracovat s nimi.The goal of the thesis is the definition and implementation of the TIL-Script language. TIL-Script is a scripting language which serves the purpose of a computational variant of Transparent intensional logic, a logical calculus based on typed lambda calculi. TIL-Script allows for not just representation, but also execution of TIL constructions. This work also deals with practical problems of TIL-Script implementation, such as definitions of named functions, interaction with databases, etc. Furthermore, this thesis attempts to define a superset of the TIL-Script language, which allows for not just the execution of constructions, but also for their creation and analysis.460 - Katedra informatikyvýborn

    Проектне навчання з програмування ІІ : навчально-методичний посібник для самостійного вивчення навчальної дисципліни студентами спеціальності 122 Комп’ютерні науки освітня програма «Комп’ютерні науки» ступеня бакалавра

    Get PDF
    Основною метою вивчення дисципліни «Проектне навчання з Програмування ІІ» є формування у студентів системного мис-лення і навичок алгоритмічного програмування та об’єктно-орієнтованого програмування з використанням засобів мови програмування високого рівня C++. Ця дисципліна є логічним продовження курсу «Програмування ІІ» і призначена для підвищення рівня сформованості загальних і спеціальних компетентностей, передбачених навчальною програмою дисципліни та освітньо-професійною програмою підготовки фахівців із спеціальності 122 Комп’ютерні науки. Крім цього, виконання студентами запропонованих авторами завдань підвищеної складності з дисципліни сприятимуть формуванню саме професійної компетентності майбутніх фахівців із комп’ютерних наук. Цей посібник може бути використаний, як для самостійного опанування студентами цієї дисципліни, так і під час виконання практичних завдань чи написання проектів із С++. Оскільки студенти вже почали вивчення мови програмування С++ у дисципліні «Програмування ІІ», акцент у посібнику зміщено на практичні приклади реалізації різноманітних задач із тем курсу. Якщо у студентів є необхідність повторення теоретичних відомостей, слід використовувати навчально-методичний посібник із дисципліни «Програмування ІІ» або відповідні дистанційні курси. У посібнику представлено достатньо велику кількість прикладів реалізації програмних кодів із відповідних тем. Усі коди є універсальними і можуть бути використаними для реалізації як в онлайн компіляторі так і в середовищах розробки, наприклад Visual Studio чи CLion, тобто студенти не обмежені у виборі компіляторів для їх реалізації. Усі коди протестовано в онлайн компіляторі https://www.onlinegdb.com/online_c++_compiler

    Dashboard Pre-Processing Data (DPD) as Data Analysis System with Technological Innovation to Perform Pre-Processing Quantitative Data

    Get PDF
    In essence, data in real-life always needs to be pre-processed or better known as pre-processing data. Pre-processing Data is one of the early techniques for converting raw data from various sources into cleaner information that can be used for further analysis. There are three types of pre-processing data, missing values, checking outlier data, and identifying the types of distribution in the data. Currently, statistical software that offers to be used in pre-processing data analysis has been widely and is quite familiar. However, the user is often can not run the analysis quickly. Therefore, there is the idea to create and develop an application or dashboard that can be used to solve these problems. The application this at is offered and trying to be developed is called "DPD (Dashboard Pre-Processing Data)". This application serves as a tool to pre-process data quickly and efficiently. In addition, with this application, it’s expected that users can identify missing values, data outliers, and some types of data distribution, so users can determine the analysis method that will be used on the research data they have

    k-Means

    Get PDF

    DeeR-Hash: A lightweight hash construction for Industry 4.0 / IoT

    Get PDF
    Industry 4.0 and IoT are emerging computing environments for low energy devices. Implementing complex security mechanisms in such environment is challenging. A lightweight and energy aware hashing provides high security to the devices under these environments. Earlier hash algorithms such as SHA and MD5 were very complex and hence are not suitable for the energy constrained devices. Similar hashing algorithm is needed for low energy devices as well. The authors proposed a sponge based hashing algorithm that is capable of providing a security up to second preimage attack to the devices communicating under such constrained environments. The methodology of the proposed design is derived from some existing lightweight hash constructions such as Photon, Quark, Gluon, and Spongent. The steps in the algorithm of DeeR-Hash include the steps for DeeRSponge and DeeRStateUpdate as well. To construct the sponge for the proposed hashing, the authors had taken the value of b, r, and c as 80, 2, and 78 respectively. After implementing the algorithm in a tag-reader scenario, the authors find that it is taking only 483 GE for 80-bits digest and is suitable for a lightweight cryptographic environment. The avalanche effect produced by the proposed algorithm further strengthens the security claim of the authors. Comparing other related work in this area, the authors claim that the required area in ASIC in lowest

    High-Precision Automotive Radar Target Simulation

    Get PDF
    Radar target simulators (RTSs) deceive a radar under test (RuT) by creating an artificial environment consisting of virtual radar targets. In this work, new techniques are presented that overcome the rasterization deficiency of current RTS systems and enable the generation of virtual targets at arbitrary high-precision positions. This allows for continuous movement of the targets and thus a more credible simulation environment

    Heart rates estimation using rPPG methods in challenging imaging conditions

    Get PDF
    Abstract. The cardiovascular system plays a crucial role in maintaining the body’s equilibrium by regulating blood flow and oxygen supply to different organs and tissues. While contact-based techniques like electrocardiography and photoplethysmography are commonly used in healthcare and clinical monitoring, they are not practical for everyday use due to their skin contact requirements. Therefore, non-contact alternatives like remote photoplethysmography (rPPG) have gained significant attention in recent years. However, extracting accurate heart rate information from rPPG signals under challenging imaging conditions, such as image degradation and occlusion, remains a significant challenge. Therefore, this thesis aims to investigate the effectiveness of rPPG methods in extracting heart rate information from rPPG signals in these imaging conditions. It evaluates the effectiveness of both traditional rPPG approaches and rPPG pre-trained deep learning models in the presence of real-world image transformations, such as occlusion of the faces by sunglasses or facemasks, as well as image degradation caused by noise artifacts and motion blur. The study also explores various image restoration techniques to enhance the performance of the selected rPPG methods and experiments with various fine-tuning methods of the best-performing pre-trained model. The research was conducted on three databases, namely UBFC-rPPG, UCLA-rPPG, and UBFC-Phys, and includes comprehensive experiments. The results of this study offer valuable insights into the efficacy of rPPG in practical scenarios and its potential as a non-contact alternative to traditional cardiovascular monitoring techniques

    High-Precision Automotive Radar Target Simulation

    Get PDF
    corecore