Jan Orko Kratochvíl Books

This volume features papers from the 29th Symposium on Mathematical Foundations of Computer Science, MFCS 2004, held in Prague from August 22–27, 2004. Organized by the Institute for Theoretical Computer Science and the Department of Theoretical Computer Science and Mathematical Logic at Charles University, the event received support from the European Association for Theoretical Computer Science and the European Research Consortium for Informatics and Mathematics. The MFCS symposia traditionally promote high-quality research across all areas of theoretical computer science. Topics covered include automata, formal languages, data structures, algorithms, computational geometry, complexity theory, models of computation, and applications in computational biology, cryptography, security, and artificial intelligence. This conference provided a unique platform for researchers from various fields to present their findings to a broader audience. The scientific program took place in the recently renovated Faculty of Mathematics and Physics building, located in the historic center of Prague, with views of notable landmarks like Prague Castle. The competition for audience attention was fierce, yet the quality of presentations ensured significant interest. The conference program included 60 contributed papers selected from 167 submissions by the Program Committee.

Z obsahu: 311. peruť RAF Váleční deník RAF Přehled operačních činností Sestřelené posádky Baťovci v 311. peruti Letci 311. perutě RAF Padlí letci 311. perutě Fotografie ze života letců 311. perutě Příslušníci 311. perutě RAF věznění v letech 1948-68 Osobní věci letců 311. perutě Vyznamenání letců 311. perutě Kresby z památníčků letců Britské a československé hodnosti v letectvu

Seznam československých letců, kteří během druhé světové války bojovali v řadách RAF. Informace o činnosti příslušníků československého letectva v letech 1939-1945, fotografie.

Kniha se věnuje používání základních práv v rozhodovací praxi obecných soudů, především soudů první a druhé instance. V první části autor rozebírá způsoby aplikace základních práv obecnými soudy. Čtenáři v ní najdou odpovědi na množství otázek, které při aplikaci základních práv v soudním rozhodování vznikají, například kdy je namístě aplikovat základní práva přímo, kdy mohou působit pouze nepřímo skrze ústavněkonformní interpretaci zákonů, či kdy je nutno řízení přerušit a věc předložit Ústavnímu soudu. Výklad neopomíjí ani problematiku mezinárodních smluv, které jsou důležitým právním pramenem v oblasti základních práv. Tato část knihy bude pro soudní praxi zvlášť přínosná. Ve druhé části knihy jsou prezentovány výsledky empirické analýzy stovek rozhodnutí okresních, krajských a vrchních soudů. Autor zde zkoumá, jak tyto soudy ve skutečnosti základní práva používají a jaký to má vliv na rozhodování Ústavního soudu. Analyzovány jsou také faktory, které ovlivňují používání lidských práv obecnými soudy. Autor je zároveň praktikem (soudcem Městského soudu v Praze) i teoretikem (odborným asistentem Katedry ústavního práva Právnické fakulty Univerzity Palackého), proto v knize vhodně skloubil teoretické i praktické aspekty zkoumané problematiky.

Dohledávání předků sice už dnes díky moderním technologiím nemusí znamenat desítky hodin strávených luštěním archivních materiálů. Trénované oko je však stále tím nejdůležitějším pomocníkem, jehož nelze nahradit. Proto Jan Kratochvíl, archivář, genealog a historik, sestavil publikaci, která pomůže osvojit si schopnost číst jednotlivá písmenka a jejich napojování, porozumět proměnám vizuální podoby jmen či povolání v zápisech nebo orientovat se ve vybraných zkratkách užívaných v matrikách.

Publikace popisuje mechanickou a elektrickou část lokomotivy ES 499.0, jež patří mezi lokomotivy tzv. druhé generace. Při popisu strojů, přístrojů a jednotlivých obvodů se autoři zaměřili především na nové prvky, zatímco části a obvody známé z dřívějších typů zmiňují pouze informativně. Zvláštní pozornost věnují uspořádání a činnosti elektricky řízeného brzdiče DAKO BSE a elektrodynamické brzdy.

Knížka je určena pro všechny děti a dospělé, kteří mají rádi něžné dětské písničky. Autor, textař a hudební skladatel, jich do knihy zařadil 33. Jsou jednoduché s lehce zapamatovatelnou melodií. Publikace obsahuje i několik dětských milých povídek, které rozvíjí jednotlivé písničky. Texty jsou doprovázeny laskavými a pro děti srozumitelnými obrázky.