Browsing by Author "Beneš, Jiří"
Now showing items 1-6 of 6
-
C++ linter based on linear types
Defence status: DEFENDEDBeneš, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)Date of defense: 14. 9. 2020Nízkoúrovňové programování vyžaduje opatrnou práci se systémovými zdroji, hlavně s pamětí. Programátoři v C++ používají ustálené zásady jako RAII a chytré ukazatele ke korektní práci se zdroji. Porušení podobných zásad ... -
Směrnice a řády: Zákoník v páté knize Mojžíšově
Beneš, Jiří (Advent-Orion, 2012) -
Správa sociálního zabezpečení a ochrana osobních údajů
Defence status: DEFENDEDBeneš, Jiří (Univerzita Karlova, Právnická fakulta, 2019)Date of defense: 19. 9. 2019Social security administration and personal data protection The protection of personal data is one of the most discussed legal topics of contemporary legal science. However, the attention of both the professional and general ... -
A type system for tracking of unsafe side effects
Defence status: DEFENDEDBeneš, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 15. 6. 2022The current mainstream programming languages do not explicitly track side effects of the programs, such as the possibility of allocating memory, throwing an exception, and performing I/O actions. We create a fully speci- ... -
Vliv maximální tepové frekvence na přesnost střelby
Defence status: DEFENDEDBeneš, Jiří (Univerzita Karlova, Fakulta tělesné výchovy a sportu, 2013)Date of defense: 9. 5. 2013Titles Effect of maximum heart rate on accuracy of fire Objectives The goal of this work will be to examine the influence of maximum heart rate on accuracy of fire from the personal defensive gun (pistol), whereas a reference ... -
Vývojové mechanismy arytmií - úloha konexinů v arytmogenezi
Defence status: DEFENDEDBeneš, Jiří (Univerzita Karlova, 1. lékařská fakulta, 2014)Date of defense: 6. 2. 2014Vývojové mechanismy arytmií - úloha konexinů v arytmogenezi MUDr.Jiří Beneš Abstrakt: Cíle: Hlavním cílem této práce je prohloubení znalostí o vlastnostech konexinů při arytmogenezi. Práce se zabývá hlavně rolí konexinu ...