Zobrazeno 1 - 10
of 4 562
pro vyhledávání: '"Knapik, P."'
Autor:
Marta Strukowska
Publikováno v:
Półrocznik Językoznawczy Tertium, Vol 8, Iss 1 (2023)
Recenzja książki
Externí odkaz:
https://doaj.org/article/08d50d251b214a739aa9bd786ff823c0
Autor:
Knapik, Teodor
Combinatorial generation of expander families and Lindenmayer-style development models are both parallel in nature. Both can be handled within proposed parallel graph grammar formalism. Their first-order properties can then be checked by encompassing
Externí odkaz:
http://arxiv.org/abs/2405.17629
Autor:
Marcin Kudła
Publikováno v:
Stylistyka, Vol 26, Pp 385-389 (2018)
Externí odkaz:
https://doaj.org/article/5439943a2468402ab81fda0cda394401
Six time series related to atmospheric phenomena are used as inputs for experiments offorecasting with singular spectrum analysis (SSA). Existing methods for SSA parametersselection are compared throughout their forecasting accuracy relatively to an
Externí odkaz:
http://arxiv.org/abs/2403.16507
Publikováno v:
Muzyka, Vol 64, Iss 4 (2019)
Recenzja książki Kingi Kiwały Pokolenie Stalowej Woli. Eugeniusz Knapik, Andrzej Krzanowski, Aleksander Lasoń. Studia estetyczne, Kraków 2019
Externí odkaz:
https://doaj.org/article/a4912c8d21744b5ea4cbb7960e4bde3a
Autor:
Leszek Jan Wojteczek
Publikováno v:
Półrocznik Językoznawczy Tertium, Vol 3, Iss 2 (2019)
Recenzja publikacji podanej w tytule
Externí odkaz:
https://doaj.org/article/e841b60891bf4f83b4a8c1d567d2a80d
Autor:
Grażyna Sawicka
Publikováno v:
Półrocznik Językoznawczy Tertium, Vol 1, Iss 1 & 2, Pp 338-346 (2016)
Externí odkaz:
https://doaj.org/article/bafc05f10c29431e9a40cf2f7eda55d6
Autor:
Niewiadomski, Artur, Kacprzak, Magdalena, Kurpiewski, Damian, Knapik, Michał, Penczek, Wojciech, Jamroga, Wojciech
Publikováno v:
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020, 2111--2113
We present MsATL: the first tool for deciding the satisfiability of Alternating-time Temporal Logic (ATL) with imperfect information. MsATL combines SAT Modulo Monotonic Theories solvers with existing ATL model checkers: MCMAS and STV. The tool can d
Externí odkaz:
http://arxiv.org/abs/2310.16519
Autor:
Amanda Colombo Peteck Lopes, Paulo Henrique Coltro, Vagner José Lopes, Sandra Mari Pistore Fiori, Jaqueline Santana Knapik, Tatiane Caroline Boumer
Publikováno v:
Geriatrics, Gerontology and Aging, Vol 14, Pp 166-172 (2024)
INTRODUCTION: After long periods of hospitalization, older adults may develop muscle weakness that can affect their functional independence after discharge. OBJECTIVE: To assess muscle weakness in older patients admitted to an ICU. METHOD: This cross
Externí odkaz:
https://doaj.org/article/b23e57af636249579482030275be8cf5
Autor:
Jarosław Miszczuk, Michał Wolak, Anna Barczak, Maria Błońska-Staniec, Magdalena Knapik, Łukasz Tekieli, Piotr Musiałek
Publikováno v:
Advances in Interventional Cardiology, Vol 20, Iss 3, Pp 374-377 (2024)
Externí odkaz:
https://doaj.org/article/8be53470d8a345609f538072955d9a45