No (2748)
Number of found documents:
2748
Published from
to
Minimalistický operační systém s jádrem Linux na USB disku
Struziaková, Lada; Slavíček, Karel; Komosný, Dan
2024 - English
Cílem mé bakalářské práce je vytvořit modifikovaný operační systém Linux založený na distribuci Debian. Předdefinované aplikace, mezi které patří lokální PDF a webový prohlížeč patří mezi požadavky na upravovanou distribuci. Celý systém je uložen na přenosném úložném zařízení, například USB flash disk, a pracuje v režimu pouze pro čtení. Tento režim zajišťuje výmaz veškerých změn provedených při běhu systému s jeho restartem, kromě dat uložených v domovském adresáři uživatelů. Zbylé, nevyužité místo úložného zařízení, je vyhrazeno pro šifrovaný oddíl, který slouží jako bezpečné úložiště pro uživatelská data vytvořena při běhu systému. Zadání práce bylo splněno s využitím funkcí systémové knihovny live-build a postupu pro vytvoření distribuce „od základu“. Došlo k modifikaci zavaděčů (bootloaders), nastavování vnitřních služeb systému (services), vytvoření skriptu pro nastavení systému pomocí live-build knihovny, provedení persistence, a dalších změn. Ačkoliv je práce psaná v anglickém jazyce, systém je připraven pro česky hovořící uživatele. Vytvořené konfigurační skripty a generované ISO obrazy jsou zveřejněny pod MIT licencí dostupné na platformě GitHub. My aim of the bachelor thesis is to create a modified Linux operating system based on the Debian distribution. Predefined applications, including a local PDF viewer and a web browser, are among its requirements. The entire system is stored on a portable storage device, such as a USB flash drive, and operates in read-only mode. This mode ensures that any changes made while the system is running are erased with the system reboot, except for data stored in the users’ home directories. The remaining unused space on the storage device is reserved for an encrypted partition that serves as a se cure storage for user data created. The assignment of the work was fulfilled using the functions of the live-build system library and the procedure to create a “from-scratch” distribution. Modifications were made to bootloaders, setting up internal system ser vices, creating a script to set up the system using the live-build library, implementing persistence, and other changes. Although the thesis is written in English, the system is prepared for Czech-speaking users. The created configuration scripts and generated ISO images are published under the MIT license available on the GitHub platform.
Keywords:
Debian; Encryption; Linux; live-build; Live CD; Live System; Operating System; PaleMoon; Persistence; USB flash drive; Debian; Linux; live-build; Live CD; Live System; Operační systém; Šifrování; PaleMoon; Persistence; USB flash disk
Available in a digital repository NRGL
Minimalistický operační systém s jádrem Linux na USB disku
Cílem mé bakalářské práce je vytvořit modifikovaný operační systém Linux založený na distribuci Debian. Předdefinované aplikace, mezi které patří lokální PDF a webový prohlížeč patří mezi požadavky na ...
Vylepšení syntézy kontrolerů pro POMDP s využitím abstrakce a podobnosti.
Shevchenko, Aleksandr; Macák, Filip; Češka, Milan
2024 - English
Částečně pozorovatelný Markovský rozhodovací proces (POMDP) je důležitým modelem pro autonomní plánování, který se používá v mnoha oblastech, jako je robotika a biologie. Tato práce se zaměřuje na metodu Abstraction-Refinement pro induktivní syntézu konečně stavových kontrolérů (FSC) pro POMDP. Klasická verze AR vyžaduje model checking quotient MDP pro celou množinu kompatibilních akcí podrodiny v každé iteraci. My navrhujeme algoritmus, který využívá dědičné závislosti ke snížení velikosti masky pro quotient MDP a ke zrychlení model checkingu pro podrodiny FSC. Také představujeme chytrou verzi tohoto algoritmu, která zachovává všechny jeho výhody a snižuje jeho slabiny. Během experimentů se ukázalo, že náš přístup také ovlivňuje činnost jiných částí syntézy, jako je např. model building. V závislosti na modelu POMDP, pozorujeme jak zrychlení, tak zpomalení ve srovnání s AR. V průměru naše metoda zrychluje celkovou dobu syntézy 1.2 krát a v některých případech až desetkrát. Partially observable Markov decision process is an important model for autonomous planning used in many areas, such as robotics and biology. This work focuses on the Abstraction-Refinement framework for the inductive synthesis of finite-state controllers (FSCs) for POMDPs. The classic version of AR requires model checking of a quotient MDP for an entire set of compatible choices of the subfamily in each iteration. We propose an algorithm that uses inheritance dependencies to reduce the size of the quotient MDP’s mask and accelerate model checking for subfamilies of FSCs. We also introduce a smart version of this algorithm, which preserves all its advantages and reduces its weaknesses. During the experiments, it turned out that our approach also affects the operation of other parts of the synthesis, e.g. model building. Depending on the POMDP model, we observe both speedups and slowdowns in comparison to AR. On average, our approach speeds up the overall synthesis time by 1.2 times, and in some cases up to the factor 10.
Keywords:
Partially observable Markov decision process; finite-state controller synthesis; model checking; inheritance dependencies for Markov models; Částečně pozorovatelný Markovský rozhodovací proces; syntéza konečně stavových kontrolérů; model checking; dědičné závislosti pro Markovské modely
Available in a digital repository NRGL
Vylepšení syntézy kontrolerů pro POMDP s využitím abstrakce a podobnosti.
Částečně pozorovatelný Markovský rozhodovací proces (POMDP) je důležitým modelem pro autonomní plánování, který se používá v mnoha oblastech, jako je robotika a biologie. Tato práce se zaměřuje na ...
Odhad orientace kamery z obrazu pomocí metod strojového učení
Kubička, Martin; Polášek, Tomáš; Čadík, Martin
2024 - English
Účel tejto práce je vytvoriť model pomocou sférických konvolučných neuronových sietí, ktorý vie odhadnúť orientáciu kamery z dvoch vstupov, kde prvým vstupom je panoráma a druhým vstupom je fotka, ktorá zachytáva určitú časť panorámy. Inými slovami, úlohou je nájsť kde v panoráme, ktorá tvorí prvý vstup, sa nachádza fotka, ktorá tvorí druhý vstup. Mimo troch vytvorených modelov, ktoré riešia daný problém, vzniklo aj 6 nových datasetov, ktoré rozširujú momentálne dostupný počet datasetov, ktorých fotky sú v equirectangulárnom alebo stereografickom formáte The purpose of this work is to create a model using spherical convolutional neural networks that can estimate the orientation of a camera from two inputs, where the first input is a panorama and the second input is a photograph capturing a specific part of the panorama. In other words, the task is to find where in the panorama, which is the first input, is located the photo, which is the second input. In addition to three created models that address this problem, six new datasets have also been created, which expand the currently available number of datasets whose photos are in equirectangular or stereographic format.
Keywords:
spherical convolutional neural networks; camera orientation estimation; camera pose estimation; semantic segmentation; probability; equirectangular projection; stereographic projection; panorama; sférické konvolučné neurónové siete; odhad orientácie kamery; odhad pózy kamery; sémantická segmentácia; pravdepodobnosť; equirectangulárna projekcia; stereografická projekcia; panoráma
Available in a digital repository NRGL
Odhad orientace kamery z obrazu pomocí metod strojového učení
Účel tejto práce je vytvoriť model pomocou sférických konvolučných neuronových sietí, ktorý vie odhadnúť orientáciu kamery z dvoch vstupov, kde prvým vstupom je panoráma a druhým vstupom je fotka, ...
Mobilní aplikace pro organizaci a sledování úkolů a času
Benčík, Šimon; Hranický, Radek; Rychlý, Marek
2024 - English
Cieľom tejto práce je vyvinúť mobilnú aplikáciu na správu času a úloh, ktorá zlepší orga- nizáciu a produktivitu používateľov. Aplikácia sa opiera o overené metódy nástrojov Time- warrior a Taskwarrior a zároveň rieši problémy s ich synchronizáciou. Umožňuje použí- vateľom efektívne sledovať a označovať časové záznamy za účelom optimalizácie časovej správy. Okrem toho poskytuje komplexné možnosti správy úloh, kde používatelia môžu zadávať úlohy a filtrovať ich podľa kľúčových atribútov ako termíny splatnosti či názvy projektov. Riešenie bolo navrhnuté s predvídavosťou budúcich rozšírení a vyvinuté ako projekt s otvoreným zdrojom, čo uľahčuje jeho priebežné vylepšovanie. The objective of this thesis is to develop a mobile application for time and task management aimed at enhancing user organization and productivity. The application builds upon the proven frameworks of command-line tools Timewarrior and Taskwarrior, and addresses synchronization challenges with these tools. Users of the application can track and tag their time entries to optimize time management. Additionally, the application allows for comprehensive task tracking where users can set and filter tasks by key attributes such as due dates or project names. Designed with future expansion in mind, the solution was developed as an open-source project to facilitate ongoing enhancements.
Keywords:
mobile app; HTTP; server; graphql; docker; android; time management; task management; open source; mobilná aplikácia; HTTP; server; graphql; docker; android; manažment času; manažment úloh; open source
Available in a digital repository NRGL
Mobilní aplikace pro organizaci a sledování úkolů a času
Cieľom tejto práce je vyvinúť mobilnú aplikáciu na správu času a úloh, ktorá zlepší orga- nizáciu a produktivitu používateľov. Aplikácia sa opiera o overené metódy nástrojov Time- warrior a ...
Pokročilý webový nástroj pro správu bezpečnostních korelačních pravidel a kyberbezpečnostních reakcí
Hemza, Martin; Firc, Anton; Malinka, Kamil
2024 - English
Cílem této bakalářské práce je vyvinout pokročilý webový nástroj pro správu bezpečnostních korelačních pravidel a kyberbezpečnostních reakcí, který se zaměřuje na technologie SIEM a SOAR. Důvodem vzniku této práce je absence standardizovaného formátu zdrojů těchto technologií. V rámci práce byly nalezeny právě takovéto formáty a byl vytvořen webový nástroj pro jejich správu a navrhování. Rozhraní pro správu SOAR scénářů zahrnuje vizualizaci ve formě rozhodovacího stromu. Aplikace využívá architekturu mikroslužeb s integrací verzovacího systému Git. Součástí testování byl proveden popis útoku a využití vzniklého nástroje. Vytvořený nástroj umožňuje bezpečnostním analytikům rychle navrhovat a spravovat zdroje pro detekci a odezvě na bezpečnostní hrozby. The aim of this bachelor thesis is to develop an advanced web-based tool for managing security correlation rules and cybersecurity responses, focusing on SIEM and SOAR technologies. The reason for this thesis is the lack of a standardized resource format for these technologies. As part of this work, these formats were found and a web tool was created to manage and design them. The interface for managing SOAR scenarios includes a visualization in the form of a decision tree. The application uses a microservices architecture with integration of the Git versioning system. Testing included a description of an attack and the use of the developed tool. The created tool allows security analysts to quickly design and manage resources for detecting and responding to security threats.
Keywords:
SIEM; SOAR; web application; Vue; Docker; microservice architecture; playbooks; correlation rules; security monitoring.; SIEM; SOAR; webová aplikace; Vue; Docker; architektura mikroslužeb; scénáře; korelační pravidla; bezpečnostní sledování.
Available in a digital repository NRGL
Pokročilý webový nástroj pro správu bezpečnostních korelačních pravidel a kyberbezpečnostních reakcí
Cílem této bakalářské práce je vyvinout pokročilý webový nástroj pro správu bezpečnostních korelačních pravidel a kyberbezpečnostních reakcí, který se zaměřuje na technologie SIEM a SOAR. Důvodem ...
TiledPlanet: generátor herních map
Konderla, Bartosz; Starka, Tomáš; Vlnas, Michal
2024 - English
Práce je zaměřená na procedurální generování sférických map pro tahové strategické hry inspirované herní sérií Civilization. Proces generování byl implementován v herním enginu Unity s použitím různých technik, jako jsou sférické mřížky, šum, Bézierovy křivky, úroveň detailů a výpočetní shadery. Práce také zkoumá mechaniky tahových strategických her související s mapou, jako jsou hledání cest a mlha války. Výsledkem práce je aplikace schopná generovat planetárně vyhlížející mapy, doplněná o nástroj umožňující uživatelské editování map a ukázku základních herních mechanik. Implementace může sloužit jako základ pro vývoj tahových strategických her. The thesis focuses on the procedural generation of spherical maps for turn-based strategy games, drawing inspiration from the Civilization game series. The generation process was implemented in the Unity game engine with the use of various techniques such as spherical grids, noise, Bézier curves, level of detail, and compute shaders. The thesis also explores map-related mechanics of turn-based strategy games such as pathfinding and fog of war. As a result of the thesis, an application capable of generating planet-like looking maps, complemented by a map editor tool, and a demonstration of basic game mechanics was developed. The implemented work can serve as a foundation for the development of turn- based strategy games.
Keywords:
procedural generation; spherical maps; strategy games; map editor; Unity; procedurální generování; sférické mapy; strategické hry; editor map; Unity
Available in a digital repository NRGL
TiledPlanet: generátor herních map
Práce je zaměřená na procedurální generování sférických map pro tahové strategické hry inspirované herní sérií Civilization. Proces generování byl implementován v herním enginu Unity s použitím ...
Blockchain odolný vůči kvantovému útoku
Ľaš, Michal; Perešíni, Martin; Malinka, Kamil
2024 - English
Vývoj kvantových počítačov prináša nové možnosti s ktorými však prichádza aj hrozba v podobe prelomenia súčasne používaných kryptografických algoritmov. Táto hrozba v značnej miere ovplyvňuje aj technológiu blockchain, ktorá pre svoje fungovanie využíva množstvo kryptografických princípov. Cieľom tejto práce ja navrhnúť a implementovať blockchain, ktorý bude aplikovať nové post-kvantové kryptografické algoritmy, ktoré sú odolné aj voči útokom realizovaným kvantovými počítačmi. Podstatou môjho riešenia je analýza častí blockchainu, ktoré sú ohrozené kvantovým útokom, výber vhodných post-kavantových algoritmov a nakoniec ich implementácia v blockchain. Výsledkom tejto práce je hlavne prehľad možných zraniteľností a riešení pre blockchainy v post-kvantovej dobe. Navyše, implementované riešenie porovnáva výkonnosť viacerých post-kvantových aj súčasne používaných algoritmov. Výsledky ukazujú, že post-kvantová kryptografia môže mať významný vplyv na výkonnosť blockchainov. Avšak technológia blockchain bude naďalej použiteľná a určite prežije dobu kvantových počítačov. The development of quantum computers presents new opportunities but also introduces a threat by compromising currently used cryptographic algorithms. This threat significantly impacts blockchain technology, which relies on various cryptographic principles. The objective of this work is to design and implement a blockchain that incorporates new post-quantum cryptographic algorithms resistant to attacks performed by quantum computers. The main part of my solution involves analyzing blockchain components vulnerable to quantum attacks, selecting appropriate post-quantum algorithms, and subsequently implementing them within the blockchain. The result of this work is an overview of blockchain vulnerabilities and their solutions in the post-quantum era. Additionally, the implemented solution compares the performance of multiple post-quantum and currently used algorithms. The results show that post-quantum cryptography can have a significant impact on blockchain performance. However, post-quantum blockchains will still be usable, and they will withstand the era of quantum computers.
Keywords:
blockchain; post-quantum cryprography; quantum threat; post-quantum blockchain; blockchain; kvantovo odolná kryptografia; kvantová hrozba; kvantovo odolný blockchain
Available in a digital repository NRGL
Blockchain odolný vůči kvantovému útoku
Vývoj kvantových počítačov prináša nové možnosti s ktorými však prichádza aj hrozba v podobe prelomenia súčasne používaných kryptografických algoritmov. Táto hrozba v značnej miere ovplyvňuje aj ...
Velké předtrénované jazykové modely v rozpoznávání řeči
Tomašovič, Martin; Polok, Alexander; Beneš, Karel
2024 - English
Táto práca má za cieľ preskúmať, v akých podmienkach veľké jazykové modely vylepšujú prepisy automatického rozpoznávania reči. Konkrétne sa zameriava na preskórovanie n-najlepších hypotéz pomocou maskovaných aj autoregresívnych jazykových modelov. Pomocou nich sa každej hypotéze priradí skóre, ktoré sa následne interpoluje so skórami získanými zo systému prepisu reči. Tento postup som testoval naprieč datasetmi a rôznymi systémami pre prepis reči s rôznym nastavením. Výsledky vykazujú, že preskórovanie znižuje mieru chybovosti hypotéz získaných z modelov Wav2Vec 2.0 a Jasper. Dotrénovanie modelov sa overilo byť veľmi prospešné pri danej úlohe. Menšie dotrénované modely prekonali väčšie nedotrénované pri preskórovaní. Výsledky tejto práce prispievajú k lepšiemu porozumeniu, v akých podmienkach použiť jazykový model (autoregresívny, maskovaný) pri preskórovaní prepisov reči. Táto práca skúma vplyv dotrénovania, normalizácie a rozdelenia skóre z CTC dekodéra, na zníženie miery chybovosti slov. This thesis explores the conditions under which a Large Language Model (LLM) improves Automatic Speech Recognition (ASR) transcription. Specifically, the thesis focuses on n-best rescoring with masked and autoregressive language models. The n-best hypotheses are scored using LLM and then this score is interpolated with the scores from ASR. This approach is tested across different ASR settings and datasets. Results demonstrate that rescoring hypotheses from Wav2Vec 2.0 and Jasper ASR systems reduces the error rate. LLM fine-tuning proves to be very beneficial. Smaller fine-tuned models can surpass larger non-fine-tuned ones. The findings of this thesis broaden the knowledge of the conditions for LLM (autoregressive, masked) utilization in ASR rescoring. The thesis observes the influence of fine-tuning, normalization and separating scores from a CTC decoder on the decrease of word error rate.
Keywords:
automatic speech recognition; n-best rescoring; large language model; masked language modeling; autoregressive language modeling; automatické rozpoznávanie reči; preskórovnaie n-najlepších hypotéz; veľký jazykový model; maskované modelovanie jazyka; autoregresívne modelovanie jazyka
Available in a digital repository NRGL
Velké předtrénované jazykové modely v rozpoznávání řeči
Táto práca má za cieľ preskúmať, v akých podmienkach veľké jazykové modely vylepšujú prepisy automatického rozpoznávania reči. Konkrétne sa zameriava na preskórovanie n-najlepších hypotéz pomocou ...
Forenzní analýza anonymizačních principů kryptoměnových sítí
Hromada, Denis; Zavřel, Jan; Veselý, Vladimír
2024 - English
Při diskusích o kryptoměnách je častým tématem anonymita. Tato práce se věnuje stavebním blokům kryptoměny Bitcoin a jak na ni navazují kryptoměny jako Ethereum a Dash. Dále popisuje, jak a kde se v minulosti i přítomnosti v kryptoměnových sítích ztrácí soukromí a anonymita. Prvně se zaměřuje na anonymitu, respektive její nedostatky v samotném distribuovaném bloko-řetězu. Práce popisuje efekt znovu-využívání adres a shlukovací heuristiku založenou na společných vstupech transakce. Analyzuje je a popisuje nedokonalé aktuální řešení. Dále se práce zaměřuje na anonymitu mimo bloko-řetěz. Tedy na podpůrné služby, které jsou nedílnou součástí funkce kryptoměnových sítí jako jsou kryptoměnové peněženky. Práce diskutuje úschovu klíčů, různé druhy peněženek a jak komunikují s kryptoměnovými sítěmi. Následuje návrh modelu útočníka, jež je schopen odposlouchávat komunikaci uživatele kryptoměnové peněženky. Avšak nedokáže ji měnit. Jsou popsány vlastnosti, schopnosti a očekávaná úskalí takového útočníka. Poté práce věnuje pozornost třem kryptoměnovým peněženkám: Trezor Suite, Ledger Live a Electrum Wallet. Na těchto peněženkách demonstruje výše zmiňované vlastnosti kryptoměnových peněženek v praxi. Na základě všech těchto informací je navržena a implementována aplikace, jež je schopna napomoci uživateli určit, zda zachycený síťový provoz obsahuje komunikaci generovanou kryptoměnovou peněženkou. Nakonec je implementovaná aplikace podrobena testům. Výstupem těchto testů je, že za pomoci implementované aplikace je možné určit, jaká kryptoměnová peněženka byla použita. A to za předpokladu, že zachycený provoz obsahuje komunikaci, jež peněženky generují při jejich prvotním zapnutí. Následuje vyhodnocení práce a její další možné rozšíření. Anonymity is often a key talking point when presenting the concept of cryptocurrencies. This work first focuses on the building blocks of the Bitcoin cryptocurrency and its relationship cryptocurrencies with Ethereum and Dash. Then it looks at known past and present privacy pitfalls. First it focuses on on-chain anonymity and its shortcomings. Namely address reuse and common input clustering. The work then analyzes these shortcomings and their imperfect existing solutions. The work then shifts focus to off-chain anonymity. That is, the supporting services without which cryptocurrency networks could not function like cryptocurrency wallets. It takes a look at key storage, different types of cryptocurrency wallets and how they communicate with cryptocurrency networks. This is followed by the introduction of an attacker model. The attacker is an eavesdropper that can listen to, but cannot manipulate traffic between a cryptocurrency wallet user and a cryptocurrency node. Properties and capabilities of such an attacker follow. The work then takes a look at three cryptocurrency wallets: Trezor Suite, Ledger Live a Electrum Wallet on which it demonstrates the properties described above in practice. An application in designed and implemented based on all the learned knowledge. The goal of this application is to aid a user in determining, whether captured network traffic contains communication generated by a cryptocurrency wallet. Finally the implemented application is subjugated to testing. The result of these tests is, that it is indeed possible to use the application to determine if and which cryptocurrency wallet was used. If the captured traffic contains traffic generated on the initial launch of the cryptocurrency wallet. This is followed by a conclusion and proposition of future work.
Keywords:
Cryptocurrency; Bitcoin; Anonymity; Deanonymization; Computer Networks; Metadata; Eavesdropping; TOR; TLS/SSL; Kryptoměna; Bitcoin; Anonymita; Deanonymizace; Počítačové Sítě; Metadata; Odposlech; TOR; TLS/SSL
Available in a digital repository NRGL
Forenzní analýza anonymizačních principů kryptoměnových sítí
Při diskusích o kryptoměnách je častým tématem anonymita. Tato práce se věnuje stavebním blokům kryptoměny Bitcoin a jak na ni navazují kryptoměny jako Ethereum a Dash. Dále popisuje, jak a kde se v ...
Analýza osteolytických nádorů páteře u pacientů s mnohočetným myelomem na datech z CT
Čurillová, Miriam; Mézl, Martin; Nohel, Michal
2024 - English
Táto bakalárska práca sa zameriava na analýzu osteolytických lézií u pacientov s mnohopočetným myelómom. Prvým krokom k dosiahnutiu nášho cieľa bolo štúdium tohto ochorenia, jeho diagnostických kritérií, možných komplikácií a dostupnej liečby. Praktická časť pozostávala z niekoľkých samostatných úloh. Štatistická analýza bola vykonaná na súbore údajov pozostávajúcom z CT skenov pacientov s diagnostikovaným mnohopočetným myelómom, ako aj osôb bez akejkoľvek patológie chrbtice. Po extrakcii a redukcii počtu príznakov sme dokončili analýzu získaných dát. Dospeli sme k záveru, že existujú príznaky, ktoré sa medzi týmito dvoma skupinami výrazne líšia. Po analýze celých tiel stavcov bola vykonaná analýza lézií na kontrolných snímkach, kde bol analyzovaný ich objem. This bachelor’s thesis focuses on analysis of osteolytic lesions in patients with multiple myeloma. The first step in achieving our goal was to research this disease, its diagnostic criteria, possible complications and available treatment. The practical part consisted of a few individual tasks. A statistical analysis was done on a dataset consisting of CT scans of patients with diagnosed multiple myeloma as well as individuals with no spinal pathologies. After extracting and reducing the number of features, we completed an analysis of obtained data. We came to a conclusion that there are features that vary significantly among the two groups. After analyzing the whole vertebral bodies, analysis of lesions in follow-up scans was completed, where their volume was analyzed.
Keywords:
multiple myeloma; computed tomography; osteolytic lesions; feature extraction; radiomics; statistical analysis; mnohopočetný myelóm; počítačová tomografia; osteolytické lézie; extrakcia príznakov; rádiomika; štatistická analýza
Available in a digital repository NRGL
Analýza osteolytických nádorů páteře u pacientů s mnohočetným myelomem na datech z CT
Táto bakalárska práca sa zameriava na analýzu osteolytických lézií u pacientov s mnohopočetným myelómom. Prvým krokom k dosiahnutiu nášho cieľa bolo štúdium tohto ochorenia, jeho diagnostických ...
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