No (7321)
Number of found documents:
7321
Published from
to
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Šedý, Michal; Češka, Milan; Holík, Lukáš
2024 - English
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v abstraktním regulárním model checkingu, k verifikaci programů, k rozhodování procedur logik WS1S a WS2S, lineární aritmetiky celých čísel, temporálních logik, nebo dokonce v bioinformatice při vyhledávání sekvencí nukleotidů v DNA. Automaty s velkým množstvím stavů mohou v řadě algoritmů vést k exponenciálnímu nárůstu stavového prostoru. Tento problém lze zmírnit použitím minimalizačních technik slučování stavů a prořezávání hran přechodů. Tyto metody však mohou i přes svou značnou efektivitu zanechat ve výsledných automatech duplicitní podstruktury s ekvivalentními přechody. Existují dokonce typy automatů, které nelze těmito standardními technikami minimalizovat vůbec. Tato práce představuje nový přístup k minimalizaci automatů založený na transformaci NKA na nedeterministický zásobníkový automat (NZA). Tato transformace identifikuje skupinu podobných podstruktur a nahradí ji jednou společnou strukturou (procedurou). Tímto způsobem jsme byli schopni zredukovat automaty až o dalších 67.3%. Myšlenka transformace NKA na NZA lze přirovnat k transformaci sekvenčního programu na program, který využívá funkce a zásobníkem volání. Nondeterministic finite automata (NFAs) are widely used across almost every field of computer science, such as for the representation of regular expressions, monitoring high-speed networks, in abstract regular model checking, program verification, in decision procedures of WS1S and WS2S logics, linear integer arithmetic, temporal logics, or even in bioinformatics for searching sequences of nucleotides in DNA. Automata with a large number of states can lead to an exponential increase in the state space in many algorithms. To address this issue, minimization techniques, such as state merging and transition pruning, are used. Despite the strong minimization potential of these methods, the resulting automata can still contain duplicate substructures with equivalent transition sequences. There are even types of automata that cannot be minimized by these standard methods at all. This work presents a novel automata minimization approach based on a transformation of an NFA into a nondeterministic pushdown automaton (NPDA). The transformation identifies multiple similar substructures and replaces them with one common structure (called a procedure). By doing so, we were able to further reduce automata by up to 67.3%. The principle of transforming NFA into NPDA can be understood as a transformation of a purely sequential program into a program with functions and a call stack.
Keywords:
Nondeterministic Finite Automata; Nondeterministic Pushdown Automata; Minimization; Network Intrusion Detection Systems; Regular Expressions; Nedeterministické Konečné Automaty; Nedeterministické Zásobníkové Automaty; Minimalizace; Systémy Detekce Průniků v Síti; Regulární Výrazy
Available in a digital repository NRGL
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Nedeterministické konečné automaty (NKA) jsou široce využívány napříč mnoha odvětvími počítačové vědy, například pro reprezentaci regulárních výrazů, při monitorování vysoko rychlostních sítí, v ...
Bilingual Guideline
Bilal, Rama; Málek,, Matěj; Ondrík, Jozef
2024 - English
Můj projekt přesahuje rámec pouhého jednorázového “výzkumu pro design” a zasahuje do oblasti “výzkumu prostřednictvím designu”. Rozsáhlá oblast typografické harmonizace zůstává z velké části neprozkoumaná a nabízí otevřený prostor k dalšímu výzkumu a sdílení nových řešení. Zdůraznění otevřenosti projektu je zásadní, zejména ve světle obecné tendence designu vnucovat západní normy designové praxe, čímž dochází k univerzalizaci kulturních odkazů a odsouvání lokálních forem na vedlejší kolej. Význam mého snažení spočívá v jeho roli designérského experimentu, jehož cílem je najít klíč k dynamické harmonizaci arabské a anglické typografie. Důraz není kladen na podřízení prvního z nich normám druhého, ale spíše na jejich zrovnoprávnění. Podstata tohoto cíle je obsažena ve formátu praktického výstupu – příručky pro párování arabsko-anglické bilingvní typografie. The increasing need for effective bilingual design solutions has highlighted the challenges faced by designers in selecting appropriate font pairings that preserve the aesthetics and visual harmony between Arabic and English typography. As the two scripts are in opposite directions, and the glyphs are different in many aspects, it is vital to understand the font design principles in order to design a successful bilingual family. This diploma project aims to develop a concise visual guideline for Arabic-English bilingual typography pairing to facilitate font selection and design, to enhance identity, proficiency, consistency, aesthetics, and effective communication in the field of Graphic Design. By considering the unique characteristics of both Arabic and English scripts and adhering to Arabic font regulations, the manual will provide practical design recommendations, methods, and font pairing choices that align with the intended proficiency and aesthetic goals. The study will employ comparative analyses, and examinations to inform the guideline's development. And the results will benefit designers, educators, and stakeholders involved in bilingual design, leading to improved communication in diverse linguistic contexts. My project extends beyond mere one—off research for design, delving into the realm of research through design. This expansive field of typographic harmonization remains largely unexplored, offering a fertile ground for fellow designers to contribute. Emphasizing the project's openness is crucial, particularly in light of the tendency of Northern—Western design hegemony to impose limited norms, thereby universalizing cultural references while sidelining local ones. The significance of this undertaking lies in its role as a design venture, aiming to unravel the dynamics of harmonizing Arabic and English typography. The focus is not on subsuming the former into the norms of the latter, but rather on equalizing them. The essence of this objective is encapsulated in the format of the practical output—guidelines for pairing Arabic-English bilingual typography.
Keywords:
Arabic font — Regulations — Calligraphy — Typography – Font anatomy — Font design — Digital Arabic fonts technical issues — Bilingual — Digital typography — Grid system.; arabské písmo – typografické regulativy – kaligrafie – typografie – tvarosloví písma – design písma – technické problémy digitálních arabských písem – dvoujazyčnost – digitální typografie – systém mřížky
Available in a digital repository NRGL
Bilingual Guideline
Můj projekt přesahuje rámec pouhého jednorázového “výzkumu pro design” a zasahuje do oblasti “výzkumu prostřednictvím designu”. Rozsáhlá oblast typografické harmonizace zůstává z velké části ...
Vstup podniku na zahraniční trhy
Kovačech, Ján; Chlebovský, Vít; Koráb, Vojtěch
2024 - English
Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na zahraniční trh. Teoretický rámec zahrnuje témata jako internacionalizace, strategická analýza a hodnocení rizik. Druhá část analyzuje společnost a profil cizí země, podložená primárním a sekundárním výzkumem trhu, pro posouzení připravenosti společnosti k expanzi. Třetí část představuje návrh vstupu na zahraniční trh spolu s hodnocením rizik. The diploma thesis focuses on the selected company and its intention to enter a foreign market. The primary objective was to evaluate the company's preparedness and subsequently propose a strategy for the foreign market entry. The theoretical background covers topics such as internationalization, strategic analysis, and risk assessment. The second part analyses the company and the foreign country’s profile, supported by primary and secondary market research, to assess the company’s readiness for expansion. The third section presents the proposal for entering the foreign market, along with a risk assessment.
Keywords:
international expansion; exporting; brewery industry; Czech Republic beer market; small and medium-sized enterprise; mezinárodní expanze; export; pivovarnictví; český pivní trh; malý a střední podnik
Available in a digital repository NRGL
Vstup podniku na zahraniční trhy
Diplomová práce se zaměřuje na vybranou společnost a její záměr vstoupit na zahraniční trh. Primárním cílem bylo posoudit připravenost společnosti a následně navrhnout strategii pro vstup na ...
Kvantová informace a supravodivé obvody
Stloukalová, Kateřina; Pazderka, Michal; Bělín, Jakub
2024 - English
Snaha o stabilní qubity v kvantovém zpracování informací přitahuje značnou pozornost, zejména v supravodivých obvodech známých svým potenciálem zvýšit koherenční čas. Projekt ``Numerická optimalizace supravodivých obvodů" řeší problémy nákladného experimentování a využívá software Scoptimization. Testování na známých qubitech jako Transmon a Fluxonium byly identifikovány optimální hodnoty s vylepšeným časem. Obecné testování obvodů navíc odhalilo, že Fluxonium (T4) se ukázalo jako vítěz s nejdelším časem, což dále zdůraznilo jeho potenciál pro pokrok ve výzkumu qubitů. Fluxonium zejména dosáhlo koherenční doby 2,7 milisekundy, čímž překonalo dříve pozorovanou experimentální hodnotu 1,48 milisekundy. The pursuit of stable qubits in quantum information processing garners significant attention, particularly in superconducting circuits known for their potential to enhance coherence time. Addressing the challenges of costly experimentation, the "Numerical optimization of superconducting circuits" project utilizes Scoptimization software. The Python package identifies optimal circuit values when testing established qubits like Transmon and Fluxonium. General circuit testing revealed that Fluxonium (T4) emerged as the winner, further highlighting its potential for advancing qubit research. Additionally, Fluxonium notably achieved a coherence time of 2.7 milliseconds, surpassing the previously observed experimental value of 1.48 milliseconds.
Keywords:
Quantum information and superconducting circuits; Transmon; Fluxonium; SQUID; Flux Qubit; Scoptimization; Numerical optimization of qubits; general superconducting circuit optimization; qubit's optimized Hamiltonian energy parameters; qubits defined anharmonicity; comparison of coherence time for different superconducting circuit parameters.; Kvantová informace a supravodivé obvody; Transmon; Fluxonium; SQUID; Flux Qubit; Scoptimization; Numerická optimalizace qubitů; optimalizace různých variací supravodivých obvodů; qubitově optimalizované Hamiltonovské parametry; qubity definovaná anharmonicita; porovnání koherenční doby pro různé supravodivé obvody.
Available in a digital repository NRGL
Kvantová informace a supravodivé obvody
Snaha o stabilní qubity v kvantovém zpracování informací přitahuje značnou pozornost, zejména v supravodivých obvodech známých svým potenciálem zvýšit koherenční čas. Projekt ``Numerická optimalizace ...
Graph Neural Networks in Epilepsy Surgery
Hrtoňová, Valentina; MSc, Daniel Uher,; Filipenská, Marina
2024 - English
Úspěch epileptochirurgického zákroku závisí na přesné lokalizaci epileptogenní zóny (EZ), avšak pouze 60% pacientů je po operaci bez záchvatů, což je často způsobeno nepřesnou identifikací EZ. Tato práce představuje novou metodu lokalizace EZ využívající grafové neuronové sítě (GNN) k analýze interiktálních biomarkerů - konkrétně interiktálních spiků a relativní entropie. Modely GNN byly využity pro lokalizaci kontaktů elektrod v resekované zóně vzniku záchvatu na základě dat z interiktální stereoelektroencefalografie a validovány na souboru klinických dat 37 pacientů ze dvou institucí. Nejlépe hodnocený model GNN - Graph Attention Network - dosáhl mediánu Area Under the Receiver Operating Characteristic (AUROC) 0,971 a mediánu Area Under the Precision-Recall Curve (AUPRC) 0,525 v souboru 19 pacientů s dobrým pooperačním výsledkem, přičemž v obou metrikách statisticky významně překonal referenční model založený na četnosti spiků (Wilcoxon Signed Rank test, p Successful epilepsy surgery relies on precise localization of the epileptogenic zone (EZ), yet only about 60% of patients become seizure-free post-surgery often due to inaccurate EZ identification. This thesis presents a novel method for EZ localization using Graph Neural Networks (GNNs) to analyze interictal biomarkers, specifically interictal spikes and relative entropy. The GNN models were used to localize resected seizure-onset zone electrode contacts based on interictal stereoelectroencephalography data, validated on a clinical dataset of 37 patients from two institutions. The best-performing GNN model - Graph Attention Network - scored a median Area Under the Receiver Operating Characteristic (AUROC) of 0.971 and a median Area Under the Precision-Recall Curve (AUPRC) of 0.525 across a cohort of 19 patients with a good surgical outcome, significantly outperforming a benchmark model based on spike rates (Wilcoxon Signed Rank test, p
Keywords:
graph neural networks; deep learning; signal processing; intracranial EEG; epilepsy; epileptogenic zone; seizure-onset zone; postsurgical outcome prediction; grafové neuronové sítě; deep learning; zpracování signálů; intrakraniální EEG; epilepsie; epileptogenní zóna; zóna počátku záchvatu; predikce pooperačního výsledku
Available in a digital repository NRGL
Graph Neural Networks in Epilepsy Surgery
Úspěch epileptochirurgického zákroku závisí na přesné lokalizaci epileptogenní zóny (EZ), avšak pouze 60% pacientů je po operaci bez záchvatů, což je často způsobeno nepřesnou identifikací EZ. Tato ...
Detekce phishingových stránek pomocí metod strojového učení
Polóni, Peter; Poliakov, Daniel; Hranický, Radek
2024 - English
Phishingové stránky sú veľmi nebezpečnou hrozbou, čo znamená, že úspešná a spoľahlivá detekcia týchto stránok je veľmi doležitá. Tieto hrozby detekujem s využitím prístupu strojového učenia. Tento prístup je efektívny a dokáže odhaliť aj hrozby, s ktorými sa nikdy predtým nestretol. Ako dôveryhodné zdroje dát URL som využil OpenPhish a PhishTank. Z dôveryhodných URL som nazbieral HTML a JavaScript kód webových stránok. Zber dát som vykonal pomocou programu, ktorý som pre tento účel vytvoril. S využitím vektoru príznakov, ktorý sa skladá z 82 numerických príznakov, som vytvoril štyri klasifikátory. Následne som ich vyladil a experimentálne overil presnosť ich predikcií. Najpresnejší model je XGBoost klasifikátor, ktorý dosiahol vyváženú presnosť až 97.03% a FPR 2.22%, počas predikovania dát, ktoré nikdy predtým nevidel. Výsledky ukazujú, že tento prístup detekcie je schopný identifikovať phishingovú stránku aj v praxi. Toto som overil aj implementovaním webového rozšírenia pre prehliadač Chrome, ktoré detekuje phishigové stránky. Toto rozšírenie je vytvorené nad rámec zadania. Phishing web pages are a very dangerous threat, which means that successful and reliable detection of these pages is essential. I detect these threats by utilizing a machine learning based approach. This approach is effective and can detect even threats it has never encountered. As credible sources of URLs, I used sources like OpenPhish and PhishTank. I gathered the HTML and JavaScript code of web pages from the trusted URLs by utilizing a data-gathering program that I created. Using the feature vector composed of 82 numerical features, I created four classifiers. Then, I tuned and experimentally tested the performance of these classifiers. The best-performing model is the XGBoost classifier, which achieved a balanced accuracy score of 97.03% and a false positive rate of 2.22% while making predictions on previously unseen data. Results show that this detection approach can identify phishing web pages even in a non-training environment, which I verified by implementing a phishing-detecting web extension for the Chrome browser. Implementing this extension is beyond the scope of the assignment of this thesis.
Keywords:
HTML; JavaScript; dataset; gathering data; machine learning; phishing detection; HTML; JavaScript; dátová sada; zber dát; strojové učenie; detekcia phishingu
Available in a digital repository NRGL
Detekce phishingových stránek pomocí metod strojového učení
Phishingové stránky sú veľmi nebezpečnou hrozbou, čo znamená, že úspešná a spoľahlivá detekcia týchto stránok je veľmi doležitá. Tieto hrozby detekujem s využitím prístupu strojového učenia. Tento ...
Generování kódu z textového popisu funkcionality
Zobal, Ondřej; Nosko, Svetozár; Smrž, Pavel
2024 - English
Tato práce se zabývá vývojem rozšíření do editoru Visual Studio Code, které pomůže vývojářům udržet kvalitu kódu jazyka Python 3. Rozšíření poskytuje možnost generování komentářů a docstringů, návrhu nových jmen proměnných. Rozšíření využívá velké jazykové modely Transformer s řídkou pozorností pro zpracování výsledků. Výsledky bohužel nekonkurují současné konkurenci, jakou je například GPT-3.5-turbo. This thesis is concerned with the development of an extension for the Visual Studio Code editor that helps developers maintain code quality in Python 3 by generating comments and docstrings and suggesting new names for variables. The extension was also supposed to include a bug fixing system, but unfortunately it failed to become effective. The system uses large Transformer language models with sparse attention for processing results. Unfortunately, the results do not compete with current competition such as GPT-3.5-turbo.
Keywords:
machine learning; natural language processing; ML; NLP; code refinement; comment generation; refactoring; Longformer; PLBART; Visual Studio Code; extension; strojové učení; zpracování přirozeného jazyka; ML; NLP; zlepšení kódu; generování komentářů; refaktorizace; Longformer; PLBART; Visual Studio Code; rozšíření
Available in a digital repository NRGL
Generování kódu z textového popisu funkcionality
Tato práce se zabývá vývojem rozšíření do editoru Visual Studio Code, které pomůže vývojářům udržet kvalitu kódu jazyka Python 3. Rozšíření poskytuje možnost generování komentářů a docstringů, návrhu ...
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Večeřa, Tomáš; Mašek, Jakub; Lazar, Václav
2024 - English
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena rešerše existujících zařízení z veřejně dostupných zdrojů. Výstup teoretické části je seznam celkem sedmnácti požadavků, které musí výsledné zařízení splňovat. V praktické části je vytvořen seznam všech systémů, vstupujících do zařízení a následně je vytvořen detailní model zařízení. Zařízení se skládá z vakuové komory a vnitřního aparátu, ve kterém probíhá daný test. Na závěr je vyhodnoceno splnění všech stanovených požadavků a je představen testovací plán. This master thesis deals with the design of a testing device outgassing properties of materials. In the research part, standards dealing with this topic are described and research of existing devices from publicly available sources is carried out. The output of the theoretical part is a list of a total of seventeen requirements that the resulting device must meet. In the practical part, a list of all systems entering the device is created and then a detailed model of the device is created. The device consists of a vacuum chamber and an inner apparatus in which the test takes place. Lastly, the fulfillment of all set requirements is evaluated, and a test plan is presented.
Keywords:
Outgassing; TML; CVCM; outgassing testing; vacuum testing; vacuum chamber; design; space; vacuum; Odplyňování; TML; CVCM; testování odplyňování; testování ve vakuu; vakuová komora; design; vesmír; vakuum
Available in a digital repository NRGL
Vývoj infrastruktury pro testování materiálů při působení vakua – outgassing
Tato diplomová práce se zabývá návrhem testovacího zařízení pro testování odplyňování (outgassing) materiálů. V teoretické části jsou popsány standarty zabývající se danou tématikou a je provedena ...
Zlepšování interpretu GraalPy
Hrbáč, Adam; Smrčka, Aleš; Kozák, David
2024 - English
GraalPy je implementace jazyka Python pro Java Virtual Machine (JVM), určená pro její vkládání do Java aplikací. Do existujícího kódu Javy lze takto přidávat Python balíčky třetích stran. GraalPy také, ve srovnání s CPython jako referenční implementací Pythonu, často dosahuje vyššího výkonu. Tato práce realizuje dvě významné funkce Pythonu v GraalPy. První, kterou je API pro asynchronní programování, jedna z posledních hlavních funkcí jazyka Python co v GraalPy chyběla, a která se využívá hlavně pro programování webových aplikací, kde umožňuje psaní souběžného kódu bez potřeby vláken použitím takzvaného barevného asynchronního programování, kde programátor musí explicitně anotovat možné změny toku programu. Obsahuje dvě části, knihovnu pro smyčky událostí, v případé této práce asyncio, a syntax pro anotaci změn toku. Druhou funkcí v této práci je trasovací API, tedy API CPythonu pro implementaci ladících nástrojů, nástrojů pro pokrytí kódu testy, apod. Funguje pomocí analýzy bajtkódu Pythonu při kterém se vyhodnocuje zda je spouštěn nový řádek, a pokud ano, je pro něj zavoláno nakonfigurované zpětné volání. Pokud běžící kód vrátí hodnotu, zavolá funkci nebo vyhodí výjimku, použije se znovu toto zpětné volání, což umožní ladícímu nástroji nastavit pro takovouto událost body přerušení. Obě tyto funkce jsou součástí vydané verze GraalPy a mají významný přínos pro kompatibilitu s balíčky třetích stran. GraalPy is a Python implementation for the Java Virtual Machine, designed for easy embedding into Java applications. Such embedding is primarily useful for adopting 3rd party Python packages in existing Java codebases. GraalPy also often has greater performance compared to CPython, the canonical implementation of Python. This work implements two major features. First, the async API, one of the last major missing Python features in GraalPy, used primarily for web development, allowing writing concurrent code without parallelism, using so-called colored async, where each context switch point must be explicitly annotated. It is composed of two major parts, a library providing an event loop, asyncio in this work, as well as the syntactic components of Python, providing the way with which to indicate context switches. The second feature is the tracing API, a CPython API for implementing Python debuggers, used by integrated debuggers in IDEs, coverage tools, etc. It works by analyzing the Python bytecode in order to determine whether a new line is being executed, and if so, invokes a registered callback. This callback is also used when returning a value, calling a function and raising an exception, allowing a debugger to set a breakpoint for these events. Both features are part of the GraalPy releases and have had a notable benefit to compatibility with 3rd party packages.
Keywords:
Python; async; debugger; GraalPy; Python; async; debugger; GraalPy
Available in a digital repository NRGL
Zlepšování interpretu GraalPy
GraalPy je implementace jazyka Python pro Java Virtual Machine (JVM), určená pro její vkládání do Java aplikací. Do existujícího kódu Javy lze takto přidávat Python balíčky třetích stran. GraalPy ...
Integrace FedCM API do systému Keycloak
Vacek, Šimon; Rychlý, Marek; Burget, Radek
2024 - English
Kvůli obavám o bezpečnost, důvěryhodnost a kvůli probíhajícím změnám v bezpečnosti dochází ve webových prohlížečích k zákazu cookies třetích stran. Ty hrají klíčovou roli při federování identit uživatelů v aplikacích jednotného přihlášení, proto se vyvíjí jednotné řešení s důrazem na ochranu soukromí. Federated Credential Management API je v tuto chvíli navržené a prozatím nestandardizované řešení. Tato práce se zabývá implementací specifikace tohoto API do Cloud Native Computing Foundation inkubačního projektu Keycloak. Jde o aplikaci jednotného přihlášení s otevřeným zdrojovým kódem, jejíž hlavní přispěvatel je firma Red Hat. OpenID Connect a OAuth 2.0 jsou popsány společně s tím jak fungují dohromady s FedCM a všemi jeho rozšířeními. Výsledek je implementován jako rozšíření rozhraní poskytovatele služeb Keycloaku. Because of security concerns, trustworthiness, and ongoing privacy-oriented changes, third-party cookies are to be phased out in web browsers. These play a key role in federating user identities in single sign-on applications, so a unified solution with a focus on preserving privacy is being developed. The Federated Credential Management API is the proposed solution; at this time, it is not yet standardized. This thesis deals with implementing the specification of this API to a Cloud Native Computing Foundation incubating project Keycloak. It is an open source single-sign-on application with Red Hat as the main contributor. The OpenID Connect and OAuth 2.0 are discussed together with how they work together with FedCM and all of its extensions. The result is implemented as a service provider interface extension to Keycloak.
Keywords:
Keycloak; single sign-on; third-party cookies; FedCM; federated identity; user identity; social login; Keycloak; jednotné přihlášení; cookies třetích stran; FedCM; federovaná identita; identita uživatele; sociální přihlášení
Available in a digital repository NRGL
Integrace FedCM API do systému Keycloak
Kvůli obavám o bezpečnost, důvěryhodnost a kvůli probíhajícím změnám v bezpečnosti dochází ve webových prohlížečích k zákazu cookies třetích stran. Ty hrají klíčovou roli při federování identit ...
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases