Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Katarzyna Grygiel"'
Autor:
Katarzyna Grygiel, Isabella Larcher
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 22 no. 3, Computational..., Iss Special issues (2021)
In this paper we present an average-case analysis of closed lambda terms with restricted values of De Bruijn indices in the model where each occurrence of a variable contributes one to the size. Given a fixed integer k, a lambda term in which all De
Externí odkaz:
https://doaj.org/article/f3be2905121b4cb49f84df8841ceacb1
Autor:
Ewa Wojtaszek, Agnieszka Grzejszczak, Katarzyna Grygiel, Jolanta Małyszko, Joanna Matuszkiewicz-Rowińska
Publikováno v:
Frontiers in Physiology, Vol 9 (2019)
Background: The peritoneal dialysis (PD) urgent-start pathway, without typical 2-week break-in period, was meant for late-referral patients able and prone to join PD-first program, with its main advantages such as: keeping the vascular system intact,
Externí odkaz:
https://doaj.org/article/0b0e2e0a199c4963bd7dd8be86fb57be
Autor:
René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)
We present quantitative analysis of various (syntactic and behavioral) properties of random \lambda-terms. Our main results are that asymptotically all the terms are strongly normalizing and that any fixed closed term almost never appears in a random
Externí odkaz:
https://doaj.org/article/b5a82658aead44a5acc075a46de8a113
Publikováno v:
Theory and Practice of Logic Programming. 18:97-119
A natural approach to software quality assurance consists in writing unit tests securing programmer-declared code invariants. Throughout the literature, a great body of work has been devoted to tools and techniques automating this labour-intensive pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e7045febca86a126f3b0494d1919c8f
https://doi.org/10.1017/s147106841700045x
https://doi.org/10.1017/s147106841700045x
Autor:
Jolanta Malyszko, Katarzyna Grygiel, Joanna Matuszkiewicz-Rowińska, Ewa Wojtaszek, Agnieszka Grzejszczak
Publikováno v:
Frontiers in Physiology, Vol 9 (2019)
Background: The peritoneal dialysis (PD) urgent-start pathway, without typical 2-week break-in period, was meant for late-referral patients able and prone to join PD-first program, with its main advantages such as: keeping the vascular system intact,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35281b77350b09f519331108687f45e8
https://www.frontiersin.org/article/10.3389/fphys.2018.01830/full
https://www.frontiersin.org/article/10.3389/fphys.2018.01830/full
Autor:
J. Sańko-Resmer, P. Wilkowski, Katarzyna Grygiel, Leszek Pączek, Michał Ciszek, Tadeusz Grochowiecki, A. Łabuś, Grażyna Młynarczyk, K. Dobrzaniecka
Publikováno v:
Transplantation Proceedings. 48:1576-1579
Background Klebsiella pneumoniae New Delhi metallo-beta-lactamase-1 (NDM-1) strains have recently become a new threat in kidney transplant recipients due to the strains' resistance to almost all antibiotics, including carbapenems. Methods We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f72b42021d8368eccccf592a0ccdcd64
https://doi.org/10.1016/j.transproceed.2016.01.060
https://doi.org/10.1016/j.transproceed.2016.01.060
Autor:
Katarzyna Grygiel, Jacek Szmidt, K. Madej, L. Pączek, Zbigniew Gałązka, Sławomir Nazarewski, Magdalena Durlik, Tomasz Jakimowicz, Tadeusz Grochowiecki, Maciej Jędrasik
Publikováno v:
Transplantation Proceedings. 48:1673-1676
Simultaneous pancreas and kidney transplantation (SPKTx) is the most commonly performed multiorgan transplantation procedure worldwide. Transplanted organs are the main source of complication; however, some postoperative complications are not directl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f739500a056afcc3cd7cad542e74e8ef
https://doi.org/10.1016/j.transproceed.2015.12.131
https://doi.org/10.1016/j.transproceed.2015.12.131
Publikováno v:
Acta Angiologica. 21:61-65
Ehlers-Danlos syndrome is the most common inherited connective tissue disease and is a consequence of abnormal collagen synthesis. Type IV of this syndrome, called vascular, is considered to be the most severe. Patients with vascular type are prone t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76c9560208d2b7775b31cae1b371d60c
https://doi.org/10.5603/aa.2015.0012
https://doi.org/10.5603/aa.2015.0012
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783319516752
PADL
PADL
Simply-typed lambda terms are often used in the internal language of compilers and proof assistants, for which generation of large, uniformly distributed random terms is instrumental for testing correctness and scalability. Recently, Boltzmann sample
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a3f14493c02ab82b5a622c555444cec
https://doi.org/10.1007/978-3-319-51676-9_8
https://doi.org/10.1007/978-3-319-51676-9_8
