Zobrazeno 1 - 10
of 1 600
pro vyhledávání: '"P, Kolodziejski"'
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies $\varphi\models\psi\models\neg\varphi'$.
Externí odkaz:
http://arxiv.org/abs/2406.01497
Autor:
Kruk, Danuta, Kasparek, Adam, Masiewicz, Elzbieta, Kolodziejski, Karol, Cybulski, Radoslaw, Nowak, Bartosz
Publikováno v:
Int. J. Mol. Sci. 2023, 24(4), 4093
1H spin-lattice relaxation experiments have been performed for water - Bovine Serum Al-bumin (BSA) mixtures including 20% wt and 40% wt of BSA. The experiments have been carried out in a frequency range encompassing three orders of magnitude, from 10
Externí odkaz:
http://arxiv.org/abs/2302.11015
Autor:
Kołodziejski, Jędrzej, Klin, Bartek
We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as th
Externí odkaz:
http://arxiv.org/abs/2208.00536
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.
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:
Henry T. Hsueh, Renee Ti Chou, Usha Rai, Wathsala Liyanage, Yoo Chun Kim, Matthew B. Appell, Jahnavi Pejavar, Kirby T. Leo, Charlotte Davison, Patricia Kolodziejski, Ann Mozzer, HyeYoung Kwon, Maanasa Sista, Nicole M. Anders, Avelina Hemingway, Sri Vishnu Kiran Rompicharla, Malia Edwards, Ian Pitha, Justin Hanes, Michael P. Cummings, Laura M. Ensign
Publikováno v:
Nature Communications, Vol 14, Iss 1, Pp 1-19 (2023)
Abstract Sustained drug delivery strategies have many potential benefits for treating a range of diseases, particularly chronic diseases that require treatment for years. For many chronic ocular diseases, patient adherence to eye drop dosing regimens
Externí odkaz:
https://doaj.org/article/7e5564fd12a045e4b4626040941ea3e5
Autor:
Hafiz Imran Fakhar, Adam Kasparek, Karol Kolodziejski, Leonid Grunin, Mecit Halil Öztop, Muhammad Qasim Hayat, Hussnain A. Janjua, Danuta Kruk
Publikováno v:
Molecules, Vol 29, Iss 11, p 2422 (2024)
1H fast field-cycling and time-domain nuclear magnetic resonance relaxometry studies have been performed for 15 samples of sugar of different kinds and origins (brown, white, cane, beet sugar). The extensive data set, including results for crystal su
Externí odkaz:
https://doaj.org/article/49a6b8ef8ca44ff5a0dcf4ab78a0fa23
Autor:
Klobus, Waldemar, Burchardt, Adam, Kolodziejski, Adrian, Pandit, Mahasweta, Vertesi, Tamas, Zyczkowski, Karol, Laskowski, Wieslaw
Publikováno v:
Phys. Rev. A 100, 032112 (2019)
We investigate the maximum purity that can be achieved by k-uniform mixed states of N parties. Such N-party states have the property that all their k-party reduced states are maximally mixed. A scheme to construct explicitly k-uniform states using a
Externí odkaz:
http://arxiv.org/abs/1906.01311
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:
Kurzynski, Pawel, Laskowski, Wieslaw, Kolodziejski, Adrian, Pal, Karoly F., Ryu, Junghee, Vertesi, Tamas
Publikováno v:
Comm. Phys. 2, 15 (2019)
The squares of the three components of the spin-s operators sum up to $s(s+1)$. However, a similar relation is rarely satisfied by the set of possible spin projections onto mutually orthogonal directions. This has fundamental consequences if one trie
Externí odkaz:
http://arxiv.org/abs/1806.06637