Number of found documents: 3862
Published from to

Vliv tepelných fluktuací na stabilitu samouspořádaných Casimirových mikrodutin
Hošková, Michaela; Antosiewicz, Tomasz; Shegai, Timur
2024 - English
Casimir self-assembly (CaSA) je interdisciplinární obor, který kombinuje koloidní chemii, nanofotoniku a kvantovou elektrodynamiku. Při pokojové teplotě ve vodných roztocích se mikronové vločky samy sestavují a vytvářejí Fabry-Pérotovy rezonátory s laditelnou optickou odezvou ve viditelném spektrálním rozsahu. Navzdory nedávným pokrokům chybí přímé důkazy spojující tyto systémy s kvantovými efekty. V této studii byly k řešení tohoto problému použity experimentální a teoretické techniky zkoumající vliv teplotních fluktuací (TF) na tyto systémy. K měření TF a experimentálnímu mapování Casimirova elektrostatického potenciálu byla použita optická mikroskopie a reflexní spektroskopie, zatímco pravděpodobnostní model zahrnující Boltzmannův faktor poskytl teoretická vysvětlení interakčního potenciálu. Tento přístup potvrzuje přítomnost kvantově atraktivní Casimirovy síly v dutinách a odhaluje mechanismy stability a limity laditelnosti CaSA v roztocích povrchově aktivních látek a solí. Dále tato studie představuje novou optickou metodu pro analýzu interakcí v nanoměřítku a rozšiřuje potenciál aplikací CaSA v pokročilých nanofotonických systémech a koloidní a polaritonické chemii. Casimir self-assembly (CaSA) is an interdisciplinary field that combines colloid chemistry, nanophotonics, and quantum electrodynamics. At room temperature in aqueous solutions, the micron flakes self-assemble to form Fabry-Pérot resonators with a tunable optical response in the visible spectral range. Despite recent advances, direct evidence linking these systems to quantum effects has been lacking. In this study, experimental and theoretical techniques investigating the effect of thermal fluctuations (TF) on these systems were used to address this issue. Optical microscopy and reflection spectroscopy were used to measure TF and experimentally map the Casimir-electrostatic potential, while a probabilistic model involving the Boltzmann factor provided theoretical explanations of the interaction potential. This approach confirms the presence of a quantum attractive Casimir force within the cavities and reveals the stability mechanisms and limits of CaSA tunability in surfactant-salt solutions. In addition, this study introduces a new optical approach for analyzing nanoscale interactions and broadens the potential of CaSA applications in advanced nanophotonic systems and colloidal and polaritonic chemistry. Keywords: Casimir effect; self-assembly; thermal fluctuations; Lifshitz formalism; quantum trapping; surfactant-salt solution; surface charge density.; Casimirův jev; samouspořádání; tepelné fluktuace; Lifshitzův formalismus; kvantové zachycení; roztok povrchově aktivní látky a soli; hustota povrchového náboje. Available in a digital repository NRGL
Vliv tepelných fluktuací na stabilitu samouspořádaných Casimirových mikrodutin

Casimir self-assembly (CaSA) je interdisciplinární obor, který kombinuje koloidní chemii, nanofotoniku a kvantovou elektrodynamiku. Při pokojové teplotě ve vodných roztocích se mikronové vločky samy ...

Hošková, Michaela; Antosiewicz, Tomasz; Shegai, Timur
Vysoké učení technické v Brně, 2024

Financial time series analysis based on innovative Machine Learning Signal Processing approaches
Tshiangomba, Reagan Kasonsa; Sehnalová, Pavla; Cicone, Antonio
2024 - English
Prognózování finančních časových řad bylo klasifikováno jako jeden z nejnáročnějších problémů v v posledním desetiletí kvůli jeho nestacionaritě a nelineárním vlastnostem. Na jednu stranu statistická techniky byly shledány neschopnými přesně předpovídat finanční časové řady. Na druhé straně techniky strojového učení dosáhly pozoruhodných výsledků, ale neposkytují explicitní způsob zacházení s nestacionární vlastností finančních časových řad. Navrhovaný přístup využívá schopnosti dekompozičních technik zpracování signálu k řešení nestacionární vlastnost finančních časových řad. Použitá technika rozkladu signálu v této práci je iterativní filtrování (IF), které generuje funkce vnitřního režimu (IMF). Tyto generované IMF spolu s původním signálem se používají k vytvoření časově-frekvenční reprezentace finanční časové řady zvané IMFogram. Dva typy údajů, jmenovitě MMF a IMFogram, se používají k trénování fúzní neuronové sítě pro predikci finančních časových řad. Jeden záznam součástí fúzní neuronové sítě je umělá neuronová síť (ANN), která bere jako MMF vstup. Další vstupní složkou fúzní neuronové sítě je konvoluční neuronová síť (CNN), která bere jako vstup IMFogram. Výstupy ANN a CNN jsou zřetězeny pro regresní úlohu. Ukážeme aplikaci tohoto nově vyvinutého přístupu k finančním datům, Abych byl přesný, série NASDAQ. A podáváme zprávy o jeho výkonu v různých scénářích hranic podmínky. Forecasting financial time series has been classified as one of the most challenging problems in the last decade due to its non-stationarity and non-linear properties. On one hand, statistical techniques have been found incapable of accurately predicting financial time series. On the other hand, machine learning techniques have achieved remarkable results, but they do not provide an explicit way of handling the non-stationarity property of financial time series. The proposed approach leverages the capabilities of signal processing decomposition techniques to address the non-stationarity property of financial time series. The signal decomposition technique employed in this work is iterative filtering (IF), which generates intrinsic mode functions (IMFs). These generated IMFs, along with the original signal, are used to produce a time-frequency representation of the financial time series, called IMFogram. Two types of data, namely the IMFs and IMFogram, are utilized to train a fusion neural network for predicting the financial time series. One entry component of the fusion neural network is an artificial neural network (ANN) taking the IMFs as input. The other entry component of the fusion neural network is a convolutional neural network (CNN), which takes the IMFogram as input. The outputs of the ANN and the CNN are concatenated for a regression task. We show the application of this newly developed approach to financial data, NASDAQ series to be precise. And we report its performance in different scenarios of boundary conditions. Keywords: Artificial neural network (ANN); Convolutional neural network (CNN); Fusion Neural Network; Iterative Filtering (IF); Intrinsic Mode Functions (IMFS); IMFogram; symmetric extension; asymmetric extension; Time series; Umělá neuronová síť (ANN); konvoluční neuronová síť (CNN); fúzní neuronová síť; iteraktivní filtrování (IF); funkce vnitřního režimu (IMFS); IMFogram; symetrické rozšíření; asymetrické prodloužení; Časová řada Available in a digital repository NRGL
Financial time series analysis based on innovative Machine Learning Signal Processing approaches

Prognózování finančních časových řad bylo klasifikováno jako jeden z nejnáročnějších problémů v v posledním desetiletí kvůli jeho nestacionaritě a nelineárním vlastnostem. Na jednu stranu statistická ...

Tshiangomba, Reagan Kasonsa; Sehnalová, Pavla; Cicone, Antonio
Vysoké učení technické v Brně, 2024

Aplikace pro detekci Fake News
Zádrapa, Jan; Holop, Patrik; Malinka, Kamil
2024 - English
Problém Fake News je aktuálně jeden z největších problémů moderní společnosti. Miliony lidí denně konzumují zavádějící informace a ani o tom nemusí vědět. Tento problém způsobuje riziko po celém světě, protože přispívá k polarizaci společnosti a ovlivňuje volby pomocí propagandy. Bohužel, zatím není vytvořen dostatek spolehlivých automatizovaných nástrojů pro český jazyk, které by dokázaly tento problém řešit. Tato práce má za cíl takovýto nástroj vytvořit a tím pomoci lidem, kteří denně propadají Fake News. The problem of Fake News is one of the most significant problems in our modern society. Millions of people read Fake News articles every day without knowing it. This problem creates a risk worldwide as society is getting polarised, and elections are manipulated by third parties using propaganda. Unfortunately, there are not enough tools to help solve the problem of Fake News detection in the Czech language. This thesis aims to create a tool to help these people recognise Fake News and introduce them commonly used manipulation techniques in text. Keywords: Fake News; disinformation; BERT; RoBERTa; natural language processing; machine learning; manipulation techniques; sentimental analysis; Fake News; dezinformace; BERT; RoBERTa; zpracování přirozeného jazyka; strojové učení; manipulativní techniky; sentimentální analýza Available in a digital repository NRGL
Aplikace pro detekci Fake News

Problém Fake News je aktuálně jeden z největších problémů moderní společnosti. Miliony lidí denně konzumují zavádějící informace a ani o tom nemusí vědět. Tento problém způsobuje riziko po celém ...

Zádrapa, Jan; Holop, Patrik; Malinka, Kamil
Vysoké učení technické v Brně, 2024

Analýza chování malwaru pomocí velkých jazykových modelů
Rádsetoulal, Vlastimil; Homoliak, Ivan; Očenášek, Pavel
2024 - English
Táto práca skúma využitie veľkých jazykových modelov (LLMs) vylepšených technikou Retrieval-Augmented Generation (RAG) pre efektívnu analýzu správania malvéru. Začína prehľadom metód analýzy malvéru, ako statických tak dynamických. Štúdia sa zameriava na využitie rámca MITRE ATT&CK na pochopenie správania malvéru veľkým jazykovým modelom. Jadro výskumu sa zameriava na architektúru a implementáciu nástroja na analýzu správania malvéru, ktorý implementuje RAG s využitím LLMs. Tento nástroj má za cieľ pomôcť profesionálom v oblasti bezpečnosti využívať možnosti generatívnej AI na interpretáciu komplexného správania malvéru. Okrem toho, výskum zahŕňa praktické nasadenie systému pre správu bezpečnostných informácií a udalostí (SIEM), pričom využíva platformu Wazuh na detekciu simulovaných útokov. Nasadenie a testovanie prebiehajú v kontrolovanom virtuálnom prostredí. Práca poukazuje na potenciál LLM modelov pri zlepšovaní opatrení v kybernetickej bezpečnosti. Práca končí diskusiou o možných vylepšeniach implementovaného nástroja. This thesis investigates the use of large language models (LLMs) enhanced with Retrieval-Augmented Generation (RAG) techniques to analyze malware behaviors effectively. Starting with an overview of malware analysis methods, both static and dynamic, the study delves into the use of the MITRE ATT&CK framework to understand and categorize malware strategies. The core of the research focuses on the architecture and implementation of a malware behavior analysis tool that integrates RAG with LLMs. This tool aims to aid security professionals leveraging generative AI's capabilities to interpret complex malware behaviors. Additionally, the research includes a practical deployment of the Security Information and Events Management (SIEM) system, using the Wazuh platform to detect simulated adversarial behaviors. The deployment and testing are done in a controlled virtual environment, highlighting the potential of LLMs in enhancing cyber security measures. The thesis concludes with recommendations for future enhancements and the potential expansion of generative AI applications in cyber security. Keywords: large; language; models; malware; behavior; analysis; detection; velké; jazykové; modely; malware; analýza; chování; detekce Available in a digital repository NRGL
Analýza chování malwaru pomocí velkých jazykových modelů

Táto práca skúma využitie veľkých jazykových modelov (LLMs) vylepšených technikou Retrieval-Augmented Generation (RAG) pre efektívnu analýzu správania malvéru. Začína prehľadom metód analýzy malvéru, ...

Rádsetoulal, Vlastimil; Homoliak, Ivan; Očenášek, Pavel
Vysoké učení technické v Brně, 2024

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 ...

Večeřa, Tomáš; Mašek, Jakub; Lazar, Václav
Vysoké učení technické v Brně, 2024

Fyzika magnetického polárního kruhu v umělém spinovém ledu na čtvercové mřížce
Ondříšková, Martina; Lacour, Daniel; Rougemaille, Nicolas
2024 - English
Za specifických okrajových podmínek vykazuje tento model ledu na čtvercové mřížce fázovou separaci s neuspořádaným jádrem a uspořádanou vnější oblastí, známou jako jev ’polárního kruhu’. Inspirováni nedávnými experimentálními realizacemi s využitím programovatelných mřížek se snažíme pozorovat a zkoumat tyto vlastnosti ve čtvercové mřížce interagujících nanomagnetů, dosáhnout doménových okrajových podmínek (DWBC) nezbytných pro arktický kruh a zkoumat jejich celkový dopad na systém. V této práci použijeme mikroskopii magnetických sil na litograficky vyrobených mřížkách k přímému pozorování topologické povahy Coulombovy fáze a mechanismu segregace monopólu. S využitím inovativního přístupu budeme konstruovat okrajové podmínky mřížky prostřednictvím specifického zapojení nanomagnetů na okrajích. Naše práce se zaměří nejen na spinově kapalnou povahu neuspořádané oblasti uvnitř arktické křivky a segregaci monopólu podle magnetického náboje a momentu, ale také na šíření omezení z DWBC a jejich celkový dopad na systém. Under specific boundary conditions, the square ice model exhibits phase separation, with a disordered core and an ordered outer region, known as the ’arctic circle’ phenomenon. Inspired by recent experimental realizations using programmable lattices, we aim to observe and investigate these properties in a square lattice of interacting nanomagnets, achieving the domain wall boundary conditions (DWBC) necessary for the arctic circle and exploring their overall impact on the system. In this work, we will use magnetic force microscopy on lithographically fabricated arrays to directly observe the topological nature of the Coulomb phase and the monopole segregation mechanism. Employing an innovative approach, we will engineer the boundary conditions of the lattice through specific wiring of the nanomagnets at the edges. Our work will not only focus on the spin liquid nature of the disordered region within the arctic curve and monopole segregation by magnetic charge and moment but also on the propagation of constraints from the DWBC and their overall impact on the system. Keywords: Artificial spin ice; artificial magnetic spin systems; square lattice; vertex model; magnetic force microscopy; Coulombic spin liquid; magnetic arctic circle; domain wall boundary conditions.; Umělé systémy spinového ledu; umělé magnetické spinové systémy; čtvercová mřížka; vertex modely; mikroskopie magnetických sil; Coulombická spinová kapalina; magnetický polární kruh; doménové okrajové podmínky. Available in a digital repository NRGL
Fyzika magnetického polárního kruhu v umělém spinovém ledu na čtvercové mřížce

Za specifických okrajových podmínek vykazuje tento model ledu na čtvercové mřížce fázovou separaci s neuspořádaným jádrem a uspořádanou vnější oblastí, známou jako jev ’polárního kruhu’. Inspirováni ...

Ondříšková, Martina; Lacour, Daniel; Rougemaille, Nicolas
Vysoké učení technické v Brně, 2024

Mezinárodní marketingová strategie vybraného podniku
Knechtová, Natalie; Zich, Robert; Chlebovský, Vít
2024 - English
Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, důkladně vysvětlí existující problémy, a nakonec navrhne nové marketingové aktivity pro společnost expandující na mezinárodní trh. The focus of this diploma thesis is a conducting marketing plan for a selected company entering a foreign market. The author will provide the essential theoretical foundation of the thesis, examine the current market condition, providing a thorough explanation of the existing challenges, and ultimately suggest new marketing activities for a company expanding internationally. Keywords: international marketing plan; marketing strategy; online marketing; Germany; tattoo; mezinárodní marketingový plán; marketingová strategie; online marketing; Německo; tetování Available in a digital repository NRGL
Mezinárodní marketingová strategie vybraného podniku

Záměrem této diplomové práce je provedení marketingového plánu pro vybranou společnost vstupující na zahraniční trh. Autorka uvede základní teoretická východiska práce, prozkoumá současný stav trhu, ...

Knechtová, Natalie; Zich, Robert; Chlebovský, Vít
Vysoké učení technické v Brně, 2024

Automatizace vyhledávání abnormalit z tomografických dat
Semerák, Petr; Zemek, Marek; Bazala, Jiří
2024 - English
Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování jejímž výstupem jsou obrazová data. Cílem práce je nahradit zdlouhavý proces ručního procházení dat spolehlivou algoritmizovatelnou metodou a ověřit, zda je tento směr vývoje perspektivní. V teoretické části se práce zabývá chladícími systémy v automobilech, nedestruktivním testování s těžištěm v CT technologii a rešerší softwarů pro prohlížení a analýzu CT dat. Praktická část diplomové práce se zaměřuje na problematiku ucpaných kanálků gascoolerů. Jsou popsány příčiny vzniku této abnormality, dosavadní přístup k jejímu odhalení a nový automatický přístup kontroly. Navržený algoritmus spolu s aplikaci vytvořenou pomocí Matlabu jsou testovány na konkrétních datech. Spolehlivost výsledků je v závěru porovnávána ručním hodnocením CT snímků. Pro hodnocení kvality obrazových dat je trénována hluboká neuronová síť. The presented thesis concerns the automation of the process of scanning and evaluating abnormalities of gascoolers that occur during their production. Non-destructive testing employs CT scanning technology, which generates image data as an output. The objective of the work is to replace the time-consuming manual data scanning process with a reliable algorithmic method and to assess the potential of this direction of development. The theoretical part of the thesis deals with cooling systems in cars, non-destructive testing with a focus on CT technology and a search for software for viewing and analysing CT data. The practical part of the thesis focuses on the problem of clogged gascooler ducts. The causes of this abnormality, the current approach to its detection and a new automatic inspection approach are described. The proposed algorithm together with an application developed using Matlab are tested on concrete data. Finally, the reliability of the results is evaluated by manual inspection of the CT images. A deep neural network is trained to assess the quality of the image data. Keywords: Gascooler; X-Ray micro computed tomography; CT; Image processing; Fourier transform; Gascooler; rentgenová počítačová tomografie; CT; zpracování obrazu; Fourierova transformace Available in a digital repository NRGL
Automatizace vyhledávání abnormalit z tomografických dat

Předložená diplomová práce se zabývá automatizací procesu skenování a vyhodnocování abnormalit gascoolerů, které vznikají při jejich výrobě. Nedestruktivní testování využívá technologii CT skenování ...

Semerák, Petr; Zemek, Marek; Bazala, Jiří
Vysoké učení technické v Brně, 2024

Dělení textu do logických celků
Kostelník, Martin; Kišš, Martin; Beneš, Karel
2024 - English
Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich vyhledávačů používaných knihovníky a vědci. Práce zahrnovala vytvoření a anotace vlastní datové sady složené celkem z 4044 stránek z knih, slovníků a novin. K problému segmentaci textu je přistoupeno inovativních přístupem, kdy je brán jako shlukovací problém jednotlivých řádků textu. Metoda je dvoufázová: nejprve probíhá detekce regionů textu pomocí modelu YOLOv8 a následuje jejich spojení grafovou neuronovou sítí. Vyhodnocení je provedeno pomocí shlukovací metriky V-measure a na testovacím datasetu dosahuje hodnot 77.93 % pro knihy, 95.79 % pro slovníky a 90.23 % pro noviny. The goal of this project is the topic segmentation of text into coherent units. It builds on the PERO-OCR software, aiming to improve the processing of Czech historical documents and information retrieval for librarians and scientists. This included the creation and annotation of a custom dataset comprised of 4044 pages from books, dictionaries, and periodicals. I propose an innovative approach treating segmentation as a line clustering problem. The method involves a two-stage process: initial detection of regions of interest containing text lines using the YOLOv8 model, followed by joining them using a graph neural network. This method achieves a V-measure of 77.93 %, 95.79 % and 90.23 % for books, dictionaries and periodicals, respectively. Keywords: text segmentation; machine learning; optical character recognition; OCR; language models; graph neural networks; object detection; BERT; YOLOv8; historical documents; segmentace textu; strojové učení; optické rozpoznávání znaků; OCR; jazykové modely; grafové neuronové sítě; detekce objektů; BERT; YOLOv8; historické dokumenty Available in a digital repository NRGL
Dělení textu do logických celků

Cílem projektu bylo vytvořit systém pro automatickou segmentaci textu do logických celků. Práce staví na systému PERO-OCR a cílí na zlepšení zpracovávání českých historických dokumentů a jejich ...

Kostelník, Martin; Kišš, Martin; Beneš, Karel
Vysoké učení technické v Brně, 2024

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 ...

Šedý, Michal; Češka, Milan; Holík, Lukáš
Vysoké učení technické v Brně, 2024

About project

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

http://www.techlib.cz

Facebook

Other bases