Zobrazeno 1 - 10
of 545
pro vyhledávání: '"Ahmed, Amal A."'
Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist decomposes probabilistic state along the simple and natural product of
Externí odkaz:
http://arxiv.org/abs/2405.06826
We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutable state where sampling corresponds to dynamic allocation, we show how
Externí odkaz:
http://arxiv.org/abs/2304.01339
Autor:
Mohamed, Fatma K., Ahmed, Amal A.M., El-Baz, Amany A., Galhom, Rania A., Osman, Abdel-Hamid K.
Publikováno v:
In Tissue and Cell December 2024 91
Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others. Even between type-safe languages, disparate features frustrate in
Externí odkaz:
http://arxiv.org/abs/2202.13158
Publikováno v:
In Results in Materials September 2024 23
Autor:
Abu-Elfotuh, Karema, Hamdan, Ahmed M.E., Mohamed, Shaza A., Bakr, Riham O., Ahmed, Amal H., Atwa, Ahmed M., Hamdan, Amira M., Alanzai, Ahad Ghanem, Alnahhas, Raghad Khalid, Gowifel, Ayah M.H., Salem, Maha A.
Publikováno v:
In Journal of Ethnopharmacology 24 April 2024 324
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:
Marzouk, Mohamed, Khalifa, Shimaa M., Ahmed, Amal H., Metwaly, Ahmed M., Sh. Mohammed, Hala, Taie, Hanan A.A.
Publikováno v:
In Bioorganic Chemistry November 2023 140
Autor:
Papadopoulou, Eleftheria, González, Mayuki Cabrera, Reif, Daniela, Ahmed, Amal, Tsapekos, Panagiotis, Angelidaki, Irini, Harasek, Michael
Publikováno v:
In Journal of Environmental Chemical Engineering October 2023 11(5)
Publikováno v:
In Environmental Toxicology and Pharmacology September 2023 102