Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Łukasz Czajka"'
Autumn migration of Ospreys from two distinct populations in Poland reveals partial migratory divide
Publikováno v:
Avian Research, Vol 12, Iss 1, Pp 1-10 (2021)
Abstract Background Long-term ringing and telemetry studies show that the Osprey (Pandion haliaetus) is a broad-front migrant following different migratory flyways, depending on the geographical location of their breeding populations. We have investi
Externí odkaz:
https://doaj.org/article/e60a811e2e1e45fc91983644b0c2df83
Autor:
Łukasz Czajka
Publikováno v:
Perspektywy Kultury, Vol 37, Iss 2 (2022)
Filmy o inwazji kosmicznych obcych na Ziemię były fenomenem amerykańskiej kultury popularnej lat 50. Wśród nich znalazły się takie tytuły, jak: Inwazja porywaczy ciał; Dzień, w którym zatrzymała się Ziemia; Latające talerze, Wojna świa
Externí odkaz:
https://doaj.org/article/d5aa1c64334d4950a61e9548cc841910
Publikováno v:
Farmacja Polska, Vol 76, Iss 12, Pp 692-710 (2021)
Abstract: At the beginning of 2020, the latest updated European Position Paper on Rhinosinusitis and Nasal Polyps (abbreviation: EPOS 2020) was published under the auspices of the European Society of Rhinology. EPOS 2020 presents updated guidelines b
Externí odkaz:
https://doaj.org/article/c0e15045c24f4a268706e9868492d253
Autor:
Łukasz Czajka
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result. The technique of the proof is new, i.e., it is not merely a coi
Externí odkaz:
https://doaj.org/article/567ad99677f0452db1b3c7f8020c2a2c
Autor:
Łukasz Czajka
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and generalization of
Externí odkaz:
https://doaj.org/article/67960b0ecb98492d8dd6b2986e54b01f
Autor:
Łukasz Czajka, Cezary Kaliszyk
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 210, Iss Proc. HaTT 2016, Pp 13-20 (2016)
Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems. We present an extension of the various hammer c
Externí odkaz:
https://doaj.org/article/1db6332779074a2f845d3eeeaad0be7f
Autor:
Łukasz Czajka
Publikováno v:
Homo Ludens. :35-53
Głównym celem artykułu jest analiza wybranych gier wideo poświęconych tematyce I wojny światowej. Aby dokonać pogłębionej analizy porównawczej, skonfrontowano ze sobą dwie gry: Valiant Hearts i Battlefield 1. Obie zostały porównane pod w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ece017038d893cc25d755cbd98ceba8c
https://doi.org/10.14746/hl.2020.13.2
https://doi.org/10.14746/hl.2020.13.2
Autor:
Łukasz Czajka
Publikováno v:
Humaniora. Czasopismo Internetowe. 30:75-89
The main research task of the paper is to reconstruct The Little Prince’s philosophy. It is a philosophy of humanism created as a response to the spiritual crisis of Western culture. The mission of this philosophy is to save humans to save the worl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5659651efe95e0485f2c117bea9b359
https://doi.org/10.14746/h.2020.2.6
https://doi.org/10.14746/h.2020.2.6
Publikováno v:
Journal of Hearing Science. 10:9-20
BackgroundActual level of knowledge of treatment of COVID-19 disease caused by a type of coronavirus is that the disease cannot at present be cured by targeted therapy. Worldwide research is aiming to find a specific treatment, such as a vaccine or d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2962c209a251ef18611f09f6028275f7
https://doi.org/10.17430/jhs.2020.10.1.1
https://doi.org/10.17430/jhs.2020.10.1.1
Autor:
Łukasz Czajka, František Mikš
Publikováno v:
Bohemistyka. :141-148
Intelektuální a ideologická zma te nost průkopníků umělecké moderny by se neměla zametat pod koberec. Rozhovor o knize Františka Mikše Rudý kohout Picasso
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62833960d6459281ccf71fab971f72ed
https://doi.org/10.14746/bo.2020.1.10
https://doi.org/10.14746/bo.2020.1.10