Zobrazeno 1 - 10
of 154
pro vyhledávání: '"Andrei, Sebastian"'
Autor:
Gabriel-Petre Gorecki, Andrei Bodor, Zoltan-Janos Kövér, Maria-Mihaela Comănici, Romina-Marina Sima, Anca-Maria Panaitescu, Adrian-Vasile Comănici, Emilia Furdu-Lungut, Ancuta-Alina Constantin, Liana Pleș, Andrei Sebastian Diaconescu, Vasile Lungu
Publikováno v:
Life, Vol 14, Iss 11, p 1492 (2024)
Can combined spinal and epidural anesthesia be the gold standard for laparoscopic surgery for pregnant patients? This case report presents a first trimester pregnant patient who was admitted for obstructive jaundice syndrome (pain in the right hypoch
Externí odkaz:
https://doaj.org/article/ea3597c6e88242d1ac831248cb3201d4
Autor:
Bosica, Francesco, Andrei, Sebastian, Neves, João Filipe, Brandt, Peter, Gunnarsson, Anders, Landrieu, Isabelle, Ottmann, Christian, O'Mahony, Gavin
Publikováno v:
Chemistry - A European Journal, Wiley-VCH Verlag, 2020, 26 (31), pp.7131-7139
The protein-protein interactions (PPIs) of 14-3-3 proteins are a model system for studying PPI stabilization. The complex natural product Fusicoccin A stabilizes many 14-3-3 PPIs but is not amenable for use in SAR studies, motivating the search for m
Externí odkaz:
http://arxiv.org/abs/2011.03419
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.
We propose an operationally-based deductive proof method for program equivalence. It is based on encoding the language semantics as logically constrained term rewriting systems (LCTRSs) and the two programs as terms. The main feature of our method is
Externí odkaz:
http://arxiv.org/abs/2001.09649
Publikováno v:
Cluj Veterinary Journal, Vol 28, Iss 3 (2023)
The purpose of this study was to practically apply this protocol in a private shelter in Cluj county, Romania. The welfare of the sheltered dogs was carried out on three levels: the management of the shelter, measures at pen level and the individual
Externí odkaz:
https://doaj.org/article/97d8f86c522e4d768a7fdc31668311ea
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming October 2023 135
Publikováno v:
EPTCS 289, 2019, pp. 1-16
We give a language-parametric solution to the problem of total correctness, by automatically reducing it to the problem of partial correctness, under the assumption that an expression whose value decreases with each program step in a well-founded ord
Externí odkaz:
http://arxiv.org/abs/1902.08419
Autor:
Andlovic, Blaž, Heilmann, Geronimo, Ninck, Sabrina, Andrei, Sebastian A., Centorrino, Federica, Higuchi, Yusuke, Kato, Nobuo, Brunsveld, Luc, Arkin, Michelle, Menninger, Sascha, Choidas, Axel, Wolf, Alexander, Klebl, Bert, Kaschani, Farnusch, Kaiser, Markus, Eickhoff, Jan, Ottmann, Christian
Publikováno v:
In Cell Chemical Biology 15 June 2023 30(6):573-590
Autor:
Murariu, Andrei Sebastian
Publikováno v:
Universul Juridic / Legal Universe. (03):121-133
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1036568