Zobrazeno 1 - 10
of 1 213
pro vyhledávání: '"Lhoták, P."'
Autor:
Lhoták Kamil
Rozsáhlá celobarevná publikace představuje život a dílo Kamila Lhotáka, malíře, grafika, ilustrátora, autora filmů a knih, s důrazem především na malbu, ale v dostatečném průřezu se zabývá i jeho kresbou, volnou grafikou, ilustra
Autor:
Anna Strnadlová
Publikováno v:
Acta Universitatis Carolinae: Philosophica et Historica, Vol 2021, Iss 1, Pp 111-136 (2023)
The period after February 1948 meant great change for the cultural sphere in Czechoslovakia. The art groups and clubs were dissolved; artists who did not want to squeeze into the limits of socialist realism had no choice other than to close themselve
Externí odkaz:
https://doaj.org/article/86b8a2e9171342e3950573d8863d5e52
Autor:
Lee, Edward, Zhao, Yaoyu, You, James, Satheeskumar, Kavin, Lhoták, Ondřej, Brachthäuser, Jonathan
Publikováno v:
Proc. ACM Program. Lang. 8, OOPSLA1, Article 115 (April 2024), 30 pages
Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers is well u
Externí odkaz:
http://arxiv.org/abs/2311.07480
Autor:
Lee, Edward, Lhoták, Ondřej
Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages like Scala have blurred the lines between functional programming langu
Externí odkaz:
http://arxiv.org/abs/2307.04960
Effects of weather and climate on fluctuations of grain prices in southwestern Bohemia, 1725–1824 CE
Publikováno v:
Climate of the Past, Vol 20, Pp 1017-1037 (2024)
Grain prices in early modern Europe reflected the effects of weather and climate on crop yields and a complex array of societal and socio-economic factors. This study presents a newly developed series of grain prices for Sušice (southwestern Bohemia
Externí odkaz:
https://doaj.org/article/d489440c8e93435a9aa5c8bb41721f46
Autor:
Odersky, Martin, Boruch-Gruszecki, Aleksander, Lee, Edward, Brachthäuser, Jonathan, Lhoták, Ondřej
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CCsubBox, a calculus where such captured
Externí odkaz:
http://arxiv.org/abs/2207.03402
Autor:
Boruch-Gruszecki, Aleksander, Brachthäuser, Jonathan Immanuel, Lee, Edward, Lhoták, Ondřej, Odersky, Martin
Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how references can escape. For example, one may implement algebraic effect
Externí odkaz:
http://arxiv.org/abs/2105.11896
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lhoták Kamil
Sešit reprodukcí olejů a kreseb význačného soudobého výtvarníka, který osobitým způsobem zachycuje náměty z periférie velkoměsta a jehož hlavní zájem patří světu techniky, motocyklům, autům, balónům, letadlům, závodištím
Publikováno v:
Molecules, Vol 29, Iss 6, p 1237 (2024)
A Sonogashira coupling of meta-iodocalix[4]arene with various terminal acetylenes confirmed that the meta position of calixarene is well addressable, and that both thermal and microwave protocols led to good yields of alkynylcalixarenes. Alkynes thus
Externí odkaz:
https://doaj.org/article/8f49418fe42e4f42ace8d58766427c16