Ne (10759)
Počet nalezených dokumentů:
10759
Publikováno od
do
Dělení textu do logických celků
Kostelník, Martin; Kišš, Martin; Beneš, Karel
2024 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 ...
Porovnání výpočetních možností open source a komerčního nástroje pro CFD analýzu profilů
Řezníček, Tomáš; Zikmund, Pavel; Popela, Robert
2024 - anglický
Cílem této práce je zjistit schopnosti open-source a komerčních CFD balíků a použít tuto znalost k porovnání jejich využití při analýze aerodynamických profilů ve dvourozměrném prostoru. CFD kody vybrané pro tento účel byly open-source software OpenFOAM a komerční software ANSYS Fluent. Veškeré simulace byly doprovázeny a porovnávány s měřením z aerodynamického tunelu. The purpose of this study is to explore the capabilities of an open-source and commercial CFD solutions, and use that knowledge to compare their use in analyzing airfoils in two-dimensional space. The solutions selected for this purpose were the open-source software OpenFOAM and a commercial product ANSYS Fluent. All simulations are supported and compared to wind tunnel measurements.
Klíčová slova:
CFD; Computational Fluid Dynamics; OpenFOAM; ANSYS; Fluent; Mesh; Lift coefficient; Drag coefficient; Pitching moment coefficient; Wind tunnel; Airfoil; LS-0413; GA(W)-1; CFD; OpenFOAM; ANSYS; Fluent; Výpočetní sít; Koeficient vztlaku; Koeficient odporu; Koeficient klopného momentu; Větrný tunel; Profil; LS-0413; GA(W)-1
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Porovnání výpočetních možností open source a komerčního nástroje pro CFD analýzu profilů
Cílem této práce je zjistit schopnosti open-source a komerčních CFD balíků a použít tuto znalost k porovnání jejich využití při analýze aerodynamických profilů ve dvourozměrném prostoru. CFD kody ...
Využití opakujících se podstruktur pro efektivní reprezentaci automatů
Šedý, Michal; Češka, Milan; Holík, Lukáš
2024 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 ...
Optimalizace difuzoru vodní turbíny s využitím adjoint řešiče
Pham, Jakub; Štefan, David; Rudolf, Pavel
2024 - anglický
Tato práce se zabývá tvarovou optimalizací difuzoru vírového generátoru, který napodobuje oběžné kolo Francisovy turbíny. Optimalizace je založena na použití adjoint řešiče v programu ANSYS Fluent. Hlavním cílem bylo potlačení vírového copu v mimooptimálních režimech. Byla vytvořena metodika iterativní optimalizace pro adjungovaný řešič. Cílová funkce pro adjungovaný řešič byla zvolena s cílem minimalizovat moment hybnosti proudění kolem osy difuzoru. Byl představen a analyzován nový návrh difuzoru. Poté bylo provedeno srovnání chování vírového copu a proudového pole uvnitř nového a starého návrhu difuzoru. Bylo zjištěno, že optimalizace tvaru nevedla k žádnému významnému zlepšení chování vírového copu, přičemž energie vírového copu se pouze přenesla dále od náboje vírového generátoru. V závěru této práce byla formulována doporučení pro budoucí metody zmírnění vírového copu. This work deals with the shape optimization of the draft tube of a swirl generator that mimics the runner of a Francis turbine. The optimization is based on the use of the adjoint solver in ANSYS Fluent. The primary objective was to suppress the vortex rope in off-design regimes. An iterative optimization methodology for the adjoint solver was established. The objective function for the adjoint solver was selected with the goal of minimizing swirl around the diffuser axis. A new diffuser design was presented and analyzed, after which a comparison was made between vortex rope behaviour and flow field characteristics inside the new and old diffuser designs. It was found that shape optimization had not resulted in any significant improvement in vortex rope behaviour, with the energy of the vortex rope being only transferred further away from the hub of the swirl generator. Recommendations for future methods of vortex rope mitigation were made at the conclusion of this work.
Klíčová slova:
vortex rope; shape optimization; adjoint method; CFD; draft tube; diffuser; vírový cop; tvarová optimalizace; adjoint metoda; CFD; savka; difuzor
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Optimalizace difuzoru vodní turbíny s využitím adjoint řešiče
Tato práce se zabývá tvarovou optimalizací difuzoru vírového generátoru, který napodobuje oběžné kolo Francisovy turbíny. Optimalizace je založena na použití adjoint řešiče v programu ANSYS Fluent. ...
Graph Neural Networks in Epilepsy Surgery
Hrtoňová, Valentina; MSc, Daniel Uher,; Filipenská, Marina
2024 - anglický
Ú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
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
HTML; JavaScript; dataset; gathering data; machine learning; phishing detection; HTML; JavaScript; dátová sada; zber dát; strojové učenie; detekcia phishingu
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 ...
Evaluating Reliability of Static Analysis Results Using Machine Learning
Beránek, Tomáš; Fiedor, Jan; Vojnar, Tomáš
2024 - anglický
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení od Meta Inferu pomocí grafových neuronových sítí (GNN) podle pravděpodobnosti, že se jedná o skutečnou chybu, a redukuje tak problém s falešnými hlášeními. Systém se skládá z trénovací části, která převádí datovou sadu D2A – sadu roztříděných hlášení z Meta Inferu – na rozšířené grafy vlastností kódu (ECPG) a z modelů GNN natrénovaných na ECPG grafech. Výsledky experimentů ukazují, že vytvořené modely GNN mohou konkurovat a v některých případech dokonce překonat existující řešení vyvíjené silnými průmyslovými týmy. Tato existující řešení mají navíc uzavřený zdrojový kód, a tak řešení vytvořené v této tezi poskytuje slibnou alternativu s otevřeným zdrojovým kódem. The Meta Infer static analyzer is a tool for detecting various types of errors in source code. However, its results contain more than 95 % of false alarms. This thesis proposes a solution that ranks Infer’s reports using Graph Neural Networks (GNNs) based on the likelihood of being a real error, thus mitigating the issue with false alarms. The system consists of a training pipeline, which converts the D2A dataset – a set of labeled reports from Meta Infer – into Extended Code Property Graphs (ECPGs) and GNN models trained on these ECPGs. Experimental results indicate that the developed GNN models can match, and in some cases even surpass, existing models developed by strong industrial teams. Moreover, these existing solutions are closed source, making the solution developed in this thesis a promising open-source alternative.
Klíčová slova:
Static analysis; Meta Infer; deep learning; graph neural networks; false alarm detection; vulnerability detection; code property graphs; LLVM internal representation; Joern; LLVM Slicer; program slicing; graph representation construction; source code analysis; D2A dataset; graph D2A dataset; extended code property graphs.; Statická analýza; Meta Infer; hluboké učení; grafové neuronové sítě; detekce falešných hlášení; detekce zranitelností; grafy vlastností kódu; interní reprezentace LLVM; Joern; LLVM Slicer; prořezávání programů; konstrukce grafové reprezentace; analýza zdrojového kódu; dataset D2A; grafový D2A; rozšířené grafy vlastností kódu.
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Evaluating Reliability of Static Analysis Results Using Machine Learning
Statický analyzátor Meta Infer je nástrojem pro hledání různých typů chyb ve zdrojovém kódu. Jeho výsledky však obsahují více než 95 % falešných hlášení. Tato teze navrhuje řešení, které řadí hlášení ...
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