Výsledky 71 – 80 z 957 (0,451 sekund)

Type theory and its semantics

 (Vít Jelínek)

Diplomová práce: Type theory and its semantics  (Vít Jelínek)

Masarykova univerzita, Fakulta informatiky, 2024

F A C U L T Y OF ... R M A T I C S Type ... arrows (c, d, f) —>• (c', d', /') are pairs (g: c
https://is.muni.cz/th/fl75q/masters_thesis__8_.pdf

Are Tau fibrils induced by phosphorylation and the interaction with 14-3-3 proteins relevant for Alzheimer's disease?

 (Gytis Kučinskas)

Disertační práce: Are Tau fibrils induced by phosphorylation and the interaction with 14-3-3 proteins relevant for Alzheimer's disease?  (Gytis Kučinskas)

Masarykova univerzita, Přírodovědecká fakulta, 2025

práce Are Tau Fibrils Induced by phosphorylation ... S C I 2 ... 183,184) Moreover, positions in C-terminus pS396-404 are also described as
https://is.muni.cz/th/hoxt1/Phd_Thesis_Gytis_Kucinskas_CEITEC_1.pdf

Embedded Remote Procedure Call Code Generation Tool

 (Marek Mišík)

Diplomová práce: Embedded Remote Procedure Call Code Generation Tool  (Marek Mišík)

Masarykova univerzita, Fakulta informatiky, 2024

during elaboration of this work are properly cited and ... There are many general RPC solutions. However ... as defined in C or C++, are applicable. The
https://is.muni.cz/th/mwjt8/diploma_thesis_misik.pdf

Plný text práce

 (František Zažímal)

Disertační práce: Plasma and nanomaterials: an emerging technology for wastewater treatment  (František Zažímal)

Masarykova univerzita, Přírodovědecká fakulta, 2026

technological development, and climate change are intensifying ... municipal WWTPs are among the principal sources of ... core-level spectra. In a-c) are normalized to the
https://is.muni.cz/th/ep5wp/Plasma-and-Nanomaterials-an-Emerging-Technology-for-Wastewater-Treatment.pdf

Reversing Programs for Error Reachability Analysis

 (Adéla Štěpková)

Diplomová práce: Reversing Programs for Error Reachability Analysis  (Adéla Štěpková)

Masarykova univerzita, Fakulta informatiky, 2026

Klíčová slova: C

F A C U L T Y O ... R M A T I C S Reversing ... another instruction and constant. Both c, d are constants of type
https://is.muni.cz/th/xl4lu/Diploma_thesis-24.pdf

Plný text práce

 (Kateřina Linhartová)

Disertační práce: The RNA Polymerase II C-terminal domain: Condensation and interaction hub in transcription  (Kateřina Linhartová)

Masarykova univerzita, Přírodovědecká fakulta, 2025

The RNA Polymerase II C-terminal domain: Condensation ... institut C-terminální doména RNA polymerázy II ... and g) the distributions for C T D ™ are reprised as dashed
https://is.muni.cz/th/pvb9c/thesis_final_Linhartova_skryta_cast.pdf

Přínos využití kryptoměn pro B2C transakce v české ekonomice

 (Michal Papáček)

Diplomová práce: Přínos využití kryptoměn pro B2C transakce v české ekonomice  (Michal Papáček)

Masarykova univerzita, Ekonomicko-správní fakulta, 2021

Překlad názvu práce: Benefits of using cryptocurrencies for B2C transactions in the Czech economy

Klíčová slova: B2C trh, B2C market

O N O M I C K O - S P R ... využití kryptoměn pro B2C transakce ... 31]. Dostupné z: https://www.c-sharpcorner.com/ar- ticle
https://is.muni.cz/th/jqfr5/Michal_Papacek_-_Prinos_vyuziti_kryptomen_pro_B2C_transakce_v_ceske_ekonomice.pdf

Pareto Frontier Estimation in Offline Safe Reinforcement Learning

 (Václav Nevyhoštěný)

Diplomová práce: Pareto Frontier Estimation in Offline Safe Reinforcement Learning  (Václav Nevyhoštěný)

Masarykova univerzita, Fakulta informatiky, 2026

g elaboration of this work are properly cited ... check, • C h a t G P ... under constraints, w h i c h are typically modeled using
https://is.muni.cz/th/s7fnz/thesis_pdt.pdf

Computing twin-width parametrized by restrictive parameters

 (Jakub Balabán)

Diplomová práce: Computing twin-width parametrized by restrictive parameters  (Jakub Balabán)

Masarykova univerzita, Fakulta informatiky, 2024

authorial work, w h i c h I have worked ... during elaboration of this work are properly cited and listed i ... of notation since C and C' are not "synchronized" because
https://is.muni.cz/th/juv7m/master-thesis.pdf

On-Board Change Detection in Satellite Imagery: Leveraging Transfer Learning for Flood Detection

 (Jonáš Herec)

Diplomová práce: On-Board Change Detection in Satellite Imagery: Leveraging Transfer Learning for Flood Detection  (Jonáš Herec)

Masarykova univerzita, Fakulta informatiky, 2024

during elaboration of this work are properly cited and ... testing challenges are addressed by proposing modified metrics ... the proposed A U R C are i n Table
https://is.muni.cz/th/xp00p/thesis_final_final.pdf

Aktuálně je prohledáváno asi 264 433 položek.