Yes (36151)
No (25569)
Number of found documents:
61720
Published from
to
Cesta Hora: Panství a přechodová symbolika ve Sporu Hora a Sutecha
Čermák, Michal; Pehal, Martin; Spalinger, Anthony John; Goebs, Katja
2024 - English
Tato studie zkoumá staroegyptský příběh Spor Hora a Sutecha, doložený na papyru Chester Beatty I z Nové říše se zaměřením na jeho složitou symboliku a vztah k soudobému egyptskému náboženskému myšlení a královské ideologii. Věnuje se intertextuálním vazbám mezi příběhem a četnými egyptskými textovými korpusy včetně rituálních textů, pohřebních nápisů, královských inskripcí a literatury. Po této symbolické analýze následuje výklad příběhu jako literárního přechodového rituálu, jehož středobod představuje drama královského nástupnictví, které je v příběhu reprezentováno dospíváním boha Hora. Práce identifikuje prvky jednotlivých fází tohoto procesu, přičemž zvláštní pozornost je věnována liminálnímu aspektu nástupnictví, v němž se různé symbolické vrstvy spojují v jediné vyprávění zaměřené na proměnu prince v krále. Studie v příběhu odhaluje komplexní teologii královského úřadu jako pozemského obrazu boha stvořitele, který v dramatu svého nástupu na trůn subsumuje souhrn vitálních procesů ve vesmíru včetně oživení mrtvých v posmrtném životě a cyklické obnovy celého kosmu. Zkoumání postavy boha Sutecha představuje druhý ústřední prvek práce, která popisuje jeho nezastupitelnou funkci v životním cyklu kralování. Sutech je ukázán jako komplementární kosmický princip k Horovi, a zajišťuje trvalou... The present study explores the Ancient Egyptian tale Contendings of Horus and Seth, attested from the New Kingdom Papyrus Chester Beatty I, with focus on its complex symbolism and relationship to contemporary Egyptian religious thought and royal ideology. Intertextual ties between the tale and multiple Egyptian textual corpora are outlined, including ritual texts, funerary inscriptions, royal inscriptions of various types and literature proper. The symbolic analysis is followed by an interpretation of the story as a literary rite of passage, centred on the drama of royal succession, represented in the tale by the maturation of the god Horus. Elements of individual stages of this process are identified, with particular attention being given to the liminal aspect of succession, in which the various symbolic layers merge into a single narrative focused on the transformation of a prince into a king. The study shows how the tale presents a complex theology of kingship as an earthly image of the creator god, who subsumes in the drama of his ascension to the throne the totality of vital processes in the universe, including the revival of the dead in the afterlife and a cyclic renewal of the whole cosmos. The figure of the god Seth serves as another major focus of the thesis, which describes his...
Keywords:
Arnold van Gennep|Dér el-Medína|Hor|Kruhová kompozice|Liminalita|Maurice Bloch|Mýtus a rituál|Papyrus Chester Beatty I|Pozdně egyptská literatura|Přechodové rituály|Přechodové rituály (Starý Egypt)|Spor Hora a Sutecha|Staroegyptská kosmologie|Staroegyptská literatura|Staroegyptská mytologie|Staroegyptské náboženství|Staroegyptský královský úřad|Sutech|Victor Turner; Ancient Egyptian Cosmology|Ancient Egyptian Kingship|Ancient Egyptian Literature|Ancient Egyptian Mythology|Ancient Egyptian Religion|Arnold van Gennep|Contendings of Horus and Seth|Deir el-Medina|Horus|Late Egyptian Literature|Liminality|Maurice Bloch|Myth and Ritual|Papyrus Chester Beatty I|Ring Composition|Rites of Passage|Rites of Passage (Ancient Egypt)|Seth|Victor Turner
Available in a digital repository NRGL
Cesta Hora: Panství a přechodová symbolika ve Sporu Hora a Sutecha
Tato studie zkoumá staroegyptský příběh Spor Hora a Sutecha, doložený na papyru Chester Beatty I z Nové říše se zaměřením na jeho složitou symboliku a vztah k soudobému egyptskému náboženskému myšlení ...
Experimentální analýza dotazovacích jazyků v moderních databázových systémech
Čorovčák, Martin; Koupil, Pavel; Holubová, Irena
2024 - English
Príchod Vel'kých Dát poukázal na obmedzenia relačných databáz pri spracovanível'kých datasetov, čo viedlo k nárastu NoSQL databáz. Z tohto dôvodu sa DBMS benchmarking stal kl'účovým pre hodnotenie výkonnosti a celkový rozhodovací proces. Táto práca porovnáva relačné (MySQL, SQLite), grafové (Neo4j, ArangoDB), doku- mentové (MongoDB) a stĺpcovo-orientované (Cassandra) databázy. Analyzujeme vyja- drovaciu silu ich dopytovacích jazykov a efektivitu počas behu pri rôznych vel'kostiach dát. Dospeli sme k záveru, že neexistuje žiadne riešenie "číslo jeden" pre všetky prípady použitia. Výber závisíod faktorov, ako je objem dát, zložitost' dopytov a potreba spájania. V prípade zložitých dotazov a častého spájania majú MySQL a SQLite najv̈ačšiu vy- jadrovaciu silu, avšak môžu mat' problémy s vel'mi vel'kými datasetmi. Cassandra a Mon- goDB vynikajú výkonom a škálovatel'nost'ou, ale vyžadujú efektívny návrh schématu a cielenú redundanciu dát. ArangoDB predstavuje univerzálnu možnost', ktorá dokáže pra- covat' s viacerými dátovými modelmi, ale pre hlbšie porovnanie s Neo4j sa môže vyžadovat' d'alší výskum ich výkonu. The rise of Big Data has highlighted the limitations of relational databases while handling large datasets, leading to the growth of NoSQL databases. This has made DBMS benchmarking crucial for performance evaluation and decision-making. This thesis compares relational (MySQL, SQLite), graph (Neo4j, ArangoDB), docu- ment (MongoDB), and column-family (Cassandra) databases. We analyze the expressive power of their query languages and their runtime efficiency across varying data sizes. We conclude, that there's no "number one" solution for all use cases. The choice depends on factors like data volume, query complexity, and the need for joins. For complex queries and frequent joins, MySQL and SQLite are the most expressive but may struggle with very large datasets. Cassandra and MongoDB excel in perfor- mance and scalability but require efficient schema design and targeted data redundancy. ArangoDB presents a versatile option capable of handling multiple data models but might require further investigation into its performance compared to Neo4j.
Keywords:
databázové systémy|výkon|benchmark|statická analýza|experimentální analýza; database management systems|performance|benchmark|static analysis|experimental analysis
Available in a digital repository NRGL
Experimentální analýza dotazovacích jazyků v moderních databázových systémech
Príchod Vel'kých Dát poukázal na obmedzenia relačných databáz pri spracovanível'kých datasetov, čo viedlo k nárastu NoSQL databáz. Z tohto dôvodu sa DBMS benchmarking stal kl'účovým pre hodnotenie ...
AgentLang - Programovací jazyk pre agentovo orientované modelovanie
Boďa, Tomáš; Petříček, Tomáš; Bednárek, David
2024 - English
S rastúcou popularitou techniky agentovo orientovaného modelovania v rôznych ve- deckých oblastiach vzniká dopyt po jednotnom nástroji na modelovanie simulácií. Aj keď je na trhu dostupné množstvo nástrojov na agentovo orientované modelovanie, vo vač- šine prípadov sa vyznačujú zložitou jayzkovou syntaxou a štruktúrou alebo sú určené na použitie iba v špecifických oblastiach. Vzhľadom na tieto nevýhody táto práca poskytuje nový pohľad na agentovo orientované modelovanie tým, že vyvíja nový nástroj na mo- delovanie agentovo orientovaných simulácií - AgentLang. Tento nástroj poskytuje nový programovací jazyk s jednotnou, ucelenou a jednoduchou syntaxou na definovanie agen- tov a ich vlastností. Okrem toho poskytuje webovú aplikáciu s tabulkovým rozhraním na manipuláciu agentov a ich hodnôt. V neposlednom rade obsahuje vizualizačný modul na zobrazovanie simulácií v reálnom čase. Tieto tri vlastnosti nástroja AgentLang majú za cieľ poskytnúť nový spôsob modelovania agentovo orientovaných simulácií a sprístupniť agentovo orientované modelovanie používateľom zo všetkých vedeckých odvetví. With the increasing popularity of the agent-based simulation technique in various scientific fields, there is a demand for an all-in-one framework for modeling agent-based simulations. Although there are numerous agent-based tools available, these in most cases feature complex syntax and language structures or are aimed to be used in specific domains only. In response this thesis presents a new approach to modeling agent-based simulations by developing a brand new agent-based framework - AgentLang. The frame- work features a programming language with a unified and simple syntax for defining agents and their properties. Moreover, it provides a web-based interface with a spread- sheet module for manipulating agents and their values using the familiar spreadsheet format as well as a visualisation module for rendering the simulation in real-time. These three features of the AgentLang framework aim to introduce a new way to modeling agent-based simulations and attempt to make agent-based modeling more accessible to people of all scientific fields.
Keywords:
agentovo orientované modelovanie|simulácie|programovací jayzk|interpreter; agent-based modeling|simulation|programming language|interpreter
Available in a digital repository NRGL
AgentLang - Programovací jazyk pre agentovo orientované modelovanie
S rastúcou popularitou techniky agentovo orientovaného modelovania v rôznych ve- deckých oblastiach vzniká dopyt po jednotnom nástroji na modelovanie simulácií. Aj keď je na trhu dostupné množstvo ...
Průhlednost nezávislá na pořadí
Rožek, Matúš; Kahoun, Martin; Iser, Tomáš
2024 - English
Vykresľovanie priehľadnej geometrie v reálnom čase spôsobuje sadu problémov, pre- tože jednotlivé objekty potrebujú byť zoradené a vykreslené v poradí odzadu dopredu pre korektný výsledok. Existuje avšak trieda algoritmov, ktorá sa snaží o vykreslenie obrazu aj bez potreby priehľadné objekty najprv zoradiť. Tieto algoritmy sa nazývajú "priehľadnosť nezávislá na poradí" (anglicky Order Independent Transparency, skratka OIT). Vytvorili sme program, ktorý obsahuje 5 rôznych OIT algoritmov. Poukazujeme na silné a slabé stránky jednotlivých prístupov - niektoré môžu excelovať v určitých pod- mienkach, ale zato podávať výrazne slabšie výsledky v odlišnom prostredí. Snažíme sa odpovedať na otázku, ktorý OIT algoritmus je najlepšie využiť v akej situácii. Rendering transparent geometry in realtime brings a set of problems as the transpar- ent objects need to be sorted first and rendered in order from back to front for their correct overlaying. A set of rendering algorithms called Order Independent Transparency (OIT) tries to accomplish this without sorting the geometry in advance. We create a program implementing five algorithms and compare their weaknesses, strengths, and properties. Some algorithms might excel in certain conditions and produce great results, yet fall short in slightly different environments. We aim to answer the question of which OIT algorithm is best suited for which scenarios.
Keywords:
priehľadnosť nezávislá na poradí|vykresľovanie priehľadnosti|alfa kompozícia|realtime rendering; order independent transparency|transparency rendering|alpha compositing|realtime rendering
Available in a digital repository NRGL
Průhlednost nezávislá na pořadí
Vykresľovanie priehľadnej geometrie v reálnom čase spôsobuje sadu problémov, pre- tože jednotlivé objekty potrebujú byť zoradené a vykreslené v poradí odzadu dopredu pre korektný výsledok. Existuje ...
Intravitální diagnostika neurodegenerativních onemocnění.
Baranová, Soňa; Holada, Karel; Kaňovský, Petr; Žáková, Dana
2024 - English
Prionopatie, taktiež nazývané transmisívne spongiformné encefalopatie (TSE), a synukleínopatie predstavujú skupinu neurodegeneratívnych ochorení, ktoré sú asociované s akumuláciou nesprávne zložených proteínov (prión a α-synukleín) prevažne v centrálnom nervovom systéme. Kvôli absencii spoľahlivého biomarkera je včasná a definitívna diagnostika počas života pacienta nedostupná. Zlatým štandardom preto zostáva priama post-mortem detekcia patologicky zložených proteínov v mozgovom tkanive pomocou western blotu a imunohistochémie. Avšak v posledných rokoch sa pre ultra-senzitívnu ante-mortem diagnostiku zaviedli metódy so spoločným názvom ʺseeding amplification assays (SSAs)ʺ akou je aj Real-Time Quacking-Induced Conversion (RT-QuIC). SAAs využívajú schopnosť patologicky zložených proteínov, ktoré sú prítomné v pacientskej vzorke, zmeniť konformáciu a iniciovať agregáciu monomérneho rekombinantného proteínu v substráte vďaka ʺprion-likeʺ mechanizmu. V prezentovanej dizertačnej práci sme analyzovali prión konvertujúcu aktivitu v post- mortem TSE (n=38) a non-TSE (n=30) vzorkách cerebrospinálneho moku (CSF) a korešpondujúcich vzoriek koží pomocou druhej generácie RT-QuIC metódy (55řC, 700 rpm, cykly 1 min dvoj orbitálneho trepania a 1 min inkubácia) s využitím rekombinantného skráteného priónového... Prionopathies, also called transmissible spongiform encephalopathies (TSE) and synucleinopathies are neurodegenerative diseases that are associated with the accumulation of misfolded proteins (prion and α-synuclein) mostly in the central nervous system. To this day, early and definite diagnosis remains unavailable during the patient's lifetime, mainly due to the absence of reliable biomarker which makes clinical diagnosis more challenging. Therefore, the gold standard in diagnostics remains direct post-mortem evaluation of misfolded proteins within brain tissue by western blot and immunohistochemistry. In the recent years, seeding amplification assays (SAAs) like Real-Time Quacking-Induced Conversion (RT-QuIC) emerged for ultra-sensitive ante-mortem diagnosis of neurodegenerative diseases. SAAs exploit ability of pathological misfolded proteins present in patient's samples to change the conformation and initiate aggregation of native recombinant protein substrate by prion-like seeding mechanism. In the presented dissertation thesis, we exploited second-generation RT-QuIC assay (55řC, 700 rpm, cycles of 1 min double-orbital shaking and 1 min incubation) utilizing recombinant hamster shortened prion protein (rHAPrP90-231) to evaluate prion seeding activity in post-mortem TSE (n=38) and non-TSE (n=30)...
Keywords:
diagnostika; neurodegeneratívne ochorenia; prión; CJCH; α-synukleín; synukleínopatia; RT-QuIC; diagnosis; neurodegenerative diseases; prion; CJD; α-synuclein; synucleinopathy; RT-QuIC
Available in a digital repository NRGL
Intravitální diagnostika neurodegenerativních onemocnění.
Prionopatie, taktiež nazývané transmisívne spongiformné encefalopatie (TSE), a synukleínopatie predstavujú skupinu neurodegeneratívnych ochorení, ktoré sú asociované s akumuláciou nesprávne zložených ...
Zjednodušení použitelnosti nástrojů pro správu kvality dat pro datové inženýry
Tomis, Zdeněk; Bulej, Lubomír; Škoda, Petr
2024 - English
V oblasti data quality managementu je pro zachování integrity dat zásadní integrovat pravidla kvality dat do automatizovaných workflows a datových pipelines. Tato práce se zabývá mezerou v programové dostupnosti nástrojů pro kvalitu dat společnosti Ataccama ONE, které využívají především proprietární jazyk Ataccama Expression Language. Re- implementací tohoto jazyka v jazyce Python projekt zvyšuje jeho použitelnost pro datové inženýry, kteří potřebují tyto nástroje využít programmaticky v různým prostředích. Dů- raz je kladen na to, aby datoví inženýři mohli provádět a spravovat pravidla Ataccama přímo v jazyce Python s ohledem na jednoduchost užití a minimální nároky. Užitelnost této implementace je otestována prostřednictvím porovnání výkonu s podobnými řeše- ními. In the realm of data quality management, integrating robust data quality rules into automated workflows and data pipelines is essential for maintaining data integrity. This thesis addresses the gap in programmatic accessibility of Ataccama ONE's data qual- ity tools, which primarily leverage the proprietary Ataccama Expression Language. By reimplementing this language in Python, the project enhances its usability for data en- gineers who seek to consume these tools programmatically. The focus is on enabling data engineers to execute Ataccama's rules directly within Python. The viability of this implementation is tested through performance comparisons with similar solutions.
Keywords:
data quality management|data engineering|performance evaluation; data quality management|data engineering|performance evaluation
Available in a digital repository NRGL
Zjednodušení použitelnosti nástrojů pro správu kvality dat pro datové inženýry
V oblasti data quality managementu je pro zachování integrity dat zásadní integrovat pravidla kvality dat do automatizovaných workflows a datových pipelines. Tato práce se zabývá mezerou v programové ...
Analýza cyklů ve verifikačním frameworku pro LLVM IR
Kubík, Jakub; Kofroň, Jan; Parízek, Pavel
2024 - English
Chyby v překladačích programovacích jazyků mohou mít vážné následky. Kromě tradičních metod, jako je testování, je jedním ze způsobů zajištění správnosti překladačů translation validation, technika zajišťující sémantic- kou správnost optimalizací v překladačích, která se prosadila teprve v po- sledních pár letech. Alive2 je open-source translation validation framework pro LLVM, který je v současnosti široce používán vývojáři LLVM. Pro za- jištění použitelnosti statických analyzátorů je potřeba minimalizovat četnost falešných pozitiv. Alive2 je navržen tak, aby neměl žádná falešná pozitiva a byl v tomto ohledu velmi úspěšný až na některé programy se smyčkami. Na- ším cílem v této práci je analyzovat algoritmy Alive2 pracující se smyčkami se záměrem identifikace příčiny falešných pozitiv. Naše práce byla motivo- vána komunikací s autory Alive2, kteří považovali problematiku falešných poplachů ve smyčkách jako jeden z náročnějších a závažnějších problémů v Alive2. Podařilo se nám přesně určit podstatu problému falešných poplachů a dokonce i opravit tento problém. Naše řešení je aktuálně součástí Alive2. Kromě toho jsme v Alive2 identifikovali další potenciální problémy, o kterých v této práci také pojednáváme. Bugs in compilers can have severe consequences. Apart from traditional methods like testing, one of the ways of keeping compilers correct that gained traction only in recent years is translation validation, a technique ensuring the semantic correctness of optimizations in compilers. Alive2 is an open-source translation validation framework for LLVM that is currently widely used by LLVM developers. In order to make any static analysis tool usable, the frequency of false alarms must be kept to a minimum. Alive2 was designed to have zero false alarms and has been very successful in this endeavor except in the case of certain loops. Our aim in this thesis is to analyze Alive2's loop algorithms in an attempt to find the cause of these false alarms. This was motivated by personal communication with authors of Alive2 who presented the false alarm issue in loops as one of the more challenging and pressing issues in Alive2. We were successful in pinpointing the cause of false alarms and even providing a fix for the issue. Our solution is now a part of the Alive2 framework. Furthermore, we have identified other potential issues in Alive2 which we discuss in the thesis as well.
Keywords:
překladače|LLVM|translation validation|formální verifikace; compilers|LLVM|translation validation|formal verification
Available in a digital repository NRGL
Analýza cyklů ve verifikačním frameworku pro LLVM IR
Chyby v překladačích programovacích jazyků mohou mít vážné následky. Kromě tradičních metod, jako je testování, je jedním ze způsobů zajištění správnosti překladačů translation validation, technika ...
Aproximační techniky pro dynamické problémy rozvozu
Zeman, David; Barták, Roman; Fink, Jiří
2024 - English
Tato práce studuje dynamický problém rozvozu s omezenou kapacitou a měnící se dos- tupností vozidel. Motivací pro studium tohoto problému je rostoucí poptávka po rychlých a spolehlivých doručovacích službách v posledních letech. V první části práce analyzujeme problém a vytvoříme jeho formální model. Poté navrhneme a implementujeme strategie pro vypořádání se s dynamickou podstatou problému. Dále implementujeme exaktní a heuristické algoritmy, jako je heuristika vkládáním, celočíselné programování, evoluční algoritmy a optimalizace kolonií mravenců. Nakonec porovnáme algoritmy s různými strategiemi a parametry na Kilbyho datové sadě. 1 This thesis studies the capacitated dynamic vehicle routing problem with changing vehicle availability. It is motivated by the increasing demand for fast and reliable delivery services in recent years. First, we analyze the problem and build its formal model. Then we propose several policies to process dynamically appearing orders. Next, we implement exact and heuristic algorithms like insertion heuristic, mixed integer programming, evo- lutionary algorithm, and ant colony optimization. Finally, we compare the algorithms with different policies and parameters on Kilby's dataset. 1
Keywords:
problém rozvozu|optimalizace|on-line; vehicle routing|optimization|on-line
Available in a digital repository NRGL
Aproximační techniky pro dynamické problémy rozvozu
Tato práce studuje dynamický problém rozvozu s omezenou kapacitou a měnící se dos- tupností vozidel. Motivací pro studium tohoto problému je rostoucí poptávka po rychlých a spolehlivých doručovacích ...
Řízení robotického šachového manipulátoru
Kapustík, Boris; Kruliš, Martin; Kopecký, Michal
2024 - English
V této práci použijeme Kinect v2 (od Microsoft Corporation), Stockfish (jeden z nej- lépe hodnocených šachových programů), a na zakázku vyrobený robotický manipulátor schopný přijímat jednoduché příkazy k pohybu po 3-rozměrné rovině. Cílem je integrovat software pro sledování deskových her (šachy) pomocí snadno dostupné kamery a hloub- kového senzoru vyvinutýho Romanemem Stankem s open-source šachovým enginem k vytvoření jednoduchého šachového robota. Díky sledování, robot bude mít schopnost ko- munikovat s uživateli. Výstupem bude desktopová aplikace pro ovládání a konfiguraci robota, přepínání mezi herními režimy a sledování hry. Bude to také vyžadovat vytvoření virtuální napodobeniny robotického jeřábu pro zjednodušení testování a dalšího vývoje. In this thesis, we will use Kinect v2 (from Microsoft Corporation), Stockfish (one of the highest-ranking chess engines), and a custom-made robotic crane capable of accepting simple commands to move across a 3-dimensional plane. The objective is to integrate software for boardgame (Chess) tracking using an easily accessible camera and depth sensor developed by Roman Staněk with an open-source chess engine to create a simple chess robot. Thanks to the tracing, the robot will have the ability to interact with users. The output will be a desktop application for controlling and configuring the robot, switching between game modes, and tracking the game. It will also require creating a virtual mock of the robotic crane to simplify testing and further development.
Keywords:
Kinect|integrace|počítačové vidění|Soubory mapované paměti|robotický šachy hrající manipulátor|Meziprocesová komunikace; Kinect|integration|computer vision|memory-mapped files|robotic chess-playing manipulator|inter-process communication
Available in a digital repository NRGL
Řízení robotického šachového manipulátoru
V této práci použijeme Kinect v2 (od Microsoft Corporation), Stockfish (jeden z nej- lépe hodnocených šachových programů), a na zakázku vyrobený robotický manipulátor schopný přijímat jednoduché ...
Praktické dávkové důkazy pro mocnění
Ivanova, Svetlana; Hubáček, Pavel; Mareš, Martin
2024 - English
Tato práce se zabývá dávkovými důkazy pro mocnění (dávké PoE). Zkoumáme exis- tující dávkové PoE a analyzujeme jejich ověřovací náklady. Také představujeme dva dáv- kové PoE a porovnáváme jejich výkon s výkonem existujících přístupů. Naše dávkové PoE překonávají existující, jak teoreticky, tak i prakticky. Zlepšení ověřovacích nákladů dosahujeme snížením očekávaného počtu grupových násobení. Pro praktickou analýzu vybíráme hodnoty parametrů protokolu používané v praxi a pak měříme čas násobení a mocnění na straně ověřovatele pro zkoumané protokoly v naší implementaci v jazyce C++. This thesis studies batch Proofs of Exponentiation (batch PoE). We explore exist- ing batch PoEs and analyze their verification cost. We also introduce two batch PoEs and compare their performance with the performance of the existing approaches. Our batch PoEs outperform the existing ones, both in theory and in practice. We achieve the improvement in the verification costs by decreasing the expected number of group mul- tiplications. For the practical analysis, we choose the values of the protocol parameters as used in practice, and then measure the time of multiplications and exponentiations on the verifier's side of the discussed protocols in our implementation in C++.
Keywords:
Důkazy pro mocnění|Ověřitelné zpožďovací funkce|Dávkové důkazy; Proof of Exponentiation|Batching|Verifiable Delay Function
Available in a digital repository NRGL
Praktické dávkové důkazy pro mocnění
Tato práce se zabývá dávkovými důkazy pro mocnění (dávké PoE). Zkoumáme exis- tující dávkové PoE a analyzujeme jejich ověřovací náklady. Také představujeme dva dáv- kové PoE a porovnáváme jejich výkon ...
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