E-LIB Suche - Ergebnisse für: Ahmed, Amal

1

First Report of Colistin-Resistant Escherichia coli Carryin..:

Ghazawi, Akela ; Strepis, Nikolaos ; Anes, Febin...
Antibiotics. 13 (2024) 3 - p. 227 , 2024

Link: https://doi.org/10.3390/..

2

Relationship between FEV1/FVC and age in children with asth..:

Ahmed, Amal ; Brown, Amy ; Pollack, Yehudit...
Pediatric Pulmonology. 59 (2024) 5 - p. 1402-1409 , 2024

Link: https://doi.org/10.1002/..

3

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Intero..:

Fitzgibbons, Michael ; Paraskevopoulou, Zoe ; Mushtak, Noble...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1656-1679 , 2024

Link: https://doi.org/10.1145/..

4

481 LIVING WITH FECAL INCONTINENCE: A SYSTEMATIC REVIEW AND..:

Ahmed, Amal ; Khan, Maryam ; Williamson, Victoria.
Gastroenterology. 166 (2024) 5 - p. S-109 , 2024

Link: https://doi.org/10.1016/..

5

A Nominal Approach to Probabilistic Separation Logic:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Li, John M. ; Aytac, Jon ; Johnson-Freyd, Philip.. - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

6

Gradually Typed Languages Should Be Vigilant!:

Gierczak, Olek ; Menon, Lucy ; Dimoulas, Christos.
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 864-892 , 2024

Link: https://doi.org/10.1145/..

7

COVID-19 and Pediatric Rheumatology: A Comprehensive Study ..:

Alqanatish, Jubran ; Almojali, Abdullah ; Alfadhel, Abdulmajeed...
Journal of Epidemiology and Global Health. 13 (2023) 4 - p. 676-684 , 2023

Link: https://doi.org/10.1007/..

8

Assessment of heavy metals contamination of agricultural so..:

Ahmed, Amal ; Saher Abdulridha Ali
University of Thi-Qar Journal of Science. 10 (2023) 2 - p. 20-26 , 2023

Link: https://doi.org/10.32792..

9

Knowledge-Based Dietary Intake Recommendations of Nutrients..:

Alrige, Mayda ; Banjar, Haneen ; Shuaib, Taghreed..
Healthcare. 11 (2023) 3 - p. 301 , 2023

Link: https://doi.org/10.3390/..

10

Separation of lactic acid from fermented residual resources..:

Papadopoulou, Eleftheria ; González, Mayuki Cabrera ; Reif, Daniela...
Journal of Environmental Chemical Engineering. 11 (2023) 5 - p. 110881 , 2023

Link: https://doi.org/10.1016/..

11

Semantic Encapsulation using Linking Types:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development,

Patterson, Daniel ; Wagner, Andrew ; Ahmed, Amal - p. 14-28 , 2023

Link: https://dl.acm.org/doi/1..

12

Semantic soundness for language interoperability:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Patterson, Daniel ; Mushtak, Noble ; Wagner, Andrew. - p. 609-624 , 2022

Link: https://dl.acm.org/doi/1..

13

Evaluation of Nanofiltration Membranes for Pure Lactic Acid..:

Cabrera-González, Mayuki ; Ahmed, Amal ; Maamo, Khaled...
Membranes. 12 (2022) 3 - p. 302 , 2022

Link: https://doi.org/10.3390/..

14

ANF preserves dependent types up to extensional equality:

KORONKEVICH, PAULETTE ; RAKOW, RAMON ; AHMED, AMAL.
Journal of Functional Programming. 32 (2022) - p. , 2022

Link: https://doi.org/10.1017/..

15

Correction: Antenatal cervical length measurement as a pred..:

Taha, Omima T. ; Elprince, Mohamed ; Atwa, Khaled A....
BMC Pregnancy and Childbirth. 22 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..