Ne (7321)
Počet nalezených dokumentů:
7321
Publikováno od
do
Mobilní aplikace pro decentralizované volby
Pastushenko, Vladislav; Perešíni, Martin; Tamaškovič, Marek
2024 - anglický
Tato práce popisuje vývoj decentralizované mobilní aplikace pro operační systém Android, která využívá protokol hlasování v zasedací místnosti založený na blockchainu. Článek popisuje motivaci k napsání práce, obecné pojmy spojené s vývojem decentralizovaných aplikací, popisuje plán vývoje, popisuje zvolené technologie, implementace a testování aplikace, zvláštnosti při práci s Flutterem při interakci s chytrými kontrakty Solidity. This paper describes the development of a decentralized mobile application for the Android operating system, using the 1-out-of-k Blockchain-Based Boardroom Voting protocol. The paper describes the motivation for writing the work, the general concepts associated with the development of decentralized applications, describes the development plan, describes the selected technology, implementation and testing of application, peculiarities when working with Flutter when interacting with Solidity smart contracts.
Klíčová slova:
Blockchain; Decentralized application (dApp); Mobile application; Elections; Voting; Security; Transparency; Accessibility; Blockchain technology; Smart contracts; Ethereum; DApp development; Web3; Mobile app development; Decentralized systems; Peer-to-peer networking; P2P; Cryptography; Flutter; Metamask; Truffle; WalletConnect; Decentralizované aplikace; volby; hlasování; bezpečnost; chytré smlouvy; peer-to-peer sítě; vývoj mobilních aplikací
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Mobilní aplikace pro decentralizované volby
Tato práce popisuje vývoj decentralizované mobilní aplikace pro operační systém Android, která využívá protokol hlasování v zasedací místnosti založený na blockchainu. Článek popisuje motivaci k ...
Převodníky v automatové knihovně Mata
Chocholatý, David; Lengál, Ondřej; Holík, Lukáš
2024 - anglický
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné převodníky je kódovaní operací nahrazení (nahrazení slova nebo regulárního vzoru řetězcem). Nový SMT nástroj pro řešení formulí s omezeními nad řetězci Z3-Noodler používá knihovnu Mata jako základ pro jeho rozhodovací proceduru. Noodler potřebuje konečné převodníky k analýze programů manipulujících s řetězci s operacemi nahrazení. Analýzou zmíněných programů používaných ve webových aplikacích se zabrání útokům jako cross-site scripting (XSS) nebo vložení kódu. Hlavní odlišující vlastnosti knihovny Mata zahrnují jednoduchost (jednoduchá k užívání, úpravě a rozšíření) a efektivitu (pracuje rychle). Reprezentaci a algoritmy pro konečné převodníky jsme navrhli s ohledem na tyto vlastnosti knihovny. K reprezentaci konečných převodníků a jejich algoritmů znovupoužijeme a rozšíříme existující datové struktury a algoritmy pro konečné automaty v knihovně Mata. Reprezentace pro konečné převodníky slouží jako společná reprezentace pro konečné převodníky a budoucí reprezentaci automatů využívajících multi-terminálních binárních rozhodovacích diagramů pro práci s velkými abecedami. Navíc rozšíříme návrh o algoritmy pro konstrukci konečných převodníků modelujících operace nahrazení definovaných v SMT-LIB. Nakonec experimentálně vyhodnotíme efektivitu konečných převodníků v knihovně Mata na nové sadě příkladů s operacemi nahrazení z běhů nástroje Z3-Noodler a z řešení problémů nalezení vzoru. We implement finite transducers in a new fast and simple automata library Mata. Finite transducers are finite state machines modelling rational relations. Our primary use case for finite transducers is encoding replace operations (replacing a word or a regular pattern with a string literal). A recent automata-based SMT string solver Z3-Noodler uses Mata as a backbone of its decision procedure. Z3-Noodler needs finite transducers to analyse string manipulating programs with replace operations. The analysis of said programs used in web applications prevents software attacks such as cross-site scripting (XSS) or code injection. The distinctive features of Mata include simplicity (simple to use, modify and extend) and efficiency (fast to run). We design the representation and algorithms for finite transducers to fit the simplicity and efficiency requirements. We inherit and extend the existing data structures and algorithms for finite automata in Mata to represent the finite transducers and their operations. The representation for finite transducers serves as a common data structure and interface for the finite transducers and future representation of automata using multi-terminal binary decision diagrams to handle large alphabets. We further extend the design with algorithms to construct finite transducers modelling replace operations defined in SMT-LIB. Finally, we run an experimental evaluation of performance of finite transducers in Mata on a new benchmark with replace operations from runs of Z3-Noodler and from solving problems in pattern matching.
Klíčová slova:
finite transducers; finite automata; replace operations; string solving; string constraints; SMT; efficiency; simplicity; verification; cross-site scripting; code injection; browser transductions; composition; projection; application; nondeterminism; konečné převodníky; konečné automaty; operace nahrazení; řešení řetězcových problémů; řetězcová omezení; SMT; efektivita; jednoduchost; verifikace; cross-site scripting; vložení kódu; prohlížečové transdukce; kompozice; projekce; aplikace; nedeterminismus
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Převodníky v automatové knihovně Mata
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné ...
Předání moci v rodinném podniku
Schmidt, Jakub; Chlebovský, Vít; Koráb, Vojtěch
2024 - anglický
Bakalářská práce se zaměřuje na řízení předání moci v malém rodinném podniku Schmidt Reality. Nejdříve definuje a vysvětluje základní pojmy související s procesem předání moci a řízením rodinných podniků. Dále se podrobně zaměřuje na specifika a výzvy spojené s předáním vedení v malých rodinných podnicích, zejména v realitním sektoru. V práci jsou prováděny strategické analýzy zaměřené na optimální přístupy k předání moci, s cílem zajistit hladký přechod a udržet kontinuitu a stabilitu podniku v rámci realitního odvětví. The bachelor thesis focuses on the succession management of Schmidt Reality s.r.o., a family-owned real estate company. It begins by defining and explaining key issues related to succession planning in family businesses. The study then delves into the specifics of succession processes, challenges, and strategies within the context of family-run real estate enterprises. Detailed strategic analyses are conducted, utilizing the gathered data to formulate a comprehensive succession plan. This plan aims to ensure a smooth leadership transition, maintain business continuity, and reinforce the company's position in the real estate market.
Klíčová slova:
Entrepreneurship; family business; real estate; succession management; small business; company analysis of internal and external environment; SWOT analysis; risk analysis.; Podnikání; rodinný podnik; realitní kancelář; řízení nástupnictví; malý podnik; analýza vnitřního a vnějšího prostředí společnosti; SWOT analýza; analýza rizik.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Předání moci v rodinném podniku
Bakalářská práce se zaměřuje na řízení předání moci v malém rodinném podniku Schmidt Reality. Nejdříve definuje a vysvětluje základní pojmy související s procesem předání moci a řízením rodinných ...
Využitie Diffusion Modelov v Oblasti Deepfakes
Trúchly, Dominik; Malinka, Kamil; Lapšanský, Tomáš
2024 - anglický
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete (GAN), ktoré sú schopné generovať obrázky, ktoré sú pre bežných jednotlivcov takmer nemožné odlíšiť od skutočnej reality. V dôsledku toho boli vyvinuté algoritmy detekcie hlbokých falošných správ, ktoré riešia tento rastúci problém. Tieto algoritmy využívajú pokročilé techniky strojového učenia a analyzujú rôzne funkcie v rámci obrázkov a videí, aby identifikovali nezrovnalosti alebo anomálie svedčiace o manipulácii. Táto práca skúma aplikáciu difúznych modelov, bežne používaných v digitálnom spracovaní obrazu na zvýšenie kvality obrazu znížením šumu a rozmazania, pre posilňovanie realizmu deepfakes. Využitím týchto modelov testujeme ich efekt na odhaľovanie deepfakes obrázkov pomocou deepfake detektorov. A deepfake is a type of synthetic media created through sophisticated machine learning algorithms, particularly deep neural networks. As an example Generative adversarial neural networks (GANs), that are capable of generating images that are almost impossible for ordinary individuals to differentiate from genuine reality. Consequently, deepfake detection algorithms have been developed to address this growing concern. Leveraging advanced machine learning techniques, these algorithms analyze various features within images and videos to identify inconsistencies or anomalies indicative of manipulation. This thesis investigates the application of diffusion models, commonly utilized in digital image processing to enhance image quality by reducing noise and blurring, in bolstering the realism of deepfakes. By using these models, we test their effect on detecting deepfakes images using deepfake detectors.
Klíčová slova:
deepfake; neural networks; deepfake detection; diffusion models; biometrics systems; deepfake; neurónové siete; deepfake detekcia; difúzne modely; biometrické systémy
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Využitie Diffusion Modelov v Oblasti Deepfakes
Deepfake je typ syntetického média vytvoreného pomocou sofistikovaných algoritmov strojového učenia, najmä hlbokých neurónových sietí. Ako príklad možno uviesť generatívne adverzné neurónové siete ...
Dynamické in-situ experimenty s využitím sondové mikroskopie
Patočka, Marek; Frank, Otakar; Kolíbal, Miroslav
2024 - anglický
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem bez kladné elektrody. Na tento experiment navazuje obdobné měření, při kterém jsou jako materiál kladné elektrody použity částice MXene. Druhá část práce se zabývá grafenem plovoucím na kapalném kovu. Je zde prezentováno zkoumání přítomnosti menisku okolo grafenových vloček. In this thesis, several case-studies of dynamic in-situ scanning probe microscopy experiments are presented. First, the electrodeposition of lithium in a solid state battery without a positive electrode is investigated. This experiment is followed by a similar measurement in which MXene particles are employed as a positive electrode material. The second part of the thesis deals with the graphene-on-liquid-metal system. An investigation into the presence of a meniscus surrounding the graphene flakes is presented.
Klíčová slova:
In-situ; Atomic force microscopy; Graphene; Solid state batteries; MXene; LiteScope; In-situ; Mikroskopie atomárních sil; Grafen; Baterie s pevným elektrolytem; MXene; LiteScope
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Dynamické in-situ experimenty s využitím sondové mikroskopie
V této práci je uvedeno několik případových studií dynamických in-situ experimentů s využitím skenovací sondové mikroskopie. Nejprve je zkoumána elektrodepozice lithia v baterii s pevným elektrolytem ...
Detekce zranitelností v kontejnerových obrazech
Findra, Michal; Malinka, Kamil; Pavela, Jiří
2024 - anglický
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú analýzou kontajnerových obraz, slúžiacich ako vzor na vytvorenie daného kontajneru. Popísané je získanie popisu prostredia, následného spracovania do formátu zmysluplného pre vyvíjaný nástroj Vulntron. Vulntron slúži na automatizáciu tohoto procesu, bezpečnostnú analýzu jednotlivých komponentov kontajnerového obrazu a následný report do vizuálnej aj technicky ďalej spracovateľnej podoby. Súčasťou implementácie bude aj praktické nasadenie nástroja do rôznych typov vývojového procesu vrámci firmy Red Hat. The work focuses on the problem of automated security analysis of container images in a distributed environment. It describes present vulnerabilities in these environments and tools that deal with the analysis of container images that serve as a template for deploying a specific container. The process involves acquiring an environment description and subsequently processing it into a format meaningful for Vulntron tool developed as part of this thesis. Vulntron automates this process, performs a security analysis of individual components of the container image, and generates a report in a visually and technically processable format. The thesis also includes practical integration in form of Vulntron deployment into various types of development processes within the Red Hat company.
Klíčová slova:
Vulntron; Container image; Container security; Security analysis; Grype; Syft; SBOM; Vulnerability detection; CI-CD; Vulntron; Kontajnerový obraz; Kontajnerová bezpečnosť; Bezpečnostná analýza; Grype; Syft; SBOM; Detekcia zraniteľností; CI-CD
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Detekce zranitelností v kontejnerových obrazech
Práca sa zaoberá automatizovaným bezpečnostným rozborom kontajnerových obrazov v distribuovanom prostredí. Popísané sú aktuálne zraniteľnosti v týchto prostrediach a nástojenie, ktoré sa zaoberajú ...
Zabezbečení IoT aplikací pomocí mikrokontrolerů řady Arm Cortex-M33
Tonka, Marek; Zeman, Václav; Slavíček, Karel
2024 - anglický
Bakalárska práca analyzuje vlastnosti moderných mikrokontrolérov s architektúrou ARM Cortex-M33 a ich prínos pre zabezpečenie IoT aplikácií. Teoretická časť je zameraná na predstavenie spoločnosti ARM spolu s charakteristikou architektúry ARMv8, na ktorej sú procesory Cortex-M33 postavené. Taktiež sa kladie dôraz na predstavanie novej technológie TrustZone, ktorá je klúčovým zabezpečovacím prvkom týchto procesorov. Následne je predstavený výber mikrokontrolérov a ich vlastností od piatich popredných polovodičových spoločností. Praktická časť zahŕňa inštaláciu a nastavenie dvoch IDE pre nasledovnú prácu s doskami NUCLEO-575-ZI-Q a LPC55S69-EVK. Na základe týchto vývojových dosiek sa testujú štyri jedinečné funkcie, ktoré poukazujú na výhody používania procesorov ARM na zabezpečenie aplikácií internetu vecí. The bachelor thesis analyses the characteristics of modern microcontrollers with ARM Cortex-M33 architecture and their contribution to securing IoT applications. The theoretical part focuses on the introduction of ARM along with the characteristic of the ARMv8 architecture on which the Cortex-M33 processors are built. Emphasis is also placed on the introduction of the new TrustZone technology, which is a key security feature of these processors. Subsequently, a selection of microcontrollers and their features from five leading semiconductor companies is presented. The practical part covers the installation and setup of the two IDEs for the following work with the NUCLEO-575-ZI-Q and LPC55S69-EVK boards. Based on these development boards, four unique features are tested to demonstrate the benefits of using ARM processors to secure IoT applications.
Klíčová slova:
ARM Cortex-M33; ARM Microcontrollers; IoT Security; TrustZone; Secure Boot; NUCLEO-575-ZI-Q; LPC55S69-EVK; ARMv8-M Architecture; Cybersecurity; Embedded Systems; STMicroelectronics; NXP Semiconductors; ARM Cortex-M33; mikrokontroléry ARM; bezpečnosť IoT; TrustZone; Secure Boot; NUCLEO-575-ZI-Q; LPC55S69-EVK; architektúra ARMv8-M; kybernetická bezpečnosť; vstavané systémy; STMicroelectronics; NXP Semiconductors
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Zabezbečení IoT aplikací pomocí mikrokontrolerů řady Arm Cortex-M33
Bakalárska práca analyzuje vlastnosti moderných mikrokontrolérov s architektúrou ARM Cortex-M33 a ich prínos pre zabezpečenie IoT aplikácií. Teoretická časť je zameraná na predstavenie spoločnosti ARM ...
Vyhodnocení vhodnosti polovodičového zdroje IR záření pro fotoakustický senzor plynů
Miškov, Alexander; Smísitel, Petr; Hubálek, Jaromír
2024 - anglický
Táto práca je zameraná na hodnotenie vhodnosti polovodičového zdroja svetla v strednej infračervenej oblasti pre fotoakustický senzor plynu. Teoretická časť práce bude venovaná známym technikám detekcie plynov, fyzikálnym zákonom, ktoré je potrebné pochopiť, a známym zdrojom infračerveného žiarenia, ktoré budú porovnané s predmetným polovodičovým zdrojom infračerveného žiarenia. V praktickej časti bude vysvetlená metodika hodnotenia IR zdroja svetla a budú prezentované výsledky. This thesis is focused on the evaluation of semiconductor mid-infrared light source suitability for photoacoustic gas sensor. The theoretical part of the thesis will be devoted to known gas detection techniques, physics laws that need to be comprehended and known infrared sources that will be compared with the semiconductor IR source in question. In the practical part, the methodology of the IR light source evaluation will be explained and the results will be presented.
Klíčová slova:
Gas; gas detection; LED; infrared light source; semiconductor; photoacoustic; sensor.; Plyn; detekcia plynu; LED; zdroj infračerveného svetla; polovodič; fotoakustický; senzor.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vyhodnocení vhodnosti polovodičového zdroje IR záření pro fotoakustický senzor plynů
Táto práca je zameraná na hodnotenie vhodnosti polovodičového zdroja svetla v strednej infračervenej oblasti pre fotoakustický senzor plynu. Teoretická časť práce bude venovaná známym technikám ...
Implementace rozpoznávání gest na ARM jako alternativa tradičního ovládání zařízení
Gajdošík, Richard; Zbořil, František; Kočí, Radek
2024 - anglický
Cieľom tejto bakalárskej práce je vývoj a implementácia systému na rozpoznávanie gest s využitím architektúry ARM, konkrétne s použitím dosky i.MX 93 a TensorFlow Lite. Projekt sa zameriava na aplikáciu neurónových sietí pre rozpoznávanie gest rúk, čím poskytuje alternatívu k tradičným metódam ovládania zariadení. Dôležitou súčasťou práce je rozsiahla analýza existujúcich riešení rozpoznávania gest, zameraná na identifikáciu ich silných stránok a možných vylepšení. Práca detailne opisuje proces navrhovania, vývoja a optimalizácie modelu na rozpoznávanie gest v reálnom čase, špeciálne prispôsobeného pre čipy ARM s dôrazom na efektivitu a výkon. Okrem toho práca aj obsahuje vytvorenie demonštračnej aplikácie, ktorá vizuálne reprezentuje rozpoznané gestá. Užívateľské testovanie je uskutočnené na hodnotenie praktickosti a užívateľského zážitku systému rozpoznávania gest, čo poskytuje cennú spätnú väzbu pre budúce vylepšenia. This bachelor's thesis focuses on the development and implementation of a gesture recognition system on ARM architecture, utilizing the i.MX 93 board and TensorFlow Lite. The project is grounded in the application of neural networks for the recognition of hand gestures, offering an alternative to traditional device control methods. An integral part of the work involves a comprehensive analysis of existing gesture recognition solutions, identifying their strengths and potential improvements. The thesis elaborates on the design, development, and optimization of a real-time gesture recognition model specifically for ARM chips, emphasizing efficiency and performance. Additionally, the thesis covers the creation of a demonstrative application that visually represents recognized gestures. User testing is conducted to evaluate the practicality and user experience of the gesture recognition system, providing valuable feedback for future enhancements.
Klíčová slova:
i.MX 93; TensorFlow Lite; Machine Learning; Gesture Recognition; Embedded Systems; ARM Architecture; Deep Learning; Neural Networks; Image Processing; Real-time Inference; i.MX 93; TensorFlow Lite; Strojové učenie; Rozpoznávanie gest; Vstavané systémy; ARM Architektúra; Hlboké učenie; Neurónové siete; Spracovanie obrazu; Inferencia v reálnom čase
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Implementace rozpoznávání gest na ARM jako alternativa tradičního ovládání zařízení
Cieľom tejto bakalárskej práce je vývoj a implementácia systému na rozpoznávanie gest s využitím architektúry ARM, konkrétne s použitím dosky i.MX 93 a TensorFlow Lite. Projekt sa zameriava na ...
Využití neoznačenačených dat pro segmentaci sítnice
Shemshur, Andrii; Jakubíček, Roman; Vičar, Tomáš
2024 - anglický
Tato bakalářská práce se zabývá vývojem a hodnocením pokročilých metod pro segmentaci lékařských snímků v kontextu omezených trénovacích dat. Studie zkoumá techniky učení pod dohledem využívající konvoluční neuronové sítě (CNN), přenosové učení s předtrénovanými modely a strategie učení s částečným dohledem. Jako základní model byl použit model konvoluční neuronové sítě (CNN) s dohledem založený na architektuře U-Net, který dosáhl koeficientu Dice 77,6% a průniku nad sjednocením (IoU) 63,4%. Použití přenosového učení pomocí kodéru ResNet34 předtrénovaného na síti ImageNet vedlo k výraznému zlepšení výkonu s koeficientem Dice 81,9%, IoU 69,3% a přesností 96,7%. Kromě toho byly ke zvýšení výkonu modelu použity strategie učení s částečným dohledem, včetně pseudoznačení a předtrénování denoizace. Přístup pseudoznačení přinesl koeficient Dice 81,7% a IoU 69,1%, čímž prokázal účinnost využití neoznačených dat. Přístup před tréninkem denoizace prokázal robustní výkonnost a dosáhl koeficientu Dice 80,3% a IoU 67,0%, a to i v přítomnosti zašuměných a neoznačených dat. Tyto výsledky podtrhují potenciál transferového učení a poloprovozních metod pro zvýšení přesnosti segmentace při analýze lékařských snímků. Poskytují solidní základ pro budoucí výzkum v této oblasti. This bachelor's thesis is concerned with the development and evaluation of advanced methods for medical image segmentation in the context of limited training data. The study examines supervised learning techniques employing Convolutional Neural Networks (CNNs), transfer learning with pre-trained models, and semi-supervised learning strategies. A supervised convolutional neural network (CNN) model based on the U-Net architecture was employed as the baseline, achieving a Dice coefficient of 77.6\% and an intersection over union (IoU) of 63.4%. The application of transfer learning using a ResNet34 encoder pre-trained on ImageNet led to a notable improvement in performance, with a Dice coefficient of 81.9%, an IoU of 69.3%, and an accuracy of 96.7%. Furthermore, semi-supervised learning strategies, including pseudo-labeling and denoising pretraining, were employed to enhance the model's performance. The pseudo-labeling approach yielded a Dice coefficient of 81.7% and an IoU of 69.1%, thereby demonstrating the efficacy of leveraging unlabeled data. The denoising pretraining approach demonstrated robust performance, achieving a Dice coefficient of 80.3% and an IoU of 67.0%, even in the presence of noisy and unlabeled data. These outcomes underscore the potential of transfer learning and semi-supervised methods to enhance segmentation accuracy in medical image analysis. They provide a robust foundation for future research in this field.
Klíčová slova:
Medical Image Segmentation; Convolutional Neural Networks; Transfer Learning; Semi-supervised Learning; Pseudo-labeling; Denoising Pretraining; U-Net; ResNet34; Retinal Images; Segmentace lékařských snímků; konvoluční neuronové sítě; učení s přenosem; učení s částečným dohledem; pseudoznačení; předtrénování denoisingu; U-Net; ResNet34; snímky sítnice
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Využití neoznačenačených dat pro segmentaci sítnice
Tato bakalářská práce se zabývá vývojem a hodnocením pokročilých metod pro segmentaci lékařských snímků v kontextu omezených trénovacích dat. Studie zkoumá techniky učení pod dohledem využívající ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze